math.CO ↗ arXiv
7121 papers in this category
Typical growth of the Füredi-Hajnal and Stanley-Wilf limits
We prove that the Füredi-Hajnal limit and the Stanley-Wilf limit of a uniformly random permutation matrix of order $k$ are at most $\exp\bigl(O(\sqrt{k}(\log k)^{5/2})\bigr)$ with probability tending to one as $k\to\infty$. This improves the bound $\exp\bigl(O(k^{2/3}(\log k)^{7/3}/(\log\log k)^{1/3})\bigr)$ of Cibulka and Kynčl. Together with the lower bound due to Fox, these bounds show that the logarithms of both limits are $k^{1/2+o(1)}$ for almost all permutations.
Positive discrepancy of graphs far from Turán graphs
We prove that, for every $\eps>0$, any $n$-vertex graph that needs at least $\eps n^2$ edge changes to become a Turán graph has positive discrepancy at least $c_\eps n^{5/4}$. Consequently, every such regular graph has second eigenvalue at least $c'_\eps n^{1/4}$. These results prove two conjectures of Räty, Sudakov and Tomon.
Matching algebras and their Dunkl subalgebras
For a finite simple graph $G = (V, E)$, we consider the quotient algebra $\mathcal M(G)$ of the polynomial ring in the variables $u_e$ (for $e \in E$) by the ideal generated by all products $u_e u_f$ for non-disjoint edges $e$ and $f$ (including all squares $u_e^2$). This quotient is called the matching algebra of $G$, since it has a basis indexed by the matchings of $G$. In this quotient, we define a subalgebra $\mathcal D(G)$ generated by the signed incidence sums $θ_v=\sum_{e=(v,w)}u_e-\sum_{e=(w,v)}u_e$ for all $v \in V$ (where all edges of $G$ are oriented arbitrarily); we call this the Dunkl matching algebra.
We show that, as a graded vector space, $\mathcal D(G)$ is dual to the span of all polynomials $p_M = \prod_{(i,j) \in M} (x_i - x_j)$, where $M$ ranges over all matchings of $G$. For the complete graph $K_n$, the latter span is a direct sum of two-row Specht modules (one in each degree); thus its Hilbert series is that of the Catalan triangle, and, in characteristic zero, the Dunkl matching algebra can be presented by linear and quadratic relations. For arbitrary graphs, we formulate the saturation problem of deciding when the selected matching Specht generators $p_M$ in a given degree $k$ span the full two-row Specht module $S^{(n-k,k)}$. We show that saturation in degree $k$ forces $k$-connectivity, that saturation in degree $2$ is equivalent to $2$-connectivity, and that $k$-linked graphs are saturated in degree $k$. We also prove saturation in every possible degree whenever the complement of $G$ is a matching. We show that the Dunkl matching algebra equals the full matching algebra exactly for forests, and give an explicit Hilbert series formula for unicyclic graphs.
A generalized Terao Conjecture for line arrangements
For a line arrangement $\mathcal{A} \colon f=0$ in $\mathbb{P}^2$, let $ν(\mathcal{A})$ be the maximal dimension of a graded piece of the Jacobian module of $f$. We study the conjecture that $ν(\mathcal{A})$ depends only on the intersection lattice of $\mathcal{A}$. It is known that $\mathcal{A}$ is free if and only if $ν(\mathcal{A})=0$, and hence this conjecture is a strengthening of Terao's conjecture for line arrangements. We show that the conjecture holds for arrangements of at most $13$ lines, except possibly for arrangements of exactly $13$ lines whose intersection points have maximal multiplicity $5$.
Abelian maximal pattern complexity and extremal words
In this paper, we study the Abelian maximal pattern complexity $p_α^{\ast \mathrm{ab}}(k)$, introduced by Kamae, Widmer and Zamboni, of infinite words $α\in \mathbb{A}^{\mathbb{N}_{0}}$ over finite alphabets $\mathbb{A}$.
For recurrent aperiodic words, we determine a lower bound and prove its sharpness. We further give a structural characterization of the words with minimal Abelian maximal pattern complexity.
In the general case, we prove that an infinite word $α$ is aperiodic if and only if $\binom{p_{α}^{\ast \mathrm{ab}}(k)}{2}\geq k$ for every $k.$ For aperiodic words over $\ell \geq 2$ letters, each occurring infinitely often, we further prove that $p_{α}^{\ast \mathrm{ab}}(k)\geq m$ whenever $\binom{m}{2}\leq (\ell -1)(k-\ell +2)$, for all $m,k$. Together with a matching construction, this shows that the minimum Abelian maximal pattern complexity in this class is $\sqrt{2(\ell -1)k}+O_{\ell }(1)$.
We call a word an Abelian pattern Sturmian word if, at every $k$, its Abelian maximal pattern complexity is the least positive integer $m$ satisfying $\binom{m}{2}\geq k$. We show that a word is Abelian pattern Sturmian if and only if, after relabeling its alphabet, it is the characteristic word of an infinite set $E\subset \mathbb{N}_{0}$ for which the bipartite graph on two disjoint copies of $\mathbb{N}_{0}$, with a left vertex $r$ adjacent to a right vertex $s$ exactly when $r+s\in E$, is a forest.
A New Upper Bound for the Turán Density of the Tetrahedron
We prove that the Turán density of the tetrahedron $K_4^{(3)}$ satisfies $π(K_4^{(3)}) \le 14993367693127837/26880000000000000 < 0.557789$, improving Baber's upper bound of $0.5615$ and closing about $62\%$ of the gap to the conjectured value $5/9$. The proof uses an exact seven-vertex flag-algebra certificate incorporating degree-stationarity from Razborov's differential method. To find the certificate, we combine the established techniques of cutting planes and column generation to optimize jointly over flag families whose types have at most five vertices. We give a complete formal proof of this Turán density bound in Lean 4.
Linear matroid products: a synthetic approach
The recently established duality between tensor, symmetric and exterior products of uniform matroids on the one hand, and abstract (bi-)rigidity matroids on the other hand, connects theorems and open questions from both areas, previously thought unrelated. In particular, a 1981 question of Mason asks if any two uniform matroids admit a freest product. Via duality, its reformulation due to Cruickshank, Jackson, Jordán and Tanigawa asks if the generic birigidity matroid is the freest abstract birigidity matroid for its parameters. A related conjecture of Jackson and Tanigawa asks if the generic $2$-hyperconnectivity matroid is the freest $\{K_4,K_{3,3}\}$-matroid. We show that these problems can be addressed effectively, and often solved completely for the class of linearly representable matroids.
To this end, we introduce star-basis normal forms that allow to compare representations of abstract (bi-)rigidity matroids over the same field, resulting in a refinement of the weak order relation on the underlying matroids. Utilizing it, we prove that the generic birigidity matroid is the freest linearly representable abstract $(a,b)$-birigidity matroid. This confirms Mason's conjecture for linear matroids. We prove that every representable abstract $2$-rigidity matroid admits a rigidity matrix representation. This is a strengthening of the maximality property of the generic $2$-rigidity matroid. We also prove that every representable abstract $2$-rigidity matroid in which every copy of $K_{3,3}$ is a circuit admits a hyperconnectivity matrix representation. It follows that the generic rigidity and hyperconnectivity families $\mathcal{R}_2$ and $\mathcal{H}_2$ are the only linearly representable $2$-rigidity families.
An explicit power-saving bound for Sárközy's Theorem on shifted primes, assuming GRH
Assume the Generalised Riemann Hypothesis. If $A\subseteq \{1,...,N\}$ contains no two elements differing by $p+1$, $p$ prime, then $|A|\ll N^{\frac{89}{90} + o(1)}$.
Equal Lagrange Numbers with Non-Isomorphic Band Graphs: A Counterexample to Schiffler's Problem 6.3
We consider the following question: if two lattice paths in the same set $\mathcal{D}(a,b)$ have the same Lagrange number, must their band graphs be isomorphic? We exhibit two explicit lattice paths in $\mathcal{D}(17,9)$ with the same Lagrange number but non-isomorphic associated band graphs, thereby giving a counterexample to this question.
Necessary and sufficient conditions of a class of bipartite graphs with local antimagic chromatic number 2 - an algebraic approach
For a connected graph $G = (V, E)$, a bijective edge labeling $f:E \to\{1,\ldots ,|E|\}$ is a local antimagic labeling of $G$ if it induces a vertex labeling $f^+$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(xu)$, with $u$ ranging over all the vertices adjacent to $x$. The minimum number of distinct induced vertex labels over all local antimagic labelings of $G$ is the local antimagic chromatic number of $G$, denoted $χ_{la}(G)$. In this paper, we make use of algebraic analysis to obtain necessary and sufficient conditions for every bipartite graph with all vertices of degree 2 except exactly three vertices of degree at least $3$ (say, $u,v,w$, such that every $(u,v)$-, $(u,w)$- and $(v,w)$-path is of even length and not all are of length 2) to have local antimagic chromatic number 2. Moreover, we showed that the consecutive edge labels of every induced path of each case is unique.
Exact Enumeration of Phylogenetic Networks: The Tree-Child, Reticulation-Visible and Orchard Hierarchy
We develop a unified framework for the exact enumeration and asymptotic analysis of the three most studied classes of phylogenetic networks: tree-child (TC), reticulation-visible (RV) and orchard networks, whose cardinalities satisfy the strict ordering $|\mathrm{TC}_{\ell,k}|<|\mathrm{RV}_{\ell,k}|<|\mathrm{Orch}_{\ell,k}|$ for reticulation number $k\geq2$ (with $\mathrm{TC}\subsetneq\mathrm{RV}$ and $\mathrm{TC}\subsetneq\mathrm{Orch}$, while $\mathrm{RV}$ and $\mathrm{Orch}$ are incomparable as sets). Using the Chang--Fuchs structural theorem, we derive a two-level master functional equation for the RV bivariate generating function and obtain exact closed-form identities for the differences $Δ_k(\ell):=|RV_{\ell,k}|-|TC_{\ell,k}|$ for $k=2,3$, with the asymptotic universality $Δ_k(\ell)/|TC_{\ell,k}|\sim k!/\ell$. For orchard networks, we prove a \emph{universal hypergeometric law} that resolves the exact enumeration problem for all $\ell$: the column generating function $F_\ell(v)$ is rational with denominator $D_\ell(v)=\prod_{j=2}^\ell X_j(v)$, where \[
X_\ell(v) = \sum_{k=0}^{\lfloor\ell/2\rfloor}(-1)^k\,
\frac{\ell!}{(\ell-2k)!\,k!}\,v^k \] is the matching polynomial of the complete graph $K_\ell$ and a rescaled Jacobi polynomial. This immediately resolves the intractable $\ell=9$ case: $D_9$ has degree 20, dominant growth rate $\approx40.73$, and all spectral roots are positive real. A complete enumeration table is provided extending the published data of Cardona, Ribas and Pons.
Sets of equiangular lines in dimension $18$ constructed from $A_5^3 \oplus A_1^4$
In 2023, Greaves, Syatriadi, and Yatsyna found a set of $57$ equiangular lines in $\mathbb{R}^{18}$, breaking the previous record. In 2025, Lin, Munemasa, Taniguchi, and Yoshino constructed a large number of sets of $57$ equiangular lines in $\mathbb{R}^{18}$ as affine equiangular sets in an integral overlattice of $A_9^2 \oplus A_1$. In this paper, we construct further sets of $57$ equiangular lines in $\mathbb{R}^{18}$ from Latin squares of order $6$ and Pasch configurations, realized as affine equiangular sets in an integral overlattice of $A_5^3 \oplus A_1^4$. Unlike the previously known examples, these sets are not strongly maximal. Moreover, some of them have only five distinct Seidel eigenvalues, fewer than any previously known examples.
A palindromicity criterion for the $h$-polynomials of bipartite edge rings
We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$, then $\Bbbk[G]$ is Gorenstein. Equivalently, under these assumptions the $h$-polynomial of $\Bbbk[G]$ is palindromic. The proof treats the $2$-connected case first by translating the numerical condition $h_1=h_{s-1}$ into a tight-separation condition for non-edges, and then passes to arbitrary bipartite graphs using the block decomposition. We also construct a blockwise minimal Gorenstein closure, obtained by adjoining all non-edges not separated by tight acceptable sets, and show that this construction preserves the next-to-leading coefficient of the $h$-polynomial.
Measuring Depth of Matroids
Motivated by recently discovered connections between matroid depth measures and block-structured integer programming [ICALP 2020, 2022], we undertake a systematic study of recursive depth parameters for matrices and matroids, aiming to unify recently introduced and scattered concepts. We propose a general framework that naturally yields eight different depth measures for matroids, prove their fundamental properties and relationships, and relate them to two established notions in the field: matroid branch-depth and matroid tree-depth (a natural depth counterpart of matroid tree-width). In particular, we show that six of our eight measures are mutually functionally inequivalent, and among these, one is functionally equivalent to matroid branch-depth and another to matroid tree-depth. We also prove that all these depth measures, possibly except one, coincide on matroids and on matrices over any field, which, perhaps surprisingly, is not a trivial finding. Finally, we provide a comparison between the matroid parameters and classical depth measures of graphs.
Coloopless zonotopes and counterexamples to the Shifted Lonely Runner Conjecture
Henze and Malikiosis (2017) have shown that the Lonely Runner Conjecture (LRC) can be restated as a convex-geometric question on the so-called LR zonotopes, lattice zonotopes with one more generator than their dimension. This relation naturally suggests a more general statement, the shifted LRC, the zonotopal version of which concerns a classical parameter, the covering radius.
In this paper we do two things:
1) We show explicit counterexamples to both the shifted Lonely Runner Conjecture (starting at $n=5$) and to the Lonely Vector Property of Malikiosis-Schymura-Santos (2025).
2) We push the analogies between the two versions of LRC and their zonotopal counterparts, in particular highlighting that the proofs of the finite-checking Theorems A and B in Malikiosis-Schymura-Santos (2025) are more transparent, and the statements more general, if regarded in terms of two quite general classes of lattice zonotopes: the coloopless zonotopes that we introduce here and the cosimple ones, already defined by them.
An extension of Birkhoff's representation theorem to locally-finite distributive lattices
Birkhoff's representation theorem identifies a finite distributive lattice with the lattice of order ideals of its poset of join-irreducible elements This can be extended to identifying a finitary distributive lattice with the lattice of finite order ideals of its poset of join-irreducible elements. Each of these representations can be extended into a duality, where the representation and reconstruction are inverse constructions between the isomorphism classes of the selected class of distributive lattices and the isomorphism classes of of the selected class of posets. Many lattices arising in combinatorics are locally finite but not finitary (where ``locally-finite'' means all intervals contain a finite number of elements). The main result of this paper is an analogous representation duality for locally-finite distributive lattices: A locally-finite distributive lattice is dual to a \emph{pair}, consisting of a poset (the poset of prime filters of the lattice) and a distinguished subset of the order ideals of the poset. The distinguished subset is (1) a sublattice that is a maximal collection of order ideals whose mutual symmetric differences are finite, and (2) for every element of the poset, the subset contains ideals that both include and exclude the element. An alternative duality is given where, in the pairs, the subset of order ideals is replaced by a single order ideal, and where isomorphism on the class of pairs is correspondingly made broader. We further show that when the Hasse diagram of the lattice of order ideals of a poset is regarded as a graph, any dual lattice is exactly one connected component of the graph.
A quantitative version of the non-abelian idempotent theorem
Published in Geom. Funct. Anal. 21 (2011), no. 1, 141-221
• View Publication
• BIB
Suppose that G is a finite group and A is a subset of G such that 1_A has algebra norm at most M. Then 1_A is a plus/minus sum of at most L cosets of subgroups of G, and L can be taken to be triply tower in O(M^2). This is a quantitative version of the non-abelian idempotent theorem.
Coset decision trees and the Fourier algebra
Published in J. Anal. Math. 144 (2021), 227-259
• View Publication
• BIB
We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree with m leaves has Fourier algebra norm at most \exp(O(m)).
Homotopy groups and quantitative Sperner-type lemma
Sperner's lemma guarantees a fully labeled simplex under a boundary labeling rule. We ask how many fully labeled simplices are forced by the homotopy class of the boundary map. For a geometrically triangulated convex ball, we compare this number with the least number of simplices over a target facet among representatives of the boundary class on smoothly triangulated spheres. The comparison holds in equal and consecutive dimensions, and whenever the number of fully labeled simplices is at most twice the number of colors. A pyramid construction gives a comparison with the suspended class in all dimensions.
If the boundary sphere has dimension one or two greater than the target sphere, a nonzero boundary class forces at least nine fully labeled simplices. We construct geometric examples attaining nine when the difference is one. When the difference is two, we prove that the spherical minima eventually become constant as the dimensions increase. We also show that the choice of triangulation matters: the smooth Hopf minimum is nine for every nonzero Hopf invariant, whereas for convex polytopal spheres the minimum grows as the square root of its absolute value. The proofs use framed fibres, monochromatic cycles, and maps on vertex links.
High-rank subtensors of high-rank tensors
Published in Advances in Combinatorics 2026:10, 70pp
• View Publication
• BIB
Let $d \ge 2$ be an integer. We show that for a class of notions $R$ of rank for order-$d$ tensors, which includes in particular the tensor rank, the slice rank and the partition rank, there exist functions $F_{d,R}$ and $G_{d,R}$ such that if an order-$d$ tensor has $R$-rank at least $G_{d,R}(l)$ then we can restrict its entries to a product of sets $X_1 \times \dots \times X_d$ such that the restriction has $R$-rank at least $l$ and the sets $X_1, \dots, X_d$ each have size at most $F_{d,R}(l)$. Furthermore, our proof methods allow us to show that under a very natural condition we can require the sets $X_1, \dots, X_d$ to be pairwise disjoint.