Arxiv:2005.11607V3

Home , Separable state

arXiv:2005.11607v3 [quant-ph] 2 May 2021 tdigtecne hull convex the Studying l tt,etnlmn,nmrclrne rudsaeene state ground range, numerical entanglement, state, ble rudsaepeoeao ooi ytm [ systems bosonic of phenomena state ground ytmi h itneo h rgnfo uprighyperp supporting a from i origin an the of Fi of operator de distance energy quantum local the the a is per of system energy As state ground states. the product rem, pure symmetric of set salna mg ftesto ymti eaal tts f a of states, studies separable enable symmetric would of This set states. the of separable image linear a is [ Størmer by result classic A gso ust fqatmsae [ states quantum of subsets of ages that aware [ are see We known, states. well product is c pure a symmetric admits We into state states. sition separable product symmetric of every combinations statement: convex verse are they say, to is [ co theory information and quantum symmetry in topic between general interrelation more the theorem, Finetti safc ftesto l unu tts h li hnfollo then entang claim is identic state The are antisymmetric every state states. shows symmetric quantum proof symmet a all our of of of change, set marginals set the the one-particle that of all namely face problem, a is the of geometry convex ooi ytmi ovxcmiaino ymti uepro the pure as [ symmetric known chanics of is combination result convex This a is system bosonic cigo h ymti esrpouto n-atceHil one-particle a of product tensor symmetric the on acting aeo ehd sdwt h e fsprbesae [ states separable of set the with used methods of tage EOPSTO FSMERCSPRBESTATES SEPARABLE SYMMETRIC OF DECOMPOSITION N RUDSAEEEG FBSNCSYSTEMS BOSONIC OF ENERGY STATE GROUND AND e od n phrases. and words Key 2010 repres to ranges numerical uses theory information Quantum s separable are states product pure symmetric mentioned The h oiainbhn hswr st xmn ierimages linear examine to is work this behind motivation The oosaeqatmmcaia atce ecie ydensit by described particles mechanical quantum are Bosons ahmtc ujc Classification. Subject Mathematics h eopsto ntecneto ueia agsadgro and systems. ranges bosonic numerical geometry. infinite of convex of context on problems the focus we W in here decomposition itself, states. the in new product not pure is symmetric result into decomposition convex Abstract. 20 , 30 n nqatmifrainter [ theory information quantum in and ] epoeta vr ymti eaal tt disa admits state separable symmetric every that prove We 5 , 16 unu tt,smercsae niymti tt,sepa state, antisymmetric state, symmetric state, quantum , 27 conv(Π n [ and ] 1. 26 unu eFntitheorem Finetti de quantum TPA WEIS STEPHAN hw the shows ] Introduction sym 17 9 , 13 em .9.Orpofsrse the stresses proof Our 7.29]. Lemma , ) 1 56,1A0 70,8V0 81P40. 81V70, 47L07, 15A60, 15A69, steeoepvtlt understanding to pivotal therefore is , 21 , 25 k pril agnlo ninfinite an of marginal -particle .W hwteset the show We ]. 8 , conv(Π 9 , 29 g,bsncsystem. bosonic rgy, ]. 4 , 11 sym 12 2 , , , 19 3 ) 23 , nsaitclme- statistical in .Bsdstede the Besides ]. 6 ytkn advan- taking by ediscuss We l pnasign a Upon al. ]. ne decompo- onvex , c ftestof set the of ace n state und led. 18 fiiebosonic nfinite etsae[ space bert rv h con- the prove iethe hile aeto lane rlto sa is rrelation n ierim- linear ent h assertion the ]. utstates. duct Π operators y conv(Π sbecause ws et theo- netti ae,that tates, sym i states ric fthe of Π sym sym 7 ra- ]. ) . 2 STEPHAN WEIS

In Section 2 we recall that the set of quantum states supported on a subspace is a face of the set of all quantum states. Section 3 contains the main proofs and a question regarding the number of terms in the decomposition of a symmetric separable state. In Section 4 we discuss numerical ranges, which we connect to the ground state energy of an inﬁnite bosonic system in Section 5.

2. Decomposition of states supported on subspaces We recall aspects of the convex geometry of the set of quantum states and point out that every state that contributes to a convex decomposition of a state supported on a subspace is itself supported on the same subspace. Let H be a finite-dimensional Hilbert space, B(H) the Banach algebra of linear operators on H, and S(H) the compact, convex set of density operators on H, that is to say, positive operators with trace one, also known as states or quantum states. If H = Cn for some n ∈ N, we identify B(H) with the set Mn of n-by-n matrices, and S(H) with the compact, convex set of positive semi-definite matrices of trace one. A projector on H is an idempotent, self-adjoint operator P ∈ B(H); this means that P = P 2 = P ∗. The set of projectors on H is partially ordered by the relation P Q, which signifies that Q − P is a positive operator. It is well known that the mapping that sends a projector P on H to the image im(P )= {P (ϕ) | ϕ ∈ H} is a lattice isomorphism from the set of projectors on H to the set of subspaces of H partially ordered by inclusion. A subset F of a convex set C is a face of C if F is convex and whenever x ∈ F and x = (1−λ)y+λz for some λ ∈ (0, 1) and y, z ∈ C, then y and z are also in F . A point x ∈ C is called an extreme point of C if {x} is a face of C. Let K⊂H be a subspace. We say an operator A ∈B(H) is supported on K if the images im(A)= {A(ϕ) : ϕ ∈ H} of A and im(A∗)= {A∗(ϕ) : ϕ ∈ H} of the adjoint A∗ are included in K. Let (1) S(H, K) denote the set of states on H that are supported on K. It is well known that the mapping that sends a subspace K of H to the set S(H, K) is a lattice isomorphism from the set of subspaces of H to the set of faces of S(H) partially ordered by inclusion [1]. All faces of the set of quantum states S(H) are compact, convex sets. In particular, the set of extreme points of the set of quantum states S(H), also called pure states on H, is the set of projectors of rank one, (2) ext(S(H)) = {|ϕihϕ| : ϕ ∈H, hϕ|ϕi = 1}. In quantum information theory, the projector onto the span of a unit vector ϕ ∈ Cn is denoted by |ϕihϕ|; both ϕ and |ϕihϕ| are referred to as pure states. Recall that the relative interior of a convex subset C of a Euclidean vector space is the interior of C with respect to the topology of the affine hull of C. Lemma 1. Let K⊂H be a subspace and let ρ ∈ S(H, K) be a state supported on K. Let λ1, . . . , λd > 0 be strictly positive real numbers that sum up to one d and let ρ = λiρi be a convex combination of states ρ1, . . . , ρd ∈ S(H). Pi=1 SYMMETRIC SEPARABLE STATES AND GROUND STATE ENERGY 3

Then each state ρi is supported on K. If ρi = |ϕiihϕi| is the pure state corresponding to a unit vector ϕi ∈H, then ϕi lies in K for i = 1,...,d. Proof. By Theorem 6.9 of [24], the state ρ belongs to the relative interior of the convex hull C = conv({ρ1, . . . , ρd}) of the points ρ1, . . . , ρd. Since ρ lies in the face S(H, K), Theorem 18.1 of [24] shows that the whole convex set C is included in S(H, K). This proves the ﬁrst statement; the second statement follows as the image of |ϕiihϕi| is spanned by ϕi. The spectral projections of a state are supported on the same subspace as the state. Remark 1. Every state ρ ∈ S(H, K) is the convex combination of at most dimC(K) pure states supported on K. It suﬃces to write ρ as a convex combination of its spectral projections. Lemma 1 shows the spectral projections are supported on K.

3. Decomposition of symmetric separable states We show that every symmetric separable state is a convex combination of symmetric pure product states. The same proof shows all antisymmetric states are entangled. We label the units of a many-particle system by a finite set ν. Let H be a finite-dimensional Hilbert space, the one-particle Hilbert space. The Hilbert space of the subsystem µ is the tensor product H⊗µ = H, the identity Ni∈µ operator of which we denote by 1µ, for all subsets µ ⊂ ν. We replace ν with its cardinality |ν| if convenient, for example to write symmetric product |ν| ν S states σ = σ = i∈ν σ where σ ∈ (H) is a state on the one-particle Hilbert space. N Writing the complement as µ = ν \ µ, we define the partial trace over the ⊗ν ⊗µ subsystem µ as the linear map Trµ : B(H ) → B(H ), where Trµ(A) is characterized by the conditions Tr Tr (A)B = Tr A(B ⊗ 1 ) , B ∈B(H⊗µ), µ µ ⊗ν ⊗ν for all operators A ∈B(H ). If ρ is a state on H , then Trµ(ρ) is a state on H⊗µ, called the marginal of ρ in the subsystem µ. A state ρ ∈ S(H⊗ν) is a product state (with respect to H and ν) if it can S be written in the form ρ = i∈ν ρi, where ρi ∈ (H) for all i ∈ ν. Using pure states (2) we define theN set of pure product states by

(3) S (H,ν)= ρ | ρ ∈ ext(S(H)) ∀i ∈ ν . pure,prod n O i i o i∈ν A state ρ ∈ S(H⊗ν ) is separable if ρ is a convex combination of product states. Otherwise, ρ is entangled. We denote the set of separable states by

(4) Ssep(H,ν). The possibility to decompose each factor of a product state into pure states and the distributive law show Ssep(H,ν) is the convex hull of Spure,prod(H,ν). In fact, Spure,prod(H,ν) is the set of extreme points of Ssep(H,ν) as every ⊗ν pure product state is an extreme point of S(H ) and hence of Ssep(H,ν). 4 STEPHAN WEIS

The symmetric group Sν of the ﬁnite set ν acts by linear automorphisms on the many-particle Hilbert space H⊗ν as per the law

σ ϕ = ϕ −1 , ϕ ∈H∀i ∈ ν, O i O σ (i) i i∈ν i∈ν for all permutations σ ∈ Sν. The ν-fold symmetric tensor product of the Hilbert space H is defined by ⊗ν ⊗ν (5) Hsym = nϕ ∈H | σ(ϕ)= ϕ ∀σ ∈ Sνo. It is easy to write down a basis for the symmetric tensor product. Remark 2. Let |0i , |1i ,..., |n − 1i be an orthonormal basis of H. Let T = (T0,...,Tn−1) be an n-tuple of non-negative integers that sum up to the cardinality |ν| of ν and define ϕ = c σ |0 . . . 0 1 . . . 1 . . . (n − 1) . . . (n − 1)i , T T X σ∈Sν T0 T1 | {z } | {z } | T{zn−1 } n−1 −1/2 where cT = (|ν|! i=0 Ti!) is a normalization constant. The orthonormal Q ⊗ν set {ϕT } is a basis of the symmetric tensor product Hsym, because {ϕT } spans the image of the projector H⊗ν → H⊗ν defined by 1 σ, see |ν|! Pσ∈Sν [14, Section 4.10]. For example, the set of Dicke states [22] with k excitations, ϕ = (|ν|!(|ν|− k)!k!)−1/2 σ |0 . . . 0 1 . . . 1i , k = 0,..., |ν|, (|ν|−k,k) X σ∈Sν ||ν|−{z k} | {zk } is an orthonormal basis of the ν-fold symmetric tensor product of C2. Definition 1 (Symmetric States). A state ρ ∈ S(H⊗ν) is symmetric (with ⊗ν respect to H and ν) if ρ is supported on the symmetric tensor product Hsym introduced in equation (5). Using the notation from equation (1) and (4), we denote the set of symmetric separable states by S S ⊗ν ⊗ν S (6) sym,sep(H,ν)= (H , Hsym) ∩ sep(H,ν). Every convex combination of symmetric pure product states σ⊗ν is a symmetric separable state. Here we prove the converse statement that every symmetric separable state is a convex combination of symmetric pure product states. Theorem 1. The set of symmetric separable states is the convex hull of the set of symmetric pure product states, (7) S (H,ν) = conv {σ⊗ν | σ ∈ ext(S(H))} . sym,sep The symmetric pure product states are the extreme points of Ssym,sep(H,ν), (8) ext S (H,ν) = σ⊗ν | σ ∈ ext(S(H)) . sym,sep Proof. In order to prove (7) it suffices to show that every symmetric separable state ρ is a convex combination of symmetric pure product states. Being a d separable state, ρ admits a convex decomposition ρ = λi |ϕiihϕi| with Pi=1 positive coefficients λ1, . . . , λd > 0 into pure product states ⊗ν ϕi = ψi,j ∈H , Nj∈ν SYMMETRIC SEPARABLE STATES AND GROUND STATE ENERGY 5 where ψi,j ∈ H is a pure state for all i = 1,...,d and j ∈ ν. Since ρ is ⊗ν supported on the symmetric tensor product Hsym, Lemma 1 shows ϕi lies ⊗ν in the symmetric tensor product Hsym for all i = 1,...,d. This implies the one-particle marginals of ϕi are identical to a pure state ψi ∈H,

|ψiihψi| = |ψi,jihψi,j| = Tr{j}(|ϕiihϕi|), j ∈ ν, for all i = 1,...,d, which shows d d ⊗ν ρ = λi |ϕiihϕi| = λi(|ψiihψi|) Pi=1 Pi=1 and proves the claim. The inclusion “⊂” in equation (7) implies that every extreme point of Ssym,sep(H,ν) must be a symmetric pure product state. Conversely, every symmetric pure product state is an extreme point of S(H⊗ν ) and hence of Ssym,sep(H,ν), which yields equation (8). Question 1. How many symmetric pure product states are required in the decomposition of a symmetric separable state ρ? The rank of ρ may not be an upper bound on d (as in Remark 1) because the spectral projections of ρ may be entangled. Examples of separable two-qubit states of rank three that require four pure product states in the decomposition are described in [28]. How is the situation in the symmetric setting? Remark 3. A similar decomposition as in Theorem 1 exists for the class of completely symmetric states, which is important in entanglement theory [10,23]. These states are convex combination of real symmetric pure product states. The ν-fold antisymmetric tensor product of the Hilbert space H is deﬁned by ⊗ν nϕ ∈H | σ(ϕ) = sgn(σ)ϕ ∀σ ∈ Sνo, where sgn(σ) is the sign of a permutation σ ∈ Sν, which is +1 if σ is a composition of an even number of transpositions, and −1 else. A state on H⊗ν is antisymmetric if it is supported on the antisymmetric tensor product. Theorem 2. If ν has at least two elements, then every antisymmetric state is entangled. Proof. The same reasoning as in Theorem 1 shows every antisymmetric separable state is a convex combination of symmetric pure product states. Hence, the existence of an antisymmetric separable state would lead to a contradic- tion.

4. Joint Numerical Ranges Numerical ranges, originally a topic of matrix theory, have become indis- pensable tools in quantum information theory [9, 13, 21, 25] to study linear images of certain subsets of quantum states. We show two notions of symmetric numerical ranges to be equal. ⊗ν Let A1,...,Am ∈ B(H ) be a sequence of hermitian operators. Using the sets of pure states (2), pure product states (3), and separable states (4), 6 STEPHAN WEIS we define the numerical ranges [9, 13] Λ= Tr(ρA )m | ρ ∈ ext(S(H⊗ν )) , (joint numerical range) i i=1 m S " Π= {Tr(ρAi)i=1 | ρ ∈ pure,prod(H,ν)} , ( – – product numerical range) m S " " " Θ= {Tr(ρAi)i=1 | ρ ∈ sep(H,ν)} . ( – – separable – – – – ) Symmetric numerical ranges have been studied, too [9]. Using symmetric pure product states, we define the set (9) Π = Tr(σ⊗ν A )m | σ ∈ ext(S(H)) , sym i i=1 which we call joint symmetric product numerical range. Employing the set of symmetric separable states (6), we define the set m S Θsym = {Tr(ρAi)i=1 | ρ ∈ sym,sep(H,ν)} , which we call joint symmetric separable numerical range. Recalling equation (3), we observe the set of separable states is the convex hull of the set of pure product states; therefore Θ = conv(Π). The analogue is true for symmetric numerical ranges.

Corollary 1. The joint symmetric separable numerical range Θsym is the convex hull of the joint symmetric product numerical range Πsym.

Proof. Theorem 1 proves the set of symmetric separable states Ssym,sep(H,ν) is the convex hull of the set {σ⊗ν | σ ∈ ext(S(H))} of symmetric pure product states. The claim follows as Θsym is the image of the former set and Πsym is the image of the latter set under the same linear map. Corollary 1 clariﬁes a relationship between two numerical ranges. Remark 4. Chen et. al [9] have deﬁned the symmetric version of the joint separable numerical range Θ to be the convex hull conv(Πsym) of the joint symmetric product numerical range Πsym. This brings to mind the equation Θ = conv(Π). The analogous equation Θsym = conv(Πsym) shows the set conv(Πsym) is a linear image of the set of symmetric separable states Ssym,sep(H,ν), thereby corroborating conv(Πsym) is a natural choice for a symmetric version of Θ.

Corollary 1 oﬀers a new approach to study the set conv(Πsym).

Remark 5. The identity conv(Πsym)=Θsym allows us to study the set conv(Πsym) via the set of symmetric separable states Ssym,sep(H,ν), the preimage of the numerical range Θsym. The convex set Ssym,sep(H,ν) is a face of the set of separable states Ssep(H,ν), for which algebraic tools are available [2,3,6,18]. Studying linear images of Ssym,sep(H,ν) in the context of statistical mechanics is interesting already for two qubits [8,9], where every separable state has a positive partial transpose [15].

5. The Quantum de Finetti Theorem This section highlights the role the joint symmetric separable numerical range Θsym plays in the statistical mechanics of bosonic systems. SYMMETRIC SEPARABLE STATES AND GROUND STATE ENERGY 7

Symmetric states on the many-particle Hilbert space H⊗ν are called bosonic states in physics [7,9,20]. Due to the symmetry, the marginals of a symmet- S ⊗ν ⊗ν ric state ρ ∈ (H , Hsym) are themselves symmetric states. The marginals of ρ depend on the subsystems only through their sizes,

Trµ(ρ) = Trη(ρ) for all µ, η ⊂ ν, |µ| = |η|. Thus, one studies the set of k-particle N-representable density operators (k) ρ ρ S ⊗N , ⊗N S ⊗k, ⊗k PN = nTr{1,...,k}( ) | ∈ (H Hsym)o ⊂ (H Hsym) with reference to the total number N = |ν| of units and the size k of the subsystem. According to a classic result by Størmer [26], also known as the quantum de Finetti theorem [9, 20, 30], we have P(k) = conv {σ⊗k | σ ∈ ext(S(H))} , k ∈ N. \ N N≥k In other words, the set of all possible k-particle marginals of an inﬁnite bosonic system is the convex hull of the set of symmetric pure product states. By Theorem 1, (10) P(k) = S (H, k), k ∈ N, \ N sym,sep N≥k where Ssym,sep(H, k) = Ssym,sep(H,ν) is the set of symmetric separable states on a system ν of size |ν| = k. Quantum phase transitions are associated with abrupt changes of the ground state energy of an energy operator

H(x)= x1H1 + x2H2 + · · · + xmHm ⊗N m on H under smooth changes of the parameter x = (x1,...,xk) ∈ R for large system sizes N →∞. In many cases the energy operators H1,...,Hm are k-local Hamiltonians for some ﬁxed k ∈ N. This means

Hi = Hi,µ ⊗ 1µ, i = 1,...,m, Pµ⊂ν,|µ|=k ⊗µ where Hi,µ ∈B(H ) interacts with at most |µ| = k units of the total system ν = {1,...,N}. The ground state energy of a bosonic system with energy operator H(x) is

minρ∈S(H⊗N ,H⊗N ) Tr(H(x)ρ) = min (k) Tr(A(x)σ), sym σ∈PN m where A(x)= xiAi and Pi=1 ⊗k Ai = Hi,µ ∈B(H ), i = 1,...,m. Pµ⊂ν,|µ|=k For this sum to be well-deﬁned, one may assume each operator Hi,µ is sup- ⊗µ ported on the symmetric tensor product Hsym or replace Hi,µ with its com- ⊗µ pression onto Hsym. Provided the convergence of the energy operators Ai is guaranteed in the thermodynamic limit N → ∞, Størmer’s result in the version of equation (10) shows the ground state energy of H(x) is

min Tr(A(x)σ)= min x1y1 + x2y2 + · · · + xmym, σ∈Ssym,sep(H,k) y∈Θsym where Θsym is the joint symmetric separable numerical range (9) with respect ⊗k to the operators A1,...,Am ∈B(H ). 8 STEPHAN WEIS

In other words, the ground state energy of H(x) is the distance of the origin from the supporting hyperplane to Θsym with inner normal vector x. This rationale strongly motivates to study the geometry of the numerical range Θsym. The key-feature of a ruled surface on the boundary of Θsym is an expression of a phase transition [8,9,29] and deserves a thorough investi- gation.

Acknowledgements. I thank Karol Życzkowski for discussions on numerical ranges and their use in quantum mechanics. I thank Lin Chen, who kindly pointed out to me the diﬀerence between symmetric and completely symmetric states. I thank an anonymous referee, who made me aware of the literature [5, 16, 17, 27].

References [1] Alfsen, E. M. and F. W. Shultz, State Spaces of Operator Algebras: Basic Theory, Orientations, and C*-Products, Boston, Birkhäuser, 2001. ISBN: 978-1-4612-6634-1, DOI: 10.1007/978-1-4612-0147-2 [2] Alfsen, E. and F. Shultz, Unique decompositions, faces, and automorphisms of separable states, Journal of Mathematical Physics 51, 052201 (2010). DOI: 10.1063/1.3399808 [3] Aubrun, G. and S. J. Szarek, Alice and Bob Meet Banach: The Interface of Asymp- totic Geometric Analysis and Quantum Information Theory, Providence, AMS, 2017. ISBN: 978-1-4704-3468-7 [4] Augusiak, R., J. Tura, J. Samsonowicz, and M. Lewenstein, Entangled symmetric states of N qubits with all positive partial transpositions, Phys. Rev. A 86, 042316 (2012). DOI: 10.1103/PhysRevA.86.042316 [5] Bohnet-Waldraﬀ, F., D. Braun, and O. Giraud, Partial transpose criteria for symmetric states, Physical Review A 94, 042343 (2016). DOI: 10.1103/PhysRevA.94.042343 [6] Bengtsson, I. and K. Życzkowski, Geometry of Quantum States: An Introduction to Quantum Entanglement, 2nd edition, Cambridge, Cambridge University Press, 2017. ISBN: 978-1-139-20701-0, DOI: 10.1017/9781139207010 [7] Messiah, A., Quantum Mechanics, Mineola, Dover Publications, 1999. ISBN: 978-0-486-78455-7 [8] Chen, J.-Y., Z. Ji, Z.-X. Liu, X. Qi, N. Yu, B. Zeng, and D. Zhou, Physical origins of ruled surfaces on the reduced density matrices geometry, Science China Physics, Mechanics & Astronomy 60, 020311 (2017). DOI: 10.1007/s11433-016-0396-2 [9] Chen, J., C. Guo, Z. Ji, Y.-T. Poon, N. Yu, B. Zeng, and J. Zhou, Joint product numerical range and geometry of reduced density matrices, Science China Physics, Mechanics & Astronomy 60, 020312 (2017). DOI: 10.1007/s11433-016-0404-5 [10] Chen, L., D. Chu, L. Qian, and Y. Shen, Separability of completely symmetric states in a multipartite system, Phys. Rev. A 99, 032312 (2019). DOI: 10.1103/PhysRevA.99.032312 [11] Christandl, M., R. König, and R. Renner, Postselection technique for quantum chan- nels with applications to quantum cryptography, Phys. Rev. Lett. 102, 020504 (2009). DOI: 10.1103/PhysRevLett.102.020504 [12] Christandl, M., N. Schuch, and A. Winter, Entanglement of the antisymmetric state, Communications in Mathematical Physics 311, 397–422 (2012). DOI: 10.1007/s00220-012-1446-7 [13] Gawron, P., Z. Puchała, J. A. Miszczak, Ł. Skowronek, and K. Życzkowski, Restricted numerical range: A versatile tool in the theory of quantum information, Journal of Mathematical Physics 51, 102204 (2010). DOI: 10.1063/1.3496901 [14] Greub, W., Multilinear Algebra, New York, Springer, 1978. ISBN: 978-0-387-90284-5, DOI: 10.1007/978-1-4613-9425-9 [15] Horodecki, M., P. Horodecki, and R. Horodecki, Separability of mixed states: Neces- sary and suﬃcient conditions, Physics Letters A 223, 1–8 (1996). DOI: 10.1016/S0375-9601(96)00706-2 SYMMETRIC SEPARABLE STATES AND GROUND STATE ENERGY 9

[16] Korbicz, J. K., J. I. Cirac, and M. Lewenstein, Spin squeezing inequalities and entanglement of n qubit states, Phys. Rev. Lett. 95, 120502 (2005). DOI: 10.1103/PhysRevLett.95.120502 [17] Kraus, B., Entanglement Properties of Quantum States and Quantum Operations, PhD thesis, Innsbruck, 2003. [18] Kye, S.-H., Facial structures for various notions of positivity and applications to the theory of entanglement, Rev. Math. Phys. 25, 1330002 (2013). DOI: 10.1142/S0129055X13300021 [19] Lancien, C. and A. Winter, Flexible constrained de Finetti reductions and applications, Journal of Mathematical Physics 58, 092203 (2017). DOI: 10.1063/1.5003633 [20] Lewin, M., P. T. Nam, and N. Rougerie, Derivation of Hartree’s theory for generic mean-field Bose systems, Advances in Mathematics 254, 570–621 (2014). DOI: 10.1016/j.aim.2013.12.010 [21] Li, C.-K., Y.-T. Poon, and Y.-S. Wang, Joint numerical ranges and commutativity of matrices. arXiv:2002.02768 [math.FA] [22] Meill, A. and D. A. Meyer, Symmetric three-qubit-state invariants, Phys. Rev. A 96, 062310 (2017). DOI: 10.1103/PhysRevA.96.062310 [23] Qian, L. and D. Chu, Decomposition of completely symmetric states, Quantum Inf Process 18, 208 (2019). DOI: 10.1007/s11128-019-2318-2 [24] Rockafellar, R. T., Convex Analysis, Princeton, Princeton University Press, 1970. ISBN: 978-1-4008-7317-3, DOI: 10.1515/9781400873173 [25] Schulte-Herbrüggen, T., G. Dirr, U. Helmke, and S. J. Glaser, The significance of the C-numerical range and the local C-numerical range in quantum control and quantum information, Linear and Multilinear Algebra 56, 3–26 (2008). DOI: 10.1080/03081080701544114 [26] Størmer, E., Symmetric states of infinite tensor products of C*-algebras, Journal of Functional Analysis 3, 48–68 (1969). DOI: 10.1016/0022-1236(69)90050-0 [27] Tóth, G., and O. Gühne, Entanglement and permutational symmetry, Phys. Rev. Lett. 102, 170503 (2009). DOI: 10.1103/PhysRevLett.102.170503 [28] Wu, S., The convex sum of product states for a separable state, Physics Letters A 321, 301–307 (2004). DOI: 10.1016/j.physleta.2003.12.046 [29] Zauner, V., D. Draxler, L. Vanderstraeten, J. Haegeman, and F. Verstraete, Symme- try breaking and the geometry of reduced density matrices, New Journal of Physics 18, 113033 (2016). DOI: 10.1088/1367-2630/18/11/113033 [30] Zeng, B., X. Chen, D.-L. Zhou, and X.-G. Wen, Quantum Information Meets Quan- tum Matter, New York, Springer, 2019. DOI: 10.1007/978-1-4939-9084-9

Stephan Weis Berlin, Germany e-mail [email protected]