representation ↗ reference
4143 papers tagged with this keyword
Spaces of coinvariants and fusion product II. Affine sl_2 character formulas in terms of Kostka polynomials
Published in J. Algebra 279 (2004), no. 1, 147--179.
• View Publication
• BIB
In this paper, we continue our study of the Hilbert polynomials of coinvariants begun in our previous work math.QA/0205324 (paper I). We describe the sl_n-fusion products for symmetric tensor representations following the method of Feigin and Feigin, and show that their Hilbert polynomials are A_{n-1}-supernomials. We identify the fusion product of arbitrary irreducible sl_n-modules with the fusion product of their resctriction to sl_{n-1}. Then using the equivalence theorem from paper I and the results above for sl_3, we give a fermionic formula for the Hilbert polynomials of a class of affine sl_2-coinvariants in terms of the level-restricted Kostka polynomials. The coinvariants under consideration are a generalization of the coinvariants studied in [FKLMM]. Our formula differs from the fermionic formula established in [FKLMM] and implies the alternating sum formula conjectured in [FL] for this case.
On the quotient ring by diagonal harmonics
Published
• View Publication
• BIB
For a Weyl group W and its reflection representation mathfrak{h}, we find the character and Hilbert series for a quotient ring of C[mathfrak{h} oplus mathfrak{h}^*] by an ideal containing the W--invariant polynomials without constant term. This confirms conjectures of Haiman. The proof makes use of rational Cherednik algebras, as studied by Etingof and Ginzburg, and others.
Packing Lines, Planes, etc.: Packings in Grassmannian Space
Published in Experimental Mathematics, 5 (1996), 139-159
• View Publication
• BIB
This paper addresses the question: how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? The results of extensive computations for modest values of N, n, m are described, as well as a reformulation of the problem that was suggested by these computations. The reformulation gives a way to describe n-dimensional subspaces of m-space as points on a sphere in dimension (m-1)(m+2)/2, which provides a (usually) lower-dimensional representation than the Pluecker embedding, and leads to a proof that many of the new packings are optimal. The results have applications to the graphical display of multi-dimensional data via Asimov's "Grand Tour" method.
Representations of twisted Yangians associated with skew Young diagrams
Published in Selecta Math. 10 (2004), 71-129
• View Publication
• BIB
Let $G_M$ be one of the complex Lie groups $O_M$ and $Sp_M$. The irreducible finite-dimensional representations of the group $G_M$ are labeled by partitions $μ$ satisfying certain extra conditions. Let $U$ be the representation of $G_M$ corresponding to $μ$. Regard the direct product $G_N\times G_M$ as a subgroup of $G_{N+M}$. Let $V$ be the irreducible representation of $G_{N+M}$ corresponding to a partition $λ$. Consider the vector space $W=Hom_{G_M}(U,V)$. It comes with a natural action of the group $G_N$. Let $n$ be sum of parts of $λ$ less the sum of parts of $μ$. For any choice of a standard Young tableau of skew shape $λ/μ$, we realize $W$ as a subspace in the tensor product of $n$ copies of the defining $N$-dimensional representation of $G_N$. This subspace is determined as the image of a certain linear operator $F(M)$ in the tensor product, given by an explicit formula. When M=0 and $W=V$ is an irreducible representation of $G_N$, we recover the classical realization of $V$ as a subspace in the space of all traceless tensors. Then the operator F(0) can be regarded as the analogue for $G_N$ of the Young symmetrizer, corresponding to the chosen standard tableau of shape $λ$. Even in the special case M=0, our formula for the operator $F(M)$ is new. Our results are applications of representation theory of the twisted Yangian, corresponding to $G_N$. In particular, $F(M)$ is an intertwining operator between two representations of the twisted Yangian in the $n$-fold tensor product.
Rectangular Schur functions and the basic representation of affine Lie algebras
Published
• View Publication
• BIB
An expression is given for the plethysm $p_{2}\circ S_{\square}$, where $p_{2}$ is the power sum of degree two and $S_{\square}$ is the Schur function indexed by a rectangular partition. The formula can be well understood from the viewpoint of the basic representation of the affine Lie algebra of type $A_{2}^{(2)}$.
Expansive Motions and the Polytope of Pointed Pseudo-Triangulations
Published in In "Discrete and Computational Geometry -- The Goodman-Pollack Festschrift" (B. Aronov, S. Basu, J. Pach, M. Sharir, eds), Algorithms and Combinatorics 25, Springer Verlag, Berlin, June 2003, pp. 699-736
• View Publication
• BIB
We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges.
For points in convex position we obtain a new realization of the associahedron, i.e., a geometric representation of the set of triangulations of an n-gon, or of the set of binary trees on n vertices, or of many other combinatorial objects that are counted by the Catalan numbers. By considering the 1-dimensional version of the polytope of constrained expansive motions we obtain a second distinct realization of the associahedron as a perturbation of the positive cell in a Coxeter arrangement.
Our methods produce as a by-product a new proof that every simple polygon or polygonal arc in the plane has expansive motions, a key step in the proofs of the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by Streinu (2000).
Spaces of coinvariants and fusion product I. From equivalence theorem to Kostka polynomials
Published in Duke Math. J. 125 (2004), no. 3, 549--588.
• View Publication
• BIB
The fusion rule gives the dimensions of spaces of conformal blocks in the WZW theory. We prove a dimension formula similar to the fusion rulefor spaces of coinvariants of affine Lie algebras g^. An equivalence of filtered spaces is established between spaces of coinvariants of two objects: highest weight g^-modules and tensor products of finite-dimensional evaluation representations of g\otimes\C[t].
In the sl_2 case we prove that their associated graded spaces are isomorphic to the spaces of coinvariants of fusion products, and that their Hilbert polynomials are the level-restricted Kostka polynomials.
A challenge in enumerative combinatorics: The graph of contribution
We will try to sketch Professor F. Y. Wu's contributions in lattice statistical mechanics, solid state physics, graph theory, enumerative combinatorics and so many other domains of physics and mathematics. We will recall F. Y. Wu's most important and well-known classic results and we will also sketch his most recent researches dedicated to the connections of lattice statistical mechanical models with deep problems in pure mathematics. Since it is hard to provide an exhaustive list of all his contributions, to give some representation of F. Y. Wu's "mental connectivity" we will concentrate on the interrelations between the various results he has obtained in so many different domains of physics and mathematics. Along the way we will also try to understand Wu's motivations and his favorite concepts, tools and ideas.
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models III. Triangular-Lattice Chromatic Polynomial
Published in J.Statist.Phys. 112 (2003) 921-1017
• View Publication
• BIB
We study the chromatic polynomial P_G(q) for m \times n triangular-lattice strips of widths m <= 12_P, 9_F (with periodic or free transverse boundary conditions, respectively) and arbitrary lengths n (with free longitudinal boundary conditions). The chromatic polynomial gives the zero-temperature limit of the partition function for the q-state Potts antiferromagnet. We compute the transfer matrix for such strips in the Fortuin--Kasteleyn representation and obtain the corresponding accumulation sets of chromatic zeros in the complex q-plane in the limit n\to\infty. We recompute the limiting curve obtained by Baxter in the thermodynamic limit m,n\to\infty and find new interesting features with possible physical consequences. Finally, we analyze the isolated limiting points and their relation with the Beraha numbers.
Determinantal probability measures
Published in Publ. Math. Inst. HauteÉtudes Sci. 98 (2003), 167-212.
• View Publication
• BIB
Determinantal point processes have arisen in diverse settings in recent years and have been investigated intensively. We study basic combinatorial and probabilistic aspects in the discrete case. Our main results concern relationships with matroids, stochastic domination, negative association, completeness for infinite matroids, tail triviality, and a method for extension of results from orthogonal projections to positive contractions. We also present several new avenues for further investigation, involving Hilbert spaces, combinatorics, homology, and group representations, among other areas.
Twisted ${\mathfrak{sl}}(3,\C)\sptilde$-modules and combinatorial identities
The main result of this paper is a combinatorial description of a basis of standard level 1 module for the twisted affine Lie algebra $A_2^{(2)}.$ This description also gives two new combinatorial identities of Göllnitz (or Rogers--Ramanujan) type. Methods used through the paper are mainly developed by J. Lepowsky, R. L. Wilson, A. Meurman and M. Primc, and the crucial role in constructions plays a vertex operator algebra approach to standard representations of affine Lie algebras.
The representation theory of the Ariki-Koike and cyclotomic q-Schur algebras
Published
• View Publication
• BIB
This article is a comprehensive review of the representation theory of the Ariki-Koike algebras and the cyclotomic Schur algebras.
A path-transformation for random walks and the Robinson-Schensted correspondence
Published in Trans. Amer. Math. Soc. 355 (2003) 3669--3697.
• View Publication
• BIB
In [O'Connell and Yor (2002)] a path-transformation G was introduced with the property that, for X belonging to a certain class of random walks on the integer lattice, the transformed walk G(X) has the same law as that of the original walk conditioned never to exit a type-A Weyl chamber. In this paper, we show that G is closely related to the Robinson-Schensted algorithm, and use this connection to give a new proof of the above representation theorem. The new proof is valid for a larger class of random walks and yields additional information about the joint law of X and G(X). The corresponding results for the Brownian model are recovered by Donsker's theorem. These are connected with Hermitian Brownian motion and the Gaussian Unitary Ensemble of random matrix theory. The connection we make between the path-transformation G and the RS algorithm also provides a new formula and interpretation for the latter. This can be used to study properties of the RS algorithm and, moreover, extends easily to a continuous setting.
A crystal to rigged configuration bijection for nonexceptional affine algebras
Published in "Algebraic Combinatorics and Quantum Groups", Edited by N. Jing, World Scientific (2003), 85-124
• View Publication
• BIB
Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Takagi, Tsuboi, Yamada, and the first author.
Combinatorics and Topology of partitions of spherical measures by 2 and 3 fans
An arrangement of k-semilines in the Euclidean (projective) plane or on the 2-sphere is called a k-fan if all semilines start from the same point. A k-fan is an $α$-partition for a probability measure $μ$ if $μ(σ_i)=α_i$ for each $i=1,...,k$ where $\{σ_i\}_{i=1}^k$ are conical sectors associated with the k-fan and $α= (α_1,... ,α_k)$. The set of all $α= (α_1,... ,α_m)$ such that for any collection of probability measures $μ_1,... ,μ_m$ there exists a common $α$-partition by a k-fan is denoted by ${\cal A}_{m,k}$. We prove, as a central result of this paper, that ${\cal A}_{3,2} = \{(s,t)\in \mathbb{R}^2\mid s+t=1 {\rm and} s,t>0\}$. The result follows from the fact that under mild conditions there does not exist a $Q_{4n}$-equivariant map $f : S^3\to V\setminus {\cal A}(α)$ where ${\cal A}(α)$ is a $Q_{4n}$-invariant, linear subspace arrangement in a $Q_{4n}$-representation V, where $Q_{4n}$ is the generalized quaternion group. This fact is established by showing that an appropriate obstruction in the group $Ω_1(Q_{4n})$ of $Q_{4n}$-bordisms does not vanish.
Representation of matroids
In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is representable over such a field.
Unique representation bases for the integers
Published in Acta Arithmetica 108:1 (2003), 1-8.
• View Publication
• BIB
Arbitrarily sparse sets A of integers are constructed with the property that every integer can be represented uniquely in the form n = a + a', where a and a' belong to the set A and a < a' or a = a'. Some related open problems are stated.
Qualitative Visualization of Distance Information
Different types of two- and three-dimensional representations of a finite metric space are studied that focus on the accurate representation of the linear order among the distances rather than their actual values. Lower and upper bounds for representability probabilities are produced by experiments including random generation, a rubber-band algorithm for accuracy optimization, and automatic proof generation. It is proved that both farthest neighbour representations and cluster tree representations always exist in the plane. Moreover, a measure of order accuracy is introduced, and some lower bound on the possible accuracy is proved using some clustering method and a result on maximal cuts in graphs.
Estimating Maximum by Moments for Functions on Orbits
Published
• View Publication
• BIB
Let G be a compact group acting in a real vector space V. We obtain a number of inequalities relating the L^infinity norm of a matrix element of the representation of G with its L^p norm for p<infinity. We apply our results to obtain approximation algorithms to find the maximum absolute value of a given multivariate polynomial over the unit sphere (in which case G is the orthogonal group) and for the multidimensional assignment problem, a hard problem of combinatorial optimization (in which case G is the symmetric group).
Descent Representations and Multivariate Statistics
Published
• View Publication
• BIB
Combinatorial identities on Weyl groups of types $A$ and $B$ are derived from special bases of the corresponding coinvariant algebras. Using the Garsia-Stanton descent basis of the coinvariant algebra of type $A$ we give a new construction of the Solomon descent representations. An extension of the descent basis to type $B$, using new multivariate statistics on the group, yields a refinement of the descent representations. These constructions are then applied to refine well-known decomposition rules of the coinvariant algebra and to generalize various identities.