math.CO ↗ arXiv
7121 papers in this category
New bounds on the Graham-Pollak theorem for hypergraphs
For a fixed $r$, let $f_r(n)$ denote the minimum number of complete $r$-partite $r$-uniform hypergraphs whose edge sets partition the complete $r$-uniform hypergraph on $n$ vertices. The Graham-Pollak theorem asserts that $f_2(n)=n-1$. Let $c_r$ be the smallest constant such that $f_r(n)\le c_r(1+o(1))\binom{n}{\lfloor r/2\rfloor}$. We give two constructions that improve upper bounds for $f_r(n)$. The first partitions $E(K_4)\times E(K_{17})$ into $44$ products of edge sets of complete bipartite graphs and yields $c_4\le11/12$, improving the previous bound of $c_4\le14/15$. The second gives an asymptotically improved exact cover for odd $r$. Combining these constructions, we prove that $c_r<1$ for every odd integer $r\ge65$, which improves upon the previous computer-assisted result of $113$. We further obtain the improved asymptotic bound $c_r\le \frac{r}{15}\left(\frac{11}{12}\right)^{r/4}+o(1)$ for general $r$. These results narrow the gap towards resolving the major open problem of determining whether $c_5<1$.
Universal Asymptotics and Exact Enumeration of Eulerian Maps
We calculate the asymptotics of the number of connected, labeled, genus $g$ Eulerian maps with an arbitrary degree sequence, in the limit as the total number of vertices tends to infinity. This asymptotic is universal, in the sense that the leading-order term depends on only three map characteristics, regardless of the choice of the degree sequence. The constant factor in this formula is related to the Painlevé I equation. Our methods combine for the first time the analysis of the recurrence coefficients associated to a particular family of orthogonal polynomials, and the theory of analytic combinatorics of several variables. We also derive an exact formula for the number of connected, labeled, genus $1$ Eulerian maps. These are the first results on this kind of enumeration problem for $g\geq 1$, non-regular (mixed-valence) maps.
The 1/2-Conjecture for $q$-Binomial Coefficients with Fractional Index
For a nonnegative integer $k$ and a rational number $r\in\mathbb{Q}^+$, we define the generalized Gaussian binomial coefficient $\qbinom{r+k}{k} = \frac{(q^{r+1}; q)_k}{(q; q)_k}$. When $r=a/b$ with $a,b$ coprime positive integers and $b\geq 2$, expanding $\qbinom{r+k}{k}$ via the finite $q$-binomial theorem produces fractional powers of $q$, so that $\qbinom{r+k}{k}$ is a \emph{Puiseux series} in $q$ with nonnegative exponents; concretely it lies in $\mathbb{Q}[[q^{1/b}]]$. The notion we single out is the \emph{integer trace} of this expansion, the subseries consisting of those terms $c_r(d)\,q^d$ whose exponent $d$ is an integer, with all fractional powers discarded. This projection is not standard, and there is no a~priori reason for the surviving coefficients to behave coherently as $r$ varies. Nonetheless, ordering the family by the coefficientwise partial order leads to the \emph{$\tfrac{1}{2}$-Conjecture}: among all $r\in\mathbb{Q}^+$, the value $r=\tfrac{1}{2}$ maximizes the integer trace, in the sense that the coefficients of $\qbinom{1/2+k}{k}$ dominate those of $\qbinom{r+k}{k}$ coefficientwise for every $r$. That so elementary a definition should single out $\tfrac{1}{2}$ this cleanly came as a surprise to us. We prove the conjecture in several special cases and provide further computational evidence.
Algebraic Degree of Network Games: Balanced Factors and Strategy Scaling
The algebraic degree of a network game is the generic number of isolated complex-torus solutions of its polynomial indifference system. We recast the classical semi-mixed coefficient formula as an edge-marked player-level polynomial whose monomials are balanced directed multigraphs with prescribed in- and out-degrees. This representation separates the intrinsic counting problem from strategy-label refinements: exact evaluation remains $\#\mathrm P$-complete, but for a fixed number of players it is polynomial in the numerical strategy dimensions, while nonvanishing is decided by a capacitated flow test. It also characterizes inclusion-minimal positive-degree supports as integral transportation forests and yields a sharp $2N-1$-arc positive core. Exact-support coefficients form connected transportation fibers and give a nonnegative support calculus. Under proportional strategy growth $m\mathbf k$, a lattice local limit theorem expresses the first-order degree asymptotic through the capacity and maximum-entropy flow of the essential support. All counts are generic and complex; reality and simplex feasibility remain payoff-dependent.
Castelnuovo-Mumford regularity of toric varieties with at most one singular point
Published in Mediterr. J. Math. (2026) 23:210
• View Publication
• BIB
We establish upper bounds for the Castelnuovo--Mumford regularity of the coordinate ring of a simplicial projective toric variety with at most one singular point. In the smooth case, our results recover the bound of Herzog and Hibi [Proc. Amer. Math. Soc. 131 (2003), 2641--2647], and therefore the Eisenbud--Goto bound. Furthermore, when the variety has exactly one singular point and dimension at least $3$, we prove that its regularity also satisfies the Eisenbud--Goto bound. The proof combines combinatorial and homological methods: we study the asymptotic behavior of the sumsets associated to the toric variety and relate it to Castelnuovo--Mumford regularity via a Hochster-like formula.
Small doublings in abelian groups of prime power torsion
Let $A$ be a subset of $G$, where $G$ is a finite abelian group of torsion $r$. It was conjectured by Ruzsa that if $|A+A|\leq K|A|$, then $A$ is contained in a coset of $G$ of size at most $r^{CK}|A|$ for some constant $C$. The case $r=2$ received considerable attention in a sequence of papers, and was resolved by Green and Tao. Recently, Even-Zohar and Lovett settled the case when $r$ is a prime. In this paper, we confirm the conjecture when $r$ is a power of prime. In particular, the bound we obtain is tight.
Graph Polynomial for Colored Embedded Graphs: A Topological Approach
We study finite graphs embedded in oriented surfaces by associating a polynomial to it. The tools used in developing a theory of such graph polynomials are algebraic topological while the polynomial itself is inspired from ideas arising in physics. We also analyze a variant of these polynomials for colored embedded graphs. This is used to describe the change in the polynomial under basic graph theoretic operations. We conclude with several applications of this polynomial including detection of certain classes of graphs and the connection of this polynomial with topological entanglement entropy.
On the Alexander polynomials of conic-line arrangements
In the present paper we compute Alexander polynomials for certain classes of conic-line arrangements in the complex projective plane which are related to pencils. We prove two general results for curve arrangements coming from Halphen pencils of index $k\geq 2$. Then we apply them to the Hesse arrangement of conics and to some of its degenerations. The results are completed by computations using computer algebra. In particular, we construct conic-line arrangements which are non-reduced pencil-type arrangements and have as roots of their Alexander polynomials roots of unity of order 7. Such roots are not known and are conjectured not to exist in the class of line arrangements.
Schur positivity of the spiders $S(a,2,1)$ and $S(a,4,1)$ via noncommutative symmetric functions
We prove that the spider graphs $S(a,2,1)$ and $S(a,4,1)$ are Schur positive for all integers $a\ge1$. Together with the known $e$-positivity results, this completes the $e$- and Schur-positivity classification of both families. Our approach uses noncommutative symmetric functions, including a particularly simple ribbon expansion for the path lift with coefficients given by powers of two. We give a new proof of the Shareshian--Wachs path formula at $t=1$ and construct corresponding lifts for spiders. The Littlewood--Richardson rule converts their ribbon expansions into a general Schur-coefficient formula in terms of weighted Yamanouchi words. Mass-preserving multi-injections and a reduction to finitely many inequalities in degree $10$ then prove the required positivity; exact computer verification of these inequalities completes the proof in full generality.
Saturation of edge-ordered graphs
Published in Electronic J. Combin. 33(3), #P3.62, 2026
• Search Publication
For an edge-ordered graph $G$, an $n$-vertex edge-ordered graph $H$ is $G$-saturated if it is $G$-free and adding any new edge with an arbitrary label to $H$ creates a copy of $G$. The saturation function is the minimum number of edges in a $G$-saturated graph.
For (unordered) graphs, $0$-$1$ matrices, and vertex-ordered graphs, the saturation function is always $O(n)$ and satisfies a dichotomy: it is either $O(1)$ or $Θ(n)$. The saturation function of an edge-ordered graph follows a weaker dichotomy, being either $O(1)$ or $Ω(n)$. However, by finding edge-ordered graphs whose saturation functions are $Ω(n \sqrt{\log n})$, we show that $O(n)$ is not a universal upper bound.
We also study the semisaturation problem for edge-ordered graphs, a variant of the saturation problem in which $H$ is not required to be $G$-free. We prove a general upper bound $O(n \log n)$ and characterize edge-ordered graphs with bounded semisaturation functions.
We then present several families of edge-ordered graphs with bounded, linear, and superlinear (semi)saturation functions. We also introduce a natural variant of saturation in which the added edge is required to receive the smallest label. The behaviour of the two variants is similar in many respects, which motivated us to investigate the second variant extensively.
Log-concavity and log-convexity via distributive lattices
Published
• View Publication
• BIB
We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.
The second class particle in the half-line open TASEP
Published in Journal of Theoretical Probability, 39, 84 (2026)
• View Publication
• BIB
We consider the second class particle in half-line open TASEP under two different initial conditions with shock discontinuities. The exact formulas for the distribution of the second class particle can be derived by using the color-position symmetry theorem of colored half-space TASEP. We study the asymptotic distribution of second class particles under the constant scaling and KPZ-type scaling.
Étude de quelques familles de $λ$-quiddités et minoration de la taille maximale des $λ$-quiddités irréductibles sur un corps fini
$λ$-quiddities of size $n$ are $n$-tuples of elements from a fixed set that are solutions to a matrix equation which is fundamental in the study of the combinatorics of the modular group and Coxeter's friezes. To gain further insight into these objects, we use a notion of irreducibility, which allows restricting the study to a limited number of elements that must be determined for each set. Our goal here is to define several families of $λ$-quiddities over finite fields and to study their irreducibility properties, with the specific aim of establishing lower bounds on the maximal size of irreducible elements over $\mathbb{F}_{q}$.
No-$(k+1)$-in-line problem for large constant $k$
How many points can be placed in an $n\times n$ grid so that every (affine) line contains at most $k$ points? We prove that for $n \geqslant k \geqslant 10^{37}$ the maximum number of points is exactly $kn$. Our proof builds on the recent work of Kovács, Nagy, and Szabó (who proved an analogous result when $k$ is at least about $\sqrt{n \log n}$), incorporating ideas of Jain and Pham. Using the same approach, we also obtain new bounds for higher-dimensional extensions of this problem.
Polynomial bounds for pathwidth
Dallard, Milanič, and Štorgel conjectured that for a hereditary graph class $\mathcal{G}$, if there is some function $f:\mathbb{N}\to\mathbb{N}$ such that every graph $G\in \mathcal{G}$ with clique number $ω(G)$ has treewidth at most $f(ω(G))$, then there is a polynomial function $f$ with the same property. Chudnovsky and Trotignon refuted this conjecture in a strong sense, showing that neither polynomial nor any prescribed growth can be guaranteed in general. Here we prove that, in stark contrast, the analog of the Dallard-Milanič-Štorgel conjecture for pathwidth is true: For every hereditary graph class $\mathcal{G}$, if the pathwidth of every graph in $\mathcal{G}$ is bounded by some function of its clique number, then the pathwidth of every graph in $\mathcal{G}$ is bounded by a polynomial function of its clique number.
Newton polytopes of fireworks Grothendieck polynomials
We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.
Unitary causal decompositions: a characterisation via lattice theory
Published in Quantum 10, 2218 (2026)
• View Publication
• BIB
If a unitary transformation has a circuit representation with no directed path from input $a$ to output $b$, then $a$ does not influence $b$ through the overall unitary. Conversely, if a unitary satisfies a number of no-influence conditions, it is natural to wonder whether a circuit decomposition exists in which all of them are represented by absences of paths. Such decompositions are known as causal decompositions; determining their existence in general is a central open problem in the study of causal structure in quantum theory. We present progress towards a general solution by considering the special case of unitary causal decompositions, i.e. decompositions in terms of unitary circuits in the traditional quantum circuit formalism that do not require the generalisation to 'extended' or 'routed' quantum circuits prompted by earlier research on this topic. We identify a combinatorial condition that characterises precisely those sets of no-influence constraints $G$ for which any unitary transformation satisfying $G$ admits a unitary causal decomposition representing the constraints. Our approach is systematic, grounded in lattice theory and finite-dimensional operator algebra, and offers hope for extensions to more general (e.g. routed unitary) causal decompositions in the future.
Bootstrap percolation on a generalized Hamming cube \MakeUppercase{\romannumeral 2}
In this paper we obtain the critical probability $p_c(Q_{k,n},r)$ for bootstrap percolation with the infection threshold $r=\frac{N}{2}$ on the generalized $n$-dimensional hypercube $Q_{k,n}$ with vertex set $V(Q_{k,n})=\{0,1\}^n$ and edges connecting the pairs at Hamming distance $1,2,\dots,k$, where $k\ge 2$ and $N=\sum_{i=1}^k\binom{n}{i}$. More precisely, we obtain the exact first-order and second-order terms of $p_c(Q_{k,n},\frac{N}{2})$ by extending the main theorem of Balogh, Bollob{á}s, and Morris (2009).
Global patterns in signed permutations
Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.
Impartial removing games on grid graphs
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph. The last player to move is the winner. The achievement game ends when the convex hull of the unselected vertices does not contain every vertex in the graph. In the avoidance game, the convex hull of the remaining vertices must contain every vertex. We determine the nim-value of these games for the family of grid graphs. We also provide some results for lattice graphs. Key tools in this analysis are delayed gamegraphs, option preserving maps, and case analysis diagrams.