A quantum information-theoretic proof of the relation between Horn's problem and the Littlewood-Richardson coefficients

TL;DR

This paper provides an asymptotic quantum information-theoretic proof linking Horn's problem with Littlewood-Richardson coefficients, offering a new perspective on their mathematical relationship.

Contribution

It introduces a novel asymptotic quantum information approach to connect Horn's problem with representation theory, differing from previous geometric methods.

Findings

Established an asymptotic quantum proof of the relation

Connected Horn's problem to tensor product decompositions

Provided insights without addressing non-asymptotic cases

Abstract

Horn's problem asks for the conditions on sets of integers mu, nu and lambda that ensure the existence of Hermitian operators A, B and A+B with spectra mu, nu and lambda, respectively. It has been shown that this problem is equivalent to deciding whether the irreducible representation of GL(d) with highest weight lambda is contained in the tensor product of irreducible representations with highest weight mu and nu. In this paper we present a quantum information-theoretic proof of the relation between the two problems that is asymptotic in one direction. This result has previously been obtained by Klyachko using geometric invariant theory. The work presented in this paper does not, however, touch upon the non-asymptotic equivalence between the two problems, a result that rests on the recently proven saturation conjecture for GL(d).