polynomial
11173 papers tagged with this keyword
Puzzles and (equivariant) cohomology of Grassmannians
Published in Duke Math. J. 119 (2003), no. 2, 221--260
• View Publication
• BIB
We generalize our puzzle formula for ordinary Schubert calculus on Grassmannians, to a formula for the T-equivariant Schubert calculus. The structure constants to be calculated are polynomials in {y_{i+1} - y_i}; they were shown (abstractly) to have positive coefficients in [Graham] math.AG/9908172. Our formula is the first to be manifestly positive in this sense. In particular this gives a new and self-contained proof of the ordinary puzzle formula, by an induction backwards from the "most equivariant" case.
The proof of the formula is mostly combinatorial, but requires no prior combinatorics, and only a modicum of equivariant cohomology (which we include).
This formula is closely related to the one in [Molev-Sagan] q-alg/9707028 for multiplying factorial Schur functions in three sets of variables, although their rule does not give a positive formula in the sense of [Graham]. We include a cohomological interpretation of this problem, and a puzzle formulation for it.
A differential ideal of symmetric polynomials spanned by Jack polynomials at $β=-(r-1)/(k+1)$
For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $β=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ coincides with the space of all symmetric polynomials in $n$ variables which vanish when $k+1$ variables are set equal. The space $I_n^{(2,r)}$ coincides with the space of correlation functions of an abelian current of a vertex operator algebra related to Virasoro minimal series (3,r+2).
BC_n-symmetric polynomials
We consider two important families of BC_n-symmetric polynomials, namely Okounkov's interpolation polynomials and Koornwinder's orthogonal polynomials. We give a family of difference equations satisfied by the former, as well as generalizations of the branching rule and Pieri identity, leading to a number of multivariate q-analogues of classical hypergeometric transformations. For the latter, we give new proofs of Macdonald's conjectures, as well as new identities, including an inverse binomial formula and several branching rule and connection coefficient identities. We also derive families of ordinary symmetric functions that reduce to the interpolation and Koornwinder polynomials upon appropriate specialization. As an application, we consider a number of new integral conjectures associated to classical symmetric spaces.
Quantum Cohomology of Grassmannians and Total Positivity
Published
• View Publication
• BIB
We give a proof of a result of D. Peterson's identifying the quantum cohomology ring of a Grassmannian with the reduced coordinate ring of a certain subvariety of $GL_n$. The totally positive part of this subvariety is then constructed and we give closed formulas for the values of the Schubert basis elements on the totally positive points. We then use the developed methods to give a new proof of a formula of Vafa and Intriligator and Bertram for the structure constants (Gromov--Witten invariants). Finally, we use the positivity of these Gromov--Witten invariants to prove certain inequalities for Schur polynomials at roots of unity.
Resonance Category
Published in Commentarii Mathematici Helvetici, 80 (2005), no. 1, 197--223.
• Search Publication
The main purpose of this paper is to introduce a new category, which we call a resonance category, whose combinatorics reflect that of canonical stratifications of $n$-fold symmetric smash products. The study of the stratifications can then be abstracted to the study of functors satisfying certain sets of axioms, which we name resonance functors.
One frequently studied stratification is that of the set of all polynomials of degree $n$, defined by fixing the allowed multiplicities of roots. We apply our abstract combinatorial framework, in particular, the notion of direct product of relative resonances, to study the Arnold problem of computing the algebro-topological invariants of these strata.
Schur function identities, their t-analogs, and k-Schur irreducibility
Published
• View Publication
• BIB
We obtain general identities for the product of two Schur functions in the case where one of the functions is indexed by a rectangular partition, and give their t-analogs using vertex operators. We study subspaces forming a filtration for the symmetric function space that lends itself to generalizing the theory of Schur functions and also provides a convenient environment for studying the Macdonald polynomials. We use our identities to prove that the vertex operators leave such subspaces invariant. We finish by showing that these operators act simply on the k-Schur functions, thus leading to a concept of irreducibility for these functions.
Schur function analogs for a filtration of the symmetric function space
Published
• View Publication
• BIB
We consider a filtration of the symmetric function space given by $Λ^{(k)}_t$, the linear span of Hall-Littlewood polynomials indexed by partitions whose first part is not larger than $k$. We introduce symmetric functions called the $k$-Schur functions, providing an analog for the Schur functions in the subspaces $Λ^{(k)}_t$. We prove several properties for the $k$-Schur functions including that they form a basis for these subspaces that reduces to the Schur basis when $k$ is large. We also show that the connection coefficients for the $k$-Schur function basis with the Macdonald polynomials belonging to $Λ^{(k)}_t$ are polynomials in $q$ and $t$ with integral coefficients. In fact, we conjecture that these integral coefficients are actually positive, and give several other conjectures generalizing Schur function theory.
Topology of spaces of hyperbolic polynomials and combinatorics of resonances
Published in Israel J. Math. 132 (2002), 189--206.
• View Publication
• BIB
In this paper we study the topology of the strata, indexed by number partitions $λ$, in the natural stratification of the space of monic hyperbolic polynomials of degree $n$. We prove stabilization theorems for removing an independent block or an independent relation in $λ$. We also prove contractibility of the one-point compactifications of the strata indexed by a large class of number partitions, including $λ=(k^m,1^r)$, for $m\geq 2$. Furthermore, we study the maps between the homology groups of the strata, induced by imposing additional relations (resonances) on the number partition $λ$, or by merging some of the blocks of $λ$.
Rational homology of spaces of complex monic polynomials with multiple roots
Published in Mathematika 49 (2002), no. 1-2, 77--91 (2004).
• View Publication
• BIB
We study rational homology groups of one-point compactifications of spaces of complex monic polynomials with multiple roots. These spaces are indexed by number partitions. A standard reformulation in terms of quotients of orbit arrangements reduces the problem to studying certain triangulated spaces $X_{λ,μ}$.
We present a combinatorial description of the cell structure of $X_{λ,μ}$ using the language of marked forests. As applications we obtain a new proof of a theorem of Arnold and a counterexample to a conjecture of Sundaram and Welker, along with a few other smaller results.
Self-Dual Symmetric Polynomials and Conformal Partitions
A conformal partition function ${\cal P}_n^m(s)$, which arose in the theory of Diophantine equations supplemented with additional restrictions, is concerned with {\it self-dual symmetric polynomials} -- reciprocal ${\sf R}^{\{m\}}_ {S_n}$ and skew-reciprocal ${\sf S}^{\{m\}}_{S_n}$ algebraic polynomials based on the polynomial invariants of the symmetric group $S_n$. These polynomials form an infinite commutative semigroup. Real solutions $λ_n(x_i)$ of corresponding algebraic Eqns have many important properties: homogeneity of 1-st order, duality upon the action of the conformal group ${\sf W}$, inverting both function $λ_n$ and the variables $x_i$, compatibility with trivial solution, {\it etc}. Making use of the relationship between Gaussian generating function for conformal partitions and Molien generating function for usual restricted partitions we derived the analytic expressions for ${\cal P}_n^m(s)$. The unimodality indices for the reciprocal and skew-reciprocal equations were found. The existence of algebraic functions $λ_n(x_i)$ invariant upon the action of both the finite group $G\subset S_n$ and conformal group ${\sf W}$ is discussed.
Y-systems and generalized associahedra
Published
• View Publication
• BIB
We prove, for an arbitrary finite root system, the periodicity conjecture of Al.B.Zamolodchikov concerning Y-systems, a particular class of functional relations arising in the theory of thermodynamic Bethe ansatz. Algebraically, Y-systems can be viewed as families of rational functions defined by certain birational recurrences formulated in terms of the underlying root system. In the course of proving periodicity, we obtain explicit formulas for all these rational functions, which turn out to always be Laurent polynomials.
In a closely related development, we introduce and study a family of simplicial complexes that can be associated to arbitrary root systems. In type A, our construction produces Stasheff's associahedron, whereas in type B, it gives the Bott-Taubes polytope, or cyclohedron. We enumerate the faces of these complexes, prove that their geometric realization is always a sphere, and describe them in concrete combinatorial terms for the classical types ABCD.
A remark on Fourier pairing and binomial formula for Macdonald polynomials
Published
• View Publication
• BIB
We give a concise direct proof of the orthogonality of interpolation Macdonald polynomials with respect to the Fourier pairing and briefly discuss some immediate applications of this orthogonality, such as the symmetry of the Fourier pairing and the binomial formula.
New Identities of Hall-Littlewood Polynomials and Rogers-Ramanujan Type
Published
• View Publication
• BIB
We prove two new summation formulae of Hall-Littlewood polynomials over partitions into bounded parts and derive some new multiple $q$-identities of Rogers-Ramanujan type.
Depth-3 Arithmetic Circuits for S^2_n(X) and Extensions of the Graham-Pollack Theorem
Published
• View Publication
• BIB
We consider the problem of computing the second elementary symmetric polynomial S^2_n(X) using depth-three arithmetic circuits of the form "sum of products of linear forms". We consider this problem over several fields and determine EXACTLY the number of multiplication gates required. The lower bounds are proved for inhomogeneous circuits where the linear forms are allowed to have constants; the upper bounds are proved in the homogeneous model. For reals and rationals, the number of multiplication gates required is exactly n-1; in most other cases, it is \ceil{n/2}. This problem is related to the Graham-Pollack theorem in algebraic graph theory. In particular, our results answer the following question of Babai and Frankl: what is the minimum number of complete bipartite graphs required to cover each edge of a complete graph an odd number of times? We show that for infinitely many n, the answer is \ceil{n/2}.
Cohen-Macaulay quotients of normal semigroup rings via irreducible resolutions
Published
• View Publication
• BIB
Every quotient R/I of a semigroup ring R by a radical monomial ideal I has a unique minimal injective-like resolution by direct sums of quotients of R modulo prime monomial ideals. The quotient R/I is Cohen-Macaulay if and only if every summand in cohomological degree $i$ has dimension exactly dim(R/I) - i. This Cohen-Macaulay characterization reduces to the Eagon-Reiner theorem by Alexander duality when R is a polynomial ring. The proof exploits a graded ring-theoretic generalization of the Zeeman spectral sequence, thereby also providing a combinatorial topological version for polyhedral cell complexes, involving no commutative algebra.
A new partition identity coming from complex dynamics
Published
• View Publication
• BIB
We present a new identity involving compositions (i.e. ordered partitions of natural numbers). The Formula has its origin in complex dynamical systems and appears when counting, in the polynomial family $\{f_c:z \mapsto z^d + c \}$, periodic critical orbits with equivalent itineraries. We give two different proofs of the identity; one following the original approach in dynamics and another with purely combinatorial methods.
Gröbner geometry of Schubert polynomials
Published in Annals of Mathematics 161 (May 2005), 1245-1318
• View Publication
• BIB
Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons. This results in a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics.
Given a permutation w in S_n, we consider a determinantal ideal I_w whose generators are certain minors in the generic n x n matrix (filled with independent variables). Using `multidegrees' as simple algebraic substitutes for torus-equivariant cohomology classes on vector spaces, our main theorems describe, for each ideal I_w:
- variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials;
- a Gröbner basis consisting of minors in the generic n x n matrix;
- the Stanley-Reisner complex of the initial ideal in terms of known combinatorial diagrams associated to permutations in S_n; and
- a procedure inductive on weak Bruhat order for listing the facets of this complex, thereby generating the coefficients of Schubert polynomials by a positive recursion on combinatorial diagrams.
We show that the initial ideal is Cohen-Macaulay, by identifying the Stanley-Reisner complex as a special kind of ``subword complex in S_n'', which we define generally for arbitrary Coxeter groups, and prove to be shellable by giving an explicit vertex decomposition. We also prove geometrically a general positivity statement for multidegrees of subschemes.
Continued fractions and generalized patterns
Published
• View Publication
• BIB
In [BS] Babson and Steingrimsson introduced generalized permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation.
Let $f_{τ;r}(n)$ be the number of $1\mn3\mn2$-avoiding permutations on $n$ letters that contain exactly $r$ occurrences of $τ$, where $τ$ a generalized pattern on $k$ letters. Let $F_{τ;r}(x)$ and $F_τ(x,y)$ be the generating functions defined by $F_{τ;r}(x)=\sum_{n\geq0} f_{τ;r}(n)x^n$ and $F_τ(x,y)=\sum_{r\geq0}F_{τ;r}(x)y^r$. We find an explicit expression for $F_τ(x,y)$ in the form of a continued fraction for where $τ$ given as a generalized pattern; $τ=12\mn3\mn...\mn k$, $τ=21\mn3\mn...\mn k$, $τ=123... k$, or $τ=k... 321$. In particularly, we find $F_τ(x,y)$ for any $τ$ generalized pattern of length 3. This allows us to express $F_{τ;r}(x)$ via Chebyshev polynomials of the second kind, and continued fractions.
restricted 1-3-2 permutations and generalized patterns
Published
• View Publication
• BIB
Recently, Babson and Steingrimsson (see [BS]) introduced generalized permutations patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation.
We study generating functions for the number of permutations on $n$ letters avoiding $1-3-2$ (or containing $1-3-2$ exactly once) and an arbitrary generalized pattern $τ$ on $k$ letters, or containing $τ$ exactly once. In several cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind, and generating function of Motzkin numbers.
Cumulants, lattice paths, and orthogonal polynomials
Published in Discrete Math. 270 (2003), no. 1-3, 177--191
• View Publication
• BIB
A formula expressing free cumulants in terms of the Jacobi parameters of the corresponding orthogonal polynomials is derived. It combines Flajolet's theory of continued fractions and Lagrange inversion. For the converse we discuss Gessel-Viennot theory to express Hankel determinants in terms of various cumulants.