math.CO ↗ arXiv
5274 papers in this category
General formulas for the instability minimum of Chip-firing games
In this article, we provide three formulas allowing to compute the minimum amount of initial chips leading to an infinite Chip-firing game. These formulas hold for strongly connected directed loop-free multigraphs and generalize what was already known in the Eulerian case. In addition to the many theoretical aspects, some algorithmic consequences are also investigated.
Coloring powers of random graphs
Given a graph $G$ and an integer $r\ge 1$, the $r$th power $G^r$ of $G$ is the graph obtained from $G$ by adding edges for all pairs of distinct vertices at distance at most $r$ from each other. We focus on two basic structural properties of the $r$th power of the binomial random graph $G_{n,p}$, namely, the maximum degree $Δ(G_{n,p}^r)$ and the chromatic number $χ(G_{n,p}^r)$, and give with high probability (w.h.p.) bounds.
In the sparse case that $p=d/n$ for some fixed constant $d>0$, we prove the following. We prove that w.h.p.~$Δ(G_{n,p}^r) \sim \frac{\log n}{\log_{(r+1)}n}$ (where $\log_{(1)}n=\log n$ and $\log_{(r+1)}n=\log\log_{(r)}n$) and that w.h.p.~$Δ(G_{n,p}^{\lfloor{r/2}\rfloor})+1 \le χ(G_{n,p}^r) \le Δ(G_{n,p}^{r-1})+1$. For $r=2$, we show the upper bound holds with equality.
For denser cases, for $d$ satisfying $d=ω(\log n)$ and $d\le n^{1/r-Ω(1)}$ as $n\to\infty$, we have $χ(G_{n,p}^r) = Θ(d^r/\log d)$ w.h.p.
A Complete Symmetry Classification of Shallow ReLU Networks
Parameter space is not function space for neural network architectures. This fact, investigated as early as the 1990s under terms such as ``reverse engineering," or ``parameter identifiability", has led to the natural question of parameter space symmetries\textemdash the study of distinct parameters in neural architectures which realize the same function. Indeed, the quotient space obtained by identifying parameters giving rise to the same function, called the \textit{neuromanifold}, has been shown in some cases to have rich geometric properties, impacting optimization dynamics. Thus far, techniques towards complete classifications have required the analyticity of the activation function, notably excising the important case of ReLU. Here, in contrast, we exploit the non-differentiability of the ReLU activation to provide a complete classification of the symmetries in the shallow case.
On the Scalability of Quasi-Complementary Sequence Sets: Quadratic and Cubic Laws
This work is concerned with the fundamental scaling laws of quasi-complementary sequence sets (QCSSs) by understanding how large the set size (denoted by $M$) can grow with the flock size ($K$) and the sequence length ($N$). We first establish a geometric framework that transforms a QCSS into a complex unit-norm codebook, through which and by exploiting the density thresholds of the codebooks, certain polynomial upper bounds of the QCSS set size are obtained. Sharp quadratic and cubic scaling laws are then introduced. Specifically, we show that asymptotically optimal QCSSs with tightness factor $ρ=1$ satisfy $M \le (1+o(1))K^2N$, while asymptotically near-optimal QCSSs satisfy $M \le (1+o(1))K^3N^2$ for $ρ< {(1+\sqrt{5})}/{2}$. To validate these upper bounds, we further propose explicit additive-character and mixed-character based constructions for QCSSs that achieve $M = K^2N + K$ and $M = K^3N^2 + 2K^2N + K$, respectively, thereby showing that the quadratic and cubic scaling laws are asymptotically tight. Our proposed constructions admit flexible parameter choices, and their maximum correlation estimates are shown to be tight through explicit extremal examples. Additionally, it is conjectured that the cubic scaling law is universal for all $1<ρ\le 2$, i.e., any asymptotically near-optimal QCSSs should satisfy $M \le (1+o(1))K^3N^2$. This identifies a fundamental cubic barrier for QCSS scalability.
Sweet Trims are made of Threes: A càdlàg erasure of the Brownian tree
We present a simple trimming algorithm that generates nested uniform binary plane trees by removing leaves one-by-one using a best-of-three-match procedure. While its one-step transition specializes to the Luczak-Winkler & Caraceni-Stauffer coupling, its scaling limit provides a suprising càdlàg erasure of Brownian trees, reminiscent of SLE theory.
Fractional Strict Degeneracy of Graphs
DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. The DP-chromatic number of a graph $G$, $χ_{_{DP}}(G)$, is the analogue of the chromatic number of $G$ in the DP context and is bounded above by the degeneracy of $G$ plus one. Over the last two years a plethora of authors have introduced variations on the notion of degeneracy and used these new ideas to give improved bounds on the DP-chromatic number of certain families of graphs.
Fractional DP-coloring is a generalization of fractional list coloring introduced by Bernshteyn, Kostochka, and Zhu in 2019. In this paper we introduce two analogues of the degeneracy of a graph to the fractional context, each of which bound its fractional DP-chromatic number from above. We use these analogues to bound the fractional DP-chromatic number of a variety of graphs including unicyclic graphs, some complete bipartite graphs, and sparse graphs.
On derivatives and higher-order derivatives of chromatic polynomials
Let \( G \) be a graph of order \( n \) with maximum degree $Δ$, and let $P(G,x)$ denote its chromatic polynomial. We investigate several properties of $P(G,x)$ related to its derivatives and higher-order derivatives. First, we study the monotonicity of $P(G,x)/x^n$. Dong proved that $(x-1)^nP(G,x)\geq x^nP(G,x-1)$ for all real $x\geq n$. In particular, taking $x=n$ establishes the Bartels-Welsh ``shameful conjecture" that $P(G,n)/P(G,n-1)>e$. Fadnavis later showed that the same inequality holds for all real $x\geq 36Δ^{\frac{3}{2}}$. We improve this bound by proving that it already holds for all real $x\geq 10Δ^{\frac{3}{2}}$. We then consider a conjecture of Dong, Ge, Gong, Ning, Ouyang, and Tay asserting that \( \frac{d^k}{dx^k} \bigl( \ln[(-1)^n P(G, x)] \bigr) < 0 \) for all \( k \geq 2 \) and \( x \in (-\infty, 0) \). We establish this conjecture for all \( k \geq 2 \) and \( x\leq -2.99Δk \).
A quadratic form generalization of rational dinv
We introduce a quadratic form $Q$ on the space of functions on the gap poset $G$ of the numerical semigroup $\langle a,b\rangle$. We prove combinatorially that when evaluated on the indicator function of an upward closed subset $D$, this quadratic form precisely recovers the Gorsky--Mazin $\mathtt{dinv}$ statistic of $D$, viewed as a Young subdiagram of $G$. Furthermore, we prove Theorem~1.2 that when evaluated on a pair of subdiagrams of $G$, the symmetric bilinear form associated with $Q$ is equal to a novel cross-$\mathtt{dinv}$ statistic, which is nonnegative. Combining these, we prove the inequality \[ Q(\mathbf{n})\geq \dfrac{1}{|G|}\,\|\mathbf{n}\|_\infty^2\] if $\mathbf{n}$ is a real-valued decreasing function on $G$, showing an effective positive definiteness of $Q$ on the corresponding cone. Theorem~1.2, the main engine of the paper, was autoformalized in Lean/Mathlib by AxiomProver.
Turán-Theoretic Bounds on Several Elementary Trapping Sets in LDPC Codes
LDPC codes have attracted significant attention because of their superior performance close to the Shannon limit. Elementary trapping sets are the main cause of the error floor phenomenon in LDPC codes. We consider typical graphs related to trapping sets, including theta graphs, dumbbell graphs, and short cycles with chords. Based on the Turán numbers of $θ(2,2,2)$, $θ(1,3,3)$ and $D(4,4;0)$, we prove that any $(a,b)$-ETS with $g=8$ variable-regular $γ$ satisfies the inequality $b\geq aγ-\frac{a(\sqrt{24a-23}-1)}{4}$, provided that any two 8-cycles in the Tanner graph do not share common variable node. In addition, we can also eliminate ETSs by removing certain short-cycle structures with chords. The minimum sizes of ETSs obtained through these methods are significantly increased. To assess practical impact , we analyze spectral radii of the ETSs and construct QC-LDPC codes to show frame error rates in the error floor region.
On additive averaging kernels for finite Markov chains
We study additive mixtures of Markov kernels of the form $A_α= αP + (1-α)G$, where $α\in [0,1]$, $P$ is a baseline sampler and $G$ is a Gibbs kernel induced by a partition of the state space. We first motivate the study of $A_α$, which can be interpreted as the projection of a lifted Markov chain. We then consider the minimisation of distance to stationarity under two objectives: the squared Frobenius norm and the Kullback-Leibler (KL) divergence. For the Frobenius objective, we derive explicit trace formulas and identify a Cheeger-type functional that characterises optimal two-block partitions. This yields a structured combinatorial optimisation problem admitting a difference-of-submodular decomposition, enabling efficient approximation via majorisation-minimisation. We also obtain geometric decay rates governed by the absolute spectral gap of $P$. For the KL divergence, we establish convexity-based bounds showing that the divergence of $A_α$ is controlled by those of both $P$ and $G$, thereby reducing partition selection to the Gibbs component. Numerical experiments on the Curie-Weiss model demonstrate that suitable choice of both the partition and the parameter $α$ can significantly accelerate convergence in total variation distance. We observe a consistent trade-off between local exploration and global averaging, with intermediate values of $α$ achieving the best performance across regimes.
Enumerations and Bijections for Stanley Polyominoes
Stanley polyominoes are a subclass of parallelogram polyominoes in which each row begins strictly to the right of the beginning of the previous row and ends strictly to the right of the end of the previous row. In this paper, we derive generating functions for Stanley polyominoes based on the numbers of columns and rows, area, semiperimeter, and numbers of interior points and edges. We also establish combinatorial connections through bijections with other combinatorial structures such as Dyck paths, skew Ferrer diagrams, and peakless Motzkin paths. As a byproduct, we answer the open question of finding a bijection between parallelogram polyominoes of area $n$ and coin fountains with $n$ coins in the even-numbered rows and $n-k$ coins in the odd-numbered rows.
Maximizing the Steklov eigenvalues on trees with a diameter constraint
We study the first nonzero Steklov eigenvalue $λ_2(T,δΩ)$ of the Dirichlet-to-Neumann operator on a finite tree $T$ with leaf boundary $δΩ$, under a constraint on the diameter $D$. He and Hua [Calc. Var. PDE, 2022] showed that $λ_2(T) \leq 2/D$ for any tree of diameter $D$, with the even-diameter equality case fully characterized. For odd $D$, the geometric picture underlying the sharp configurations has remained unclear beyond diameter three. We determine this picture completely for all odd diameters $D = 2r+1 \geq 5$. The sharp value of $λ_2$ is achieved on spider trees with nearly-equidistributed branch lengths, forming the family of \emph{generalized almost seesaw trees} $\mathrm{AS}(r,q+2,c,t)$, prescribed by the arithmetic of $n$ relative to $\lceil r/2 \rceil$. Together with the results of He-Hua and Lin-Zhao [Bull. Lond. Math. Soc., 2025] for even diameters and diameter three, this completes the geometric classification for every diameter. The argument is based on a scalar root equation for one-center profiles, an inverse boundary quadratic form on boundary fluxes, and a reduction scheme from arbitrary trees to two-center profiles, and then to the one-center class. The inverse variational viewpoint may be regarded as a boundary analogue of the classical distance-matrix formalism for trees initiated by Graham and Lovász [Adv. Math., 1978].
Partial-twuality polynomials of matrices
The study of partial-twuality polynomials originates from the classical operations of geometric duality and Petrie duality on cellularly embedded graphs. These involutions generate the symmetric group $S_3$, and applying them to subsets of edges yields the notions of partial-(geometric) duality, partial-Petriality, and more generally, partial-twuality. In this paper, we generalize this theory of partial-twuality polynomials within the framework of matrix algebra. The key observation that the Euler genus of a bouquet under a partial-twuality can be expressed as a rank function of its adjacency matrix motivates and leads to the definition of a partial-twuality polynomial for an arbitrary square matrix over any field, thereby providing a universal algebraic counterpart to the topological polynomials. We then investigate basic properties of these polynomials, including product formulas, recursion relations, degrees, interpolation behaviors, and invariance and duality theorems under the matrix operations of pivoting and inversion. We conclude by posing some problems for further research.
Multivariable automatic arrays and transcendence
We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given bounded automatic sequences $(p_n(i))_{n\geq 0}$ with $i=1, \dots , r$ and a function $f:\mathbb Z^r\rightarrow \mathbb Z$, we consider the associated series $α= \sum_{n_1,\dots,n_r \geq 0} \frac{f(p_{n_1}(1),\dots,p_{n_r}(r))}{a_1^{n_1}\cdots a_r^{n_r}}$. Using combinatorial properties of automatic sequences and Schmidt's Subspace Theorem, we prove that $α$ is either rational or transcendental. This extends a result of Adamczewski and Bugeaud to the multidimensional setting.
Maximal size of irreducible $λ$-quiddities over polynomial and formal power series rings
The study of the combinatorics of the modular group and of Coxeter's friezes naturally leads to the investigation of a matrix equation, sometimes referred to as the Conway-Coxeter equation. The solutions of size $n$ of this equation, called $λ$-quiddities, are $n$-tuples of elements of a given ring $B$. A detailled understanding of these objects relies on the notion of irreducible solutions, from which all $λ$-quiddities can be reconstructed. One of the central questions that naturally arises in this context is whether the irreducible $λ$-quiddities over $B$ have bounded size, and, if so, how to determine such a bound. In this paper, we aim to list results that address this question in the case of polynomial rings $A[X]$ and $\mathbb{K}[X]$, where $A$ is a finite commutative unitary ring and $\mathbb{K}$ is a commutative field. Moreover, the stated results will also make it possible to treat easily many situations in which $A$ is infinite. Finally, we shall give a complete answer to the initial question for all rings of formal power series.
On the number of missing integers in partitions
In the preceding decade, Andrews and Newman resurrected the concept of a `minimal excludant' of a partition ($mex$, for short), namely, the least positive missing integer in a partition. Subsequently, several authors have not only studied its generalizations, analogues and the like but also connected the mex to several important partition statistics. In the present paper, we study the set of missing positive integers as a whole, in two different classes of partitions, namely, unrestricted partitions and overpartitions. To be precise, a $missing \ integer$ is a positive integer that is less than the largest part of a partition and which does not occur as a part. In particular, we examine the number of partitions with a given number of missing integers, determine congruences for two pairs of functions associated to them, and propose three bias type inequality conjectures for these functions.
A recursive construction of an acyclic matching on the independence complex of a graph with a simplicial vertex
We provide a recursive construction of an acyclic matching (also known as a gradient vector field, an equivalent notion to a discrete Morse function) on the independence complex of a graph with a simplicial vertex using given acyclic matchings on the independence complexes of specific subgraphs. As an application, we determine the homotopy type of the independence complexes of the family of chordal graphs and of a class of graphs generalising the comparability graphs of grid posets in an algorithmic and combinatorial manner via discrete Morse theory, some of which were previously obtained by sophisticated homotopy theoretic techniques. Even when the homotopy type is not easily determinable, our construction may be applied to obtain a pre-processing framework for efficient homology computation.
Noncommutative Abel-like identities
We generalize the Abel--Hurwitz identities to an almost entirely noncommutative setting. Namely, let $V$ be a finite set of size $n$, and let $\mathbb{L}$ be any noncommutative ring. For each $s\in V$, let $x_{s}\in\mathbb{L}$. Set $x\left( S\right) :=\sum_{s\in S}x_{s}$ for any $S\subseteq V$. Let $X$ and $Y$ be two elements of $\mathbb{L}$ such that $X+Y$ lies in the center of $\mathbb{L}$. Then, we show that% \begin{align*} & \sum_{S\subseteq V}\left( X+x\left( S\right) \right) ^{\left\vert S\right\vert }\left( Y-x\left( S\right) \right) ^{n-\left\vert S\right\vert }=\sum_{\substack{i_{1},i_{2},\ldots,i_{k}\in V\text{ distinct}% }}\left( X+Y\right) ^{n-k}x_{i_{1}}x_{i_{2}}\cdots x_{i_{k}};\\ & \sum_{S\subseteq V}X\left( X+x\left( S\right) \right) ^{\left\vert S\right\vert -1}\left( Y-x\left( S\right) \right) ^{n-\left\vert S\right\vert }=\left( X+Y\right) ^{n};\\ & \sum_{S\subseteq V}X\left( X+x\left( S\right) \right) ^{\left\vert S\right\vert -1}\left( Y-x\left( S\right) \right) ^{n-\left\vert S\right\vert -1}\left( Y-x\left( V\right) \right) =\left( X+Y-x\left( V\right) \right) \left( X+Y\right) ^{n-1}. \end{align*} (Negative powers are understood to be cancelled by other factors.)
On the rainbow Cameron-Erdős problem with respect to generalized Sidon sets of multidimensional grids
For positive integers $n$, $d$, $k$ and $h$, let $[n]^d$ be the $d$-dimensional grid of order $n$, and we refer to the equation $\sum_{i=1}^{h}x_{1,i}=\cdots =\sum_{i=1}^{h}x_{k,i}$ as the {\it $B_{k,h}$-equation}, where $x_{1,1}, \ldots, x_{1,h}, \ldots, x_{k,1}, \ldots, x_{k,h}$ are $kh$ points in $[n]^d$. In this paper, we study the rainbow Cameron-Erdős problem with respect to the $B_{k,h}$-equation. We obtain the asymptotic number of $r$-colorings of $[n]^d$ without rainbow solutions to the $B_{k,h}$-equation, and we show that the typical colorings with this property are $(kh-1)$-colorings. We also prove that among all subsets of $[n]^d$, $[n]^d$ is the unique subset admitting the maximum number of $r$-colorings without rainbow solutions to the $B_{k,h}$-equation. The case $d=1$ and $k=h=2$ of our result confirms a conjecture on Sidon sets by Lin, Wang and Zhou~[{\it European J. Combin.}, 2022]; the case $d=1$, $k=2$ and $h\geq 2$ of our result partly solves a problem concerning linear equations proposed by Cheng, Jing, Li, Wang and Zhou~[{\it J. Combin. Theory Ser. A}, 2023]; the case $d\geq 2$ and $k=h=2$ corresponds to colorings without rainbow (possibly degenerate) parallelograms, and this geometric perspective might be of independent interest. Our proof combines the hypergraph container method with a stability analysis and a deviation gain argument.
Induced poset saturation in the hypergrid
Set $[n]=\{1, 2, \ldots , n\}$. The hypergrid $[t]^n$ is the collection of functions $f: \ [n]\rightarrow [t]$. We equip it with the natural partial order by letting $f\leq g$ whenever $f(x)\leq g(x)$ holds for all $x\in [n]$. Given a poset $P$ which can be embedded as an induced subposet of $[t]^n$, the induced poset saturation function $\mathrm{sat}^{\star}([t]^n, P)$ denotes the minimum size of a subset of $[t]^n$ that is both induced $P$-free and induced $P$-saturated.
We show that for all $t\geq 2$, $\mathrm{sat}^{\star}([t]^n, P)$ satisfies a dichotomy: for every poset $P$, either there exists a constant $C_P$ such that $\mathrm{sat}^{\star}([t]^n, P)=C_P$ for all $n$ sufficiently large, or $\mathrm{sat}^{\star}([t]^n, P)=Ω(\sqrt{n})$. We also show chains fall in the former part of the dichotomy, while posets with the unique twin cover property fall in the latter part. These contributions generalize a number of results obtained by various authors in the hypercube ($t=2$) setting; the transition to the hypergrid setting provides novel challenges, however, and requires some new ideas.