polynomial
11538 papers tagged with this keyword
Exact Enumeration of Phylogenetic Networks: The Tree-Child, Reticulation-Visible and Orchard Hierarchy
We develop a unified framework for the exact enumeration and asymptotic analysis of the three most studied classes of phylogenetic networks: tree-child (TC), reticulation-visible (RV) and orchard networks, whose cardinalities satisfy the strict ordering $|\mathrm{TC}_{\ell,k}|<|\mathrm{RV}_{\ell,k}|<|\mathrm{Orch}_{\ell,k}|$ for reticulation number $k\geq2$ (with $\mathrm{TC}\subsetneq\mathrm{RV}$ and $\mathrm{TC}\subsetneq\mathrm{Orch}$, while $\mathrm{RV}$ and $\mathrm{Orch}$ are incomparable as sets). Using the Chang--Fuchs structural theorem, we derive a two-level master functional equation for the RV bivariate generating function and obtain exact closed-form identities for the differences $Δ_k(\ell):=|RV_{\ell,k}|-|TC_{\ell,k}|$ for $k=2,3$, with the asymptotic universality $Δ_k(\ell)/|TC_{\ell,k}|\sim k!/\ell$. For orchard networks, we prove a \emph{universal hypergeometric law} that resolves the exact enumeration problem for all $\ell$: the column generating function $F_\ell(v)$ is rational with denominator $D_\ell(v)=\prod_{j=2}^\ell X_j(v)$, where \[
X_\ell(v) = \sum_{k=0}^{\lfloor\ell/2\rfloor}(-1)^k\,
\frac{\ell!}{(\ell-2k)!\,k!}\,v^k \] is the matching polynomial of the complete graph $K_\ell$ and a rescaled Jacobi polynomial. This immediately resolves the intractable $\ell=9$ case: $D_9$ has degree 20, dominant growth rate $\approx40.73$, and all spectral roots are positive real. A complete enumeration table is provided extending the published data of Cardona, Ribas and Pons.
A palindromicity criterion for the $h$-polynomials of bipartite edge rings
We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$, then $\Bbbk[G]$ is Gorenstein. Equivalently, under these assumptions the $h$-polynomial of $\Bbbk[G]$ is palindromic. The proof treats the $2$-connected case first by translating the numerical condition $h_1=h_{s-1}$ into a tight-separation condition for non-edges, and then passes to arbitrary bipartite graphs using the block decomposition. We also construct a blockwise minimal Gorenstein closure, obtained by adjoining all non-edges not separated by tight acceptable sets, and show that this construction preserves the next-to-leading coefficient of the $h$-polynomial.
Symmetries of the q-deformed real projective line
We generalize in two steps the quantized action of the modular group on q-deformed real numbers introduced by Morier-Genoud and Ovsienko. First, we let the projective general linear group PGL(2,Z) act on q-real numbers via a q-deformed action. The deformed matrices we get have combinatorial interpretations, and we show that their traces are palindromic polynomials. Then we consider an extension of the group PGL(2,Z) by the 2-elements cyclic group, and define a deformed action of this extension on q-real numbers. We deduce from these actions some underlying relations between q-real numbers, and between left and right versions of q-deformed rational numbers. In particular we investigate the case of some algebraic numbers of degree 4 and 6. We also prove that the deformation of real numbers is an injective process.
Local Shellings of Broken-Circuit Complexes via Boundary States and the Chromatic Specialization of the Negami Polynomial
For edge-disjoint graphs meeting along a finite boundary, we construct relative shellings of NBC faces with prescribed boundary connectivity. The construction adds paths in spanning forests to the restriction faces of auxiliary rooted-forest complexes. When every edge of the first graph precedes every edge of the second, these relative shellings combine into a shelling with consecutive connectivity blocks. The resulting nonnegative decomposition of the $h$-polynomial realizes the chromatic specialization of the Negami splitting identity. We also give path formulas for gluing graphic Orlik--Terao Gröbner bases across boundaries of size two or three, and a virtual-clique elimination formula for arbitrary boundaries. An exponential output lower bound at treewidth two distinguishes explicit basis enumeration from coefficient computation at fixed treewidth. Finally, state polytopes and their Cayley lifts describe an obstruction to linear block orders in the original coordinates and a lifted realization of these orders.
Matroid liftability and Oxley--Wang derived matroids, with connections to scene analysis
Liftability was first introduced for paving matroids, where it was used to systematically construct polynomials in the ideals of the associated matroid varieties. In this paper, we generalise the notion of liftability to matroids with realisable truncations. We additionally introduce the notion of generic realisability of a matroid; a strong notion of realisability that implies both realisability and liftability of the matroid. We study the behaviour of liftability and generic realisability under the weak order of matroids within the lattice of matroids with fixed truncation. We develop a unified framework for studying liftability of matroids through Oxley--Wang derived matroid of generic matroid realisations. We characterise liftability and generic realisability in terms of Oxley--Wang derived matroids. Moreover, we give an algebraic description of the bases of the generic Oxley--Wang derived matroids in terms of coordinate sections of matroid realisation spaces and relate our constructions to slack realisation spaces of matroids.
As an application of our framework, we obtain a combinatorial characterisation of liftable and generically realisable paving matroids and connect it with Whiteley's theory of scene analysis. In particular, our approach gives a new proof, via Oxley--Wang derived matroids, of Whiteley's characterisation of hypergraphs admitting non-trivial (sharp) scenes. Finally, we compute the generic Oxley--Wang derived matroid for a special class of sparse paving matroids.
Asymptotically unit-rate storage codes from binary BCH codes
A storage code on a graph assigns a symbol to each vertex so that the symbol can be recovered from its neighbors. We prove that the binary full-parity storage codes on triangle-free coset graphs of primitive BCH codes have rate tending to one for every fixed error-correction capability of at least two. The conclusion also holds for an increasing error budget under an explicit growth condition. The proof bounds the binary rank of convolution matrices associated with polynomial maps. Low coordinate degree forces cancellation in the polynomial representing the image, and a polynomial rank bound converts this cancellation into a quantitative estimate for the storage rate. For the double-error-correcting family over $\mathbb{F}_{2^m}$, we prove that the storage deficiency is $Θ(((1+\sqrt{5})/4)^m)$. This refinement follows from an exact Fibonacci formula for a polynomial coefficient rank and a matching exponential lower bound after finite-field evaluation.
On the Classical and Parameterized Complexity of Strong Odd Coloring
A strong odd $k$-coloring of a graph $G$ is a proper $k$-coloring such that every color appearing in the neighborhood of a non-isolated vertex appears an odd number of times. The minimum $k$ for which $G$ admits a strong odd $k$-coloring is the \emph{strong odd chromatic number}, denoted by $χ_{\text{so}}(G)$, of $G$. Given a graph $G$ and an integer $k$, \textsc{strong odd $k$-colorability} problem asks whether $G$ admits a strong odd $k$-coloring.
It is known that STRONG ODD $k$-COLORABILITY is NP-complete in general graphs. In this paper, we prove that the problem is NP-complete on perfect elimination bipartite graphs for $k\geq3$, which is a subclass of bipartite graphs. Furthermore, we show that $χ_{\text{so}}(G)$ is inapproximable within a factor of $O(n^{\frac{1}{2}-\varepsilon})$ for every $\varepsilon>0$. On the positive side, we obtain a linear time algorithm to compute an optimal strong odd coloring for block graphs. From a parameterized perspective, we present an FPT algorithm for STRONG ODD $k$-COLORABILITY when parameterized by treewidth. Moreover, we show that the problem cannot be solved in time $(k-\varepsilon)^{\texttt{tw}}n^{O(1)}$ for every $k\geq3$ and $\varepsilon>0$ when parameterized by treewidth under SETH. Furthermore, we show that STRONG ODD $k$-COLORABILITY does not admit a polynomial kernel when parameterized by feedback vertex set. Lastly, we prove that STRONG ODD $k$-COLORABILITY is W[1]-hard when parameterized by clique-width.
Morley Simplices in Higher Dimensions: Regularity, Reflections, and Counterexamples
Trisecting the dihedral angles of an $n$-simplex defines its Morley simplex. We study the original simplices for which this simplex is regular. A criterion in terms of the Gram matrix of the facet normals reduces the problem to a matrix equation. The derivative of the Morley map at the regular simplex has two explicit eigenvalues, both nonzero for $n\ge3$; thus the regular simplex is an isolated solution. We conjecture that in dimensions four and five a regular Morley simplex forces two hyperplane reflections interchanging disjoint pairs of vertices. We prove that this conclusion fails in every dimension $6\le n\le200$ and in every dimension $n=\binom k2-1$ with $k\ge9$: in these dimensions there are simplices with regular Morley simplex and no hyperplane reflection symmetry. The examples for $8\le n\le200$ have dihedral symmetry of order $2(n+1)$, while the infinite family is based on the Johnson scheme. In dimension four we give exact constructions of two nonregular examples, defined by irreducible polynomials of degrees $18$ and $8$ with Galois groups $S_{18}$ and $S_8$. Neither example is expressible by radicals. The computer assisted existence proofs use exact rational arithmetic and intervals with outward rounding.
Zeros and interlacing for multiset Eulerian-Narayana polynomials
We prove the real-rootedness conjecture of Lin, Ma, Ma, and Zhou (2021) for multiset Eulerian-Narayana polynomials, including simplicity and negativity of all zeros after removing the factor t. Using a forest decomposition and Lagrange inversion, we derive a differential formula and a first-order factorization of the differential operator. We use these factors to show that the nonconstant gamma-coefficients and ordered gamma-zeros are nondecreasing, with corresponding bounds given by the Narayana and Eulerian polynomials. The same factorization gives totally nonnegative coefficient transition matrices. We also prove strict interlacing of the zeros of generating polynomials arising from adjacent columns of the transition matrices.
On c-polynomial factorisations
c-Polynomials are polynomials whose (non-zero) coefficients are all equal to 1. Taking a theorem by Carlitz and Moser as a motivation, we prove a structure theorem for the factorisations of the c-polynomial $(x^n-1)/(x-1)$ into c-irreducible factors by relating c-torisations into c-polynomials to joint ordered factorisations arising from the integer n. The question of how many different joint ordered factorisations there are leads to the precise chromatic polynomial for path graphs, counting the ways of path graph colourings with $m$ colours under the condition that all colours are used. Moreover, we give similar counting formulae for joint ordered factorisations under the constraints that all factors are primes, or that all factors are square-free.
Protected tails and polynomial-time enumeration of permutations avoiding a direct sum of an increasing pattern and 231
We give an algorithm counting the permutations that avoid a fixed pattern of the following form: the direct sum of an increasing pattern and 231. The first members of the family are 1342 and 12453. For each member the algorithm uses polynomially many operations and stored integers, with degrees that grow linearly in the length of the pattern. It comes from a recurrence that reads a permutation from left to right and records the constraints that the letters read so far impose on those still unread. This recurrence has exponentially many states, but part of each state is protected: later steps carry it along unchanged and do not depend on it, and factoring the protected part out leaves a dynamic program of polynomial size. For 12453 a translation symmetry sharpens the bounds to degree seven for the operations and degree four for the storage. We also compute the number of 12453-avoiding permutations of every length up to 150. The previously published series, due to Biers-Ariel (2019), reached length 38. We also give a sampler of uniformly random avoiders. A floating-point implementation of it, proved to be within total variation distance $3.5\cdot10^{-5}$ of uniform for ideal random bits, draws the one million 12453-avoiding permutations of length 300 shown in a heatmap. The literal and kernel recurrences for 1342 and 12453 are verified in the Lean 4 proof assistant.
Asymptotic $q,t$-Fuss--Catalan numbers for type $B$
Let $W=W(B_n)$ act diagonally on $\mathfrak{h}\oplus\mathfrak{h}^*$, let $S=\mathbb{C}[\mathfrak{h}\oplus\mathfrak{h}^*]$, let $J\subset S$ be the ideal generated by the $W$-alternating polynomials and $\mathfrak{m}_S$ is the maximal ideal of the origin. For sufficiently large $m$ we compute $q,t$-Fuss-Catalan polynomial $Cat^{(m)}(B_n;q,t):=Hilb(\frac{J^m}{\mathfrak{m}_S J^m})_{det-part}$ and imply $Cat^{(m)}(B_n;1,1)=\binom{n(m+1)}{n}$. For proofs, we work with the $Γ$-equivariant Hilbert scheme $Y_n=nΓ$-$Hilb(\mathbb{C}^2)$, $Γ=μ_2$ and Haiman-type Koszul complex that defines the punctual locus of $Y_n$. Our formula for $Cat^{(m)}(B_n;q,t)$ is derived from a localization computaion for the Haiman-type Koszul complex.
A Proof of Rubey's Lattice Conjecture
In 2011, Rubey generalized chute and ladder moves on the set of reduced pipe dreams for a permutation $w$ and conjectured that the induced poset on reduced pipe dreams is a lattice. In this paper, we prove this conjecture. Our key tool is a new type of move operation $\mathcal{M}_{ij}$, defined as a composite of certain generalized ladder moves and then simplified in terms of swaps on a partition shape. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations, so we refer to the poset as the Rubey lattice henceforth. In addition, we give an explicit criterion to determine if two elements of the Rubey lattice are comparable using an injective map from reduced pipe dreams to tableaux on the diagram of a permutation. The pipe dream tableaux construction also gives an exact formula for the maximum length of any chain in the Rubey lattice and bounds on the number of reduced pipe dreams for $w$, or equivalently the sum of the coefficients in the corresponding Schubert polynomial. Several open problems for further development of the Rubey lattice related to Markov processes, Schubert polynomials, and Grothendieck polynomials are given.
Order polytopes of crown posets
Published in European Journal of Combinatorics, Vol. 133, Mar. 2026, P. 104304
• View Publication
• BIB
In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called \emph{crown poset}, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their $f$-polynomials, and show that the sequence of coefficients of each $f$-polynomial is log-concave and asymptotically normal. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen--Zhuang (2025). We use these formulas to simplify a computation by Ferroni--Morales--Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the $h^*$-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons--Sullivant (2023).
Exact volume computation for Boolean quadric polytopes of series-parallel graphs
For a graph G, the Boolean quadric polytope P(G) is the convex hull of the binary solutions of $y_{ij}=x_ix_j$ for $ij\in E(G)$, and Q(G) is its standard linear relaxation. For series-parallel graphs, Q(G) together with the odd-cycle inequalities describes P(G). Lee and Skipper showed vol(Q(G)) is polynomial-time computable for bounded treewidth and gave a closed formula for vol(P(G)) when G is a cycle. We resolve their question of giving an efficient algorithm for vol(P(G)) on series-parallel graphs. With $d=|V(G)|+|E(G)|$, we compute it with $O(d^7)$ arithmetic operations, and $O(d^5)$ if G is a cactus.
The algorithm is a dynamic program over the series-parallel decomposition. The same framework computes vol(Q(G)) (hence the number of linear extensions of the incidence poset of G) with $O(d^4)$ operations, and $O(d^3)$ for cacti. With every $x_v$ fixed at 1/2, the recursion reduces to convolutions of univariate polynomials and computes the cut polytope volume of every series-parallel graph with m edges in $O(m^3)$ operations.
We also study how much of Q(G) the polytope P(G) occupies. Short odd cycles matter more than long ones: in every graph, the odd-cycle inequalities of a cycle of length $\ell$ cut off at most a fraction $2^{\ell-1}/\ell!$ of Q(G). Hence vol(P(G))/vol(Q(G)) $\ge 1-\sum_C 2^{|C|-1}/|C|!$ for series-parallel G, with C ranging over its cycles. The ratio does not factor over cycles sharing a vertex: in a flower of $k$ copies of $C_\ell$ it decays like $ρ_\ell^k$ for an explicit rational $ρ_\ell$ below the ratio of $C_\ell$. Nevertheless, the small fractions cut off by many long cycles compound: in the worst case, triangle inequalities, or odd-cycle inequalities up to any fixed length, close no fixed fraction of the gap between Q(G) and P(G), and the volume ratio can be exponentially small in d.
Total Path Length in Power-Weight Recursive Trees: Martingale Limits and Global Fluctuations
We study total path length in recursive trees with positive deterministic attachment weights. Writing $W_n=\sum_{i=1}^n w_i$ and $p_n=w_n/W_n$, we obtain exact martingale-innovation identities and a variance recurrence. Under the condition $p_n=O(n^{-1})$, centered total path length divided by $n$ converges almost surely and in $L^2$ to a nondegenerate random variable, and its variance is asymptotic to a positive constant times $n^2$. No polynomial asymptotic for $W_n$ is required. For power weights $w_i=i^α$, the same argument applies to every real $α$, including the critical and summable regimes beyond the positive-power cumulative-weight assumptions of existing profile theory. The expected average depth is logarithmic for $α>-1$, iterated logarithmic for $α=-1$, and bounded for $α<-1$, while the global fluctuation scale remains linear throughout. In the summable regime we identify the random limit through the weighted depths of the infinite tree. The uniform case recovers the classical variance coefficient $2-π^2/6$. For linear weights we evaluate the coefficient as $8-2π^2/3$. Although this tree and a random binary search tree have identical insertion-depth marginals and expected total path length, their asymptotic variance coefficients differ by one. This gives an explicit comparison of global dependence that is invisible in individual depth distributions.
Seven Coincidences and Sixty Symmetries
Motivated by John Baez's question about seven exceptional coincidences among binomial coefficients, we construct seven exterior-power identities for representations of $A_5$. Their common symmetry comes from simplex edges and icosahedral vertices, axes, and faces, together with characters of stabilizers. We enumerate all ordered pairs of representation isomorphism classes in the prescribed dimensions. Apart from the pair of trivial actions, the permutation pair at $1540$ and the complex monomial pair at $7140$ are unique. At $3003$, Klein's twelve-point divisor gives a noncanonical intertwiner factored through polynomial division, differentiation, and residues.
Myopic Tutte polynomials and Khovanov homology in $\mathbb{R}P^3$
We present a "myopic" Tutte polynomial for graphs on $\mathbb{R}P^2$ which takes only nullhomologous spanning subgraphs as input. It recovers the generalized Krushkal polynomial and Drobotukhina's analogue of the Jones polynomial for alternating, nullhomologous links in $\mathbb{R}P^3$. We use this myopic Tutte polynomial to prove an analogue of the Kauffman-Murasugi-Thistlethwaite Theorem, relating the Jones polynomial of an alternating link to certain refinements of the crossing number. Finally, we construct a spanning tree model for the Khovanov homology of nullhomologous links, mirroring work by Champanerkar-Kofman and Wehrli for links in $S^3$. For alternating links, we use our model to prove that the Khovanov homology in $\mathbb{Z}/2\mathbb{Z}$ coefficients is determined entirely by the Jones polynomial and signatures of the link.
Unimodality of Kazhdan--Lusztig polynomials of sparse paving matroids
We prove that the Kazhdan--Lusztig polynomial of a loopless sparse paving matroid is unimodal. When the rank is at least five and the corank is positive, we show that the coefficient sequence is strictly unimodal except for three explicitly determined parameter triples, each giving two equal maximal coefficients. We also determine the modes and classify the degenerate loopless sparse paving matroids of positive rank and corank.
Log-concavity and Approximate Counting for Totally Unimodular Polytopes
We present a new lower bound on the number of lattice points of all totally unimodular polytopes, generalizing previous lower bounds on contingency tables, integer flows, and beyond. Our bound is based on the Gurvits capacity convex optimization problem, and thus our result implies an efficient deterministic algorithm for approximate counting of the lattice points up to an explicit exponential factor. We achieve our bounds by showing that the associated generating polynomials fit into a new general class of log-concave polynomials called VLC ("variable-wise log-concavity''). This also implies a conjecture of Ferroni and Higashitani on the evaluations of the Ehrhart polynomials of unimodular polytopes. The essential ingredient for these results is the resolution of Barvinok's log-concavity conjecture for contingency tables on lines, which was proven using ChatGPT 6 Astra. We conjecture a generalization of Barvinok's conjecture, which we believe will lead to stronger and more general bounds.