math.CO ↗ arXiv
7121 papers in this category
A Hajnal-Szemerédi Theorem for Skewed Colorings
The Hajnal-Szemerédi theorem guarantees an equitable $(r + 1)$-coloring of every graph of maximum degree at most $r$. We prove a version of this result for more general prescribed color class sizes, subject only to a natural upper bound.
An inequality for the number of independent sets of matroids with an application to the forest-tree ratio of graphs
Let $M=(E,\mathcal{I})$ be a matroid of rank $r$. Let $\mathcal{I}_k$ be the independent sets of size $k$, and let $I_k=|\mathcal{I}_k|$ and $I=|\mathcal{I}|$. We show that if every set $F\in \mathcal{I}_{r-1}$ is contained in at least $δ$ bases, then $$\ln \left(\frac{I}{I_r}\right)\geqslant \frac{I_{r-1}}{I_r}\cdot δ\ln \left(1+\frac{1}δ\right).$$ In particular, we have $$\frac{I}{I_r}\geqslant 2^{I_{r-1}/I_r}.$$ By combining this result with several other ideas, we prove that if $G$ is a simple connected graph on $n$ vertices, and $F(G)$ and $T(G)$ denote its numbers of spanning forests and spanning trees, respectively, then $$\frac{F(G)}{T(G)}\geqslant \frac{F(K_n)}{T(K_n)},$$ where $K_n$ is the complete graph on $n$ vertices. Equality holds if and only if $G=K_n$.
Finite groups with large power-avoiding subsets
A subset $X$ of a finite group $G$ is $k$-power-avoiding if for all $g\in G$ we have that $\{g,g^k\}\not\subseteq X$. The paper shows that if $G$ contains a $k$-power-avoiding subset $X$ with $|X|\geq |G|-c$, then the group $G^k$ generated by the $k$th powers of elements of $G$ has bounded order (in $k$ and $c$). We provide more detailed structural results when $c\leq 2$, and in particular we classify the groups which arise when $c\leq 2$ and $k$ is prime.
From Yang-Baxter to Robinson-Schensted-Knuth
We explain how to derive the Robinson-Schensted-Knuth (RSK) correspondence, a fundamental bijection in algebraic combinatorics, from the Yang-Baxter equation. The Yang-Baxter equation arose in the study of quantum many-body systems and later became a cornerstone of the theory of solvable lattice models, particularly vertex models. In a vertex model, arrows occupy the edges of a grid, and each vertex carries a Boltzmann weight determined by the arrows on the four edges meeting at it. The weight of a configuration is the product of these local weights, and a partition function is the sum of the weights of all configurations with prescribed boundary conditions. For a vertex model whose partition functions are the Schur polynomials, the two sides of each instance of the Yang-Baxter equation admit exactly one weight-preserving matching of their summands. Carried across a grid, this forced matching is the classical RSK correspondence in the form of Fomin's growth diagrams. In natural coordinates the local matching becomes the combinatorial three-dimensional R, a set-theoretic solution of the Zamolodchikov tetrahedron equation. Its periodic closure returns the combinatorial R-matrices of one-row crystals.
The forced matching is special to the Schur weights. For the Hall-Littlewood and q-Whittaker deformations and their spin versions, at generic parameter values no deterministic matching works for all boundary data. Reading each instance of the Yang-Baxter equation probabilistically, we replace the matching by a coupling of the two sides - a bijectivization, or probabilistic bijection - and obtain Markov operators that transport probability measures attached to vertex models. Iterated over the grid, these operators produce randomized RSK-type dynamics and interacting particle systems, including q-PushTASEP and the stochastic six-vertex model.
A somewhat sure note on an un-Schur problem
Parczyk and Spiegel initiated the study of an anti-Ramsey multiplicity variant of Schur's theorem and proved that the maximum fraction of Schur triples that can be rainbow in a $3$-coloring of $\{ 1, \dots ,n \}$ is bounded asymptotically between $0.4$ and $0.66364$. Furthermore, they conjectured that their lower bound is optimal. We disprove this conjecture and prove new bounds. In particular, we show that the maximum fraction of rainbow Schur triples that can be rainbow in a $3$-coloring of $\{ 1, \dots ,n \}$ lies between $9/22$ and $8/15$ asymptotically. Moreover, we study the problem in the general $k$-color setting and establish new non-trivial bounds.
Antidirected forests in digraphs
A digraph is antidirected if every vertex has indegree zero or outdegree zero. Let $k\ge2$, and let $F$ be an antidirected forest with $k$ arcs and no isolated vertices. We prove that every digraph $D$ of order $n$ with more than $g_k(n):=2\max\left\{\binom{2k-1}{2}, (k-1)\left(n-\frac{k}{2}\right)\right\}$ arcs contains $F$ as a subdigraph. For $n\ge2k-1$, this threshold equals $2\mathrm{ex}(n,kK_2)$ and is attained by symmetric digraphs arising from extremal $kK_2$-free graphs. Consequently, the maximum directed extremal number over all such forests is $2\mathrm{ex}(n,kK_2)$. The proof combines a counting inequality for rooted antidirected forests, embeddings extending vertex-disjoint arcs, and vertex deletion. In the remaining case, the Gallai--Edmonds decomposition of the underlying graph gives the required bound on the number of arcs.
A Note on a Result of Chen Li
Recently, C. Li posted a preprint that resolves the fractional version of Talagrand's discrete convexity problem. In this note, we use the method of C. Li to answer another problem of Talagrand.
Exact Values, Extremal Classifications, and Sum-of-Squares Reductions for Second-Order Zarankiewicz Numbers
There is a natural connection between the SOS rank problem for bi-quadratic forms and the Zarankiewicz extremal problem for C4-free bipartite graphs. The classical Zarankiewicz number z(m,n) controls the bipartite skeleton associated with monomial squares. Allowing two cells to form a single bilinear square leads to augmented Zarankiewicz configurations and the second-order Zarankiewicz number z2(m,n). Unlike zRL and zSL, defined through recursive sufficient conditions, z2 maximizes over all irreducible displayed SOS decompositions without imposing (RW 3+). Hence, to prove z2(m,n)<=R, one must prove that every simple limited configuration with more displayed squares is reducible; failure of a sufficient condition cannot serve as a counterargument.
We prove z2(4,4)=10, z2(7,4)=19, z2(8,4)=21, z2(5,5)=17, and obtain z2=zSL=zRL in all these cases. The extremal irreducible 6x4 configurations with 16 displayed squares form a single isomorphism class under row and column relabeling, whereas the extremal irreducible 7x4 configurations with 19 displayed squares form exactly three isomorphism classes. The four-column results form a structural chain: classify lower-order extremal configurations first, then use hereditary irreducibility under deletion of complete squares to constrain the next order. Finite exhaustive steps use candidate pruning, a necessary compatibility graph, clique enumeration, and orbit reduction, with a verifiable reducibility or irreducibility proof for each remaining orbit. For 5x5, there are two ordinary extremal skeletons; finite exclusion leaves only two highly symmetric 18-square candidates. They define the same ten-square polynomial, which admits an explicit nine-square representation, yielding the upper bound for z2(5,5).
A computational framework for multidimensional loop-cocyclic Hadamard matrices
The cocyclic development of Hadamard matrices has recently been extended from groups to loops by means of a cohomology theory that incorporates associativity obstructions. Over the finite field $\mathbb F_2$, the resulting loop-cocycles can be computed as solutions of homogeneous linear systems, making the framework suitable for exact computation. In this paper, we investigate multidimensional Hadamard matrices arising from finite loops. We introduce the notion of $δ$-compatible pairs of $2$-cochains over a loop $L$ as a natural extension of the usual $2$-cocycle identity, which allows the use of two distinct $2$-cochains. They form a vector space naturally isomorphic to the direct product of the space of $2$-cocycles and the space of $1$-cochains. This yields a generalization of the classical cocyclic construction of multidimensional Hadamard matrices from groups to arbitrary loops, while preserving the computational advantages of the cocyclic approach. The obtained decomposition shows that the determination of Hadamard equivalence classes can be reduced from the full space of $δ$-compatible pairs to the smaller space of ordinary $2$-cocycles, eliminating a redundant factor of $2^n$ from the search space. Computational results for all groups of orders $4$ and $8$, together with a non-associative loop of order $8$, show that the proposed three-dimensional construction refines the classical cocyclic Hadamard classification. While all examples collapse into a single equivalence class in dimension two, they split into several distinct classes in dimension three. In particular, the non-associative loop produces a three-dimensional Hadamard class that does not arise from any of the groups considered, showing that the multidimensional construction detects structural information that is invisible at the cocyclic matrix level.
Generating Functions and the Minimum Spectral Radius in Strongly Connected Digraphs with $m+2$ Edges
We study the minimum adjacency spectral radius in the class $\mathcal{SC}_{m+2}(m)$ of strongly connected digraphs with $m$ vertices and $m+2$ edges. Using generating functions for directed paths, we associate with the relevant digraphs topological polynomials whose smallest positive roots determine the corresponding spectral radii. Based on an ear decomposition, we obtain a complete structural classification of $\mathcal{SC}_{m+2}(m)$ by showing that every digraph in this class can be obtained from a butterfly digraph by attaching a single ear. This reduces the extremal problem to the optimization and comparison of finitely many polynomial families subject to their realizability conditions. We prove that the minimum spectral radius is determined by the polynomial $P_{\min}(z)=1-2z^{m-1}-z^m$. If $R_m\in(0,1)$ denotes its unique root, then $\min_{G\in\mathcal{SC}_{m+2}(m)}ρ(G)=R_m^{-1}$. For $m\geq4$, the minimum is attained, up to isomorphism, uniquely by the cross-chorded cycle $\mathcal{C}_m^\times$. For $m=3$, there are exactly two non-isomorphic minimizers, both with spectral radius $(1+\sqrt5)/2$. Finally, we establish the bounds $2^{1/(m-1)}<ρ\left(\mathcal{C}_m^\times\right)<3^{1/(m-1)}$.
Regular dyadic triangulations of delta-matroid polytopes
Backman and Liu proved that every integral generalized permutohedron of type $A$, and in particular every matroid base polytope, admits a regular unimodular triangulation. The analogous statement fails in type $B$: the delta-matroid simplex \[\operatorname*{conv}\{\mathbf{0},\ e_1+e_2,\ e_1+e_3,\ e_2+e_3\}\] has normalized volume $2$ and no lattice points other than its vertices, so it has no unimodular triangulation. We show moreover that, up to the natural symmetries of the $0/1$ cube and deletion of constant coordinates, it is the unique non-unimodular delta-matroid polytope that is a simplex. We prove instead that every delta-matroid polytope admits a regular dyadic triangulation, meaning a lattice triangulation whose maximal simplices have normalized volumes that are powers of two. More generally, every integral type $B$ generalized permutohedron admits such a triangulation. The main lattice-theoretic ingredient is that the type $B$ root configuration forms a totally dyadic system, a $2$-local analogue of total unimodularity. As a consequence, these polytopes satisfy a dyadic version of the integer decomposition property. In each dimension the corresponding exponent can be chosen uniformly, even though ordinary integer decomposition can fail for delta-matroid polytopes.
The Complexity of Undirected Partizan Edge Geography
Partizan Edge Geography is a two-player game on a graph where each player has their own token on a vertex and moves their token to a neighbor in a turn removing the edge. Two player alternately move their tokens and the first player who cannot move loses the game. Fraenkel and Simonson (TCS, 1993) showed that the winner determination of this game is PSPACE-complete on directed graphs, given a graph and token positions.
This paper resolves its complexity on undirected graphs by showing the PSPACE-completeness on bipartite undirected graphs of maximum degree 3. The same reduction also works for a variant where two tokens cannot be placed on the same vertex.
Turán-type extremal problems for unbalanced signed graphs
In this paper, we establish two Turán-type results for signed graphs. We first generalize the classical Turán theorem to signed graphs and then extend Nikiforov's spectral Turán theorem to signed graphs. Moreover, we determine the second maximum spectral radius among all unbalanced signed graphs that contain no balanced complete signed subgraph on \(r+1\) vertices.
Asymptotic infinitesimal freeness of covariance matrices
We consider $n\times n$ covariance matrices $M=\frac{1}{n}XX^*$ where $X=(x_{i,j})$ is a matrix whose entries are independent complex random variables with $\mathbb{E}(x_{i,j})=0$ and $\mathbb{E}(|x_{i,j}|^2)=1$. We derive a $\frac{1}{n}$ expansion of the mixed moments, $\frac{1}{n}\mathbb{E}(\Tr(M^{(r_1)}\cdots M^{(r_q)}))$, of the form $a_0+a_1\frac{1}{n}+O(\frac{1}{n^2})$. This permits us to find explicit formulas for the moments and infinitesimal moments of several covariance matrices where we allow repetition. As an application of our formulas, we derive asymptotic freeness and infinitesimal freeness of independent covariance matrices under a fourth-moment condition. This generalizes previous results for the Wishart ensemble in which $x_{i,j}$ is complex Gaussian.
A near-linear upper bound for Burr's conjecture
Let $f(k)$ denote the smallest integer such that every oriented graph $D$ with chromatic number at least $f(k)$ contains every oriented tree on $k$ vertices. Burr (1980) showed that $f(k)\le (k-1)^2$ and conjectured that $f(k)=2k-2$. Bessy, Gonçalves and Reinald (2025) proved that $f(k)=O(k^{3/2})$. In this paper, by using an absorbing set method, we show that $f(k)\le \lfloor 31\log (k!)\rfloor=O(k\log k)$.
Demazure crystals for flagged set-valued reverse plane partitions
In this paper, we build a Demazure crystal structure on the set of all flagged set-valued reverse plane partitions of a given skew shape $λ/μ$ and flag $Φ$. Our construction provides a unified generalization of the Demazure crystal structures previously known for the set of all flagged semi-standard set-valued tableaux and the set of all flagged reverse plane partitions. Consequently, we obtain a combinatorial expansion for the flagged hybrid Grothendieck polynomial $H_{λ/μ}(\mathbf{x}_Φ;\mathbf{t};\mathbf{w})$, introduced by Guo--Kang--Liu, in terms of key polynomials. Applying this expansion, we express the hybrid Grothendieck polynomial $H_{λ/μ}(\mathbf{x};\mathbf{t};\mathbf{w})$ in terms of both the stable Grothendieck polynomials $G_ν(\mathbf{x})$ and the dual stable Grothendieck polynomials $g_ν(\mathbf{x})$.
Cohen-Macaulay higher conormal and Kähler differential modules of squarefree monomial ideals
Let $S=k[x_1,\ldots,x_n]$ and let $I=I_Δ\subsetneq S$ be a nonzero squarefree monomial ideal. Motivated by the classical higher-order Kähler differential modules and by the theory of higher conormal modules, we study not only the higher conormal quotients $I/I^q$, but more generally the shifted quotients $I^r/I^q$, $1\le r<q$, in the same $I$-adic conormal filtration, together with their symbolic analogues $I^{(r)}/I^{(q)}$. We prove that, for every $1\le r<q$ with $q\ge3$, the module $I^r/I^q$ is Cohen--Macaulay if and only if $I$ is a complete intersection. In sharp contrast, $I^{(r)}/I^{(q)}$ is Cohen--Macaulay if and only if $Δ$ is a matroid, where loops are allowed. Thus, the Cohen--Macaulayness of a single nonexceptional window forces the Cohen--Macaulayness of every window in the corresponding filtration. The unique exceptional pair is $(r,q)=(1,2)$: at this conormal level, we show that the Cohen--Macaulayness of $I/I^2$ forces $I^2=I^{(2)}$, and hence $I/I^{(2)}$ is Cohen--Macaulay.
Perfect state transfer under matrix powers: parity and spectral arithmetic
For a real symmetric matrix $H$ and distinct vertices $a,b$, we classify exponents $k$ for which $H^k$ has perfect state transfer (PST) from $a$ to $b$. If their supported eigenvalues are integer multiples of a common positive number, every odd exponent reduces to $H$ and every positive even exponent reduces to $H^2$. We determine the minimum transfer times using a greatest common divisor of supported spectral differences. For rational symmetric matrices, symmetry of the source vertex support about zero implies the odd-power equivalence without a commensurability assumption; this includes all bipartite graphs. If the source vertex supports zero, PST under one positive even power implies PST under every positive even power. For a symmetric three-point quadratic spectrum whose outer projection signs agree and differ from the central sign, a nonzero rational shift leaves exactly one PST exponent. We classify all adjacency powers of hypercubes, cycles, and Johnson graphs, and all adjacency squares of paths. In particular, the adjacency matrix of $P_7$ has PST from vertex $2$ to vertex $6$ only at exponent $2$.
Leaving the Hall: explicit formulas for Negut operators
Recent major breakthroughs in $q,t$-combinatorics include the introduction of the Dyck path algebra $\mathbb{A}_{q,t}$ by Carlsson and Mellit and of the Catalanimals by Blasiak et al., both of which led, among other things, to independent proofs of different extensions of the rational shuffle conjecture of Bergeron et al.
The first main contribution of this paper is a simple, explicit formula inside the algebra $\mathbb{A}_{q,t}$ for the Negut operators, yielding a direct, elementary connection between the original operators of the rational shuffle conjecture and the corresponding Catalanimals. Our formula bypasses the elliptic Hall algebra, turning these operators into transparent, workable tools whose action we can compute exactly and efficiently on any symmetric function, not just constants.
Our second main contribution consists of a series of explicit formulas relating the Negut operators to the Theta operators introduced by D'Adderio et al. To prove these formulas, we provide an extension of the aforementioned Theta operators to the entire algebra $\mathbb{A}_{q,t}$, allowing us to obtain a series of new combinatorial results. The algebraic computations underlying this extension have been formalized in Lean.
To showcase the power of our results, we give a proof, also partially formalized in Lean, of the Theta conjecture of D'Adderio et al., first stated in 2019.
Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors
Let $\mathcal P_k=\mathbb F_2[x_1,\ldots,x_k]$ be the polynomial algebra over the prime field $\mathbb F_2$, viewed as an unstable module over the mod-$2$ Steenrod algebra $\mathcal A$. The well-known Peterson hit problem asks for a minimal set of generators for the $\mathcal A$-module $\mathcal P_k$. This is equivalent to determining the dimension of the cohit space $(Q\mathcal P_k)_d=(\mathcal P_k/\mathcal A^{+}\mathcal P_k)_d$, where $\mathcal A^{+}$ denotes the augmentation ideal of $\mathcal A$, for every $k\geq1$ and positive degree $d$. Although solved in every degree for at most four variables, it remains a difficult open problem in general. Furthermore, given the limitations of current tools, explicitly determining the dimension of $(Q\mathcal P_k)_d$ in the general case appears out of reach. Motivated by these limitations, we establish explicit upper and lower bounds for this dimension for arbitrary positive integers $k$ and $d.$
Our method combines binary combinatorics, linear algebra, and graph and simplicial structures associated with the generating Steenrod squares. We characterize zero rows, count zero columns, and refine rank estimates using Adem relations. Minors and zero rows of the resulting smaller matrix yield further two-sided cohit bounds without determining a complete basis or computing the full hit rank.