polynomial
11422 papers tagged with this keyword
The Distribution of the Deepest Leaves in Binary Trees
We study the extreme local structure of plane binary trees through the distribution of leaves at maximum depth. We first address two basic questions: (i) the asymptotic probability that exactly two leaves occur at the deepest level, and (ii) the asymptotic mean number of leaves at that level. These problems lead to generating functions coupled with the Catalan iteration $I_{k+1}(z)=1+zI_k(z)^2$ through quasi-logistic recurrences. We show that both associated series have dominant singularity $ρ=1/4$ and admit square-root singular expansions. The singular terms are obtained through a three-zone dominated-convergence analysis of the critical scaling regime of the truncation error.
We then extend the framework to derive the full limiting distribution of the number of deepest leaves. Enumerating trees with exactly $2m$ deepest leaves yields a hierarchy of differential equations that reduces to successive polynomial integrations. Encoding these parameters into a bivariate generating function transforms the nonlinear dynamics back into the Catalan recurrence. Using continuous iteration theory and the Fatou coordinate associated with an Abel equation, we obtain a functional equation characterizing the distribution.
Finally, singularity analysis implies a strict exponential tail: the probability of having $2m$ deepest leaves satisfies $κ[m]\sim 4^{-m+1}$. Numerical evaluation gives an average number of deepest leaves equal to $\hatκ\approx 2.8037$, while the probability of exactly two deepest leaves is $κ\approx 0.7009$.
Unimodality of $q$-Fibonomial coefficients for small cases
Bergeron--Ceballos--Küstner introduced the $q$-Fibonomial coefficients \( \qfibonom{m+n}{n}\), gave a combinatorial interpretation of the $q$-Fibonomial coefficients via a weighted path-domino tiling model, and conjectured that these polynomials are unimodal. We prove the conjecture for $n\leq3$. For the $n=2$ case, we give a combinatorial proof of both unimodality and symmetry by defining a nearly symmetric saturated chain decomposition on the set of tilings. For all three cases, we give an algebraic proof. Finally, for the $n=3$ case, we establish a more general unimodality result for certain products of $q$-analogs and propose several related conjectures.
A short proof of Mathar's 2020 recurrence conjecture for the generalized-Stirling sequence A001711
For the OEIS sequence A001711, contributed by N. J. A. Sloane long before the on-line era and identified there as the diagonal $T(n+4, 4)$ of a generalized-Stirling triangle, R. J. Mathar contributed in February 2020 the conjectured order-2 P-recursive recurrence \[ a(n) - (2n+5)\,a(n-1) + (n+2)^{2}\,a(n-2) \;=\; 0,\qquad n \ge 2. \] We give a one-page proof. Detlefs's harmonic-number closed form $a(n) = \tfrac{1}{4}(n+3)!\,(2 H_{n+3} - 3)$ collapses the left-hand side, after dividing through by $(n+1)!/4$, to a polynomial identity of $n$ with coefficient $H_{n+2}$. The harmonic-number coefficient simplifies to $(n+3) - (2n+5) + (n+2) = 0$ (using $H_{n+3} = H_{n+2} + \tfrac{1}{n+3}$ and $H_{n+1} = H_{n+2} - \tfrac{1}{n+2}$); the constant remainder is $-3 \cdot 0 = 0$ for the same reason. The supplementary archive contains a SymPy script verifying both pieces symbolically, the e.g.f.\ expansion against the harmonic closed form, and Mathar's recurrence numerically for $n = 2, \ldots, 5000$.
Analytic Properties of Necklace Polynomials
The necklace polynomials \[ M_n(x)=\frac1n\sum_{d\mid n}μ(d)x^{n/d} \] play a central role in discrete mathematics: they count aperiodic necklaces, enumerate monic irreducible polynomials over finite fields, and give the dimensions of homogeneous components of free Lie algebras. Despite their inherently discrete origins, we show that treating $M_n(x)$ as a function of a real variable $x$ unlocks surprising structural properties that answer natural enumerative questions. In this paper, we study $M_n(x)$ as a real-variable function and establish several new analytical and monotonicity properties. We prove that the normalized functions $M_n(x)/x^n$ and their higher normalized derivatives are strictly increasing on $[1,\infty)$. As a consequence, we show that the proportion of irreducible polynomials of fixed degree over $\mathbf F_q$ increases with $q$. We also establish strict growth with respect to the degree $n$ for $x\ge2$. In addition, we determine a sharp threshold for log-convexity: the sequence $\{M_n(x)\}_{n\ge2}$ is uniformly log-convex if and only if $x>8$. These results reveal unexpected analytic structure underlying necklace polynomials and show how real-variable methods can yield new information about discrete enumeration problems. For instance, it is shown that adding one more bead to a sufficiently long necklace will approximately increase the total number of primitive, rotationally distinct configurations by a factor of the number of available colors.
Explicit determination of a class of permutation rational functions in any characteristic
In this paper, we make use of the classification results of low-degree permutation rational functions together with their geometric properties to investigate rational functions that induce permutations on the multiplicative subgroup mu_q+1, where q is a prime power. By carefully analyzing the structural conditions under which such rational functions permute muq+1, we obtain an explicit description of a broad class of permutation rational functions of small degree. As a direct application of these findings, we explicitly determine many permutation quadrinomials over Fq2 that are induced by degree-3 rational functions permuting muq+1. Our approach not only unifies and extends several existing results in the literature but also provides a concrete geometric perspective for characterizing permutation polynomials over Fq2.
Classification and counting of Gorenstein simplices with $h^*$-polynomial $1+t^k+\cdots+t^{(v-1)k}$
Hibi, Yoshida, and the author classified Gorenstein simplices which are not lattice pyramids and whose \(h^*\)-polynomials are of the form \(1+t^k+t^{2k}+\cdots+t^{(v-1)k}\) when \(v\) is a prime number or the product of two prime numbers. They also conjectured that, for general \(v\), the number of unimodular equivalence classes of such simplices depends only on the divisor lattice of \(v\). This paper proves the conjecture by giving a constructive classification of Gorenstein simplices whose \(h^*\)-polynomials are of this form. More precisely, their unimodular equivalence classes are shown to be parametrized by strict divisor chains in the divisor lattice of \(v\) together with certain recursive combinatorial data. As a consequence, an explicit formula for the number of equivalence classes in terms of the divisor lattice of \(v\) is obtained.
Two Results on Outer-String Graphs
An \emph{outer-string representation} of a graph $G$ is an intersection representation of $G$ where vertices are represented by curves (strings) inside the unit disk and each curve has exactly one endpoint on the boundary of the unit disk (the anchor of the curve). Additionally, if each two curves are allowed to cross at most once, we call this an \emph{outer-$1$-string representation} of $G$. If we impose a cyclic ordering on the vertices of $G$ and require the cyclic order of the anchors to respect this cyclic order, such a representation is called a \emph{constrained outer-string representation}. In this paper, we present two results about graphs admitting outer-string representations.
Firstly, we show that for a bipartite graph $G$ (and, more generally, for any $\{C_3,C_5\}$-free graph $G$) with a given cyclic order of vertices, we can decide in polynomial time whether $G$ admits a constrained outer-string representation. Our algorithm follows from a characterization by a single forbidden configuration, similar to that of Biedl et al. [GD 2024] for chordal graphs. Secondly, we answer an open question from the same authors and show that determining whether a given graph admits an outer-1-string representation is NP-hard. More generally, we show that it is NP-hard to determine if a given graph $G$ admits an outer-$k$-string representation for any fixed $k\ge1$.
Symmetric Tensor Decompositions over Finite Fields
We study the symmetric tensor rank of multiplication over finite field extensions using linearized polynomials. Via field trace, symmetric linearized polynomials are identified with symmetric bilinear forms and symmetric matrices, allowing symmetric tensor decompositions to be reformulated as spanning problems by rank-one symmetric linearized polynomials. We translate these spanning conditions into explicit linear systems over finite fields and use the Frobenius automorphism to obtain computationally effective criteria. As applications, we recover known values of the symmetric bilinear complexity for small extension degrees and obtain explicit symmetric decompositions for several parameters. We also introduce the symmetric tensor-rank of a symmetric rank-metric code and show that, for the natural one-dimensional Gabidulin code associated with finite field multiplication, this invariant coincides with the symmetric tensor rank of the multiplication map.
Independence Polynomials of 2-step Nilpotent Lie Algebras
Published in Journal of Pure and Applied Algebra, Volume 230, Issue 7, 2026, 108169
• View Publication
• BIB
Motivated by the Dani-Mainkar construction, we extend the notion of independence polynomial of graphs to arbitrary 2-step nilpotent Lie algebras. After establishing efficiently computable upper and lower bounds for the independence number, we discuss a metric-dependent generalization motivated by a quantum mechanical interpretation of our construction. As an application, we derive elementary bounds for the dimension of abelian subalgebras of 2-step nilpotent Lie algebras.
The Poincaré Series of Coxeter Folding Subgroups
Folding subgroups give a way to realize non-simply-laced Coxeter groups as subgroups of simply-laced Coxeter groups. In this paper, we study how folding subgroups of finite and affine type are distributed length-wise by calculating the length generating function of the subgroup with respect the length of the ambient group. These generating functions have surprisingly nice formulas in terms of $q$-integers and give rise to interesting combinatorial identities on polynomials involving length statistics of both the ambient group and folding subgroup.
Lattice-free Schubitopes
In this paper, we provide a simple criterion for the Schubitope $\mathcal{S}_{D}$ associated to a diagram $D$ to be lattice-free. We further show that $\mathcal{S}_{D}$ is lattice-free if and only if its Ehrhart polynomial is equal to the product of Ehrhart polynomials of the Schubert matroid polytopes corresponding to each column of $D$. As applications, we obtain that the Newton polytopes of the Schubert polynomial $\mathfrak{S}_w(x)$ and the Grothendieck polynomial $\mathfrak{G}_w(x)$ are lattice-free if and only if $w$ avoids the patterns 1423, 1432, 13254, and confirm several conjectures by Mészáros, Setiabrata, and St.Dizier on the support of Grothendieck polynomials for this class of permutations.
Principal specializations of Grothendieck polynomials
Motivated by Stanley's ``Schubert shenanigans'' paper, commendable attempts have been made to understand the principal specializations of Schubert or Grothendieck polynomials. In this paper, we prove that when a permutation $w$ does not contain the $1423$ pattern, the principal specialization of the corresponding $β$-Grothendieck polynomial can be expressed nonnegatively in terms of the occurrences of patterns in $w$. Using an inverse conservation principle, we further obtain the nonnegativity expansion for permutations avoiding the $1342$ pattern. Our results partially resolve conjectures raised respectively by Gao (independently observed by Gaetz), Meśzáros--Tanjaya, and Dennin. The proofs are achieved based upon a reduction algorithm performing on the classic pipe dream model of $β$-Grothendieck polynomials.
Reciprocals of Subsum Polynomials
We introduce the subsum polynomial of a partition $λ=(λ_1, λ_2, \ldots, λ_k)$ defined by $\mathrm{sp}(λ, x)=\prod_{i=1}^k(1+x^{λ_i})$. We study the sum of reciprocals of $\mathrm{sp}(λ, x)$ over all partitions of $n$. We prove arithmetic properties of related polynomials and offer connections to other combinatorial objects.
Ehrhart quasi-polynomials of rational polytopes by real dilations
This paper is to study the Ehrhart function $L(P,t)$ of a rational $n$-polytope $P$, defined as the number of lattice points of dilated polytopes $tP$ with real numbers $t\geq 0$. It turns out that $L(P,t)$ is a quasi-polynomial of real variable $t$ in the sense that \[ L(P,t)=\sum_{k=0}^{n} c_k(P,t)t^k, \quad t\geq 0, \] where $c_k(P,t)$ are periodic piecewise polynomials of degree $n-k$ if ${\rm aff}\,P$ contains the origin, and are periodic functions vanishing almost everywhere otherwise. When $P$ is a rational simplex $σ$, the coefficient functions $c_k(σ,t)$ are given explicitly in terms of vertex information of the simplex $σ$. Moreover, the reciprocity law still holds.
Hidden Structure of Jack Littlewood-Richardson Coefficients
We argue that Jack Littlewood-Richardson coefficients $g_{μν}^λ(α)$ are specialisations of certain novel polynomials. For the triple of partitions $(μ,ν,λ)=(21,21,321)$, we prove the corresponding polynomial is invariant under $S_6 \times \mathbb{Z}_2$, which is identified as the automorphism group of the Johnson graph $J(6,3)$. We conjecture that these polynomials exhibit a factorization property on certain hyperplanes, which is a consequence of compatibility relations between polynomials associated to adjacent triples in the Young graph. As a consequence of this, we conjecture that the difference of adjacent Jack Littlewood-Richardson coefficients is divisible by the shared hook length.
Enumeratively Chromatic-Choosable Theta Graphs
Chromatic choosability is a notion of fundamental importance in list coloring. A graph $G$ is chromatic-choosable when its chromatic number, $χ(G)$, is equal to its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. A graph $G$ is said to be enumeratively chromatic-choosable when $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. Theta graphs and their generalizations have played an important role in graph coloring problems over the years; for example, they appear in the characterization of chromatic-choosable graphs with chromatic number 2. In this paper we characterize the enumeratively chromatic-choosable theta graphs. Our proof utilizes ideas from DP-coloring (a.k.a. correspondence coloring), providing yet another example of how the more general setting of DP-coloring can be leveraged to attack a problem in list coloring.
Highly connected non-formal Milnor fibers via polyhedral products
We show that the realization theorem of Fernández de Bobadilla, which identifies the Milnor fiber of a weighted-homogeneous polynomial with the complement of a germ of analytic set, can be combined with the systematic Massey product constructions of Grbić-Linton for moment-angle complexes $\mathcal{Z}_K = \mathcal{Z}_K(D^2, S^1)$ to produce weighted-homogeneous polynomials whose Milnor fibers are arbitrarily highly connected and non-formal. The original application of this strategy, due to Fernández de Bobadilla, used the Denham-Suciu classification of lowest-degree triple Massey products and yielded only $2$-connected non-formal Milnor fibers. The Grbić-Linton framework, which constructs non-trivial $n$-fold Massey products in $H^*(\mathcal{Z}_K;\mathbb{Z})$ for arbitrary $n$ and in arbitrary cohomological degrees, removes this connectivity restriction entirely.
Rook theory, normal ordering in the $q$-deformed Ore algebra and the polynomial generalization
For words in the variables $X$ and $Y$ satisfying the commutation relation of the $q$-deformed generalized Ore algebra, $XY-qYX= μI + νY$, we show that the corresponding normal ordering coefficients can be given an interpretation in terms of mixed placements of rooks and files. In particular, the associated $q$-deformed Ore-Stirling and Ore-Lah numbers are treated in detail. We show that the $q$-deformed Ore-Stirling numbers (resp., $q$-deformed Ore-Lah numbers) are given as mixed placement numbers of rooks and files on the staircase board (resp., Laguerre board). Using this combinatorial interpretation, their recurrence relations are derived. In addition, the normal ordered form of the binomial $(X+Y)^m$ in the $q$-deformed generalized Ore algebra is determined. These considerations are then extended to the $q$-deformed polynomial Weyl algebra generated by $X$ and $Y$ satisfying $XY-qYX=f(Y)$ for some polynomial $f\in \mathbb{C}[Y]$. In particular, associated $q$-deformed polynomial Stirling and Lah numbers are introduced and their properties studied. The normal ordered form of the binomial is also extended to the $q$-deformed polynomial Weyl algebra.
Ramsey-type $χ$-bounds for $χ$-bounded graph classes
We prove that for every path $P$, the class of graphs with no induced $P$ and no induced four-cycle $C_4$ is linearly $χ$-bounded. More generally, we ask for which pairs $\{T,H\}$ where $T$ is a forest and $H$ is a complete multipartite graph, every graph $G$ with no induced $T$ and no induced $H$ has chromatic number at most $C \cdot R(α(H),ω(G)+1)$ for some constant $C$ depending only on $T$ and $H$, where $R(\cdot,\cdot)$ denotes the usual Ramsey numbers. We show that this holds in the following two instances, which strengthen the case $T=P$ and $H=C_4$ mentioned above:
(1) every component of $T$ is a broom and $H$ is complete multipartite; or
(2) $T$ is a forest and $H$ is complete bipartite.
These two unify and substantially extend a number of previous results on linear and polynomial $χ$-boundedness for various graph classes.
For case (2), we also provide a new proof (with better bounds) of a recent result of Fox, Nenadov, and Pham on the existence of an induced copy of a fixed tree in a graph satisfying certain sparsity conditions.
Proofs of four generating function conjectures for arbor polytopes
This paper proves four conjectured generating series, due to Chapoton, which concern invariants of posets and polytopes associated with a specific sequence of arbors. Two of these conjectures provide closed-form formulas for the generating series of the Zeta polynomial and the generating series of the M-triangle of the poset, respectively. The remaining two conjectures pertain, respectively, to the Ehrhart polynomial and the Laplace transform of the volume function of the associated arbor polytope.