polynomial
11239 papers tagged with this keyword
A Survey of $q$-Whittaker polynomials
Exploiting the fact that the $q$-Whittaker polynomials arise as a specialization of the (modified) Macdonald polynomials, we derive some of their basic properties, and explore interesting identities that they satisfy. We also show how they arise as graded Frobenius characteristics of $§_n$-modules, and give a combinatorial approach to associated Pieri formulas.
Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two
Published
• View Publication
• BIB
We let $A=R/I$ be a standard graded Artinian algebra quotient of $R={\sf k}[x,y]$, the polynomial ring in two variables over a field ${\sf k}$ by an ideal $I$, and let $n$ be its vector space dimension. The Jordan type $P_\ell$ of a linear form $\ell\in A_1$ is the partition of $n$ determining the Jordan block decomposition of the multiplication on $A$ by $\ell$ -- which is nilpotent. The first three authors previously determined which partitions of $n=\dim_{\sf k}A$ may occur as the Jordan type for some linear form $\ell$ on a graded complete intersection Artinian quotient $A=R/(f,g)$ of $R$, and they counted the number of such partitions for each complete intersection Hilbert function $T$ arXiv:1810.00716.\par
We here consider the family $\mathrm{G}_T$ of graded Artinian quotients $A=R/I$ of $R={\sf k}[x,y]$, having arbitrary Hilbert function $H(A)=T$. The Jordan cell $\mathbb V(E_P)$ corresponding to a partition $P$ having diagonal lengths $T$ is comprised of all ideals $I$ in $R$ whose initial ideal is the monomial ideal $E_P$ determined by $P$. These cells give a decomposition of the variety $\mathrm{G}_T$ into affine spaces. We determine the generic number $κ(P)$ of generators for the ideals in each cell $\mathbb V(E_P)$, generalizing a result of arXiv:1810.00716. In particular, we determine those partitions for which $κ(P)=κ(T)$, the generic number of generators for an ideal defining an algebra $A$ in $\mathrm{G}_T$. We also count the number of partitions $P$ of diagonal lengths $T$ having a given $κ(P)$. A main tool is a combinatorial and geometric result allowing us to split $T$ and any partition $P$ of diagonal lengths $T$ into simpler $T_i$ and partitions $P_i$, such that $\mathbb V(E_P)$ is the product of the cells $\mathbb V(E_{P_i})$, and $T_i$ is single-block: $\mathrm{G}_{T_i}$ is a Grassmannian.
A Combinatorial Formula for Kazhdan-Lusztig Polynomials of Sparse Paving Matroids
Published
• View Publication
• BIB
We prove the positivity of Kazhdan-Lusztig polynomials for sparse paving matroids, which are known to be logarithmically almost all matroids, but are conjectured to be almost all matroids. The positivity follows from a remarkably simple combinatorial formula we discovered for these polynomials using skew young tableaux. This supports the conjecture that Kazhdan-Lusztig polynomials for all matroids have non-negative coeffiecients. In special cases, such as uniform matroids, our formula has a nice combinatorial interpretation.
Combinatorics of antiprism triangulations
Published
• View Publication
• BIB
The antiprism triangulation provides a natural way to subdivide a simplicial complex $Δ$, similar to barycentric subdivision, which appeared independently in combinatorial algebraic topology and computer science. It can be defined as the simplicial complex of chains of multi-pointed faces of $Δ$, from a combinatorial point of view, and by successively applying the antiprism construction, or balanced stellar subdivisions, on the faces of $Δ$, from a geometric point of view.
This paper studies enumerative invariants associated to this triangulation, such as the transformation of the $h$-vector of $Δ$ under antiprism triangulation, and algebraic properties of its Stanley--Reisner ring. Among other results, it is shown that the $h$-polynomial of the antiprism triangulation of a simplex is real-rooted and that the antiprism triangulation of $Δ$ has the almost strong Lefschetz property over ${\mathbb R}$ for every shellable complex $Δ$. Several related open problems are discussed.
Karp's patching algorithm on dense digraphs
We consider the following question. We are given a dense digraph $D$ with minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges of $D$ are given edge costs $C(e),e\in E(D)$, where $C(e)$ is an independent copy of the uniform $[0,1]$ random variable $U$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E(D)$. We show that w.h.p. the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. Karp's algorithm runs in polynomial time.
Schroder combinatorics and $ν$-associahedra
We study $ν$-Schröder paths, which are Schröder paths which stay weakly above a given lattice path $ν$. Some classical bijective and enumerative results are extended to the $ν$-setting, including the relationship between small and large Schröder paths. We introduce two posets of $ν$-Schröder objects, namely $ν$-Schröder paths and trees, and show that they are isomorphic to the face poset of the $ν$-associahedron $A_ν$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_ν$ are indexed by $ν$-Schröder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schröder numbers in the special case when $ν$ is a `rational' lattice path. Using our new description of the face poset of $A_ν$, we apply discrete Morse theory to show that $A_ν$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_ν$ is one. A second proof of this is obtained via a formula for the $ν$-Narayana polynomial in terms of $ν$-Schröder numbers.
Roots of Two-Terminal Reliability
Published
• View Publication
• BIB
Assume that the vertices of a graph $G$ are always operational, but the edges of $G$ are operational independently with probability $p \in[0,1]$. For fixed vertices $s$ and $t$, the \emph{two-terminal reliability} of $G$ is the probability that the operational subgraph contains an $(s,t)$-path, while the \emph{all-terminal reliability} of $G$ is the probability that the operational subgraph contains a spanning tree. Both reliabilities are polynomials in $p$, and have very similar behaviour in many respects. However, unlike all-terminal reliability, little is known about the roots of two-reliability polynomials. In a variety of ways, we shall show that the nature and location of the roots of two-terminal reliability polynomials have significantly different properties than those held by roots of the all-terminal reliability.
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.