Showing 1–8 of 8 results for author: Hsiao, S K

Multigraded combinatorial Hopf algebras and refinements of odd and even subalgebras

Authors: Samuel K. Hsiao, Gizem Karaali

Abstract: We develop a theory of multigraded (i.e., $N^l$-graded) combinatorial Hopf algebras modeled on the theory of graded combinatorial Hopf algebras developed by Aguiar, Bergeron, and Sottile [Compos. Math. 142 (2006), 1--30]. In particular we introduce the notion of canonical $k$-odd and $k$-even subalgebras associated with any multigraded combinatorial Hopf algebra, extending simultaneously the work… ▽ More We develop a theory of multigraded (i.e., $N^l$-graded) combinatorial Hopf algebras modeled on the theory of graded combinatorial Hopf algebras developed by Aguiar, Bergeron, and Sottile [Compos. Math. 142 (2006), 1--30]. In particular we introduce the notion of canonical $k$-odd and $k$-even subalgebras associated with any multigraded combinatorial Hopf algebra, extending simultaneously the work of Aguiar et al. and Ehrenborg. Among our results are specific categorical results for higher level quasisymmetric functions, several basis change formulas, and a generalization of the descents-to-peaks map. △ Less

Submitted 10 February, 2011; v1 submitted 30 October, 2009; originally announced October 2009.

Comments: 49 pages. To appear in the Journal of Algebraic Combinatorics

MSC Class: 05E99; 16W30; 06A07; 06A11

Journal ref: J. Algebr. Comb. 34 (2011), pages 451-506

A semigroup approach to wreath-product extensions of Solomon's descent algebras

Authors: Samuel K. Hsiao

Abstract: There is a well-known combinatorial definition, based on ordered set partitions, of the semigroup of faces of the braid arrangement. We generalize this definition to obtain a semigroup Sigma_n^G associated with G wr S_n, the wreath product of the symmetric group S_n with an arbitrary group G. Techniques of Bidigare and Brown are adapted to construct an anti-homomorphism from the S_n-invariant su… ▽ More There is a well-known combinatorial definition, based on ordered set partitions, of the semigroup of faces of the braid arrangement. We generalize this definition to obtain a semigroup Sigma_n^G associated with G wr S_n, the wreath product of the symmetric group S_n with an arbitrary group G. Techniques of Bidigare and Brown are adapted to construct an anti-homomorphism from the S_n-invariant subalgebra of the semigroup algebra of Sigma_n^G into the group algebra of G wr S_n. The generalized descent algebras of Mantaci and Reutenauer are obtained as homomorphic images when G is abelian. △ Less

Submitted 15 October, 2007; v1 submitted 10 October, 2007; originally announced October 2007.

Comments: 6 pages, added a reference and updated the Introduction

MSC Class: 05E99; 16S34; 20M25

Random walks on quasisymmetric functions

Authors: Patricia Hersh, Samuel K. Hsiao

Abstract: Conditions are provided under which an endomorphism on quasisymmetric functions gives rise to a left random walk on the descent algebra which is also a lumping of a left random walk on permutations. Spectral results are also obtained. Several well-studied random walks are now realized this way: Stanley's QS-distribution results from endomorphisms given by evaluation maps, a-shuffles result from… ▽ More Conditions are provided under which an endomorphism on quasisymmetric functions gives rise to a left random walk on the descent algebra which is also a lumping of a left random walk on permutations. Spectral results are also obtained. Several well-studied random walks are now realized this way: Stanley's QS-distribution results from endomorphisms given by evaluation maps, a-shuffles result from the a-th convolution power of the universal character, and the Tchebyshev operator of the second kind introduced recently by Ehrenborg and Readdy yields traditional riffle shuffles. A conjecture of Ehrenborg regarding the spectra for a family of random walks on ab-words is proven. A theorem of Stembridge from the theory of enriched P-partitions is also recovered as a special case. △ Less

Submitted 10 September, 2007; originally announced September 2007.

Comments: 25 pages

MSC Class: 05E99; 16W30; 60C05; 60J10

Peak Quasisymmetric Functions and Eulerian Enumeration

Authors: Louis J. Billera, Samuel K. Hsiao, Stephanie van Willigenburg

Abstract: Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus… ▽ More Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus Eulerian posets having a nonnegative $\cd$-index (for example, face lattices of convex polytopes) correspond to peak quasisymmetric functions having a nonnegative representation in terms of this basis. We diagonalize the operator that associates the basis of descent sets for all quasisymmetric functions to that of peak sets for the algebra of peak functions, and study the $g$-polynomial for Eulerian posets as an algebra homomorphism. △ Less

Submitted 23 June, 2007; originally announced June 2007.

Comments: 23 pages; final version

MSC Class: 05E05; 05A15; 06A07; 16W30

Journal ref: Adv. Math. 176: 248--276 (2003)

Colored posets and colored quasisymmetric functions

Authors: Samuel K. Hsiao, T. Kyle Petersen

Abstract: The colored quasisymmetric functions, like the classic quasisymmetric functions, are known to form a Hopf algebra with a natural peak subalgebra. We show how these algebras arise as the image of the algebra of colored posets. To effect this approach we introduce colored analogs of $P$-partitions and enriched $P$-partitions. We also frame our results in terms of Aguiar, Bergeron, and Sottile's th… ▽ More The colored quasisymmetric functions, like the classic quasisymmetric functions, are known to form a Hopf algebra with a natural peak subalgebra. We show how these algebras arise as the image of the algebra of colored posets. To effect this approach we introduce colored analogs of $P$-partitions and enriched $P$-partitions. We also frame our results in terms of Aguiar, Bergeron, and Sottile's theory of combinatorial Hopf algebras and its colored analog. △ Less

Submitted 31 October, 2006; originally announced October 2006.

Comments: 31 pages, 5 figures

The Hopf algebras of type B quasisymmetric functions and peak functions

Authors: Samuel K. Hsiao, T. Kyle Petersen

Abstract: We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra. We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra. △ Less

Submitted 31 October, 2006; originally announced October 2006.

Comments: 9 pages

Enumeration in convex geometries and associated polytopal subdivisions of spheres

Authors: Louis J. Billera, Samuel K. Hsiao, J. Scott Provan

Abstract: We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that their barycentric subdivisions are simplicial polytopes. The complete information on the numbers of faces and chains of faces in these spheres can be obtained from the defining lattices in a manner analogous to the rela… ▽ More We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that their barycentric subdivisions are simplicial polytopes. The complete information on the numbers of faces and chains of faces in these spheres can be obtained from the defining lattices in a manner analogous to the relation between arrangements of hyperplanes and their underlying geometric intersection lattices. △ Less

Submitted 19 April, 2006; v1 submitted 26 May, 2005; originally announced May 2005.

Comments: 18 pages, 4 figures; incorporates suggestions by referees; minor revisions throughout; expanded discussion on chain enumeration in last section; to be published in Discrete and Computational Geometry

MSC Class: 05E99; 06A07; 52B05; 52B40 (primary); 06B99; 52C40 (secondary)

Canonical characters on quasi-symmetric functions and bivariate Catalan numbers

Authors: Marcelo Aguiar, Samuel K. Hsiao

Abstract: Every character on a graded connected Hopf algebra decomposes uniquely as a product of an even character and an odd character (Aguiar, Bergeron, and Sottile, math.CO/0310016). We obtain explicit formulas for the even and odd parts of the universal character on the Hopf algebra of quasi-symmetric functions. They can be described in terms of Legendre's beta function evaluated at half-integers, or… ▽ More Every character on a graded connected Hopf algebra decomposes uniquely as a product of an even character and an odd character (Aguiar, Bergeron, and Sottile, math.CO/0310016). We obtain explicit formulas for the even and odd parts of the universal character on the Hopf algebra of quasi-symmetric functions. They can be described in terms of Legendre's beta function evaluated at half-integers, or in terms of bivariate Catalan numbers: $$ C(m,n)=\frac{(2m)!(2n)!}{m!(m+n)!n!}. $$ Properties of characters and of quasi-symmetric functions are then used to derive several interesting identities among bivariate Catalan numbers and in particular among Catalan numbers and central binomial coefficients. △ Less

Submitted 4 August, 2004; originally announced August 2004.

MSC Class: 05A15; 05E05; 16W30; 16W50