math.CO ↗ arXiv
7121 papers in this category
An Improvement to the Upper Bound for Marton's Covering Conjecture
Marton's covering conjecture studies finite sets in high-dimensional binary spaces whose pairwise sums create relatively few new elements. It predicts that every such set can be described efficiently by shifted copies of one linear subspace of comparable size. Gowers, Green, Manners, and Tao [GGMT25] proved the conjecture with exponent $12$. Liao [L24] improved the exponent to $9$. We improve it further to $5.287$.
Deficit bounds and equality cases in the Tu--Deng problem
Let $N=2^k-1$, and let $S_{t,k}$ consist of the pairs $0\le a,b<N$ such that $a+b\equiv t\pmod N$ and $\wt(a)+\wt(b)<k$. The Tu--Deng bound $|S_{t,k}|\le 2^{k-1}$ has recently been proved. In this paper, we give a combinatorial proof of the equality criterion. If the $k$-bit cyclic word of $t$ has $Z$ zeros and $g_1,\ldots,g_Z$ are the numbers of ones between successive zeros, then $$|S_{t,k}|=2^{k-1} \quad\Longleftrightarrow\quad g_i\ge Z-1\quad(1\le i\le Z).$$ Moreover, we recover the resulting enumeration of the equality parameters. Beyond equality, if $R\ge Z\ge2$, where $R$ is the number of ones, then every nonequality parameter satisfies $$2^{k-1}-|S_{t,k}|\ge 2^{R-Z+1},$$ and we classify all cases in which this bound is attained. For $R<Z$ we obtain a congruence for $|S_{t,k}|$ and a lower bound for the deficit in terms of the number of cyclic runs of ones.
$K$-spherical horospherical averages on the Nagao quotient: tree combinatorics and exact discrepancy
Let $q$ be a prime power, $F=\mathbb F_q(\!(t^{-1})\!)$, $G=\mathrm{SL}_2(F)$, $Γ=\mathrm{SL}_2(\mathbb F_q[t])$, and $K=\mathrm{SL}_2(\mathbb F_q[\![t^{-1}]\!])$, and let $U<G$ be the upper unipotent subgroup. We study right $K$-spherical averages along $U$ on $X=Γ\backslash G$. Expanding translates of compact $U$-orbits and compact-open F$\unicode{x00F8}$lner-ball averages become terminal layers of rooted descendant shadows in the Bruhat--Tits tree. In the even sector, we compute the Haar height law and signed finite-scale discrepancy exactly. This yields $K$-spherical equidistribution for compact-orbit translates and, for irrational boundary endpoints, for F$\unicode{x00F8}$lner-ball averages. For a depth-$N$ shadow rooted at height $k$, with cutoff $M=N-k\ge0$, bounded-profile errors are $O_q(q^{-M})$ in the backward state and $O_q(q^{-M/2})$ uniformly for moving roots, while the shadow law eventually agrees exactly with the Haar law on every fixed finite height window. For $|Φ(2m)|\le Cq^{αm}$, $α<2$, three rate regimes arise, with a linear-in-scale factor at $α=1$ and explicit moving-root dependence. Artin continued-fraction digits eventually encode the cutoff and these rates excursion by excursion through individual digit degrees.
Palindromic Poincaré polynomials in $B_n$
We describe the set of palindromic Poincaré polynomials in $B_n$. As a key ingredient in this classification, we prove that $A_n$ embeds into $B_n$ as a lower interval in Bruhat order. Consequently, all Poincare polynomials $P_w(q)$ and all Kazhdan--Lusztig polynomials $P_{x,y}(q)$ of $A_n$ occur in $B_n$.
On combinatorial bounds for the total Tjurina numbers of certain curves and surfaces with isolated singularities
Published
• View Publication
• BIB
We investigate combinatorial bounds for the total Tjurina numbers of some plane curve arrangements. Focusing on arrangements of lines and conics in $\mathbb{P}^2$ that admit only ordinary quasi-homogeneous singularities, we derive new structural inequalities governing the distribution of multiple intersection points. As a consequence, we establish sharp lower bounds for the total Tjurina numbers of free line arrangements with bounded maximal multiplicity and, more generally, for free conic-line arrangements. In particular, we show that for a free arrangement of $d$ lines and $k$ conics, the total Tjurina number grows at least quadratically in $d$ and $k$, and we demonstrate that this bound is sharp. As an application of these planar results, we construct a special family of surfaces in $\mathbb{P}^{3}$ with only isolated singularities and arbitrarily large total Tjurina numbers. This provides new lower bounds for the total Tjurina numbers of certain hypersurfaces that are independent of detailed homological data. only isolated singularities and arbitrarily large total Tjurina numbers. This provides new lower bounds for the total Tjurina numbers of certain hypersurfaces that are independent of detailed homological data.
Asymptotic $\mathrm{v}$-number of graded families of ideals and the Newton-Okounkov region
In this paper, we prove that for Noetherian graded families $\mathcal{I} = \{I_k\}_{k \ge 0}$ of homogeneous ideals in a Noetherian $\mathbb{N}$-graded Noetherian domain, $\lim\limits_{k \to \infty} \frac{\mathrm{v}(I_k)}{k}$ exists, and is given by $\frac{α(I_r)}{r}$ for some $r \ge 1$, where $α(I)$ denotes the initial degree. Extending these results to integral closures, we show that $
\lim\limits_{k\to\infty}\frac{\mathrm{v}(\overline{I_k})}{k} = \lim\limits_{k\to\infty}\frac{α(\overline{I_k})}{k}=\lim\limits_{k\to\infty}\frac{\mathrm{v}(I_k)}{k}=\lim\limits_{k\to\infty}\frac{α(I_k)}{k} $. For a graded family of monomial ideals in a polynomial ring, we provide a combinatorial interpretation of these limits via Newton--Okounkov regions $Δ(\mathcal{I})$. This connection is further generalized to arbitrary homogeneous ideals using good valuations. We also establish that both $\operatorname{reg}(I_k)$ and $\mathrm{v}(I_k)$ are eventually quasi-linear functions of $k$ for any Noetherian graded family. For a stable monomial ideal $I$ we show that $\mathrm{v}(I) < \operatorname{reg}(I)$. Finally, for a zero-dimensional homogeneous ideal $I$ in a polynomial ring $S$, we prove that $\mathrm{v}(I) < e(S/I)$, where $e(S/I)$ denotes the multiplicity.
A Note on an Analytic Approach to the Problem of Finite Matroid Representability, The Cardinality of Sets of k-Independent Vectors over Finite Fields and the Maximum Distance Separable Conjecture
We introduce various quantities that can be defined for an arbitrary finite matroid, and show that certain conditions on these quantities imply that a matroid is not representable over $\mathbb{F}_q$ where $q$ is a prime power. Mostly, for a finite matroid of rank $r$, we examine the proportion of size-$(r-k)$ subsets that are dependent, and give bounds, in terms of the cardinality of the matroid and $q$, for this proportion, below which the matroid is not representable over $\mathbb{F}_q$. We also explore connections between the defined quantities and demonstrate that they can be used to prove that random matrices have high proportions of subsets of columns independent. Our study relates to the results of our papers [4,5,11] dealing with the cardinality of sets of $k$-independent vectors over $\mathbb{F}_q$ and the Maximal Distance Separation Conjecture over $\mathbb{F}_q$.
Making spanning graphs
We prove that for each $D\ge 2$ there exists $c>0$ such that whenever $b\le c\big(\tfrac{n}{\log n}\big)^{1/D}$, in the $(1:b)$ Maker-Breaker game played on $E(K_n)$, Maker has a strategy to guarantee claiming a graph $G$ containing copies of all graphs $H$ with $v(H)\le n$ and $Δ(H)\le D$. We show further that the graph $G$ guaranteed by this strategy also contains copies of any graph $H$ with bounded maximum degree and degeneracy at most $\tfrac{D-1}{2}$. This lower bound on the threshold bias is sharp up to the $\log$-factor when $H$ consists of $\tfrac{n}{3}$ vertex-disjoint triangles or $\tfrac{n}{4}$ vertex-disjoint $K_4$-copies.
Two-parameter Littlewood identities and half-space Yang--Baxter random fields for stable spin Hall--Littlewood symmetric functions
We prove a two-parameter skew Littlewood identity for stable spin Hall--Littlewood symmetric functions, generalizing Warnaar's identity. This identity yields a half-space extension of the Yang--Baxter random field of Bufetov and Petrov. Using their stochastic Yang--Baxter move together with the skew Littlewood identity, we construct explicit bulk and boundary sampling rules and characterize the two boundary regimes in which these rules admit autonomous projections onto the first $R$ column lengths for every $R\ge1$. In these regimes, the partition-length fields agree, after explicit coordinate and parameter changes, with the half-space stochastic six-vertex model of Barraquand, Borodin, Corwin and Wheeler and a subfamily of He's model. The two-column projections retain spin dependence and converge, under the respective continuous-time scalings, to the same two-layer exclusion process whose first layer is open ASEP. We also prove that the joint distributions of partition lengths in ascending processes are independent of spin throughout the nonnegative parameter range. Using this spin independence and the distributional comparisons with half-space six-vertex heights, we transfer He's asymptotic results to diagonal partition lengths, obtaining Tracy--Widom GSE and GOE limits, Gaussian limits, and a GSE--GOE crossover under boundary tuning. The GOE limit also holds at the even-column specialization. Finally, the first-layer particle count of the continuous-time process has GOE fluctuations.
Partition universality for graphs of bounded degeneracy and degree
Published
• View Publication
• BIB
We prove asymptotically optimal bounds on the number of edges a graph $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $D$-degenerate graph on $n$ vertices with bounded maximum degree. We also improve the upper bounds on the number of edges $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $n$-vertex graph with maximum degree $Δ$, for each $Δ\ge 4$. In both cases, we show that a binomial random graph with $Cn$ vertices and a suitable edge probability is likely to provide the desired $G$.
Proof of the Clustered Hadwiger Conjecture
Hadwiger's Conjecture asserts that every $K_h$-minor-free graph is properly $(h-1)$-colourable. We prove the following improper analogue of Hadwiger's Conjecture: for fixed $h$, every $K_h$-minor-free graph is $(h-1)$-colourable with monochromatic components of bounded size. The number of colours is best possible regardless of the size of monochromatic components. It solves an open problem of Edwards, Kang, Kim, Oum and Seymour [SIAM J. Disc. Math. 2015], and concludes a line of research initiated in 2007. Similarly, for fixed $t\geq s$, we show that every $K_{s,t}$-minor-free graph is $(s+1)$-colourable with monochromatic components of bounded size. The number of colours is best possible, solving an open problem of van de Heuvel and Wood [J. London Math. Soc. 2018]. We actually prove a single theorem from which both of the above results are immediate corollaries. For an excluded apex minor, we strengthen the result as follows: for fixed $t\geq s\geq 3$, and for any fixed apex graph $X$, every $K_{s,t}$-subgraph-free $X$-minor-free graph is $(s+1)$-colourable with monochromatic components of bounded size. The number of colours is again best possible.
Extremal problems about the order and size of nonhamiltonian locally linear graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:3, Graph Theory (September 16, 2026) dmtcs:18029
• View Publication
• BIB
The relation between local structure and global cycle properties is a classical topic in graph theory. A graph $G$ is locally linear if $G[N(v)]$ is a path for every $v\in V(G)$. It is locally Hamiltonian or locally traceable if every vertex neighborhood induces a Hamiltonian or traceable graph, respectively. Earlier work by Pareek and Skupień, Skupień, Davies and Thomassen, Asratian and Oksimets, and de Wet and van Aardt studied extremal questions for these related graph classes. We prove that the minimum order of a nonhamiltonian locally linear graph is $12$ and that, for every integer $n\geq 12$, the minimum size of such a graph of order $n$ is $2n$. We also prove that every nontraceable locally linear graph of order $n$ has at least $2n+3$ edges.
Bounds on the realizations of zero-nonzero patterns and sign conditions of polynomials restricted to varieties and applications
We obtain upper bounds, independent of the ambient dimension, for the number of realizable zero-nonzero patterns and (over ordered fields) sign conditions of a finite family of polynomials $\mathcal P$ restricted to an algebraic subset $V$ of affine or projective space. The bounds depend only on $\mathrm{card}(\mathcal P)$ and the degrees of the polynomials in $\mathcal P$, together with $\mathrm{deg}(V)$ and $\dim(V)$, and not on the dimension of the space in which $V$ is embedded. This feature is particularly useful when $V$ has small intrinsic dimension but is presented in a very high-dimensional ambient space.
We describe several applications. First, we extend existing results on bounding the $\varepsilon$-entropy of real algebraic varieties. Second, we derive lower bounds (in terms of the number of connected components) for membership testing in semi-algebraic sets in the algebraic computation tree model. Finally, motivated by quantum complexity theory, we introduce additive and multiplicative notions of \emph{relative rank} in finite-dimensional vector spaces and algebras with respect to a fixed algebraic subset, generalizing the classical notion of tensor rank. We prove a general lower bound on the maximum relative rank of finite subsets with respect to algebraic sets of bounded degree and dimension that is again independent of the ambient dimension. As an illustration, we obtain a quantum analog of Shannon's classical lower bound. We prove that if $Δ_n$ is an algebraic family of allowed gates with $$ \dim Δ_n=\operatorname{poly}(n), \qquad \log\mathrm{deg} Δ_n=\operatorname{poly}(n), $$ then some Boolean functions require $2^n/\operatorname{poly}(n)$ gates from $Δ_n$, even when individual gates in $Δ_n$ may be highly nonlocal.
Clique covers and decompositions of cliques of graphs
Published in Advances in Combinatorics 2026:9, 37pp
• View Publication
• BIB
In 1966, Erdős, Goodman, and Pósa showed that if $G$ is an $n$-vertex graph, then at most $\lfloor n^2/4 \rfloor$ cliques of $G$ are needed to cover the edges of $G$, and the bound is best possible as witnessed by the balanced complete bipartite graph. This was generalized independently by Győri--Kostochka, Kahn, and Chung, who showed that every $n$-vertex graph admits an edge-decomposition into cliques of total `cost' at most $2 \lfloor n^2/4 \rfloor$, where an $i$-vertex clique has cost $i$. Erdős suggested the following strengthening: every $n$-vertex graph admits an edge-decomposition into cliques of total cost at most $\lfloor n^2/4 \rfloor$, where now an $i$-vertex clique has cost $i-1$. We prove fractional relaxations and asymptotically optimal versions of both this conjecture and a conjecture of Dau, Milenkovic, and Puleo on covering the $t$-vertex cliques of a graph instead of the edges. Our proofs introduce a general framework for these problems using Zykov symmetrization, the Frankl-Rödl nibble method, and the Szemerédi Regularity Lemma.
Counting factorizations of Singer cycles in linear and unitary groups
We count factorizations of Singer cycles as products of reflections in the families of special and general unitary and linear groups over a finite field. In the case of minimum-length factorizations, the resulting answer is a striking product formula resembling the count for minimum-length factorizations of Coxeter elements into reflections in complex reflections groups. Moreover, for minimum length, the answers for the unitary and linear groups exhibit the phenomenon of Ennola duality, where the number of factorizations in a unitary group over the field $\mathbb{F}_q$ is given by replacing `$q$' with `$-q$' in the corresponding answer for a linear group. We use the character theory of these groups to make this count, and in particular we employ the Deligne--Lusztig theory of characters for finite reductive groups.
Unavoidable induced subgraphs forced by graphs with many vertices of prescribed properties
Given a function $p : V(G)\to \mathbb N$ and an integer $k\ge 0$, define $p_k(G)$ as the number of vertices with $p(v)\ge k$. We say that $p_k(G)$ is bounded for all $\HH$-free graphs if there exists a constant $c=c(\HH)$ such that $p_k(G)<c$ for all such graphs $G$. Here, a graph $G$ is said to be $\HH$-free if it contains no member of $\HH$ as an induced subgraph. When $p$ represents the degree of a vertex, Ramsey's theorem implies that $p_0(G)$ is bounded for all $\{K_n, \overline K_n\}$-free graphs, where $K_n$ and $\overline K_n$ denote the complete graph and the edgeless graph on $n$ vertices, respectively. The connected version of Ramsey's theorem says that $p_0(G)$ is bounded for all $\{K_n, P_n, K_{1,n}\}$-free connected graphs, where $P_n$ and $K_{1,n}$ are the $n$-vertex path and the star with $n$ leaves. In this paper, we extend Ramsey's theorem to $p_2(G)$ where $p$ denotes the degree, the local independence number, the local component number, and sharp degree, that is, we characterize the forbidden family of graphs $\HH$ such that $p_2(G)$ is bounded for all (connected) $\HH$-free graphs. Moreover, we also characterize the forbidden family of graphs $\HH$ for which there is a constant $c=c(\HH)$ such that $p_c(G)$ is bounded for all $\HH$-free graphs.
On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares
In 1778 Leonhard Euler characterized triangular numbers that are perfect squares. Obviously, the product of any two such numbers is a perfect square too. Yet, there are many other solutions, that is, pairs $(k,k')$ such that $k(k+1)k'(k'+1)$ is a perfect square. We give explicit formulas characterizing all these square triangular pairs by means of some integer positive polynomials, which is the primary novelty of our work.
This result allows us to find all pairs of intervals of successive integers with equal sums of squares in case when the lengths of two intervals in a pair differ by 1. It is known that there is a one-to-one correspondence between the square triangular numbers and nearly isosceles Pythagorean triples: $n^2 + (n+1)^2 = N^2$. Both are generated by the same Fermat-Pell recursion. This is a special case of our result, when the lengths of the two intervals are 2 and 1.
Cluster deletion in cographs, permutation graphs, and graphs with bounded clique number
The Cluster Deletion problem asks for a minimum-size edge set whose deletion turns a graph into a disjoint union of complete graphs. Equivalently, the Clique Partition problem asks for a partition of the vertex set into cliques that maximizes the number of edges within the parts. We give a simpler proof of a result of Gao, Hare, and Nastos (Discete Mathematics, 2013), that Cluster Deletion is polynomial-time solvable on cographs. In addition, we show that the natural linear programming formulation of Clique Partition is exact on cographs.
We then show that Cluster Deletion is NP-complete on permutation graphs, which are a superclass of cographs. This answers an open question of Konstantinidis and Papadopoulos (Algorithmica, 2021). We also exhibit a permutation graph on nine vertices for which the linear programming formulation is not exact.
Finally, for graphs with clique number at most $c$, we give a polynomial-time $2\binom{c}{2}/(\binom{c}{2}+1)$-approximation algorithm for Clique Partition. More generally, the algorithm runs in polynomial time on every graph class for which a maximum clique can be found in polynomial time. For each fixed $c\geq 3$, we also construct infinitely many examples attaining the stated approximation ratio. The same examples show that, for Cluster Deletion , the algorithm is a $2$-approximation and no better, for every fixed $c \geq 3$.
Categorification of $k$-Schur functions and refined Macdonald positivity
We establish a substantial part of the categorification framework for $k$-Schur functions proposed in Chen's Ph.D.\ thesis, written under the supervision of Mark Haiman. More precisely, we realize $k$-Schur functions as the graded characters of a distinguished family of objects in a certain module category and establish module-theoretic analogues of several foundational properties of $k$-Schur functions. A final part of Chen's framework predicts a homological characterization of modules admitting filtrations by these distinguished objects; we establish this characterization under an additional combinatorial hypothesis.
In addition, we unconditionally prove that modules arising in this framework admit filtrations whose subquotients are affine Demazure modules of level $k$. As a consequence, modified Macdonald polynomials expand positively in the characters of affine Demazure modules. This may be viewed as a homological refinement of Macdonald positivity, arising from an intrinsic $\mathrm{ext}$-orthogonality condition on the corresponding Garsia--Haiman modules. We also prove the combinatorial hypothesis for $m \le 2k$ in the appendix and verify it computationally for $m\leq 19$, yielding $k$-Schur positivity of modified Macdonald polynomials in these cases.
Our approach builds on our previous work on the algebraic and geometric realization of Catalan symmetric functions, a class encompassing both $k$-Schur and Hall--Littlewood functions.
On the Hamiltonicity, traceability and toughness of complements of line graphs
A coline graph $\text{co}(G)$ of a graph $G$ is the graph with vertex set $E(G)$ for which two vertices $e$ and $e'$ of $\text{co}(G)$ are adjacent if and only if they are not adjacent as edges in $G$. A graph $G$ is tough if the number of connected components of $G-S$ is at most $|S|$ for all cut sets $S$. Wu and Meng, and Liu independently gave similar characterisations of coline graphs that are Hamiltonian. In this paper we give an alternate proof of Wu and Meng's and Liu's results using the longest cycle method. We in fact prove the following reformulation of their results. A tough coline graph $\text{co}(G)$ is Hamiltonian unless $G$ is one of four examples, one of which is $K_5$, since $\text{co}(K_5)$ is the Petersen graph. Characterisations of tough coline graphs and of coline graphs that contain a Hamiltonian path are also given.