23 pagesInternational audienceWe identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras
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.
A function on the state space of a Markov chain is a "lumping" if observing only the function values gives a Markov chain. We give very general conditions for lumpings of a large class of algebraically-defined Markov chains, which include random walks on groups and other common constructions. We specialise these criteria to the case of descent operator chains from combinatorial Hopf algebras, and, as an example, construct a "top-to-random-with-standardisation" chain on permutations that lumps to a popular restriction-then-induction chain on partitions, using the fact that the algebra of symmetric functions is a subquotient of the Malvenuto-Reutenauer algebra.2 Part I: General Theory 2.1 Matrix notation Given a matrix A , let A(x, y) denote its entry in row x, column y, and write A T for the transpose of A.Let V be a vector space (over R) with basis B, and T : V → V be a linear map. Write [T] B for the matrix of T with respect to B . In other words, the entries of [T] B satisfy T(x) = y∈B [T] B (y, x)y for each x ∈ B. 1 (The sections have both custom numbering and standard numerical numbering, to be consistent with the journal version.)
International audience
We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.
Nous montrons que deux structures en apparence bien différentes peuvent être identifiées: les super-caractères, qui sont un outil commode pour faire de l'analyse de Fourier sur le groupe des matrices unipotentes triangulaires supérieures à coefficients dans un corps fini, et l'anneau des fonctions symétriques en variables non-commutatives. Ces deux structures sont des algèbres de Hopf isomorphes. Cette identification permet de traduire dans une structure les dévelopements conçus pour l'autre, et suggère de nombreux exemples dans le domaine nouveau des algèbres de Hopf combinatoires.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.