polynomial
11257 papers tagged with this keyword
The Wronski map and shifted tableau theory
Published
• View Publication
• BIB
The Mukhin-Tarasov-Varchenko Theorem, conjectured by B. and M. Shapiro, has a number of interesting consequences. Among them is a well-behaved correspondence between certain points on a Grassmannian - those sent by the Wronski map to polynomials with only real roots - and (dual equivalence classes of) Young tableaux.
In this paper, we restrict this correspondence to the orthogonal Grassmannian OG(n,2n+1) inside Gr(n,2n+1). We prove that a point lies on OG(n,2n+1) if and only if the corresponding tableau has a certain type of symmetry. From this we recover much of the theory of shifted tableaux for Schubert calculus on OG(n,2n+1), including a new, geometric proof of the Littlewood-Richardson rule for OG(n,2n+1).
A Note on the Hodge Structure of the Intersection of Coloring Complexes
Let $G$ be a simple graph with $n$ vertices. The coloring complex $Δ(G)$ was defined by Steingrímsson, and the homology of $Δ(G)$ was shown to be nonzero only in dimension $n-3$ by Jonsson. Hanlon recently showed that the Eulerian idempotents provide a decomposition of the homology group $H_{n-3}(Δ(G))$ where the dimension of the $j^{th}$ component in the decomposition, $H_{n-3}^{(j)}(Δ(G))$, equals the absolute value of the coefficient of $λ^{j}$ in the chromatic polynomial of $G$, $χ_{G}(λ)$.
Jonsson recently studied the topology of intersections of coloring complexes. In this note, we show that the coefficient of the ${j}^{th}$ term in the chromatic polynomial of the intersection of coloring complexes gives the Euler Characteristic of the $j^{th}$ Hodge subcomplex of the Hodge decomposition of the intersection of coloring complexes.
On the Modes of Polynomials Derived from Nondecreasing Sequences
Published
• View Publication
• BIB
Wang and Yeh proved that if $P(x)$ is a polynomial with nonnegative and nondecreasing coefficients, then $P(x+d)$ is unimodal for any $d>0$. A mode of a unimodal polynomial $f(x)=a_0+a_1x+\cdots + a_mx^m$ is an index $k$ such that $a_k$ is the maximum coefficient. Suppose that $M_*(P,d)$ is the smallest mode of $P(x+d)$, and $M^*(P,d)$ the greatest mode. Wang and Yeh conjectured that if $d_2>d_1>0$, then $M_*(P,d_1)\geq M_*(P,d_2)$ and $M^*(P,d_1)\geq M^*(P,d_2)$. We give a proof of this conjecture.
Partially 2-Colored Permutations and the Boros-Moll Polynomials
Published
• View Publication
• BIB
We find a combinatorial setting for the coefficients of the Boros-Moll polynomials $P_m(a)$ in terms of partially 2-colored permutations. Using this model, we give a combinatorial proof of a recurrence relation on the coefficients of $P_m(a)$. This approach enables us to give a combinatorial interpretation of the log-concavity of $P_m(a)$ which was conjectured by Moll and confirmed by Kauers and Paule.
Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs
Published
• View Publication
• BIB
The chromatic polynomial of a graph G counts the number of proper colorings of G. We give an affirmative answer to the conjecture of Read and Rota-Heron-Welsh that the absolute values of the coefficients of the chromatic polynomial form a log-concave sequence. We define a sequence of numerical invariants of projective hypersurfaces analogous to the Milnor number of local analytic hypersurfaces. Then we give a characterization of correspondences between projective spaces up to a positive integer multiple which includes the conjecture on the chromatic polynomial as a special case. As a byproduct of our approach, we obtain an analogue of Kouchnirenko's theorem relating the Milnor number with the Newton polytope.
The short toric polynomial
Published in Trans. Amer. Math. Soc. 365 (2013), no. 3, 1441-1468
• View Publication
• BIB
We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined recurrence defining Stanley's toric polynomials may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric $h$-vector in terms of the $cd$-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric $h$-vector of a dual simplicial Eulerian poset in terms of its $f$-vector. This formula implies Gessel's formula for the toric $h$-vector of a cube, and may be used to prove that the nonnegativity of the toric $h$-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes.
Spectral sequences of colored Jones polynomials, colored Rasmussen invariants and nanophrases
We introduce three spectral sequences which give some expressions of colored Jones polynomials. Each spectral sequence contains a Khovanov-type homology groups. Two of them are derived from a bicomplex of the colored Jones polynomial. The other is the spectral sequence that deduces a colored Rasmussen invariant of links. We also introduce three functors between categories of nanophrases, generalizations of links, and obtain their applications using colored Jones polynomials and their categorifications.
Blenders
Published
• View Publication
• BIB
A blender is a closed convex cone of real homogeneous polynomials that is also closed under linear changes of variable. Non-trivial blenders only occur in even degree. Examples include the cones of psd forms, sos forms, convex forms and sums of $2u$-th powers of forms of degree $v$. We present some general properties of blenders and analyze the extremal elements of some specific blenders.
Hilbert series and Hilbert depth of squarefree Veronese ideals
Published
• View Publication
• BIB
In this paper, we obtain explicit formulas for the Hilbert series and Hilbert depth of squarefree Veronese ideals in a standard graded polynomial ring.
On the dimension growth of groups
Published
• View Publication
• BIB
Dimension growth functions of groups have been introduced by Gromov in 1999. We prove that every solvable finitely generated subgroups of the R. Thompson group $F$ has polynomial dimension growth while the group $F$ itself, and some solvable groups of class 3 have exponential dimension growth with exponential control. We describe connections between dimension growth, expansion properties of finite graphs and the Ramsey theory.
Sums of squares and negative correlation for spanning forests of series parallel graphs
We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squares of polynomials. We also show that every regular matroid is independent-set-Rayleigh if and only if every basis-Rayleigh binary matroid is also independent-set-Rayleigh.
Partitions and Coverings of Trees by Bounded-Degree Subtrees
This paper addresses the following questions for a given tree $T$ and integer $d\geq2$: (1) What is the minimum number of degree-$d$ subtrees that partition $E(T)$? (2) What is the minimum number of degree-$d$ subtrees that cover $E(T)$? We answer the first question by providing an explicit formula for the minimum number of subtrees, and we describe a linear time algorithm that finds the corresponding partition. For the second question, we present a polynomial time algorithm that computes a minimum covering. We then establish a tight bound on the number of subtrees in coverings of trees with given maximum degree and pathwidth. Our results show that pathwidth is the right parameter to consider when studying coverings of trees by degree-3 subtrees. We briefly consider coverings of general graphs by connected subgraphs of bounded degree.
Double Hurwitz numbers via the infinite wedge
Published
• View Publication
• BIB
We derive an algorithm to produce explicit formulas for certain generating functions of double Hurwitz numbers. These formulas generalize a formula of Goulden, Jackson and Vakil for one part double Hurwitz numbers. Immediate consequences include a new proof that double Hurwitz numbers are piecewise polynomial, an understanding of the chamber structure and wall crossing for these polynomials, and a proof of the Goulden, Jackson and Vakil's Strong Piecewise Polynomiality conjecture. The method is a straightforward application of Okounkov's expression for double Hurwitz numbers in terms of operators on the infinite wedge. We begin with a introduction to the infinite wedge tailored to our use.
Graph Coloring and Function Simulation
Published
• View Publication
• BIB
We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $\varphi:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) transformed to a simple graph $\matr{G}_{_{\varphi,n}}$ along with three sets of specified vertices $$X = \{x_{_{0}},x_{_{1}},\ldots,x_{_{p-1}}\}, \ \ Y = \{y_{_{0}},y_{_{1}},\ldots,y_{_{q-1}}\}, \ \ R = \{\Kv{0},\Kv{1},\ldots,\Kv{n-1}\},$$ such that any assignment $σ_{_{0}}: X \cup R \to \{0,1,\ldots,n-1\} $ with $σ_{_{0}}(\Kv{i})=i$ for all $0 \leq i < n$, is {\it uniquely} and {\it effectively} extendable to a proper $n$-coloring $σ$ of $\matr{G}_{_{\varphi,n}}$ for which we have $$\varphi(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))=(σ(y_{_{0}}),σ(y_{_{1}}),\ldots,σ(y_{_{q-1}})),$$ unless $(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))$ is not in the domain of $\varphi$ (in which case $σ_{_{0}}$ has no extension to a proper $n$-coloring of $\matr{G}_{_{\varphi,n}}$).
Crossings, Motzkin paths and Moments
Published in Discrete Mathematics 311(18-19) (2011), 2064--2078
• View Publication
• BIB
Kasraoui, Stanton and Zeng, and Kim, Stanton and Zeng introduced certain $q$-analogues of Laguerre and Charlier polynomials. The moments of these orthogonal polynomials have combinatorial models in terms of crossings in permutations and set partitions. The aim of this article is to prove simple formulas for the moments of the $q$-Laguerre and the $q$-Charlier polynomials, in the style of the Touchard-Riordan formula (which gives the moments of some $q$-Hermite polynomials, and also the distribution of crossings in matchings). Our method mainly consists in the enumeration of weighted Motzkin paths, which are naturally associated with the moments. Some steps are bijective, in particular we describe a decomposition of paths which generalises a previous construction of Penaud for the case of the Touchard-Riordan formula. There are also some non-bijective steps using basic hypergeometric series, and continued fractions or, alternatively, functional equations.
The theory of Schur polynomials revisited
Published in Enseign. Math. 58 (2012), 147-163
• View Publication
• BIB
We use Young's raising operators to give short and uniform proofs of several well known results about Schur polynomials and symmetric functions, starting from the Jacobi-Trudi identity.
Alon's Nullstellensatz for multisets
Alon's combinatorial Nullstellensatz (Theorem 1.1 from \cite{Alon1}) is one of the most powerful algebraic tools in combinatorics, with a diverse array of applications. Let $\F$ be a field, $S_1,S_2,..., S_n$ be finite nonempty subsets of $\F$. Alon's theorem is a specialized, precise version of the Hilbertsche Nullstellensatz for the ideal of all polynomial functions vanishing on the set $S=S_1\times S_2\times ... \times S_n\subseteq \F^n$. From this Alon deduces a simple and amazingly widely applicable nonvanishing criterion (Theorem 1.2 in \cite{Alon1}). It provides a sufficient condition for a polynomial $f(x_1,...,x_n)$ which guarantees that $f$ is not identically zero on the set $S$. In this paper we extend these two results from sets of points to multisets. We give two different proofs of the generalized nonvanishing theorem. We extend some of the known applications of the original nonvanishing theorem to a setting allowing multiplicities, including the theorem of Alon and Füredi on the hyperplane coverings of discrete cubes.
On the grasshopper problem with signed jumps
The 6th problem of the 50th International Mathematical Olympiad (IMO), held in Germany, 2009, was the following.
Let $a_1,a_2,...,a_n$ be distinct positive integers and let $M$ be a set of $n-1$ positive integers not containing $s=a_1+a_2+...+a_n$. A grasshopper is to jump along the real axis, starting at the point 0 and making $n$ jumps to the right with lengths $a_1,a_2,...,a_n$ in some order. Prove that the order can be chosen in such a way that the grasshopper never lands on any point in $M$.
The problem was discussed in many on-line forums, as well by communities of students as by senior mathematicians. Though there have been attempts to solve the problem using Noga Alon's famous Combinatorial Nullstellensatz, up to now all known solutions to the IMO problem are elementary and inductive. In this paper we show that if the condition that the numbers $a_1,...a_n$ are positive is omitted, it allows us to apply the polynomial method to solve the modified problem.
On the unimodality of independence polynomials of some graphs
Published
• View Publication
• BIB
In this paper we study unimodality problems for the independence polynomial of a graph, including unimodality, log-concavity and reality of zeros. We establish recurrence relations and give factorizations of independence polynomials for certain classes of graphs. As applications we settle some unimodality conjectures and problems.
Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann polytopes as marked poset polytopes
Published in Journal of Combinatorial Theory, Series A 118 (2011), 2454-2462
• View Publication
• BIB
Stanley (1986) showed how a finite partially ordered set gives rise to two polytopes, called the order polytope and chain polytope, which have the same Ehrhart polynomial despite being quite different combinatorially. We generalize his result to a wider family of polytopes constructed from a poset P with integers assigned to some of its elements.
Through this construction, we explain combinatorially the relationship between the Gelfand-Tsetlin polytopes (1950) and the Feigin-Fourier-Littelmann polytopes (2010), which arise in the representation theory of the special linear Lie algebra. We then use the generalized Gelfand-Tsetlin polytopes of Berenstein and Zelevinsky (1989) to propose conjectural analogues of the Feigin-Fourier-Littelmann polytopes corresponding to the symplectic and odd orthogonal Lie algebras.