On Horn’s Problem and Its Volume Function

• Published in: Communications in mathematical physics Vol. 376; no. 3; pp. 2409 - 2439
• Main Authors: Coquereaux, Robert, McSwiggen, Colin, Zuber, Jean-Bernard
• Format: Journal Article
• Language: English
• Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2020; Springer Nature B.V; Springer Verlag
• Subjects: Classical and Quantum Gravitation; Complex Systems; Conjugation; Lie groups; Mathematical analysis; Mathematical and Computational Physics; Mathematical Physics; Mathematics; Orbits; Physics; Physics and Astronomy; Polytopes; Probability; Quantum Physics; Relativity Theory; Representation Theory; Tensors; Theoretical
• ISSN: 0010-3616; 1432-0916
• DOI: 10.1007/s00220-019-03646-7

We consider an extended version of Horn’s problem: given two orbits O α and O β of a linear representation of a compact Lie group, let A ∈ O α , B ∈ O β be independent and invariantly distributed random elements of the two orbits. The problem is to describe the probability distribution of the orbit of the sum A + B . We study in particular the familiar case of coadjoint orbits, and also the orbits of self-adjoint real, complex and quaternionic matrices under the conjugation actions of SO ( n ) , SU ( n ) and USp ( n ) respectively. The probability density can be expressed in terms of a function that we call the volume function. In this paper, (i) we relate this function to the symplectic or Riemannian geometry of the orbits, depending on the case; (ii) we discuss its non-analyticities and possible vanishing; (iii) in the coadjoint case, we study its relation to tensor product multiplicities (generalized Littlewood–Richardson coefficients) and show that it computes the volume of a family of convex polytopes introduced by Berenstein and Zelevinsky. These considerations are illustrated by a detailed study of the volume function for the coadjoint orbits of B 2 = so ( 5 ) .