“…This set of inequalities for the general case was proved to be necessary and sufficient by Knutson and Tao [38], using a combinatorial method. Horn's problem can be encountered in various fields, such as in representation theory [35,21,8], combinatorics [34], algebraic geometry [40], quantum information [37,48,47] and, indeed, linear algebra [5]. In recent years a randomised version of Horn's problem has been considered where a and b are fixed, while the diagonalizing unitary matrices U, V , i.e.…”