polynomial
11422 papers tagged with this keyword
The Grammatical Calculus
We give an introduction to the grammatical calculus, which originated from the umbral calculus of Rota. Context-free grammars arise in computer science. Differential operators can be viewed as the production rules of context-free grammars. By the properties of differential operators, we may perform the grammatical calculus on a rigorous basis, for the purposes of deriving combinatorial identities and computing generating functions. A grammatical labeling serves as a bridge between a combinatorial structure and the grammar. A grammar may be instrumental in constructing a bijection between two combinatorial structures sharing the same grammar. Such a bijection is called a grammar assisted bijection. Many combinatorial structures admit recursive constructions that are context-free in some sense, such as those corresponding to the Eulerian polynomials, Bell polynomials, the Ramanujan polynomials and the Narayana polynomials.
Equivariant Schubert Calculus for Inverse Grassmannian Permutations
We give a Graham-positive expansion for the product of two double Schubert polynomials indexed by two inverse Grassmannian permutations. Surprisingly, the nonzero structure constants are double Schubert polynomials in two disjoint sets of equivariant variables. We also give a positive expansion for the product of two single Schubert polynomials indexed by a $321$-avoiding permutation (e.g., a Grassmannian permutation) and an inverse Grassmannian permutation. Unexpectedly, the nonzero structure constants are Edelman--Greene coefficients.
The unlabeled list color function of disconnected graphs
Given a graph $G$, its chromatic polynomial $P (G, k)$ counts proper $k$-colorings, while the corresponding list color function $P_{\ell} (G, k)$ counts the minimum number of proper colorings across all assignments of $k$ colors to each vertex. While it is clear that $P_{\ell} (G, k) \leq P (G, k)$, Donner showed in 1992 that $P_{\ell} (G, k) = P (G, k)$ whenever $k$ is sufficiently large. In 1985, Hanlon defined and studied the chromatic polynomial for an unlabeled graph. A list version of Hanlon's notion was introduced in 2024 by Kaul and Mudrock, who further raised the question of whether the analog of Donner's result holds in the unlabeled case. While they proved this for all connected point-determining graphs, even the case of the edgeless graph on $n$ vertices remained open and was posed as a conjecture. We prove this conjecture and show that it implies that, more generally, a disconnected graph satisfies the unlabeled analog of Donner's result if all of its connected components do.
Ideal Gårding polynomials
We introduce ideal Gårding polynomials, a convexity-enhanced subclass of Gårding polynomials whose Gårding components are recursively convex under partial differentiation. This class strictly contains real stable polynomials and, after translation and homogenization, lies in the Lorentzian class.
Our main result is that ideal Gårding polynomials still admit a robust structure theory despite this additional convexity: they are preserved under polarization, satisfy natural closure properties, and support a linear preserver theory. A key contribution of this paper is a universal model for univariate Gårding polynomials, described by monotone root sequences and equivalently by volume polynomials of Pitman--Stanley polytopes. We establish quotient concavity, and Newton--Maclaurin type inequalities, which leads to the polarization theorem, and suggests further connections with convex geometry and Lorentzian polynomials.
Counting in logarithmic space
We study the class $\#\mathsf{L}$ of functions counting accepting paths of non-deterministic log-space Turing machines and construct methods to prove containment in $\#\mathsf{L}$. We prove that a large number of classical combinatorial and number theoretic functions belong to this class: classical functions from enumerative combinatorics (multinomial coefficients, Catalan numbers, linear extensions of trees, Stirling numbers, etc), algebraic combinatorics (number of standard Young tableaux, etc), discrete geometry, number theoretic functions, representation theoretic multiplicities in a large class of cases. We show that $\mathrm{GL}_2$-plethysm coefficients of bounded length outer partition can be counted by log$^2$-space polytime verifiers. We pose numerous questions and conjectures on $\#\mathsf{L}$ containment and its generalizations, that suggest venues for conditionally disproving $\#\mathsf{P}$-completeness. While studying which combinatorial functions are in $\#\mathsf{P}$ provides a formal way of (dis)proving the existence of combinatorial interpretations, the lower class $\#\mathsf{L}$ serves as an analogue for functions computable in polynomial time.
Ehrhart $h^*$-distributions
Every polynomial with real non-negative coefficients yields a finite probability distribution after normalization. The Ehrhart $h^*$-polynomial of a lattice polytope $P$ is a non-negative integer polynomial that encodes the integer-point counts for positive integer dilations of $P$. We study the corresponding finite distributions, which we call $h^*$-distributions. We determine the mean and variance of these distributions, establish a connection between higher moments and Ehrhart polynomial coefficients, and study their cluster points in the $d$-dimensional probability simplex. We consider the special case of real-rooted $h^*$-distributions, applying existing tail bounds to obtain new linear inequalities for the coefficients of real-rooted $h^*$-polynomials arising from reflexive polytopes. We conclude by establishing sufficient conditions under which a sequence of real-rooted $h^*$-distributions is asymptotically normal, and we apply our results to various families of polytopes, including zonotopes and Pitman-Stanley polytopes.
A gap theorem for non-trivial maximal intersecting families and an exact weighted asymptotic
Let $D_n$ be the disjointness graph on the nonempty subsets of $[n]$, whose independent sets are exactly the intersecting families on $[n]$. We study the weighted independent-set polynomial $W(n)=\sum_F\prod_{S\in F}w(S)$, the sum running over these families, for the doubly exponential weight $w(S)=2^{2^{n-|S|}}-1$. The kernel-bearing (trivial) part $Z_\cap(n)$ is exact by inclusion-exclusion and satisfies $Z_\cap(n)\sim n\cdot 2^{3^{n-1}}$. For the kernel-free remainder we prove the exact prefactor $R(n)=(3/4+o(1))n\cdot 2^{3^{n-1}-2^{n-1}+2}$, whence $\log_2(Z_\cap(n)/R(n))=2^{n-1}-2+\log_2(4/3)+o(1)$, an additive $o(1)$, not merely a leading-order one. The engine is a second-level extremal theorem: among kernel-free maximal linked systems other than the $n$ one-flip stars, the largest weight exponent is $3^{n-1}-3\cdot 2^{n-2}+6$, a fixed gap $2^{n-2}-4$ below the maximum, with the extremisers classified exactly. None of this is special to the weight: for $w_B(S)=B^{B^{n-|S|}}-1$ with integer $B\ge 2$ the same stars dominate, the near-extremal families sit a gap $B^{n-2}-B^2$ below, and the prefactor is $1-B^{-B}$. The combinatorial input is the $p$-biased extremal problem for non-trivial intersecting families: $M_2(n,p)=p-pq^{n-1}+qp^{n-1}$ for all $n\ge 3$, $0<p\le 1/2$, $q=1-p$. This first level is essentially known: the extremal family is the Wheel coterie of Peleg and Wool, and at $p=1/Q$ the statement, with its maximiser classification, is the case $r=n$ of Borg's Hilton-Milner theorem for signed sets (2013). We give a short self-contained Erdős-Ko-Rado proof, uniform in real $p\in(0,1/2]$, whose layer-two rigidity feeds the second level. The novelty claimed lies at the second level and in the prefactor, where the classification cannot be read off the layer profile alone: at $n=5$ one profile carries two non-isomorphic types of extremisers.
A $\sqrt{2}$-Approximation to the Bilu-Linial Conjecture
Bilu and Linial conjectured that if $d\ge 2$, then every $d$-regular graph $G$ has an edge signing $σ:E(G)\to\{-1,1\}$ such that its signed adjacency matrix $A_σ$ satisfies the Ramanujan bound \begin{equation*}
ρ(A_σ)\le 2\sqrt{d-1} \end{equation*} and they proved that \begin{equation*}
ρ(A_σ)=O\!\left(\sqrt{d\log^3 d}\right). \end{equation*}
Using a method of interlacing polynomials, Marcus, Spielman, and Srivastava confirmed one side of this conjecture that there is a signing $σ$ for which
\[
λ_{\max}(A_σ)\le 2\sqrt{d-1}. \] By constructing an auxiliary bipartite graph from a balanced orientation of $G$ and applying a bipartite signing argument, we prove that every finite simple graph $G$ of maximum degree $d\ge 3$ admits an edge signing $σ$ such that \[
ρ(A_σ)
\le 4\sqrt{\left\lceil \frac d2\right\rceil-1}
\le 2\sqrt{2(d-1)}. \] Thus we obtain a bound within a factor at most $\sqrt2$ of the conjectured Ramanujan bound.
On Matrix Product Factorization in Association Schemes
We study matrix product factorizations (MPFs) in symmetric association schemes: identities $A_SA_T=A_U$ where $A_S,A_T,A_U$ are loopless unions of basic relations and the ordinary matrix product is again a $0$-$1$ adjacency matrix. We give equivalent structural and spectral criteria for MPFs, derive valency and rank restrictions, and analyze several standard families. For $2$-class schemes, the only nontrivial loopless MPF comes from the scheme of the $5$-cycle. For $P$-polynomial schemes, the distance-regular recurrence gives strong restrictions on products $A_1A_i$. We also prove a universal pentagon theorem for the case $A_SA_T=J-I$, and show that extremal rank forces all non-zero eigenvalues of $A_U$ to be $\pm k(U)$, hence gives bipartiteness. Finally, in Hamming schemes we obtain rank obstructions and classify MPFs of the form $A_1A_T=A_U$: in $H(d,2)$, for $d\ge2$, the only non-zero loopless example is $A_1A_d=A_{d-1}$, which is trivial since $A_d$ has valency $1$; for $q>2$, no non-zero example occurs.
Alternating adjacent-sum polytopes: transfer matrices and Ehrhart series
We study a period-two family of adjacent-sum lattice polytopes whose consecutive-coordinate bounds alternate between $s$ and $s+1$. This provides a simple non-uniform deformation of the classical uniform model while retaining an explicit transfer-matrix structure.
The lattice-point counts exhibit a parity split: the odd- and even-dimensional sequences have distinct rational generating functions with a common denominator. The odd-dimensional series satisfies a Möbius recurrence and admits an arctangent closed form, whereas the even-dimensional series obeys a coupled recurrence. Their common dominant pole determines the exponential growth in both parity classes.
For the cyclic model obtained by adding a constraint between the first and last coordinates, the count becomes a matrix trace. The two cyclic parity classes again have rational generating functions with the same denominator; the even-dimensional numerator has a Jacobi-derivative form, while the odd-dimensional one is given by an explicit anti-diagonal cofactor expression.
We also derive dimension-generating functions for fixed dilations, linear recurrences for lattice-point counts, rational volume-generating functions, and a bivariate identity for the coefficients of the $h^*$-polynomials. When $s=1$, every even-dimensional polytope decomposes into a Cartesian product of unimodular triangles, yielding explicit formulas and the Gorenstein property. For every $s\geq 2$, the Gorenstein property fails in some even dimension.
Periodicities in the Riordan arrays of polynomials over finite fields
We study periodicity properties of the 2-D $\bigl(p_1(t)/p_2(t),\, tp_3(t)\bigr)$ and 3-D $\bigl(p_1(t)/p_2(t),\, tp_3(t),\, p_4(t)\bigr)$ Riordan arrays over a finite field ${\mathbb F}_q$, where each $p_i(t)$ is a polynomial with $p_i(0)\neq 0$. We show that the columns of the 2-D Riordan array are eventually periodic sequences, where a circulant matrix generated by the coefficients of $p_3(t)$ determines the behavior of this periodicity as the column index grows indefinitely. Furthermore, we prove that the preperiodic column partial sums of the 2-D array are periodic, and present a family of the Riordan arrays for which such sequences of partial sums are identically zero. We also show that the layers of the 3-D Riordan array contain periodic orbits related to each other via powers of a circulant matrix generated by the coefficients of $p_4(t)$.
Matroid correspondence
Motivated by algebraic correspondences and linear operators associated with volume and Lorentzian polynomials, we introduce matroid correspondences and their polymatroid analogues. A matroid correspondence defines a functor between poset categories of matroids whose morphisms are matroid quotients, and various standard functors, including deletion, contraction, free extension, truncation, intersection, union, and pullback, arise in this way. We show that these correspondences preserve representability and algebraicity under natural hypotheses. In the polymatroid setting, we establish compatibility with multisymmetric lifts. Finally, we relate this construction to the supports of linear operators with Lorentzian symbols.
Excluding paths and bicliques
Classes of graphs excluding a path and a biclique as induced subgraphs are extensively studied in the literature. One of the key structural results for such graphs is a Ramsey-type result due to Galvin, Rival, and Sands (1982), establishing the existence of a function $f$ bounding the maximum length of a path in terms of clique number $ω$. We improve the best known bound on $f$ to a function that is a singly exponential in $ω^c$, for some constant $c$, which we show is best possible, up to optimizing $c$.
Our approach also has consequences for treedepth. In particular, we show that, for graphs excluding a path and a biclique as induced subgraphs, treedepth is bounded by a polynomial function of clique number. In turn, this result implies that every hereditary graph class that admits a function bounding treedepth of graphs in the class in terms of clique number, admits a polynomial such function. This gives a treedepth analogue of a recent result on pathwidth due to Hajebi (2025).
The even-uniform hypergraph Moore bound
The hypergraph Moore bound conjectured by Feige (2008) controls the size of the smallest even cover in a $k$-uniform hypergraph in terms of the average density of hyperedges. An even cover is a set of hyperedges covering each vertex an even number of times, generalizing the notion of a cycle in a graph, so the size of the smallest non-trivial even cover provides a notion of hypergraph girth. Recent work starting from the breakthrough result of Guruswami, Kothari, and Manohar (2022) proved the conjecture up to polylogarithmic factors, whose exponents were later gradually improved. We give a simple proof of Feige's original hypergraph Moore bound conjecture for all even $k\ge 4$, with no superfluous polylogarithmic factors. Our proof roughly follows the proof of the graph Moore bound, but works with colored walks in a Kikuchi graph built from a hypergraph and controls their growth using a polynomial interpolation method.
Stable Limit DAHA of type $(C^{\vee},C)$ and Stable Limit Koornwinder Polynomials
We construct two stable limit representations of the double affine Hecke algebra of type $(C^\vee,C)$ on the space of almost symmetric Laurent polynomials, namely the positive and negative stable limit representations. Starting from the standard polynomial representation of the finite rank DAHA of type $(C_n^\vee,C_n)$, we study the asymptotic behavior of the Cherednik operators under the two natural rescalings by positive and negative powers of the parameter $t$. We prove that these rescaled Cherednik operators admit well-defined limits on the ring of almost symmetric Laurent polynomials. This yields stable positive and negative actions of a common stable limit DAHA. The action of the limit Cherednik operators is also proven to be triangular on a natural basis of almost symmetric Laurent polynomials labeled by tuple-partition symbols with respect to the induced Bruhat order. We further construct for each of the two stable limit representations a set of simultaneous eigenfunctions of the limit Cherednik operators using the partial symmetrization operators acting on the non-symmetric Koornwinder polynomials. We show that each of the two sets of the eigenfunctions form a basis of the space of almost symmetric Laurent polynomials, and denote them by the positive and negative stable limit Koornwinder polynomials.
Beyond Mock Modularity: Elliptic Corrections for Higher Dyson Ranks
When $m = 1$, the Dyson rank generating function is a classical bridge between partition theory, Ramanujan's mock theta functions, and the theory of harmonic Maass forms and nonholomorphic Jacobi forms. The rank is a statistic on partitions, and the higher Dyson systems, for $m \geq 2$, are a natural multivariable refinement of it, combining $m$ graded rank contributions. Unlike the classical case, these higher systems are not expected to fit the mock-modular framework, which raises the question of what analytic structure governs them. We show that their root-of-unity specializations carry a hidden elliptic structure. A finite $q$-difference recurrence produces an explicit polynomial obstruction to the expected index $m$ elliptic transformation law, and because the obstruction is finite, its partial fractions canonically determine finitely many Appell--Lerch correction terms that remove it. The corrected functions satisfy a twisted index $m$ elliptic law; a natural translation removes the twist, and their holomorphic finite parts admit finite theta decompositions. Thus, the natural analogue of Dyson's mock-modular phenomenon at higher $m$ is not mock modularity but a finite theta decomposition governed by an index $m$ elliptic transformation law. These results grew out of a human--AI collaboration, and the key new formulas were formalized and machine-verified in Lean/Mathlib by AxiomProver.
Quantum determinants in polynomial time
We give an algebraic branching program of polynomial size which computes Cayley determinant of right quantum matrices. This is a rare example of an efficient computation of a noncommutative determinant, and the first such example for quantum groups. We extend the results to the $q$-Cayley determinant of $q$-right quantum matrices, as well as to their multiparameter generalization. The proofs are entirely combinatorial, as we relate Cayley, Moore and Valiant determinants using bijections/involutions on words. We then employ the celebrated determinant construction of Mahajan and Vinay (SODA'97), to obtain the results.
Contractions and applications of crystal skeletons: Young quasisymmetric and Stanley symmetric functions
The character of a connected $\mathfrak{sl}_n$-crystal is a Schur polynomial; the crystal can be further decomposed into quasicrystals, whose characters are the Gessel quasisymmetric functions. Crystal skeletons are obtained by contracting quasicrystals within crystal graphs. They generalize dual equivalence graphs, and can be used to prove the Schur expansion of a symmetric function when the quasisymmetric expansion is known. In this paper, we show that the crystal skeleton can be tiled further into components which we call quasicrystal skeletons, whose characters are Young quasisymmetric Schur functions. We characterize which edges in the crystal skeleton move between quasicrystal skeleton components. Contracting the quasicrystal skeleton components yields Bruhat order. We illustrate how these tools can be applied to symmetric functions by analyzing the Stanley symmetric functions.
Curious identities involving Legendre polynomials and Apéry-like numbers
In this paper, we establish some curious identities involving Legendre polynomials and the first kind of Apéry-like numbers. As applications, many new supercongruences are deduced.
Some Remarks on Hessians and Wronskians
The purpose of this note is to elaborate on the apparent connection between Wronskians and Hessians. More generally, to a given subspace of homogeneous bivariate forms over the complex numbers, we associate two determinantal polynomials called the $W$-polynomial and the $\hat{W}$-polynomial. We give expansion and factorization formulas for these polynomials, and study their behavior under change of coordinates and duality. As an application, we give another proof of Iarrobino's theorem on the strong Lefschetz property for standard graded Artinian Gorenstein algebras in codimension two.