math.CO ↗ arXiv
7121 papers in this category
A note on the asymmetric discretised ring theorem
We prove an asymmetric version of the discretised ring theorem.
Generalizing the $A^A$ Problem for Finite Ordered Sets
Let X and Y be finite ordered sets and let $X^Y$ denote the ordered set of order-preserving maps from $Y$ to $X$.
Let $t$ be a~term formed from a~single variable by exponentiation. We prove that, for every term $t$ with at most twelve variable occurrences and arbitrary finite ordered sets $A,B$, $t(A)\cong t(B)$ implies that $A\cong B$.
General constructions and reconstruction principles are developed first; the second part gives the occurrence-by-occurrence proofs.
At twelve occurrences the proof covers 4,766 interchange normal forms, representing all 58,786 binary parenthesizations, including 40 exceptional forms. Two additional unbounded reconstruction families, complete finite audit data, and 457 exact height-comparison certificates are included.
The Zero Forcing Number of Graph Powers
The $k$-th power of a simple graph $G$, denoted $G^k$, is the graph with vertex set $V(G)$ where two vertices are adjacent if they are within distance $k$ in $G$. We investigate the zero forcing number of graph powers. Powers of graphs are much denser and generally not encompassed by existing results on zero forcing of graphs, hence their study requires a different approach. In contrast with the usual zero forcing behavior under edge deletion, we show that the zero forcing parameter (and variations of it) is monotone with respect to taking powers. We also determine the zero forcing number of powers of paths and cycles, together with upper bounds for powers of spiders and of grids. We then present spectral lower bounds on the zero forcing number of graph powers which uniquely use the spectrum of the base graph, as well as linear programming methods to compute these bounds. Finally, we study the sharpness of the derived bounds. To derive our results we use techniques ranging from graph theory, linear algebra and polynomial optimization.
Exact and asymptotic enumeration of unrestricted binary phylogenetic networks through automorphism weights
Let $\cP_{\ell,k}$ be the set of rooted binary phylogenetic networks with $\ell$ labelled leaves, $k$ reticulations and no parallel edges. We write $|\cP_{\ell,k}|=W_k(\ell)+D_k(\ell)$, where the weighted count $W_k(\ell)$ adds the inverse orders of the leaf-fixing automorphism groups and the defect $D_k(\ell)$ collects the remainder. The weighted count satisfies, for every $k$, a recursion over the source layers of the tree-component structure that involves neither a list of component graphs nor any distinction between symmetric and asymmetric configurations, and its exponential generating function is a Laurent polynomial in $\sqrt{1-2x}$. Automorphism groups of networks are $2$-groups, elementary abelian for $k\le5$ but not in general. For $k\le5$ the defect is the weighted count of networks with a distinguished involution, which obeys an extension of the same recursion. An exact symbolic evaluation of the two recursions yields $|\cP_{\ell,k}|$ in closed form for $k\le5$, the case $k=5$ being new; it reproduces the published counts for $k\le4$ and corrects a coefficient in a published generating function for $k=3$. For every $k$, uniformly over explicit ranges of $k$, we prove that the non-tree-child networks are a fraction $2k(k-1)/\ell$ of the tree-child networks to leading order, which gives the third term of the asymptotic expansion of $|\cP_{\ell,k}|$. We also prove that reticulation-visible networks exceed tree-child networks by the fraction $k(k-1)/\ell$, and that a uniformly random network in $\cP_{\ell,k}$ has a nontrivial automorphism with probability $k(k-1)/(4\ell^3)$ to leading order.
An Improved Upper Bound for Recovering Pairs
We prove that every recovering pair $(\mathcal{A},\mathcal{B})$ of nonempty families of subsets of an $n$-element set satisfies $$|\mathcal{A}||\mathcal{B}|\le\left(\frac{223949}{100000}\right)^n=(2.23949)^n.$$ A result of Mond, Souza and Versteegen, combined with the sharp $(9/4)^n$ bound of Fang and Huang for cancellative pairs, gives $(2.2499)^n$ for recovering pairs. We improve this to $(2.23949)^n$. The proof combines two entropy inequalities. One is derived directly from the recovering property, while the other applies the Fang-Huang bound to families obtained from the original pair by a construction of Mond, Souza and Versteegen. The two inequalities are then combined by a convex combination.
An example of an automatic sequence with non-regular abelian complexity
Answering a question of Madill and Rampersad, we give an example a of a $2$-automatic sequence whose abelian complexity is not $2$-regular.
Spectral Incidence Bounds over Finite Fields
Let $\Fq$ be a finite field, let $F,G\in\Fq[T]$ be nonconstant, and let $J\in\Fq[T]$. We study the parameterized two-parameter family \[ C_{a,b}=\{(x,t)\in\Fq^2:t=J(x)+aF(x)+bG(x)+λab\}, \qquad (a,b)\in\Fq^2, \] where $λ\in\Fq^\times$, with incidences counted with parameter multiplicity. If $d=°F$, $e=°G$, and $\charac(\Fq)>d+e$, we prove the uniform spectral estimate \[ \left|I(\cP,Ω)-\frac{|\cP||Ω|}{q}\right| \ll_{d,e}q^{5/8}\sqrt{|\cP||Ω|} \] for arbitrary $\cP,Ω\subseteq\Fq^2$. The proof combines two additive Fourier transforms with a fourth-moment estimate for Kloosterman matrices. If $1\le d,e\le2$ and $\charac(\Fq)>3$, midpoint--difference coordinates and finite Weyl quantization sharpen the error to the Vinh scale $O(q^{1/2}\sqrt{|\cP||Ω|})$.
We further show that the latter phenomenon is intrinsic to the coefficient curve rather than to the degree of a chosen parametrization. There is a polynomial Lüroth factorization \[ F=f\circ H,\qquad G=g\circ H,\qquad \Fq(f,g)=\Fq(T), \] unique up to an affine change of $H$. If $Γ$ is the plane curve parametrized properly by $(f,g)$ and \[ κ_H=\max_{s\in\Fq}|H^{-1}(s)|, \] then finite-fibre pullback multiplies the centered incidence norm by at most $\sqrt{κ_H}$. Consequently, if $\degΓ\le2$ and $\charac(\Fq)>3$, then \[ \left|I(\cP,Ω)-\frac{|\cP||Ω|}{q}\right| \ll \sqrt{κ_H}\,q^{1/2}\sqrt{|\cP||Ω|}, \] even when $F$ and $G$ have arbitrarily large raw degree. The resulting expansion estimates for $J(x)+yF(x)+zG(x)+λyz$ hold without lower bounds on the individual input sets. In the balanced regime, the $q^3$ missing-value scale for this family is already covered by a theorem of Arala--Chow; the incidence theorems here additionally yield expansion consequences in strongly unbalanced regimes.
Non-isomorphic graphs have distinct vertex-Ramsey classes
For a graph $H$, its $k$-colour vertex Ramsey class is the set of all graphs $G$ such that any colouring of the vertices of $G$ in $k$ colours results in a monochromatic (induced) copy of $H$. We prove that for any $k$, Ramsey classes of any non-isomorphic graphs are distinct.
Signed seeds and G-gradings on cluster algebras
The theory of cluster algebras is closely connected to the theory of total positivity; indeed, the desire to better understand total positivity was one of the main motivations for Fomin and Zelevinsky's introduction of cluster algebras [arXiv:math/0104151]. In particular, any cluster variety whose coordinate ring has a cluster structure has a natural notion of positive part: the subset of the variety where all cluster variables are positive. In this paper, we explain that there are other signed cells contained in cluster varieties that are equally natural from a cluster-theoretic point of view. These come from signed seeds, which can be thought of as a $\mathbb{Z}/2\mathbb{Z}$-grading on cluster variables, and which were introduced in [arXiv:2310.17727] in the context of the amplituhedron. More generally, given any abelian group $G$, we introduce the notion of a $G$-graded seed for a cluster algebra, which is a way of assigning elements of $G$ to each cluster variable which is compatible with the cluster structure. When $G$ is the multiplicative group $\{-1, 1\}$, this recovers the above notion of signed seed; when $G = \mathbb{C}^*$, this recovers the notion of cluster automorphism group [GSV10] or cluster dilation group [arXiv:2603.17890]; and when $G = \mathbb{Z}^d$, this recovers the notion of graded cluster algebra studied by Grabowski-Launois [arXiv:1301.2133], Grabowski [arXiv:1309.6170] and Gekhtman-Shapiro-Vainshtein [GSV10, Section 5.2] (which had previously appeared in special cases in work of Fomin-Zelevinsky [arXiv:math/0602259]). The examples we study include the space of square matrices, symmetric matrices, skew-symmetric matrices, positroid varieties, and amplituhedron tiles. We also connect this notion to tropical mutation when $G = \mathbb{R}$ or $\mathbb{Z}$.
Counting Hamiltonian Sturm permutations: generating functions and Gaussian distributions
Our combinatorial analysis is motivated by the PDE dynamics \begin{equation} \mathbf{u_t} = \mathbf{u_{xx}} + \mathbf{g}(\mathbf{u}),\qquad 0<\mathbf{x}<1, \end{equation} of solutions $\mathbf{u}=\mathbf{u}(\mathbf{t},\mathbf{x}),\ \mathbf{t}\geq 0$, under Neumann boundary conditions. For dissipative nondegenerate nonlinearities $\mathbf{g}$, the global attractors $\mathcal{A}=\mathcal{A}_\mathbf{g}$ of the PDE can then be classified by the orderings of their $2n+1$ equilibria $\mathbf{v}$ at the boundaries $\mathbf{x}=0,1$. We encode the boundary orders as Hamiltonian Sturm permutations. The name ''Sturm'' refers to nodal properties of PDE solutions $\mathbf{u}(\mathbf{t},\mathbf{x})$. ''Hamiltonian'' refers to the second order pendulum ODE for equilibria $\mathbf{v}(\mathbf{x})$: \begin{equation} 0 = \mathbf{v_{xx}} + \mathbf{g}(\mathbf{v}). \end{equation} We determine the generating function $a(z)=\sum_n a_nz^n$ for the counts $a_n$ of Hamiltonian Sturm permutations. For $n\rightarrow\infty$, this provides explicit asymptotics of $a_n$.
We refine these counts as $a_n=\sum b_{rq}$. Here $b_{rq}$ counts Hamiltonian Sturm permutations with $2r+1$ spatially homogeneous equilibria and $2q$ spatially non-homogeneous equilibria, such that $r+q=n$. We also determine the explicit generating function $b(x,y)=\sum_{r,q} b_{rq}x^ry^q$. This implies asymptotically Gaussian distributions of the probabilities $p_{nr}=b_{rq}/a_n$ with $r+q=n$, asymptotically for large $n$. We derive asymptotics for means and variances, with error estimates of order $1/n$. All asymptotics are based on work by Flajolet and Sedgewick.
We conclude with numerical illustrations and remarks on nonlinearities $\mathbf{g}(\mathbf{u},\mathbf{u_x})$ under periodic boundary conditions $\mathbf{x}\in\mathbb{S}^1=\mathbb{R}/2\mathbb{Z}$, where rotating waves arise.
Grid Theory and Polynomiality in Dynamic Lot-Sizing
Why are some dynamic lot-sizing problems polynomial? We address this question by introducing Grid Theory, a structural framework based on cumulative production and the additive structure of production bounds. For a general single-item dynamic lot-sizing model with lower and upper production bounds, there exists an optimal extreme solution in which, within each regeneration interval, all but at most one production quantity lie on a boundary value. This induces additive grids, and the Main Grid Theorem establishes that an optimal cumulative production trajectory can be restricted to these discrete sets. Although the resulting grids may be exponentially large, we introduce the notion of additive dimension to capture production-bound profiles whose boundary sums admit a low-dimensional representation. We show that bounded additive dimension yields a polynomially constructible grid envelope and a polynomial time grid-based dynamic programming algorithm. The framework extends to separable concave costs and establishes polynomial solvability of several families, including constant capacities, minimum order quantities, a fixed number of capacity levels, fixed-degree polynomial capacities, periodic capacities, and piecewise polynomial capacities. In particular, polynomiality may hold even when the number of distinct capacity values grows with the planning horizon. Grid Theory thus identifies additive structure, rather than the number of distinct resource values, as a sufficient mechanism for polynomial solvability.
Counterexamples to the Strong Roberson Conjecture
We refute the Strong Roberson Conjecture, which asserts that adding any graph outside a class closed under minors and disjoint unions strictly increases the distinguishing power of homomorphism counts from that class. More precisely, we construct connected graphs $H$ for which counts from graphs excluding $H$ as a minor determine the number of homomorphisms from $H$ to any target graph. We also refute the analogous conjecture with immersions in place of minors. We give explicit infinite families of excluded graphs, including cubic bipartite graphs that yield counterexamples for both relations. The proof introduces a method for deriving exact homomorphism count dependence from modular equivalences. We obtain these equivalences for infinitely many primes using prime-order automorphisms of graphs that exclude their orbit quotients as minors or immersions.
Partitioning an $S$-packing coloring into broadcast dominating sets
Given a graph $G$ and a positive integer $k$, a packing $k$-domatic coloring of $G$ is a function $f: V(G) \to \{1,\ldots,t\}$ such that (1) for any color $j \in \{1,\ldots, t\}$ and any two distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=j$ we have $d_G(u,v)>j$, and (2) $V(G)$ admits a partition into $k$ sets $A_1,\ldots,A_k$ such that for any $v\in V(G)$ and any $i\in\{1,\ldots,k\}$ there exists a vertex $w\in A_i$ such that $d_G(v,w)\le f(w)$. The minimum integer $t$ such that $G$ admits a packing $k$-domatic coloring of $G$ using colors in $\{1,\ldots,t\}$ is denoted by $χ_{ρ,k}(G)$. The condition (1) in the definition of a packing $k$-domatic coloring implies that $G$ is a packing coloring, hence $χ_{ρ,k}(G)\ge χ_ρ(G)$ holds for any graph $G$, where $χ_ρ(G)$ is the packing chromatic number of $G$. On the other hand, the new concept also leads to a generalization of the domatic number of a graph due to which one can easily see that $χ_{ρ,2}(G)=χ_ρ(G)$ holds for any graph with no isolated vertices. One of the main result in this paper is that $χ_{ρ,3}(G)=χ_ρ(G)$ holds in any connected graph $G$ with minimum degree at least $2$, and the bound is best possible in two different senses. In addition, we provide several exact values and bounds on the new invariant in paths and cycles. We prove that $χ_{ρ,k}(P_n)=k$ for any $k\in\{3,4,5\}$ as soon as $n\ge 8$, and, in contrast, $χ_{ρ,k}(P_n)>k$ for any $n\ge k\ge 12$. We also prove the exact values of $χ_{ρ,k}(P_\infty)$ when $k\in \{3,4,5\}$ for the two-way infinite path $P_\infty$, and exact values of $χ_{ρ,k}(C_n)$ when $k\in\{3,4\}$ for all cycles $C_n$. We also consider a general framework of $S$-packing $k$-domatic colorings, where $S$ is an arbitrary sequence of non-negative integers, and present some basic results in this context.
On the Spectra of Generalized Token Graphs of Stars
In the generalization of token graphs (or supertoken graphs), the vertices of a $k$-token graph of a graph $G$ correspond to $k$ distinguishable or indistinguishable tokens placed on $k$ different or equal vertices of $G$. In several cases, we provide the whole spectrum of a supertoken graph of a star by analyzing its regular partitions.
Schur positivity of three-legged spiders
We give a complete classification of Schur positivity for three-legged spiders. Every spider with at least two even legs is Schur positive, whereas every spider with three odd legs has a negative Schur coefficient. If $a$ is even and $b,c$ are odd, then the spider $S(a,b,c)$ is Schur positive if and only if $a\le 5b+5c+2$. Whenever Schur positivity fails, there is exactly one negative Schur coefficient, whose value we determine explicitly. These results extend those of Thibon and Wang for the families $S(a,2,1)$ and $S(a,4,1)$, and those of Wang and Wang for $S(a,b,2)$. The proof combines known Schur-positivity results for clique-spiders with Pieri's rule and simultaneous induction.
$k$-Pairing: A Generalization of the Partition Pairing Theorems
We extend the partition pairing theory of Andrews and Dastidar by replacing pairs with groups of $k$ equal parts. Two weight-preserving bijections give combinatorial interpretations of the joint pairing index--width distribution and the negative-rank enumerations. The first combines conjugation with the Stockhofe--Keith correspondence and sends the $k$-pairing index and width to the number of parts and the largest part, respectively. Consequently, their joint distribution is independent of $k$ and is given by a Gaussian polynomial. We also obtain finite refinements that record the residual statistics. The second bijection sends simply $k$-paired partitions of negative $k$-pairing rank to $k$-regular partitions with marked internal gaps. In a fixed nonzero residue class, sign cancellation leaves rectangular partitions, while gap markings correspond to overlining choices with the smallest part not overlined. This gives direct combinatorial explanations of the divisor counts and the factor $1/2$ in the overpartition enumeration, extending the odd-divisor and odd-overpartition results of Andrews and Dastidar. Finally, motivated by the diagonal pairing of Andrews and Dastidar, we extend the construction to ordered tuples of $k$ Young diagrams. Applying the two-wing transfer operation to pairs of component diagrams defines an equivalence relation on these tuples. We show that two tuples are equivalent if and only if they have the same cell-multiplicity function, and that every equivalence class contains a unique representative whose component diagrams are nested. We also determine the cardinalities of the equivalence classes and identify the nested representatives with plane partitions of rectangular shape.
General constructions of normal bent partitions related to vectorial dual-bent functions
Bent partitions were introduced as a generalization of partial spread construction of bent functions and they became a hot research topic recently. In this paper, we prove two general constructions of normal bent partitions that are related to vectorial dual-bent functions. They cover many of the currently known bent partitions of this type as partial cases. These constructions also provide a large number of new bent partitions. Relevant properties of bent functions obtained from such partitions are proven.
Sharp bounds for off-diagonal and tripartite canonical Ramsey numbers
The canonical Ramsey theorem establishes that for every positive integer $t$, there is a sufficiently large $n$ such that every edge-colouring of a complete graph $K_n$ contains a copy of $K_t$ that is canonically coloured, i.e. monochromatic, rainbow, or lexicographic. In this paper we investigate two variations of this theorem.
First, we study canonical Ramsey numbers in the multipartite hypergraph setting. We prove that in every edge-colouring of the 3-uniform complete hypergraph on at least $t^{151t^2}$ vertices, there always exists a canonically coloured copy of $K_{t, t, t}^{(3)}$. This estimate is sharp up to the constant in the exponent.
Second, we explore off-diagonal canonical Ramsey numbers. Let $ER(a, b, c)$ denote the minimum number of vertices $n$ required to guarantee a monochromatic $K_a$, a lexicographic $K_b$, or a rainbow $K_c$ in every edge-colouring of the complete graph $K_n$. We establish sharp bounds for these numbers across different parameter regimes. Specifically, we prove that $ER(a, b, c)\geq c^{Ω(ab)}$ when $c$ is sufficiently large relative to $a$, and that $ER(a, b, c)\leq 2^{O_b(a)}$ when $b\ge 4$ is a fixed constant and $c\le a$. Finally, we analyse the behaviour of the function when avoiding lexicographic triangles (i.e. $b=3$), showing that $ER(a, 3, c)\le (a-1)(c-2)+O(c^6)$.
Endomorphisms of Total Kneser Graphs
Inspired by work of Gaster, Greene, and Vlamis on the chromatic number of curve graphs, we prove that every endomorphism of the total Kneser graph is an automorphism. We also show that the automorphism group of the total Kneser graph is the product of a pair of permutation groups.
Coordinate-extension degrees and layered $k$-uniform hypergraphs
Let $\Palt=(\C,\T)$ be a $k$-palette. For $0\le t\le k-1$, its $t$th coordinate-extension degree is the minimum, over every choice of $t$ coordinates and every assignment of colors to them, of the proportion of assignments to the remaining $k-t$ coordinates that complete the fixed colors to an admissible $k$-tuple. For a $k$-graph $F$, we define $π_t^{\ext}(F)$ as the supremum of this degree over all palettes not admitted by $F$. We prove that \[ π_t^{\ext}(F)=0 \quad\text{if and only if}\quad F\text{ is }t\text{-layered}. \] We also relate $t$-layeredness to vanishing orders, min-layeredness, max-layeredness, and layeredness. These results recover and extend previous characterizations of Reiher, Rödl, and Schacht and of Lamaison, and answer a question of Lamaison for $3$-graphs. At $t=0$, the parameter $π_0^{\ext}(F)$ is the $(k-2)$-uniform Turán density $π_{k-2}(F)$. For every $k\ge3$ and $r\ge2$, we construct a finite $k$-graph $F_{k,r}$ with \( π_{k-2}(F_{k,r})=2(r-1)/rk^k. \) Thus $2/k^k$ is an accumulation point for single forbidden $k$-graphs. We also show that the least density of a $k$-graph that fails condition $\Sp$ of Lin, Wang and Zhou is $4/(3k^k)$. Finally, for every admissible matching of size $m$, we construct a $k$-graph that satisfies $\Sp$ for every coordinate pair, has no vanishing order, and has density $2^m/k^k$. This disproves a conjecture of Lin, Wang and Zhou for every $k\ge3$.