Hopf algebra structure on packed square matrices.

DOI10.1016/J.JCTA.2015.02.001MaRDI QIDQ2347880zbMATH OpenOpenAlexFDO

Authors Hayat Cheballah, Samuele Giraudo, Rémi Maurice

Publication date 10 June 2015

Published in Journal of Combinatorial Theory. Series A (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1306.6605

zbMATH Keywords

alternating sign matricesHopf algebraspacked square matricessix-vertex modeluniform block permutations

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Symmetric functions and generalizations (05E05) Connections of Hopf algebras with combinatorics (16T30)

Abstract: We construct a new bigraded Hopf algebra whose bases are indexed by square matrices with entries in the alphabet $0,1,\mathrm{...},k$, $kgeq1$, without null rows or columns. This Hopf algebra generalizes the one of permutations of Malvenuto and Reutenauer, the one of $k$-colored permutations of Novelli and Thibon, and the one of uniform block permutations of Aguiar and Orellana. We study the algebraic structure of our Hopf algebra and show, by exhibiting multiplicative bases, that it is free. We moreover show that it is self-dual and admits a bidendriform bialgebra structure. Besides, as a Hopf subalgebra, we obtain a new one indexed by alternating sign matrices. We study some of its properties and algebraic quotients defined through alternating sign matrices statistics.

Review text

A family indexed by nonnegative integers \(k\) of packed square matrices is introduced and studied; the entries of these matrices are the elements of \(\{0,\ldots,k\}\). The product is given by a shuffle product of the columns and the coproduct is a decomposition of the matrices as concatenations of packed square blocks, up to a decompression of the blocks. It is proved that these Hopf algebras are self-dual, thanks to the transposition, and bidendriform in the sense of \textit{L. Foissy} [J. Pure Appl. Algebra 209, No. 2, 439-459 (2007; Zbl 1123.16030)]. Several subalgebras are introduced, in particular some isomorphic to the Hopf algebra of permutations \(\mathbf{FQSym}\) or to its decorated versions, one isomorphic to the Hopf algebra of uniform block permutations introduced by Aguiar and Orellana, and others related to the Sylvester or to the plactic congruence. A Hopf bidendriform subalgebra of alternating sign matrices is also described, and also certain quotients defined with the help of alternating sign matrices statistics. Note that this article is based on computer explorations using the open-source software Sage and its extension Sage-Combinat.

Recommendations

• A polynomial realization of the Hopf algebra of uniform block permutations.
• scientific article; zbMATH DE number 7058683
• The Hopf algebra of uniform block permutations.
• About the packed words Hopf algebra WMat
• Hopf algebras of \(m\)-permutations, \((m + 1)\)-ary trees, and \(m\)-parking functions
• Hopf algebras of diagrams
• Commutative combinatorial Hopf algebras.
• Hopf algebra of permutation pattern functions (extended abstract)
• Combinatorial realization of the Hopf algebra of sashes
• Hopf dreams and diagonal harmonics

Cites work

• Algebraic and combinatorial structures on pairs of twin binary trees
• Alternating sign matrices
• Alternating sign matrices and descending plane partitions
• Alternating-sign matrices and domino tilings. II
• An analogue of the plactic monoid for binary search trees
• Bidendriform bialgebras, trees, and free quasi-symmetric functions.
• Calculation of norms of Bethe wave functions
• Determinants and alternating sign matrices
• Duality between quasi-symmetric functions and the Solomon descent algebra
• Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions
• Hopf algebra of the planar binary trees
• Hopf algebras and dendriform structures arising from parking functions
• scientific article; zbMATH DE number 1644416 (Why is no real title available?)
• scientific article; zbMATH DE number 3817997 (Why is no real title available?)
• scientific article; zbMATH DE number 1052006 (Why is no real title available?)
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• scientific article; zbMATH DE number 1380572 (Why is no real title available?)
• scientific article; zbMATH DE number 791254 (Why is no real title available?)
• scientific article; zbMATH DE number 892258 (Why is no real title available?)
• Longest Increasing and Decreasing Subsequences
• Noncommutative symmetric functions
• NONCOMMUTATIVE SYMMETRIC FUNCTIONS V: A DEGENERATE VERSION OF U_q(gl_N)
• NONCOMMUTATIVE SYMMETRIC FUNCTIONS VI: FREE QUASI-SYMMETRIC FUNCTIONS AND RELATED ALGEBRAS
• Noncommutative symmetric functions. IV: Quantum linear groups and Hecke algebras at \(q=0\)
• Osculating paths and oscillating tableaux
• The algebra of binary search trees
• The Hopf algebra of uniform block permutations.
• The On-Line Encyclopedia of Integer Sequences

Cited in

(7)

• Weak order and descents for monotone triangles
• A word Hopf algebra based on the selection/quotient principle.
• About the packed words Hopf algebra WMat
• A selection-quotient process for packed word Hopf algebra.
• Hopf algebras of diagrams
• Generalized rank functions and quilts of alternating sign matrices
• A combinatorial Hopf algebra on partition diagrams

Describes a project that uses

Uses Software

• SageMath
• OEIS

This page was built for publication: Hopf algebra structure on packed square matrices.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2347880)