representation ↗ reference
4053 papers tagged with this keyword
Random generation of finitely generated subgroups of a free group
Published in International Journal of Algebra and Computation 18 (2008) 1-31
• View Publication
• BIB
We give an efficient algorithm to randomly generate finitely generated subgroups of a given size, in a finite rank free group. Here, the size of a subgroup is the number of vertices of its representation by a reduced graph such as can be obtained by the method of Stallings foldings. Our algorithm randomly generates a subgroup of a given size n, according to the uniform distribution over size n subgroups. In the process, we give estimates of the number of size n subgroups, of the average rank of size n subgroups, and of the proportion of such subgroups that have finite index. Our algorithm has average case complexity $Ø(n)$ in the RAM model and $Ø(n^2\log^2n)$ in the bitcost model.
Block-Toeplitz determinants, chess tableaux, and the type $\hat{A_1}$ Geiss-Leclerc-Schroer $φ$-map
We evaluate the Geiss-Leclerc-Schroer $φ$-map for shape modules over the preprojective algebra $Λ$ of type $\hat{A_1}$ in terms of matrix minors arising from the block-Toeplitz representation of the loop group $\SL_2(\mathcal{L})$. Conjecturally these minors are among the cluster variables for coordinate rings of unipotent cells within $\SL_2(\mathcal{L})$. In so doing we compute the Euler characteristic of any generalized flag variety attached to a shape module by counting standard tableaux of requisite shape and parity; alternatively by counting chess tableaux of requisite shape and content.
An explicit formula for the characters of the symmetric group
Published in Mathematische Annalen 340 (2008), 383-405
• View Publication
• BIB
We give an explicit expression of the normalized characters of the symmetric group in terms of the contents of the partition labelling the representation.
Distributive lattices defined for representations of rank two semisimple Lie algebras
Published
• View Publication
• BIB
For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3. We then form the distributive lattices of order ideals of these posets. Corollary 5.4 gives elegant quotient-of-products expressions for the rank generating functions of these lattices (thereby providing answers to a 1979 question of Stanley). Also, Theorem 5.3 describes how these lattices provide a new combinatorial setting for the Weyl characters of representations of rank two semisimple Lie algebras. Most of these lattices are new; the rest of them (or related structures) have arisen in work of Stanley, Kashiwara, Nakashima, Littelmann, and Molev. In a future paper, one author shows that the posets constructed here form a Dynkin diagram-indexed answer to a combinatorially posed classification question. In a companion paper, some of these lattices are used to explicitly construct some representations of rank two semisimple Lie algebras. This implies that these lattices are strongly Sperner.
The crystal commutor and Drinfeld's unitarized R-matrix
Published
• View Publication
• BIB
Drinfeld defined a unitarized R-matrix for any quantum group U_q(g). This gives a commutor for the category of U_q(g) representations, making it into a coboundary category. Henriques and Kamnitzer defined another commutor which also gives U_q(g) representations the structure of a coboundary category. We show that a particular case of Henriques and Kamnitzer's construction agrees with Drinfeld's commutor. We then describe the action of Drinfeld's commutor on a tensor product of two crystal bases, and explain the relation to the crystal commutor.
Jones Pairs
Motivated by Jones' braid group representations constructed from spin models, we define {\sl a Jones pair} to be a pair of $\nbyn$ matrices $(A,B)$ such that the endomorphisms $X_A$ and $\D_B$ form a representation of a braid group. When $A$ and $B$ are type-II matrices, we call $(A,B)$ {\sl an invertible Jones pair}. We develop the theory of Jones pairs in this thesis.
Our aim is to study the connections among association schemes, spin models and four-weight spin models using the viewpoint of Jones pairs. We use Nomura's method to construct a pair of algebras from the matrices $(A,B)$, which we call the Nomura algebras of $(A,B)$. These algebras become the central tool in this thesis. We explore their properties in Chapters \ref{Nomura} and \ref{IINom}.
In Chapter \ref{JP}, we introduce Jones pairs. We prove the equivalence of four-weight spin models and invertible Jones pairs. We extend some existing concepts for four-weight spin models to Jones pairs. In Chapter \ref{SpinModels}, we provide new proofs for some well-known results on the Bose-Mesner algebras associated with spin models.
We document the main results of the thesis in Chapter \ref{InvJP}. We prove that every four-weight spin model comes from a symmetric spin model (up to odd-gauge equivalence). We present four Bose-Mesner algebras associated to each four-weight spin model. We study the relations among these algebras. In particular, we provide a strategy to search for four-weight spin models. This strategy is analogous to the method given by Bannai, Bannai and Jaeger for finding spin models.
Orthogonal functions generalizing Jack polynomials
Published
• View Publication
• BIB
The rational Cherednik algebra $\HH$ is a certain algebra of differential-reflection operators attached to a complex reflection group $W$. Each irreducible representation $S^λ$ of $W$ corresponds to a standard module $M(λ)$ for $\HH$. This paper deals with the infinite family $G(r,1,n)$ of complex reflection groups; our goal is to study the standard modules using a commutative subalgebra $\ttt$ of $\HH$ discovered by Dunkl and Opdam. In this case, the irreducible $W$-modules are indexed by certain sequences $λ$ of partitions. We first show that $\ttt$ acts in an upper triangular fashion on each standard module $M(λ)$, with eigenvalues determined by the combinatorics of the set of standard tableaux on $λ$. As a consequence, we construct a basis for $M(λ)$ consisting of orthogonal functions on $\CC^n$ with values in the representation $S^λ$. For $G(1,1,n)$ with $λ=(n)$ these functions are the non-symmetric Jack polynomials. We use intertwining operators to deduce a norm formula for our orthogonal functions and give an explicit combinatorial description of the lattice of submodules of $M(λ)$ in the case in which the orthogonal functions are all well-defined.
Symmetry in semidefinite programs
Published in Linear Algebra and Appl. 430 (2009), 360-369
• View Publication
• BIB
This paper is a tutorial in a general and explicit procedure to simplify semidefinite programs which are invariant under the action of a symmetry group. The procedure is based on basic notions of representation theory of finite groups. As an example we derive the block diagonalization of the Terwilliger algebra of the binary Hamming scheme in this framework. Here its connection to the orthogonal Hahn and Krawtchouk polynomials becomes visible.
Smooth models of quiver moduli
Published
• View Publication
• BIB
For any moduli space of stable representations of quivers, certain smooth varieties, compactifying projective space fibrations over the moduli space, are constructed. The boundary of this compactification is analyzed. Explicit formulas for the Betti numbers of the smooth models are derived. In the case of moduli of simple representations, explicit cell decompositions of the smooth models are constructed.
Peak Quasisymmetric Functions and Eulerian Enumeration
Published in Adv. Math. 176: 248--276 (2003)
• Search Publication
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.
On tensor products of polynomial representations
Published in Can. Math. Bull. 51 (2008) 584-592
• View Publication
• BIB
We determine the necessary and sufficient combinatorial conditions for which the tensor product of two irreducible polynomial representations of $GL(n,\mathbb{C})$ is isomorphic to another. As a consequence we discover families of Littlewood-Richardson coefficients that are non-zero, and a condition on Schur non-negativity.
Properties of the descent algebras of type $D$
Published in Discrete Math. 269: 325--332 (2003)
• Search Publication
We establish simple combinatorial descriptions of the radical and irreducible representations specifically for the descent algebra of a Coxeter group of type $D$ over any field.
The p-modular Descent Algebra of the Symmetric Group
Published in Bull. of the London Math. Soc. 29:407-414 (1997)
• Search Publication
The descent algebra of the symmetric group, over a field of non-zero characteristic p, is studied. A homomorphism into the algebra of generalised p-modular characters of the symmetric group is defined. This is then used to determine the radical, and its nilpotency index. It also allows the irreducible representations of the descent algebra to be described.
Grassmann Integral Representation for Spanning Hyperforests
Published in J.Phys.A40:13799-13835,2007
• View Publication
• BIB
Given a hypergraph G, we introduce a Grassmann algebra over the vertex set, and show that a class of Grassmann integrals permits an expansion in terms of spanning hyperforests. Special cases provide the generating functions for rooted and unrooted spanning (hyper)forests and spanning (hyper)trees. All these results are generalizations of Kirchhoff's matrix-tree theorem. Furthermore, we show that the class of integrals describing unrooted spanning (hyper)forests is induced by a theory with an underlying OSP(1|2) supersymmetry.
Abstract numeration systems on bounded languages and multiplication by a constant
Published in Integers: Electronic Journal of Combinatorial Number Theory 8, 1 (2008) #35
• Search Publication
A set of integers is $S$-recognizable in an abstract numeration system $S$ if the language made up of the representations of its elements is accepted by a finite automaton. For abstract numeration systems built over bounded languages with at least three letters, we show that multiplication by an integer $λ\ge2$ does not preserve $S$-recognizability, meaning that there always exists a $S$-recognizable set $X$ such that $λX$ is not $S$-recognizable. The main tool is a bijection between the representation of an integer over a bounded language and its decomposition as a sum of binomial coefficients with certain properties, the so-called combinatorial numeration system.
Permutation actions on equivariant cohomology
Published
• View Publication
• BIB
This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes.
This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.
The Self-injective Cluster Tilted Algebras
Published
• View Publication
• BIB
We are going to determine all the self-injective cluster tilted algebras. All are of finite representation type and special biserial.
Compound basis for the space of symmetric functions
The aim of this note is to introduce a compound basis for the space of symmetric functions. Our basis consists of products of Schur functions and $Q$-functions. The basis elements are indexed by the partitions. It is well known that the Schur functions form an orthonormal basis for our space. A natural question arises. How are these two bases connected? In this note we present some numerical results of the transition matrix for these bases. In particular we will see that the determinant of the transition matrix is a power of 2. This is not a surprising fact. However the explicit formula involves an interesting combinatorial feature.
Our compound basis comes from the twisted homogeneous realization of the basic representation of the affine Lie algebras.
This note is not written in a standard style of mathematical articles. It is more like a draft of a talk. In particular proofs are not given here. Details and proofs will be published elsewhere.
Uniqueness of polynomial canonical representations
Published
• View Publication
• BIB
Let P(z) and Q(y) be polynomials of the same degree k>=1 in the complex variables z and y, respectively. In this extended abstract we study the non-linear functional equation P(z)=Q(y(z)), where y(z) is restricted to be analytic in a neighborhood of z=0. We provide sufficient conditions to ensure that all the roots of Q(y) are contained within the range of y(z) as well as to have y(z)=z as the unique analytic solution of the non-linear equation. Our results are motivated from uniqueness considerations of polynomial canonical representations of the phase or amplitude terms of oscillatory integrals encountered in the asymptotic analysis of the coefficients of mixed powers and multivariable generating functions via saddle-point methods. Uniqueness shall prove important for developing algorithms to determine the Taylor coefficients of the terms appearing in these representations. The uniqueness of Levinson's polynomial canonical representations of analytic functions in several variables follows as a corollary of our one-complex variables results.
The hook fusion procedure for Hecke algebras
Published in Journal of Algebra, 309(2), (2007), 744-759
• View Publication
• BIB
We derive a new expression for the q-analogue of the Young symmetrizer which generate irreducible representations of the Hecke algebra. We obtain this new expression using Cherednik's fusion procedure. However, instead of splitting Young diagrams into their rows or columns, we consider their principal hooks. This minimises the number of auxiliary parameters needed in the fusion procedure.