On Nonzero Kronecker Coefficients and their Consequences for Spectra

Abstract

A triple of spectra (r^A, r^B, r^{AB}) is said to be admissible if there is a density operator rho^{AB} with (Spec rho^A, Spec rho^B, Spec rho^{AB})=(r^A, r^B, r^{AB}). How can we characterise such triples? It turns out that the admissible spectral triples correspond to Young diagrams (mu, nu, lambda) with nonzero Kronecker coefficient [M. Christandl and G. Mitchison, to appear in Comm. Math. Phys., quant-ph/0409016; A. Klyachko, quant-ph/0409113]. This means that the irreducible representation V_lambda is contained in the tensor product of V_mu and V_nu. Here, we show that such triples form a finitely generated semigroup, thereby resolving a conjecture of Klyachko. As a consequence we are able to obtain stronger results than in [M. Ch. and G. M. op. cit.] and give a complete information-theoretic proof of the correspondence between triples of spectra and representations. Finally, we show that spectral triples form a convex polytope.

13 pages

References in corpus (7)

• Estimating the spectrum of a density operator
• The Structure of Bipartite Quantum States - Insights from Group Theory and Cryptography
• The Spectra of Density Operators and the Kronecker Coefficients of the Symmetric Group
• Quantum marginal problem and representations of the symmetric group
• Quantum universal variable-length source coding
• Applications of coherent classical communication and the Schur transform to quantum information theory
• An Invitation to the Generalized Saturation Conjecture

Cited by in corpus (35)

• Exponential Error Suppression for Near-Term Quantum Devices
• Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
• The stability of the Kronecker products of Schur functions
• Towards a theory of non-commutative optimization: geodesic first and second order methods for moment maps and polytopes
• The Dominant Eigenvector of a Noisy Quantum State
• Gaussian quantum marginal problem
• Strict unimodality of q-binomial coefficients
• Eigenvalue Distributions of Reduced Density Matrices
• When is a pure state of three qubits determined by its single-particle reduced density matrices?
• Efficient algorithms for tensor scaling, quantum marginals and moment polytopes
• Nonvanishing of Kronecker coefficients for rectangular shapes
• Even Partitions in Plethysms
• Asymptotic performance of port-based teleportation
• Entanglement combing
• Hypothesis Testing on Invariant Subspaces of the Symmetric Group, Part I - Quantum Sanov's Theorem and Arbitrarily Varying Sources
• An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP
• Inequalities for Moment Cones of Finite-Dimensional Representations
• Computing Multiplicities of Lie Group Representations
• Beating noise with abstention in state estimation
• Any modification of the Born rule leads to a violation of the purification and local tomography principles
• Membership in moment polytopes is in NP and coNP
• Report on "Geometry and representation theory of tensors for computer science, statistics and other areas."
• Compatibility conditions from multipartite entanglement measures
• Recoupling coefficients and quantum entropies
• The Saxl Conjecture for Fourth Powers via the Semigroup Property
• Vector partition functions and Kronecker coefficients
• Reduced Kronecker products which are multiplicity free or contain only few components
• Universal points in the asymptotic spectrum of tensors
• A quantum information-theoretic proof of the relation between Horn's problem and the Littlewood-Richardson coefficients
• Experimental proposal to probe the extended Pauli principle
• Saxl Conjecture for triple hooks
• Measuring quantum relative entropy with finite-size effect
• Breaking down the reduced Kronecker coefficients
• The Saxl Conjecture and the Dominance Order
• Maximal lexicographic spectra and ranks for states with fixed uniform margins