polynomial
11422 papers tagged with this keyword
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.
Catalan paths, Quasi-symmetric functions and Super-Harmonic Spaces
Published in Proc. Amer. Math. Soc. 131 (2003), no. 4, 1053-1062
• View Publication
• BIB
We investigate the quotient ring $R$ of the ring of formal power series $\Q[[x_1,x_2,...]]$ over the closure of the ideal generated by non-constant quasi-\break symmetric functions. We show that a Hilbert basis of the quotient is naturally indexed by Catalan paths (infinite Dyck paths). We also give a filtration of ideals related to Catalan paths from $(0,0)$ and above the line $y=x-k$. We investigate as well the quotient ring $R_n$ of polynomial ring in $n$ variables over the ideal generated by non-constant quasi-symmetric polynomials. We show that the dimension of $R_n$ is bounded above by the $n$th Catalan number.
A New Matrix-Tree Theorem
The classical Matrix-Tree Theorem allows one to list the spanning trees of a graph by monomials in the expansion of the determinant of a certain matrix. We prove that in the case of three-graphs (that is, hypergraphs whose edges have exactly three vertices) the spanning trees are generated by the Pfaffian of a suitably defined matrix. This result can be interpreted topologically as an expression for the lowest order term of the Alexander-Conway polynomial of an algebraically split link. We also prove some algebraic properties of our Pfaffian-tree polynomial.
Partial-sum analogues of the Rogers-Ramanujan identities
Published in J. Combin. Theory Ser. A 99 (2002), 143--161
• View Publication
• BIB
A new type of polynomial analogue of the Rogers-Ramanujan identities is proven. Here the product-side of the Rogers-Ramanujan identities is replaced by a partial theta sum and the sum-side by a weighted sum over Schur polynomials.
Degrees of real Wronski maps
Published in Published in Discrete and Computational Geometry, 28 (2002) 331-347
• View Publication
• BIB
We study the map which sends vectors of polynomials into their Wronski determinants. This defines a projection map of a Grassmann variety which we call a Wronski map. Our main result is computation of degrees of the real Wronski maps. Connections with real algebraic geometry and control theory are described.
Applications of the classical umbral calculus
Published in Algebra Universalis 49 (2003), 397-434
• View Publication
• BIB
We describe applications of the classical umbral calculus to bilinear generating functions for polynomial sequences, identities for Bernoulli and related numbers, and Kummer congruences.
Restricted set of patterns, continued fractions, and Chebyshev polynomials
We study generating functions for the number of permutations in $S_n$ subject to set of restrictions. One of the restrictions belongs to $S_3$, while the others to $S_k$. It turns out that in a large variety of cases the answer can be expressed via continued fractions, and Chebyshev polynomials of the second kind.
Vanishing ideals of Lattice Diagram determinants
Published in J. Combin. Theory Ser. A 99 (2002), no. 2, 244-260
• View Publication
• BIB
A lattice diagram is a finite set $L=\{(p_1,q_1),... ,(p_n,q_n)\}$ of lattice cells in the positive quadrant. The corresponding lattice diagram determinant is $Δ_L(\X;\Y)=\det \| x_i^{p_j}y_i^{q_j} \|$. The space $M_L$ is the space spanned by all partial derivatives of $Δ_L(\X;\Y)$. We denote by $M_L^0$ the $Y$-free component of $M_L$. For $μ$ a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the Ferrers diagram of $μ$. Using homogeneous partially symmetric polynomials, we give here a dual description of the vanishing ideal of the space $M_μ^0$ and we give the first known description of the vanishing ideal of $M_{μ/ij}^0$.
Bijections behind the Ramanujan Polynomials
Published in Advances in Applied Mathematics 27, No. 2/3 336--356 (2001)
• View Publication
• BIB
The Ramanujan polynomials were introduced by Ramanujan in his study of power series inversions. In an approach to the Cayley formula on the number of trees, Shor discovers a refined recurrence relation in terms of the number of improper edges, without realizing the connection to the Ramanujan polynomials. On the other hand, Dumont and Ramamonjisoa independently take the grammatical approach to a sequence associated with the Ramanujan polynomials and have reached the same conclusion as Shor's. It was a coincidence for Zeng to realize that the Shor polynomials turn out to be the Ramanujan polynomials through an explicit substitution of parameters. Shor also discovers a recursion of Ramanujan polynomials which is equivalent to the Berndt-Evans-Wilson recursion under the substitution of Zeng, and asks for a combinatorial interpretation. The objective of this paper is to present a bijection for the Shor recursion, or and Berndt-Evans-Wilson recursion, answering the question of Shor. Such a bijection also leads to a combinatorial interpretation of the recurrence relation originally given by Ramanujan.
Reflections on symmetric polynomials and arithmetic functions
Published
• View Publication
• BIB
In an isomorphic copy of the ring of symmetric polynomials we study some families of polynomials which are indexed by rational weight vectors. These families include well known symmetric polynomials, such as the elementary, homogeneous, and power sum symmetric polynomials. We investigate properties of these families and focus on constructing their rational roots under a product induced by convolution. A direct application of the latter is to the description of the roots of certain multiplicative arithmetic functions (the core functions) under the convolution product.
On the Complexity of Polytope Isomorphism Problems
Published
• View Publication
• BIB
We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the combinatorial polytope isomorphism problem in bounded dimensions. Furthermore, we derive that the problems to decide whether two polytopes, given either by vertex or by facet descriptions, are projectively or affinely isomorphic are graph isomorphism hard.
The original version of the paper (June 2001, 11 pages) had the title ``On the Complexity of Isomorphism Problems Related to Polytopes''. The main difference between the current and the former version is a new polynomial time algorithm for polytope isomorphism in bounded dimension that does not rely on Luks polynomial time algorithm for checking two graphs of bounded valence for isomorphism. Furthermore, the treatment of geometric isomorphism problems was extended.
Explicit Enumeration of 321,Hexagon-Avoiding Permutations
Published
• View Publication
• BIB
The 321,hexagon-avoiding (321-hex) permutations were introduced and studied by Billey and Warrington in as a class of elements of S_n whose Kazhdan-Lusztig and Poincare polynomials and the singular loci of whose Schubert varieties have certain fairly simple and explicit descriptions. This paper provides a 7-term linear recurrence relation leading to an explicit enumeration of the 321-hex permutations. A complete description of the corresponding generating tree is obtained as a by-product of enumeration techniques used in the paper, including Schensted's 321-subsequences decomposition, a 5-parameter generating function and the symmetries of the octagonal patterns avoided by the 321-hex permutations.