math.CO ↗ arXiv
5274 papers in this category
A proof of Fill's spectral gap conjecture
We prove a quantitative lower bound on the spectral gap of the adjacent-transposition chain on the symmetric group with a general probability vector. As a consequence, among all regular probability vectors, the spectral gap of the transition matrix is minimised by the uniform probability vector, i.e., $p_{i,j}\equiv {\frac 1 2}$ for all $i \ne j$. A second consequence is a uniform polynomial bound on the inverse spectral gap in the regular case. This resolves a longstanding conjecture known as Fill's Gap Problem.
The Bollobás--Nikiforov Conjecture for Complete Multipartite Graphs and Dense $K_4$-Free Graphs
The Bollobás--Nikiforov conjecture asserts that for any graph $G \neq K_n$ with $m$ edges and clique number $ω(G)$, \[
λ_1^2(G) + λ_2^2(G)
\;\leq\;
2\!\left(1 - \frac{1}{ω(G)}\right)m, \] where $λ_1(G) \geq λ_2(G) \geq \cdots \geq λ_n(G)$ are the adjacency eigenvalues of $G$. We prove the conjecture for all complete multipartite graphs $K_{n_1,\ldots,n_r}$ with $n_1 + \cdots + n_r > r$. The proof computes the full spectrum via a secular equation, establishes that $λ_2 = 0$ whenever the graph has more vertices than parts, and then applies Nikiforov's spectral Turán theorem; equality holds if and only if all parts have equal size. We also prove a stability result for $K_4$-free graphs whose spectral radius is near the Turán maximum: such graphs are structurally close to the balanced complete tripartite graph, and as a consequence the conjecture holds for all $K_4$-free graphs with $m = Ω(n^2)$ when $n$ is sufficiently large. Finally, we identify the precise obstruction preventing a Hoffman-bound approach from settling the conjecture for $K_4$-free graphs with independence number $α(G) \geq n/3$.
Ascending Convex Polyominoes
Convex polyominoes can be refined according to the number of direction changes in monotone paths connecting pairs of cells, leading to the notion of $k$-convexity. In particular, the cases $k=1$ and $k=2$ correspond to $L$-convex and $Z$-convex polyominoes, two well-studied subclasses of convex polyominoes, with intermediate families such as centered and $4$-stack polyominoes. These families exhibit remarkably different combinatorial behaviours, suggesting that geometric constraints have a strong impact on the nature of the generating function: $L$-convex and centered polyominoes possess rational generating functions and growth of order $(2+\sqrt{2})^n$ and $4^n$, respectively, while $Z$-convex, 4-stack, and convex polyominoes have algebraic functions and asymptotics of order $n4^n$, $\sqrt{n}\,4^n$, and $n4^n$ respectively.
In this paper we investigate the structure of $Z$-convex polyominoes by introducing a refinement based on the NW- and NE-convexity degrees, which yields a decomposition into three disjoint subclasses $C(1,2)$, $C(2,1)$, and $C(2,2)$. To enumerate these families we introduce ascending polyominoes, admitting a simple geometric characterization, and construct a generating tree that leads to functional equations for the corresponding generating functions. By solving these equations we obtain explicit algebraic generating functions and the asymptotic growth for all the subclasses.
Resonances on geometrically finite graphs
In analogy with the spectral theory of geometrically finite hyperbolic manifolds, we initiate the study of resonances on geometrically finite (q+1)-regular graphs of groups. We prove the meromorphic continuation of the resolvent of the adjacency operator on such spaces and give a geometric characterization of the resonant states. In contrast to the hyperbolic surfaces setting, geometrically finite graphs have only finitely many resonances and may be computed explicitly, yet exhibit many of the same qualitative phenomena as in the hyperbolic manifolds setting. Particularly interesting examples arise from algebraic curves over finite fields.
Monotone Property Thresholds
This paper was originally written by the authors circa 2005 but was never submitted for publication. The present version corrects minor errors, adds references to work published since the original draft, and includes a section discussing further research directions. The core framework -- the property function $ψ_G$, the density function $\varphi^ψ_μ$, and all threshold results -- is unchanged from the original.
On merge-models
Tree-ordered weakly sparse models have recently emerged as a robust framework for representing structures in an ``almost sparse'' way, while allowing the structure to be reconstructed through a simple first-order interpretation. A prominent example is given by twin-models, which are bounded twin-width tree-ordered weakly sparse representations of structures with bounded twin-width derived from contraction sequences. In this paper, we develop this perspective further. First, we show that twin-models can be chosen such that they preserve linear clique-width or clique-width up to a constant factor. Then, we introduce \emph{merge-models}, a natural analog of twin-models for merge-width. Merge-models represent binary relational structures by tree-ordered weakly sparse structures. The original structures can then be recovered by a fixed first-order interpretation. A merge-model can be constructed from a merge sequence. Then, its radius-$r$ merge-width will be, up to a constant factor, bounded by the radius-$r$ width of the merge sequence from which it is derived. Finally, we show that twin-models arise naturally as special cases of merge-models, and that binary structures with bounded twin-width are exactly those having a loopless merge-model with bounded radius-$r_0$ merge-width (for some sufficiently large constant $r_0$).
Surfaces without quasi-isometric simplicial triangulations
We construct a complete Riemannian surface $Σ$ that admits no triangulation $G\subset Σ$ such that the inclusion $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry, where $G^{(1)}$ is the simplicial 1-skeleton of $G$. Our construction is without boundary, has arbitrarily large systole, and furthermore, there is no embedded graph $G\subsetΣ$ such that $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry. This answers a question of Georgakopoulos.
Numerical topology of the clique complex of the partition graph: Euler characteristic, clique counts, and sequence data
We study the numerical topology of the clique complex $K_n=\mathrm{Cl}(G_n)$, where $G_n$ is the partition graph on the set of integer partitions of $n$. Building on the previously established homotopy equivalence $K_n \simeq \vee^{\,b_n} S^2$, we shift the focus from qualitative topology to its numerical content. Our main objects are the Euler characteristic $χ(K_n)$, the derived sequence $b_n=χ(K_n)-1$, the clique counts $c_r(n)$, and several related maximal-simplex counts. We develop two exact counting languages for the same invariant. The first is the direct clique-counting formula $χ(K_n)=\sum_{r\ge 1}(-1)^{r-1}c_r(n)$, which expresses Euler characteristic through clique counts in the partition graph. The second is a nerve-side formula arising from the canonical good cover by distinct full star- and full top-simplices, which yields $χ(K_n)=χ(N_n)$, where $N_n$ is the corresponding nerve. We further use the classification of maximal simplices into star-, top-, and edge-type pieces to formulate a local-to-global counting framework based on local admissibility data and global deduplication. The paper is primarily organizational and computational. It fixes a consistent counting dictionary, separates intrinsic global counts from auxiliary based counts, records exact data for the full main sequence package on $1\le n\le 25$, and extends the low-dimensional clique-count layer through $n=60$. We do not claim closed formulas for $χ(K_n)$ or for the full family of clique counts. Rather, the paper provides a framework in which such questions can be studied systematically.
Bijectivity of a generalized Pak-Stanley labeling
The Pak-Stanley labeling is a bijection between the regions of the $m$-Shi arrangement and the $m$-parking functions. Mazin generalized this labeling to every deformation of the braid arrangement and proved that this labeling is always surjective onto a set of directed multigraph parking functions. We provide a right inverse to the generalized Pak-Stanley labeling, and identify a class $\mathcal{C}$ of arrangements for which this labeling is bijective. The class $\mathcal{C}$ includes the multi-Shi arrangements and the multi-Catalan arrangements. We also show that the arrangements in $\mathcal{C}$ are the only transitive arrangements for which the generalized Pak-Stanley labeling is bijective.
An operator-theory construction on geometric lattices
We introduce a canonical operator-theoretic construction associated to a finite geometric lattice, in which a simple nonassociative ``diamond product'' on the lattice basis gives rise to a family of creation operators indexed by atoms and a corresponding self-adjoint Hamiltonian on $\mathbb R[L]$. A key structural feature is that the Hamiltonian changes rank by at most one, so that its compression to the rank-radial subspace is a Jacobi matrix. In this way, geometric lattices give rise in a direct and uniform manner to finite orthogonal polynomial systems.
The Jacobi coefficients admit explicit combinatorial formulas. For Boolean lattices one obtains the centered Krawtchouk Jacobi matrix, while for projective geometries one obtains natural $q$-deformations consistent with the $q$-Hahn family. The construction applies to arbitrary geometric lattices and requires no symmetry assumptions.
Bollobás-type inequalities for subspaces via weight invariance
Let $V$ be an $n$-dimension real vector space with a direct sum decomposition $V = V_1 \oplus \cdots \oplus V_r$. Let $\mathcal{P} = \{(A_i, B_i) : i \in [m]\}$ be a skew Bollobás system of subspaces of $V$ such that each $i\in [m]$,
$ A_i = \bigoplus_{k=1}^r (A_i \cap V_k)$ and $ B_i = \bigoplus_{k=1}^r (B_i \cap V_k)$.
We prove that $$\sum_{i=1}^{m} \prod_{k=1}^{r} \left[ \binom{a_{i,k} + b_{i,k}}{a_{i,k}} (1 + a_{i,k} + b_{i,k})^{-1} \right] \leq 1,$$ where $a_{i,k} = \dim(A_i \cap V_k)$ and $b_{i,k} = \dim(B_i \cap V_k)$. This extends a recent result of Yue from set systems to finite dimensional subspaces. We then consider Tuza's theorem on weak Bollobás system for $d$-tuples. We give an alternative proof of the original set version of Tuza, and also establish its vector space analogue. Precisely, let $\mathcal{P} = \{(A_i^{(1)}, \ldots, A_i^{(d)}) : i \in [m]\}$ be a skew Bollobás system of $d$-tuples of subspaces of finite dimensional space $V$ with $a^{(\ell)}_i=\dim (A_i^{(\ell)})$. Then, for any positive real numbers $p_1, \ldots, p_d$ satisfying $p_1 + \cdots + p_d = 1$, we prove that $
\sum_{i=1}^{m} \prod_{\ell=1}^{d} p_{\ell}^{a_i^{(\ell)}} \leq 1. $
Impact of local girth on the S-packing coloring of k-saturated subcubic graphs
For a non-decreasing sequence $S=(s_1,s_2,\dots,s_k)$, an $S$-packing coloring of a graph $G$ is a vertex coloring using the colors $s_1,s_2,\dots,s_k$ such that any two vertices assigned the same color $s_i$ are at distance greater than $s_i$. A subcubic graph is said to be $k$-saturated, for $0\le k\le3$, if every vertex of degree 3 is adjacent to at most $k$ vertices of degree~3. The \emph{local girth} of a vertex is the length of the smallest cycle containing it. Brešar, Kuenzel, and Rall [\textit{Discrete Math.} 348(8) (2025),~114477] proved that every claw-free cubic graph is $(1,1,2,2)$-packing colorable, confirming the conjecture for this family. Equivalently, a claw-free cubic graph is one in which each $3$-vertex has local girth~3. Motivated by this observation and by recent progress on $S$-packing colorings of $k$-saturated subcubic graphs, we study the influence of local girth on their $S$-packing colorability. We establish a series of results describing how the parameters of saturation and local girth jointly determine the admissible $S$-packing sequences. Sharpness is verified through explicit constructions, and several open problems are posed to delineate the remaining cases.
Further results on \([k]\)-Roman domination on cylindrical grids \(C_m \Box P_n\)
In this paper, we study the $[k]$-Roman domination number of cylindrical graphs $C_m \Box P_n$. Our analysis begins with a general lower bound based on local neighborhood constraints, showing that $γ_{[k]R}(C_m\Box P_n) > (k+1)\left\lceil\frac{mn}{5}\right\rceil.$ By exploiting the connection between $[k]$-Roman domination and efficient domination, we characterize those cylindrical graphs whose optimal $[k]$-Roman domination number is realized by configurations with minimum possible local neighborhood weight. For fixed small values $m\in\{5,\ldots,8\}$, we construct explicit periodic $[k]$-Roman dominating functions that yield constructive upper bounds. These constructions are further refined using ceiling-type adjustments and reductions based on packing sets. A systematic comparison of the resulting bounds shows how their relative strength depends on the parameter $k$ and on the length of the path.
Inverse Kazhdan--Lusztig polynomials of fan matroids
The inverse Kazhdan--Lusztig polynomial of a matroid was introduced by Gao and Xie, and the inverse $Z$-polynomial of a matroid was introduced by Ferroni, Matherne, Stevens, and Vecchi. In this paper, we study these two polynomials for fan matroids, a family of graphic matroids associated with fan graphs. We first derive the generating functions for the inverse Kazhdan--Lusztig polynomials of fan matroids using their recursive definition, and then deduce the explicit formulas of these polynomials therefrom. For the inverse $Z$-polynomials of fan matroids, we obtain their generating functions using a parallel generating function approach, and further derive their explicit expansions based on these generating functions. Additionally, we provide alternative proofs for the above generating functions using the deletion formulas for inverse Kazhdan--Lusztig and inverse $Z$-polynomials. As an application of the explicit formula for inverse Kazhdan--Lusztig polynomials, we prove that the coefficients of the inverse Kazhdan--Lusztig polynomial of the fan matroid form a log-concave sequence with no internal zeros.
Negative Avoiding Sequences
Negative avoiding sequences of span $n$ are periodic sequences of elements from $\mathbb{Z}_k$ for some $k$ with the property that no $n$-tuple occurs more than once in a period and if an $n$-tuple does occur then its negative does not. They are a special type of cut-down de Bruijn sequence with potential position-location applications. We establish a simple upper bound on the period of such a sequence, and refer to sequences meeting this bound as maximal negative avoiding sequences. We then go on to demonstrate the existence of maximal negative avoiding sequences for every $k\geq3$ and every $n\geq2$.
Localization of the clique spectral version of Zykov's theorem
Zykov's theorem shows that $r$-partite Turán graph uniquely has the maximum number of $K_t$ among all $n$-vertex $K_{r+1}$-free graphs for $2\le t\le r$. The clique tensor is a high-order extension of the adjacency matrix of a graph. Yu and Peng \cite{peng1} gave a spectral version of the Zykov's theorem via clique tensor. In this paper, we give some upper bounds on the spectral radius of the clique tensor of a graph, which can be viewed as the localizations of the spectral version of Zykov's theorem.
B-type coefficient polynomial
An A-type coefficient polynomial introduced by Kawauchi recovers the HOMFLY-PT polynomial as a formal power series within skein theory. A notable feature of this construction is that each coefficient defines a link invariant, yielding an infinite sequence of invariants, while the low-degree coefficients are relatively easy to compute. In this paper, we extend this viewpoint to the B-type setting. Unlike the A-type case, the B-type setting requires a genuinely new inductive scheme due to the four-term skein relation. More precisely, we introduce coefficient polynomials associated with the B-type skein relation and show that their generating series recovers the Kauffman polynomial. We further prove that these coefficient polynomials are well-defined and that the resulting generating series is invariant under the corresponding Reidemeister moves.
Characterizing globally linked pairs in graphs
A pair $\{u,v\}$ of vertices is said to be globally linked in
a $d$-dimensional framework $(G,p)$ if there exists no other
framework $(G,q)$ with the same edge lengths, in which the
distance between the points corresponding to $u$ and $v$
is different from that in $(G,p)$.
We say that $\{u,v\}$ is globally linked in $G$ in $\R^d$ if
$\{u,v\}$ is globally linked in every generic $d$-dimensional framework $(G,p)$.
We give a complete combinatorial characterization of globally linked
vertex pairs in graphs in $\R^2$, solving a
conjecture of Jackson, Jordán and Szabadka from 2006 in the affirmative.
Our result provides a refinement of the characterization of globally rigid graphs in $\R^2$ as well as an efficient algorithm for finding the globally linked pairs in a graph. We can also deduce that globally linked pairs in $\R^2$, globally linked pairs in ${\mathbb C}^2$, and stress-linked pairs in ${\mathbb R}^2$ are all the same,
settling conjectures of Jackson and Owen, and Garamvölgyi, respectively.
In higher dimensions we determine the
globally linked pairs in body-bar graphs in $\R^d$, for all $d\geq 1$, verifying
a conjecture of Connelly, Jordán and Whiteley.
Ramsey size linear and generalization
More than thirty years ago, Erdős, Faudree, Rousseau, and Schelp posed a fundamental question in extremal graph theory: What is the optimal constant $c_k$ such that $r(C_{2k+1}, G) \le c_k m$ for any graph $G$ with $m$ edges and no isolated vertices? In this paper, we make a significant step towards answering this question by proving that $r(C_{2k+1}, G) \le (2 + o(1)) m + p,$ where $p$ denotes the number of vertices in $G$. This result provides the first improvement on the original open problem. Additionally, we extend the work of Goddard and Kleitman and independently Sidorenko, who proved that $r(K_3, G) \le 2m + 1$ for any graph $G$ with $m$ edges and no isolated vertices. We generalize their findings to the clique version, establishing that $r(K_r, G) \le c_r m^{(r-1)/2}$, and to the multicolor setting, showing that $r_{k+1}(K_3; G) \le c_k m^{(k+1)/2}.$
Landau Analysis in the Grassmannian
Momentum twistors for scattering amplitudes in particle physics are lines in three-space. We develop Landau analysis for Feynman integrals in this setting. The resulting discriminants and resultants are identified with Hurwitz and Chow forms of incidence varieties in products of Grassmannians. We study their degrees and factorizations, and the kinematic regimes in which the fibers of the Landau map are rational or real. Identifying this map with the amplituhedron map on positroid varieties, and the associated recursions with promotion maps, yields a geometric mechanism for the emergence of positivity and cluster structures in planar N=4 super Yang-Mills theory.