polynomial
11538 papers tagged with this keyword
New Bounds for Integer Flows and Verma Modules, via Denormalized Lorentzian Laurent Series
The theory of log concave polynomials has recently been developed to study objects and problems in combinatorics and other subfields in mathematics. Particular classes of log concave polynomials called Lorentzian polynomials and denormalized and dually Lorentzian polynomials have been used to prove log concavity statements for various combinatorial sequences. This includes the strongest form of Mason's log concavity conjecture on the independent sets of matroids and the log concavity of sequences of Kostka numbers.
In this paper, we develop an analogous class of power series called denormalized Lorentzian (DL) Laurent series. This class is the natural generalization of DL polynomials to homogeneous power series with the benefit of capturing a number of combinatorial generating series including the Kostant partition function for integer flows of directed graphs. We then analyze specific DL Laurent series to obtain new bounds for integral flows on general directed acyclic graphs and new bounds for the dimensions of weight spaces of parabolic $\mathfrak{sl}_{n+1}(\mathbb{C})$ Verma modules.
The 2-Quasi-Regularizability Conjecture and Independence Polynomials of Wp Graphs
Hoang, Levit, Mandrescu and Pham asked for structural conditions ensuring that the independence polynomial of a $\W_p$ graph is log-concave, or at least unimodal, and conjectured that a connected $\W_2$ graph is $2$-quasi-regularizable if and only if $n(G)\ge 3α(G)$ (2026). We prove the conjecture. The key point is a local expansion theorem: if $G$ is connected and belongs to $\W_2$, then every non-maximum independent set $A$ satisfies \[ |N_G(A)|\ge 2|A|. \] Thus the only possible obstruction to $2$-quasi-regularizability in a connected $\W_2$ graph comes from maximum independent sets, where the condition is exactly $n(G)-α(G)\ge 2α(G)$.
We also give coefficient criteria for log-concavity and unimodality of independence polynomials of $\W_p$ graphs. These criteria combine the standard two-sided coefficient inequalities, as collected by Hoang--Levit--Mandrescu--Pham, with $λ$-quasi-regularizability. The new $p=2$ threshold proved here inserts the missing case into the same framework and yields explicit log-concavity and unimodality regions for connected $\W_2$ graphs.
Dyck Symmetric Functions and Applications to \(q,t\)-Catalan Polynomials
This paper develops three related combinatorial results for Dyck-type sequences. First, it constructs a row-insertion algorithm for dual Dyck sequences and extends it to Dyck tableaux. This construction gives a weight-preserving bijection between dual Dyck factorizations and pairs consisting of a Dyck tableau and a semistandard Young tableau of the same shape. As a consequence, the associated dual Dyck symmetric functions are Schur-positive, and the corresponding affine Dyck symmetric functions have the conjugate-shape Schur expansion.
Second, it applies these Dyck symmetric functions to the \(q,t\)-Catalan polynomial. It gives a two-column tableau formula for \(C_n(q,t)\), expressing it as a sum over Dyck \(m\)-skeletons and at-most-two-column Dyck tableaux with summands involving two-variable Schur functions.
Third, it develops a Dyck-skeleton formula for the deficit range \(\defc\le 2n-8\). Full and special Dyck skeletons, together with local \(\mathrm{East}\), \(\mathrm{West}\), \(\mathrm{up}\), and \(\mathrm{down}\) moves, organize the low-area half of each low-deficit slice into skeleton-indexed strings. The \(q,t\)-symmetry of \(C_n(q,t)\) supplies the complementary high-area half in the resulting interval formula.
Double shortcuts of standard hypercube decompositions
In this paper, we study the double shortcuts associated with pairs of standard hypercube decompositions of arbitrary Bruhat intervals in the symmetric group. Our results imply that a conjecture stated in [Bull. London Math. Soc., 57 (2025), no. 8] holds for the class of standard hypercube decompositions. If this conjecture were to hold for all hypercube decompositions, then the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials would follow.
Semi-interlaced polytopes
The Minkowski mixed volume of $n$ subpolytopes $D_1, \dots, D_n$ of a polytope $P \subset {\mathbb R}^n$ clearly does not exceed the normalized volume $n! \text{Vol}(P)$. Equality holds if and only if the subpolytopes are interlaced, i.e., each proper face $F \subsetneq P$ intersects at least $\dim(F) + 1$ of the polytopes $D_i$. Efficiently computing mixed volumes for more general collections of subpolytopes is crucial for estimating the complexity of numerically solving polynomial systems.
Motivated by relaxing the bound $\dim(F) + 1$ to $\dim(F)$, we prove a combinatorial formula for the mixed volume of a broad class of semi-interlaced polytopes. This class includes, in particular, the off-coordinate polytopes used in computing algebraic degrees -- such as Maximum Likelihood, Euclidean Distance, and Polar degrees -- via the Kouchnirenko--Bernshtein theory. We also present applications of our results to the Arnold monotonicity problem (1982-16), which concerns the dependence of Milnor numbers on the Newton polyhedra.
Inhomogeneous $q$-Whittaker polynomials II: ring theorem and positive specializations
We study inhomogeneous $q$-Whittaker polynomials which extend both $q$-Whittaker and stable Grothendieck polynomials. We prove that inhomogeneous $q$-Whittaker polynomials (in countably many variables) form a basis of certain commutative ring extending the ring of symmetric functions to a subring of its completion. We then describe positive specializations of that ring and relate them with a subset of Macdonald-positive specializations of the ring of symmetric functions. We also show some related probability distributions obtained from positive specializations of inhomogeneous $q$-Whittaker polynomials.
Betti numbers for cochordal zero-divisor graphs of commutative rings
This paper studies the zero-divisor graphs attached to several finite chain-ring families and computes the homological invariants of their edge ideals by using cochordal constructible systems. We begin with a general layered graph $C(q,L)$, whose vertices are arranged according to valuation layers and whose adjacency is governed by the single rule $k+\ell\ge L$, form some integers $k$ and $\ell$. This graph models the zero-divisor structure of a finite chain ring with residue field of order $q$ and nilpotency index $L$. We prove that $C(q,L)$ is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal [Dung and Vu, Cochordal zero divisor graphs and Betti numbers of their edge ideals, Comm. Algebra 54(2) (2026) 736--744]. The results are then specialized to the Gaussian quotient rings $\mathbb Z_{2^m}[i]$ and to the truncated polynomial rings $\mathbb Z_p[x]/(x^c)$. We compute projective dimension, regularity, independence number, height, Hilbert series, and Cohen--Macaulay behavior. The computations show that these quotient rings have $2$-linear resolutions, while Cohen--Macaulayness occurs only in the expected degenerate or complete-graph cases.
Helmholzian Spectra of Graphs: Novel Properties
Let $\grad$, $\curl$, and $\dv$ be the graph-theoretic analogues of the gradient, curl, and divergence operators from multivariate calculus. The graph Laplacian $-\dv \grad$ gives rise to the celebrated Laplacian matrix, while the matrix representation of the graph Helmholtzian $\grad \grad^* + \curl^* \curl$ is called the Helmholtzian matrix. In this paper, we present a new graph-theoretic proof that the Helmholtzian matrix indeed represents the graph Helmholtzian. We then investigate the spectral properties of this matrix. Our main results are as follows: (i) a classification of graphs having exactly two distinct Helmholtzian eigenvalues; (ii) the nullity of the Helmholtzian matrix; and (iii) a combinatorial interpretation of the coefficients of the Helmholtzian polynomial. Furthermore, we determine the Helmholtzian spectrum for certain graph products and characterize Helmholtzian integral graphs, as well as derive bounds for the smallest Helmholtzian eigenvalue. Meanwhile, we pose some open problems for future research.
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.