arXiv:2103.04317v1 [math.RT] 7 Mar 2021 Abstract: hr h u snwoe h subgroup the over now is sum the where prtr,sc seg pern nFrua( Formula in appearing e.g. as such operators, on and (3) non-negative are L¨owner order. o n esta h eemnn n h emnn rs when arise permanent the and determinant the that sees one Now re.Teamo hsnt st turn to is note this of aim The order. 62 Phys. Math. J. [FH, from inequalities 022203]. t the have generalize These L¨owner and order. the polynomials in inequalities into functions matrix imm A ter agroeve a efudi hpe fRf [ Ref. of 7 Chapter in found be can overview larger (2) 1 imm (1) EC) h uoenUinudrHrzn00(RBS 7545 (POIR.04.04.00-00-17C1/ (PROBIST TEAM-NET Horizon2020 through under Science Polish Union Ca European de the CERCA), Generalitat Fundaci´o Mir-Puig, CEX2019-000910-S), r ie by given are aymr nqaiisaekon hr eeto per nAppen in appears selection short A known. are inequalities more Many hscnb eeaie ute:gvnasubgroup a given further: generalized be can This ti elkonta,when that, known well is It Let Date write We eeaiaino hs ucin are functions these of generalization A H Hakolde upr yteGvrmn fSan(FIS2020 Spain of Government the by support acknowledges FH χ χ χ n a en a define can one , ftesmercgroup symmetric the of ( r pca ae ftefunction the of cases special are σ A pi 3 2021. 13, April : r h lentn n rva ersnain respectively. representations trivial and alternating the are 1 = ) ARXFRSO MAATINEQUALITIES IMMANANT OF FORMS MATRIX ( = etasaeieulte n ojcue o maat n gener and immanants for conjectures and inequalities translate We a A ij ≥ eacomplex a be ) B whenever eeaie arxfunction matrix generalized EI UE N ASMAASSEN HANS AND HUBER FELIX per( det( d χ H A A ( χ S A ( n A = ) = ) n A A = ) h orsodn maati endas defined is immanant corresponding the , 1. × = ) − spstv eient,alteaoequantities above the all semidefinite, positive is d σ σ n X X B σ Immanants χ H ∈ ∈ X ∈ σ S S arx h eemnn n emnn of permanent and determinant The matrix. ( X H ∈ n spstv eient;ti steL¨owner the is this semidefinite; positive is d n A scalar S χ H t sign( Y 1 χ ) =1 n H n immanants . ( ≥ χ σ a ( nta of instead ) 0 σ tσ σ t Y nqaiisfrpstv semidefinite positive for inequalities ) . =1 n ) ( t t Y t Y 3 ) =1 n =1 n a ,into ), . tσ a 8 a [ 7 ( tσ ]. tσ auy AARSR18 and 1381 SGR (AGAUR talunya t ie nirdcbecharac- irreducible an Given . 18-00). , ) ( ( S 8 t , H t ) ] ) n matrix . oeta e,pr and per, det, that Note . of TAQ n eeoOchoa Severo and -TRANQI 0,adteFudto for Foundation the and 10), S n nqaiisi the in inequalities and efr ftrace of form he χ χ ( σ character a sign( = ) 22) 2, (2021), dix alized A a , σ ) 2 FELIXHUBERANDHANSMAASSEN

2. Mapping to tensor products To approach this subject, it is convenient to consider any given positive semidef- inite matrix A as the Gram matrix A = (aij ) of some set of vectors {|v1i ,..., |vni}. So we write hv |v i hv |v i ... hv |v i  1 1 1 2 1 n  . hv2|v1i hv2|v2i .  (4) A =  .   . ..   . .    hvn|v1i ... hvn|vni m where |v1i ,..., |vni are complex vectors in a sufficiently large Hilbert space C . Every Gram matrix is positive semidefinite, and in turn, every positive semidefinite matrix A can be written as the Gram matrix of some set of vectors, which is unique up to unitary equivalence. From now we call them Gram vectors for A. The canonical choice will be through the matrix square root: for every matrix A ≥ 0 there is a unique matrix B ≥ 0 such that A = B2. Then the columns of B can be used as Gram vectors for A. Now when A ≥ 0 is thus understood as a Gram matrix one can relate immanants and generalised matrix functions of A with an expression on a tensor product space involving its Gram vectors. For this we consider the action of the symmetric group on a tensor product space. m ⊗n m m Namely, let σ ∈ Sn act on (C ) = C ⊗···⊗ C (n times) by permuting its tensor factors,

σ |v1i⊗ ... ⊗ |vni = |vσ−1(1)i⊗ ... ⊗ |vσ−1(n)i .

For example, (143)(2) |v1i ⊗ |v2i ⊗ |v3i ⊗ |v4i = |v3i ⊗ |v2i ⊗ |v4i ⊗ |v1i . H Our aim is to express the generalized matrix function dχ as a multilinear function on a tensor product space; see also Theorem 7.26 in Ref. [8] and Ref. [6] which take such an approach.

Lemma 1. Let A ≥ 0 with Gram vectors |v1i ,..., |vni and define Xi = |viihvi|, 1 ≤ i ≤ n. Then

dH (A)= χ(σ) tr σ−1 X ⊗ ... ⊗ X χ X  1 n σ∈H

Proof. Put v := v1 ⊗ ... ⊗ vn. Then n n a = hv |v i = hv|σ−1vi Y tσ(t) Y t σ(t) t=1 t=1 −1 −1 = tr(σ |vihv|) = tr(σ X1 ⊗ ... ⊗ Xn) . H  The statement follows from the definition (2) of dχ . Now it is interesting to understand the immanant of positive semidefinite matri- ces as arising from projectors: let H be subgroup of Sn. The centrally primitive idempotent in the group ring C[H] associated with a character χ is [9, Theorem 3.6.2] χ(e) pH = χ(σ)σ−1 . χ |H| X σ∈H H 2 H H One has that (pχ ) = pχ . Under a representation, pχ is projects onto an isotypic H component and thus pχ ≥ 0. In terms of the above proof it is then immediate that MATRIXFORMSOFIMMANANTINEQUALITIES 3

Eq. (3) holds: |H| |H| (5) dH (A)= hv|pH vi = ||pH v||2 ≥ 0 . χ χ(e) χ χ(e) χ 3. Trace polynomial inequalities

Each summand in Lemma 1 is linear in the Xi’s. This allows to turn scalar inequalities for immanants into inequalities in terms of the L¨owner order. For this we require a canonical ordering when writing permutations. Given a permutation decomposed into cycles as σ = σ1 ...σl ∈ Sn, its canonical order is such that its largest element appears at the end of the last cycle, σl = (...n). Now given a set of complex matrices X1,...,Xn of equal size, we define for every permutation (α1 ...αr) ... (ζ1 ...ζt)(ξ1 ...ξwn) the scalar

Tσ = tr(Xα1 ...Xαr ) ··· tr(Xζ1 ...Xζt ) tr(Xξ1 ··· Xξυ Xn) . and the matrix 1 Tσ = tr(Xα1 ...Xαr ) ··· tr(Xζ1 ...Xζt )Xξ1 ··· Xξυ , e where the last matrix Xn is replaced by 1 and its trace opened. It is clear that Tσ = tr(TσXn) holds. Furthermore, it is well-known that [4] e −1 Tσ = tr(σ X1 ⊗ ... ⊗ Xn)

Now suppose one is given a function f : Sn → C. To it we associate, on the one hand, the generalized matrix function df : Mn → C, n d (A)= f(σ) a . f X Y tσ(t) σ∈Sn t=1

On the other hand, we define for complex m × m matrices X1,...,Xn−1 the n−1 matrix-valued map df : Mm → Mm, e d (X ,...,X )= f(σ)T . f 1 n−1 X σ e σ∈Sn e

Starting from an inequality for some df a corresponding matrix inequality for df can be made. e Theorem 2. Suppose for all positive semidefinite n × n matrices A it holds that

df (A) ≥ 0 .

Then for all positive semidefinite matrices X1,...,Xn−1 of equal size it holds that

df (X1,...,Xn−1) ≥ 0 . e Proof. Suppose the Xi’s have size m × m. Then df ≥ 0 if and only if hw| df |wi≥ 0 holds for all |wi ∈ Cm. We rewrite this as e e hw| d |wi = hw| f(σ)T |wi f X σ e σ∈Sn e = f(σ)T X σ σ∈Sn (6) = f(σ) tr(σ−1X ⊗ ... ⊗ X ) , X 1 n σ∈Sn where we have set Xn = |wihw|. Now every such tensor product X1⊗...⊗Xn where all Xi are positive semidefinite can be decomposed as a convex combination of a finite set of rank one matrices of 4 FELIXHUBERANDHANSMAASSEN the form |v1ihv1|⊗ ... ⊗ |vnihvn|. It thus suffices to show that Eq. (6) holds for each term in the decomposition. With Lemma 1 and Eq. (5) we see that f(σ) tr(σ−1|v ihv |⊗ ... ⊗ |v ihv |)= d (A) ≥ 0 , X 1 1 n n f σ∈Sn where A is the Gram matrix of the vectors |v1i ,..., |vni. This ends the proof.  R H K In particular, if for some α, β ∈ an inequality αdχ (A) ≥ βdψ (A) holds for H all complex positive semidefinite n × n matrices A, then αdχ (X1,...,Xn−1) ≥ K e βdψ (X1,...,Xn−1) for all X1,...,Xn−1 ≥ 0 of equal size. e Remark. In Ref. [3] the author has derived a special case of this inequality, namely when χ is a character of the symmetric group, in the framework of the Choi- Jamiolkowski isomorphism.

Example 3. Let H = A4 be the alternating group of degree four. The conjugacy class of (123) in S4 splits in A4 into two: the conjugacy classes

CA4 ((123)) = {(123), (142), (243), (134)} ,

CA4 ((132)) = {(132), (124), (234), (143)} . The conjugacy class of (12)(34) does not split. So one has the representatives 2πi/3 (e) , (12)(34) , (123) , (132). Define ω = e . The non-trivial characters of A4 are

(e) (12)(34) (123) (132)

χ1 3 −1 0 0

χ2 1 1 ω ω

χ3 1 1 ω ω

χi(e) −1 A4 The element χi(σ )σ is idempotent and thus d (A) ≥ 0 for all |A4| Pσ∈A4 χi A ≥ 0 as reasoned in Eq. (5). The expressions are multilinear and it sufficices to consider matrices of trace one. Then for square matrices X,Y,Z define L = tr(XY )Z + tr(XZ)Y + tr(YZ)X, M = tr(ZYX)1 + XY + YZ + ZX.

A4 A4 The matrix functions dχi = dχi (X,Y,Z) are then e e A4 1 dχ1 =3 − L eA4 1 ∗ dχ2 = + L + ωM + ωM eA4 1 ∗ dχ3 = + L + ωM + ωM . e where M ∗ is the hermitian conjugate of M. Theorem 2 implies that for all X,Y,Z ≥ 0 with tr(X) = tr(Y ) = tr(Z)=1 the above three expressions are positive semidefi- nite.

A4 Example 4. Set f = χ2 . Again it suffices to consider matrices of trace one. It follows from Theorem 2 and Watkins’s theorem (see Appendix A) that (ω − 1)M + (ω − 1)M ∗ + tr(L)1 + X + Y + Z + X{Y,Z} + Y {Z,X} + Z{X, Y }≥ 0 holds for all X,Y,Z ≥ 0 with tr(X) = tr(Y ) = tr(Z)=1. MATRIXFORMSOFIMMANANTINEQUALITIES 5

Example 5. In CS3 the centrally primitive idempotent associated to the partition 1 (2, 1) reads p(2,1) = 3 [2(e) − (123) − (132)]. Watkin’s theorem applied to p(1,2) and the non-negativity of the determinant yields the following upper and lower bounds on the anti-commutator of positive semidefinite matrices X, Y of trace 1: 2 X + Y + [tr(XY ) − 1]1 ≤ XY + YX ≤ [X + Y + tr(XY )]1 . 3

Sn Remark. We note when immχ := dχ (X1,...,Xn−1) becomes a matrix identity: one has that immχ(X1,...,Xgn−1) =e 0 for all complex m × m matrices X1,...,Xn−1 when χ correspondsg to a Young diagram with more than m rows. This result is also known as Lew’s polarized (or generalized) Cayley-Hamilton theorem [5] and it can be understood as a consequence of

pχ |v1i⊗ ... ⊗ |vni =0 .

m whenever χ corresponds to a Young diagram with r rows but |v1i ,..., |vni ∈ C with m < r [3].

Appendix A. Some immanant inequalities The following inequalities for the immanants of positive semidefinite matrices are well-known [1, 2, 8, 10]. Hadamard inequality (1893): For all A ≥ 0

det(A) ≤ a . Y ii i Schur inequality (1918): For all A ≥ 0 imm (A) det(A) ≤ λ . χλ(e) Marcus inequality (1963): For all A ≥ 0

per(A) ≥ a . Y ii i Permanent dominance conjecture (open): For all A ≥ 0 imm (A) per(A) ≥ λ . χλ(e)

Heyfron’s theorem (1988): Define the normalized immanant immχ(A) = immχ(A)/χ(e). For all A ≥ 0 det(A)= imm[1n](A) ≤ imm[2,1n−2](A) ≤ imm[3,1n−3](A) ≤ ...

···≤ imm[n−3,13](A) ≤ imm[n−2,12](A) ≤ imm[n](A) = per(A) where the dots consist of a chain of immanants corresponding to single-hook Young Tableaux with increasing row and decreasing column lenghts.

Watkins’s theorem (1988): Suppose f : Sn → C is such that df (A) ≥ 0 for all complex semidefinite m × m matrices A. Then it holds that df (A) ≥ f(e) det(A) for all complex semidefinite m × m matrices A. 6 FELIXHUBERANDHANSMAASSEN

References

1. Gi-Sang Cheon and Ian M. Wanless, An update on Minc’s survey of open problems involving permanents, Linear Algebra Appl. 403 (2005), 314–342. 2. Robert Grone, Russel Merris, and William Watkins, Cones in the group algebra related to Schur’s determinantal inequality, Rocky Mountain J. Math. 18 (1988), no. 1, 137–146. 3. Felix Huber, Positive maps and trace polynomials from the symmetric group, J. Math. Phys. 62 (2021), no. 2, 022203. 4. Bertram Kostant, A Theorem of Frobenius, a Theorem of Amitsur-Levitski and Cohomology Theory, pp. 64–91, Springer New York, New York, NY, 2009. 5. John S. Lew, The generalized Cayley-Hamilton theorem in n dimensions, J. App. Math. Phys. 17 (1966), 650. 6. Hans Maassen and Burkhard K¨ummerer, Entanglement of symmetric Werner states, available online at http://www.bjadres.nl/MathQuantWorkshop/Slides/SymmWernerHandout.pdf, May 2019. 7. Marvin Marcus and Henryk Minc, Generalized matrix functions, Trans. Amer. Math. Soc. 116 (1965), 316–329. 8. R. Merris, Multilinear Algebra, CRC Press, 1997. 9. Peter Webb, A course in finite group representation theory, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2016. 10. Fuzhen Zhang, An update on a few permanent conjectures, Spec. Matrices 4 (2016), 305–316.

Felix Huber, Atomic Optics Department, Jagiellonian University, 30-348 Krakow,´ Poland, e-mail: [email protected]

Hans Maassen, Department of Mathematics, Radboud University, 6525 AJ Nijmegen, The Netherlands