arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11422 papers tagged with this keyword
2000-01-20
Fermionic formulas for level-restricted generalized Kostka polynomials and coset branching functions
Published in Commun.Math.Phys. 220 (2001) 105-164 • View Publication • BIB
Level-restricted paths play an important role in crystal theory. They correspond to certain highest weight vectors of modules of quantum affine algebras. We show that the recently established bijection between Littlewood--Richardson tableaux and rigged configurations is well-behaved with respect to level-restriction and give an explicit characterization of level-restricted rigged configurations. As a consequence a new general fermionic formula for the level-restricted generalized Kostka polynomial is obtained. Some coset branching functions of type $A$ are computed by taking limits of these fermionic formulas.
2000-01-14
Une identité remarquable en théorie des partitions
Published in Math. Annalen, 318 (2000), 299-313 • View Publication • BIB
We prove an identity about partitions, previously conjectured in the study of shifted Jack polynomials (math.CO/9903020). The proof given is using $λ$-ring techniques. It would be interesting to obtain a bijective proof.
2000-01-10
Left-modular elements
Published in J. Combin. Theory (A) 91 (2000), 369-385. • View Publication • BIB
Left-modularity is a concept that generalizes modularity in lattice theory. In this paper, we give a characterization of left-modular elements and derive two formulae for the characteristic polynomial of a lattice with such an element, one of which generalizes Stanley's Partial Factorization Theorem for a geometric lattice with a modular element. Both formulae provide us with inductive proofs of Blass and Sagan's Total Factorization Theorem for LL lattices. The characteristic polynomials and Mobius functions of non-crossing partition lattices and shuffle posets are computed as examples.
2000-01-04
Random vicious walks and random matrices
Published • View Publication • BIB
Lock step walker model is a one-dimensional integer lattice walker model in discrete time. Suppose that initially there are infinitely many walkers on the non-negative even integer sites. At each tick of time, each walker moves either to its left or to its right with equal probability. The only constraint is that no two walkers can occupy the same site at the same time. It is proved that in the large time limit, a certain conditional probability of the displacement of the leftmost walker is identical to the limiting distribution of the properly scaled largest eigenvalue of a random GOE matrix (GOE Tracy-Widom distribution). The proof is based on the bijection between path configurations and semistandard Young tableaux established recently by Guttmann, Owczarek and Viennot. Statistics of semistandard Young tableaux is analyzed using the Hankel determinant expression for the probability from the work of Rains and the author. The asymptotics of the Hankel determinant is obtained by applying the Deift-Zhou steepest-descent method to the Riemann-Hilbert problem for the related orthogonal polynomials.
1999-12-24
Torus actions, equivariant moment-angle complexes, and coordinate subspace arrangements
Published in J. Math. Sci. (N. Y.) 113 (2003), no. 4, 558-568 • View Publication • BIB
We show that the cohomology algebra of the complement of a coordinate subspace arrangement in m-dimensional complex space is isomorphic to the cohomology algebra of Stanley-Reisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) Then we calculate the latter cohomology algebra by means of the standard Koszul resolution of polynomial ring. To prove these facts we construct an equivariant with respect to the torus action homotopy equivalence between the complement of a coordinate subspace arrangement and the moment-angle complex defined by the simplicial complex. The moment-angle complex is a certain subset of a unit poly-disk in m-dimensional complex space invariant with respect to the action of an m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere, but otherwise has more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the Eilenberg-Moore spectral sequence. We also relate our results with well known facts in the theory of toric varieties and symplectic geometry.
1999-12-21 v2
On Alexander-Conway Polynomials for Virtual Knots and Links
A polynomial invariant of virtual links, arising from an invariant of links in thickened surfaces introduced by Jaeger, Kauffman, and Saleur, is defined and its properties are investigated. Examples are given that the invariant can detect chirality and even non-invertibility of virtual knots and links. Furthermore, it is shown that the polynomial satisfies a Conway-type skein relation - in contrast to the Alexander polynomial derived from the virtual link group.
1999-12-17
New Examples of Potential Theory on Bratelli Diagrams
We consider potential theory on Bratteli diagrams arising from Macdonald polynomials. The case of Hall-Littlewood polynomials is particularly interesting; the elements of the diagram are partitions, the branching multiplicities are integers, the combinatorial dimensions are Green's polynomials, and the Jordan form of a randomly chosen unipotent upper triangular matrix over a finite field gives rise to a harmonic function. The case of Schur functions yields natural deformations of the Young lattice and Plancharel measure. Many harmonic functions are constructed and algorithms for sampling from the underlying probability measures are given.
1999-12-15
Harmonic functions on multiplicative graphs and interpolation polynomials
Published in Electronic Journal of Combinatorics 7 (2000), paper R28 • View Publication • BIB
We construct examples of nonnegative harmonic functions on certain graded graphs: the Young lattice and its generalizations. Such functions first emerged in harmonic analysis on the infinite symmetric group. Our method relies on multivariate interpolation polynomials associated with Schur's S and P functions and with Jack symmetric functions. As a by-product, we compute certain Selberg-type integrals.
1999-12-12 v4
Ubiquity of Kostka polynomials
Published • View Publication • BIB
We report about results revolving around Kostka-Foulkes and parabolic Kostka polynomials and their connections with Representation Theory and Combinatorics. It appears that the set of all parabolic Kostka polynomials forms a semigroup, which we call {\it Liskova semigroup}. We show that polynomials frequently appearing in Representation Theory and Combinatorics belong to the Liskova semigroup. Among such polynomials we study rectangular $q$-Catalan numbers; generalized exponents polynomials; principal specializations of the internal product of Schur functions; generalized $q$-Gaussian polynomials; parabolic Kostant partition function and its $q$-analog; certain generating functions on the set of transportation matrices. In each case we apply rigged configurations technique to obtain some interesting and new information about Kostka-Foulkes and parabolic Kostka polynomials, Kostant partition function, MacMahon, Gelfand-Tsetlin and Chan-Robbins polytopes. We describe certain connections between generalized saturation and Fulton's conjectures and parabolic Kostka polynomials; domino tableaux and rigged configurations. We study also some properties of $l$-restricted generalized exponents and the stable behaviour of certain Kostka-Foulkes polynomials.
1999-12-06 v2
Restricted permutations, continued fractions, and Chebyshev polynomials
Published • View Publication • BIB
Let f_n^r(k) be the number of 132-avoiding permutations on n letters that contain exactly r occurrences of 12... k, and let F_r(x;k) and F(x,y;k) be the generating functions defined by $F_r(x;k)=\sum_{n\gs0} f_n^r(k)x^n$ and $F(x,y;k)=\sum_{r\gs0}F_r(x;k)y^r$. We find an explcit expression for F(x,y;k) in the form of a continued fraction. This allows us to express F_r(x;k) for $1\ls r\ls k$ via Chebyshev polynomials of the second kind.
1999-11-21
Mod 2 cohomology of combinatorial Grassmannians
Published in Selecta Mathematica 8 (2002), 161-200 • View Publication • BIB
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes. The homotopy groups of this poset are related to the image of the J-homomorphism from stable homotopy theory.
1999-11-11 v2
Growth in free groups (and other stories)
We start by studying the distribution of (cyclically reduced) elements of the free groups with respect to their abelianization. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions $\mod p$ ($p$ -- an arbitrary prime) of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.
1999-10-31
Polynomial method in coding and information theory
Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the applicability of the method was extended to cover a wider range of problems in coding and information theory. In this paper we present a general framework for the method which includes previous results as particular cases. We explain how this generalization leads to new asymptotic bounds on the performance of codes in binary-input memoryless channels and the Gaussian channel, which improve the results of Shannon et al. of 1959-67, and to a number of other results in combinatorial coding theory.
1999-10-30
Chromatic Polynomials, Potts Models and All That
Published in Physica A279 (2000) 324-332 • View Publication • BIB
The q-state Potts model can be defined on an arbitrary finite graph, and its partition function encodes much important information about that graph, including its chromatic polynomial, flow polynomial and reliability polynomial. The complex zeros of the Potts partition function are of interest both to statistical mechanicians and to combinatorists. I give a pedagogical introduction to all these problems, and then sketch two recent results: (a) Construction of a countable family of planar graphs whose chromatic zeros are dense in the whole complex q-plane except possibly for the disc |q-1| < 1. (b) Proof of a universal upper bound on the q-plane zeros of the chromatic polynomial (or antiferromagnetic Potts-model partition function) in terms of the graph's maximum degree.
1999-10-12 v2
Semisymmetric polynomials and the invariant theory of matrix vector pairs
Published in Represent. Theory 5 (2001), 224-266 • View Publication • BIB
In this paper we introduce and investigate a one-parameter family of polynomials. They are semisymmetric, i.e. symmetric in the variables with odd and even index separately. In fact, the family forms a basis of the space of semisymmetric polynomials. For two values of the parameter r, namely r=1/2 and r=1, the polynomials have a representation theoretic meaning. In general, they form the semisymmetric analogue of (shifted) Jack polynomials.
1999-10-11
Lamps, Factorizations and Finite Fields
Published in Amer. Math. Monthly 107 (2000), no. 5, 429--436 • View Publication • BIB
I answer a question from the 1993 International Mathematical Olympiads by constructing an equivalent algebraic problem, and unearth a surprising behaviour of some polynomials over the two-element field.
1999-09-28
Torus actions and combinatorics of polytopes
Published in Proceedings of the Steklov Institute of Mathematics 225 (1999), 87-120 • Search Publication
An n-dimensional polytope P^n is called simple if exactly n codimension-one faces meet at each vertex. The lattice of faces of a simple polytope P^n with m codimension-one faces defines an arrangement of even-dimensional planes in R^{2m}. We construct a free action of the group R^{m-n} on the complement of this arrangement. The corresponding quotient is a smooth manifold Z_P invested with a canonical action of the compact torus T^m with the orbit space P^n. For each smooth projective toric variety M^{2n} defined by a simple polytope P^n with the given lattice of faces there exists a subgroup T^{m-n}\subset T^m acting freely on Z_P such that Z_P/T^{m-n}=M^{2n}. We calculate the cohomology ring of Z_P and show that it is isomorphic to the cohomology ring of the face ring of P^n regarded as a module over the polynomial ring. In this way the cohomology of Z_P acquires a bigraded algebra structure, and the additional grading allows to catch the combinatorial invariants of the polytope. At the same time this gives an example of explicit calculation of the cohomology of the complement of an arrangement of planes, which is of independent interest.
1999-09-28
Antichains of Monomial Ideals are Finite
Published • View Publication • BIB
The main result of this paper is that all antichains are finite in the poset of monomial ideals in a polynomial ring, ordered by inclusion. We present several corollaries of this result, both simpler proofs of results already in the literature and new results. One natural generalization to more abstract posets is shown to be false.
1999-09-19
Counting functions for branched covers of elliptic curves and quasi-modular forms
We prove that each counting function of the m-simple branched covers with a fixed genus of an elliptic curve is expressed as a polynomial of the Eisenstein series E_2, E_4 and E_6 . The special case m=2 is considered by Dijkgraaf.
1999-09-17 v3
Random words, quantum statistics, central limits, random matrices
Published in Methods Appl. Anal. 9 (2002), no. 1, 101-119 • View Publication • BIB
Recently Tracy and Widom conjectured [math.CO/9904042] and Johansson proved [math.CO/9906120] that the expected shape λof the semi-standard tableau produced by a random word in k letters is asymptotically the spectrum of a random traceless k by k GUE matrix. In this article we give two arguments for this fact. In the first argument, we realize the random matrix itself as a quantum random variable on the space of random words, if this space is viewed as a quantum state space. In the second argument, we show that the distribution of λis asymptotically given by the usual local limit theorem, but the resulting Gaussian is disguised by an extra polynomial weight and by reflecting walls. Both arguments more generally apply to an arbitrary finite-dimensional representation V of an arbitrary simple Lie algebra g. In the original question, V is the defining representation of g = su(k).