arXiv++ Combinatorics

Browse math.CO papers from arXiv

representation ↗ reference

4049 papers tagged with this keyword
Reduction of $m$-Regular Noncrossing Partitions
Published • View PublicationBIB
In this paper, we present a reduction algorithm which transforms $m$-regular partitions of $[n]=\{1, 2, ..., n\}$ to $(m-1)$-regular partitions of $[n-1]$. We show that this algorithm preserves the noncrossing property. This yields a simple explanation of an identity due to Simion-Ullman and Klazar in connection with enumeration problems on noncrossing partitions and RNA secondary structures. For ordinary noncrossing partitions, the reduction algorithm leads to a representation of noncrossing partitions in terms of independent arcs and loops, as well as an identity of Simion and Ullman which expresses the Narayana numbers in terms of the Catalan numbers.
2004-06-07 v2
A note on tensor categories of Lie type $E_9$
Published in J. of Algebra, 284 (2005) no. 1, 296-309 • View PublicationBIB
We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation $V$ of the affine Kac-Moody algebra $\g(E_9)$. We describe an elementary algorithm for determining the decomposition of the submodule of $\Vn$ whose irreducible direct summands have highest weights which are maximal with respect to the null-root. This decomposition is based on Littelmann's path algorithm and conforms with the uniform combinatorial behavior recently discovered by H. Wenzl for the series $E_N$, $N\not=9$.
Decomposable compositions, symmetric quasisymmetric functions and equality of ribbon Schur functions
Published in Adv. Math. 204: 204--240 (2006) • View PublicationBIB
We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of a factorization for compositions: equivalent compositions have factorizations that differ only by reversing some of the terms. As an application, we can derive identities on certain Littlewood-Richardson coefficients. Finally, we consider the cone of symmetric functions having a nonnnegative representation in terms of the fundamental quasisymmetric basis. We show the Schur functions are among the extremes of this cone and conjecture its facets are in bijection with the equivalence classes of compositions.
2004-05-23
Tensor product stabilization in Kac-Moody algebras
Published • View PublicationBIB
We consider a large class of series of symmetrizable Kac-Moody algebras (generically denoted X_n). This includes the classical series A_n as well as others like E_n whose members are of Indefinite type. The focus is to analyze the behavior of representations in the large n limit. Motivated by the classical theory of A_n, we consider tensor product decompositions of irreducible highest weight representations of X_n and study how these vary with n. The notion of ``double headed'' dominant weights is introduced. For such weights, we show that tensor product decompositions in X_n do stabilize, generalizing the classical results for A_n. The main tool used is Littelmann's celebrated path model. One can also use the stable multiplicities as structure constants to define a multiplication operation on a suitable space. We define this so called "stable representation ring'' and show that the multiplication operation is associative.
2004-05-19
Signature quantization, representations of compact Lie groups, and a q-analogue of the Kostant partition function
Published • View PublicationBIB
We discuss some applications of signature quantization to the representation theory of compact Lie groups. In particular, we prove signature analogues of the Kostant formula for weight multiplicities and the Steinberg formula for tensor product multiplicities. Using symmetric functions, we also find, for type A, analogues of the Weyl branching rule and the Gelfand-Tsetlin theorem. These analogues involve a q-analogue of the Kostant partition function. We show that in type A, this q-analogue is polynomial in the relative interior of the cells of a complex of cones. This chamber complex can be taken to be the same as the chamber complex of the usual Kostant partition function. We present the case of A_2 as a detailed example.
2004-04-09
Generalized Green functions and graded Hecke algebras
We state a conjecture which gives a combinatorial parametrization of the irreducible tempered representations with real central character of a graded Hecke algebra with unequal labels, associated to a root sytem of type B or C. This conjecture is based on a combinatorial generalization of the Springer correspondence in the classical (equal label) case. In particular, the described modules turn out to have a natural grading for the action of W_0, and are completely determined by their central character together with the W_0-representation in the top degree. This latter is an irreducible W_0-character which we call Springer correspondent.
2004-04-08 v3
Monomials of q and q,t-characters for non simply-laced quantum affinizations
Published in Mathematische Zeitschrift 250 (2005), no. 2, 443--473 • View PublicationBIB
Nakajima introduced the morphism of q,t-characters for finite dimensional representation of simply-laced quantum affine algebras : it is a t-deformation of the Frenkel-Reshetikhin's morphism of q-characters (sum of monomials in infinite variables). In math.QA/0212257 we generalized the construction of q,t-characters for non simply-laced quantum affine algebras. First in this paper we prove a conjecture of math.QA/0212257 : the monomials of q and q,t-characters of standard representations are the same in non simply-laced cases (the simply-laced cases were treated by Nakajima) and the coefficients are non negative. In particular these q,t-characters can be considered as t-deformations of q-characters. In the proof we show that for quantum affine algebras of type A, B, C and quantum toroidal algebras of type A^{(1)} the l-weight spaces of fundamental representations are of dimension 1. Eventually we show and use a generalization of results of Frenkel-Reshetikhin, -Mukhin and Nakajima : for general quantum affinizations we prove that the l-weights of a l-highest weight simple module are lower than the highest l-weight in the sense of monomials.
2004-04-01 v2
Laplacian operators and Radon transforms on Grassmann graphs
Published • View PublicationBIB
Let $Ω$ be a vector space over a finite field with q elements. Let G denote the general linear group of endomorphisms of $Ω$ and let us consider the left regular representation $ρ: G \to B(L_2(X))$ associated to the natural action of G on the set X of linear subspaces of $Ω$. In this paper we study a natural basis B of the algebra $End_{G}(L_2(X))$ of intertwining maps on $L_2(X)$. By using a Laplacian operator on Grassmann graphs, we identify the kernels in B as solutions of a basic hypergeometric difference equation. This provides two expressions for these kernels. One in terms of the q-Hahn polynomials and the other by means of a Rodrigues type formula. Finally, we obtain a useful product formula for the mappings in B. We give two different proofs. One uses the theory of classical hypergeometric polynomials and the other is supported by a characterization of spherical functions in finite symmetric spaces. Both proofs require the use of certain associated Radon transforms.
Character Sums and Congruences with n!
Published • View PublicationBIB
We estimate character sums with n!, on average, and individually. These bounds are used to derive new results about various congruences modulo a prime p and obtain new information about the spacings between quadratic nonresidues modulo p. In particular, we show that there exists a positive integer $n\ll p^{1/2+ε}, such that n! is a primitive root modulo p. We also show that every nonzero congruence class a \not \equiv 0 \pmod p can be represented as a product of 7 factorials, a \equiv n_1! ... n_7! \pmod p, where $\max \{n_i | i=1,... 7\}=O(p^{11/12+ε}), and we find the asymptotic formula for the number of such representations. Finally, we show that products of 4 factorials $n_1!n_2!n_3!n_4!, with \max\{n_1, n_2, n_3, n_4\}=O(p^{6/7+ε})$ represent ``almost all''residue classes modulo p, and that products of 3 factorials n_1!n_2!n_3! with \max\{n_1, n_2, n_3\}=O(p^{5/6+ε})$ are uniformly distributed modulo p.
2004-03-11
Weak order complexes
The paper presents geometric models for the set WO of weak orders on a finite set. In particulary, WO is modeled as a set of vertices of a cubical subdivision of a permutahedron. This approach is an alternative to the usual representation of WO by means of weak order polytopes.
2004-03-10
Goellnitz-Gordon partitions with weights and parity conditions
Published • View PublicationBIB
A Goellnitz-Gordon partition is one in which the parts differ by at least 2, and where the inequality is strict if a part is even. Let Q_i(n) denote the number of partitions of n into distinct parts not congruent to i mod 4. By attaching weights which are powers of 2 and imposing certain parity conditions on Goellnitz-Gordon partitions, we show that these are equinumerous with Q_i(n) for i=0,2. These complement results of Goellnitz on Q_i(n) for i=1,3, and of Alladi who provided a uniform treatment of all four Q_i(n), i=0,1,2,3, in terms of weighted partitions into parts differing by >= 4. Our approach here provides a uniform treatment of all four Q_i(n) in terms of certain double series representations. These double series identities are part of a new infinite hierarchy of multiple series identities.
2004-02-24
Unipotent Hecke algebras of GL_n(F_q)
Published • View PublicationBIB
This paper describes a family of Hecke algebras H_μ=End_G(Ind_U^G(ψ_μ)), where U is the subgroup of unipotent upper-triangular matrices of G=GL_n(F_q) and ψ_μis a linear character of U. The main results combinatorially index a basis of H_μ, provide a large commutative subalgebra of H_μ, and after describing the combinatorics associated with the representation theory of H_μ, generalize the RSK correspondence that is typically found in the representation theory of the symmetric group.
Normal Order: Combinatorial Graphs
Published • View PublicationBIB
A conventional context for supersymmetric problems arises when we consider systems containing both boson and fermion operators. In this note we consider the normal ordering problem for a string of such operators. In the general case, upon which we touch briefly, this problem leads to combinatorial numbers, the so-called Rook numbers. Since we assume that the two species, bosons and fermions, commute, we subsequently restrict ourselves to consideration of a single species, single-mode boson monomials. This problem leads to elegant generalisations of well-known combinatorial numbers, specifically Bell and Stirling numbers. We explicitly give the generating functions for some classes of these numbers. In this note we concentrate on the combinatorial graph approach, showing how some important classical results of graph theory lead to transparent representations of the combinatorial numbers associated with the boson normal ordering problem.
2004-01-22
Kostka-Foulkes polynomials and Macdonald spherical functions
Published in Surveys in Combinatorics 2003 , C. Wensley ed., London Math. Soc. Lect. Notes 307, Cambridge University Press, 2003, 325--370. • View PublicationBIB
Generalized Hall-Littlewood polynomials (Macdonald spherical functions) and generalized Kostka-Foulkes polynomials ($q$-weight multiplicities) arise in many places in combinatorics, representation theory, geometry, and mathematical physics. This paper attempts to organize the different definitions of these objects and prove the fundamental combinatorial results from ``scratch'', in a presentation which, hopefully, will be accessible and useful for both the nonexpert and researchers currently working in this very active field. The combinatorics of the affine Hecke algebra plays a central role. The final section of this paper can be read independently of the rest of the paper. It presents, with proof, Lascoux and Schützenberger's positive formula for the Kostka-Foulkes poynomials in the type A case.
2004-01-14 v3
Amibes de Sommes d'Exponentielles
Published in The Canadian Journal of Mathematics, Vol. 60, N. 1, (2008), 222-240 • View PublicationBIB
We study the amoebae (in S. Favorov's sense) of finite systems of exponential sums with real spectra. For generic systems of this type, we give a more effective representation of the amoeba and we prove that the complementary set to the amoeba of a system with r exponential sums is a (r-1)-convexe set.
2004-01-09 v2
The Algebra of Binary Search Trees
Published in Theoret. Computer Sci., 339 (2005), 129-165 • View PublicationBIB
We introduce a monoid structure on the set of binary search trees, by a process very similar to the construction of the plactic monoid, the Robinson-Schensted insertion being replaced by the binary search tree insertion. This leads to a new construction of the algebra of Planar Binary Trees of Loday-Ronco, defining it in the same way as Non-Commutative Symmetric Functions and Free Symmetric Functions. We briefly explain how the main known properties of the Loday-Ronco algebra can be described and proved with this combinatorial point of view, and then discuss it from a representation theoretical point of view, which in turns leads to new combinatorial properties of binary trees.
2004-01-08
A Littlewood-Richardson rule for evaluation representations of quantum affine sl(n)
We give a combinatorial description of the composition factors of the induction product of two evaluation modules of the affine Iwahori-Hecke algebra of type GL(m). Using quantum affine Schur-Weyl duality, this yields a combinatorial description of the composition factors of the tensor product of two evaluation modules of the quantum affine algebra of type sl(n).
2004-01-02 v2
A unique representation of polyhedral types
Published in Math. Z. 249 (2005), 513-517 • View PublicationBIB
It is known that for each combinatorial type of convex 3-dimensional polyhedra, there is a representative with edges tangent to the unit sphere. This representative is unique up to projective transformations that fix the unit sphere. We show that there is a unique representative (up to congruence) with edges tangent to the unit sphere such that the origin is the barycenter of the points where the edges touch the sphere.
2003-12-29
Eigenvalues and homology of flag complexes and vector representations of graphs
Published • View PublicationBIB
Let X(G) denote the flag complex of a graph G=(V,E) on n vertices. We study relations between the first eigenvalues of successive higher Laplacians of X(G). One consequence is the following result: Let λ_2(G) denote the second smallest eigenvalue of the Laplacian of G. If λ_2(G)> \frac{kn}{k+1} then the real k-th reduced cohomology group H^k(X(G)) is zero. Applications include a lower bound on the homological connectivity of the independent sets complex I(G), in terms of a new graph domination parameter Γ(G) defined via certain vector representations of G. This in turns implies a Hall type theorem for systems of disjoint representatives in hypergraphs.
2003-12-29
On refined enumerations of some symmetry classes of ASMs
Published in Theor.Math.Phys.141:1609-1630,2004; Teor.Mat.Fiz.141:323-347,2004 • View PublicationBIB
Using determinant representations for partition functions of the corresponding square ice models and the method proposed recently by one of the authors, we investigate refined enumerations of vertically symmetric alternating-sign matrices, off-diagonally symmetric alternating-sign matrices and alternating-sign matrices with U-turn boundary. For all these cases the explicit formulas for refined enumerations are found. It particular, Kutin-Yuen conjecture is proved.