POVM construction: a simple recipe with applications to symmetric states 1 2 1,3 Swarnamala Sirsi , Karthik Bharath ,∗ and S. P. Shilpashree 1Yuvaraja’s College, University of Mysore, Mysore 2 University of Nottingham, Nottingham, U.K. and 3K. S. School of Engineering and Management, Bangalore, India (Dated: May 4, 2015) We propose a simple method for constructing POVMs using any set of matrices which form an orthonormal basis for the space of complex matrices. Considering the orthonormal set of irreducible spherical tensors, we examine the properties of the construction on the N + 1-dimensional subspace of the 2N -dimensional Hilbert space of N qubits comprising the permutationally symmetric states. Similar in spirit to Neumark’s result on realization of a POVM as a projective measurement, we present a method to physically realize the constructed POVMs for symmetric states using the Clebsch–Gordan decomposition of the tensor product of irreducible representations of the rotation group. We illustrate the proposed construction on a spin-1 system, and show that it is possible to generate entangled states from separable ones. PACS numbers: 03.65.Aa, 03.65.Ta, 03.67.-a, 03.67.Bg Introduction.—Positive Operator-Valued Measures ever, it will be seen that the vector space structure of (POVMs) are used frequently in quantum information the space of complex matrices suffices for constructing processing tasks including quantum filtering [1, 2], POVMs. The nature of the construction ensures that the realization of quantum communication protocols [3–6], POVMs project states to specific subspaces spanned by a entanglement verification [7], Remote State Preparation subset of the orthonormal bases matrices used; the basis (RSP) [8] and conclusive teleportation [9, 10]. Their matrices need not be generators of SU(N), as is usu- construction and physical realization are of particular ally assumed in linear representations of the density ma- interest in quantum information theory[11–13] with trix. Using the representation of the density matrix with emphasis on optimal measurements through Symmetric the orthonormal set of irreducible spherical tensors by Informationally-Complete (SIC) POVMs [14, 15] and Fano [25], we present a novel method to physically real- fidelity measures [16]. Their importance lies in the ize the POVMs based on the Clebsch–Gordan decomposi- fact that they can be used to achieve certain tasks tion of tensor products into irreducible representations of N which are outside the scope of projective measurements; SU(2)⊗ , which include symmetric and anti-symmetric for example, a set of non-orthogonal states cannot be states. In the current context, such a procedure is similar distinguished using projective measurements, but can be in spirit to the construction of projective measurements discriminated unambiguously using POVMs [17, 18]. A from POVMs through Neumark’s theorem. However, the general construction mechanism for POVMs is therefore POVMs dilated to the 2N -dimensional Hilbert space are of considerable importance. not projective measurements, and generally not repeat- For N qubits residing in the 2N -dimensional Hilbert able. Nevertheless, repeatability can be viewed in the space, the N + 1-dimensional subspace of permutation- sense that the dilated POVM always projects onto the ally symmetric states corresponds to an experimentally subspace of symmetric states. We demonstrate the phys- developed and rich class [19, 20] in quantum information ical implementation of the POVMs in a 4-dimensional processing; the class includes Bell states, Greenberger– 2-qubit Hilbert space, and additionally, demonstrate a arXiv:1505.00123v1 [quant-ph] 1 May 2015 Horne–Zeilinger (GHZ) states, W states, and N-qubit mechanism to generate entangled states from initial sep- Dicke states, and POVMs on this class are crucial in char- arable states. acterization of nonlocality [21] and multipartite entangle- General POVM construction.—We begin with a simple ment [22–24]. Given their utility in such tasks, construc- observation motivating the construction. Let x1,...,xk tion of POVMs whose action always lead to symmetric be an orthonormal basis of a k-dimensional subspace S post-measurement states can be particularly useful. of a vector space V of dimension N, and let X denote the The purpose then of this Letter is two-fold: to first N k matrix whose columns are x1,...,xk. Then XX† present a simple recipe for construction of POVMs based is Hermitian,× non-negative, idempotent, and an orthog- on any orthonormal set of basis matrices on the vector onal projection operator onto S, spanned by a subset of space of complex matrices; secondly, use the construction the orthonormal basis x ,...,xN of V . Given any N N 1 × to obtain and physically realize POVMs for the permu- matrix A expressed in the basis x1,...,xN , XX†A repre- tationally symmetric N + 1-dimensional subspace of the sents the projection of A onto S. This presents us with a 2N -dimensional Hilbert space in which N qubits reside. potential POVM construction mechanism for projection The space of density matrices and POVMs is a non-linear onto subspaces of the space of density matrices coordina- manifold since they are required to be non-negative; how- tized by an orthonormal basis. In order to extend this to 2 matrix spaces, we equip the manifold of density matri- We have thus shown how any orthonormal basis matri- ces with basis matrices for the space of N N complex ces for N can be constructed from the elementary basis × M matrices; while this ignores the manifold structure of the Eij . Note that for any complex matrix A, not necessarily density matrix space, it provides us with a convenient square, AA† is always non-negative and Hermitian. From mechanism for constructing POVMs. Potential matrix (1) and the fact that UU † = IN 2 , it is now straightfor- bases include, the generalised Gell-Mann basis, Weyl op- ward to verify that erator basis, spherical tensor basis etc. Such an approach T T † = αI , for the Bloch vector characterization of the density ma- X ij ij N trix was adopted in [29], wherein realization of an entan- i,j glement witness was considered. where α is a constant not depending on i and j. We Let denote the vector space of N N matrices N can formalize the preceding discussion with the following of dimensionM N 2 over the field of complex× numbers C. Theorem. Define a linear map : N N , V M →M 2 T T T T Theorem 1 Let Tj : j =1,...,N be an orthonormal (X)= x1 , x2 , , xN , { } V ··· set of basis matrices for N . Then the set αTjTj† where xi is the ith row of X containing N elements, satisfies the conditions of aM POVM, where α is a{ constant} T and v denotes the transpose of a vector v; the map not depending on j. transforms an N N matrix into a column vector of N 2 elements by stacking× rows into a column, providing an It is important to recognize that the subspace onto which equivalent representation of elements of N . The in- the POVMs project a state is a vector space and is the 1 M verse map − : N N is then the map which ambient space in which the submanifold of density ma- uniquely constructsV M an →N MN complex matrix by tak- trices reside. ing the first N elements of× (X) and setting that as Spherical tensor representation of density matrix.—A V the first row of X, and so on. Since N is a vector density matrix for an N-qubit system can be represented space over C, we can choose the elementaryM matrix set as Ei, : i, j = 1,...,N of N N matrices with 1 in the { } × 2j k (i, j)th position and 0 everywhere else as an orthonormal 1 k k† ρ = tq τq , (2) ′ ′ ′ ′ (2j + 1) X X basis; indeed, TrEij Ei j = δii δjj and Eij forms an k=0 q= k { } − orthonormal set of basis matrices for N . Any element M of N can be expressed as a linear combination, with where j = N/2 and τ k are irreducible tensor operators of M q complex coefficients, of the Eij s. It is easy to verify that rank k in the N+1 dimensional spin space with projection Eij Eij† is Hermitian, non-negative, and satisfies q along the axis of quantization in the real 3-dimensional 0 I space; here τ0 = N , the N N identity operator. Here E E† = NI . (1) × X ij ij N and elsewhere, orthogonality in the matrix space is al- i,j ways defined with respect to Trace norm or the square of k Let us denote by Tij : i, j = 1,...,N another set of the Hilbert–Schmidt norm. The τq satisfy orthogonality { } orthonormal basis matrices for N . Now, using the and symmetry relations, M map we can express the orthonormal basis Eij as ′ V { } k† k k† q k 2 2 ′ ′ (Eij ): i, j = 1,...,N . If U is an N N unitary Tr(τq τq′ )=(2j + 1) δkk δqq , τq = ( 1) τ q, {V } × − − matrix with UU † = IN 2 , then it is possible to obtain a new orthonormal basis Tij , where Tij = U (Eij ): where the normalization has been chosen so as to be in i, j =1,...,N . Explicitly,{V } {V V agreement with Madison convention [27]. The Fano sta- } k T tistical tensors [25] or the spherical tensor parameters tq (1) (2) (N) Tij = U (Eij )= uij ,uij , ,uij , parametrise the density matrix ρ as expectation values V V ··· k k k 2 of τq : Tr(ρτq ) = tq . In other words, the N 1 spher- (k) k − where the N-dimensional uij is the kth sub-column vec- ical tensor operators τq , in conjunction with the iden- 2 tor of the N -dimensional complex vector Tij.