natural ↗ reference
4894 papers tagged with this keyword
Binary Voltage Covers of $K(10,3)$: Cohomology, Symmetry Orbits, and a Locally $K(7,3)$ Graph
We construct a connected graph on 240 vertices in which every open neighborhood is isomorphic to $K(7,3)$. The graph arises as a binary voltage cover of $K(10,3)$. More generally, the gauge classes of local-neighborhood-preserving binary voltage covers over the fixed labeled base $K(10,3)$ are naturally identified with $H^1(M_3(10);\mathbb{F}_2)$, a vector space of dimension 42. Quotienting by the natural $S_{10}$ action gives 1,245,395 orbits, including 1,245,394 nonzero orbits, each consisting of connected covers. The cohomology class $[α]$ of the displayed 240-vertex graph has $S_{10}$-orbit size 126 and $\operatorname{Stab}_{S_{10}}([α])\cong S_5\wr C_2$. Thus fixed-base covers are classified cohomologically, while allowing base relabeling gives the stated $S_{10}$-orbit set.
There are no sharply transitive subsets of $\mathrm{SL}(2,q)$ for $q\ge 13$
It was known at least to L.E. Dickson in 1901 that $\mathrm{SL}(2,q)$, in its natural action on $\mathbb{F}_q^2\setminus\{0\}$, has a sharply transitive subgroup only when $q\in\{2,3,5,7,11\}$. For $q$ prime, this result stems from Galois' letter to Chevalier in 1832. We extend this result to sharply transitive subsets of $\mathrm{SL}(2,q)$ and show that they only exist when $q\in\{2,3,5,7,11\}$.
An asymptotic solution to the Erdős four-edge intersection problem
For an $n$-vertex graph $G$ and a permutation $σ$ of its vertex set, let $σ(G)$ denote the corresponding relabelling of $G$, and put $I_G(σ)=|E(G)\cap E(σ(G))|$. Let $f(n,k)$ be the minimum number of edges in an $n$-vertex graph for which $I_G(σ)\geq k$ for every $σ$. In his 1977 formulation of the problem, Erdős discussed the small values of $k$ and left the cases $k=4$ and $k=5$ as the next natural open questions. For $k=4$ he asked whether $f(n,4)=2n-4$, with the upper bound witnessed by $K_{2,n-2}$; the neighbouring $k=5$ question was recently settled exactly by Fang and Hou. We prove that every graph $G$ of order $n$ and size at most $2n-10n^{2/3}-7$ has a relabelling with at most three common edges. Consequently, \[
2n-10n^{2/3}-7<f(n,4)\leq 2n-4, \] and hence \[
f(n,4)=2n-o(n). \] Thus we resolve Erdős's four-edge intersection problem asymptotically, confirming his proposed value up to a sublinear error term. For comparison, for all sufficiently large $n$, Fang and Hou's result guarantees at most four common edges for graphs with at most $2n-3$ edges, whereas reducing the edge bound by only $10n^{2/3}+4=o(n)$ already allows us to guarantee at most three common edges.
Quot scheme of points on torus knot singularities
For $\gcd(a,b)=1$, we show that the moduli space of $m$-codimensional $\Bbbk[\![T^a,T^b]\!]$-submodules of $\Bbbk[\![T]\!]^n$ is paved by affine cells, by proving that each Białynicki-Birula stratum of a closed related moduli space with respect to the natural $\mathbb{G}_m$-action is an affine bundle over the fixed point locus and that the fixed point locus is an iterated Grassmannian bundle. As an application, we determine the motive of this moduli space in the Grothendieck ring of varieties in terms of an explicit two-variable series $N_{a,b;n}(q,t)$, and use it to explicit compute the groupoid volume of the category of finite modules over $\mathbb{F}_q[\![T^a,T^b]\!]$.
The series $N_{a,b;n}$ carries the conjectures we then formulate. At $n=\infty$ we conjecture a bi-infinite family of Rogers--Ramanujan type identities by specializing the $t$-variable; we identify their product side with the normalized character of a module over the $\mathcal{W}$-algebra minimal model $\mathcal{W}_a(a,a+b)$, and observe a connetion to colored Jones tails. At $n<\infty$ we conjecture that $N_{a,b;n}$ is computed by the bottom $α$-row of the trigraded $S^n$-colored HOMFLY homology of the torus knot $T(a,b)$, and that this same bottom row also computes the Quot schemes of finite codimensional $\Bbbk[\![T^a,T^b]\!]$-submoudles of $\Bbbk[\![T^a,T^b]\!]^n$ and the punctual Hilbert schemes of the non-reduced curve $(Y^a-X^b)^n=0$; the three quantities are special values at three points of the trigrading, and when $n=1$ they recover both the conjectures of Oblomkov--Rasmussen--Shende and of Kivinen--Trinh.
Finally we conjecture that the one direction of the trigrading these three points do not see is a perverse filtration on the moduli spaces themselves, and we verify its prediction for a smooth germ at $n=2$ by computing the decomposition theorem for the $\mathrm{GL}_2$ spectral-curve family.
Codegree Thresholds for $λ$-Choosability of Graphs
Let $λ=\{k_1,\ldots,k_q\}$ be a partition, and let $|λ|=k_1+\cdots+k_q$. A $|λ|$-list assignment $L$ of a graph $G$ is a $λ$-assignment if its color set can be partitioned into $q$ disjoint sets $X_1,\ldots,X_q$ such that $|L(v)\cap X_i|=k_i$ for every vertex $v$ and every $i\in[q]$. This notion, introduced by Zhu [J. Combin. Theory Ser. B, 2020], puts ordinary coloring and list coloring in the same framework. A theorem of Alon [Random Structures Algorithms, 2000] states that every graph with minimum degree $d$ has choice number at least $(1/2-o(1))\log_2d$. Saxton and Thomason [Invent. Math., 2015] later used the hypergraph container method to replace $1/2$ by the sharp constant $1$. It is natural to ask whether a similar phenomenon holds for every fixed partition $λ$. Minimum degree alone is not sufficient: balanced complete bipartite graphs have arbitrarily large minimum degree but are always $\{1,1\}$-choosable. We show that the appropriate replacement is the minimum $q$-codegree, defined for $|V(G)|\geq q$ by $δ_q(G)=\min\{|N_G(S)|:S\subseteq V(G),\,|S|=q\}$.
More precisely, for every partition $λ$ there exists an integer $d$ such that every graph $G$ with $δ_q(G)\geq d$ is not $λ$-choosable. Let $f(λ)$ be the least such $d$. For every fixed $q$, we prove $f(λ)\leq2^{(2q+o(1))|λ|}$ as $|λ|\to\infty$, while $f(λ)\geq(q+1)^{-1}(1+1/q)^{|λ|}$ for every $λ$. For the partition $\{k,\ldots,k\}$ with $q$ equal parts, we determine the threshold asymptotically: $f(\{k,\ldots,k\})=ρ_q^{-(1+o(1))k}$ as $k\to\infty$, where $ρ_q$ is the unique $x\in(0,1)$ satisfying $x=(1-x)^q$. When $q=1$, our result implies $\operatorname{ch}(G)\geq(1-o(1))\log_2δ(G)$.
The equality between the Erdős-Ginzburg-Ziv constant and the short product-one constant for finite nonabelian groups
Let $G$ be a finite group, and let $\exp(G)$ denote its exponent. The Erdős-Ginzburg-Ziv constant $s(G)$ is the least integer forcing a product-one subsequence of length $\exp(G)$, while the short product-one constant $η(G)$ is the least integer forcing a nonempty product-one subsequence of length at most $\exp(G)$. The natural nonabelian extension of a conjecture [W. Gao, \emph{On zero-sum subsequences of restricted size II}, Discrete Math. 2003] on the Erdős-Ginzburg-Ziv constant in finite abelian groups predicts that $s(G)=η(G)+\exp(G)-1.$ We confirm this equality for every finite nonabelian group $G$ having a cyclic subgroup of index $p$, where $p$ is the smallest prime divisor of $|G|$. As further consequences, we determine all generalized Erdős-Ginzburg-Ziv constants $s_{m\exp(G)}(G)$ for this family of groups.
Arboricity Nearly Bounds Degeneracy
Arboricity and degeneracy are two fundamental and closely related graph parameters that measure the sparsity of a graph. Every $k$-degenerate graph is $k$-arboric, but some $k$-arboric graphs are only $(2k-1)$-degenerate. However, every maximal $k$-arboric multigraph with $n$ vertices and every maximal $k$-degenerate multigraph with $n$ vertices has exactly $k(n-1)$ edges. These basic observations lead to a natural structural question: How far are $k$-arboric graphs from being $k$-degenerate? We answer this question by showing that: By at most a $(k-1)$-bounded-degree graph apart. More specifically, we prove that a $k$-arboric multigraph admits a $(k,k-1)$-decomposition, that is, its edges can be partitioned into two multisets such that one spans a $k$-degenerate multigraph and the other spans a multigraph with every vertex having degree at most $k-1$. Moreover, we provide a complete characterisation of all possible such decomposition types. Namely, for any integers $k \ge 1$ and $d,h \ge 0$ we show that every $k$-arboric multigraph admits a $(d,h)$-decomposition if and only if $d\geq k$ and $d+h\geq 2k-1$. Our proofs are constructive and we present a polynomial time algorithm that produces such decompositions. By contrast, we show that related decision problems for general graphs (without constraints on the arboricity) are NP-complete.
A finite forbidden family with superlinear surplus and no three-factor product extremizers
We construct a fixed finite family $\mathcal L$ of ordinary forbidden subgraphs with $p(\mathcal L)=3$ and a constant $c>0$ such that $$ex(n,\mathcal L)>t_3(n)+cn^{3/2}$$ at every sufficiently large order. Nevertheless, the complement of every sufficiently large $\mathcal L$-extremal graph has at most two connected components. In particular, no such extremal graph is a complete join of three graphs of positive order. This gives a negative answer to a natural existence-only question motivated by the Simonovits Product Conjecture, in which one asks only for one product extremizer at each sufficiently large order.
Kostant--Kumar modules: presentation and multiplicities
Kostant--Kumar modules $K(λ,w,μ)$ are submodules of a tensor product $V(λ)\otimes V(μ)$ of irreducible highest weight modules over a symmetrizable Kac--Moody algebra, indexed by Weyl group elements $w$; their decomposition numbers $c^ν_{λμ}(w)$ refine ordinary tensor product multiplicities. We study them module-theoretically. We show that $c^ν_{λμ}(w)$ is computed by a natural quotient of the Kostant--Parthasarathy--Ranga Rao--Varadarajan multiplicity space, via orthogonal projection onto a Demazure module. For $\mathfrak{g}$ finite-dimensional semisimple or symmetric Kac--Moody, we present $K(λ,w,μ)$ by generators and relations, extending the presentation of Demazure modules due to Joseph, Polo and Mathieu. We apply the presentation to obtain upper bounds on $c^ν_{λμ}(w)$ and to study Schur positivity.
Intersection numbers for designs in regular semilattices
We generalize intersection numbers for combinatorial designs to designs in finite meet-semilattices satisfying suitable regularity conditions. While designs in regular semilattices go back to Delsarte, our regularity assumptions are weaker than his and need not give rise to an association scheme. In this framework, we extend Mendelsohn's equations, prove a generalized Singleton bound with Steiner systems as equality cases, and determine the block intersection distribution at any block of a Steiner system. In particular, this distribution is independent of the chosen block.
Specializing to several classical semilattice families, our results recover a number of well-known distributions in coding and design theory. In the Hamming and the $q$-Hamming (or bilinear forms) schemes, they give the local distance distributions of MDS and MRD codes, respectively. In the Johnson and $q$-Johnson (or Graßmann) schemes, they reproduce the block intersection distribution of classical and $q$-analog Steiner systems, equivalently the distance distribution of diameter-perfect constant-weight codes and diameter-perfect constant-dimension subspace codes. For the $q$-Johnson schemes, to the best of our knowledge, this result is new. As a further illustration, we apply our theory to designs of perfect matchings.
Our approach provides a unified treatment of these cases in the strongest form known in the literature, determining the distribution relative to each individual block or codeword, without averaging and without linearity or additivity assumptions. Moreover, it identifies the natural double-counting objects underlying these distributions, leading to formulas in the regularity parameters of the semilattice and avoiding the more cumbersome expressions that arise in eigenvalue-based approaches via the ambient association scheme.
Triangle-Free Graphs of Toughness Approaching Two Without a 2-Factor
By work of Enomoto, Jackson, Katerinis, and Saito from 1985, every $2$-tough graph has a $2$-factor, and this toughness bound is best possible: for every $\varepsilon>0$, there exist $(2-\varepsilon)$-tough graphs with no $2$-factor. It is natural to ask whether the latter statement remains true for triangle-free graphs. Bauer, van den Heuvel, and Schmeichel conjectured this in 1996. In the same paper, they proposed an infinite family of triangle-free graphs with no $2$-factor whose toughness they believed approaches $2$, but the required toughness bound was not established. In this paper, we confirm their conjecture. For every even integer $q\ge 6$, we construct a triangle-free graph $G_q$ with no $2$-factor and with toughness
\[
τ(G_q)
=\frac{2q^2-q-2}{q^2+q}
=2-\frac{3q+2}{q^2+q}.
\] In particular, $τ(G_q)\to 2$ as $q\to\infty$, showing that the threshold $2$ for the existence of a $2$-factor remains best possible even within the class of triangle-free graphs.
Every fork-free graph is perfectly weight divisible
A graph $G$ is \emph{perfectly weight divisible} if, for every positive integral weight function on $V(G)$ and every induced subgraph $H$ of $G$ with at least one edge, the vertex set $V(H)$ can be partitioned into two sets $A$ and $B$ such that $H[A]$ is perfect and the maximum weight of a clique in $H[B]$ is smaller than the maximum weight of a clique in $H$. Perfect divisibility and its weighted form provide a natural approach to polynomial $χ$-boundedness. A \emph{fork}, also known as a \emph{chair}, is the graph obtained from a claw by subdividing one of its edges once. In this paper, we prove that every fork-free graph is perfectly weight divisible. As a consequence, we confirm a conjecture of Sivaraman that every fork-free graph is perfectly divisible.
Sparse spanning $k$-strong oriented subdigraphs in split digraphs
Jackson and Thomassen conjectured that every $2k$-strong digraph admits a spanning $k$-strong oriented subdigraph [Ann. N. Y. Acad. Sci. 555 (1989) 402-412]. The conjecture holds for $k=1$ but other than some partial results that have been obtained for general $k$ in some special families of digraphs, including symmetric digraphs, the conjecture remains wide open in general. Even the existence of an integer $K$ such that every $K$-strong digraph has a 2-strong spanning oriented subdigraph is open. As a natural optimization counterpart, the minimum spanning $k$-strong subdigraph (MSSS$_k$) problem, is to find the minimum number of arcs in a spanning $k$-strong subdigraph of a $k$-strong digraph. This problem is NP-hard already for $k=1$ as it generalizes the hamiltonian cycle problem. In this paper, we address both problems simultaneously for the class of split digraphs, by constructing sparse spanning $k$-strong oriented subdigraphs. Specifically, we prove that every $k$-strong split digraph $D = (V_1, V_2; A)$ with minimum semi-degree {$δ^0(D)\geq 26k+15$} contains a spanning $k$-strong oriented subdigraph with no more than $kn+k|V_1|+98k^2+38k+3$ arcs, where $kn + k|V_1|$ is tight and the $k^{2}$ term is tight up to a constant factor. For the class of $k$-strong tournaments with minimum semi-degree at least $26k+15$ our results improve the bound obtained by Kang in [Combin. Probab. Comput., 27:892-907, 2018].
$m$-Bell and $m$-Stirling numbers: Iterated binomial transforms, hyper-Bessel functions, and moments of the Conway--Maxwell--Poisson distribution
We introduce a natural generalization of the Bell numbers: the $m$-Bell numbers $B^{(m)}_{n}$, characterized by the property that $m$ applications of the binomial transform reproduce the original sequence shifted $m$ places to the left. Their exponential generating functions satisfy $m$-th order ordinary differential equations whose solutions are hypergeometric (hyper-Bessel) functions, specializing to the exponential function when $m=1$ (classical Bell numbers) and to modified Bessel functions when $m=2$ (yielding "Bessel-Bell" numbers). Mirroring the Bell-Stirling correspondence, we construct $m$-Stirling triangular arrays from the two-term recurrence $S_m (n+1,k) = m \left\lfloor k/m \right\rfloor S_m(n,k)+S_m(n,k-1)$ and prove an elementary shift identity from which the central structure theorem follows: the row sums of the $m$-Stirling triangle reproduce $B^{(m)}_{n}$, and, more finely, the residue-class row sums are precisely the $m$ primitive $m$-Bell sequences. The $m$-Stirling numbers come in dual pairs (with first-kind partners, generalized falling factorials, and Lah-type companions), serve as conversion operators between polynomial bases, admit Dobiński-like formulas, and count congruence-constrained partitions in an urn model as well as restricted permutation insertion histories. Finally, we show that the $m$-Bell numbers govern the moments of the Conway-Maxwell-Poisson distribution with integer dispersion parameter $ν=m$: the scaled moments are combinations of fixed hyper-Bessel carrier ratios whose integer coefficients are precisely the primitive $m$-Bell sequences, recovering for $m=1$ the classical fact that the moments of the Poisson distribution are the Bell numbers.
Submodular and strongly submodular functions and diversities
Submodular functions and their close relatives play a key role in combinatorial optimization, decision theory and potential theory. Part of their importance and usefulness stems from the connections with convex functions and polytopes. Here we explore connections between these functions and metric theory, with the bridge provided by diversities, a recently developed generalization of metric spaces to (finite) sets rather than just pairs. Both submodular functions and strongly submodular functions correspond to natural classes of diversities. Submodular diversities, as we define them here, are essentially non-decreasing, intersecting submodular functions which vanish on singletons. We prove new geometric embedding results for these diversities. In particular we show that submodular, strongly submodular, and XOS functions can be represented by the generalized circumradius, a set function in convex analysis equal to the amount a given convex body needs to be stretched to cover a set of points.
A reformulation of the discrete Convexity Conjecture via $k$-thresholds
We introduce the notion of "$k$-thresholds'' and show that Talagrand's discrete convexity conjecture is equivalent to the assertion that, for some universal integer $k \ge 2$, the $k$-threshold of every increasing family is at most a universal constant times its expectation threshold. We prove a reduction theorem that bounds the $k$-threshold of any increasing graph property in terms of ordinary thresholds of graphs in suitable decompositions of its members. As a consequence, we determine, up to a constant factor, the $k$-threshold of every fixed graph in terms of a natural $k$-density parameter. We also prove that $k=2$ suffices for several classical spanning graph containment properties. More generally, we establish the conjectured comparison between $k$-thresholds and expectation thresholds for broad classes of graph containment properties whose target graphs have low degeneracy.
Decreasing Runs in Quasi-Stirling Permutations of Multisets
As a natural extension of Stirling permutations, quasi-Stirling permutations are multipermutations $π$ with the property that for any subsequence $π_{j_1}π_{j_2}π_{j_3}π_{j_4}$ satisfying $π_{j_1}=π_{j_3}$ and $π_{j_2}=π_{j_4}$, we have $π_{j_1}=π_{j_2}$. Using a bijective construction, Yan, Yang, Huang and Zhu showed that the joint distribution of ascents, descents and plateaux over quasi-Stirling permutations of a multiset $M=\{1^{k_1},2^{k_2},\ldots,n^{k_n}\}$ coincides with that over the multiset $M'=\{1^{k_1+\cdots+k_n-n+1},2,\ldots,n\}$. In this paper, we prove that the same invariance of distribution holds for decreasing runs, and consequently for all decreasing consecutive patterns. To this end, following the Yan-Yang-Huang-Zhu approach, we construct a multiplicity-redistribution bijection that preserves decreasing runs, thereby reducing the computation of joint distribution of decreasing consecutive patterns over quasi-Stirling permutations from $M$ to $M'$. Together with the classical run theorem, our bijection leads to explicit recurrence relations and generating functions for the distribution functions of these statistics over quasi-Stirling permutations.
Asymmetric Catalan and Shi Hyperplane Arrangements
In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.
A Degree Threshold for Independent Domination in Generalized Prisms
We study per-colour independent (k)-rainbow domination and its connection with independent domination in generalized prisms. Building on the known prism identity and the trivial regime above the maximum degree, we focus on the boundary case where the number of colours equals the maximum degree.
For every fixed (k\ge 3), we prove that the decision problem remains NP-complete even on a highly restricted class of graphs: (C_4)-free, bipartite, ((k,2))-biregular subdivision graphs arising from simple (k)-regular graphs. The reduction gives an exact correspondence between optimal rainbow-independent dominating functions on the subdivision graph and proper (k)-edge-colourings of the original graph.
We also introduce an excess parameter measuring how far the domination number lies above its natural lower bound. For cubic graphs, this excess coincides with the classical edge-colouring degree and therefore with standard resistance parameters for subcubic graphs.
These results reveal a sharp one-unit threshold: above the maximum degree the problem becomes trivial for every graph, while at the boundary NP-hard instances already occur within a very narrow structural family.
A complete characterization of maximally σ-irregular trees with prescribed maximum degree
The sigma-irregularity of a graph G = (V, E) is defined as the sum, over all edges uv in E, of (d(u) - d(v))^2, where d(u) denotes the degree of vertex u. A tree on n vertices with maximum degree Delta is called maximal if it attains the greatest possible sigma-irregularity among all such trees. The maximal trees are already known for chemical trees (Delta <= 4) and for Delta = 5. In this paper, we characterize the maximal trees for every Delta >= 6 when n >= Delta(Delta - 1) + 1. We introduce three families of trees, T'{n,Delta}, T''{n,Delta}, and T'''{n,Delta}. All trees within the same family have the same sigma-irregularity, and we derive an explicit formula for the value attained by each family. Comparing these formulas determines which family has the greatest sigma-irregularity for given n and Delta. We then prove that a tree is maximal if and only if it belongs to a family attaining this greatest value. In contrast to the case Delta <= 5, the two natural candidate families T'{n,Delta} and T''{n,Delta} are not sufficient, since for every Delta >= 7 and every n congruent to 3 modulo Delta, the trees in T'''{n,Delta} have strictly greater sigma-irregularity.