polynomial
11173 papers tagged with this keyword
Touchard-Riordan Polynomials and Schur-positivity of Set Partitions
Published in EPTCS 445, 2026, pp. 1-9
• View Publication
• BIB
A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur-positivity of symmetric functions naturally associated with set partitions, with respect to a descent set function that considers i as descent, if i and i+1 share a block in the partition.
The Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings.
Split primes and the Elekes-Rónyai problem
There exist an absolute constant $c>0$ and arbitrarily large finite sets $A\subset \mathbb{R}$ with $$\left| \left\{x+y+(x-y)^2:\ x, y \in A\right\}\right| \le|A|^{2-c}.$$ Since $x+y+(x-y)^2 \in \mathbb{R}[x,y]$ is a polynomial which is neither additive nor multiplicative, this provides a counterexample for the Elekes-Rónyai problem.
The censored stochastic six-vertex model and parabolic Kazhdan--Lusztig $R$-polynomials
We introduce a censored version of the stochastic six-vertex model. We show that for parameters $b_1 < b_2$, this model started from the initial condition ${1}_{x>0}$ is stochastically dominated at any time by the blocking measure. This is a partial analog of the censoring inequality for monotone spin systems. In particular, this result allows us to control the behavior of second-class particles. The proof uses parabolic Kazhdan--Lusztig $R$-polynomials, whose appearance is explained using a connection between the stochastic six-vertex model and the Iwahori--Hecke algebras of symmetric groups. Furthermore, we find an intertwining relation for this process using normalized parabolic Kazhdan--Lusztig $R$-polynomials as an intertwining kernel.
Special Matchings, Brenti's Conjecture, and the Combinatorial Invariance Conjecture
In this work, we settle a problem that dates back to the early 2000s. We provide a complete characterization of special matchings of arbitrary Bruhat intervals in Coxeter groups of type $A$ and apply this result to prove a conjecture of Brenti from 2003 concerning the computation of Kazhdan-Lusztig $R$-polynomials via special matchings. This yields new evidence in support of the Combinatorial Invariance Conjecture.
On a conjecture of Las Vergnas
In 1988, Las Vergnas conjectured that if $M$ is a binary matroid with bicycle dimension $d$, then for $0 \leq k \leq d$, the $k$th derivative of the diagonal Tutte polynomial $T(M;z,z)$ evaluated at $z=-1$ is an integer multiple of $2^{d-k}$. While this was rapidly disproved for binary matroids and for graphs in general, extensive computations strongly suggested that it might be true for planar graphs. In this paper we prove that this is indeed the case. To do this, we consider a stronger divisibility property that we call the LV property, and a larger class of graphs, namely the class of delta-wye-reducible graphs. By a detailed analysis of how a delta-wye exchange affects the coefficients of the diagonal Tutte polynomial, we show that delta-wye-reducible graphs have the LV property. That Las Vergnas' conjecture holds for planar graphs immediately follows because planar graphs are delta-wye reducible and the LV property is stronger than Las Vergnas' divisibility conditions.
On the Spectra of Digraph Laplacians
We present several Laplacian-type matrices associated with a loopless digraph $D$: the out-/in-degree Laplacians $\mathcal L_{\mathrm{out}},\mathcal L_{\mathrm{in}}$, the incidence Laplacian $\mathcal L_{\mathrm{inc}}=BB^{\mathsf T}$, and the symmetrized and skew-symmetrized variants $\mathcal S_{\mathrm{out}},\mathcal K_{\mathrm{out}}$. We show that $\mathcal L_{\mathrm{inc}}(D)$ coincides with the Laplacian of the underlying undirected multigraph, and we derive spectral and characteristic-polynomial relations under arc reversal and complementation (including a simplification for Eulerian digraphs for $\mathcal S_{\mathrm{out}}$). We demonstrate that the spectral radius of $\mathcal L_{\mathrm{out}}$ is bounded above by the order of the digraph and give a characterization in the equality case. We further obtain explicit formulas for joins and line digraphs, giving a general determinantal identity relating the out-degree Laplacian characteristic polynomials of a regular digraph and its line digraph.
Balanced Sperner families via the topological Tverberg theorem
For every prime power $r\ge 2$, we show that any Sperner family $\mathcal F\subseteq 2^{[n]}$ with $|\mathcal F|\ge (r-1)n+1$ contains $r$ pairwise disjoint nonempty subfamilies whose unions are all equal and whose intersections are all equal. For $r=2$, this confirms a conjecture of Hegedüs, with the sharp threshold $n+1$. In this purely combinatorial problem, our proof combines a multilinear polynomial method, a continuity argument, and the topological Tverberg theorem.
The two-sided peak polynomial
We derive a generating function identity for the joint distribution of the numbers of peaks of a permutation and its inverse, via enriched $P$-partitions. The coefficients of the corresponding peak polynomial $W_n(s,t)$ satisfy a second-order recurrence. A martingale formulation of this recurrence yields a bivariate central limit theorem, showing that the two statistics are asymptotically independent. We also give an exact closed form for their covariance, which is of order $n^{-1}$.
Finite free convolution via reproducing kernels and squarefree algebras
We give a structural account of the finite free convolutions of Marcus, Spielman, and Srivastava in terms of reproducing kernel inner products on polynomial spaces and a multilinear model over the squarefree algebra. In this model, additive convolution becomes algebra multiplication, and the nilpotent logarithm linearizes it, recovering the finite free cumulants of Arizmendi and Perales. This perspective leads to a class $\mathcal{LC}_n$ of multilinear polynomials characterized by nonpositivity of higher-order cumulants, closed under additive convolution and satisfying several key permanence properties associated with negatively dependent measures. We show that every graph Laplacian pencil belongs to this class, with higher-order cumulants given by Hamiltonian cycle counts in induced subgraphs.
Edge-regular graphs with non-negative curvature have polynomial growth
A long-standing conjecture in the emerging discrete Bakry-Émery theory asserts that bounded-degree graphs satisfying $\mathrm{CD}(0,\infty)$ have polynomial growth. In the present paper, we prove this conjecture for all edge-regular graphs, and even obtain a volume doubling estimate with a constant that depends only on the degree. This is made possible thanks to the discovery of a surprising self-improvement phenomenon, which seems of independent interest: any edge-regular graph satisfying $\mathrm{CD}(κ,\infty)$ for some $κ\in\mathbb R$ must in fact satisfy $\mathrm{CD}(κ,n)$ for some explicit, universal and optimal dimension parameter $n$.
Polynomial Corners Over finite Fields
Recently there has been some progress in understanding the density of a subset of $[N]^2$ that avoids polynomial patterns. Kravitz, Kuca, and Leng showed that if $P\in\mathbb{Z}[z]$ satisfies certain conditions, then any set $A\subseteq[N]^2$ does not contain $(x,y),(x+P(z),y),(x,y+P(z))$, we must have
\[
|A|\ll_P\frac{N^2}{(\log\log\log N)^c}
\]
for some small constant $c$.
In this article, we show a similar result in $(\mathbb{F}_p)^2$ where we get a better bound on the density of a set $A\subseteq (\mathbb{F}_p)^2$ not containing $(x,y),(x+P(z),y),(x,y+P(z))$ with some conditions on $P\in \mathbb{F}_p[z]$.
Embedding Finite Functions into Low-Degree Polynomial Functions over Commutative Rings
A function $f \colon X^k \to X$ on a finite set embeds into a polynomial of total degree $d$ over a commutative ring $R$ if there is an injection $j \colon X \to R$ and a polynomial $g$ of total degree at most $d$ with $j \circ f = g \circ j^k$, where $j^k$ applies $j$ in each coordinate. These are the transition functions of $k$-neighbour cellular automata, and the injection $j$ is an enlargement of the alphabet that preserves the transitions. We prove three results, all verified in Lean~4 with Mathlib~\cite{bacik2026finbin}. Every unary function $f \colon X \to X$ embeds into a polynomial of total degree $1$. Every binary Kronecker delta embeds into a polynomial of total degree $4$. For every $d$ there is a binary function that does not embed into any polynomial of total degree $d$.
Tight Upper Bounds on Color Reversal by Local Inversions
A bicoloration of a graph $G=(V,E)$ is a map $β:V\to\{-1,1\}$. A local inversion at a vertex $v$ complements the subgraph induced by the neighbors of $v$ and simultaneously reverses the colors of all neighbors of $v$. Sabidussi (Discrete Mathematics, 1987) showed that every bicolored graph on $n$ vertices without isolated vertices admits a color reversal using at most $6n+3$ local inversions, and that any two bicolorings of such a graph can be transformed into each other using at most $9n$ local inversions. Recently, Porte, Sandeep, and Santra (CALDAM 2026) improved these bounds to $4n-3$ and $\lfloor(11n-3)/2\rfloor$, respectively. We prove the tight bound $3n$ by showing that, for every graph on $n$ vertices without isolated vertices, any bicoloring can be transformed into any other bicoloring using at most $3n$ local inversions. We also show that this bound is best possible: for complete graphs and stars on $n$ vertices, at least $3n$ local inversions are required to reverse the colors of all vertices. Moreover, the proof of the upper bound is constructive: given two bicolorings, it produces, in polynomial time, a sequence of at most $3n$ local inversions transforming one into the other.
A cubic refinement of Jackson's Chvátal--Erdős condition for Hamilton cycles in digraphs
For a digraph $D$, let $\aTwo(D)$ be the largest size of a vertex set no two of whose vertices lie in a common directed $2$-cycle. Let $f_2(a)$ be the least integer $K$ such that every $K$-connected digraph $D$ with $\aTwo(D)\leq a$ has a Hamilton cycle. In 1987, Jackson proved that $f_2(a)\leq 2^a(a+2)!$ and asked for better bounds, noting that a linear bound might be possible. Kühn and Osthus later observed that even a polynomial bound would be interesting.
In this short note, we prove the polynomial bound $f_2(a)\leq 2a^3+2$.
Two Families of $q$-Supercongruences from Watson's Transformation
In this paper, we establish two families of $q$-supercongruences modulo the third and fourth powers of a cyclotomic polynomial by employing Watson's ${}_{8}φ_7$ transformation, the creative microscoping method introduced by Guo and Zudilin, and the Chinese remainder theorem for coprime polynomials.
A complete characterization of a family of permutation trinomials over $\mathbb F_{p^2}$
Let $p>3$ be a prime and let $$f_{λ_1,λ_2}(x)=x^{p^2-p+1}+λ_1x^{p^2}+λ_2x^{2p-1}\in\mathbb F_{p^2}[x].$$ We determine all pairs $(λ_1,λ_2)\in(\mathbb F_{p^2})^2$ for which $f_{λ_1,λ_2}$ is a permutation polynomial of $\mathbb F_{p^2}$. The final classification consists of three explicit families. The first one is the binomial case $λ_1=0$. The other two are obtained from the condition $λ_2=cλ_1^3$, with $c\in \mathbb F_{p}^{*}$, and are defined by two simple equations involving the norm $λ_1^{p+1}$. The proof is based on the AGW criterion and on the study of a quartic curve naturally associated with the rational function induced on the unit circle $μ_{p+1}$.
$\textbf{k}$-neighborhood ideals of graphs
In this paper, we introduce and investigate the $\textbf{k}$-neighborhood ideal of a graph, a natural generalization of the closed neighborhood ideal. Let $G$ be a simple graph on the vertex set $[n]$, and let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$. For a vector $\textbf{k}=(k_1,\ldots,k_n)\in \mathbb{N}^n$ satisfying $1\leq k_i\leq \textrm{deg}_G(i)+1$ for all $i$, the $\textbf{k}$-neighborhood ideal of $G$ is defined as the squarefree monomial ideal $$\textrm{NI}_{\textbf{k}}(G)=\sum_{i=1}^n\, (\textbf{x}_W:\, W\subseteq N_G[i],\, |W|=k_i)$$ of $S$, where $\textbf{x}_W=\prod_{i\in W} x_i$. We study homological invariants and properties of $\textrm{NI}_{\textbf{k}}(G)$ focusing on its Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness. Special attention is devoted to the case where the vector ${\textbf{k}}$ is the degree-vector of the graph, i.e., $k_i=\textrm{deg}_G(i)$ for all vertices $i$, and to the case where $\textrm{NI}_{\textbf{k}}(G)$ coincides with the edge ideal of a graph. In these settings, we provide combinatorial characterizations and bounds for the regularity and projective dimension of $\textrm{NI}_{\textbf{k}}(G)$ for several classes of graphs, and further investigate the Cohen-Macaulay property of these ideals.
The Rectangular Finite Free Heat Flow
We define and study the rectangular finite free heat flow, a dynamical system on polynomials that plays the role of the heat equation in the setting of rectangular finite free probability. We show several equivalent characterizations of the evolution (including PDE and gradient flow formulations), establish basic properties of the dynamics, and determine the asymptotic distributions of the polynomial roots in the long-time and high-degree limits. We also discuss connections with Calogero-Moser systems and Dunkl processes, and we show that the rectangular finite free heat flow describes the mean curvature expansion of a family of compact Lie group orbits.
An Explicit $O(r\log r)$ Threshold for Attaining the Semple--Steel Bound with $r$-State Characters
Let $d_r(n)$ be the maximum, over all binary phylogenetic trees with $n$ leaves, of the minimum number of $r$-state characters required to define the tree. Semple and Steel proved that $d_r(n)\geq\lceil(n-3)/(r-1)\rceil$, and Bordewich and Semple proved that equality holds for each fixed $r$ and all sufficiently large $n$. We study the corresponding threshold $n_r$, the least $N$ for which equality holds for every $n\geq N$. The Bordewich--Semple construction yields an explicit polynomial upper bound of order $O(r^5)$ for this threshold. We prove the near-linear estimate \[
3r+1\leq n_r\leq \ceil{64(r-1)\log_2(r+1)}+3\qquad(r\geq4). \] The proof constructs, for every binary phylogenetic tree with $m=n-3$ internal edges, a linked quartet certificate whose conflict graph has maximum degree at most $16\lceil\log_2(m+2)\rceil+4$. Equitable coloring then packs the certificate into exactly $\lceil m/(r-1)\rceil$ $r$-state characters once $m\geq\lceil64(r-1)\log_2(r+1)\rceil$. We also include the lower bound $n_r\geq3r+1$, obtained from the snowflake obstruction, and state the natural conjecture that this lower bound is the exact threshold for all $r\geq4$. The conjectural endpoint is consistent with the known small-state thresholds: $n_4=13$ and $n_5=16$, while the cases $r=2,3$ are also explicitly classified.
Polynomial reduction for $q$-holonomic sequences
This paper provides a (Laurent) polynomial reduction to $q$-holonomic sequences $F_k(q)$. We first characterize Laurent polynomials $\tilde{p}(x)$ such that the product $\tilde{p}(q^k)F_k(q)$ is summable. Then the reduction framework is given to decompose any given Laurent polynomial into a summable part and a remainder with lower degree. Finally, we introduce a power-partible reduction for $q$-holonomic sequences of which the recurrence relation satisfies a certain symmetry condition. The advantage is that it can not only simultaneously eliminate the highest-degree and lowest-degree terms of a Laurent polynomial satisfying a symmetry condition, but also guarantee the symmetry of the remainder. As applications, we apply the reduction to $q$-central-Delannoy numbers to derive new $q$-identities and $q$-congruences.