Arxiv:1704.04609V3 [Quant-Ph] 5 Jul 2017 Lations [5, 6]

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1704.04609V3 [Quant-Ph] 5 Jul 2017 Lations [5, 6] 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.
Recommended publications
  • Arxiv:1001.0543V2 [Quant-Ph] 10 Oct 2010
    Optimal reconstruction of the states in qutrits system Fei Yan,1 Ming Yang∗,1 and Zhuo-Liang Cao2 1Key Laboratory of Opto-electronic Information Acquisition and Manipulation, Ministry of Education, School of Physics and Material Science, Anhui University, Hefei 230039, People's Republic of China 2Department of Physics & Electronic Engineering, Hefei Normal University, Hefei 230061, People's Republic of China Based on mutually unbiased measurements, an optimal tomographic scheme for the multiqutrit states is pre- sented explicitly. Because the reconstruction process of states based on mutually unbiased states is free of information waste, we refer to our scheme as the optimal scheme. By optimal we mean that the number of the required conditional operations reaches the minimum in this tomographic scheme for the states of qutrit systems. Special attention will be paid to how those different mutually unbiased measurements are realized; that is, how to decompose each transformation that connects each mutually unbiased basis with the standard computational basis. It is found that all those transformations can be decomposed into several basic implementable single- and two-qutrit unitary operations. For the three-qutrit system, there exist five different mutually unbiased-bases structures with different entanglement properties, so we introduce the concept of physical complexity to min- imize the number of nonlocal operations needed over the five different structures. This scheme is helpful for experimental scientists to realize the most economical reconstruction of quantum states in qutrit systems. PACS numbers: 03.65.Wj, 03.65.Ta, 03.65.Ud, 03.67.Mn I. INTRODUCTION is redundancy in these results in the previously used quantum tomography processes [12], which causes a resources waste.
    [Show full text]
  • Mutually Unbiased Bases and Symmetric Informationally Complete Measurements in Bell Experiments
    Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments Armin Tavakoli,1 Máté Farkas,2, 3 Denis Rosset,4 Jean-Daniel Bancal,1 and J˛edrzejKaniewski5 1Department of Applied Physics, University of Geneva, 1211 Geneva, Switzerland 2Institute of Theoretical Physics and Astrophysics, National Quantum Information Centre, Faculty of Mathematics, Physics and Informatics, University of Gdansk, 80-952 Gdansk, Poland 3International Centre for Theory of Quantum Technologies, University of Gdansk, 80-308 Gdansk, Poland 4Perimeter Institute for Theoretical Physics, 31 Caroline St. N, Waterloo, Ontario, N2L 2Y5, Canada 5Faculty of Physics, University of Warsaw, Pasteura 5, 02-093 Warsaw, Poland (Dated: October 21, 2020) Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by: i) introducing families of Bell inequalities that are maximally violated by d-dimensional MUBs and SICs respectively, ii) proving device-independent certification of natural operational notions of MUBs and SICs, and iii) using MUBs and SICs to develop optimal-rate and nearly optimal-rate protocols for device independent quantum key distribution and device-independent quantum random number generation respectively. Moreover, we also present the first example of an extremal point of the quantum set of correlations which admits physically inequivalent quantum realisations. Our results elaborately demonstrate the foundational and practical relevance of the two most important discrete Hilbert space structures to the field of quantum nonlocality. One-sentence summary — Quantum nonlocality is de- a single measurement. Since MUBs and SICs are both con- veloped based on the two most celebrated discrete struc- ceptually natural, elegant and (as it turns out) practically im- tures in quantum theory.
    [Show full text]
  • Morphophoric Povms, Generalised Qplexes, Ewline and 2-Designs
    Morphophoric POVMs, generalised qplexes, and 2-designs Wojciech S lomczynski´ and Anna Szymusiak Institute of Mathematics, Jagiellonian University,Lojasiewicza 6, 30-348 Krak´ow, Poland We study the class of quantum measurements with the property that the image of the set of quantum states under the measurement map transforming states into prob- ability distributions is similar to this set and call such measurements morphophoric. This leads to the generalisation of the notion of a qplex, where SIC-POVMs are re- placed by the elements of the much larger class of morphophoric POVMs, containing in particular 2-design (rank-1 and equal-trace) POVMs. The intrinsic geometry of a generalised qplex is the same as that of the set of quantum states, so we explore its external geometry, investigating, inter alia, the algebraic and geometric form of the inner (basis) and the outer (primal) polytopes between which the generalised qplex is sandwiched. In particular, we examine generalised qplexes generated by MUB-like 2-design POVMs utilising their graph-theoretical properties. Moreover, we show how to extend the primal equation of QBism designed for SIC-POVMs to the morphophoric case. 1 Introduction and preliminaries Over the last ten years in a series of papers [2,3, 30{32, 49, 68] Fuchs, Schack, Appleby, Stacey, Zhu and others have introduced first the idea of QBism (formerly quantum Bayesianism) and then its probabilistic embodiment - the (Hilbert) qplex, both based on the notion of symmetric informationally complete positive operator-valued measure
    [Show full text]
  • Five Isoentangled Mutually Unbiased Bases and Mixed States Designs Praca Licencjacka Na Kierunku fizyka Do´Swiadczalna I Teoretyczna
    UNIWERSYTET JAGIELLONSKIW´ KRAKOWIE WYDZIAŁ FIZYKI,ASTRONOMII I INFORMATYKI STOSOWANEJ Jakub Czartowski Nr albumu: 1125510 Five isoentangled mutually unbiased bases and mixed states designs Praca licencjacka Na kierunku fizyka do´swiadczalna i teoretyczna Praca wykonana pod kierunkiem Prof. Karola Zyczkowskiego˙ Instytut Fizyki Kraków, 24 maja 2018 JAGIELLONIAN UNIVERSITYIN CRACOW FACULTY OF PHYSICS,ASTRONOMY AND APPLIED COMPUTER SCIENCE Jakub Czartowski Student number: 1125510 Five isoentangled mutually unbiased bases and mixed states designs Bachelor thesis on a programme Fizyka do´swiadczalnai teoretyczna Prepared under supervision of Prof. Karol Zyczkowski˙ Institute of Physics Kraków, 24 May 2018 Contents Abstract 5 Acknowledgements5 1 Introduction6 2 Space of pure quantum states7 3 Space of mixed quantum states7 4 Complex projective t-designs9 4.1 Symmetric Informationally Complete (SIC) POVM . 10 4.2 Mutually Unbiased Bases (MUB) . 10 5 Mixed states designs 10 5.1 Mean traces on the space of mixed states . 12 6 Notable examples 12 6.1 t = 1 - Positive Operator Valued Measure . 12 6.2 N=2, t=2, M=8 - Isoentangled SIC POVM for d 4................. 13 Æ 6.3 Short interlude - Numerical search for isoentangled MUB . 13 6.4 N=2, t=2, M=20 - Isoentangled MUB . 15 6.5 N=2, t=2, M=10 - The standard set of 5 MUB in H4 ................ 16 6.6 N=2, t=3, M=10 - Hoggar example number 24 . 17 6.7 N=2, t=3, M=20(40) - Witting polytope . 18 6.8 Interlude - Summary for N 2 ............................ 18 Æ 6.9 N=3, t=2, M=90 - MUB . 19 6.9.1 Standard representation .
    [Show full text]
  • Arxiv:1809.09986V2 [Physics.Optics] 30 Apr 2019
    Using all transverse degrees of freedom in quantum communications based on a generic mode sorter YIYU ZHOU,1,9,* MOHAMMAD MIRHOSSEINI,1,2,9 STONE OLIVER,1,3 JIAPENG ZHAO,1 SEYED MOHAMMAD HASHEMI RAFSANJANI,1,4 MARTIN P. J. LAVERY,5 ALAN E.WILLNER,6 AND ROBERT W. BOYD1,7,8 1The Institute of Optics, University of Rochester, Rochester, New York 14627, USA 2Thomas J. Watson, Sr., Laboratory of Applied Physics, California Institute of Technology, Pasadena, California 91125, USA 3Department of Physics, Miami University, Oxford, Ohio 45056, USA 4Department of Physics, University of Miami, Coral Gables, Florida 33146, USA 5School of Engineering, University of Glasgow, Glasgow, Scotland G12 8LT, UK 6Department of Electrical Engineering, University of Southern California, Los Angeles, California 90089, USA 7Department of Physics, University of Ottawa, Ottawa, Ontario K1N 6N5, Canada [email protected] 9These authors contributed equally *[email protected] Abstract: The dimension of the state space for information encoding offered by the transverse structure of light is usually limited by the finite size of apertures. The widely used orbital angular momentum (OAM) number of Laguerre-Gaussian (LG) modes in free-space communications cannot achieve the theoretical maximum transmission capacity unless the radial degree of freedom is multiplexed into the protocol. While the methodology to sort the radial quantum number has been developed, the application of radial modes in quantum communications requires an additional ability to efficiently measure the superposition of LG modes in the mutually unbiased basis. Here we develop and implement a generic mode sorter that is capable of sorting the superposition of LG modes through the use of a mode converter.
    [Show full text]
  • Mutually Unbiased Bases Are Complex Projective 2-Designs
    Mutually Unbiased Bases are Complex Projective 2-Designs Andreas Klappenecker Martin R¨otteler Department of Computer Science NEC Labs America, Inc. Texas A&M University 4 Independence Way College Station, TX, 77843–3112, USA Princeton, NJ 08540 U.S.A. Email: [email protected] Email: [email protected] Abstract— Mutually unbiased bases (MUBs) are a primitive that we want to determine the density matrix ρ of an ensemble used in quantum information processing to capture the principle of quantum systems using as few non-degenerate observables of complementarity. While constructions of maximal sets of d+1 as possible. We assume that it is possible to make a com- such bases are known for system of prime power dimension d, itis plete measurement of each observable O = x b b , unknown whether this bound can be achieved for any non-prime b∈B b | ih | power dimension. In this paper we demonstrate that maximal sets meaning that the statistics tr(ρ b b )= b ρ Pb is known for | ih | h | | i of MUBs come with a rich combinatorial structure by showing each eigenvalue xb in the spectral decomposition. Ivanovi´c that they actually are the same objects as the complex projective showed in [12] that complete measurements of at least d +1 2-designs with angle set {0, 1/d}. We also give a new and observables are needed to reconstruct the density matrix. He simple proof that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}. also showed that this lower bound is attained when d+1 non- degenerate pairwise complementary observables are used.
    [Show full text]
  • Uncertainty Equality with Quantum Memory and Its Experimental Verification
    www.nature.com/npjqi ARTICLE OPEN Uncertainty equality with quantum memory and its experimental verification Hengyan Wang1,2,3,4, Zhihao Ma5, Shengjun Wu6, Wenqiang Zheng7, Zhu Cao8, Zhihua Chen7, Zhaokai Li1,3,4, Shao-Ming Fei9,10, Xinhua Peng 1,3,4, Vlatko Vedral11,12 and Jiangfeng Du1,3,4 As a very fundamental principle in quantum physics, uncertainty principle has been studied intensively via various uncertainty inequalities. A natural and fundamental question is whether an equality exists for the uncertainty principle. Here we derive an entropic uncertainty equality relation for a bipartite system consisting of a quantum system and a coupled quantum memory, based on the information measure introduced by Brukner and Zeilinger (Phys. Rev. Lett. 83:3354, 1999). The equality indicates that the sum of measurement uncertainties over a complete set of mutually unbiased bases on a subsystem is equal to a total, fixed uncertainty determined by the initial bipartite state. For the special case where the system and the memory are the maximally entangled, all of the uncertainties related to each mutually unbiased base measurement are zero, which is substantially different from the uncertainty inequality relation. The results are meaningful for fundamental reasons and give rise to operational applications such as in quantum random number generation and quantum guessing games. Moreover, we experimentally verify the measurement uncertainty relation in the presence of quantum memory on a five-qubit spin system by directly measuring the corresponding quantum mechanical observables, rather than quantum state tomography in all the previous experiments of testing entropic uncertainty relations. npj Quantum Information (2019) 5:39 ; https://doi.org/10.1038/s41534-019-0153-z INTRODUCTION Shannon entropies of the measurement results, the uncertainty 1 4 fi The uncertainty principle is one of the most important principle in principle can be formulated as Hθ þ Hτ log2 c.
    [Show full text]
  • New Bounds for Mutually Unbiased Maximally Entangled Bases in C D
    New bounds for Mutually unbiased maximally entangled bases in Cd ⊗ Ckd XiaoyaCheng1 ∗ YunShang1 2 y 1 Institute of Mathematics, AMSS, CAS, Beijing 100190, P.R.China 2NCMIS, AMSS, CAS, Beijing 100190, P.R.China Abstract. Mutually unbiased bases which is also maximally entangled bases is called mutually unbiased maximally entangled bases (MUMEBs). We study the construction of MUMEBs in bipartite system. In detail, we construct 2(pa − 1) MUMEBs in Cd ⊗ Cd by properties of Gauss sums for arbitrary odd d. It improves the known lower bound pa − 1 for odd d. Furthermore, we construct MUMEBs in Cd ⊗ Ckd for general k ≥ 2 and odd d. We get the similar lower bounds as k; b are both single prime powers. Particularly, when k is a square number, by using mutually orthogonal Latin squares, we can construct more MUMEBs in Cd ⊗ Ckd. Keywords: mutually unbiased bases, maximally entangled states, Pauli matrices, mutually orthogonal Latin squares 1 Introduction etc., all of which depend on an explicit set of maximal- 0 ly entangled states. A basis B of d ⊗ d is called a The notion of mutually unbiased bases was first intro- C C maximally entangled basis (MEB) if it consists of dd0 duced by Schwinger [1] in 1960. Two orthogonal bases d d d maximally entangled states. Let A = fB1; B2;:::; Bmg B1 = fjφiigi=1 and B2 = fj jigj=1 of C are called d d0 be a set of orthonormal MEBs in C ⊗ C . We call A mutually unbiased if jhφ j ij = p1 ; (1 ≤ i; j ≤ d): I- i j d a set of mutually unbiased maximally entangled bases vanovic found the first application for mutually unbiased (MUMEBs) if every pair in fB1; B2;:::; Bmg is mutually bases (MUBs) in the problem of quantum state determi- unbiased.
    [Show full text]
  • SIC-Povms and Compatibility Among Quantum States
    mathematics Article SIC-POVMs and Compatibility among Quantum States Blake C. Stacey Physics Department, University of Massachusetts Boston, 100 Morrissey Boulevard, Boston, MA 02125, USA; [email protected]; Tel.: +1-617-287-6050; Fax: +1-617-287-6053 Academic Editors: Paul Busch, Takayuki Miyadera and Teiko Heinosaari Received: 1 March 2016; Accepted: 14 May 2016; Published: 1 June 2016 Abstract: An unexpected connection exists between compatibility criteria for quantum states and Symmetric Informationally Complete quantum measurements (SIC-POVMs). Beginning with Caves, Fuchs and Schack’s "Conditions for compatibility of quantum state assignments", I show that a qutrit SIC-POVM studied in other contexts enjoys additional interesting properties. Compatibility criteria provide a new way to understand the relationship between SIC-POVMs and mutually unbiased bases, as calculations in the SIC representation of quantum states make clear. This, in turn, illuminates the resources necessary for magic-state quantum computation, and why hidden-variable models fail to capture the vitality of quantum mechanics. Keywords: SIC-POVM; qutrit; post-Peierls compatibility; Quantum Bayesian; QBism PACS: 03.65.Aa, 03.65.Ta, 03.67.-a 1. A Compatibility Criterion for Quantum States This article presents an unforeseen connection between two subjects originally studied for separate reasons by the Quantum Bayesians, or to use the more recent and specific term, QBists [1,2]. One of these topics originates in the paper “Conditions for compatibility of quantum state assignments” [3] by Caves, Fuchs and Schack (CFS). Refining CFS’s treatment reveals an unexpected link between the concept of compatibility and other constructions of quantum information theory.
    [Show full text]
  • Mutually Unbiased Bases and Trinary Operator Sets for N Qutrits
    Dartmouth College Dartmouth Digital Commons Open Dartmouth: Published works by Dartmouth faculty Faculty Work 7-2-2004 Mutually Unbiased Bases and Trinary Operator Sets for N Qutrits Jay Lawrence Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/facoa Part of the Physics Commons Dartmouth Digital Commons Citation Lawrence, Jay, "Mutually Unbiased Bases and Trinary Operator Sets for N Qutrits" (2004). Open Dartmouth: Published works by Dartmouth faculty. 2961. https://digitalcommons.dartmouth.edu/facoa/2961 This Article is brought to you for free and open access by the Faculty Work at Dartmouth Digital Commons. It has been accepted for inclusion in Open Dartmouth: Published works by Dartmouth faculty by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. PHYSICAL REVIEW A 70, 012302 (2004) Mutually unbiased bases and trinary operator sets for N qutrits Jay Lawrence Department of Physics and Astronomy, Dartmouth College, Hanover, New Hampshire 03755, USA (Received 13 March 2004; published 2 July 2004) A compete orthonormal basis of N-qutrit unitary operators drawn from the Pauli group consists of the identity and 9N −1 traceless operators. The traceless ones partition into 3N +1 maximally commuting subsets (MCS’s) of 3N −1 operators each, whose joint eigenbases are mutually unbiased. We prove that Pauli factor groups of order 3N are isomorphic to all MCS’s and show how this result applies in specific cases. For two qutrits, the 80 traceless operators partition into 10 MCS’s. We prove that 4 of the corresponding basis sets must be separable, while 6 must be totally entangled (and Bell-like).
    [Show full text]
  • Quantum Communication with Photons
    Quantum communication with photons Mario Krenn1,2,3, Mehul Malik1,2, Thomas Scheidl1,2, Rupert Ursin1,2, and Anton Zeilinger1,2,3 1Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences, Boltzmanngasse 3, 1090 Vienna, Austria 2Vienna Center for Quantum Science and Technology, Faculty of Physics, University of Vienna, Boltzmanngasse 5, A-1090 Vienna, Austria 3correspondence to: [email protected] and [email protected] January 5, 2017 Abstract The secure communication of information plays an ever increasing role in our society today. Classical methods of encryption inherently rely on the difficulty of solving a problem such as finding prime factors of large numbers and can, in principle, be cracked by a fast enough machine. The burgeoning field of quantum communication relies on the fundamental laws of physics to offer unconditional information security. Here we in- troduce the key concepts of quantum superposition and entanglement as well as the no-cloning theorem that form the basis of this field. Then, we review basic quantum communication schemes with single and entangled photons and discuss recent experimental progress in ground and space- based quantum communication. Finally, we discuss the emerging field of high-dimensional quantum communication, which promises increased data rates and higher levels of security than ever before. We discuss re- cent experiments that use the orbital angular momentum of photons for sharing large amounts of information in a secure fashion. arXiv:1701.00989v1 [quant-ph] 4 Jan 2017 1 Contents 1 Introduction 3 1.1 The Quantum Bit . 3 1.2 Entanglement . 5 1.3 Mutually Unbiased Bases .
    [Show full text]
  • Equiangular Vectors Approach to Mutually Unbiased Bases
    Entropy 2013, 15, 1726-1737; doi:10.3390/e15051726 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article Equiangular Vectors Approach to Mutually Unbiased Bases Maurice R. Kibler 1;2;3 1 Faculte´ des Sciences et Technologies, Universite´ de Lyon, 37 rue du repos, 69361 Lyon, France 2 Departement´ de Physique, Universite´ Claude Bernard Lyon 1, 43 Bd du 11 Novembre 1918, 69622 Villeurbanne, France 3 Groupe Theorie,´ Institut de Physique Nucleaire,´ CNRS/IN2P3, 4 rue Enrico Fermi, 69622 Villeurbanne, France; E-Mail: [email protected]; Tel: 33(0)472448235, FAX: 33(0)472448004 Received: 26 April 2013 / Accepted: 6 May 2013 / Published: 8 May 2013 Abstract: Two orthonormal bases in the d-dimensional Hilbert space are said to be unbiased if the square modulus of the inner product of any vector of one basis with any vector of the 1 other equals d . The presence of a modulus in the problem of finding a set of mutually unbiased bases constitutes a source of complications from the numerical point of view. Therefore, we may ask the question: Is it possible to get rid of the modulus? After a short review of various constructions of mutually unbiased bases in Cd, we show how to transform the problem of finding d + 1 mutually unbiased bases in the d-dimensional space Cd (with a modulus for the inner product) into the one of finding d(d + 1) vectors in the d2-dimensional 2 2 space Cd (without a modulus for the inner product). The transformation from Cd to Cd corresponds to the passage from equiangular lines to equiangular vectors.
    [Show full text]