publication venue for Framings and dilations. 79:529-543. 2013 The Horn inequalities for submodules. 79:17-30. 2013