arXiv++ Combinatorics

Browse math.CO papers from arXiv

representation ↗ reference

4049 papers tagged with this keyword
2005-02-13 v2
Random recursive trees and the Bolthausen-Sznitman coalescent
Published in Electron. J. Probab. Vol. 10 (2005) paper 21, pp. 718-745 • View PublicationBIB
We describe a representation of the Bolthausen-Sznitman coalescent in terms of the cutting of random recursive trees. Using this representation, we prove results concerning the final collision of the coalescent restricted to [n]: we show that the distribution of the number of blocks involved in the final collision converges as n tends to infinity, and obtain a scaling law for the sizes of these blocks. We also consider the discrete-time Markov chain giving the number of blocks after each collision of the coalescent restricted to [n]; we show that the transition probabilities of the time-reversal of this Markov chain have limits as n tends to infinity. These results can be interpreted as describing a ``post-gelation'' phase of the Bolthausen-Sznitman coalescent, in which a giant cluster containing almost all of the mass has already formed and the remaining small blocks are being absorbed.
2005-02-11
Universal lattices and unbounded rank expanders
Published • View PublicationBIB
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets. As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.
2005-02-07 v4
A Combinatorial Model for Crystals of Kac-Moody Algebras
Published • View PublicationBIB
We present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model. We describe crystal graphs and give a Littlewood-Richardson rule for decomposing tensor products of irreducible representations. The new model is based on the notion of a lambda-chain, which is a chain of positive roots defined by certain interlacing conditions.
2005-02-04
On the representation of bent functions by bent rectangles
Published in Probabilistic Methods in Discrete Mathematics: Proceedings of the Fifth International Petrozavodsk Conference (Petrozavodsk, June 1-6, 2000). Utrecht, Boston: VSP, pp.121-135, 2002 • Search Publication
We propose a representation of boolean bent functions by bent rectangles, that is, by special matrices with restrictions on rows and columns. Using this representation, we exhibit new classes of bent functions, give an algorithm to construct bent functions, improve a lower bound for the number of bent functions.
Boson Normal Ordering via Substitutions and Sheffer-type Polynomials
Published in Phys. Lett. A 338, 108 (2005) • View PublicationBIB
We solve the boson normal ordering problem for (q(a*)a + v(a*))^n with arbitrary functions q and v and integer n, where a and a* are boson annihilation and creation operators, satisfying [a,a*]=1. This leads to exponential operators generalizing the shift operator and we show that their action can be expressed in terms of substitutions. Our solution is naturally related through the coherent state representation to the exponential generating functions of Sheffer-type polynomials. This in turn opens a vast arena of combinatorial methodology which is applied to boson normal ordering and illustrated by a few examples.
2005-01-14
Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory
Published in RIMS Kokyuroku 1438 (2005) 83-102 • Search Publication
The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.
2005-01-12
The computation of Kostka Numbers and Littlewood-Richardson Coefficients is #P-complete
Published • View PublicationBIB
Kostka numbers and Littlewood-Richardson coefficients play an essential role in the representation theory of the symmetric groups and the special linear groups. There has been a significant amount of interest in their computation. The issue of their computational complexity has been a question of folklore, but was asked explicitly by E. Rassart. We prove that the computation of either quantity is #P-complete. The reduction to computing Kostka numbers, is from the #P-complete problem of counting the number of 2 x k contingency tables having given row and column sums. The main ingredient in this reduction is a correspondence discovered by D. E. Knuth. The reduction to the problem of computing Littlewood-Richardson coefficients is from that of computing Kostka numbers.
2005-01-08 v3
Gaussian fluctuations of characters of symmetric groups and of Young diagrams
Published in Probab. Theory Related Fields 136 (2006), no. 2, 263-297 • View PublicationBIB
We study asymptotics of reducible representations of the symmetric groups S_q for large q. We decompose such a representation as a sum of irreducible components (or, alternatively, Young diagrams) and we ask what is the character of a randomly chosen component (or, what is the shape of a randomly chosen Young diagram). Our main result is that for a large class of representations the fluctuations of characters (and fluctuations of the shape of the Young diagrams) are asymptotically Gaussian; in this way we generalize Kerov's central limit theorem. The considered class consists of representations for which the characters almost factorize and this class includes, for example, left-regular representation (Plancherel measure), tensor representations. This class is also closed under induction, restriction, outer product and tensor product of representations. Our main tool in the proof is the method of genus expansion, well known from the random matrix theory.
2005-01-05
Nilpotent orbits of linear and cyclic quivers and Kazhdan-Lusztig polynomials of type A
Published in Represent. Theory 11 (2007), pp. 95-121 • View PublicationBIB
The intersection cohomologies of closures of nilpotent orbits of linear (respectively, cyclic) quivers are known to be described by Kazhdan-Lusztig polynomials for the symmetric group (respectively, the affine symmetric group). We explain how to simplify this description using a combinatorial cancellation procedure, and derive some consequences for representation theory.
2004-12-31 v2
Branching rules, Kostka-Foulkes polynomials and $q$-multiplicities in tensor product for the root systems $B\_{n},C\_{n}$ and $D\_{n}$
Published • View PublicationBIB
The Kostka-Foulkes polynomials $K$ related to a root system $φ$ can be defined as alternated sums running over the Weyl group associated to $φ.$ By restricting these sums over the elements of the symmetric group when $% φ$ is of type $B,C$ or $D$, we obtain again a class $\widetilde{K}$ of Kostka-Foulkes polynomials. When $φ$ is of type $C$ or $D$ there exists a duality beetween these polynomials and some natural $q$-multiplicities $U$ in tensor product \cite{lec}. In this paper we first establish identities for the $\widetilde{K}$ which implies in particular that they can be decomposed as sums of Kostka-Foulkes polynomials related to the root system of type $A$ with nonnegative integer coefficients. Moreover these coefficients are branching rule coefficients. This allows us to clarify the connection beetween the $q$-multiplicities $U$ and the polynomials defined by Shimozono and Zabrocki in \cite{SZ}. Finally we establish that the $q$-multiplicities $U$ defined for the tensor powers of the vector representation coincide up to a power of $q$ with the one dimension sum $X$ introduced in \cite{Ok} This shows that in this case the one dimension sums $% X$ are affine Kazhdan-Lusztig polynomials.
2004-12-28 v3
A Construction of Coxeter Group Representations (II)
Published • View PublicationBIB
An axiomatic approach to the representation theory of Coxeter groups and their Hecke algebras was presented in [1]. Combinatorial aspects of this construction are studied in this paper. In particular, the symmetric group case is investigated in detail. The resulting representations are completely classified and include the irreducible ones.
2004-12-22
Tensorial square of the Hyperoctahedral group Coinvariant Space
Published • View PublicationBIB
The purpose of this paper is to give an explicit description of the trivial and alternating components of the irreducible representation decomposition of the bigraded module obtained as the tensor square of the coinvariant space for hyperoctahedral groups.
2004-12-14 v2
Word Representations of m x n x p Proper Arrays
Let $m\neq n$. An $m\times n\times p$ proper array is a three-dimensional array composed of directed cubes that obeys certain constraints. Because of these constraints, the $m\times n\times p$ proper arrays may be classified via a schema in which each $m\times n\times p$ proper array is associated with a particular $m\times n$ planar face. By representing each connencted component present in the $m\times n$ planar face with a distinct letter, and the position of each outward pointing connector by a circle, an $m\times n$ array of circled letters is formed. This $m\times n$ array of circled letters is the word representation associated with the $m\times n\times p$ proper array. The main result of this paper involves the enumeration of all $m\times n$ word representations modulo symmetry, where the symmetry is derived from the group $D_2 = C_2\times C_2$ acting on the set of word representations. This enumeration is achieved by forming a linear combination of four exponential generating functions, each of which is derived from a particular symmetry operation. This linear combination counts the number of partitions of the set of $m\times n$ words representations that are inequivalent under $D_2$.
2004-12-13 v2
Letter Representations of m x n x p Proper Arrays
Let $m\neq n$. An $m\times n\times p$ {\it proper array} is a three-dimensional rectangular array composed of directed cubes that obeys certain constraints. Because of these constraints, the $m\times n\times p$ proper arrays may be classified via a schema in which each $m\times n\times p$ proper array is associated with a particular $m\times n$ planar face. By representing each connected component present in the $m\times n$ planar face with a distinct letter, an $m\times n$ array of letters is formed. This $m\times n$ array of letters is the {\it letter representation} associated with the $m\times n\times p$ proper array. The main result of this paper involves the enumeration of all $m\times n$ letter representations modulo symmetry, where the symmetry is derived from the group $D_2 = C_2\times C_2$ acting on the set of letter representations. The enumeration is achieved by forming a linear combination of four exponential generating functions, each of which is derived from a particular symmetry operation. This linear combination counts the number of partitions of the set of $m\times n$ letter representations that are inequivalent under $D_2$. This is done by forming four generating functions, each of which derives from a particular symmetry operation.
2004-12-01 v2
The smash product of symmetric functions. Extended abstract
We construct a new operation among representations of the symmetric group that interpolates between the classical internal and external products, which are defined in terms of tensor product and induction of representations. Following Malvenuto and Reutenauer, we pass from symmetric functions to non-commutative symmetric functions and from there to the algebra of permutations in order to relate the internal and external products to the composition and convolution of linear endomorphisms of the tensor algebra. The new product we construct corresponds to the smash product of endomorphisms of the tensor algebra. For symmetric functions, the smash product is given by a construction which combines induction and restriction of representations. For non-commutative symmetric functions, the structure constants of the smash product are given by an explicit combinatorial rule which extends a well-known result of Garsia, Remmel, Reutenauer, and Solomon for the descent algebra. We describe the dual operation among quasi-symmetric functions in terms of alphabets.
2004-11-30 v2
Asymptotics of characters of symmetric groups, genus expansion and free probability
Published in Discrete Math., 306 (7):624-665, 2006 • View PublicationBIB
The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys--Murphy element involves many conjugacy classes with complicated coefficients. In this article we consider a combinatorial setup which allows us to manipulate such products easily: to each conjugacy class we associate a two-dimensional surface and the asymptotic properties of the conjugacy class depend only on the genus of the resulting surface. This construction closely resembles the genus expansion from the random matrix theory. As the main application we study irreducible representations of symmetric groups S_q for large q. We find the asymptotic behavior of characters when the corresponding Young diagram rescaled by a factor q^{-1/2} converge to a prescribed shape. The character formula (known as the Kerov polynomial) can be viewed as a power series, the terms of which correspond to two-dimensional surfaces with prescribed genus and we compute explicitly the first two terms, thus we prove a conjecture of Biane.
2004-11-25 v2
Square ice, alternating sign matrices and classical orthogonal polynomials
Published in J.Stat.Mech.0501:P01005,2005 • View PublicationBIB
The six-vertex model with Domain Wall Boundary Conditions, or square ice, is considered for particular values of its parameters, corresponding to 1-, 2-, and 3-enumerations of Alternating Sign Matrices (ASMs). Using Hankel determinant representations for the partition function and the boundary correlator of homogeneous square ice, it is shown how the ordinary and refined enumerations can be derived in a very simple and straightforward way. The derivation is based on the standard relationship between Hankel determinants and orthogonal polynomials. For the particular sets of parameters corresponding to 1-, 2-, and 3-enumerations of ASMs, the Hankel determinant can be naturally related to Continuous Hahn, Meixner-Pollaczek, and Continuous Dual Hahn polynomials, respectively. This observation allows for a unified and simplified treatment of ASMs enumerations. In particular, along the lines of the proposed approach, we provide a complete solution to the long standing problem of the refined 3-enumeration of AMSs.
2004-11-24 v3
Conjugacy in Permutation Representations of the Symmetric Group
Published • View PublicationBIB
Although the conjugacy classes of the general linear group are known, it is not obvious (from the canonic form of matrices) that two permutation matrices are similar if and only if they are conjugate as permutations in the symmetric group, i.e. that conjugacy classes of S_n do not unite under the natural representation. We prove this fact, and give its application to the enumeration of fixed points under a natural action of S_n x S_n. We also consider the permutation representations of S_n which arise from the action of S_n on k-tuples, and classify which of them unite conjugacy classes and which do not.
2004-11-24
Permutation representations on invertible matrices
Published • View PublicationBIB
We discuss permutation representations which are obtained by the natural action of $S_n \times S_n$ on some special sets of invertible matrices, defined by simple combinatorial attributes. We decompose these representations into irreducibles. The multiplicities involved have a nice combinatorial interpretation. We also generalize known results on asymptotic behavior of the conjugacy representation of $S_n$.
2004-11-10
Faces and bases: Boolean intervals
We consider redundant analogues of the f- and h-vectors of simplicial complexes and present bases of R^{m+1} related to these ``long'' f- and h-vectors describing the face systems from 2^{1,...,m}; we list the corresponding change of basis matrices. The representations of the long f- and h-vectors of a face system with respect to various bases are expressed based on partitions of the system into Boolean intervals.