representation ↗ reference
4049 papers tagged with this keyword
Hierarchical Dobinski-type relations via substitution and the moment problem
Published in J.Phys.A:Math.Gen.37 (2004)3475-3487
• View Publication
• BIB
We consider the transformation properties of integer sequences arising from the normal ordering of exponentiated boson ([a,a*]=1) monomials of the form exp(x (a*)^r a), r=1,2,..., under the composition of their exponential generating functions (egf). They turn out to be of Sheffer-type. We demonstrate that two key properties of these sequences remain preserved under substitutional composition: (a)the property of being the solution of the Stieltjes moment problem; and (b) the representation of these sequences through infinite series (Dobinski-type relations). We present a number of examples of such composition satisfying properties (a) and (b). We obtain new Dobinski-type formulas and solve the associated moment problem for several hierarchically defined combinatorial families of sequences.
On the natural representation of $S(Ω)$ into $L^2(P(Ω))$: Discrete harmonics and Fourier transform
Published in J. Combin. Theory Ser. A 100 (2002), 153-175
• Search Publication
Let $Ω$ denote a non-empty finite set. Let $S(Ω)$ stand for the symmetric group on $Ω$ and let us write $P(Ω)$ for the power set of $Ω$. Let $ρ: S(Ω) \to U(L^2(P(Ω)))$ be the left unitary representation of $S(Ω)$ associated with its natural action on $P(Ω)$. We consider the algebra consisting of those endomorphisms of $L^2(P(Ω))$ which commute with the action of $ρ$. We find an attractive basis $B$ for this algebra. We obtain an expression, as a linear combination of $B$, for the product of any two elements of $B$. We obtain an expression, as a linear combination of $B$, for the adjoint of each element of $B$. It turns out the Fourier transform on $P(Ω)$ is an element of our algebra; we give the matrix which represents this transform with respect to $B$.
Short formulas for algebraic covariant derivative curvature tensors via Algebraic Combinatorics
We consider generators of algebraic covariant derivative curvature tensors R' which can be constructed by a Young symmetrization of product tensors W*U or U*W, where W and U are covariant tensors of order 2 and 3. W is a symmetric or alternating tensor whereas U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 16 or 20 summands if W is symmetric or skew-symmetric, respectively. In special cases these numbers can be reduced to the minima 12 or 10. If these minima occur then U admits an index commutation symmetry. Furthermore minimal lengths are possible if U is formed from torsion-free covariant derivatives of symmetric or alternating 2-tensor fields. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[S_r] and discrete Fourier transforms for symmetric groups S_r. For symbolic calculations we used the Mathematica packages Ricci and PERMS.
A Hopf algebra of parking functions
If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of $\SG_n$ on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.
The symmetric group representation on cohomology of the regular elements of a maximal torus of the special linear group
Published in J. Aust. Math. Soc. 84 (2008), no. 1, pp. 85-98
• View Publication
• BIB
We give a formula for the character of the representation of the symmetric group $S_n$ on each isotypic component of the cohomology of the set of regular elements of a maximal torus of $SL_n$, with respect to the action of the centre.
On orbital variety closures in sl(n). I. Induced Duflo order
Published in Journal of Algebra, 271, 2004, pp. 179-233
• View Publication
• BIB
For a semisimple Lie algebra g the orbit method attempts to assign representations of g to (coadjoint) orbits in g*. Orbital varieties are particular Lagrangian subvarieties of such orbits leading to highest weight representations of g. In sl(n) orbital varieties are described by Young tableaux. Inclusion relation on orbital variety closures defines a partial order on Young tableaux. Our aim is to describe this order. The paper is devoted to the combinatorial description of induced Duflo order on Young tableaux (the order generated by inclusion of generating subspaces of orbital varieties). This is a very interesting and complex combinatorial question. This is the first paper in the series. In Part II and Part III we use repeatedly the results of the paper as a basis for further study of orbital variety closures.
On orbital variety closures in sl(n). II. Descendants of a Richardson orbital variety
Published in Journal of Algebra 271, 2004, pp 698-724
• View Publication
• BIB
For a semisimple Lie algebra g the orbit method attempts to assign representations of g to (coadjoint) orbits in g*. Orbital varieties are particular Lagrangian subvarieties of such orbits leading to highest weight representations of g. In sl(n) orbital varieties are described by Young tableaux. In this paper we consider so called Richardson orbital varieties in sl(n). A Richardson orbital variety is an orbital variety whose closure is a standard nilradical. We show that in sl(n) a Richardson orbital variety closure is a union of orbital varieties. We give a complete combinatorial description of such closures in terms of Young tableaux.
This is the second paper in the series of three papers devoted to a combinatorial description of orbital variety closures in sl(n) in terms of Young tableaux.
An introduction to harmonic analysis on the infinite symmetric group
Published in In: Asymptotic Combinatorics with Applications to Mathematical Physics (A.M.Vershik, ed.), Springer LNM 1815 (2003), 127-160
• View Publication
• BIB
The aim of the present survey paper is to provide an accessible introduction to a new chapter of representation theory - harmonic analysis for noncommutative groups with infinite-dimensional dual space.
I omitted detailed proofs but tried to explain the main ideas of the theory and its connections with other fields. The fact that irreducible representations of the groups in question depend on infinitely many parameters leads to a number of new effects which never occurred in conventional noncommutative harmonic analysis. A link with stochastic point processes is especially emphasized.
The exposition focuses on a single group, the infinite symmetric group. The reason is that presently this particular example is worked out the most. Furthermore, the infinite symmetric group can serve as a very good model for more complicated groups like the infinite-dimensional unitary group.
Stein's Method, Jack Measure, and the Metropolis Algorithm
Published
• View Publication
• BIB
The one parameter family of Jack(alpha) measures on partitions is an important discrete analog of Dyson's beta ensembles of random matrix theory. Except for special values of alpha=1/2,1,2 which have group theoretic interpretations, the Jack(alpha) measure has been difficult if not intractable to analyze. This paper proves a central limit theorem (with an error term) for Jack(alpha) measure which works for arbitrary values of alpha. For alpha=1 we recover a known central limit theorem on the distribution of character ratios of random representations of the symmetric group on transpositions. The case alpha=2 gives a new central limit theorem for random spherical functions of a Gelfand pair. The proof uses Stein's method and has interesting ingredients: an intruiging construction of an exchangeable pair, properties of Jack polynomials, and work of Hanlon relating Jack polynomials to the Metropolis algorithm.
The Cherednik kernel and generalized exponents
We show how the knowledge of the Fourier coefficients of the Cherednik kernel leads to combinatorial formulas for generalized exponents. We recover known formulas for generalized exponents of irreducible representations parameterized by dominant roots, and obtain new formulas for the generalized exponents for irreducible representations parameterized by the dominant elements of the root lattice which are sums of two orthogonal short roots.
Lexicographic shellability for balanced complexes
Published in J. Algebraic Combinatorics, 17 (2003), no. 1, 27-52
• View Publication
• BIB
We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $.
Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.
Multiplicity of the trivial representation in rank-selected homology of the partition lattice
Published in J. Algebra 266 (2003), no. 2, 521-538
• View Publication
• BIB
We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $β_S$ on the (top) homology of the rank-selected partition lattice $Π_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for $S=1,..., i$. We use a partitioning for $Δ(Π_n)/S_n$ due to Hersh to confirm a conjecture of Sundaram that $b_S(n)>0$ for $1\not\in S$. On the other hand, we use the spectral sequence of a filtered complex to show $b_S(n)=0$ for $S=1,..., i,j_1,..., j_l$ unless a certain type of chain of support $S$ exists. The partitioning for $Δ(Π_n)/S_n$ allows us then to show that a large class of rank sets $S=1,..., i,j_1,..., j_l$ for which such a chain exists do satisfy $b_S(n)>0$. We also generalize the partitioning for $Δ(Π_n)/S_n$ to $Δ(Π_n)/S_λ$; when $λ= (n-1,1)$, this partitioning leads to a proof of a conjecture of Sundaram about $S_1\times S_{n-1}$-representations on the homology of the partition lattice.
Appell polynomials and their relatives
Published in Int. Math. Res. Not. 2004 n. 65, 3469-3531
• View Publication
• BIB
This paper summarizes some known results about Appell polynomials and investigates their various analogs. The primary of these are the free Appell polynomials. In the multivariate case, they can be considered as natural analogs of the Appell polynomials among polynomials in non-commuting variables. They also fit well into the framework of free probability. For the free Appell polynomials, a number of combinatorial and "diagram" formulas are proven, such as the formulas for their linearization coefficients. An explicit formula for their generating function is obtained. These polynomials are also martingales for free Levy processes. For more general free Sheffer families, a necessary condition for pseudo-orthogonality is given. Another family investigated are the Kailath-Segall polynomials. These are multivariate polynomials, which share with the Appell polynomials nice combinatorial properties, but are always orthogonal. Their origins lie in the Fock space representations, or in the theory of multiple stochastic integrals. Diagram formulas are proven for these polynomials as well, even in the q-deformed case.
Combinatorics of binomial decompositions of the simplest Hodge integrals
Published in In: "Gromov-Witten theory of spin curves and orbifolds", 153-165, Contemp. Math., 403, Amer. Math. Soc., Providence, RI, 2006
• View Publication
• BIB
We reduce the calculation of the simplest Hodge integrals to some sums over decorated trees. Since Hodge integrals are already calculated, this gives a proof of a rather interesting combinatorial theorem and a new representation of Bernoulli numbers.
Combinatorial Physics, Normal Order and Model Feynman Graphs
Published in Symmetries in Science Vol. XI,(Kluwer Academic Publishers), p. 527-536(2004)
• View Publication
• BIB
The general normal ordering problem for boson strings is a combinatorial problem. In this note we restrict ourselves to single-mode boson monomials. This problem leads to elegant generalisations of well-known combinatorial numbers, such as Bell and Stirling numbers. We explicitly give the generating functions for some classes of these numbers. Finally we show that a graphical representation of these combinatorial numbers leads to sets of model field theories, for which the graphs may be interpreted as Feynman diagrams corresponding to the bosons of the theory. The generating functions are the generators of the classes of Feynman diagrams.
Generalized Path Algebras and Pointed Hopf Algebras
Published in Journal of Mathematical Research and Exposition 29 (2009), 395-406
• Search Publication
Most of pointed Hopf algebras of dimension $p^m$ with large coradical are shown to be generalized path algebras. By the theory of generalized path algebras it is obtained that the representations, homological dimensions and radicals of these Hopf algebras. The relations between the radicals of path algebras and connectivity of directed graphs are given.
Ribbon Tableaux and the Heisenberg Algebra
Published
• View Publication
• BIB
Lascoux, Leclerc and Thibon have introduced symmetric functions which are spin and weight generating functions for ribbon tableaux. This article is aimed at studying these `ribbon functions' in analogy with Schur functions. In particular we will describe ribbon Pieri and Murnagham-Nakayama formulae, a ribbon Cauchy identity and an algebra involution which `conjugates' the ribbon functions. We will study these functions in the context of the action of the Heisenberg algebra on the Fock space representation of the quantum affine algebra U_q(sl_n)^, discovered by Kashiwara, Miwa and Stern. We will also connect our formulae with the ribbon insertion of Shimozono and White, giving combinatorial proofs for the domino n=2 case.
Noncommutative algebras related with Schubert calculus on Coxeter groups
Published
• View Publication
• BIB
For any finite Coxeter system $(W,S)$ we construct a certain noncommutative algebra, so-called {\it bracket algebra}, together with a familiy of commuting elements, so-called {\it Dunkl elements.} Dunkl elements conjecturally generate an algebra which is canonically isomorphic to the coinvariant algebra of the group $W.$ We prove this conjecture for classical Coxeter groups and $I_2(m)$. We define a ``quantization'' and a multiparameter deformation of our construction and show that for Lie groups of classical type and $G_2,$ the algebra generated by Dunkl elements in the quantized bracket algebra is canonically isomorphic to the small quantum cohomology ring of the corresponding flag variety, as described by B. Kim. For crystallographic Coxeter systems we define {\it quantum Bruhat representation} of the corresponding bracket algebra. We study in more detail relations and structure of $B_n$-, $D_n$- and $G_2$-bracket algebras, and as an application, discover {\it Pieri type formula} in the $B_n$-bracket algebra. As a corollary, we obtain Pieri type formula for multiplication of arbitrary $B_n$-Schubert classes by some special ones. Our Pieri type formula is a generalization of Pieri's formulas obtained by A. Lascoux and M.-P. Schützenberger for flag varieties of type $A.$ We also introduce a super-version of the bracket algebra together with a family of pairwise anticommutative elements which describes ``noncommutative differential geometry on a finite Coxeter group'' in a sense of S. Majid.
Towards the geometry of double Hurwitz numbers
Published
• View Publication
• BIB
Double Hurwitz numbers count branched covers of the projective line with fixed branch points, with simple branching required over all but two points 0 and infinity, and the branching over 0 and infinity specified by partitions of the degree (with m and n parts respectively). Single Hurwitz numbers have a rich structure, explored by authors in many fields. The ELSV formula relates single Hurwitz numbers to intersection theory on the moduli space of curves, and has led to many consequences.
We determine the structure of double Hurwitz numbers using geometry, algebra, and representation theory. Our motivation is geometric: we give strong evidence that double Hurwitz numbers are top intersections on a universal Picard variety. In particular, we prove a piecewise-polynomiality result analogous to that implied by the ELSV formula. In the case m=1 and n is arbitrary, we conjecture an ELSV-type formula, and show it to be true in genus 0 and 1. The corresponding Witten-type correlation function has a better structure than that for single Hurwitz numbers, and it satisfies many geometric properties, such as the string and dilaton equations, and a genus expansion ansatz analogous to that of Itzykson and Zuber. We give a symmetric function description of the double Hurwitz generating series, which leads to explicit formulae for double Hurwitz numbers with given m and n. In the case where m is fixed but not necessarily 1, we prove a topological recursion on the corresponding generating series, which leads to closed-form expressions for double Hurwitz numbers and an analogue of the Goulden-Jackson polynomiality conjecture (an early conjectural variant of the ELSV formula).
Elementary divisors of Specht modules
Let H_q(S_n) be the Iwahori-Hecke algebra of the symmetric group. This algebra is semisimple over the rational function field Q(q), where q is an indeterminate, and its irreducible representations over this field are q-analogues S_q(lambda) of the Specht modules of the symmetric group.
The q-Specht modules have an "integral form" which is defined over the Laurent polynomial ring Z_[q,q^{-1}] and they come equipped with a natural bilinear form with values in this ring. Now Z[q,q^{-1}] is not a principal ideal domain. Nonetheless, we try to compute the elementary divisors of the Gram matrix of the bilinear form on S_q(lambda). When they are defined, we give a precise relationship between the elementary divisors of the Specht modules S_q(lambda) and S_q(lambda'), where lambda' is the conjugate partition. We also compute the elementary divisors when lambda is a hook partition and give examples to show that in general elementary divisors do not exist.