polynomial
11422 papers tagged with this keyword
Path Enumeration by Position-Visit Counts in Recombining Trinomial Trees
Recombining trinomial trees are a workhorse for modeling discrete-event systems in option pricing, logistics, and feedback control. Because each node stores a state-dependent quantity, a depth-$D$ tree contains $3^D$ raw trajectories, making exhaustive enumeration rapidly infeasible. However, when each node's value depends only on its position, a raw trajectory's aggregate is determined by its position-visit counts. We call these count vectors cardinality tuples and decompose the admissible tuples into weak-composition mass layers. Leveraging these structures, we introduce a mass-shifting enumeration algorithm that slides integer ``masses'' through cardinality tuples to generate exactly one representative of each path-equivalence class, while the accompanying weak-composition bijections yield exact counting formulas for the generated families. This suppresses redundant raw-path orderings a priori rather than enumerating and deduplicating them afterward. For the full-tuple implementation, we prove an output-sensitive running-time bound at each fixed endpoint, together with a uniform worst-case upper bound $\mathscr{O}(D2^D)$ and an exact worst-case exponential growth base of $2$, compared with base $3$ for exhaustive raw-path enumeration. Thus the construction achieves a provable exponential reduction in the enumeration space, up to polynomial factors. The same framework also recovers the information compressed by the equivalence classes: we derive an exact degeneracy formula for the number of raw paths represented by every cardinality tuple. We further prove that the nonnegative return specialization is exactly the classical Motzkin family, recover its recursive and generating-function structure and the Dyck specialization, and derive a multivariate occupation-profile $J$-fraction whose coefficients recover the corresponding cardinality-tuple degeneracies.
Cyclic Latin Eulerian Numbers
We introduce the directed cyclic difference inventory $D_n(\mathbf{m})$ to study Latin Eulerian numbers restricted to row-reorderings of the cyclic Latin square, offering an orientation-sensitive refinement of the prescribed-edge-length Hamiltonian path problem. We establish exact enumeration formulas, symmetries, and realizability obstructions for this inventory. Furthermore, we reduce the cyclic total-ascent statistic directly to endpoint-refined Eulerian statistics via the identity $Σ(L_π) = n \operatorname{asc}(π) + π(1) - π(n)$, yielding a closed-form expression for the cyclic Latin-Eulerian polynomial.
Pendant paths and integral generalized sun graphs
A graph is integral if the spectrum of its adjacency matrix consists entirely of integers. We prove that every simple graph having a pendant path with at least three edges has an eigenvalue in $(1,2\cos(π/9)]$ and one in $[-2\cos(π/9),-1)$, and hence is not integral. This settles a conjecture of Braga, Del-Vecchio and Rodrigues (2021) on integral generalized sun graphs. The argument is matrix-theoretic: adjoining a terminal path on three new coordinates to an arbitrary real symmetric matrix produces the same spectral obstruction, and the positive interval above is optimal in this generality. We then disprove a second conjecture of the same authors, which asserts that the cycle of an integral generalized sun graph other than a cycle has length divisible by four. The graph obtained from a hexagon by attaching $6,6,12,6,6$ pendant vertices to five of its six vertices is integral and has $42$ vertices. We show that it is the smallest member of an infinite family governed by the Pell equation $x^{2}-2k^{2}=-7$, and we compute in closed form the characteristic polynomial of the analogous graphs on an arbitrary even cycle. Integrality within this family forces the cycle to be a square or a hexagon, and the square case yields a second infinite family governed by the Pell equation $k^{2}-2c^{2}=1$.
Distribution of the inversion statistic on run-sorted permutations
Let $π=π_1\cdots π_n$ be a permutation. We say that $π$ is $run$-$sorted$ if $π_1=1$ and the entries immediately following the descent positions of $π$ form an increasing sequence. Let $\mathcal{R}_n$ denote the set of run-sorted permutations of length $n$, which has cardinality given by the Bell number $B_{n-1}$ for all $n \geq 1$. In this paper, we consider the joint distribution $A_n(q,u)$ on $\mathcal{R}_n$ for the parameters tracking the numbers of inversions and runs leading to a new polynomial generalization of the Bell numbers. Among our results, we find a general recurrence for $A_n(q,u)$, from which one may derive explicit formulas for the total numbers of inversions or runs in all the members of $\mathcal{R}_n$ as well as for the sign-balance on $\mathcal{R}_n$ of either parameter. A simple expression for the Eulerian generating function for $A_n(q,1)$ may be found upon making use of Gessel's $q$-exponential formula which can be extended to general $u$. Finally, a formula is found by a direct argument for the maximum number of inversions within a member of $\mathcal{R}_n$.
A parking function analog of the Schröder numbers
Pattern avoidance is a central topic in the study of permutations. Parking functions provide a natural setting in which to ask analogous questions. In this paper, we study parking functions whose parking permutations avoid the patterns $1234$ and $2134$, obtaining an analog of the Schröder numbers for parking functions. To enumerate these objects, we develop an enumeration scheme that runs in polynomial time and adapt the prefix-based framework introduced by Zeilberger in 1998, and later improved by Vatter, by instead using ``suffixes.''
Percolation on Finite Graphs
Lecture notes from a graduate course given by Michael Krivelevich at the School of Mathematical Sciences of Tel Aviv University in the spring semester of 2026. Topics covered include: phase transition and the giant component in $G(n,p)$; long paths and cycles in supercritical and sparse random graphs; thresholds for connectedness and perfect matching; general model of a random subgraph of a finite graph; phase transition and the giant component in the random hypercube; polynomial diameter of the giant component; perfect matchings in the random hypercube.
Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials
We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their $h^\ast$-polynomials are real-rooted, and their $h^\ast$-vectors are log-concave and unimodal.
Evaluating $\mathrm {SU}(3)$ Verlinde sums using spectral graph theory
We realize the $\mathrm{SU}(3)$ Verlinde sums $V_n(m)$, up to an explicit factor, as the values at $n$ of the spectral zeta function of a higher-order Laplace operator on the triangular discrete torus on $m^2$ vertices. For fixed $m$, we express their generating function in terms of the logarithmic derivative of an associated even spectral polynomial and express this polynomial as an explicit iterated resultant. Exploiting permutation symmetry, we prove that this polynomial is a cube over $\mathbb{Q}$, apart from an explicit quadratic factor when $3\mid m$. This factorization yields shorter linear recurrences satisfied by $V_n(m)$ with constant coefficients. We also derive Binet-type formulas expressing $V_n(m)$ as finite linear combinations of powers of rescaled inverse squares of the roots of the spectral polynomial. These results provide an efficient algorithm for computing these Verlinde sums. Several fully developed examples demonstrating computational efficiency of the method are given, including expressions in terms of Fibonacci and Lucas numbers.
Weighted bilinear identities and supercongruences for Apéry-like polynomials
We establish weighted bilinear summation identities for two families of Apéry-like polynomials $g_n(x)$ and $v_n(x)$. The identities express weighted sums in terms of consecutive endpoint values and, when necessary, lower moments. For $g_n(x)^2$ we obtain identities with weights $(2n+1)^r$ for $1\le r\le4$; for $v_n(x)^2$ we treat the cubic and quintic weights. Combining these formulas with congruences for the endpoint values gives supercongruences modulo $p^3$ and $p^4$, together with special evaluations modulo $p^5$ and $p^7$, where $p$ is a prime greater than $3$. In particular, $$\sum_{n=0}^{p-1}(2n+1)^3v_n\!\left(\frac52\right)^2 \equiv 6p^4-\frac{143}{3}p^6\pmod {p^7},$$ confirming a congruence conjectured by Sun. The proofs use explicit quadratic telescoping identities and $p$-adic endpoint expansions.
A General Upper Bound on Multicolor Ordered Ramsey Numbers
We provide a general upper bound on multicolor ordered Ramsey numbers in terms of the interval chromatic number and the degeneracy of an ordered graph. We extend previous results by Conlon, Fox, Lee, and Sudakov (2017) by showing that for every $n$-vertex ordered graph $G^<$ with degeneracy $d\geq2$, and interval chromatic number $χ$, its $q$-color ordered Ramsey number satisfies $r_<(G^<;q) \in n^{O(d^{q-1}\lceil \logχ\rceil^{q-1})}$ for every $q \geq 2$. For fixed parameters $q,d,χ$, the resulting estimate is polynomial in $n$. For triangle-free ordered graphs $G^<$, we also provide the stronger estimate $n^{O(q^2d {\lceil \log χ\rceil}^{q-1})}$. It also follows from a recent result by Li (2026) that our upper bound is almost tight for ordered matchings.
Symmetric group actions on the coordinate ring of the lower unipotent group and the polynomial ring with quantum parameters
Givental-Kim and Ciocan-Fontanine gave an explicit presentation of the quantum cohomology ring of the flag variety. The author and Shirato introduced an algebraic generalization of their presentation in the context of the coordinate rings of regular nilpotent Hessenberg varieties. In particular, they connect the coordinate ring of the lower unipotent group in a general linear group and the polynomial ring with quantum parameters. In this paper we consider the dual of the connection and we see that the Plücker coordinates correspond to the quantizations of Schur polynomials. As an application of the connection, we construct an action of the symmetric group on the polynomial ring with quantum parameters. Using the symmetric group action, one can define the divided difference operators on the polynomial ring with quantum parameters. We study the quantizations of Schubert polynomials in relation to the divided difference operators.
On the Tutte polynomial of series-parallel posets
The Tutte polynomial is a bivariate polynomial that has been extensively studied in graph and matroid theory. Gordon was the first to study the Tutte polynomial $T(P;x,y)$ of the greedoid induced by a poset $P$, including the special case of series-parallel posets. In particular, Gordon and McMahon conjectured that, for any two series-parallel posets $P$ and $Q$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$. In studying this conjecture, Gordon introduced a subclass $\mathcal{P}$ of series-parallel posets and proved that this equivalence holds for all $P,Q\in\mathcal{P}$. In this paper, we introduce a new subclass $\mathrm H$ of series-parallel posets and prove that $\mathcal P\subseteq\mathrm H$. Moreover, we show that, for every $P\in\mathrm H$ and every $Q\in\mathrm{SP}$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$, thereby extending Gordon's result.
Rényi stability of $B_h$ sets: a two-order phase diagram and sharp deletion principles
A set $B$ in an abelian group is a $B_h$ set if every $h$-term sum has a unique representation up to permutation; for $h=2$ these are the Sidon sets. We study a weighted removal problem for this collision-free property: if the $h$-fold sum map has small Rényi entropy loss, how much probability mass must be deleted so that the remaining support is a $B_h$ set? Two Rényi orders arise: $α$ is the order at which the coarsening loss is measured, whereas $β$ is the order of the entropy constraint. The diagonal specialization $β=α$ ties the two roles together. We determine the resulting stability problem on the positive $(α,β)$-quadrant. Stability holds exactly when $β\le1$ and $α\geβ$. Inside this region the optimal deletion rate is polynomial for $β<1$ and logarithmic on the boundary $β=1$, where the leading constant is exact; outside it, stability fails through two distinct mechanisms: a supercritical budget and dilution by light atoms. In both unstable regimes the limiting defect is computed exactly. The upper bounds follow from a coarsening inequality with best possible constant, which also yields an entropy-free removal theorem, a finite combinatorial consequence for moments of the representation function, and extensions to $B_h[g]$ sets. Matching constructions show that the phase boundaries and rates are sharp.
Counterexamples to the Mu--Welker recursive decomposition in every degree
The well-known open problem of Bell and Skandera asks whether a real-rooted polynomial $f(t)$ with positive integer coefficients and constant term one is the $f$-polynomial of a simplicial complex. Mu and Welker proved that if the recursive decomposition $f(t)=g(t)+th(t)$ satisfies the corresponding coefficient inequality $h_i<g_i$, then this open problem has an affirmative answer. Mu and Welker also conjectured that the real-rootedness of $f(t)$ implies that of $g(t)$ and $h(t)$. We give counterexamples to the conjecture of Mu and Welker for every degree at least three, and prove that the assertion holds in degrees $1$ and $2$. Moreover, each polynomial we construct is the $f$-polynomial of a simplicial complex.
On the Roots of Connected Domination Polynomials
We determine the closure of the connected domination roots. The main tool is a substitution formula for the lexicographic product with a complete graph, $D_c(G[K_n],x)=D_c(G,(x+1)^n-1)$, proved in Theorem~\ref{thm:cd}. Combined with two explicit families of seed roots---the real roots of the cycles $C_n$ and the real roots of the joins $C_m\vee C_n$ lying in $(-1,0)$---this formula gives the two main results: the closure of the real connected domination roots is $(-\infty,0]$, and the closure of all connected domination roots is the whole complex plane. These are the connected domination analogues of the root-density theorems of Brown and Tufts and of Brown and Beaton for the ordinary domination polynomial.
$\vec M$ Versions of Andrews-Gordon Identities Revisited
In this paper, we revisit the work of Berkovich and Paule on variants of the Andrews-Gordon identities. We find a generalization of their principal polynomial identity and, as a consequence, obtain new $\vec M$ versions of the Andrews-Gordon identities. More precisely, for non-negative integers $M_1\ge M_2\ge M_3\ge\ldots\ge M_ν$, we show that a broad class of multi-sums of the form $$ \sum\limits_{\mathbf n} \frac{ q^{ N_1^2+\cdots+N_ν^2 - M_1N_1 - M_2N_2 - \cdots - M_νN_ν} }{ (q)_{n_1}(q)_{n_2}\cdots(q)_{n_ν} } $$ can be expressed as a sum of products. Above, we use standard notations for $q$-Pochhammer symbols and $N_i = \sum\limits_{k=i}^νn_k$ for $1\le i\le ν$.
Real-rootedness and interlacing for parking functions and Chow polynomials
We prove real-rootedness for the Chow polynomials of the noncrossing partition lattices by transferring tieless parking functions to finite-alphabet Smirnov words and applying an interlacing-preserving transition of M.~Leander. We also derive a triangular recurrence for peaks and ties and identify the peakless-tieless descent polynomial as the Narayana polynomial. For the toric $g$-contributions of Ehrenborg--Hetyei--Readdy, we exhibit a fixed-row common interlacer and establish real-rootedness of all nonnegative row sums. Individual real-rootedness follows in particular; Q.~Xiao also proved it by a different differential recurrence. We also give a second proof of the individual statement, by finite Schur--Szegő convolution, that does not use the common interlacer. These results prove Conjecture~4.2 of Xiao and Conjecture~11.2 of Ehrenborg--Hetyei--Readdy, with consequences for weakly 123-avoiding parking functions. We also prove real-rootedness for the image-size polynomial on all parking functions and for the ascent and descent polynomials of four two-pattern-avoiding classes.
Counterexamples to the Ramos conjecture for two hyperplanes
For every $n\ge2$, we construct $4n-2$ nondegenerate Gaussian measures on $\mathbb{R}^{6n-3}$ that cannot be simultaneously equipartitioned by two affine hyperplanes. This disproves the Ramos conjecture for two hyperplanes. Combined with known upper bounds, the construction shows that $3\cdot2^{s-1}-2$ is the least dimension guaranteeing a common two-hyperplane equipartition of $2^s-2$ absolutely continuous probability measures, for every $s\ge3$. We characterize the Gaussian equipartition threshold in terms of the least number of positive definite quadratic measurements needed for phase retrieval. Modified complex polynomial multiplication gives $2r-2$ positive definite measurements in every even dimension $r\ge4$. This number is optimal when $r=2^k+2$, $k\ge1$.
On the limiting distribution of the number of improper edges for random trees
Improper edges were introduced by Shor to refine Cayley's formula for rooted labeled trees. Zeng established a connection between Shor's refinement and the Ramanujan polynomials. Let $\mathscr{T}_n$ denote the set of rooted labeled trees on $[n]=\{1,\ldots,n\}$. We prove that the number of improper edges in a uniformly random tree in $\mathscr{T}_n$ is asymptotically normal as $n\to\infty$, with mean and variance asymptotic to $μn$ and $σ^2 n$, respectively, where $μ=e-2$ and $σ^2=e^2-3e+1$. This phenomenon was observed by Chen, and the proof presented here was developed through human--AI collaboration.
A Bounded Degree SOS Plus SONC Hierarchy for Polynomial Optimization
We propose a bounded degree SOS+SONC hierarchy for constrained polynomial optimization, termed B-SOS+SONC. Starting from Lasserre's bounded-degree SOS framework, we enlarge the certificate cone from SOS to the recently introduced SOS+SONC cone, thereby combining the algebraic strength of semidefinite relaxations with the sparse structure captured by circuit polynomials. We show that, for each fixed certificate degree, the resulting hierarchy is complete, that is, its optimal values are monotone and converge to the global optimum. Moreover, we derive an explicit SDP-REP reformulation, so that each relaxation can be solved within a tractable convex optimization framework over semidefinite and relative entropy cones.
Beyond the optimization hierarchy itself, we investigate structural properties of the SONC cone and introduce the notions of first-order and second-order SONC-convexity. This leads to a new sufficient condition for first-level exactness of the B-SOS+SONC hierarchy. Numerical experiments illustrate that the proposed hierarchy often yields tighter lower bounds than the B-SOS relaxation while remaining tractable.