arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10224 papers tagged with this keyword
2000-01-13 v4
A Probabilistic Proof of the Rogers Ramanujan Identities
Published • View PublicationBIB
The asymptotic probability theory of conjugacy classes of the finite general linear and unitary groups leads to a probability measure on the set of all partitions of natural numbers. A simple method of understanding these measures in terms of Markov chains is given and compared with work on the uniform measure. Elementary probabilistic proofs of the Rogers-Ramanujan identities follow. As a corollary, the main case of Bailey's lemma is interpreted as finding eigenvectors of the transition matrix of the Markov chain. It is shown that the viewpoint of Markov chains extends to quivers.
2000-01-06 v2
The invariants of the Clifford groups
Published • View PublicationBIB
The automorphism group of the Barnes-Wall lattice L_m in dimension 2^m (m not 3) is a subgroup of index 2 in a certain ``Clifford group'' C_m (an extraspecial group of order 2^(1+2m) extended by an orthogonal group). This group and its complex analogue CC_m have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge's 1996 result that the space of invariants for C_m of degree 2k is spanned by the complete weight enumerators of the codes obtained by tensoring binary self-dual codes of length 2k with the field GF(2^m); these are a basis if m >= k-1. We also give new constructions for L_m and C_m: let M be the Z[sqrt(2)]-lattice with Gram matrix [2, sqrt(2); sqrt(2), 2]. Then L_m is the rational part of the mth tensor power of M, and C_m is the automorphism group of this tensor power. Also, if C is a binary self-dual code not generated by vectors of weight 2, then C_m is precisely the automorphism group of the complete weight enumerator of the tensor product of C and GF(2^m). There are analogues of all these results for the complex group CC_m, with ``doubly-even self-dual code'' instead of ``self-dual code''.
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 v2
Integrals over classical Groups, Random permutations, Toda and Toeplitz lattices
Published • View PublicationBIB
Matrix Fourier-like integrals over the classical groups O_+(n), O_-(n), Sp(n) and U(n) are connected with the distribution of the length of the longest increasing sequence in random permutations and random involutions and the spectrum of random matrices. One of the purposes of this paper is to show that all those integrals satisfy the Painlevé V equation with specific initial conditions. In this work, we present both, new results and known ones, in a unified way. Our method consists of inserting one set of time variables t=(t_1,t_2,...) in the integrals for the real compact groups and two sets of times (t,s) for the unitary group. The point is that these new time-dependent integrals satisfy integrable hierarchies: (i) O(n) and Sp(n) correspond to the standard Toda lattice. (ii) U(n) corresponds to the Toeplitz lattice, a very special reduction of the discrete sinh-Gordon equation. Both systems, the standard Toda lattice and the Toeplitz lattice are also reductions of the 2-Toda lattice, thus leading to a natural vertex operator, and so, a natural Virasoro algebra, a subalgebra of which annihilates the tau-functions. Combining these equations leads to the Painlevé V equation for the integrals.
1999-12-15
Harmonic functions on multiplicative graphs and interpolation polynomials
Published in Electronic Journal of Combinatorics 7 (2000), paper R28 • View PublicationBIB
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-15
Stratified spaces formed by totally positive varieties
Published • View PublicationBIB
By a theorem of A.Björner, for every interval $[u,v]$ in the Bruhat order of a Coxeter group $W$, there exists a stratified space whose strata are labeled by the elements of $[u,v]$, adjacency is described by the Bruhat order, and each closed stratum (resp., the boundary of each stratum) has the homology of a ball (resp., of a sphere). Answering a question posed by Björner, we suggest a natural geometric realization of these stratified spaces for a Weyl group $W$ of a semisimple Lie group $G$, and prove its validity in the case of the symmetric group. Our stratified spaces arise as links in the Bruhat decomposition of the totally nonnegative part of the unipotent radical of $G$.
1999-12-12 v2
Riemann-Hilbert problem and the discrete Bessel kernel
We use discrete analogs of Riemann-Hilbert problem's methods to derive the discrete Bessel kernel which describes the poissonized Plancherel measures for symmetric groups. To do this we define discrete analogs of a Riemann-Hilbert problem and of an integrable integral operator and show that computing the resolvent of a discrete integrable operator can be reduced to solving a corresponding discrete Riemann-Hilbert problem. We also give an example, explicitly solvable in terms of classical special functions, when a discrete Riemann-Hilbert problem converges in a certain scaling limit to a conventional one; the example originates from the representation theory of the infinite symmetric group.
1999-12-03 v4
Generalized Riffle Shuffles and Quasisymmetric Functions
Published • View PublicationBIB
This paper concerns a probability distribution on the symmetric group generalizing the riffle shuffle of Bayer, Diaconis, and others. There are close connections with the theory of quasisymmetric and symmetric functions.
1999-11-21
Mod 2 cohomology of combinatorial Grassmannians
Published in Selecta Mathematica 8 (2002), 161-200 • View PublicationBIB
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-22 v2
Robinson-Schensted correspondence and left cells
Published • View PublicationBIB
Although the Robinson-Schensted-Knuth correspondence is a classical subject, its study is still active because of new development in last two decades. In this field, fundamental results are sometimes proved by using machineries which may be bypassed. Hence we still feel a lack of good source for these elementary materials. This paper is intended to fill in this lack about the RSK correspondence and the left cells of the symmetric group. It is mostly survey-like, but shows the variety of fields the RSK correspondence is related to.
1999-10-22
Monodromy of fiber-type arrangements and orbit configuration spaces
Published in Forum Math. 13 (2001), 505-530 • View PublicationBIB
We prove similar theorems concerning the structure of bundles involving complements of fiber-type hyperplane arrangements and orbit configuration spaces. These results facilitate analysis of the fundamental groups of these spaces, which may be viewed as generalizations of the Artin pure braid group. In particular, we resolve two disparate conjectures. We show that the Whitehead group of the fundamental group of the complement of a fiber-type arrangement is trivial, as conjectured by Aravinda, Farrell, and Rouchon. For the orbit configuration space corresponding to the natural action of a finite cyclic group on the punctured plane, we determine the structure of the Lie algebra associated to the lower central series of the fundamental group. Our results show that this Lie algebra is isomorphic to the module of primitives in the homology of the loop space of a related orbit configuration space, as conjectured by Xicotencatl.
1999-10-18 v3
Affine shuffles, shuffles with cuts, the Whitehouse module, and patience sorting
Published • View PublicationBIB
Type A affine shuffles are compared with riffle shuffles followed by a cut. Although these probability measures on the symmetric group S_n are different, they both satisfy a convolution property. Strong evidence is given that when the underlying parameter $q$ satisfies $gcd(n,q-1)=1$, the induced measures on conjugacy classes of the symmetric group coincide. This gives rise to interesting combinatorics concerning the modular equidistribution by major index of permutations in a given conjugacy class and with a given number of cyclic descents. It is proved that the use of cuts does not speed up the convergence rate of riffle shuffles to randomness. Generating functions for the first pile size in patience sorting from decks with repeated values are derived. This relates to random matrices.
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-09
Universality of correlations of levels with discrete statistics
Published • View PublicationBIB
We study the statistics of a system of N random levels with integer values, in the presence of a logarithmic repulsive potential of Dyson type. This probleme arises in sums over representations (Young tableaux) of GL(N) in various matrix problems and in the study of statistics of partitions for the permutation group. The model is generalized to include an external source and its correlators are found in closed form for any N. We reproduce the density of levels in the large N and double scaling limits and the universal correlation functions in Dyson's short-distance scaling limit. We also study the statistics of small levels.
1999-08-24
A straightening algorithm for row-convex tableaux
Published • View PublicationBIB
We produce a new basis for the Schur and Weyl modules associated to a row-convex shape, D. The basis is indexed by new class of "straight" tableaux which we introduce by weakening the usual requirements for standard tableaux. Spanning is proved via a new straightening algorithm for expanding elements of the representation into this basis. For skew shapes, this algorithm specializes to the classical straightening law. The new straight basis is used to produce bases for flagged Schur and Weyl modules, to provide Groebner and sagbi bases for the homogeneous coordinate rings of some configuration varieties and to produce a flagged branching rule for row-convex representations. Systematic use of supersymmetric letterplace techniques enables the representation theoretic results to be applied to representations of the general linear Lie superalgebra as well as to the general linear group.
1999-08-17 v2
Hecke Algebra Actions on the Coinvariant Algebra
Published • View PublicationBIB
Two actions of the Hecke algebra of type A on the corresponding polynomial ring are studied. Both are deformations of the natural action of the symmetric group on polynomials, and keep symmetric functions invariant. We give an explicit description of these actions, and deduce a combinatorial formula for the resulting graded characters on the coinvariant algebra.
1999-08-14
Zeta Functions Of Discrete Groups Acting On Trees
Published • View PublicationBIB
This paper generalizes Bass' work on zeta functions for uniform tree lattices. Using the theory of von Neumann algebras, machinery is developed to define the zeta function of a discrete group of automorphisms of a bounded degree tree. The main theorems relate the zeta function to determinants of operators defined on edges or vertices of the tree. A zeta function associated to a non-uniform tree lattice with appropriate Hilbert representation is defined. Zeta functions are defined for infinite graphs with a cocompact or finite covolume group action.
1999-08-13
Central Limit Theorem for local linear statistics in classical compact groups and related combinatorial identities
Published • View PublicationBIB
We discuss CLT for the global and local linear statistics of random matrices from classical compact groups. The main part of our proofs are certain combinatorial identities much in the spirit of works by Kac and Spohn.
1999-07-13
Logged Rewriting Procedures with Application to Identities Among Relations
The key idea is that rewriting procedures can be enhanced so that they not only rewrite words but record (log) how the rewriting has taken place. We introduce logged rewrite systems and present a variation on the Knuth-Bendix algorithm for obtaining (where possible) complete logged rewrite systems. This procedure is then applied to work of Brown and Razak Salleh, and an algorithm is developed which provides a set of generators for the module of identities among relations of a group presentation.