polynomial
11184 papers tagged with this keyword
Symmetry of the refined $q,t$-Catalan polynomials for $\vec{k}$-Dyck paths
Pappe, Paul, and Schilling introduced two combinatorial statistics, depth and ddinv, associated with classical Dyck paths, and proved that the distributions of (area, depth) and (dinv, ddinv) are $q,t$-symmetric by constructing an involution on plane trees. They also provided a new formula for the original $q,t$-Catalan polynomials $C_{n}(q,t)$. We observe that depth is a slight modification of bounce, which was defined by the filling algorithm and ranking algorithm of Xin and the second author in their study of $\vec{k}$-Dyck paths. In this article, we generalize depth of classical Dyck paths to the case of $\vec{k}$-Dyck paths and prove $q,t$-symmetry of the pair of statistics (area, depth) for $\mathcal{K}$-Dyck paths. We provide an alternative description of the higher $q,t$-Catalan polynomials $C_{n}^{(k)}(q,t)$.
New combinatorial proof of Gaussian polynomial and the monotonicity of the Garvan's $k$-rank
Gaussian polynomial, which is also known as $q$-binomial coefficient, is one of the fundamental concepts in the theory of partitions. Zeilberger provided a combinatorial proof of Gaussian polynomial, which is called Algorithm Z by Andrews and Bressoud. In this paper, we provide a new bijection on Gaussian polynomial, which leads to a refinement of Algorithm Z. Moreover, using this bijection, we provide an alternative proof of generalized Rogers-Ramanujan identity, which was first proved by Bressoud and Zeilberger. Furthermore, we give a combinatorial proof of the monotonicity property of Garvan's $k$-rank, which is a generalization of Dyson's rank and Andrews-Garvan's crank.
The 3-state Potts model on planar triangulations: explicit algebraic solution
We consider the $3$-state Potts generating function $T(ν,w)$ of planar triangulations; that is, the bivariate series that counts planar triangulations with vertices coloured in $3$ colours, weighted by their size (number of vertices, recorded by the variable $w$) and by the number of monochromatic edges (variable $ν$).
This series was proved to be algebraic 15 years ago by Bernardi and the first author: this follows from its link with the solution of a discrete differential equation (DDE), and from general algebraicity results on such equations. However, despite recent progresses on the effective solution of DDEs, the exact value of $T(ν,w)$ has remained unknown so far -- except in the case $ν=0$, corresponding to proper colourings and solved by Tutte in the sixties. We determine here this exact value, proving that $T(ν,w)$ satisfies a polynomial equation of degree $11$ in $T$ and genus $1$ in $w$ and $T$. We prove that the critical value of $ν$ is $ν_c=1+3/\sqrt{47}$, with a critical exponent $6/5$ in the series $T(ν_c, \cdot)$, while the other values of $ν$ yield the usual map exponent $3/2$.
By duality of the planar Potts model, our results also characterize the 3-state Potts generating function of planar cubic maps, in which all vertices have degree $3$. In particular, the annihilating polynomial, still of degree $11$, that we obtain for properly 3-coloured cubic maps proves a conjecture by Bruno Salvy from 2009.
Iterated sumset expansion in $\mathbb{F}_p^n$
Given a set $A \subseteq \mathbb{F}_p^n$, what conditions does one need to guarantee that iterated sumsets of the form $A+\cdots+A$ expand quickly (say, within $O(p)$ terms) to the whole space? When only the size of $A$ is known, such expansion results are only possible when $|A|>\frac{1}{p}|\mathbb{F}_p^n|$. However, heuristic considerations suggest that expansion should begin with much smaller sets under just mild ``nondegeneracy'' conditions. In this paper, we confirm this intuition by showing a sufficient algebraic condition for the asymmetric version of this problem: We have $A_1+\dots+A_m=\mathbb{F}_p^n$ as long as each $A_i$ is not contained in the zero set of any low degree polynomial ($\text{deg} = O(n)$ when $m=O(p)$). We close with a discussion of the behavior of random sets, as well as extensions of these results and connections with the Erdős-Ginzburg-Ziv problem. Our proofs make use of the shift operator polynomial method developed by the second author.
Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Let $μ$ be a probability distribution on a multi-state spin system on a set $V$ of sites. Equivalently, we can think of this as a $d$-partite simplical complex with distribution $μ$ on maximal faces. For any pair of vertices $u,v\in V$, define the pairwise spectral influence $\mathcal{I}_{u,v}$ as follows. Let $σ$ be a choice of spins $s_w\in S_w$ for every $w\in V \setminus \{u,v\}$, and construct a matrix in $\mathbb{R}^{(S_u\cup S_v)\times (S_u\cup S_v)}$ where for any $s_u\in S_u, s_v\in S_v$, the $(us_u,vs_v)$-entry is the probability that $s_v$ is the spin of $v$ conditioned on $s_u$ being the spin of $u$ and on $σ$. Then $\mathcal{I}_{u,v}$ is the maximal second eigenvalue of this matrix, over all choices of spins for all $w \in V \setminus \{u,v\}$. Equivalently, $\mathcal{I}_{u,v}$ is the maximum local spectral expansion of links of codimension $2$ that include a spin for every $w \in V \setminus \{u,v\}$.
We show that if the largest eigenvalue of the pairwise spectral influence matrix with entries $\mathcal{I}_{u,v}$ is bounded away from 1, i.e. $λ_{\max}(\mathcal{I})\leq 1-ε$ (and $X$ is connected), then the Glauber dynamics mixes rapidly and generate samples from $μ$. This improves/generalizes the classical Dobrushin's influence matrix as the $\mathcal{I}_{u,v}$ lower-bounds the classical influence of $u\to v$. As a by-product, we also prove improved/almost optimal trickle-down theorems for partite simplicial complexes. The proof builds on the trickle-down theorems via $\mathcal{C}$-Lorentzian polynomials machinery recently developed by the authors and Lindberg.
A quantum N-dimer model
We study a quantum version of the $n$-dimer model from statistical mechanics, based on the formalism from quantum topology developed by Reshetikhin and Turaev (the latter which, in particular, can be used to construct the Jones polynomial of a knot in $\mathbb{R}^3$). We apply this machinery to construct an isotopy invariant polynomial for knotted bipartite ribbon graphs in $\mathbb{R}^3$, giving, in the planar setting, a quantum $n$-dimer partition function. As one application, we compute the expected number of loops in the (classical) double dimer model for planar bipartite graphs.
On the irreducibility and monodromy of Tutte polynomials
We study algebraic properties of the Tutte polynomial of a matroid and its generalizations to other combinatorially defined bivariate polynomial invariants. Merino, de Mier and Noy showed that the Tutte polynomial of a connected matroid is irreducible, and Bohn, Cameron and M{ü}ller conjectured the stronger property that the Galois/monodromy group of the Tutte polynomial of a connected matroid of rank r is isomorphic to the full symmetric group on r letters. First, we generalize the result of Merino-de Mier-Noy to the context of general ranked sets by exploiting a recent translation of the Brylawski relations, satisfied by the coefficients of the Tutte polynomial, into a functional identity. Second, we give the first confirmation of the conjecture of Bohn-Cameron-M{ü}ller for infinite families of connected matroids, including the cycle graphs and the uniform matroids. Moreover, we apply the large sieve to obtain a probabilistic statement showing that suitable linear combinations of coprime Tutte polynomials generically satisfy the conjecture.
Fractionally colouring $P_5$-free graphs
We obtain some $d\ge2$ such that every graph $G$ with no induced copy of the five-vertex path $P_5$ has at most $α(G)ω(G)^d$ vertices. This ``off-diagonal Ramsey'' statement implies that every such graph $G$ has fractional chromatic number at most $ω(G)^d$, and is another step towards the polynomial Gyárfás-Sumner conjecture for $P_5$. The proof uses the recent Erdős-Hajnal result for $P_5$ and adapts a decomposition argument for $P_5$-free graphs developed by the author in an earlier paper.
Learning stabilizer structure of quantum states
We consider the task of learning a structured stabilizer decomposition of an arbitrary $n$-qubit quantum state $|ψ\rangle$: for $ε> 0$, output a state $|φ\rangle$ with stabilizer-rank $\textsf{poly}(1/ε)$ such that $|ψ\rangle=|φ\rangle+|φ'\rangle$ where $|φ'\rangle$ has stabilizer fidelity $< ε$. We first show the existence of such decompositions using the recently established inverse theorem for the Gowers-$3$ norm of states [AD,STOC'25].
To learn this structure, we initiate the task of self-correction of a state $|ψ\rangle$ with respect to a class of states $S$: given copies of $|ψ\rangle$ which has fidelity $\geq τ$ with a state in $S$, output $|φ\rangle \in S$ with fidelity $|\langle φ| ψ\rangle|^2 \geq τ^C$ for a constant $C>1$. Assuming the algorithmic polynomial Frieman-Rusza (APFR) conjecture in the high doubling regime (whose combinatorial version was recently resolved [GGMT,Annals of Math.'25]), we give a polynomial-time algorithm for self-correction of stabilizer states. Given access to the state preparation unitary $U_ψ$ for $|ψ\rangle$ and its controlled version $cU_ψ$, we give a polynomial-time protocol that learns a structured decomposition of $|ψ\rangle$. Without assuming APFR, we give a quasipolynomial-time protocol for the same task.
As our main application, we give learning algorithms for states $|ψ\rangle$ promised to have stabilizer extent $ξ$, given access to $U_ψ$ and $cU_ψ$. We give a protocol that outputs $|φ\rangle$ which is constant-close to $|ψ\rangle$ in time $\textsf{poly}(n,ξ^{\log ξ})$, which can be improved to polynomial-time assuming APFR. This gives an unconditional learning algorithm for stabilizer-rank $k$ states in time $\textsf{poly}(n,k^{k^2})$. As far as we know, learning arbitrary states with even stabilizer-rank $2$ was unknown.
The Intersection Distribution: New Results and Perspectives
Intersection distribution and non-hitting index are concepts introduced recently by Li and Pott as a new way to view the behaviour of a collection of finite field polynomials. With both an algebraic interpretation via the intersection of a polynomial with a set of lines, and a geometric interpretation via a $(q+1)$-set possessing an internal nucleus, the concepts have proved their usefulness as a new way to view various long-standing problems, and have applications in areas such as Kakeya sets. In this paper, by exploiting connections with diverse areas including the theory of algebraic curves, cyclotomy and the enumeration of irreducible polynomials, we establish new results and resolve various Open Problems of Li and Pott. We prove geometric results which shed new light on the relationship between intersection distribution and projective equivalence of polynomials, and algebraic results which describe and characterise the degree of $S_f$ - the index of the largest non-zero entry in the intersection distribution of $f$. We provide new insights into the non-hitting spectrum, and show the limitations of the non-hitting index as a tool for characterisation. Finally, the benefits provided by the connections to other areas are evidenced in two short new proofs of the cubic case.
Eigenvalues of Universal Covers and the Matching Polynomial
In this work, we prove that the universal and maximal abelian covers of a finite multi-graph have the same eigenvalues. This result strengthens a recent theorem of Li, Magee, Sabri, and Thomas (2025) and answers one of their questions. Our proof builds upon their new characterization of the point spectrum of maximal abelian covers in terms of matching polynomials. It is based on the theory of the matching polynomial and its Gallai-Edmonds decomposition.
Vanishing theorems for combinatorial geometries
We establish strong vanishing theorems for line bundles on wonderful varieties of hyperplane arrangements, and we show that the resulting positivity properties of Euler characteristics extend to all matroids. We achieve this by showing that every degeneration of a wonderful variety within the permutohedral toric variety is reduced and Cohen--Macaulay. The same holds for a larger class of subschemes in products of projective lines that we call "kindred," which are characterized by matroidal Hilbert polynomials. Our results give a new proof of the 20-year-old f-vector conjecture of Speyer and resolve the conjecture of Tohaneanu that higher order Orlik--Terao algebras are Cohen--Macaulay.
Vector Trifference
We investigate a geometric generalization of trifference, a concept introduced by Elias in 1988 in the study of zero-error channel capacity. In the discrete setting, a code C \subseteq {0,1,2}^n is trifferent if for any three distinct codewords x, y, z in C, there exists a coordinate i in [n] where x_i, y_i, z_i are all distinct. Determining the maximum size of such codes remains a central open problem; the classical upper bound |C| \leq 2 * (3/2)^n, proved via a simple pruning argument, has resisted significant improvement.
Motivated by the search for new techniques, and in line with vectorial extensions of other classical combinatorial notions, we introduce the concept of vector trifferent codes. Consider C \subseteq (S^2)^n, where the alphabet is the unit sphere S^2 = { v in R^3 : ||v|| = 1 }. We say C is vector trifferent if for any three distinct x, y, z in C, there is an index i where the vectors x_i, y_i, z_i are mutually orthogonal. A direct reduction of the vectorial problem to the discrete setting appears infeasible, making it difficult to replicate Elias's pruning argument. Nevertheless, we develop a new method to establish the upper bound |C| \leq (sqrt(2) + o(1)) * (3/2)^n.
Interestingly, our approach, when adapted back to the discrete setting, yields a polynomial improvement to Elias's bound: |C| \lesssim n^(-1/4) * (3/2)^n. This improvement arises from a technique that parallels, but is not identical to, a recent method of the authors, though it still falls short of the sharper n^(-2/5) factor obtained there. We also generalize the concept of vector trifferent codes to richer alphabets and prove a vectorial version of the Fredman-Komlos theorem (1984) for general k-separating codes.
A lower bound on the minimum weight of some geometric codes
The $p$-ary code associated with the incidence structure of points and $t$-spaces in a projective space $\mathrm{PG}(m,q)$, where $q=p^h$, is the $\mathbb{F}_p$-subspace generated by the incidence vectors of the blocks of this design. The dual of this code consists of all vectors orthogonal to every codeword of the original code. In contrast to the codes derived from point-subspace incidences, the minimum weight of the corresponding dual codes is generally unknown, which makes the problem more challenging.
In 2008 Lavrauw, Storme and Van de Voorde proved the following reduction: the minimum weight of the dual of the code derived from point and $t$-space incidences in $\mathrm{PG}(m,q)$ is the same as the minimum weight of the dual of the code derived from point and line incidences in $\mathrm{PG}(m-t+1,q)$. After a series of works by Delsarte (1970), Assmus and Key (1992), Calkin, Key and De Resmini (1999), the best known lower bound for the case of point-line incidences was established in [B. Bagchi and P. Inamdar: Projective geometric codes, J. Combin. Theory Ser. A, 99(1) (2002), 128-142].
The problem of determining the minimum weight of these codes admits a natural geometric interpretation in terms of multisets of points in a projective space which meet each line in $0$ modulo $p$ points. In this paper, by adopting this geometrical perspective and exploiting certain polynomial techniques from [S. Ball, A. Blokhuis, A. Gács, P. Sziklai, Zs. Weiner: On linear codes whose weights and length have a common divisor, Adv. Math., 211 (2007), 94-104], we prove a substantial improvement of the Bagchi-Inamdar bound in the case where $h>1$ and $m, p >2$.
Combinatorial Aspects of Elliptic Schubert Calculus
The main goal of this paper is to extend two fundamental combinatorial results in Schubert calculus on flag manifolds from equivariant cohomology and $K$-theory to equivariant elliptic cohomology. The foundations of elliptic Schubert calculus were laid in a few relatively recent papers by Rimányi, Weber, and Kumar. They include the recursive construction of elliptic Schubert classes via generalizations of the cohomology and $K$-theory push-pull operators and the study of the corresponding Demazure algebra. We derive a Billey-type formula for the localization of elliptic Schubert classes (for partial flag manifolds of arbitrary type) and a pipe dream model for their polynomial representatives in the case of type $A$ flag manifolds. The latter extends the pipe dream model for double Schubert and Grothendieck polynomials. We also study the degeneration of elliptic Schubert classes to $K$-theory, which recovers the corresponding classical formulas.
Orbit lengths for promotion on 2-row and near-hook tableaux
Promotion has been well-studied for rectangular standard Young tableaux, in which case the orbit lengths divide the total number of boxes and are described by a cyclic sieving phenomenon (CSP), but little is known about the orbit lengths for tableaux of general shape. We approach this problem by building a stable sequence of tableaux where we fix the bottom portion and add extra boxes to the first row to get $n$ total boxes, with $n$ varying. We show that for 2-row tableaux with a fixed bottom row, the orbit lengths are divisors of certain monic polynomials in $n$, with degree generally equal to the number of distinct lengths of runs of consecutive numbers in the bottom row. For the subsets of 2-row tableaux where all runs have the same length, we show that the orbit lengths are characterized by a CSP polynomial that is a slightly modified version of the major index generating function, like in the rectangle case. We also show that for any stable sequence of tableaux, the orbit lengths are linear in $n$ as long as all non-first-row entries differ from each other by at least 2, which asymptotically happens for almost all tableaux in the limit as $n\to\infty.$ We also calculate the orbit lengths for near-hook tableaux, which are divisors of certain linear or quadratic polynomials in $n$.
HNN extensions of free groups with equal associated subgroups of finite index: polynomial time word problem
Let $G=F\ast_\varphi t$ be an HNN extension of a free group $F$ with two equal associated normal subgroups $H_1 = H_2$ of finite index. We prove that the word problem in $G$ is decidable in polynomial time. This result extends to the case where the subgroups $H_1=H_2$ are not normal, provided that the isomorphism $\varphi:H_1\to H_2$ satisfies an additional condition described in Section 5.
The paired construction for Boolean functions on the slice
Let $V$ be a finite set of size $n$. We consider real functions on the "slice" $\binom{V}{k}$, which are also known as functions in the Johnson scheme. For $I \subseteq J \subseteq V$, the characteristic function of the set of all $K\in\binom{V}{k}$ with $I \subseteq K \subseteq J$ is called "basic". In this article, we investigate a construction arising as the sum of two "opposite" basic functions. In essentially all cases, these "paired" functions are Boolean.
Our main result is the determination of the exact degree -- regarding a representation by an $n$-variable polynomial -- of all paired functions. The proof is elementary and does not involve any spectral methods. First, we settle the middle layer case $n=2k$ by identifying and combining various relations among the degrees involved. Then the general case is reduced to the middle layer situation by means of derived, reduced, and dual functions.
Remarkably, in certain situations, the degree is strictly smaller than what is guaranteed by the elementary upper bound for the sum of functions. This makes paired functions good candidates for fixed-degree Boolean functions of small support size. As it turns out, for $n = 2k$ and even degree $t \notin \{0,k\}$, paired functions provide the smallest known non-zero Boolean functions, surpassing the $t$-pencils, which is the smallest known construction in all other cases.
A polynomial bound on the pathwidth of graphs edge-coverable by $k$ shortest paths
Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one; namely, we show that every graph whose edge set can be covered by $k$ shortest paths has pathwidth $O(k^4)$, answering a question from the same paper. Moreover, we prove that when $k\leq 3$, every such graph has pathwidth at most $k$ (and this bound is tight). Finally, we show that even though there exist graphs with arbitrarily large treewidth whose vertex set can be covered by $2$ isometric trees, every graph whose set of edges can be covered by $2$ isometric trees has treewidth at most $2$.
Labeled Plane Trees and Increasing Plane Trees
This note is dedicated to presenting a polynomial analogue of $(n+1)!C_n=2^n(2n-1)!!$ (with $C_n$ as the $n$-th Catalan number) in the context of labeled plane trees and increasing plane trees, based on the definition of improper edges in labeled plane trees. A new involution on labeled plane trees is constructed to establish this identity, implying that the number of improper edges and the number of proper edges are equidsitributed over the set of labeled plane trees.