math.CO ↗ arXiv
7121 papers in this category
Minimum rank of complements of Kneser graphs
We determine the symmetric minimum rank of the complement of the Kneser graph $\operatorname{KG}(n,k)$ over every infinite field. More precisely, if $I(n,k)$ is the graph on the $k$-subsets of $[n]$ in which two vertices are adjacent exactly when they intersect, then $$
\operatorname{mr}^{\mathbb F}(I(n,k))=n-2k+2 $$ for every infinite field $\mathbb F$ and all integers $n,k$ with $2\le k\le n/2$. In particular, over the real numbers, this settles a question posed in the AIM workshop open questions report on spectra of families of matrices described by graphs.
The crumby coloring conjecture for subcubic outerplanar graphs
The red-blue vertex partitions now known as crumby colorings originate in a conjecture of Thomassen related to Wegner's conjecture on squares of planar graphs. In such a coloring, the blue vertices induce a graph of maximum degree at most one, while the red vertices induce a graph with no isolated vertices and no simple path with three edges. Barát, Blázsik and Damásdi proved that every 2-connected outerplanar graph of maximum degree at most three admits a crumby coloring, and conjectured that the 2-connectivity assumption can be removed. We prove this conjecture: every finite simple subcubic outerplanar graph admits a crumby coloring. To prove the conjecture, we introduce a rooted grammar for subcubic outerplanar graphs. The grammar describes such graphs recursively using rooted branches and two-terminal path fragments; cyclic blocks are handled by deleting the root to obtain a path fragment. We correspondingly extend crumby colorings to crumby-admissible colorings: in a rooted branch the root, and in a path fragment the two terminals, are allowed to be temporary isolated red vertices. This relaxation makes induction along the grammar possible while retaining only finite boundary information. The induction reduces to verifying an explicit finite family of lower certificates, namely nonempty sets of boundary types and root states. The required verification has two parts: the family must be closed under all steps of the decomposition, and every certified completed branch must contain a final-legal root state, so that the temporary defect disappears and the resulting coloring is a genuine crumby coloring. This final step is computer-assisted: a stand-alone certificate checker, supplied with the paper, verifies the stated closure and crumby conditions for the supplied certificate. All structural reductions and the certificate-induction principle are proved by hand.
Tree suspensions and transfer functions for single degree Turán spectra
For integers $1\le \ell<k$, let $Π^k_\ell$ denote the single-forbidden $\ell$-degree Turán spectrum of $k$-uniform hypergraphs. We introduce transfer functions for this spectrum: explicit functions $f$ such that, for every $F$, there is another single $k$-graph $F^*$ with $π_\ell(F^*)=f(π_\ell(F))$. This gives a mechanism for producing new single-forbidden densities while retaining full control of the resulting value.
Our transfer functions are realized by a new family of suspension-type operations, called tree suspensions. From these operations we obtain three explicit maps: one acting on $Π^k_\ell$ for every $1\le\ell<k$, a second acting when $\ell\ge k/2$, and a third acting in the ordinary Turán case $\ell=1$. The common feature is a robust tree structure which gives the lower bound by a two-part construction and, in the regimes above, admits a matching embedding or Lagrangian upper bound.
As a first application, the universal transfer function propagates accumulation points. Using the recent zero-accumulation results for $\ell\ge2$ together with the ordinary Turán accumulation result of Conlon and Schülke, we prove that $Π^k_\ell$ has infinitely many accumulation points for every $k\ge3$ and every $1\le\ell<k$. This recovers, in particular, the known infinitude of accumulation points in the ordinary and codegree spectra.
As a second application, combining two independent transfer functions forces algebraic degrees to grow. For every $k\ge3$ and every $\ell\in\{1,\lceil k/2\rceil,\ldots,k-2\}$, the spectrum $Π^k_\ell$ contains algebraic numbers of arbitrarily large degree over $\mathbb Q$. Thus the arithmetic complexity previously known for finite forbidden families already occurs in the single-forbidden spectrum, both for ordinary Turán density and for a broad range of degree Turán densities.
Lower Bounds for Approximating the Vietoris-Rips Filtration
The Vietoris-Rips filtration $\mathcal{VR}(-)$ is a standard tool for analyzing the shape of data within topological data analysis. Beginning with seminal work of Sheehy, a substantial amount of research has centered on constructing linear-size sparse approximations to $\mathcal{VR}(-)$ and related filtrations for metric spaces of bounded doubling dimension. We show that this geometric assumption is necessary in a precise sense. Working in the framework of homotopy interleavings, we show that for any fixed $c \in [1, \sqrt{2})$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has exponential size. We also show that for any fixed $c \geq 1$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has superlinear size, yielding an obstruction to linear-size approximations for any fixed approximation factor. Both results extend to the intrinsic Čech filtration and to any bifiltration containing $\mathcal{VR}(-)$ as a $1$-parameter slice, including the function-Rips, degree-Rips, and subdivision-Rips bifiltrations.
A Higher-Order Clique Density Theorem
Reiher's clique density theorem determines the sharp lower envelope for the density of $K_r$ at fixed edge density. We prove a higher-order version in which the prescribed quantity is itself a clique density. For every $3\le s<r$, we determine the minimum possible $K_r$-density among graphons with prescribed $K_s$-density. For $s\ge3$ the constraint is genuinely nonlinear and leaves the edge density undetermined; nevertheless, on the positive range the sharp lower boundary is the classical multipartite edge-to-clique profile, reparametrised by $K_s$-density.
We also prove stability on the positive branches of this profile: at every interior point, near extremality forces cut-distance closeness to the corresponding extremal family at the induced edge density.
Tight Staircase Bounds for Cyclic Subsets below Dirac's Threshold
Let $\operatorname{Cyc}(G)$ denote the number of cyclic subsets in a graph $G$, which are subsets that induce a Hamiltonian subgraph. Draganić, Keevash and Müyesser recently proved that every regular Dirac graph has $Ω(2^n)$ cyclic subsets, resolving a problem of Erdős and Faudree.
We determine the sharp asymptotic lower bound throughout the linear range below Dirac's threshold. Let $G$ be an $n$-vertex $d$-regular graph with $d=Ω(n)$ and $d<n/2$, then $$
\operatorname{Cyc}(G)\ge (q-o(1))2^{n/q}, \quad \text{where } \quad q=\left\lfloor \frac{n}{d+1}\right\rfloor \ge 2. $$ This bound is asymptotically best possible, including the leading coefficient $q$, as witnessed at the staircase levels by the disjoint union of $q$ equal cliques. Consequently, the optimal exponential rate changes by discrete jumps as $d$ crosses the thresholds $n/k$, rather than varying smoothly with $d$. We also prove the optimal exponential rate at the Dirac boundary: every $n$-vertex $n/2$-regular graph satisfies $\operatorname{Cyc}(G)\ge 2^{(1-o(1))n},$ which is sharp up to a subexponential factor by $K_{n/2,n/2}$.
Charge functions for all dimensional partitions
Published in SciPost Phys. 21, 079 (2026)
• View Publication
• BIB
The charge functions for n-dimensional partitions are known for n=2,3,4 in the literature. In a recent work, we gave the expression for arbitrary odd dimension; here we further conjecture a formula for all even-dimensional cases. This conjecture is proved rigorously for 6D, and numerically verified for 8D.
Polynomial encoding of rooted trees with branch lengths
Phylogenetic trees are rooted trees with branch lengths that record genetic divergence or elapsed time, and quantifying differences between them is central to a wide range of evolutionary and epidemiological analyses. Graph-polynomial encodings of rooted trees provide an accurate, interpretable, and computationally efficient way to compare tree shapes, but existing polynomial encodings must be paired with auxiliary structures to study rooted trees with branch lengths. We introduce a bivariate polynomial encoding that incorporates branch lengths directly into a recursive computation from the leaf vertices to the root vertex of a tree. We prove that, for rooted trees with branch lengths and no vertices of degree two, which include all standard phylogenetic trees, two trees have the same polynomial if and only if their underlying unlabeled trees are isomorphic and the branch lengths of corresponding edges are equal. We apply the polynomial encoding to three published HIV-1 phylogenies sampled in different epidemiological settings and show that it accurately separates the three datasets based on their tree topologies and branch lengths, outperforming previous polynomial-based approaches for analyzing rooted trees with branch lengths.
Hamilton paths and cycles in flip graphs of (almost-)perfect matchings
We consider the set of matchings of a graph and a local change operation, called a flip, between them. In the combinatorial setting, the base graphs are either complete graphs or complete bipartite graphs, and in the geometric setting, the graphs are embedded on point sets in the plane, with the requirement that edges must be drawn as straight lines and must not cross. For base graphs with an even number of vertices, we consider perfect matchings, i.e., all vertices are matched, and for base graphs with an odd number of vertices, we consider almost-perfect matchings, i.e., all but one vertex of the graph are matched. A 2-flip between two perfect matchings exchanges two edges, and a 1-flip between two almost-perfect matchings exchanges one edge. The corresponding flip graph has the set of perfect or almost-perfect matchings as vertices, with pairs of them connected by an edge if they differ in a 2-flip or 1-flip, respectively. In this work, we provide a comprehensive picture of Hamiltonicity properties of these flip graphs. We prove that the flip graphs in the combinatorial setting are Hamilton-connected, i.e., they admit a Hamilton path between any two vertices, or, if the flip graphs are bipartite, we prove that they are Hamilton-laceable, i.e., they admit a Hamilton path between any two vertices from different partition classes. In the geometric setting, we prove that any path in them misses exponentially many vertices, in particular, they have no Hamilton paths or cycles. For points in convex position and almost-perfect matchings under 1-flips, we complement this by constructing a cycle in the flip graph that visits almost all vertices.
The Second Largest Eigenvalue of Stiffness Matrices of Normalized Complete Frameworks
Let $R(G,p)$ be the normalized rigidity matrix of a framework $(G,p)$ in $\mathbb R^d$, and let \[ L(G,p)=R(G,p)R(G,p)^{T} \] be the associated stiffness matrix. We study the extremal eigenvalues of $L(K_n,p)$ for complete frameworks whose vertices lie on the unit sphere and have centroid at the origin.
Our main result shows that, whenever $d\ge2$ and the image of $p$ contains at least three distinct points, the second largest eigenvalue of $L(K_n,p)$ is exactly $n/2$. This settles the eigenvalue part of a conjecture of Lew et al. [Israel J. Math. 256, 2023]. We further construct an infinite family of examples, given by regular polygons embedded in a two-dimensional subspace, for which the eigenvalue $n/2$ has multiplicity $2n-4$. Consequently, the multiplicity predicted in the conjecture is not correct in general. Our results reveal a dichotomy: the value of the second largest eigenvalue is universal, while its multiplicity is sensitive to the geometry of the underlying point configuration.
The sharp asymptotic density of zero-sum-free spherical sets
A measurable set $A\subseteq \mathbb S^{d-1}$ is called zero-sum-free if there are no $\boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in A$ with $\boldsymbol{x}+\boldsymbol{y}+\boldsymbol{z}=\boldsymbol{0}$. Bukh asked whether every zero-sum-free measurable subset of $\mathbb S^{d-1}$, for $d\ge3$, has normalized surface measure at most $\frac{1}{2}$. He also pointed out that even the asymptotic behavior as $d\to\infty$ was unknown. We answer Bukh's asymptotic question by proving that every such set has normalized surface measure at most $\frac{\lfloor (d+1)^2/2\rfloor}{d(d+1)}=\frac{1}{2}+O\left(\frac{1}{d}\right).$ Since the lower bound $\frac{1}{2}$ comes from open hemispheres, this determines the asymptotic extremal density.
By monotonicity, upper bounds in low-dimensional cases are especially important. We use a stability argument to improve the bound from $\frac{3}{5}$ to $\frac{71}{120}$ in dimensions $4$ and $5$.
Counting partial Latin rectangles and tridimensional rook placements with multisymmetric functions
We generalize Gessel's Formula for the number of Latin rectangles to partial Latin rectangles and non-attacking rook placements in a tridimensional chessboard. We also derive explicit short formulas for the generating series of the numbers of non-attacking rook placements on a chessboard with $2$ or $3$ levels. These series also count partial Latin rectangles with $2$ or $3$ rows.
The results are obtained following methods developed by MacMahon and Gessel for counting Latin squares and Latin rectangles, by means of scalar products of multisymmetric functions.
Exact enumeration of lozenge tilings of a triangular region
We prove that the number of lozenge tilings of a certain triangular region $\mathcal{T}_n$ is given by the formula \[T_n=\prod_{\substack{1\leq a<b\leq 3n+2\\(a,b)\not=(n+1,2n+2)}}\left|1+ζ^a+ζ^b\right|^{1/3},\] where $ζ=e^{2πi/(3n+3)}$. This answers a question of Ciucu and Krattenthaler, both by finding the exact formula and by explaining why $T_n$ has many prime factors. The proof reduces the lozenge tiling enumeration problem to evaluating the determinant of the bipartite adjacency matrix $M_n$ of the dual graph of $\mathcal{T}_n$, and then evaluates this determinant by diagonalising $M_n$.
On balancing two-slice portions of cake
After $n$ radial cuts of a circular cake, it is divided into $n$ slices. Call an adjacent pair of slices a portion. We exhibit an infinite sequence of cuts such that the ratio between the maximum and minimum sizes of a portion never exceeds 1.755. This improves on the trivial upper bound of 2, disproving a conjecture of Korsky.
Graded families of ideals and convex regions
We study the interplay between graded families of ideals in $\mathbb{K}$-domains and their associated convex regions. These regions, called Newton-Okounkov regions, arise naturally from graded families of ideals associated to a valuation with one-dimensional leaves. Our main focus is to compute asymptotic resurgence number of a pair of graded families of ideals. By combining techniques from Attouch--Wets topology and convex-geometric properties of Newton-Okounkov regions, we characterize the asymptotic resurgence number through containment relations between the pair of corresponding Newton-Okounkov regions.
One construction for the Miura-ori flip-graph degree sequence
The flip graph of an origami crease pattern has the flat-foldable mountain-valley assignments as vertices, and an edge joins two of them that differ by a single face flip. A basic invariant of this graph is the degree sequence, which counts the vertices of each degree. On the $m\times n$ Miura-ori, this sequence is known as a bivariate polynomial only for small degrees, each count obtained by a separate argument whose casework grows with the degree. This paper gives one uniform construction that expresses, for every degree $d$, the number of degree-$d$ vertices as a single symmetric polynomial $p_d(m,n)$ for all sufficiently large $m,n$. Subject to a single degree bound, this polynomial has total degree $d-2$, growing for $d\ge5$ as an explicit multiple of $m^{d-2}+n^{d-2}$; the bound is proved here when the count splits into independent row and column factors, and open otherwise. The region is $m,n\ge\max(d-1,2)$; through $d=7$, the polynomials are computed in closed form and the bound is verified in every case. Below this region, the count departs from $p_d$ by a correction whose leading coefficient, through degree eleven, is $-4$ times a Baxter number. Each $p_d$ thus counts the Miura-ori's flat-foldable assignments admitting exactly $d$ single face flips.
Algebraic Geometry of Electroid Varieties
Recent work of Lam, Bychkov-Gorbounov-Kazakov-Talalaev, and Chepuri-George-Speyer gave a stratification of the totally nonnegative Lagrangian Grassmannian into electroid cells parameterized by cactus networks, paralleling Postnikov's stratification of the totally nonnegative Grassmannian by positroid cells. Electroid varieties arise as an algebro-geometric extension of electroid cells. The combinatorics of these varieties was studied by Lam in 2018. We build on this work and study the geometric properties of electroid varieties. In analogy to results of Knutson, Lam, and Speyer on positroid varieties, we show that electroid varieties are reduced, irreducible, regular in codimension one, compatibly Frobenius split, and form a stratification. We also show a decomposition of certain electroid varieties as a product of two electroid varieties. As a consequence, the grove measurement map that embeds electroid cells can be extended algebraically to embed an algebraic torus.
Powers and trace of symmetric powers of $2\times 2$ matrices and combinatorial, Fibonacci and Lucas identities
Let $A$ be an arbitrary $2\times 2$ matrix. In \cite{Cisneros:PhD,Cisneros:I2x2M} I gave a formula for the trace of the $k$-th symmetric power of $A$ in terms of the anti-diagonal entries of $A^{k+1}$ and $A$. This was based on formulae that I found for the entries of the $k$-th power $A^k$ of the matrix $A$ in terms of its entries but I only sketched the idea of how I obtained such formulae. In this article I give the full proof of those formulae by counting some walks of length $k$ over the complete digraph of order $2$. I compare them with formulae for $A^k$ given by Mc Laughlin in \cite{McLaughlin:CIDnP2x2M} and by Williams in \cite{Williams:nthP2x2M}. This leads to combinatorial identities, in particular expressions for Fibonacci and Lucas numbers.
Polarised noncrossing partititions and the coherent self-dual $ω$-equivalence
We construct an acyclic augmented chain complex of abelian groups whose entry in degree $n > 0$ is free on the set of noncrossing partitions of degree $n-1$ equipped with a $\{0, 1\}$-labelling of their gaps. The definition of the differential in this complex is related, via a restricted Leibniz rule, to the gap-insertion operad of Ebrahimi-Fard, Foissy, Kock, and Patras. We conjecture that this augmented chain complex is the linearisation of a polygraph presenting a self-dual model of the coherent walking $ω$-equivalence constructed by the author, Loubaton, Ozornova, and Rovelli, and provide evidence for this conjecture.
Wall-crossing for Hilbert schemes
The goal of the minimal model program for the Hilbert scheme of points on a surface aims is to describe the (stable) base loci of all divisors, their associated birational models, and the maps between them. We answer all of these questions for the Hilbert scheme of points on the blowup of the affine plane at the origin. The birational models are Brill-Noether loci in a larger Hilbert scheme, and nested variants thereof, and the wall-crossing maps are described as explicit projections. We also establish several new facts about the homogeneous coordinate ring of this Hilbert scheme, including finding the minimal set of line bundles whose sections generate the ring.