math.CO ↗ arXiv
7121 papers in this category
Hoffman-type Results for the Sum of k Largest Eigenvalues of a Graph
Let $S_k(G)$ denote the sum of the $k$ largest eigenvalues of a graph $G$. Motivated by the classical Hoffman program for the spectral radius of a graph, we investigate an additive Hoffman-type problem for $S_k(G)$. For each fixed $k\geq 2$ and sufficiently large order $n$, we characterize all connected graphs satisfying $S_k(G)<2k$. As a consequence, we prove that the path $P_n$ is the unique minimizer of $S_k(G)$ among all connected graphs of order $n$.
\vspace*{2mm}
We further investigate the first Hoffman-type range \[ 2k\leq S_k(G)<2k+\sqrt{2+\sqrt5}-2. \] We completely characterize the non-tree graphs in this range and reduce the tree case to several explicit families. The proofs combine Ky Fan's variational principle, spectral estimates from vertex-disjoint subgraphs, structural results for graphs with small spectral radius, and long-path arguments for bounded-degree graphs.
Two Legendre-symbol determinants of Sun and Bernoulli numbers
Let $p>5$ be an odd prime, put $n=(p-1)/2$, and let $\left(\frac{\cdot}{p}\right)$ be the Legendre symbol. Define $D_p^{\pm}$ to be the following determinants \[ \begin{aligned} D_p^{\pm}&:=\det\left[(i\pm j)\left(\frac{i\pm j}{p}\right) \right]_{1\leq i,j\leq n}. \end{aligned} \] In this article, we give explicit formulas for these determinants modulo $p$ in terms of Bernoulli numbers. As a consequence of Reinhart's recent counterexample to the Ankeny--Artin--Chowla conjecture, we find a prime $p$ such that $D_p^{\pm} \equiv 0 \pmod p$. This gives a negative answer to a question of the Sun.
A general counting and sampling Lovász local lemma
Consider a constraint satisfaction problem $\mathbf{C}$ on finitely many independent random variables with dependency graph $G$. Let $p_a$ be the violation probability of a constraint $a\in \mathbf{C}$ and $N_G^2 (a)$ the set of constraints at distance one or two from $a$ in $G$. Suppose that, there exists $x\in (0,1)^{\mathbf{C}}$ such that, for a sufficiently small universal constant $c > 0$, and for all $a \in \mathbf{C}$, \[ p_a \leq c \cdot x_a \prod_{b\in N_G^2(a)}(1-x_b). \] Under the above analog of the asymmetric Lovász Local Lemma, we give an FPRAS for the probability that all constraints are satisfied, and an approximate sampler, running in polynomial expected time, for the product distribution conditioned on this event. The degree of the polynomial in the running time is independent of the domain sizes, constraint sizes, or degree of the dependency graph. Up to the choice of the constant $c$, our condition on $p_a$ matches known hardness results.
Our work builds on the method of Liu, Wang, Yin, Zhang, and Zhou, who obtained an FPRAS for the probability of satisfaction in the setting of the symmetric Lovász Local Lemma. Our sampling result is new even in this special case.
Connectivity keeping pendant extensions of paths in $k$-connected graphs and triangle-free graphs
Motivated by Mader's conjecture on connectivity keeping trees, we study trees obtained from paths by adding one pendant vertex, as well as related problems in triangle-free graphs.
For an integer $m$ and $1\leq i\leq m-1$, let $P_m^+(i)$ denote the tree obtained from a path of order $m-1$ by adding one pendant vertex adjacent to its $i$th vertex. We prove that, for positive integers $k,m,1\leq i\leq m-1$, every $k$-connected graph $G$ with $δ(G)\geq \lfloor \frac{3k}{2}\rfloor+m-1$ contains a subgraph $T\cong P_m^+(i)$ such that $κ(G-V(T))\geq k$. This confirms Mader's conjecture for all pendant extensions of paths.
For highly connected triangle-free graphs, a connectivity keeping result for paths was obtained in [J. Combin. Theory Ser. B, 174 (2025), 190-206]. Let $(X,Y)$ be the bipartition of $P_m^+(i)$. We further prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\max\{|X|,|Y|\}+[P_m^+(i)\text{ is bad}]$ contains a subgraph $T\cong P_m^+(i)$ such that $κ(G-V(T))\geq k$, where we use Iverson's convention for $[P_m^+(i)\text{ is bad}]$. This extends the corresponding result for paths to pendant extensions of paths.
Spectral width and polynomial degree in perfect state transfer
We study the minimum time for perfect state transfer under polynomial Hamiltonians with bounded degree and spectral width. For a strongly cospectral pair and width bound $W$, the optimum, when finite, is an integer multiple of $π/W$, determined by integer interpolation with prescribed parities. For equally spaced supported eigenvalues with alternating signs, we give degree bounds under which every minimizer is affine, and sharp asymptotics for each fixed exact degree. Near-minimizing phase polynomials satisfy a quantitative Chebyshev stability estimate. We determine the optimal transfer time for every degree bound on hypercubes of odd prime dimension. For complementary vertices of $J(2m,m)$, the optimal time at fixed spectral width grows exponentially in $m$ throughout an interval of feasible degrees. We also construct polynomial Hamiltonians showing that every feasible degree $m-t$ with $t=o(m)$ admits subexponential transfer time.
The Hibi-Li Face-Number Conjecture
We prove the face-number conjecture of Hibi and Li: for every finite poset, the order polytope has no more faces of any given dimension than the chain polytope. More generally, the face numbers increase weakly along the admissible family of chain-order polytopes when one order coordinate is replaced by a chain coordinate.
Circular s-choice parking functions: an exact closed formula via rotational symmetry
We study a circular variant of the $s$-choice parking model: $n$ cars park on $m=n+1$ spots arranged on a circle, each car carrying an anchor and $s-1$ clockwise increments at least $d$ apart with return gap at least $d$; a car tries its choices in order and then sweeps clockwise from its last choice. On the circle every car parks and exactly one spot remains empty. Exploiting rotational symmetry in the spirit of Pollak's proof of the count $(n+1)^{n-1}$, we prove that the empty spot is exactly equidistributed, which yields the closed formula $m^{n-1}\binom{m-sd+s-1}{s-1}^{n}$ for the number of preferences leaving any prescribed spot empty. This appears to be the first closed product formula in the multi-choice parking landscape. We further prove a refinement: within every class of preferences with prescribed increments, the empty spot is still exactly equidistributed, which explains the product structure of the formula and, for $s=2$, $d=1$, the appearance of the classical count $(n+1)^{n-1}$ as a factor of $(n+1)^{n-1}n^{n}$. The admissible tuples are enumerated through Kaplansky's lemma on circular selections, and all results are verified by exhaustive computer enumeration.
Hilbert functions over the exterior algebra and f-vectors in higher rank I: Amata-Crupi monomial modules, Kozlov polytopes, and r-vectors of simplicial complexes
Let $E$ be the exterior algebra on $n$ generators over a field, and let $F$ be a graded free $E$-module with $r$ generators, of degrees $d_1 \le \dots \le d_r$. We determine the convex hull of the set of Hilbert functions of the quotients $F/M$, where $M$ runs over the monomial submodules of Amata and Crupi. The hull is the Minkowski sum of $r$ shifted copies of one and the same simplex: the Kozlov simplex, which Kozlov proved in 1997 to be the convex hull of the $f$-vectors of simplicial complexes on $n$ vertices. For $r=1$ the statement is Kozlov's theorem, so this is a rank-$r$ generalization of it. We give a self-contained proof, including a short proof of Kozlov's theorem from the local Lubell-Yamamoto-Meshalkin inequality, and an explicit facet description of the Kozlov simplex that appears not to be recorded in the literature. Along the way we isolate the class of submodules for which the argument works, the ideal-direct-sum modules, and show by example that the Hilbert function of a graded submodule outside that class need not be a shifted sum of $f$-vectors at all. The combinatorial content is stated separately, in language that uses no algebra, as a result on $r$-vectors of simplicial complexes and their $ff$-vectors. Finally we describe the vertex structure of the Minkowski sum -- which sums of vertices of the summands survive as vertices -- proving the answer for the all-ones leg vector at every rank and for the Kozlov leg vector at rank two.
Minimality in Reflexive and Stoichiometric Autocatalysis
Autocatalysis, the ability of a chemical subsystem to sustain its own constituents when supplied with sufficient food molecules, has been closely related to the origin of life on Earth. Emerging from Wilhelm Ostwald's considerations about an explicit autocatalytic reaction, different notions of autocatalysis have been developed over the years. The two most prominent are reflexively autocatalytic F-generated sets (RAFs) and stoichiometric autocatalysis. After having shown that each RAFs is, under reasonable conditions, in general stoichiometrically autocatalytic, we examine here the relationship between the two notions of minimality: irreducible RAFs and autocatalytic cores. To this end, we overcome the obstacle that RAFs and stoichiometric autocatalysis have been formalized in distinct systems of chemical reactions, i.e., catalytic reaction systems (CRS) and chemical reaction networks (CRNs), respectively. We show that reactions in a CRS constitute equivalence classes of reactions of the corresponding CRNs w.r.t. their specific catalyzations. Using the fact that CRN and CRS can be canonically identified whenever each CRS reaction is associated with a single catalyzation, we demonstrate that the Kőnig graph of a monocatalyzed, irreducible RAF is composed of strong blocks devoid of food and waste species that are separated by reaction vertices, each of which contains an autocatalytic core. In fact, a single irreducible RAF can, in general, contain exponentially many autocatalytic cores.
On Kahn's flow conjecture
We prove Kahn's flow conjecture, which is a strong form of Chvátal's conjecture on the largest intersecting subfamily of a downset.
The existence spectrum of near triple arrays with four rows
In the 1950s and 1960s, Agrawal introduced a class of experimental designs that later became known as triple arrays. Gordeev, Markström and Öhman proposed near triple arrays by relaxing all three intersection properties of triple arrays, allowing two values concentrated around the average intersection size, as well as two consecutive values for the replication numbers. They completely resolved the existence of near triple arrays with three rows, showing that there exists a $(3\times c,v)$-near triple array if and only if $v\geq c\geq 3$ except for $(c,v)\in\{(3,6),(4,6),(5,8)\}$. In this paper, we further investigate the existence of near triple arrays with four rows and prove that there exists a $(4\times c,v)$-near triple array if and only if $v\geq c\geq 4$ except for $(c,v)\in\{ (4,9),(5,7),(5,10),(6,8),(7,9),(10,12),(11,13)\}$.
Embedding rooted blow-ups of tree posets
A tree poset $T$ is a poset whose Hasse diagram is a tree. Bukh proved that if a family $\mathcal F\subseteq 2^{[n]}$ contains $(h(T)-1+\varepsilon)\binom{n}{\lfloor \frac{n}{2}\rfloor}$ sets, then $\mathcal F$ contains a weak copy of $T$, where $h(T)$ is the height of $T$, the number of elements in a longest chain of $T$. Several strengthenings and generalizations of this result have been obtained. We prove the following robust variant. For a tree poset $T$ and $x\in T$, the $b$-blow-up $T(x,b)$ rooted at $x$ is the tree poset that we obtain from $T$ by replacing every element $u$ by $b^d$ new elements, where $d$ is the distance $d(x,u)$ in the Hasse diagram of $T$ and an edge $uv$ with $v$ being closer to $x$ is replaced by edges such that every new copy of $v$ is joined to $b$ new copies of $u$ such that these new copies form pairwise disjoint sets for the copies of $v$. We prove that for any tree poset $T$, $x\in T$, and $\varepsilon>0$ there exists $δ$ such that if $\mathcal F\subseteq 2^{[n]}$ contains $(h(T)-1+\varepsilon)\binom{n}{\lfloor \frac{n}{2}\rfloor}$ sets, then $\mathcal F$ contains a weak copy of $T(x,\lfloor δn\rfloor)$. This settles a conjecture of Treglown and the author. As applications, we derive the known asymptotic counting and random versions of Bukh's theorem from this stronger embedding result, and obtain new maximal anti-Ramsey results for tree posets.
Vector Balancing in Polynomial Time
We present a spectral signing algorithm solving the Komlós problem with a constant discrepancy in polynomial time. Given a matrix $A\in\mathbb{R}^{m\times n}$ whose columns have Euclidean norm at most $1$, the algorithm finds a vector $\varepsilon\in\{-1,1\}^n$ satisfying $\|A\varepsilon\|_\infty\le C$, where $C$ is an absolute constant. By minimizing a cubic spectral potential, our spectral signing algorithm updates the fractional coloring toward Boolean signs with time complexity $O((mn^9+n^{10})\log(2+m+n))$.
Edge and spectral conditions for rainbow pancyclicity in graph collections
Let $\mathbf{G}=\{G_1,\dots,G_{n}\}$ be a collection of not necessarily distinct $n$-vertex graphs with a common vertex set $V$. A cycle $C$ with $V(C)\subseteq V$ and $|E(C)|\leq n$ is called \emph{rainbow} in $\mathbf{G}$, if there exists an injection $ϕ\colon E(C)\to [n]$ such that $e\in E(G_{ϕ(e)})$ for each $e\in E(C)$. The graph collection $\mathbf{G}$ is said to be \emph{rainbow pancyclic} if it contains a rainbow cycle of every length from 3 to $n$. In this paper, we show that if $e(G_i)\ge \binom{n-1}{2}+1$ for each $i\in[n]$ with $n\ge 3$, then $\mathbf{G}$ is rainbow pancyclic, apart from three explicitly described exceptional graph collections. This answers Problem $1$ of [Discrete Math., \textbf {348}(2025), 114600] and strengthens the result from rainbow Hamiltonicity to rainbow pancyclicity. As a consequence, we obtain that if $ρ(G_i)>n-2$ for each $i\in[n]$, then $\mathbf{G}$ is rainbow pancyclic unless $G_1=G_2=\dots=G_n\cong K_1\vee(K_{n-2}\cup K_1)$, which improves Theorem $5$ of [Discrete Math., \textbf {348}(2025), 114600]. We also characterize all graph collections that are not rainbow pancyclic under the condition $ρ(G_i)\ge n-2$ for each $i\in[n]$.
Classification of strictly resistance nonnegative graphs
We say that a graph is resistance nonnegative or RN if it admits a positive edge-weight that yields nonnegative resistance curvature in the sense of Devriendt and Lambiotte. Analogously, a graph may be resistance positive or RP; we say a graph is strictly RN if it is RN but not RP.
In this paper, we show that every $2$-connected strictly RN graph is bipartite with parts whose sizes differ by one, demonstrating that there are no $1$-tough strictly RN graphs. As a consequence, we prove that every $1$-tough RN graph is also RP. Lastly, we quantify the exact toughness values an RN graph can attain below $1$.
The Last Seven Open Radii for Perfect Codes in the Johnson Scheme
Delsarte (1973) conjectured that there are no nontrivial perfect codes in the Johnson scheme. In this paper, we prove that there are no nontrivial $e$-perfect codes in the Johnson scheme for $e\in\{1,2,4,9,10,12,16\}$. This paper complements "Perfect Codes in the Johnson Scheme Hardly Exist", thus proving Delsarte's conjecture completely.
Multiset Colorings of Random Graphs Across Density Regimes
We show that almost every graph admits a partition of its vertex set into three parts such that no two adjacent vertices have the same number of neighbors in each of the three parts. Equivalently, for $G\sim G(n,1/2)$, $χ_m(G)\le3$ with high probability, improving the previously known bound of five. Here $χ_m(G)$ denotes the multiset chromatic number of $G$, the minimum number of parts in a vertex partition whose neighbor-count vectors distinguish every pair of adjacent vertices. In fact, the three-part bound holds for every fixed $0.185<p<0.509$. More generally, for every fixed $p\in(0,1)$, $G\sim G(n,p)$ satisfies $χ_m(G)\le4$ with high probability. These results are obtained by converting the unresolved edges of a carefully chosen initial partition into hyperplanes of a Boolean cube and applying the Linial--Radhakrishnan theory of essential covers.
We also determine how $χ_m(G)$ grows when the graph is polynomially close to complete. For every fixed $β\in(0,1)$ and $G\sim G\!\left(n,1-n^{-(1-β)}\right)$, with high probability $\frac{2}β\le χ_m(G)\le \left\lfloor\frac{2}β\right\rfloor+5$. Thus $χ_m(G)=2/β+O(1)$. The lower bound is spectral, while the upper bound follows from multinomial anti-concentration and the Lov'asz Local Lemma.
A cyclic non-Ramsey heptagon
We present a construction with seven points on a circle that is not Ramsey, disproving a conjecture of Erdős, Graham, Montgomery, Rothschild, Spencer and Straus.
Sign components of diagonal superspace coinvariants
We prove the sign-isotypic components of the coinvariant rings $R_n^{(2,1)}$ and $R_n^{(2,0)} \otimes R_n^{(0,1)}$ are isomorphic and show that the triply-graded multiplicity of this sign character is the Schröder polynomial $S_n(q,t,a)$, divided by $1+a$. This settles the sign-character component of a conjecture of Zabrocki (2019) on a module for the Delta theorem and proves a conjecture of F. Bergeron (2020) on the multiplicity of the sign character of $R_n^{(2,1)}$. Finally, using a result of Hogancamp (2017), we enhance a recent result of Gorsky--Mellit (2026) which relates the Khovanov--Rozansky homology of the $(n,n+1)$-torus knot to $R_n^{(2,0)} \otimes R_n^{(0,1)}$, by showing that the associated Poincaré series for this knot can be computed from the sign component of $R_n^{(2,1)}$.
The Partial List Colouring Conjecture is False
We exhibit a graph $G$ with $14$ vertices and list chromatic number equal to $3$ such that there is a $2$-list assignment $L$ of $G$ such that at most $9$ vertices of $G$ can be properly coloured from $L$. This disproves the Partial List Colouring Conjecture of Albertson, Grossman and Haas. This counterexample was discovered and fully verified by ChatGPT 6 Astra Ultra after some persistent prompting, but almost no mathematical input, from the author.