Coloured peak algebras and Hopf algebras

For $G$ a finite abelian group, we study the properties of general equivalence relations on G_n=G^n\rtimes \SG_n, the wreath product of $G$ with the symmetric group \SG_n, also known as the $G$-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of \k G_n as well as graded connected Hopf subalgebras of \bigoplus_{n\ge o} \k G_n. In particular we construct a $G$-coloured peak subalgebra of the Mantaci-Reutenauer algebra (or $G$-coloured descent algebra). We show that the direct sum of the $G$-coloured peak algebras is a Hopf algebra. We also have similar results for a $G$-colouring of the Loday-Ronco Hopf algebras of planar binary trees. For many of the equivalence relations under study, we obtain a functor from the category of finite abelian groups to the category of graded connected Hopf algebras. We end our investigation by describing a Hopf endomorphism of the $G$-coloured descent Hopf algebra whose image is the $G$-coloured peak Hopf algebra. We outline a theory of combinatorial $G$-coloured Hopf algebra for which the $G$-coloured quasi-symmetric Hopf algebra and the graded dual to the $G$-coloured peak Hopf algebra are central objects.Comment: 26 pages latex2

Mask formulas for cograssmannian Kazhdan-Lusztig polynomials

We give two contructions of sets of masks on cograssmannian permutations that can be used in Deodhar's formula for Kazhdan-Lusztig basis elements of the Iwahori-Hecke algebra. The constructions are respectively based on a formula of Lascoux-Schutzenberger and its geometric interpretation by Zelevinsky. The first construction relies on a basis of the Hecke algebra constructed from principal lower order ideals in Bruhat order and a translation of this basis into sets of masks. The second construction relies on an interpretation of masks as cells of the Bott-Samelson resolution. These constructions give distinct answers to a question of Deodhar.Comment: 43 page

Generalized Involution Models for Wreath Products

We prove that if a finite group $H$ has a generalized involution model, as defined by Bump and Ginzburg, then the wreath product $H \wr S_n$ also has a generalized involution model. This extends the work of Baddeley concerning involution models for wreath products. As an application, we construct a Gelfand model for wreath products of the form $A \wr S_n$ with $A$ abelian, and give an alternate proof of a recent result due to Adin, Postnikov, and Roichman describing a particularly elegant Gelfand model for the wreath product \ZZ_r \wr S_n. We conclude by discussing some notable properties of this representation and its decomposition into irreducible constituents, proving a conjecture of Adin, Roichman, and Postnikov's.Comment: 29 page

Fluctuation properties of the TASEP with periodic initial configuration

We consider the joint distributions of particle positions for the continuous time totally asymmetric simple exclusion process (TASEP). They are expressed as Fredholm determinants with a kernel defining a signed determinantal point process. We then consider certain periodic initial conditions and determine the kernel in the scaling limit. This result has been announced first in a letter by one of us and here we provide a self-contained derivation. Connections to last passage directed percolation and random matrices are also briefly discussed.Comment: 33 pages, 4 figure, LaTeX; We added several references to the general framework and techniques use

Functional central limit theorems for vicious walkers

We consider the diffusion scaling limit of the vicious walker model that is a system of nonintersecting random walks. We prove a functional central limit theorem for the model and derive two types of nonintersecting Brownian motions, in which the nonintersecting condition is imposed in a finite time interval $(0,T]$ for the first type and in an infinite time interval $(0,\infty)$ for the second type, respectively. The limit process of the first type is a temporally inhomogeneous diffusion, and that of the second type is a temporally homogeneous diffusion that is identified with a Dyson's model of Brownian motions studied in the random matrix theory. We show that these two types of processes are related to each other by a multi-dimensional generalization of Imhof's relation, whose original form relates the Brownian meander and the three-dimensional Bessel process. We also study the vicious walkers with wall restriction and prove a functional central limit theorem in the diffusion scaling limit.Comment: AMS-LaTeX, 20 pages, 2 figures, v6: minor corrections made for publicatio

Scaling limit of vicious walks and two-matrix model

We consider the diffusion scaling limit of the one-dimensional vicious walker model of Fisher and derive a system of nonintersecting Brownian motions. The spatial distribution of $N$ particles is studied and it is described by use of the probability density function of eigenvalues of $N \times N$ Gaussian random matrices. The particle distribution depends on the ratio of the observation time $t$ and the time interval $T$ in which the nonintersecting condition is imposed. As $t/T$ is going on from 0 to 1, there occurs a transition of distribution, which is identified with the transition observed in the two-matrix model of Pandey and Mehta. Despite of the absence of matrix structure in the original vicious walker model, in the diffusion scaling limit, accumulation of contact repulsive interactions realizes the correlated distribution of eigenvalues in the multimatrix model as the particle distribution.Comment: REVTeX4, 12 pages, no figure, minor corrections made for publicatio

An algebraic scheme associated with the noncommutative KP hierarchy and some of its extensions

A well-known ansatz (`trace method') for soliton solutions turns the equations of the (noncommutative) KP hierarchy, and those of certain extensions, into families of algebraic sum identities. We develop an algebraic formalism, in particular involving a (mixable) shuffle product, to explore their structure. More precisely, we show that the equations of the noncommutative KP hierarchy and its extension (xncKP) in the case of a Moyal-deformed product, as derived in previous work, correspond to identities in this algebra. Furthermore, the Moyal product is replaced by a more general associative product. This leads to a new even more general extension of the noncommutative KP hierarchy. Relations with Rota-Baxter algebras are established.Comment: 59 pages, relative to the second version a few minor corrections, but quite a lot of amendments, to appear in J. Phys.

Hopf algebras and Markov chains: Two examples and a theory

The operation of squaring (coproduct followed by product) in a combinatorial Hopf algebra is shown to induce a Markov chain in natural bases. Chains constructed in this way include widely studied methods of card shuffling, a natural "rock-breaking" process, and Markov chains on simplicial complexes. Many of these chains can be explictly diagonalized using the primitive elements of the algebra and the combinatorics of the free Lie algebra. For card shuffling, this gives an explicit description of the eigenvectors. For rock-breaking, an explicit description of the quasi-stationary distribution and sharp rates to absorption follow.Comment: 51 pages, 17 figures. (Typographical errors corrected. Further fixes will only appear on the version on Amy Pang's website, the arXiv version will not be updated.