polynomial
11432 papers tagged with this keyword
Decompositions of Ehrhart $h^*$-polynomials for rational polytopes
Published in Discrete & Computational Geometry 68, no. 1 (2022), 50-71
• View Publication
• BIB
The Ehrhart quasipolynomial of a rational polytope $P$ encodes the number of integer lattice points in dilates of $P$, and the $h^*$-polynomial of $P$ is the numerator of the accompanying generating function. We provide two decomposition formulas for the $h^*$-polynomial of a rational polytope. The first decomposition generalizes a theorem of Betke and McMullen for lattice polytopes. We use our rational Betke--McMullen formula to provide a novel proof of Stanley's Monotonicity Theorem for the $h^*$-polynomial of a rational polytope. The second decomposition generalizes a result of Stapledon, which we use to provide rational extensions of the Stanley and Hibi inequalities satisfied by the coefficients of the $h^*$-polynomial for lattice polytopes. Lastly, we apply our results to rational polytopes containing the origin whose duals are lattice polytopes.
Counting Standard Young Tableaux With Restricted Runs
The number of Young Tableaux whose shape is a k by n rectangle is famously (nk)! 0! ... (k-1)!/((n+k-1)!(n+k-2)!... n!) implying that for each specific k, that sequence satisfies a linear recurrence equation with polynomial coefficients of the first order. But what about counting Young tableaux where certain "run lengths" are forbidden? Then things seem to get much more complicated. We conclude with four conjectures and pledge donations to the OEIS in honor of the first provers.
Diameters of Cocircuit Graphs of Oriented Matroids: An Update
Published
• View Publication
• BIB
Oriented matroids (often called order types) are combinatorial structures that generalize point configurations, vector configurations, hyperplane arrangements, polyhedra, linear programs, and directed graphs. Oriented matroids have played a key role in combinatorics, computational geometry, and optimization. This paper surveys prior work and presents an update on the search for bounds on the diameter of the cocircuit graph of an oriented matroid.
We review the diameter problem and show the diameter bounds of general oriented matroids reduce to those of uniform oriented matroids. We give the latest exact bounds for oriented matroids of low rank and low corank, and for all oriented matroids with up to nine elements (this part required a large computer-based proof). The motivation for our investigations is the complexity of the simplex method and the criss-cross method. For arbitrary oriented matroids, we present an improvement to a quadratic bound of Finschi. Our discussion highlights two very important conjectures related to the polynomial Hirsch conjecture for polytope diameters.
The transition matrix between the Specht and $\mathfrak{sl}_3$ web bases is unitriangular with respect to shadow containment
Published
• View Publication
• BIB
Webs are planar graphs with boundary that describe morphisms in a diagrammatic representation category for $\mathfrak{sl}_k$. They are studied extensively by knot theorists because braiding maps provide a categorical way to express link diagrams in terms of webs, producing quantum invariants like the well-known Jones polynomial. One important question in representation theory is to identify the relationships between different bases; coefficients in the change-of-basis matrix often describe combinatorial, algebraic, or geometric quantities (like, e.g., Kazhdan-Lusztig polynomials). By "flattening" the braiding maps, webs can also be viewed as the basis elements of a symmetric-group representation.
In this paper, we define two new combinatorial structures for webs: band diagrams and their one-dimensional projections, shadows, that measure depths of regions inside the web. As an application, we resolve an open conjecture that the change-of-basis between the so-called Specht basis and web basis of this symmetric-group representation is unitriangular for $\mathfrak{sl}_3$-webs. We do this using band diagrams and shadows to construct a new partial order on webs that is a refinement of the usual partial order. In fact, we prove that for $\mathfrak{sl}_2$-webs, our new partial order coincides with the tableau partial order on webs studied by the authors and others. We also prove that though the new partial order for $\mathfrak{sl}_3$-webs is a refinement of the previously-studied tableau order, the two partial orders do not agree for $\mathfrak{sl}_3$.
Ratios of Hahn--Exton $q$-Bessel functions and $q$-Lommel polynomials
In 1993 Delest and Fédou showed that a generating function for connected skew shapes is given as a ratio $J_{ν+1}/J_ν$ of the Hahn--Exton $q$-Bessel functions when a parameter $ν$ is zero. They conjectured that when $ν$ is a nonnegative integer the coefficients of the generating function are rational functions whose numerator and denominator are polynomials in $q$ with nonnegative integer coefficients, which is a $q$-analog of Kishore's 1963 result on Bessel functions. The first main result of this paper is a proof of the conjecture of Delest and Fédou. The second main result is a refinement of the result of Delest and Fédou: a generating function for connected skew shapes with bounded diagonals is given as a ratio of $q$-Lommel polynomials introduced by Koelink and Swarttouw. It is also shown that the ratio $J_{ν+1}/J_ν$ has two different continued fraction expressions, which give respectively a generating function for moments of orthogonal polynomials of type $R_I$ and a generating function for moments of usual orthogonal polynomials. Orthogonal polynomial techniques due to Flajolet and Viennot are used.
A symmetric function of increasing forests
Published in Forum of Mathematics, Sigma 9 (2021) e35
• View Publication
• BIB
For an indifference graph $G$ we define a symmetric function of increasing spanning forests of $G$. We prove that this symmetric function satisfies certain linear relations, which are also satisfied by the chromatic quasisymmetric function and unicellular LLT polynomials. As a consequence we give a combinatorial interpretation of the coefficients of the LLT polynomial in the elementary basis (up to a factor of a power of $(q-1)$), strengthening the description given by Alexandersson and Sulzgruber.
Hilbert Series of simple thin polyominoes
Published
• View Publication
• BIB
Let P be a simple thin polyomino, roughly speaking a polyomino that has no holes and does not contain a square tetromino as a subpolyomino. In this paper, we determine the reduced Hilbert series $h(t)/(1-t)^d$ of K[P] by proving that $h(t)$ is the rook polynomial of P. As an application, we characterize the Gorenstein simple thin polyominoes.
Signed Countings of Type B and D Permutations and $t,q$-Euler numbers
A classical result states that the parity balance of the number of excedances of all permutations (derangements, respectively) of length $n$ is the Euler number. In 2010, Josuat-Vergès gives a $q$-analogue with $q$ representing the number of crossings. We extend this result to the permutations (derangements, respectively) of type B and D. It turns out that the signed countings are related to the derivative polynomials of $\tan$ and $\sec$.
Springer numbers defined by Springer can be regarded as an analogue of Euler numbers defined on every Coxeter group. In 1992 Arnol'd showed that the Springer numbers of classical types A, B, D count various combinatorial objects, called snakes. In 1999 Hoffman found that derivative polynomials of $\sec x$ and $\tan x$ and their subtraction evaluated at certain values count exactly the number of snakes of certain types. Then Josuat-Vergès studied the $(t,q)$-analogs of derivative polynomials $Q_n(t,q)$, $R_n(t,q)$ and showed that as setting $q=1$ the polynomials are enumerators of snakes with respect to the number of sign-changing. Our second result is to find combinatorial interpretations of $Q_n(t,q)$ and $R_n(t,q)$ as enumerators of the snakes, although the outcome is somewhat messy.
On the generating polynomials for the distribution of generalized binomial coefficients in discrete valuation domains
For a discrete valuation domain $V$ with maximal ideal $\mathfrak{m}$ such that the residue field $V/\mathfrak{m}$ is finite, there exists a sequence of polynomials $(F_n(x))_{n \ge 0}$ defined over the quotient field $K$ of $V$ that forms a basis of the $V$-module $\text{Int}(V) = \{f \in K[x] | f(V)\subseteq V\}$. This sequence of polynomials bears many resemblances to the classical binomial polynomials $(\binom{x}{n})_{n \ge 0}$. In this paper, we introduce a generating polynomial to account for the distribution of the $V$-values of the polynomials $F_n(x)$ modulo the maximal ideal $\mathfrak{m}$, and prove a result that provides a method for counting exactly how many $V$-values of the polynomials $(F_n(x))_{n \ge 0}$ fall into each of the residue classes modulo $\mathfrak{m}$. Our main theorem in this paper can be viewed as an analogue of the classical theorem of Garfield and Wilf in the context of discrete valuation domains.
The Norton algebra of a $Q$-polynomial distance-regular graph
Published
• View Publication
• BIB
We consider the Norton algebra associated with a $Q$-polynomial primitive idempotent of the adjacency matrix for a distance-regular graph. We obtain a formula for the Norton algebra product that we find attractive.
On the largest real root of the independence polynomial of a unicyclic graph
Published
• View Publication
• BIB
The independence polynomial of a graph $G$, denoted $I(G,x)$, is the generating polynomial for the number of independent sets of each size. The roots of $I(G,x)$ are called the \textit{independence roots} of $G$. It is known that for every graph $G$, the independence root of smallest modulus, denoted $ξ(G)$, is real. The relation $\preceq$ on the set of all graphs is defined as follows, $H\preceq G$ if and only if $I(H,x)\ge I(G,x)\text{ for all }x\in [ξ(G),0].$
We find the maximum and minimum connected unicyclic and connected well-covered unicyclic graphs of a given order with respect to $\preceq$. This extends 2013 work by Csikvári where the maximum and minimum trees of a given order were determined and also answers an open question posed in the same work. Corollaries of our results give the graphs that minimize and maximize $ξ(G)$ among all connected (well-covered) unicyclic graphs. We also answer more related open questions posed by Oboudi in 2018 and disprove a conjecture due to Levit and Mandrescu from 2008.
Mirror symmetry for quasi-smooth Calabi-Yau hypersurfaces in weighted projective spaces
Published
• View Publication
• BIB
We consider a $d$-dimensional well-formed weighted projective space $\mathbb{P}(\overline{w})$ as a toric variety associated with a fan $Σ(\overline{w})$ in $N_{\overline{w}} \otimes \mathbb{N}$ whose $1$-dimensional cones are spanned by primitive vectors $v_0, v_1, \ldots, v_d \in N_{\overline{w}}$ generating a lattice $N_{\overline{w}}$ and satisfying the linear relation $\sum_i w_i v_i =0$. For any fixed dimension $d$, there exist only finitely many weight vectors $\overline{w} = (w_0, \ldots, w_d)$ such that $\mathbb{P}(\overline{w})$ contains a quasi-smooth Calabi-Yau hypersurface $X_w$ defined by a transverse weighted homogeneous polynomial $W$ of degree $w = \sum_{i=0}^d w_i$. Using a formula of Vafa for the orbifold Euler number $χ_{\rm orb}(X_w)$, we show that for any quasi-smooth Calabi-Yau hypersurface $X_w$ the number $(-1)^{d-1}χ_{\rm orb}(X_w)$ equals the stringy Euler number $χ_{\rm str}(X_{\overline{w}}^*)$ of Calabi-Yau compactifications $X_{\overline{w}}^*$ of affine toric hypersurfaces $Z_{\overline{w}}$ defined by non-degenerate Laurent polynomials $f_{\overline{w}} \in \mathbb{C}[N_{\overline{w}}]$ with Newton polytope $\text{conv}(\{v_0, \ldots, v_d\})$. In the moduli space of Laurent polynomials $f_{\overline{w}}$ there always exists a special point $f_{\overline{w}}^0$ defining a mirror $X_{\overline{w}}^*$ with a $\mathbb{Z}/w\mathbb{Z}$-symmetry group such that $X_{\overline{w}}^*$ is birational to a quotient of a Fermat hypersurface via a Shioda map.
Mather classes and conormal spaces of Schubert varieties in cominuscule spaces
Published
• View Publication
• BIB
Let $G/P$ be a complex cominuscule flag manifold. We prove a type independent formula for the torus equivariant Mather class of a Schubert variety in $G/P$, and for a Schubert variety pulled back via the natural projection $G/Q \to G/P$. We apply this to find formulae for the local Euler obstructions of Schubert varieties, and for the torus equivariant localizations of the conormal spaces of these Schubert varieties. We conjecture positivity properties for the local Euler obstructions and for the Schubert expansion of Mather classes. We check the conjectures in many cases, by utilizing results of Boe and Fu about the characteristic cycles of the intersection homology sheaves of Schubert varieties. We also conjecture that certain `Mather polynomials' are unimodal in general Lie type, and log concave in type A.
Stable characters from permutation patterns
Published in Selecta Mathematica, Volume 27 (2021)
• View Publication
• BIB
For a fixed permutation $σ\in S_k$, let $N_σ$ denote the function which counts occurrences of $σ$ as a pattern in permutations from $S_n$. We study the expected value (and $d$-th moments) of $N_σ$ on conjugacy classes of $S_n$ and prove that the irreducible character support of these class functions stabilizes as $n$ grows. This says that there is a single polynomial in the variables $n, m_1, \ldots, m_{dk}$ which computes these moments on any conjugacy class (of cycle type $1^{m_1}2^{m_2}\cdots$) of any symmetric group. This result generalizes results of Hultman and of Gill, who proved the cases $(d,k)=(1,2)$ and $(1,3)$ using ad hoc methods. Our proof is, to our knowledge, the first application of partition algebras to the study of permutation patterns.
Two lower bounds for $p$-centered colorings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (November 11, 2020) dmtcs:6543
• View Publication
• BIB
Given a graph $G$ and an integer $p$, a coloring $f : V(G) \to \mathbb{N}$ is \emph{$p$-centered} if for every connected subgraph $H$ of $G$, either $f$ uses more than $p$ colors on $H$ or there is a color that appears exactly once in $H$. The notion of $p$-centered colorings plays a central role in the theory of sparse graphs. In this note we show two lower bounds on the number of colors required in a $p$-centered coloring.
First, we consider monotone classes of graphs whose shallow minors have average degree bounded polynomially in the radius, or equivalently (by a result of Dvořák and Norin), admitting strongly sublinear separators. We construct such a class such that $p$-centered colorings require a number of colors super-polynomial in $p$. This is in contrast with a recent result of Pilipczuk and Siebertz, who established a polynomial upper bound in the special case of graphs excluding a fixed minor.
Second, we consider graphs of maximum degree $Δ$. Dębski, Felsner, Micek, and Schröder recently proved that these graphs have $p$-centered colorings with $O(Δ^{2-1/p} p)$ colors. We show that there are graphs of maximum degree $Δ$ that require $Ω(Δ^{2-1/p} p \ln^{-1/p}Δ)$ colors in any $p$-centered coloring, thus matching their upper bound up to a logarithmic factor.
A symmetric Bloch-Okounkov theorem
Published in Res. Math. Sci. 8, 19 (2021)
• View Publication
• BIB
The algebra of so-called shifted symmetric functions on partitions has the property that for all elements a certain generating series, called the $q$-bracket, is a quasimodular form. More generally, if a graded algebra $A$ of functions on partitions has the property that the $q$-bracket of every element is a quasimodular form of the same weight, we call $A$ a quasimodular algebra. We introduce a new quasimodular algebra consisting of symmetric polynomials in the part sizes and multiplicities.
Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications
Published
• View Publication
• BIB
We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of Szemeredi's theorem on arithmetic progressions [BL96; BLL08; FW09; Fra10; BMR17]. One of the novel features of our results, which is not present in previous work, is that they allow for a mixture of polynomials and non-polynomial functions. As an illustration, assume $f_i(t)=a_{i,1}t^{c_{i,1}}+\cdots+a_{i,d}t^{c_{i,d}}$ for $c_{i,j}>0$ and $a_{i,j}\in\mathbb{R}$. Then
$\bullet$ for any measure preserving system $(X,\mathcal{B},μ,T)$ and $h_1,\dots,h_k\in L^\infty(X)$, the limit $$\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{[f_1(n)]}h_1\cdots T^{[f_k(n)]}h_k$$ exists in $L^2$;
$\bullet$ for any $E\subset \mathbb{N}$ with $\overline{\mathrm{d}}(E)>0$ there are $a,n\in\mathbb{N}$ such that $\{a,\, a+[f_1(n)],\ldots,a+[f_k(n)]\}\subset E$.
We also show that if $f_1,\dots,f_k$ belong to a Hardy field, have polynomial growth, and are such that no linear combination of them is a polynomial, then for any measure preserving system $(X,{\mathcal B},μ,T)$ and any $A\in{\mathcal B}$, $$\limsup_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nμ\Big(A\cap T^{-[ f_1(n) ]}A\cap\ldots\cap T^{-[f_k(n)]}A\Big)\,\geq\,μ(A)^{k+1}.$$
Computing linear extensions for polynomial posets subject to algebraic constraints
Published
• View Publication
• BIB
In this paper we consider the classical problem of computing linear extensions of a given poset which is well known to be a difficult problem. However, in our setting the elements of the poset are multivariate polynomials, and only a small "admissible" subset of these linear extensions, determined implicitly by the evaluation map, are of interest. This seemingly novel problem arises in the study of global dynamics of gene regulatory networks in which case the poset is a Boolean lattice. We provide an algorithm for solving this problem using linear programming for arbitrary partial orders of linear polynomials.
This algorithm exploits this additional algebraic structure inherited from the polynomials to efficiently compute the admissible linear extensions. The biologically relevant problem involves multilinear polynomials and we provide a construction for embedding it into an instance of the linear problem.
Tight relative $t$-designs on two shells in hypercubes, and Hahn and Hermite polynomials
Published in Ars Math. Contemp. 22 (2022) #P2.01
• View Publication
• BIB
Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,λ)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$.
Standard Monomials of 1-Skeleton Ideals of Graphs and Their Signless Laplace Matrices
Published
• View Publication
• BIB
Let $G$ be a (multi) graph on the vertex set $V=\{0,1,\ldots ,n\}$ with root $0$. The $G$-parking function ideal $\mathcal{M}_G$ is a monomial ideal in the polynomial ring $R=\mathbb{K}[x_1,\ldots ,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G}\right)=\det\left(\widetilde{L}_G\right)$, where $\widetilde{L}_G$ is the truncated Laplace matrix of $G$ and $\det\left(\widetilde L_G\right)$ is the determinant of $\widetilde L_G$. In other words, standard monomials of the Artinian quotient $\frac{R}{\mathcal{M}_G}$ correspond bijectively with the spanning trees of $G$. For $0\leq k\leq n-1$, the $k$-skeleton ideal $\mathcal{M}_G^{(k)}$ of $G$ is the monomial subideal $\mathcal{M}_G^{(k)}=\left\langle m_A:\emptyset\neq A\subseteq[n]\text{ and }|A|\leq k+1\right\rangle$ of the $G$-parking function ideal $\mathcal{M}_G=\left\langle m_A : \emptyset \neq A\subseteq[n]\right\rangle\subseteq R$. For a simple graph $G$, Dochtermann conjectured that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G^{(1)}}\right)\geq\det\left(\widetilde{Q}_G\right)$, where $\widetilde Q_G$ is the truncated signless Laplace matrix of $G$. We show that Dochtermann conjecture holds for any (simple or multi) graph $G$ on $V$.