Quantum measurements with prescribed symmetry Wojciech Bruzda Institute of Physics, Jagiellonian University, Krak´ow,Poland Dardo Goyeneche Institute of Physics, Jagiellonian University, Krak´ow,Poland and Faculty of Applied Physics and Mathematics, Technical University of Gda´nsk,80-233 Gda´nsk,Poland Karol Zyczkowski_ Institute of Physics, Jagiellonian University, Krak´ow,Poland and Center for Theoretical Physics, Polish Academy of Sciences, Warsaw, Poland (Dated: July 4, 2017) We introduce a method to determine whether a given generalised quantum measurement is iso- lated or it belongs to a family of measurements having the same prescribed symmetry. The technique proposed reduces to solving a linear system of equations in some relevant cases. As consequence, we provide a simple derivation of the maximal family of Symmetric Informationally Complete measure- ment (SIC)-POVM in dimension 3. Furthermore, we show that the following remarkable geometrical structures are isolated, so that free parameters cannot be introduced: (a) maximal sets of mutually unbiased bases in prime power dimensions from 4 to 16, (b) SIC-POVM in dimensions from 4 to 16 and (c) contextuality Kochen-Specker sets in dimension 3, 4 and 6, composed of 13, 18 and 21 vectors, respectively. Keywords: Mutually unbiased bases, SIC- for different convenient purposes. For example, POVM, defect of a unitary matrix. from the one-parametric family of SIC-POVM ex- isting in dimension three [1] only a single member maximizes the informational power, that is, the classical capacity of a quantum-classical channel I. INTRODUCTION generated by the SIC-POVM [14]. Furthermore, inequivalent sets of MUB provide different estima- Positive Operator Valued Measure (POVM) is tion of errors in quantum tomography [15]. the most general kind of measurement in quantum Highly symmetric quantum measurements, like mechanics, which generalizes projective measure- SIC-POVM or MUBs play an important role in ments. Some POVM having a prescribed symme- quantum information and foundations of quan- try play a crucial role in quantum mechanics: Sym- tum theory. On one hand, it is interesting itself metric Informationally Complete SIC-POVM [1, 2] to design a mathematical tool that allows one to and Mutually Unbiased Bases (MUB) [3, 4]. These construct a family of POVM having a prescribed geometrical structures have important applications symmetry from a given particular solution. On in quantum theory: SIC-POVM and MUB allow us the other hand, construction of such families of to unambiguously reconstruct any density matrix solutions provides flexibility when designing ex- of size d [1, 3] and define entropic uncertainty re- perimental implementations of these measurement arXiv:1704.04609v3 [quant-ph] 5 Jul 2017 lations [5, 6]. Even more, MUB are important to sets. For instance, a detailed description of a com- detect entanglement [7], bound entanglement [8], plete list of solutions of a set of k MUB in di- and to lock classical information in quantum states mension d may be helpful in tackling the problem [9]. whether an extended set of k +1 MUB exists. Fur- Finitely many SIC-POVM are known in dimen- thermore, it is also interesting to highlight those sion d ≤ 64 [10], including a 1-parametric family in quantum measurements having a prescribed sym- dimension three [1]. The existence of SIC-POVM metry that do not belong to a family, which makes with free parameters in dimension d > 3 is still an them special. A possible application of such iso- open problem. Moreover, maximal sets of MUB lated cases is the existence of a unique solution are known to be isolated in dimensions two to five optimizing a given function. For instance, isolated [11] and finitely many non-equivalent maximal sets solutions might define sets of measurement having of MUB are known for dimensions three to five [12] a unique maximal violation of a Bell inequality, and N qudit systems [13]. On the other hand, fam- which is a fundamental ingredient for self-testing ilies of symmetric POVM are useful for practical [16]. applications, as the parameters can be optimized In this work, we present a method to intro- 2 duce free parameters in generalized measurements jectors having the prescribed symmetry (1) given having a predefined geometrical structure. The by a real symmetric matrix S. For example, the N−d method proposed divides the entire non-linear case S = IN + d(N−1) (JN − IN ) corresponds to (1) (2) problem, called PNL, into a linear problem PL equiangular tight frames composed by N vectors (3) in dimension d. Here, N denotes the matrix of and a secondary non-linear problem PNL, which is J (1) size N having all entries equal to unity. We recall simpler than PNL. Remarkably, in some cases the (2) that a set of N vectors fjφiig defined in dimen- linear problem PL provides a definite answer to sion d forms an equiangular tight frame (ETF) if the full problem P . 2 NL jhφijφjij = d(N − 1)=(N − d), for every i 6= j = The paper is organized as follows: in Section 0; : : : ; d2 − 1. II we establish a connection between any given A remarkably important subclass of ETF is POVM and certain hermitian unitary matrices given by the so-called Symmetric Informationally having constant diagonal. Complete (SIC)-POVM [1], corresponding to the In Section III we apply the notion of a defect of 2 case N = d . Also, two orthonormal bases jφii a unitary matrix to identify isolated cases of gener- and j ji in dimension d define a pair of mutually alized quantum measurements having a prescribed 2 unbiased bases (MUB) if jhφij jij = 1=d, for ev- symmetry, for which no free parameters can be in- ery i; j = 0; : : : ; d − 1. A set of m orthonormal troduced. Furthermore, in other cases we present bases is mutually unbiased if every pair of the set a constructive method to extend known solutions is mutually unbiased. Also, a set of m MUB in to an entire family by introducing free parameters. dimension d has associated the symmetric matrix In Section IV we show that known maximal sets 1 S = Idm + d (Jm − Im) ⊗ Jd. For a recent review of MUB in dimensions 4, 8, 9 and 16 and known on discrete structures in Hilbert spaces, including SIC-POVM in dimensions 4 to 16 are isolated. We MUB and SIC-POVM, see Ref. [17]. also study the robustness of our results for a given Let us recall a close connection existing between accuracy in specifying the POVM, which allows POVM and tight frames. A set of rank-one pro- us to derive conclusive results from approximate jectors fΠjg defines a tight frame if there exists solutions. In Section V we find an upper bound PN−1 a real number A > 0 such that j=0 Tr(ΩΠj) = for the maximal number of free parameters that 2 can be introduced in sets of 2 ≤ m ≤ d + 1 MUB ATr(Ω ) = A, for any rank-one projector Ω act- in dimension d and in some classes of equiangular ing on dimension d. Therefore, POVM are tight tight frames. Moreover, we show how the method frames for A = c. A crucial property for our work works to give the known one-parameter families of is the fact that the Gram matrix associated to a SIC-POVM in dimension three. In Section VI we tight frame, or POVM, is closely related to an her- prove that some existing Kochen-Specker sets from mitian unitary matrix, as we will see in Proposition quantum contextuality are isolated. In Section VII 1. We recall that the Gram matrix of a set of N we summarize our results and pose open questions. vectors jφji is given by Gij = hφijφji; (2) II. QUANTUM MEASUREMENTS AND where i; j = 0;:::N − 1. For example, the Gram TIGHT FRAMES matrix of an equiangular tight frame composed by N vectors in dimension d has the form 0 iα12 iα1N 1 A POVM fΓjg is a set of N positive semidefi- 1 re : : : re nite subnormalized operators defined in dimension B re−iα12 1 : : : reiα2N C N−1 B C d such that P Γ = , where is the iden- GET F = . ; j=0 j Id Id B . .. C tity matrix of size d. Along the work, we will re- @ A re−iα1N re−iα2N − 1 ::: 1 strict our attention to rank-one POVM and con- (3) sider rank-one projectors Π , being proportional to j where r2 = d(N − 1)=(N − d). Furthermore, the elements of POVM. That is, Π = cΓ , where j j the Gram matrix of a set of m + 1 MUB c = N=d. For simplicity, we will refer to the set of fId;H1;H2;:::;Hmg in dimension d is given by projectors fΠjg as a POVM, understanding that 0 1 they are formally proportional to the elements of Id H1 H2 ··· Hm a POVM. The rank-one projectors Π satisfy the y y y j B H1 Id H1 H2 ··· H1 Hm C B y y y C geometrical relation B H H H ··· H H C GMUB = B 2 2 1 Id 2 m C ; Tr(Π Π ) = S ; (1) B . C i j ij @ . .. A y y y where S is a real symmetric matrix of size N. It Hm HmH1 HmH2 ··· Id is interesting to ask about the most general pro- (4) 3 where H1;H2;:::;Hm are suitable unitary com- Eq.(1). That is, U is an hermitian unitary ma- y plex Hadamard matrices, so that HiHi = I and trix having constant diagonal Uii = 1 − 2d=N and 2 2d p j(Hi)jkj = 1=d for every j; k = 0;:::;N − 1 and jUijj = δij − N Sij.