polynomial
11173 papers tagged with this keyword
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.
Expansions of $\binom{pn}{p+r}$ in Shifted Binomial Bases and a Modular Symmetry Criterion
We study the expansion of the polynomial $g_{p,r}(n) = \binom{pn}{p+r}$ (for integers $p \ge 2$ and $r \ge 1$) in the shifted binomial basis $\bigl\{\binom{n+k-1}{p+r}\bigr\}$. Using generating functions and finite differences, we obtain a closed-form formula for the expansion coefficients $B_{p,r,k}$. We then characterize when the coefficient sequence is palindromic, showing that it exhibits reflection symmetry on its support if and only if $r \equiv 1 \pmod{p}$. The proof combines an analysis of the sequence's support with the root structure of $\binom{pX}{p+r}$. Under the same congruence condition, we show that $p$ divides every coefficient. For $r=1$, the leading coefficient simplifies to $p C_p$, where $C_p$ is the $p$-th Catalan number. Finally, computations for small values of $p$ and $r$ show that the resulting coefficient sequences coincide with selected rows of $p$-decimated multinomial triangles (OEIS A027907 and A008287).
Limit laws for component-pruned sparse random graphs and percolated tori
We prove an $\mathrm{MSO}_2$ zero-one law for a very sparse Erdős-Rényi graph after pruning by component order. Let $p_n=c_n/n$, where $c_n\to0$, and delete every component of order less than $f(n)$, where $f(n)\to\infty$. If \[
f(n)\bigl(\log f(n)+\log(1/c_n)\bigr)=o(\log n), \] then the resulting graph satisfies a zero-one law for $\mathrm{MSO}_2$, with quantification over sets of vertices and sets of edges. The proof combines uniform component counts, an MSO Feferman-Vaught decomposition for disjoint unions, and semilinearity of the order spectra of MSO-definable classes of finite trees. We also show that the term $f(n)\log f(n)$ cannot simply be omitted: star components can occur at first-order-visible Poisson thresholds.
We further establish first-order limit laws for bond percolation on the discrete torus $T_L^d$. In the two-sided subpolynomial regime, pruning below a sufficiently slow threshold yields a zero-one law. For the unpruned model in either one-sided polynomial regime, the reciprocal exponents $α=1/k$ are precisely the critical scales. At such a scale, an extended limit of $N p_N^k$ or $N q_N^k$ equal to $0$ or $\infty$ gives a zero-one law; a positive finite limit gives a convergence law but not a zero-one law; and the absence of an extended limit gives failure of convergence. Finally, $\mathrm{MSO}_1$ already detects the parity of the torus side length through bipartiteness, producing a natural obstruction to monadic convergence in a near-deterministic regime.
Combinatorial interpretation of the coefficients of the order polynomial of fence posets
Given a fence poset P , we define a new statistic on permutations, denoted by blP, that provides a combinatorial interpretation of the coefficients of the order polynomial of P , answering a question of Ferroni, Morales, and Panova (2025). Using the fact that the base polytope of a lattice path matroid can be decomposed into order polytopes of fence posets, we also obtain a combinatorial interpretation of the coefficients of the Ehrhart polynomial of the base polytope of Schubert matroids, answering a question of Stanley (1999). As an application of this statistic, we establish the first nontrivial lower bound for the linear coefficient of the Ehrhart polynomial of an order polytope. Finally, we conjecture generalizations of this statistic to skew-shape posets and circular fence posets.
Bounded-Support Additive Latin Transversals via Color-Counted Matching
We consider the following additive Latin transversal problem. Given a multiset $A=(a_1,\dots,a_k)$ of elements of $\mathbb Z_m$ and a set $B\subseteq\mathbb Z_m$ of cardinality $k$, the task is to order $B$ as $b_1,\dots,b_k$ so that the sums $a_i+b_i$ are pairwise distinct. When $k=m$, Hall proved that a solution exists if and only if $\sum_{i=1}^m a_i\equiv 0 \pmod m$; moreover, his theorem yields a polynomial-time construction. Alon proved that a solution always exists when $m$ is prime and $k<m$, but no polynomial-time construction is known in general. Our main algorithmic contribution is a direct randomized algorithm for Color-Counted Matching: given an edge-colored graph and prescribed target counts for the colors, find a matching using exactly the prescribed number of edges of each color. If $q$ is the sum of the target counts and $h$ is the number of colors, our base-$(q+1)$ reduction to Exact Red Matching, combined with the algorithm of Mulmuley-Vazirani-Vazirani, gives a randomized algorithm with running time $\left(|V|^2+|E|(q+1)^{h-1}\right)^{O(1)} $ for an input graph $(V,E)$. Thus the dependence on the target matching size is $q^{O(h)}$, up to polynomial factors in the graph size. In contrast, applying the general matching-ILP theorem of Lassota and Ligthart as a black box yields a $q^{O(h^2)}$ dependence for the corresponding fixed-size color-counted instances. Applying this primitive to additive Latin transversals with $s=|\operatorname{supp}(A)|$, we obtain an algorithm in randomized time $(k+\log m)^{O(s)}$. In particular, additive Latin transversals are randomized polynomial-time constructible for every fixed support size.
Finding Nearly-Periodic Components in Digraphs and Markov Chains from the Spectrum of Rotated Laplacian Matrices
Inspired by recent advances in notions of spectral approximation of digraphs [Ahm+20], we study spectral algorithms for finding periodic structures in digraphs via the spectrum of a class of rotated Laplacian matrices. This class of Laplacian matrices was previously studied by Lange, Liu, Peyerimhoff, and Post [Lan+15]. We consider a notion of periodicity ratio that generalizes the bipartiteness ratio of Trevisan [Tre09], and show that it is closely related to the spectrum of rotated Laplacian matrices. In particular, if the digraph is strongly connected and represents a Markov chain, this periodicity ratio for a given $p \in \mathbb{N}$ is a quantitative measure of how close this Markov chain is to having periodicity $p$.
We propose and analyze a periodicity-ratio variant of the spectral algorithm by Louis, Raghavendra, Tetali and Vempala [Lou+12]. We show that the algorithm runs in randomized polynomial time and can find many nearly periodic components (i.e, components with small periodicity ratio). This also implies a new higher-order Cheeger-type inequality for periodicity in the spirit of that in [Lou+12; LOT14].
As part of our analysis, we prove a new theorem that upper bounds the probability that the largest magnitudes of two sequences of coordinate-wise correlated complex Gaussian random variables occur at different indices, which may be of independent interest. Previously, an analogous result was known only for real Gaussian random variables.
Moment-based PPT criteria for random bipartite states
Moment-based relaxations of the positive partial transpose (PPT) criterion have been recently introduced, as a hierarchy of entanglement criteria involving only experimentally accessible quantities of a given bipartite state. The goal of this work is to study their typical detection performance on high-dimensional bipartite systems. Concretely, we investigate whether random bipartite mixed states on $\mathbb C^d\otimes\mathbb C^d$, obtained as the marginal over an environment $\mathbb C^s$ of a uniformly distributed pure state, generically satisfy or violate them. For each fixed level $m\in\mathbb N$ in this hierarchy of moment-based PPT criteria, we are able to identify a threshold environment dimension $s=λ_md^2$ at which the behavior of the associated random state switches from violating to satisfying it, with probability going to $1$ as $d$ grows. The proof combines combinatorics of permutations techniques to estimate the average value of moments of partially transposed random states and concentration of measure arguments to bound the probability of deviating from such average, when the underlying local dimension $d$ is large. We additionally need tools from the theory of Hankel determinant evaluation via orthogonal polynomials.
Submultiplicative Polynomials in Combinatorics
For normalized sequences $\left(g(n)\right)_{n\in\mathbb{N}}$ we consider recursively defined polynomials $P_n^g(x)$. In this paper we study their submultiplicative property, viewed as a Bessenrodt--Ono type inequality for the partition function, and provide an effective criterion for establishing it.
Any Proof of Polynomial Hirsch Must be Completely Incoherent
In 1992, Billera and Sturmfels introduced coherent monotone paths on polytopes as part of their description of the fiber polytope construction, and later in 1994 showed with Kapranov that these coherent monotone paths capture the topology of the space of all monotone paths, paths from a minimum to a maximum, in the directed graph of a polytope with orientation induced by a linear function. Those results motivate the following analog of the polynomial Hirsch conjecture: Does there always exist a coherent monotone path of polynomial length on a polytope for any choice of orientation induced by a linear function? We show this is not the case by exhibiting a family of polytopes and corresponding linear functions for which every coherent monotone path is exponentially long. As applications, we strengthen longstanding results pertaining to lower bounds for the shadow simplex method, geometric transversals in discrete geometry, and parametric linear optimization.
Independent Set Reconfiguration on Threshold Signed Graphs
The Token Jumping and Sliding Token problems are fundamental reconfiguration problems defined on the independent sets of an undirected graph. Given two independent sets $I$ and $J$, each of size $k$, these problems ask whether there exists a sequence of elementary operations transforming $I$ into $J$ such that every intermediate configuration is also an independent set of size $k$. In Sliding Token, an operation moves a token from a vertex $u \in I$ to an adjacent vertex $v \notin I$; in Token Jumping, the token may instead move to any vertex $v \notin I$. While both problems are PSPACE-complete on general graphs, polynomial-time algorithms have been developed for several graph classes, including trees, block graphs, cacti, bipartite permutation graphs, cographs, $P_4$-tidy graphs, and interval graphs.
In this paper, we prove that both problems are solvable in polynomial time on threshold signed graphs, also known as Dilworth-2 graphs. A graph $G=(V,E)$ is a threshold signed graph if there exist a mapping $a:V\to\mathbb{R}$ and positive real constants $S$ and $T$ such that, for any distinct vertices $u,v\in V$, $\{u,v\}\in E$ if and only if $|a(u)+a(v)|\ge S$ or $|a(u)-a(v)|\ge T$. This graph class is a subclass of permutation graphs, for which the complexity of these problems remains open, and is incomparable with the class of bipartite permutation graphs studied by Fox-Epstein et al. (ISAAC, 2015). The algorithm is based on the inclusion-chain structure that characterises threshold signed graphs, a structural property that may be of independent interest.
Combinatorial identities derived from explicit formulas of Gauss hypergeometric functions
In present paper, with the help of the Faà di Bruno formula and identities of partial Bell polynomials, the author establishes explicit formulas of the Gauss hypergeometric functions \begin{gather*} {\,}_2F_1\biggl(\frac{1-n}{2},\frac{2-n}{2};\frac{3}{2}-m;z^2\biggr), \quad {\,}_2F_1\biggl(-\frac{n}{2},\frac{1-n}{2};\frac{1}{2}-m;z^2\biggr),\\ {\,}_2F_1\biggl(a,a+\frac{1}{2};\frac{3}{2}-m;z^2\biggr), \quad {\,}_2F_1\biggl(a,a+\frac{1}{2};\frac{1}{2}-m;z^2\biggr) \end{gather*} for $m,n\in\mathbb{N}$ and $a\in\mathbb{C}$, and then derives two combinatorial identities \begin{equation*} \sum_{k=0}^{m}\frac{2^k}{k!} \binom{2m-2k}{m-k} \sum_{\ell=0}^{k} \frac{(-1)^\ell}{2^\ell} \frac{(2k-2\ell-1)!!}{(n-\ell)!} \binom{2k-\ell-1}{\ell-1} =\frac{1}{n!}\binom{2m-n}{m} \end{equation*} and \begin{equation*} \sum_{k=1}^{m}\frac{1}{(k!)^2}\binom{2m-2k}{m-k} \sum_{\ell=1}^{k} \binom{k}{\ell}\ell(2k-\ell-1)! (2a)_\ell =\binom{2m+2a}{m}, \end{equation*} where $m\in\mathbb{N}_0$, $n\in\mathbb{Z}$, and $a\in\mathbb{C}$. These newly-established identities generalize the nice and beautiful combinatorial identity \begin{equation*} \sum_{k=0}^{n} \frac{2^{k}}{k!}\binom{2n-2k}{n-k} \sum_{j=0}^{k}\frac{(-1)^{j}}{2^j} \frac{(2k-2j-1)!!}{(n-j)!} \binom{2k-j-1}{j-1} =\frac{1}{n!}, \quad n\in\mathbb{N}_0, \end{equation*} which was obtained in Theorem 4 of the recent paper "F. Qi, C.-Y. He, and D. Lim, Explicit formulas of two Gauss hypergeometric functions and several combinatorial identities, Discrete Appl. Math., Vol. 393 (2026), 215--229. DOI: https://doi.org/10.1016/j.dam.2026.06.023".
Properties of the Tropical Characteristic Polynomial of Symmetric Matrices
We investigate the combinatorial structure of the tropical characteristic polynomial of symmetric matrices using the tropical permanents of their principal submatrices. We establish new inequalities for the leading coefficients of the tropical characteristic polynomial, revealing concavity properties of the coefficient sequence and yielding necessary conditions for a sequence to arise as the coefficient sequence of the tropical characteristic polynomial of a symmetric matrix. These results provide a deeper understanding of the structure of tropical characteristic polynomials associated with symmetric matrices.
Simultaneous popular polynomial differences over finite fields
Green's popular difference theorem says that for every \(\varepsilon>0\), all sufficiently large primes \(p\), and every set \(A\subseteq\mathbb F_p\) of density \(α\), there exists a nonzero \(d\in\mathbb F_p\) such that \[
\mathbb E_{x\in\mathbb F_p}
1_A(x)1_A(x+d)1_A(x+2d)
\geq
α^3-\varepsilon. \] We show that a stronger simultaneous popular difference phenomenon holds for polynomial configurations. Namely, if $\mathcal P=\{P_1,\dots,P_k\} \subset \mathbb Z[t]$ is a fixed collection of linearly independent polynomials with zero constant terms, we show that for every \(\varepsilon>0\), all sufficiently large primes \(p\), and every set \(A\subseteq\mathbb F_p\) of density \(α\), there exists a nonzero \(d\in\mathbb F_p\) such that \[
\mathbb E_{x\in\mathbb F_p}
1_A(x)
\prod_{i=1}^k
1_A\bigl(x+P_i(d)\bigr)^{ω_i}
\geq
α^{1+\sum_iω_i}-\varepsilon \] simultaneously for every \(ω=(ω_1,\dots,ω_k)\in\{0,1\}^k\).
We also show that such simultaneous popular difference phenomena have sharp limitations by proving that for every sufficiently large prime \(p\), there is a constant \(c>0\) such that, for all sufficiently large \(n\), one can find a set \(A\subseteq\mathbb F_p^n\) of density \(1/2+o_n(1)\) satisfying \[
\max_{d\neq 0}
\min\left\{
\mathbb E_{x\in\mathbb F_p^n}
1_A(x)1_A(x+d)1_A(x+2d),
\mathbb E_{x\in\mathbb F_p^n}
1_A(x)1_A(x+2d)1_A(x+4d)
\right\}
\leq
\frac18-c. \] That is, the strengthening of Green's result, in this case over $\mathbb F_p^n$ for $p$ fixed and $n$ tending to infinity, requiring that both \(d\) and \(2d\) are simultaneously popular differences for three-term arithmetic progressions is false.
Homological invariants of edge ideals of the multiple extended complete split-like graphs
We study the graphs $MECS_{b,n}^a \cong \overline{K}_a \join \big(n(K_b+K_2)\big)$, obtained by attaching an independent set of size $a$ to $n$ disjoint copies of the block $K_b+K_2$. For $n=1$, we get $MECS_{b,1}^a$, and recover the results of one-block case studied in [Anand, Gupta, Rather and Singh, Homological invariants of some complete split-like graphs, Beitr. Algebra Geom. (2025)]. Using Hochster's formula, tensor products of minimal free resolutions over disjoint variable sets, and the Betti-number formula for graph joins, we derive explicit descriptions of the independence complex, independence polynomial and its analytic properties, Hilbert series, linear and quadratic Betti strands, regularity, projective dimension, and several structural invariants of $MECS_{b,n}^a$. We further classify the well-covered and unmixed members, compute induced matching numbers, show that the family is never Cohen--Macaulay, and record algorithmic procedures for evaluating the Betti data.
A Single-Exponential Erdős--Hajnal Bound for Graphs of Bounded VC-Dimension
A homogeneous set in a graph is a clique or a stable set. The Erdős--Hajnal conjecture states that, for every graph $H$, there exists $c>0$ such that every $H$-free graph on $n$ vertices has a homogeneous set of size at least $n^c$. Nguyen, Scott and Seymour proved that for every $d>0$, graphs of VC-dimension at most $d$ have the Erdős--Hajnal property, confirming a conjecture of Fox, Pach and Suk. In particular, they showed that every such $n$-vertex graph contains a homogeneous set of size at least $n^{η_d}$ for some $η_d\ge 2^{-2^{O(d)}}$. In this paper, we give a sharper quantitative bound on the homogeneous sets in graphs of VC-dimension at most $d$, showing that one may take $
η_d\ge (Cd)^{-d}, $
where $C$ is an absolute constant. Equivalently, every graph $G$ of VC-dimension at most $d$ satisfies \[
\max\{ω(G),α(G)\}\ge |G|^{(Cd)^{-d}}. \] Our proof refines the iterative sparsification method of Nguyen, Scott and Seymour. The main enhancement is to apply the VC-dimension assumption directly, which gives a more efficient induction and thus improves the dependence on $d$. We also derive quantitative consequences for polynomial Rödl subgraphs, hypergraph Ramsey bounds under bounded VC-dimension, induced-free and viral formulations, tournaments, NIP and semi-algebraic graphs, Boolean combinations of relations of bounded VC-dimension, graphs whose adjacency matrices have bounded rank, graphs of bounded sign-rank, and graphs defined by dot-product threshold representations.
Quartic Fourier-Laplace limits for $(p,q)$-Rogers-Szegő polynomials
We prove asymptotic formulae for positive real $(p,q)$-Rogers-Szegő polynomials when the quadratic term in the expansion about the middle coefficient vanishes. For coefficient indices whose distance from $n/2$ is of order $n^{3/4}$, the coefficient ratios have a quadratic-quartic exponential limit. A uniform bound valid for all indices allows the ratios to be summed and gives locally uniform convergence of the centred generating polynomials to a Fourier--Laplace integral. We also obtain an asymptotic formula for the sum of the coefficients, convergence of all rescaled moments, weak convergence of the normalised coefficient measures, and convergence with multiplicity of the zeros tending to $w=1$.
The Young Tableaux Hopf algebra and multiple Schur series
In this paper, we introduce multiple Schur series, which are defined by Schur-type sums over semi-standard Young tableaux and generalize both Schur multiple zeta values and multiple Eisenstein series. To study their algebraic structure, we construct a connected, commutative, graded Hopf algebra of Young tableaux and identify its linearized quotient with the quasi-shuffle algebra. Within this Hopf algebra and its quotient, we establish several relations, including a hook formula and the Jacobi--Trudi formula. Furthermore, we relate this Hopf algebra to the ring of symmetric functions, which yields polynomial reduction formulas for tableaux with constant entries. As applications, we recover Schur multiple zeta values, introduce Schur multiple Eisenstein series together with a $q$-analogue of Schur multiple zeta values, and discuss their (quasi)modularity.
Planarity and dimension II
The dimension of a poset $P$ is the minimum positive integer $d$ such that $P$ is an induced subposet of $\mathbb{R}^d$ equipped with the product order. We give a constant-factor polynomial-time approximation algorithm for computing dimension in the class of posets with a planar (Hasse) diagram. While computing the dimension of a poset is NP-hard in general, the computational complexity of the problem for planar posets remains open. The algorithmic result is driven by a structural understanding of the canonical obstruction to small dimension: standard examples. A longstanding problem, originating in the early 1980s, asked whether every poset with a planar diagram has dimension bounded by a function of the maximum order of a standard example that it contains. In the first paper of the series, we have resolved the problem in a more general setting of posets with planar cover graphs by establishing a polynomial bound. We prove a stronger bound in the original setting, namely, for every poset $P$ with a planar diagram $\mathrm{dim}(P) \leq 96\mathrm{se}(P)+672$, where $\mathrm{dim}(P)$ denotes the dimension of $P$ and $\mathrm{se}(P)$ denotes the maximum order of a standard example contained in $P$.