Inequalities for Moment Cones of Finite-Dimensional Representations

We give a general description of the moment cone associated with an arbitrary finite-dimensional unitary representation of a compact, connected Lie group in terms of finitely many linear inequalities. Our method is based on combining differential-geometric arguments with a variant of Ressayre's notion of a dominant pair. As applications, we obtain generalizations of Horn's inequalities to arbitrary representations, new inequalities for the one-body quantum marginal problem in physics, which concerns the asymptotic support of the Kronecker coefficients of the symmetric group, and a geometric interpretation of the Howe-Lee-Tan-Willenbring invariants for the tensor product algebra.

[1]  Gert Heckman,et al.  Projections of orbits and asymptotic behavior of multiplicities for compact connected Lie groups , 1982 .

[2]  S. Sternberg,et al.  A Normal Form for the Moment Map , 1984 .

[3]  Shlomo Sternberg,et al.  Geometric quantization and multiplicities of group representations , 1982 .

[4]  T. Tao,et al.  The honeycomb model of _{}(ℂ) tensor products I: Proof of the saturation conjecture , 1999 .

[5]  A. Klyachko,et al.  The Pauli Principle Revisited , 2008, 0802.0918.

[6]  Shantala Mukherjee,et al.  Coadjoint Orbits for A , 2005 .

[7]  Matthias Christandl,et al.  Eigenvalue Distributions of Reduced Density Matrices , 2012, 1204.0741.

[8]  Aram W. Harrow,et al.  Nonzero Kronecker Coefficients and What They Tell us about Spectra , 2007 .

[9]  B. V. Lidskii.  Spectral polyhedron of a sum of two Hermitian matrices , 1982 .

[10]  Paradan's wall crossing formula for partition functions and Khovanski-Pukhlikov differential operator , 2008, 0803.2810.

[11]  R. Howe,et al.  Why should the Littlewood–Richardson Rule be true? , 2012 .

[12]  S. Sternberg,et al.  Symplectic Techniques in Physics , 1984 .

[13]  Prakash Belkale.  Geometric proofs of horn and saturation conjectures , 2002 .

[14]  Matthias Christandl,et al.  The Spectra of Quantum States and the Kronecker Coefficients of the Symmetric Group , 2006 .

[15]  A. Klyachko.  QUANTUM MARGINAL PROBLEM AND REPRESENTATIONS OF THE SYMMETRIC GROUP , 2004, quant-ph/0409113.

[16]  P. Belkale.  The Tangent Space to an Enumerative Problem , 2011 .

[17]  R. Howe,et al.  A basis for the GLn tensor product algebra , 2004, math/0407468.

[18]  F D Murnaghan.  ON THE ANALYSIS OF THE KRONECKER PRODUCT OF IRREDUCIBLE REPRESENTATIONS OF S(n). , 1955, Proceedings of the National Academy of Sciences of the United States of America.

[19]  N. Ressayre.  Geometric Invariant Theory and Generalized Eigenvalue Problem II , 2011 .

[20]  Michel Brion.  On the general faces of the moment polytope , 1999 .

[21]  Nicolas Ressayre,et al.  Geometric invariant theory and the generalized eigenvalue problem , 2007, 0704.2127.

[22]  A. Horn.  Doubly Stochastic Matrices and the Diagonal of a Rotation Matrix , 1954 .

[23]  M. Brion,et al.  Sur l'image de l'application moment , 1987 .

[24]  F. Kirwan.  Cohomology of Quotients in Symplectic and Algebraic Geometry. (MN-31), Volume 31 , 1984 .

[25]  M. Christandl,et al.  Recoupling Coefficients and Quantum Entropies , 2012, 1210.0463.

[26]  R. Howe,et al.  Bases for some reciprocity algebras I , 2007 .

[27]  A. J. Coleman.  Structure of Fermion Density Matrices. II. Antisymmetrized Geminal Powers , 1965 .

[28]  Zsolt Páles,et al.  ON ϕ-CONVEXITY , 2012 .

[29]  Frances Kirwan,et al.  Convexity properties of the moment mapping, III , 1984 .

[30]  Laurent Manivel,et al.  Applications de Gauss et pléthysme , 1997 .

[31]  T. Tao,et al.  Honeycombs and sums of Hermitian matrices , 2000, math/0009048.

[32]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[33]  Moritz Beckmann,et al.  Young tableaux , 2007 .

[34]  Michael Atiyah,et al.  Convexity and Commuting Hamiltonians , 1982 .

[35]  Michael Walter,et al.  Multipartite Quantum States and their Marginals , 2014, 1410.6820.

[36]  [047] BRANCHING RULES AND BRANCHING ALGEBRAS FOR THE COMPLEX CLASSICAL GROUPS , 2013 .

[37]  S. Sternberg,et al.  Convexity properties of the moment mapping , 1982 .

[38]  Sergey Bravyi.  Requirements for copatibility between local and multipartite quantum states , 2004, Quantum Inf. Comput..

[39]  Arkady Berenstein,et al.  Coadjoint orbits, moment polytopes, and the Hilbert-Mumford criterion , 1998 .

[40]  A. Klyachko.  Stable bundles, representation theory and Hermitian operators , 1998 .

[41]  B. Kostant.  On convexity, the Weyl group and the Iwasawa decomposition , 1973 .

[42]  Matthias Christandl,et al.  On Nonzero Kronecker Coefficients and their Consequences for Spectra , 2005 .

[43]  Frank Ruskey,et al.  A CAT algorithm for generating permutations with a fixed number of inversions , 2003, Inf. Process. Lett..

[44]  Laurent Manivel,et al.  On the asymptotics of Kronecker coefficients , 2014, Journal of Algebraic Combinatorics.

[45]  Matthias Christandl,et al.  Nonvanishing of Kronecker coefficients for rectangular shapes , 2009, 0910.4512.

[46]  W. Fulton.  Eigenvalues of sums of hermitian matrices , 1998 .

[47]  Linda Ness,et al.  A Stratification of the Null Cone Via the Moment Map , 1984 .

[48]  M. Ruskai.  N-Representability Problem: Conditions on Geminals , 1969 .

[49]  D. E. Littlewood,et al.  Products and Plethysms of Characters with Orthogonal, Symplectic and Symmetric Groups , 1958, Canadian Journal of Mathematics.

[50]  Atsushi Higuchi.  On the one-particle reduced density matrices of a pure three-qutrit quantum state , 2003 .

[51]  Harish-Chandra.  Differential Operators on a Semisimple Lie Algebra , 1957 .

[52]  A. Sudbery,et al.  One-qubit reduced states of a pure many-qubit state: polygon inequalities. , 2002, Physical review letters.

[53]  P. Hayden,et al.  Quantum state transformations and the Schubert calculus , 2004, quant-ph/0410052.