polynomial
11173 papers tagged with this keyword
A Path Algorithm for Affine Kazhdan-Lusztig Polynomials
Published
• View Publication
• BIB
We develop an algorithm for computing affine Kazhdan-Lusztig polynomials, for all Lie types. This generalizes our previously published algorithm for type A, which in turn is a faster version of an algorithm due to Lascouz, Leclerc and Thibon (proposed in the setting of Hecke algebras of type A, at roots of unity.)
The generalized Borwein conjecture. I. The Burge transform
Published in Contemp. Math. 291 (2001), 243--267
• View Publication
• BIB
Given an arbitrary ordered pair of coprime integers (a,b) we obtain a pair of identities of the Rogers--Ramanujan type. These identities have the same product side as the (first) Andrews--Gordon identity for modulus 2ab\pm 1, but an altogether different sum side, based on the representation of (a/b-1)^{\pm 1} as a continued fraction. Our proof, which relies on the Burge transform, first establishes a binary tree of polynomial identities. Each identity in this Burge tree settles a special case of Bressoud's generalized Borwein conjecture.
Dichromatic polynomials and Potts models summed over rooted maps
Published in Ann.Comb. 5 (2001) 17-36
• View Publication
• BIB
We consider the sum of dichromatic polynomials over non-separable rooted planar maps, an interesting special case of which is the enumeration of such maps. We present some known results and derive new ones. The general problem is equivalent to the $q$-state Potts model randomized over such maps. Like the regular ferromagnetic lattice models, it has a first-order transition when $q$ is greater than a critical value $q_c$, but $q_c$ is much larger - about 72 instead of 4.
Examples and counterexamples for Perles' conjecture
Published
• View Publication
• BIB
The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles:
``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgraphs'' [Perles 1970].
We give examples for the validity of Perles conjecture: In particular, it holds for the duals of cyclic polytopes, and for the duals of stacked polytopes. On the other hand, we identify a topological obstruction that must be present in any counterexample to Perles' conjecture; thus, starting with a modification of ``Bing's house'', we construct explicit 4-dimensional counterexamples.
Restricted permutations and Chebyshev polynomials
We study generating functions for the number of permutations in $\SS_n$ subject to two restrictions. One of the restrictions belongs to $\SS_3$, while the other to $\SS_k$. It turns out that in a large variety of cases the answer can be expressed via Chebyshev polynomials of the second kind.
Lattice polytopes with distinct pair-sums
Published
• View Publication
• BIB
Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials.
Orthogonal polynomials associated with root systems
Published in Séminaire Lotharingien Combin. 45 (2000), Article B45a, 40 pp
• Search Publication
Let R and S be two irreducible root systems spanning the same vector space and having the same Weyl group W, such that S (but not necessarily R) is reduced. For each such pair (R,S) we construct a family of W-invariant orthogonal polynomials in several variables, whose coefficients are rational functions of parameters $q,t_1,t_2,...,t_r$, where r (=1,2 or 3) is the number of W-orbits in R. For particular values of these parameters, these polynomials give the values of zonal spherical functions on real and p-adic symmetric spaces. Also when R=S is of type $A_n$, they conincide with the symmetric polynomials described in I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd edition, Oxford University Press (1995), Chapter VI.
Double Schubert polynomials and degeneracy loci for the classical groups
Published in Annales de l'Institut Fourier 52 (2002), 1681-1727
• View Publication
• BIB
We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles.
Generalized Umemura polynomials
Published
• View Publication
• BIB
We introduce and study generalized Umemura polynomials $U_{n,m}^{(k)}(z,w;a,b)$ which are a natural generalization of the Umemura polynomials $U_n(z,w;a,b)$ related to Painlevé $VI$ equation. We will show that if $a=b$, or $a=0$, or $b=0$ then polynomials $U_{n,m}^{(0)}(z,w;a,b)$ generate solutions to Painlevé $VI$. We will describe a connection between polynomials $U_{n,m}^{(0)}(z,w;a,0)$ and certain Umemura polynomials $U_k(z,w;α,β)$.
Hilbert schemes, polygraphs, and the Macdonald positivity conjecture
Published in J. Amer. Math. Soc. 14 (2001), 941-1006
• View Publication
• BIB
We study the isospectral Hilbert scheme X_n, defined as the reduced fiber product of C^2n with the Hilbert scheme H_n of points in the plane, over the symmetric power S^n C^2. We prove that X_n is normal, Cohen-Macaulay, and Gorenstein, and hence flat over H_n. We derive two important consequences.
(1) We prove the strong form of the "n! conjecture" of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients K_{lambda,mu}(q,t). This establishes the Macdonald positivity conjecture, that K_{lambda,mu}(q,t) is always a polynomial with non-negative integer coefficients.
(2) We show that the Hilbert scheme H_n is isomorphic to the Hilbert scheme of orbits C^2n//S_n, in such a way that X_n is identified with the universal family over C^2n//S_n.
RC-graphs and a generalized Littlewood-Richardson rule
Using a generalization of the Schensted insertion algorithm to rc-graphs, we provide a Littlewood-Richardson rule for multiplying certain Schubert polynomials by Schur polynomials.
Restricted 132-avoiding permutations
Published
• View Publication
• BIB
We study generating functions for the number of permutations on n letters avoiding 132 and an arbitrary permutation $τ$ on k letters, or containing $τ$ exactly once. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind.
Syzygies of Oriented Matroids
Published
• View Publication
• BIB
We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.
A Pieri-type Formula for the Equivariant Cohomology of the Flag Manifold
We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.
Embeddings of Schur functions into types B/C/D
Published
• View Publication
• BIB
We consider the problem of embedding the semi-ring of Schur-positive symmetric polynomials into its analogue for the classical types $B/C/D$. If we preserve highest weights and add the additional Lie-theoretic parity assumption that the weights in images of Schur functions lie in a single translate of the root lattice, there are exactly two solutions. These naturally extend the Kirillov--Reshetikhin decompositions of representations of symplectic and orthogonal quantum affine algebras $U_q(\hat{g})$ (some still conjectural, some recently proven).
Finite Affine Groups: Cycle Indices, Hall-Littlewood Polynomials, and Probabilistic Algorithms
Published
• View Publication
• BIB
The asymptotic study of the conjugacy classes of a random element of the finite affine group leads one to define a probability measure on the set of all partitions of all positive integers. Four different probabilistic understandings of this measure are given--three using symmetric function theory and one using Markov chains. This leads to non-trivial enumerative results. Cycle index generating functions are derived and are used to compute the large dimension limiting probabilities that an element of the affine group is separable, cyclic, or semisimple and to study the convergence to these limits. This yields the first examples of such computations for a maximal parabolic subgroup of a finite classical group.
Max-Min Representation of Piecewise Linear Functions
It is shown that a piecewise linear function can be represented as a Max-Min polynomial of its linear components.
Computing and Sampling Restricted Vertex Degree Subgraphs and Hamiltonian Cycles
Let $G=(V,E)$ be a bipartite graph embedded in a plane (or $n$-holed torus). Two subgraphs of $G$ differ by a {\it $Z$-transformation} if their symmetric difference consists of the boundary edges of a single face---and if each subgraph contains an alternating set of the edges of that face. For a given $φ: V \mapsto \mathbb Z^+$, $S_φ$ is the set of subgraphs of $G$ in which each $v\in V$ has degree $φ(v)$. Two elements of $S_φ$ are said to be adjacent if they differ by a $Z$-transformation. We determine the connected components of $S_φ$ and assign a {\it height function} to each of its elements.
If $φ$ is identically two, and $G$ is a grid graph, $S_φ$ contains the partitions of the vertices of $G$ into cycles. We prove that we can always apply a series of $Z$-transformations to decrease the total number of cycles provided there is enough ``slack'' in the corresponding height function. This allows us to determine in polynomial time the minimal number of cycles into which $G$ can be partitioned provided $G$ has a limited number of non-square faces. In particular, we determine the Hamiltonicity of polyomino graphs in $O(|V|^2)$ steps. The algorithm extends to $n$-holed-torus-embedded graphs that have grid-like properties. We also provide Markov chains for sampling and approximately counting the Hamiltonian cycles of $G$.
Local statistics for random domino tilings of the Aztec diamond
Published in Duke Mathematical Journal 85 (1996), 117-166
• View Publication
• BIB
We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance to domino tilings is demonstrated elsewhere), and to combine these estimates with some exponential sum bounds to deduce our final result. This approach generalizes straightforwardly to the case in which the probability distribution on the set of tilings incorporates bias favoring horizontal over vertical tiles or vice versa. We also prove a fairly general large deviation estimate for domino tilings of simply-connected planar regions that implies that some of our results on Aztec diamonds apply to many other similar regions as well.
Polynomiality of the q,t-Kostka Revisited
Published
• View Publication
• BIB
Let $K(q,t)= \|K_{\laμ}(q,t)\|_{\la,μ}$ be the Macdonald q,t-Kostka matrix and $K(t)=K(0,t)$ be the matrix of the Kostka-Foulkes polynomials K_{\laμ}(t). In this paper we present a new proof of the polynomiality of the q,t-Kostka coefficients that is both short and elementary. More precisely, we derive that $K(q,t)$ has entries in \ZZ[q,t] directly from the fact that the matrix $K(t)^{-1}$ has entries in \ZZ[t]. The proof uses only identities that can be found in the original paper [7] of Macdonald.