polynomial
11173 papers tagged with this keyword
Rewriting as a Special Case of Noncommutative Groebner Basis Theory
Published
• View Publication
• BIB
Rewriting for semigroups is a special case of Groebner basis theory for noncommutative polynomial algebras. The fact is a kind of folklore but is not fully recognised. The aim of this paper is to elucidate this relationship, showing that the noncommutative Buchberger algorithm corresponds step-by-step to the Knuth-Bendix completion procedure.
A bijection between Littlewood-Richardson tableaux and rigged configurations
Published in Selecta Mathematica, N.S., 8 (2002) 67-135
• View Publication
• BIB
A bijection is defined from Littlewood-Richardson tableaux to rigged configurations. It is shown that this map preserves the appropriate statistics, thereby proving a quasi-particle expression for the generalized Kostka polynomials, which are q-analogues of multiplicities in tensor products of irreducible general linear group modules indexed by rectangular partitions.
Positivity for special cases of $(q,t)$-Kostka coefficients and standard tableaux statistics
Published in Electron. J. Combinat. 6, R41 (1999), 36pp.
• View Publication
• BIB
We present two symmetric function operators $H_3^{qt}$ and $H_4^{qt}$ that have the property $H_{3}^{qt} H_{(2^a1^b)}[X;q,t] = H_{(32^a1^b)}[X;q,t]$ and $H_4^{qt} H_{(2^a1^b)}[X;q,t] = H_{(42^a1^b)}[X;q,t]$. These operators are generalizations of the analogous operator $H_2^{qt}$ and also have expressions in terms of Hall-Littlewood vertex operators. We also discuss statistics, $a_μ(T)$ and $b_μ(T)$, on standard tableaux such that the $q,t$ Kostka polynomials are given by the sum over standard tableaux of shape $\la$, $K_{\laμ}(q,t) = \sum_T t^{a_μ(T)} q^{b_μ(T)}$ for the case when when $μ$ is two columns or of the form $(32^a1^b)$ or $(42^a1^b)$. This provides proof of the positivity of the $(q,t)$-Kostka coefficients in the previously unknown cases of $K_{\la (32^a1^b)}(q,t)$ and $K_{\la (42^a1^b)}(q,t)$. The vertex operator formulas are used to give formulas for generating functions for classes of standard tableaux that generalize the case when $μ$ is two columns.
Why the characteristic polynomial factors
Published in Bull. Amer. Math. Soc. 36 (1999), 113-134
• View Publication
• BIB
We survey three methods for proving that the characteristic polynomial of a finite lattice factors over the nonnegative integers and indicate how they have evolved recently. The first technique uses geometric ideas and is based on Zaslavsky's theory of signed graphs. The second approach is algebraic and employs results of Saito and Terao about free hyperplane arrangements. Finally, we consider a purely combinatorial theorem of Stanley about semimodular supersolvable lattices and its generalizations.
Bosonic formula for level-restricted paths
Published in Advanced Studies in Pure Mathematics 28 (2000) 305-325
• View Publication
• BIB
We prove a bosonic formula for the generating function of level-restricted paths for the infinite families of affine Kac-Moody algebras. In affine type A this yields an expression for the level-restricted generalized Kostka polynomials.
Tableaux statistics for two part Macdonald polynomials
Published
• View Publication
• BIB
The Macdonald polynomials expanded in terms of a modified Schur function basis have coefficients called the $q,t$-Kostka polynomials. We define operators to build standard tableaux and show that they are equivalent to creation operators that recursively build the Macdonald polynomials indexed by two part partitions. We uncover a new basis for these particular Macdonald polynomials and in doing so are able to give an explicit description of their associated $q,t$-Kostka coefficients by assigning a statistic in $q$ and $t$ to each standard tableau.
Melzer's identities revisited
Published in Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), 207--234, Contemp. Math., 248, Amer. Math. Soc., Providence, RI, 1999.
• View Publication
• BIB
We further develop the finite length path generating transforms introduced previously, and use them to obtain constant sign polynomial expressions that reduce, in the limit of infinite path lengths, to parafermion and ABF Virasoro characters. This provides us, in the ABF case, with combinatorial proofs of Melzer's boson-fermion polynomial identities.
Graphical Enumeration: A Species-Theoretic Approach
An operation on species corresponding to the inner plethysm of their associated cycle index series is constructed. This operation, the inner plethysm of species, is generalized to n-sorted species. Polynomial maps on species are studied and used to extend inner plethysm and other operations to virtual species. Finally, inner plethysm and other operations on species are applied to various problems in graph theory.
In particular, regular graphs, and digraphs in which every vertex has outdegree k, are enumerated.
n-Schur Functions and Determinants on an Infinite Grassmannian
A set of functions is defined which is indexed by a positive integer $n$ and partitions of integers. The case $n=1$ reproduces the standard Schur polynomials. These functions are seen to arise naturally as a determinant of an action on the frame bundle of an infinite grassmannian. This fact is well known in the case of the Schur polynomials ($n=1$) and has been used to decompose the $τ$-functions of the KP hierarchy as a sum. In the same way, the new functions introduced here ($n>1$) are used to expand quotients of $τ$-functions as a sum with Plucker coordinates as coefficients.
Semiinvariants of Finite Reflection Groups
Published in J. Algebra 220, 314-326 (1999).
• View Publication
• BIB
Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and χbe a multiplicative character of G. Let Ω^χbe the R-module of χ-invariant differential forms. We define a multiplication in Ω^χand show that under this multiplication Ω^χhas an exterior algebra structure. We also show how to extend the results to vector fields, and exhibit a relationship between χ-invariant forms and logarithmic forms.
Combinatorial Identities Related to Representations of $U_q(\tilde{gl_2})$
Recently N.Jing discovered a certain combinatorial identity from validity of the Serre relations in some vertex representations of quantum Kac-Moody algebras.
We generalize this identity, in particular, extending it from polynomials to elliptic functions, and interprete the obtained identities in terms of tensor products of evaluation representations of the quantum loop algebra $U_q(\tilde{gl_2})$ or the elliptic quantum group $E_{ρ,γ}(sl_2)$.
Composition sums related to the hypergeometric function
The present note considers a certain family of sums indexed by the set of fixed length compositions of a given number. The sums in question cannot be realized as weighted compositions. However they can be be related to the hypergeometric function, thereby allowing one to factorize the corresponding generating polynomials. This factorization leads to some interesting identities.
On the volume of a certain polytope
Published
• View Publication
• BIB
Let n >= 2 be an integer and consider the set T_n of n by n permutation matrices pi for which pi_{ij}=0 for j>=i+2. In this paper we study the convex hull of T_n, which we denote by P_n. P_n is a polytope of dimension binom{n}{2}. Our main purpose is to provide evidence for the following conjecture concerning its volume. Let v_n denote the minimum volume of a simplex with vertices in the affine lattice spanned by T_n. Then the volume of P_n is v_n times the product for i varying from 0 to n-2 of frac{1}{i+1} binom{2i}{i}. That is, P_n is the product of v_n and the first n-1 Catalan numbers.
We also give a related result on the Ehrhart polynomial of P_n.
A Pieri-type formula for isotropic flag manifolds
Published in Trans. Amer. Math. Soc., 354 No. 7, (2002), 2659-2705
• View Publication
• BIB
We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from a Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a type $B$ (respectively, type $C$) Schubert polynomial by the Schur $P$-polynomial $p_m$ (respectively, the Schur $Q$-polynomial $q_m$). Geometric constructions and intermediate results allow us to ultimately deduce this from formulas for the classical flag manifold. These intermediate results are concerned with the Bruhat order of the Coxeter group ${\mathcal B}_\infty$, identities of the structure constants for the Schubert basis of cohomology, and intersections of Schubert varieties. We show these identities follow from the Pieri-type formula, except some `hidden symmetries' of the structure constants. Our analysis leads to a new partial order on the Coxeter group ${\mathcal B}_\infty$ and formulas for many of these structure constants.
Algebras related to matroids represented in characteristic zero
Published
• View Publication
• BIB
Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the structure of these algebras. In return, the numerical properties of the Hilbert function of A yield some information about the Tutte polynomial of the corresponding matroid. Isomorphism classes of these algebras correspond to equivalence classes of hyperplane arrangements under the action of the general linear group.
A change-of-coordinates from Geometry to Algebra, applied to Brick Tilings
A proof is sketched of the Polynomial Conjecture of the author (circulated as preprint "Brick Tiling and Monotone Boolean Functions", available at the http://www.math.ufl.edu/~squash/tilingstuff.html url) which says that the family of minimal tilable-boxes grows polynomially with dimension. An important ingredient of the argument is translating the problem from its finite-dimensional geometric framework to the algebraic setting of an infinite-dimensional lattice.
Littlewood-Richardson coefficients and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux.
Lattice Diagram Polynomials and Extended Pieri Rules
Published in Adv. Math. 142 (1999), no. 2, 244--334
• View Publication
• BIB
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $μ$ is a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $μ$. We set $Δ_{μ/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $μ/ij$, and let ${\bf M}_{μ/ij}$ be the linear span of the partial derivatives of $Δ_{μ/ij}$. The bihomogeneity of $Δ_{μ/ij}$ and its alternating nature under the diagonal action of $S_n$ gives ${\bf M}_{μ/ij}$ the structure of a bigraded $S_n$-module. We conjecture that ${\bf M}_{μ/ij}$ is always a direct sum of $k$ left regular representations of $S_n$, where $k$ is the number of cells that are weakly north and east of $(i,j)$ in $μ$. We also make a number of conjectures describing the precise nature of the bivariate Frobenius characteristic of ${\bf M}_{μ/ij}$ in terms of the theory of Macdonald polynomials. On the validity of these conjectures, we derive a number of surprising identities. In particular, we obtain a representation theoretical interpretation of the coefficients appearing in some Macdonald Pieri Rules.
Science Fiction and Macdonald's Polynomials
Published
• View Publication
• BIB
This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_μ$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_μ$ is defined for a partition $μ\part n$, as the linear span of derivatives of a certain bihomogeneous polynomial $Δ_ μ(x,y)$ in the variables $x_1,x_2,..., x_n, y_1,y_2,..., y_n$. It has been conjectured by Garsia and Haiman that ${\bf M}_μ$ has $n!$ dimensions and that its bigraded Frobenius characteristic is given by the symmetric polynomial ${\widetilde{H}}_μ(x;q,t)=\sum_{λ\part n} S_λ(X) {\widetilde{K}}_{λμ}(q,t)$ where the ${\widetilde{K}}_{λμ}(q,t)$ are related to the Macdonald $q,t$-Kostka coefficients $ K_{λμ}(q,t)$ by the identity ${\widetilde{K}}_{λμ}(q,t)=K_{λμ}(q,1/t)t^{n(μ)}$ with $n(μ)$ the x-degree of $Δ_ μ(x;y)$. Computer data has suggested that as $ν$ varies among the immediate predecessors of a partition $μ$, the spaces ${\bf M}_ν$ behave like a boolean lattice. We formulate a number of remarkable conjectures about the Macdonald polynomials. In particular we obtain a representation theoretical interpretation for some of the symmetries that can be found in the computed tables of $q,t$-Kostka coefficients.
Determinantal expressions for Macdonald polynomials
Published
• View Publication
• BIB
We show that the action of classical operators associated to the Macdonald polynomials on the basis of Schur functions, S_λ[X(t-1)/(q-1)], can be reduced to addition in λ-rings. This provides explicit formulas for the Macdonald polynomials expanded in this basis as well as in the ordinary Schur basis, S_λ[X], and the monomial basis, m_λ[X].