math.CO ↗ arXiv
5274 papers in this category
Vertex-distinguishing chromatic index of digraphs
Let $D$ be a digraph. In this note, an \emph{arc coloring} of $D$ is an assignment of colors to the arcs of $D$ such that no two arcs with a common tail receive the same color and no two arcs with a common head receive the same color. Under such a coloring, each vertex $v$ is associated with an \emph{out-color set} and an \emph{in-color set}, consisting of the colors assigned to the arcs with tail $v$ and to the arcs with head $v$, respectively. An arc coloring of $D$ is \emph{vertex-distinguishing} if any two distinct vertices have different out-color sets and different in-color sets. The minimum number of colors required for a vertex-distinguishing arc coloring of $D$ is called the \emph{vertex-distinguishing chromatic index} of $D$, denoted $χ_{vd}^{\prime}(D)$. In 2016, Li, Bai, He, and Sun conjectured that $χ_{vd}^{\prime}(D)=k(D)$ for any digraph $D$ with at most one source and at most one sink, where $k(D)$ is a natural lower bound determined by the outdegree and indegree sequences of $D$. We confirm this conjecture.
Perfect codes as exact minimizers of quadratic discrepancy in q-ary Hamming spaces
Stolarsky's invariance principle converts quadratic discrepancy into an energy-minimization problem. Barg developed its form for binary Hamming space and proved that binary perfect codes minimize total quadratic ball discrepancy among binary codes of the same length and cardinality. We prove an exact finite-alphabet counterpart: whenever a fixed Hamming space and cardinality admit a perfect code, the perfect codes are precisely the discrepancy minimizers. The competitors are arbitrary subsets of the prescribed cardinality, with no linearity or minimum-distance assumption.
More sharply, we give explicit parameter-only lower benchmarks before existence is known. For every arithmetically admissible one-error parameter set, and for every nontrivial two-error parameter set satisfying the sphere-packing and integral Lloyd-root conditions, equality in the corresponding benchmark is equivalent to perfect tiling. The bounds are proved by explicit Fourier--Krawtchouk and polynomial certificates rather than by solving a numerical linear program. Thus, in every covered parameter regime, perfect-code existence is equivalent to attainment of an explicit variational target.
Convolutive sequences, II: Parametrizations
In recent work, the authors defined a sequence $(a_n)_{n\ge 0}$ to be $m$-convolutive exactly if
\begin{align*}
\sum_{n\ge 0} a_{mn} q^n = \left(\sum_{n\ge 0} a_n q^n\right)^m
\end{align*}
for a specific positive integer $m$ and provided proofs of the $2$- and $3$-convolutivity of a small number of sequences arising from primitive eta-products. Since the completion of that work, the authors have discovered many new instances of convolutive eta-products. The main focus of this work is to unify all but one of these instances in a parametric way.
Wei duality, Fomin-Greene duality and demimatroids
The Fomin-Greene Duality Theorem for finite posets and Wei's Duality Theorem for demimatroids each relate sets of extremal invariants via seemingly similar dualities. This paper describes precisely how these two dualities relate. It is shown that the chain and antichain numbers each satisfy a Wei-type duality with antichain- and chain-deletion numbers, respectively, and that, for each poset with at least two elements, its chain and antichain demimatroids are not related by any composition of standard demimatroid duality operations. Their upper Wei-number numbers do however determine each other via Fomin-Greene duality. The two dualities thereby coincide for Wei numbers but not for the underlying rank functions.
On three open problems in zero-sum Ramsey numbers
Let $K_N^{(r)}$ denote the $N$-vertex complete $r$-uniform hypergraph. For an $r$-uniform hypergraph $H$ and an integer $k\geq2$, the $k$-color Ramsey number $R(H,k)$ is the least integer $N$ such that every $k$-edge-coloring of $K_N^{(r)}$ contains a monochromatic copy of $H$. When $k\mid\esize(H)$, the zero-sum Ramsey number $R(H,\mathbb Z_k)$ is the least integer $N$ such that every edge-labeling of $K_N^{(r)}$ by elements of $\mathbb Z_k$ contains a copy of $H$ whose edge labels sum to $0$ in $\mathbb Z_k$.
We settle two conjectures and a problem concerning these two Ramsey numbers. First, Caro and Provstgaard proposed exact values for the zero-sum Ramsey numbers over $\mathbb Z_2$ of delta-systems with an even number of edges. We determine these numbers and thereby prove their conjecture. Second, for a forest $F$ with $m$ edges, let $tF$ denote the disjoint union of $t$ copies of $F$. Caro conjectured that $R(tF,\mathbb Z_{mt})=R(tF,2)$ for all sufficiently large $t$. We show that this conjecture does not hold for double stars. Caro also asked whether there exists a tree $T$ with $m$ edges such that $R(T,\mathbb Z_m)>R(T,2)$. We answer this question affirmatively by constructing an infinite family of such trees.
Symmetric Numerical Three-Dimensional Matching: Intractability and Inapproximability
Symmetric Numerical Three-Dimensional Matching (SN3DM) asks whether three disjoint labeled classes with identical weight multisets can be partitioned into class-transversal triples of one common target sum. Its theme is role recovery under marginal symmetry: identical numerical catalogues force the asymmetric source roles to be reconstructed from incidence structure alone. This tutorial develops three complementary hardness results for that symmetry restriction.
Part I gives a unary-polynomial reduction from N3DM. Source roles become ports in one common occurrence set, a uniquely forced filler system reserves one main incidence per port, bipartite edge coloring restores the output-class labels, and a no-carry mixed-radix encoding packs four coordinates into positive integers. Hence SN3DM is strongly NP-complete.
Part II studies Max-SN3DM, for which strong NP-hardness alone does not exclude a PTAS. Two numerical compilers lift Petrank's perfect-completeness gap for bounded 3DM to unary Max-N3DM, and a defect-stability lemma shows that a symmetric matching of size 13n - d yields a source matching of size at least n - 21d, where n is the multiset cardinality, and d is a symmetric defect. Hence, for some epsilon > 0, it is NP-hard to separate perfect instances from those of optimum at most (1- epsilon) times perfect, so no PTAS exists unless P = NP. Every maximal legal triple matching is a 3-approximation, placing the problem in APX.
Part III supplies the approximation-preserving reduction Part II does not claim. An exact pair compiler and a one-live-port separation map degree-three Maximum 3DM to unary Max-SN3DM with OPT(Max-SN3DM) = Gamma + OPT(Max-3DM) for a fixed offset Gamma and one-for-one optimum-error transfer. The L-reduction has constants alpha = 764 and beta = 1, so Max-SN3DM is APX-complete. The two are incomparable; worked yes / no instances audit each construction.
Distribution of simplices in the discrete and continuous settings
In this paper, we study the distribution of simplices in both discrete and continuous settings. Let $q$ be an odd prime power, let $Q$ be a nondegenerate quadratic form on $\mathbb F_q^d$, and let $2\leq k\leq d-1$. We prove that every set $E\subset\mathbb F_q^d$ with \[
|E|\geq C_{d,k}q^{β_{d,k}},
\qquad
β_{d,k}=
\begin{cases}
\displaystyle \frac{d+k}{2}-\frac{k-1}{k+1},
& d-k\ \text{even},\\[2mm]
\displaystyle \frac{d+k-1}{2},
& d-k\ \text{odd},
\end{cases} \] determines a positive proportion of all ordered nondegenerate $k$-simplex congruence classes. This improves the previous exponent due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev (2017), and is sharp when $d-k$ is odd. In the Euclidean setting, we prove that if $E\subset\mathbb R^d$ is compact and $\dim_{\mathrm H}(E)>d-1$, then there exists a Frostman probability measure $μ$, supported on $E$, and a set of pins of full $μ$-measure such that the pinned distance configuration measure for labeled $(d-1)$-simplices is absolutely continuous at every such pin. We also show that the same conclusion holds when $E\subset\mathbb R^d$ is a compact Salem set with $\dim_{\mathrm H}(E)>k$.
Square-Difference-Free Sets beyond the Three-Quarter Barrier
Let $D(N)$ denote the largest cardinality of a subset of $\{1,\ldots,N\}$ containing no nonzero square difference. While a construction certifying $D(N)\geq (1-o(1))N^{1/2}$ is almost trivial, Erdős conjectured that this bound is sharp up to polylogarithmic factors. This was disproved by Sárközy and later again by Ruzsa, who found an elegant construction showing that $D(N)\geq c\cdot N^{0.733077\dots}$, with an absolute constant $c>0$. His approach was subsequently refined, leading to the previously best known lower bound with exponent $0.7334117\dots$ due to Beigel-Gasarch and, independently, Lewko. However, in the original paper Ruzsa observed that $3/4$ seems to be the natural barrier of his approach.
In this paper we develop a new construction leading to the lower bound \[
\liminf_{N\to\infty}\frac{\log D(N)}{\log N}
\geq α_*:= 0.7527964558\ldots; \] thus crossing the natural exponent-$3/4$ barrier of Ruzsa's method. The value $0.7527964558\ldots$ arises from a simple optimisation problem and appears to be the limit of the new approach.
Freeness of Arrangements with Regular Underlying Matroids
We classify freeness for finite central arrangements whose underlying matroids are regular. Let $\mathcal A$ be such an arrangement over an arbitrary field, and put $M=M(\mathcal A)$. Then $\mathcal A$ is free if and only if $M$ is supersolvable; equivalently, $M$ admits a nice partition; equivalently, $M$ is the cycle matroid of a chordal simple graph. Thus, for arrangements with regular underlying matroids, freeness has a complete combinatorial classification independent of the base field.
We use Seymour's decomposition theorem for regular matroids to prove that freeness forces supersolvability. We also characterize nice partitions of finite simple binary matroids: a partition is nice if and only if it is independent and no line is contained in a single block. Consequently, a finite loopless binary matroid admits a nice partition if and only if it is simple and supersolvable.
The Middle Stair for Complete Bipartite Parallel Chip-Firing
We prove the middle-stair conjecture for every complete bipartite graph. If a parallel chip-firing game on $K_{a,b}$ has configuration $σ$ with $2ab-a-b<|σ|<2ab$, then its eventual period is $2$. The balanced case $K_{a,a}$ was proved by Ji, Li, and Wang using one-parameter conjugate configurations. We introduce two-parameter conjugates $c^{k,\ell}$, in which the rank shift on one side supplies the additive offset on the other. These conjugates preserve both the total number of chips and the activity. An exact Ferrers-diagram count then produces a nonnegative conjugate with two-round firing coverage on one side. The coverage propagates in alternating two-round waves, giving activity $1/2$; non-clumpiness then forces period $2$.
Three Graffiti.pc Conjectures on Largest Induced Trees: Proofs of Conjectures 141, 142, and 143
For a finite simple graph $G$, let $t(G)$ be the largest order of an induced tree and let $g(G)$ be the girth. We prove three consecutive conjectures of DeLaViña's Graffiti.pc program. First, writing $\ell(v)$ for the independence number of the subgraph induced by the neighbourhood of $v$, we prove $t(G) \ge \lfloor g(G)/2 \rfloor - 1 + \max_{v \in V(G)} \ell(v)$. Second, if $\mathrm{Per}(G)$ is the periphery and $f(G) = \max_x d(x, \mathrm{Per}(G))$, we prove $t(G) \ge \frac{2}{3} g(G) + f(G)$, and establish the stronger integral bound $t(G) \ge f(G) + \lceil 2g(G)/3 \rceil$ when $G$ contains a cycle. Third, if $δ'(G)$ is the second-smallest degree, counted with multiplicity, then every connected non-tree graph satisfies $t(G) δ'(G) \ge g(G) + 1$. These are Conjectures 141, 142, and 143 of Written on the Wall II. Complete, machine-checked Lean 4 proofs of all three formal statements accompany the manuscript.
Binary X-rays of doubly stochastic matrices
The X-ray of a permutation is a sequence of sums along each diagonal of the associated permutation matrix. They satisfy certain necessary constraints on distribution of the values, which are conjectured to be sufficient when the sequence is binary. By re-expressing the constraints in a form that allows for real-valued relaxations, we prove that these binary sequences are always X-rays of doubly stochastic matrices.
Nine-distance theorem and growth of best-approximation denominators
We prove a nine-distance theorem for Kronecker sequences on flat three-tori. That is, we show that among the first $N$ orbit points, at most nine distinct positive nearest-neighbour distances occur. This proves the conjecture of Haynes and Marklof. An example of Dettmann shows that nine is optimal. More generally, we prove that on a flat $d$-dimensional torus the number of such distances is at most $2^d+1$.
The main tool is a new growth theorem for the denominators $q_1<q_2<\cdots$ of best simultaneous approximations in a $d$-dimensional inner-product space, which is of independent interest. We prove that, whenever $q_{n+2^d}$ is defined, either $q_{n+2^d}\ge2q_{n+1}$, or the indices $1,\ldots,2^d$ can be partitioned into disjoint pairs $\{j,k\}$, $j<k$, such that $q_{n+k}=q_n+q_{n+j}$. In particular, $$
q_{n+2^d}\ge \min\{2q_{n+1},q_n+q_{n+2^{d-1}}\}\ge q_n+q_{n+1}. $$
Intertwining Operators for Siegel Parabolics over Finite Fields
We consider degenerate principal series representations $\operatorname{Ind}_P^Gχ$ over finite fields, where $G$ is a classical subgroup of $\operatorname{GL}_{2n}$, and $P$ is the Siegel parabolic subgroup. For example, we show that this representation is always multiplicity-free and irreducible for generic characters $χ$. We then discuss a particular intertwining operator $I$ on $\operatorname{Ind}_P^Gχ$ and its related combinatorics. Firstly, this operator $I$ produces families of diagonalizable antitriangular matrices with well-behaved eigenvalues. Secondly, applying $I$ to a special vector in $\operatorname{Ind}_P^Gχ$ leads us to various matrix Gauss sums, whose evaluations imply an explicit equidistribution result of the trace and determinant of symmetric and alternating invertible matrices.
Square roots in the Appell group and Sprugnoli arrays
We introduce a special mapping from pairs of power series to the group of Sprugnoli matrices. This mapping has the property when the second argument is an even power series, then the square of the resulting Sprugnoli array is an aerated element of the Appell subgroup of the Riordan group. This allows us to explore the square roots of elements in the aerated Appell subgroup. As the identity is an element of this subgroup, we are led to explore related involutions in the Sprugnoli group.
The catenary degree of monoids of product-one sequences
Let $G$ be a (multiplicatively written) finite group. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed and the order is disregarded. A product-one sequence is a sequence whose terms can be ordered such that their product in $G$ equals the identity element of $G$. The set $\mathcal B (G)$ of all product-one sequences over $G$, endowed with the concatenation of sequences as the operation, is a finitely generated C-monoid; in particular, it is atomic, i.e., every non-unit element can be written as a finite product of atoms. The study of $\mathcal B (G)$ is of fundamental importance, as its combinatorial, algebraic, and arithmetic properties play a crucial role across various branches of mathematics, most notably in invariant theory and factorization theory. While the arithmetic of the monoid $\mathcal B (G)$ is well understood in the abelian setting (in which case $\mathcal B (G)$ is a Krull monoid), little is known in the non-abelian setting because of the substantial structural complexity involved. In this paper, we study the arithmetic invariants of the monoid $\mathcal B (G)$ for non-abelian groups, focusing in particular on the catenary degree. The catenary degree $\mathsf c (G)$ of the monoid $\mathcal B (G)$ is defined as the smallest integer $N$ such that any two factorizations of an element $S \in \mathcal B (G)$ can be concatenated by a chain of factorizations in which adjacent steps differ by replacing at most $N$ atoms. Extending the methods from arithmetic combinatorics to the non-abelian setting, we explicitly characterize all finite groups with catenary degree at most 3, and we investigate an infinite class of finite groups whose monoids of product-one sequences are seminormal and possess well-behaved arithmetic structures. Furthermore, we show that a specific non-abelian group in this class has catenary degree 4.
A quantitative container characterization of one-sided testability
We give a quantitative combinatorial characterization of size-oblivious one-sided testability in the dense graph model, resolving a question of Alon, Fischer, Newman, and Shapira. For hereditary graph properties, we prove that one-sided testability is quantitatively equivalent to the existence of suitable hypergraph containers, a central and widely used tool in modern combinatorics. Combining this equivalence with the Alon-Shapira notion of semi-hereditariness yields a quantitative characterization of arbitrary graph properties. The correspondence is effective in both directions and provides explicit translations between tester complexity and container parameters. Our proof is regularity-free and extends uniformly to every fixed finite relational signature of bounded arity, including digraphs, coloured graphs, and hypergraphs. As applications, we obtain quantitative closure results for partition properties and testers for properties defined by the existence of a linearly large induced substructure.
Combinatorial theorems relative to sparse sets
A key theme in modern extremal combinatorics is the study of classical combinatorial theorems relative to sparse subsets of their natural settings. Here we describe some of the recent progress in this area and state a number of problems that remain open and pressing.
Explicit description of certain 3-point K-theoretic Gromov-Witten invariants for flag manifolds
We give an explicit description, in terms of the quantum Bruhat graph, of the (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants $\langle \mathcal{O}(- λ), \mathcal{O}^{w}, \mathcal{O}_{u} \rangle_{d}$ for the (full) flag manifold $X = G/B$, where $\mathcal{O}(- λ)$ denotes the class in the (torus-equivariant) $K$-theory ring $K_{T}(X)$ of $X$ of the line bundle $\mathcal{O}_{X}(- λ) = G \times_{B} \mathbb{C}_λ$ over $X = G/B$ associated to a weight $λ\in W \varpi_i$ lying in the Weyl group orbit of a minuscule fundamental weight $\varpi_i$, and $\mathcal{O}_{u}$, $\mathcal{O}^{w}$ are the Schubert and opposite Schubert classes in $K_{T}(X)$ for $u, w \in W$. This result can be thought of as a partial generalization of the quantum $K$-theoretic divisor axiom, which we obtained in our previous work; our proof utilizes a generalization of the Chevalley formula in the (torus-equivariant) quantum $K$-theory ring $QK_{T}(X)$ of $X$, which computes the quantum product with the line bundle class $\mathcal{O}(- λ)$ associated to the weight $λ$ above.
Schubitopes are not Ehrhart positive
Schubitopes are a family of generalized permutahedra arising as the Newton polytopes of both Schubert polynomials and Demazure characters of $\mathrm{GL}_n$. Monical, Tokcan, and Yong conjectured that Schubitopes are Ehrhart positive. We exhibit a counterexample to this conjecture, a Schubitope whose Ehrhart polynomial contains a negative coefficient in its monomial expansion. This example was found using GPT-5.6 Sol Pro in ChatGPT.