math.CO ↗ arXiv
7121 papers in this category
Random independent sets in uncrowded hypergraphs
Given any fixed integer $k \ge 2$ and sufficiently large $d$, we show that the largest possible fractional chromatic number of a $k$-uniform $d$-degenerate uncrowded hypergraph $H$ (i.e., with girth at least $5$) satisfies \[ χ_f(H) = (1 + o_d(1)) \left((k-1)\,\frac{d}{\log d}\right)^{\frac{1}{k-1}}. \] In fact, we prove that this holds for $k$-uniform $d$-degenerate hypergraphs of girth at least $g$, for any given $g \ge 5$. As a corollary, we obtain improved bounds on the fractional chromatic number of $d$-degenerate linear hypergraphs. This work builds upon a recent result by Allen, Dhawan, and Noel, extending it from graphs to hypergraphs. In addition to overcoming the new difficulties that arise in the hypergraph setting, our approach yields a simpler proof even in the original graph case.
Our proof of the upper bound uses a simpler iterative procedure for sampling independent sets. We also establish bounds for fractional colorings with local demands, a framework introduced by Kelly and Postle, verifying a recent conjecture of Yu and Zhang. As a consequence, we obtain a degree-sequence bound on the independence number of uncrowded hypergraphs with a leading constant matching the shattering threshold.
For the matching lower bound, we use a hypergraph variant of the uniform attachment model and harmonic vertex weights to bound the fractional chromatic number via linear programming duality, then remove all short cycles by deleting vertices of negligible total weight. We also replace the Catalan-number argument used in the graph case with a matrix-norm estimate, simplifying the analysis.
New integer sequence OEIS A392714 counts Wronskians: fast evaluation via late-growing permutations
The alternating composition of $N = 2p$ weighted differential operators $w_j(x)\cdot\partial_x^{\,p}$ of strict order $p$ on the line $\mathbb{R} \ni x$ is again an operator of order $p$; its coefficient is the universal constant $c(p)$ times the Wronskian of the weights $w_1,\ldots,w_N$. Lie brackets of vector fields fix $c(p=1)=1$; we want to find $c(p \geqslant 2)$: e.g., $c(2) = 2$ or $c(3) = 90$. Direct symbolic expansion (over $|S_{2p}| =(2p)!$ permutations) fails for $p \geqslant 4$. Taking the monomials $w_j = x^{j-1}$ reduces the summation to the much smaller set $Φ_p \subseteq S_{2p-1} \subsetneq S_{2p}$ of late-growing permutations. Expressing $c(p)$ as a signed sum of products of falling factorials, we implement and speed up the algorithm that gains all the integer values up to $c(18) = 4.881\ldots \cdot 10^{462}$. The resulting sequence is new, now registered as OEIS A392714; its (sub)leading-order growth rate is $\log c(p) \simeq 2p^2\log p -b p^2 + \overline{o}(p^2)$ for $p\gg 1$, with $b\geqslant 2.6744$.
Random Cayley sum hypergraphs and $k$-fold sumsets
We denote by $f_k(Γ)$ the largest integer with the property that every subset of a finite abelian group $Γ$ of size at least $|Γ| - f_k(Γ)$ is a $k$-fold sumset. Extending a recent result of Alon and Pham, we prove that
$$
f_k(Γ) \leq \widetilde{O} \left(n^{(2k-1)/(4k-3)}\right)
$$ holds for all finite abelian groups $Γ$ and integers $k \geq 2$, where $n = |Γ|$. Additionally, we also show that the lower bound $f_k(Γ) \geq \widetildeΩ \left(n^{1/k}\right)$ holds if $Γ$ has no nontrivial element of order dividing $k$. Our upper bound improves a previous result of Balogh, Liu, and Sharifzadeh, and recovers the bound of Alon and Pham in the case $k = 2$. The proof relies on a new upper bound for the independence number of random Cayley sum hypergraphs, which may be of independent interest.
Spectral Erdős--Gallai Theorems for the \(\mathcal A_α\)-Tensor of the \(s\)-Clique Hypergraph
The Erdős--Gallai theorem determines the maximum number of edges in a graph with bounded matching number; its clique-counting extension replaces edges by $s$-cliques, and a spectral analogue in terms of the $s$-clique tensor has recently been established. We study the corresponding $\mathcal A_α$-tensor of the $s$-uniform clique hypergraph. For $0\leqα\leq1$ and $3\le s\le2t-1$, we determine the maximum $α$-$s$-clique spectral radius among $n$-vertex graphs containing no matching of $t$ edges: when $3\le s\le t$ and $n$ is sufficiently large, the maximum is attained by the join of a clique of order $t-1$ and an independent set, and when $t<s\le 2t-1$ and $n\ge2t-1$, it is attained by a clique of order $2t-1$ together with isolated vertices. At $α=0$, these statements recover the known result for the $s$-clique spectral radius; at $α=1$, they yield the corresponding statement for the maximum $s$-clique degree. For $s=t\ge3$, we obtain the maximum for every $n\ge2t-1$; at $α=0$, this removes the requirement that $n$ be sufficiently large from the known result.
The Distance Laplacian and Distance Signless Laplacian Spectra of $\mathcal{C}$-Graphs
Mandal and Mehatari (\emph{Comp.\ Appl.\ Math.}, 2025) introduced the class $\mathcal{C}$ of cographs generated by a finite creation sequence $(α_1,\dots,α_m)$ of natural numbers, and derived the inertia, an extended eigenvalue-free interval, and the exact characteristic polynomial for the \emph{adjacency} matrix of such graphs. In this note we develop the parallel theory for the \emph{distance Laplacian} matrix $D^L(G)$ and \emph{distance signless Laplacian} matrix $D^Q(G)$. It is shown that $(0,α_{\min}) \cup (n-α_{\min}, n)$, $(0,n) \ \cup\ (n,\,n+α_{\min}) \ \cup\ (2n-α_{\min},\,2n)$, $\big(2\Tr_{\min},\ μ_{\max}(D^Q(G))\big)$ are the eigenvalue-free intervals of the Laplacian, distance Laplacian, and distance signless Laplacian matrices respectively for the said class of graphs.
The Keevash--Mubayi simplex-cluster conjecture
A $d$-simplex-cluster is a collection of $d+1$ distinct $k$-element sets with empty total intersection, nonempty intersection for every $d$ members, and union of size at most $2k$. We prove the simplex-cluster conjecture of Keevash and Mubayi, a common strengthening of the Erdős--Chvátal simplex conjecture and Mubayi's cluster conjecture. More precisely, for integers $k>d\ge2$ and $n\ge k(d+1)/d$, every family of $k$-element subsets of an $n$-element set containing no $d$-simplex-cluster has at most $\binom{n-1}{k-1}$ members. Equality holds if and only if the family consists of all $k$-element subsets containing a fixed point.
Character expansions and affine Jacobi-Trudi identities
We provide character expansions of certain specialisations of multiparameter Hall--Littlewood polynomials of types $\mathrm{B}_n$, $\mathrm{C}_n$, and $\mathrm{BC}_n$ for rectangular shapes. We use these expansions to establish the six Jacobi-Trudi-type identities conjectured by Ole Warnaar in 2025.
Regular $K_3$-Irregular Graphs of Every Regularity at Least Nine
For a vertex $v$ of a graph $G$, the triangle-degree $\operatorname{td}_G(v)$ is the number of triangles containing $v$. A graph is triangle-distinct, or $K_3$-irregular, if its vertex triangle-degrees are pairwise distinct. Chartrand, Erdős, and Oellermann asked whether a regular $K_3$-irregular graph exists. We prove that such graphs exist for every regularity $r\ge 9$. More precisely, for every integer $k\ge 15$ we construct a $2k$-regular triangle-distinct graph on $4k+2$ vertices; complementation gives a $(2k+1)$-regular example of the same order. The construction uses two antiregular threshold blocks joined by a zero-one matrix with prescribed margins, followed by matrix $2$-switches that preserve those margins. After a uniform reference perturbation, exactly three triangle-degree collisions remain. Switches chosen according to parity remove two of them, and the last possible collision is controlled by a short quadratic discriminant argument. Odd $k\ge 17$ and even $k\ge 62$ are handled symbolically, while the remaining 24 values are settled by exact finite verification. Together with the known examples for $9\le r\le 29$, this closes the positive existence problem for every $r\ge 9$.
A symmetric counterexample to Strang's conjecture for bivariate $C^1$ cubic splines on triangulations
We exhibit a triangulation of an equilateral triangle for which the space of bivariate $C^1$ cubic splines has dimension larger than the dimension formula conjectured by Strang. Notably, the triangulation is such that no two edges sharing a vertex are collinear, and the triangulation is invariant under the action of the isometry group ($D_3$) of the equilateral triangle which is triangulated.
Generating and generalizing MSTD sets through Markov processes
The classical More Sums Than Differences (MSTD) problem studies finite sets $A\subset\{0,1,\ldots,n\}$ for which $|A+A|>|A-A|$, where $A+A=\{a_1+a_2:a_1,a_2\in A\}$ and $A-A=\{a_1-a_2:a_1,a_2\in A\}$. As addition is commutative and subtraction is not, it was conjectured that as $n\to\infty$ almost all subsets $A$ chosen uniformly from the power set of $\{0,1,\ldots,n\}$ are difference-dominated, and it was thus a surprise when Martin and O'Bryant proved a positive percentage of sets are sum-dominant. We greatly generalize this model by introducing a Markov-chain framework, where the classical MSTD model is now just a special case. Let $(X_i)_{i=0}^n$ be a stationary two-state Markov chain on $\{0,1\}$ with transition probabilities $P(0,0)=p$ and $P(1,1)=q$, where $p,q\in(0,1)$. We include $i$ in $A$ exactly when $X_i=1$, and define $A=\{i\in\{0,\ldots,n\}:X_i=1\}$. The usual independent Bernoulli model is recovered when consecutive inclusion decisions are independent, equivalently when $p=1-q$. In particular, the uniformly random subset model corresponds to $p=q=1/2$. Using the fringe-middle method from the MSTD literature, we show that the middle sums and differences are filled with high probability, so the comparison between $|A+A|$ and $|A-A|$ is again governed by endpoint fringes. By fringe manipulation, we prove that the probabilities of sum-dominant, difference-dominant, and balanced sets tend to strictly positive limits as $n\to\infty$. We also give numerical estimates of these three probabilities for finite $n$ over a range of values of $p$ and $q$. Through combinatorial methods, we find a closed-form expression for $\mathbb{E}[|A-A|-|A+A|]$ as $n\to\infty$.
Cayley graph diameters for fixed cycle types are eventually quasipolynomial
Given a cycle type, the corresponding conjugacy class of $S_n$ generates either $S_n$ or $A_n$ for sufficiently large $n$. We prove that the sequence of diameters of Cayley graphs is eventually polynomial on residue classes for any fixed cycle type. This result is also extended to finite unions of conjugacy classes.
Optimal Bounds on Spanning Tree Embeddings
We prove that the number of labelled embeddings of any $n$-vertex tree $T$ into an $n$-vertex graph $G$ of maximum degree $d$ satisfies $$ \mathrm{inj}(T,G) \leq (d/e)^n \exp(o_d(1) n). $$ The bound is sharp up to determining $o_d(1)$, even for paths, and the dependence of the error $\exp(o_d(1)n)$ on $d$ is necessary. As an immediate corollary, we obtain an optimal anticoncentration bound for the isomorphism class of a uniformly random spanning tree in a connected $d$-regular graph, answering a conjecture of H. Lee. The proof combines Brégman's inequality with entropy methods.
Can one hear the shape of a lattice random walk?
We construct distinct high-dimensional mean-zero finite range lattice random walks having pairwise-equal return probabilities for all step counts. The same examples provide pairwise-distinct shapes of discretizations of the standard Laplacian with pairwise-equal density state functions.
The main contribution is a reconstruction theorem: to a colored trivalent graph one associates a quantum Clebsch--Gordan polytope, and this association is a full functor, in particular from the polytope one can uniquely recover the original graph. These polytopes appear as moment polytopes of toric degenerations of character varieties (moduli spaces of rank-2 bundles on curves), yielding a combinatorial non-abelian Torelli theorem. In symplectic geometry, the reconstruction theorem implies that monotone Lagrangian tori on odd character varieties associated with these degenerations are pairwise non-Hamiltonian isotopic. These results, and some of the applications, arose from the study of mirror symmetry for moduli spaces of vector bundles, and of the related Laurent phenomenon for mutations of graph potentials.
Perfect state transfer on mixed graphs: complete classes and transfer times
For perfect state transfer (PST) on unweighted mixed graphs, we classify the normalized transfer times of complete PST classes. A finite set $Λ\subset\mathbb R/\mathbb Z$ containing zero occurs at a nonstationary periodic vertex if and only if $\cos(2π(x-y))\in\mathbb Q$ for all $x,y\inΛ$. Every admissible set has a connected oriented realization. We also classify the possible return phases of oriented realizations at the minimum vertex period. Transfers at rational multiples of the common minimum vertex period partition a complete class into sets of size at most six, or at most three in an oriented graph with return phase $-1$; both bounds are sharp. We construct complete classes of every finite size, including classes in which all transfers between distinct vertices occur at irrational multiples of the period and no switching automorphism maps a class vertex to a distinct class vertex. We also characterize simultaneous realization in connected oriented graphs with prescribed relative minimum vertex periods and return phases. The proof combines an imaginary quadratic field restriction with an unweighted construction that selects the complete target set.
Maximum $2$-scattered subspaces of $V(r,q^6)$
For every prime power $q$ and every integer $r\geq5$ coprime to $6$, we construct a maximum $2$-scattered $\mathbb{F}_q$-subspace of $V(r,q^6)$. The construction is a two-dimensional $\mathbb{F}_{q^r}$-subspace of $\mathbb{F}_{q^{6r}}$, viewed as an $r$-dimensional vector space over $\mathbb{F}_{q^6}$. A trace argument reduces the proof to the complementarity of two $\mathbb{F}_{q^r}$-subspaces. We establish this complementarity by separating two cases, which lead to a cubic polynomial obstruction and a quadratic norm obstruction. The associated rank-metric code is a $[2r,r,4]_{q^6/q}$ MRD code equivalent to its dual. Taking the cases $r=5,7$ and direct sums with the standard dimension-three construction gives maximum $2$-scattered subspaces of $V(r,q^6)$ for every $q$ and every $r\geq3$ except $r=4$. When $q$ is an odd power of $2$, the known dimension-four construction also covers this remaining case.
A cubical approach to homology theories for hypergraphs
We introduce three homology theories for hypergraphs, namely $Γ$-homology, $\Box$-homology, and $\times$-homology, and show that they are pairwise non-isomorphic and distinct from the embedded homology of hypergraphs. We further introduce a notion of homotopy for hypergraphs that extends the discrete homotopy theory of graphs. Among the homology theories considered, we prove that $\Box$-homology is invariant under this homotopy, whereas $Γ$-homology and $\times$-homology fail to satisfy homotopy invariance. Based on excision, we also identify a distinctive structural behavior exhibited by $Γ$-homology that further differentiates it from $\Box$-homology.
Polynomial-in-$r$ bounds for forbidden traces of uniform hypergraphs
We give a general principle that converts fixed-uniformity bounds for forbidden traces into bounds with polynomial dependence on the uniformity. More precisely, let $H$ be a fixed set system on $h\ge1$ vertices, and suppose that, for some $α\ge0$, $\operatorname{ex}_j(m,\operatorname{Tr}(H))=O_{H,j}(m^α)$ for every fixed integer $j\ge1$. Then, for every $\varepsilon>0$, there is a constant $C_{H,α,\varepsilon}$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(H))
\le C_{H,α,\varepsilon} r^{h-1-α+\varepsilon}m^α\] for all $m\ge r\ge2$.
In particular, for trace-$C_4$-free hypergraphs and every $\varepsilon>0$ there is a constant $C_\varepsilon$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(C_4))
\le C_\varepsilon r^{3/2+\varepsilon}m^{3/2} \] for all $m\ge r\ge2$. We also construct trace-$C_4$-free $r$-graphs showing that \[ \operatorname{ex}_r(m,\operatorname{Tr}(C_4)) \ge c r^{1/2}m^{3/2} \] for an absolute constant $c>0$, for every fixed $r\ge3$ and all sufficiently large $m$ (depending on $r$).
On Hypergraph Colorings and Completely Independent Spanning Trees in Chordal Graphs
In this paper, we study the existence problem of completely independent spanning trees (CIST) in chordal graphs through appropriate hypergraph representations and their panchromatic and bipanchromatic colorings. First, we disprove a conjecture stating an exact relationship between the panchromatic number, the bipanchromatic number, and the minimum number of unique colors in an optimal panchromatic coloring of a hypergraph. Then, by relating CIST to panchromatic and bipanchromatic colorings of the associated hypergraphs, we derive structural conditions for their existence in chordal graphs and specifically strictly chordal graphs.
Hedetniemi's Conjecture for Uncountable Complementary Graphs
We study the complementary version of Hedetniemi's problem for infinite graphs. We prove that if a graph $G$ and its complement $\overline{G}$ are both uncountably chromatic while their categorical product is countably chromatic, then $|V(G)|=ω_1$. Assuming $\diamondsuit$, we construct a graph $G$ on $ω_1$ such that $χ(G)=χ(\overline{G})=ω_1$ and $χ(G\times\overline{G})=ω$; the construction uses two suitably chosen minimal Countryman lines. We also define a c.c.c. forcing of cardinality $ω_1$ that adds a graph with the same properties. It remains open whether ZFC alone proves the existence of such a graph.
On the number of cokernel-closed additive subcategories for uniformly oriented $A_n$ quivers
We study the integer sequence that enumerates cokernel-closed, idempotent split, full, additive subcategories of the category of finite dimensional complex representations of a uniformly oriented $A_n$ quiver. Using a combinatorial model, we describe a non-obvious connection of this sequence to Catalan numbers and derive an implicit recurrence. We also describe some basic properties of the lattice underlying the sequences, in particular, we give an explicit description of the meet irreducible elements of that lattice.