representation ↗ reference
4143 papers tagged with this keyword
Dissecting the Stanley Partition Function
Published
• View Publication
• BIB
Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p[i](n) denote the number of partitions pi of n such that O(pi) - O(pi') = i mod 4. Here O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. R. Stanley [13], [14] derived an infinite product representation for the generating function of p[0](n)-p[2](n). Recently, Holly Swisher[15] employed the circle method to show that limit[n->oo] p[0](n)/p(n) = 1/2 (i) and that for sufficiently large n 2 p[0](n) > p(n), if n=0,1 mod 4, 2 p[0](n) < p(n), otherwise. (ii) In this paper we study even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result
|p[0](2n) - p[2](2n)| > |p[0](2n+1) - p[2](2n+1)|, n>0.
Two proofs of this surprising inequality are given. The first one uses the Gollnitz-Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.
A difference-integral representation of Koornwinder polynomials
Published
• View Publication
• BIB
We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.
Partition functions and graphs: A combinatorial approach
Although symmetry methods and analysis are a necessary ingredient in every physicist's toolkit, rather less use has been made of combinatorial methods. One exception is in the realm of Statistical Physics, where the calculation of the partition function, for example, is essentially a combinatorial problem. In this talk we shall show that one approach is via the normal ordering of the second quantized operators appearing in the partition function. This in turn leads to a combinatorial graphical description, giving essentially Feynman-type graphs associated with the theory. We illustrate this methodology by the explicit calculation of two model examples, the free boson gas and a superfluid boson model. We show how the calculation of partition functions can be facilitated by knowledge of the combinatorics of the boson normal ordering problem; this naturally gives rise to the Bell numbers of combinatorics. The associated graphical representation of these numbers gives a perturbation expansion in terms of a sequence of graphs analogous to zero - dimensional Feynman diagrams.
Torsion in the Matching Complex and Chessboard Complex
Published
• View Publication
• BIB
Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vrécica and {Ž}ivaljević established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large $n$, the bottom nonvanishing homology of the matching complex $M_n$ is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex $M_{n,n}$ is a 3-group of exponent at most 9. When $n \equiv 2 \bmod 3$, the bottom nonvanishing homology of $M_{n,n}$ is shown to be $\Z_3$. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.
A LL-lattice reformulation of arithmetree over planar rooted trees. Part II
We continue our reformulation of free dendriform algebras, dealing this time with the free dendriform trialgebra generated be Y over planar rooted trees. We propose a 'deformation' of a vectorial coding used in Part I, giving a LL-lattice on rooted planar trees according to the terminology of A. Blass and B. E. Sagan. The three main operations on trees become explicit, giving thus a complementary approach to a very recent work of P. palacios and M. Ronco. Our parenthesis framework allows a more tractable reformulation to explore the properties of the underlying lattice describing operations and simplify a proof of a fundamental theorem related to arithmetics over trees, the so-called arithmetree. Arithmetree is then viewed as a noncommutative extention of (N,+,x), the integers being played by the corollas. We give also two representations of the super Catalan numbers or Schroder numbers.
Finite-Dimensional Crystals B^{2,s} for Quantum Affine Algebras of type D_{n}^{(1)}
Published in J. Alg. Combin. 23 (2006) 317-354
• View Publication
• BIB
The Kirillov--Reshetikhin modules W^{r,s} are finite-dimensional representations of quantum affine algebras U'_q(g), labeled by a Dynkin node r of the affine Kac--Moody algebra g and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^{2,s} corresponding to W^{2,s} for the algebra of type D_n^{(1)}.
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models. IV. Chromatic polynomial with cyclic boundary conditions
Published in J.Statist.Phys. 122 (2006) 705-760
• View Publication
• BIB
We study the chromatic polynomial P_G(q) for m \times n square- and triangular-lattice strips of widths 2\leq m \leq 8 with cyclic boundary conditions. This polynomial gives the zero-temperature limit of the partition function for the antiferromagnetic q-state Potts model defined on the lattice G. We show how to construct the transfer matrix in the Fortuin--Kasteleyn representation for such lattices and obtain the accumulation sets of chromatic zeros in the complex q-plane in the limit n\to\infty. We find that the different phases that appear in this model can be characterized by a topological parameter. We also compute the bulk and surface free energies and the central charge.
Representation theory of the 0-Ariki-Koike-Shoji algebras
We investigate the representation theory of certain specializations of the Ariki-Koike algebras, obtained by setting $q=0$ in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier Quasi-symmetric functions.
Analytic urns
Published in Annals of Probability 2005, Vol. 33, No. 3, 1200-1233
• View Publication
• BIB
This article describes a purely analytic approach to urn models of the generalized or extended Pólya-Eggenberger type, in the case of two types of balls and constant ``balance,'' that is, constant row sum. The treatment starts from a quasilinear first-order partial differential equation associated with a combinatorial renormalization of the model and bases itself on elementary conformal mapping arguments coupled with singularity analysis techniques. Probabilistic consequences in the case of ``subtractive'' urns are new representations for the probability distribution of the urn's composition at any time n, structural information on the shape of moments of all orders, estimates of the speed of convergence to the Gaussian limit and an explicit determination of the associated large deviation function. In the general case, analytic solutions involve Abelian integrals over the Fermat curve x^h+y^h=1. Several urn models, including a classical one associated with balanced trees (2-3 trees and fringe-balanced search trees) and related to a previous study of Panholzer and Prodinger, as well as all urns of balance 1 or 2 and a sporadic urn of balance 3, are shown to admit of explicit representations in terms of Weierstraßelliptic functions: these elliptic models appear precisely to correspond to regular tessellations of the Euclidean plane.
A two-dimensional pictorial presentation of Berele's insertion algorithm for symplectic tableaux
Published
• View Publication
• BIB
We give the first two-dimensional pictorial presentation of Berele's correspondence \cite{Berele}, an analogue of the Robinson-Schensted (R-S) correspondence \cite{Robinson, Schensted} for the symplectic group $Sp(2n, \Cpx )$. From the standpoint of representation theory, the R-S correspondence combinatorially describes the irreducible decomposition of the tensor powers of the natural representation of $GL(n,\Cpx)$. Berele's insertion algorithm gives the bijection that describes the irreducible decomposition of the tensor powers of the natural representation of $Sp(2n, \Cpx)$. Two-dimensional pictorial presentations of the R-S correspondence via local rules (first given by S. Fomin \cite{Fomin,FominGen}) and its many variants have proven very useful in understanding their properties and creating new generalizations. We hope our new presentation will be similarly useful.
Linear conditions imposed on flag varieties
Published
• View Publication
• BIB
We study subvarieties of the flag variety called Hessenberg varieties, defined by certain linear conditions. These subvarieties arise naturally in applications including geometric representation theory, number theory, and numerical analysis. We describe completely the homology of Hessenberg varieties over GL_n(C) and show that they have no odd-dimensional homology. We provide an explicit geometric construction which partitions each Hessenberg variety into pieces homeomorphic to affine space. We characterize these affine pieces by fillings of Young tableaux and show that the dimension of the affine piece can be computed by combinatorial rules generalizing the Eulerian numbers. We give an equivalent formulation of this result in terms of roots. We conclude with a section on open questions.
SM(2,4k) fermionic characters and restricted jagged partitions
Published in J.Phys. A38 (2005) 1699-1710
• View Publication
• BIB
A derivation of the basis of states for the $SM(2,4k)$ superconformal minimal models is presented. It relies on a general hypothesis concerning the role of the null field of dimension $2k-1/2$. The basis is expressed solely in terms of $G_r$ modes and it takes the form of simple exclusion conditions (being thus a quasi-particle-type basis). Its elements are in correspondence with $(2k-1)$-restricted jagged partitions. The generating functions of the latter provide novel fermionic forms for the characters of the irreducible representations in both Ramond and Neveu-Schwarz sectors.
Barvinok's Rational Functions: Algorithms and Applications to Optimization, Statistics, and Algebra
The main theme of this dissertation is the study of the lattice points in a rational convex polyhedron and their encoding in terms of Barvinok's short rational functions. The first part of this thesis looks into theoretical applications of these rational functions to Optimization, Statistics, and Computational Algebra. The main theorem on Chapter 2 concerns the computation of the \emph{toric ideal} $I_A$ of an integral $n \times d$ matrix $A$. We encode the binomials belonging to the toric ideal $I_A$ associated with $A$ using Barvinok's rational functions. If we fix $d$ and $n$, this representation allows us to compute a universal Gröbner basis and the reduced Gröbner basis of the ideal $I_A$, with respect to any term order, in polynomial time. We derive a polynomial time algorithm for normal form computations which replaces in this new encoding the usual reductions of the division algorithm. Chapter 3 presents three ways to use Barvinok's rational functions to solve Integer Programs.
The second part of the thesis is experimental and consists mainly of the software package {\tt LattE}, the first implementation of Barvinok's algorithm. We report on experiments with families of well-known rational polytopes: multiway contingency tables, knapsack type problems, and rational polygons. We also developed a new algorithm, {\em the homogenized Barvinok's algorithm} to compute the generating function for a rational polytope. We showed that it runs in polynomial time in fixed dimension. With the homogenized Barvinok's algorithm, we obtained new combinatorial formulas: the generating function for the number of $5\times 5$ magic squares and the generating function for the number of $3\times 3 \times 3 \times 3$ magic cubes as rational functions.
Jamming and geometric representations of graphs
Published in Electronic Journal of Combinatorics 13 R56 (2006)
• View Publication
• BIB
We expose a relationship between jamming and a generalization of Tutte's barycentric embedding. This provides a basis for the systematic treatment of jamming and maximal packing problems on two-dimensional surfaces.
Reduction of $m$-Regular Noncrossing Partitions
Published
• View Publication
• BIB
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.
A note on tensor categories of Lie type $E_9$
Published in J. of Algebra, 284 (2005) no. 1, 296-309
• View Publication
• BIB
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 Publication
• BIB
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.
Tensor product stabilization in Kac-Moody algebras
Published
• View Publication
• BIB
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.
Signature quantization, representations of compact Lie groups, and a q-analogue of the Kostant partition function
Published
• View Publication
• BIB
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.
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.