polynomial
11538 papers tagged with this keyword
Enumeration of measurable functions between finite measurable spaces
Let \(X\) and \(Y\) be finite sets with \(|X|=n\), \(|Y|=m\), equipped with sigma algebras \(\mathcal A\) and \(\mathcal B\). For arbitrary sigma algebras \(\mathcal A\) on \(X\) and \(\mathcal B\) on \(Y\), we enumerate measurable functions \(f\colon X\to Y\). When \(\mathcal B\) is discrete, the number of pairs \((\mathcal A,f)\) is the Touchard polynomial \(T_n(m)=\sum_k S(n,k)m^k\). For general \(\mathcal B\) with atom sizes \(b_1,\dots,b_r\), the number of pairs \((\mathcal A,f)\) over all sigma algebras \(\mathcal A\) on \(X\) is the complete Bell polynomial \(N_{\mathcal B}(n)\) in the power sums \(p_a=\sum_j b_j^a\), with exponential generating function \(\exp(\sum_j(e^{b_jx}-1))\). This specialises to the Touchard polynomial in the discrete case and is maximised by the trivial codomain sigma algebra. We further show that \(N_{\mathcal B}(n)=\mathbb E[Z^n]\) for a compound Poisson random variable \(Z\), and we discuss basic asymptotic growth of \(N_{\mathcal B}(n)\).
Generalizations of the Christoffel-Darboux formula and congruences involving Apéry-like numbers
In this paper, we first extend the Christoffel-Darboux formula for orthogonal polynomials to general three-term recurrence sequences, and then investigate the identities and congruences for $g_n(x)$ and $v_n(x)$ given by \begin{align*} &g_0(x)=1,\ g_1(x)=\frac{x+1}2,\ (n+1)^2g_{n+1}(x)=\Big(2n(n+1)+\frac{x+1}2\Big)g_n(x)-n^2g_{n-1}(x)\ (n\ge 1), \\&v_0(x)=1,\ v_1(x)=x,\ (n+1)^3v_{n+1}(x)=(2n+1)(n(n+1)+x)v_n(x)-n^3v_{n-1}(x)\ (n\ge 1).\end{align*}
Gamma-positivity for octopuses: a bijective proof
Chapoton introduced an interesting family of polytopes called arbor polytopes, where a polytope $\mathcal{Q}_τ$ is associated to any arbor $τ$. Chapoton conjectured that the polynomial $h(τ)$ which counts lattice points in $\mathcal{Q}_τ$ by number of nonzero entries is palindromic and unimodal. Athanasiadis, Xiao, and Yan recently proved that $h(τ)$ is gamma-positive for a certain class of arbors they call octopuses. Since their proof was computational, they asked for one that is bijective. We present such a proof. We also extend their results by showing that $h(τ)$ is gamma-positive for a larger class of arbors we call lopsided octopuses.
Every fork-free graph is perfectly weight divisible
A graph $G$ is \emph{perfectly weight divisible} if, for every positive integral weight function on $V(G)$ and every induced subgraph $H$ of $G$ with at least one edge, the vertex set $V(H)$ can be partitioned into two sets $A$ and $B$ such that $H[A]$ is perfect and the maximum weight of a clique in $H[B]$ is smaller than the maximum weight of a clique in $H$. Perfect divisibility and its weighted form provide a natural approach to polynomial $χ$-boundedness. A \emph{fork}, also known as a \emph{chair}, is the graph obtained from a claw by subdividing one of its edges once. In this paper, we prove that every fork-free graph is perfectly weight divisible. As a consequence, we confirm a conjecture of Sivaraman that every fork-free graph is perfectly divisible.
A solution to Butler's positivity conjecture
Let $λ, μ, ν$ be distinct partitions such that $λ, μ\subset ν$ and $|ν/λ|=|ν/μ|=1$. We prove Butler's positivity conjecture posed in 1994: the expansion of the Macdonald intersection polynomial \[ \frac{T_λ\widetilde{H}_μ(X;q,t)-T_μ\widetilde{H}_λ(X;q,t)}{T_λ-T_μ} \] in terms of the Schur function basis has coefficients in $\mathbb{Z}_{\geq 0}[q,t]$.
Average hitting times and recurrence structures II: Cartesian products of powers of cycles and regular graphs
In our previous work \cite{MiezakiTamura2026}, we clarified the second-order linear recurrence structures appearing in the average hitting times on the $k$-th power graph $C_N^k$ of the cycle graph. In this paper, for a connected $r$-regular graph $G$ on $m$ vertices, we investigate the average hitting times of the simple random walk on the Cartesian product graph $C_N^k \square G$. By using discrete Fourier analysis in the $C_N^k$ direction and the Laplacian spectral decomposition of $G$, we decompose the average hitting time into a component proportional to the average hitting time on $C_N^k$ and correction terms arising from the nonzero Laplacian eigenspaces of $G$. For each nonzero Laplacian eigenvalue, we introduce a Chebyshev-type polynomial, and when all of its roots are simple, we express the correction term as a finite Green-type sum. Furthermore, for two vertices having the same $G$-coordinate, we transform this expression into a second-order linear recurrence representation of the form $V_\ell V_{N-\ell}/V_N$.
When $G$ is a walk-regular graph, the average hitting time between two vertices having the same $G$-coordinate depends only on the Laplacian eigenvalues of $G$ and their multiplicities. We also derive formulas for the number of spanning trees and the number of two-component spanning forests of $C_N^k \square G$, and give several explicit examples.
$m$-Bell and $m$-Stirling numbers: Iterated binomial transforms, hyper-Bessel functions, and moments of the Conway--Maxwell--Poisson distribution
We introduce a natural generalization of the Bell numbers: the $m$-Bell numbers $B^{(m)}_{n}$, characterized by the property that $m$ applications of the binomial transform reproduce the original sequence shifted $m$ places to the left. Their exponential generating functions satisfy $m$-th order ordinary differential equations whose solutions are hypergeometric (hyper-Bessel) functions, specializing to the exponential function when $m=1$ (classical Bell numbers) and to modified Bessel functions when $m=2$ (yielding "Bessel-Bell" numbers). Mirroring the Bell-Stirling correspondence, we construct $m$-Stirling triangular arrays from the two-term recurrence $S_m (n+1,k) = m \left\lfloor k/m \right\rfloor S_m(n,k)+S_m(n,k-1)$ and prove an elementary shift identity from which the central structure theorem follows: the row sums of the $m$-Stirling triangle reproduce $B^{(m)}_{n}$, and, more finely, the residue-class row sums are precisely the $m$ primitive $m$-Bell sequences. The $m$-Stirling numbers come in dual pairs (with first-kind partners, generalized falling factorials, and Lah-type companions), serve as conversion operators between polynomial bases, admit Dobiński-like formulas, and count congruence-constrained partitions in an urn model as well as restricted permutation insertion histories. Finally, we show that the $m$-Bell numbers govern the moments of the Conway-Maxwell-Poisson distribution with integer dispersion parameter $ν=m$: the scaled moments are combinations of fixed hyper-Bessel carrier ratios whose integer coefficients are precisely the primitive $m$-Bell sequences, recovering for $m=1$ the classical fact that the moments of the Poisson distribution are the Bell numbers.
Normalized skew Schur polynomials are Lorentzian
We prove the conjecture of Huh, Matherne, Mészáros, and St.~Dizier that the normalization of every skew Schur polynomial in finitely many variables is Lorentzian. We first realize every nonzero skew Schur polynomial in finitely many variables as a specialization of a Schubert polynomial and prove that it is dually Lorentzian. The dual Jacobi--Trudi identity then identifies its normalization with the finite dual of a skew Schur polynomial obtained by rectangular complementation. As a consequence, skew Kostka numbers satisfy log-concavity inequalities along the root directions.
Finding all cospectral mates over a number field
We investigate a notion of cospectrality for integer matrices that is parameterized by algebraic number fields. Given a number field and a symmetric integer matrix, we wonder when conjugating the integer matrix by an orthogonal matrix with entries in the given field can produce new integer matrices.
Our results concern sufficient conditions for the associated notion of spectral determination, and we give constraints on the orthogonal matrices when the conditions are not applicable. The results use the discriminant of the characteristic polynomial and properties of Krylov subspaces. We leverage the theory to develop an algorithm to find all cospectral mates over a given (small) field. An implementation of the algorithm is made available.
A proof of Zeilberger's recurrence for solid standard Young tableaux of shape $[[n,n],[n,1]]$
Let $g(n)$ denote the number of solid standard Young tableaux of the two-layer shape $[[n,n],[n,1]]$. In his First Rigorous Challenge accompanying the solid-SYT project, Zeilberger observed empirically that $g(n)$ satisfies a linear recurrence of order $2$ with polynomial coefficients of degree $12$, and offered a prize for a proof. We prove the recurrence. The proof proceeds by a deletion-insertion bijection reducing $g(n)$ to weighted enumerations of Kreweras-type lattice walks in the quarter plane, which we evaluate in closed form via the algebraic kernel method of Bousquet-Melou and Mishna. Along the way we obtain several enumerative results of independent interest: a closed form for reverse-Kreweras walks ending on the diagonal, an explicit algebraic generating function for the diagonal, and the identity that a ballot-weighted sum of diagonal walk counts enumerates reverse-Kreweras walks of length $3n+1$ ending at $(1,0)$. The recurrence itself is explained structurally: $g$ lies in a $2$-dimensional module over $\mathbb{Q}(n)$ spanned by two hypergeometric terms, which forces a second-order recurrence and produces its coefficients by Cramer's rule.
Deletion-contraction properties of graphically stable spaces
Graphically stable spaces $\overline{\mathcal{M}}_{g,G}$ parametrize marked nodal curves whose permitted collisions of markings are determined by a graph. We study intersection numbers of $ψ$-classes on $\overline{\mathcal{M}}_{g,G}$, as well as the classes $[M_{g,G}]$ in the Grothendieck ring of varieties. In both settings, we show that the geometry is governed by an underlying graphical structure, expressed through deletion-contraction relations. As consequences, we derive string and dilaton equations and express several families of $ψ$-class integrals in terms of the chromatic polynomial. We also express the Grothendieck class of $M_{0,G}$ over an arbitrary field in terms of the chromatic polynomial and identify various Euler characteristics with combinatorial quantities. Along the way, we obtain a new formula for Crapo's $β$-invariant of graphs. Finally, we extend these relations to genus one and, under a chromatic condition, to higher genus.
Quadratic Expansion over Prime Fields via Centered Collisions and Popular-Sum Amplification
Let $p$ be an odd prime, let $\varnothing\neq A\subseteq\mathbb F_p$ have cardinality $N$, and let $f\in\mathbb F_p[x,y]$ be a non-degenerate quadratic polynomial. Writing $S=|A+A|$ and $M=|f(A,A)|$, we prove the full-range trade-off $S^8M^6\gtrsim N^{17}(1+N^3/p^2)^{-3}$. Consequently, $\max\{|A+A|,|f(A,A)|\}\gtrsim \min\{N^{17/14},p^{3/7}N^{4/7}\}$, and in particular the exponent $17/14$ holds throughout $N\le p^{2/3}$. The proof combines a centered collision estimate for $F(u,v,w)=f(u+v,w)$, a mixed fourth-energy bound, and a popular-sum amplification. Two complementary incidence estimates enter the argument: a centered spectral bound in the dense collision regime and a point--plane bound in the sparse regime.
Richardson volume models for skew Schur and skew Schur $P/Q$-functions
We identify ordinary skew Schur polynomials and skew Schur $P$-functions as top-degree total-Chern intersection polynomials on Richardson varieties in ordinary and Lagrangian Grassmannians. We then obtain that $\mathcal N(s_{λ/μ})$, $\mathcal N(P_{λ/μ})$, $\mathcal N(Q_{λ/μ})$ are realizable volume polynomials. This settles the skew-Schur and Schur-$P$ Lorentzian conjectures of Huh--Matherne--Mészáros--St.~Dizier and strengthens the latter to arbitrary skew $P/Q$-functions.
The construction extends to cycle transforms attached to arbitrary irreducible subvarieties of ordinary and Lagrangian Grassmannians. We obtain reverse Khovanskii--Teissier inequalities for ordinary and shifted tableau multiplicities, Hessian-signature and principal-minor inequalities, root-direction log-concavity, and dominance monotonicity of coefficients toward balanced contents. We also prove ultra-log-concavity of weighted block aggregates and a diagonal covariance bound for factorially tilted content distributions. We determine the exact skew-Schur support permutahedron and its extremal coefficients, recover the known straight Schur-$P/Q$ support polytopes and identify their vertex coefficients in the present framework, and prove log-concavity for cumulative two-row ordinary Littlewood--Richardson coefficients and for weighted cumulative two-row shifted Littlewood--Richardson coefficients.
An interlacing pattern between the types $C_n$ and $D_n$ coordinator polynomials
The study of coordinator polynomials of Weyl group lattices was initiated by Conway and Sloane. In 2013, by using a trigonometric substitution approach, Wang and Zhao proved the real-rootedness of the type $D$ coordinator polynomials. Subsequently, Xie and Zhang proved the compatibility between the types $C_n$ and $D_n$ coordinator polynomials. In this paper, we discover the interlacing pattern between the types $C_n$ and $D_n$ coordinator polynomials, which may be named as the second pattern of interlacing zeros.
Released packing functions in graphs
We introduce and start the study of a variant of packing functions in graphs. Given a graph $G$ with vertex set $V$ and nonnegative integer vectors $\mathbf{k}=(k_v)_{v\in V}$, $\boldsymbol\ell=(l_v)_{v\in V}$ and $\mathbf{u}=(u_v)_{v\in V}$, a function $f : V \rightarrow \mathbb{Z}_0^+$ is a Released $( \mathbf{k}, \boldsymbol\ell, \mathbf{u})$-packing function of $G$ if $l_v\leq f(v)\leq u_v$ for every $v\in V$ and the sum of the values of $f$ over the closed neighborhood of vertices $v$ with $f(v) = u_v$ is at most $k_v$. The weight of $f$ is the value $f(V) = \sum_{v\in V} f(v)$. We study the associated decision problem (RPP), which asks, given $G$, $\mathbf{k}$, $\boldsymbol\ell$, $\mathbf{u}$ and an integer number $x$, whether $G$ admits a Released $( \mathbf{k}, \boldsymbol\ell, \mathbf{u})$-packing function of weight at least $x$. We relate RPP to the $r$-dependent set problem, derive several NP-hardness results, model RPP as a compact (polynomial in size) Integer Linear Program, and take the first steps of a polyhedral study.
Quasirandomness and Uniform Twin-Width
For every nontrivial finite group, we prove that its quasirandom degree gives a polynomial lower bound on its uniform twin-width, whereas its minimum faithful complex representation degree gives a linear upper bound. For nonabelian finite simple groups, these two parameters coincide, so uniform twin-width is polynomially equivalent to quasirandomness in that class, yielding a new definition of quasirandomness in the sense of Gowers. We use the lower bound to prove that uniform twin-width is unbounded over finite groups, which helps us construct finitely presented groups with finite twin-width but infinite uniform twin-width. This answers a question of Bonnet, Geniet, Tessera and Thomasse. Finally, we determine the uniform twin-width of all three Thompson groups.
A proof of the cyclotomic conjecture and the non-existence of almost Moore digraphs
For $n>2$ and $k>1$, define the polynomial \[F_{n,k}(x) = Φ_n(1 + x + \cdots + x^k),\] where $Φ_n$ denotes the $n$-th cyclotomic polynomial. The \emph{cyclotomic conjecture} proposed by Gimbert (1999) exactly describes the irreducibility of $F_{n,k}(x)$ over $\mathbb{Q}$ in terms of $n$ and $k$. Conde, Gimbert, González, Miller and Miret (2014) established that the cyclotomic conjecture, if true, would imply the non-existence of almost Moore digraphs - a well-known open question concerning the directed degree-diameter problem. In this article, we prove the cyclotomic conjecture and, as a consequence, show that there are no almost Moore digraphs with maximum out-degree $d$ and diameter $k$ for any $d>1$ and $k>2$.
A refinement of the Q-Polynomial for twisted knots
This paper introduces a two-variable polynomial invariant for oriented twisted knots, denoted by $Q_{K}^{z}(s,t)$, refining the $Q$-polynomial of N. Kamada and S. Kamada \cite{NaoSei}. We exhibit an infinite family of twisted knots indistinguishable by the $Q$-polynomial but separated by the $Q^z$-polynomial. To prove invariance, we first determine a generating set of oriented Reidemeister moves for twisted knot diagrams, extending the result of Ali \cite{Dan} for oriented virtual knots; this result is new and of independent interest, as it provides the minimal framework needed to verify invariance of any oriented twisted knot invariant. As further applications, we derive an explicit crossing change formula, obtain lower bounds on the Gordian distance between homotopic twisted knots, examine the existence of cosmetic crossings in a twisted knot diagram, and finally prove that $Q^{z}_{K}(s,t)$ is a Vassiliev invariant of order one.
Factorization of Schur polynomials twisted by roots of unity and a reciprocal pair
Let $μ_t$ be the full set of $t$-th roots of unity and $(z,z^{-1})$ a free reciprocal pair. We determine how much of a partition $s_λ(μ_t,z,z^{-1})$ can see: a multiset of three integers and a sign, and nothing else, so partitions of any sizes agreeing on it share the value. The evaluation, for every $t\ge2$ and every $λ$ with no hypothesis on its shape, is a signed product of exactly three factors over a fixed denominator, or zero, the three arguments read off the $t$-quotient. The proof is a Laplace expansion along the $t$ frozen rows of the bialternant with one cancellation lemma in the symmetric group, and delivers the sign, the one already in Littlewood's evaluation at $μ_t$. Three consequences follow. A vanishing criterion: it vanishes exactly when a residue class modulo $t$ is empty, or two distinguished classes are concentric as intervals, the second only for $t$ even. An extension of a recent independence criterion of Ayyer-Kumari: for two-row shapes on the reciprocal locus it acquires exactly one further family, classified by core and quotient. And an enumerative reading: at $t=2$ a $(-1)$-enumeration of plane partitions in a box refined by a parameter that stays free. The factorization is isolated: it fails under each of four deformations of the alphabet, for one reason. A last section treats the zero locus, which survives further pairs. Two conditions make $Ψ_r=s_λ(1,-1,z_1^{\pm1},\dots,z_r^{\pm1})$ vanish: the beta set having constant parity, and $λ$ being self-complementary of odd width. That direction is a corollary of the complementation identity over an index family Ayyer and Behrend single out. The new content is the converse, that nothing else vanishes, proved for one pair, for every $r$ inside Littlewood's range, and for every $r$ when $|λ|\le2r+2$. The rest is conjectural, verified over every shape in the tabulated ranges.
A proof of a conjecture on permutation polynomials
In this paper, we use finite fields and linear algebra methods to resolve a conjecture by T. Zhang, L. Zheng, H. Wang, J. Peng and Y. Li (Finite Fields Appl. 110 (2026) 102743) concerning permutation pentanomials.