Five Isoentangled Mutually Unbiased Bases and Mixed States Designs Praca Licencjacka Na Kierunku fizyka Do´Swiadczalna I Teoretyczna
Total Page:16
File Type:pdf, Size:1020Kb
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 . 19 6.9.2 Isoentangled MUB - a "should", a "might" or a "can’t"? . 20 7 Minimal arrangements of points in the probability simplex 21 7.1 Connection with numerical integration . 21 7.2 N 2 - the easiest case . 22 Æ 7.3 Short detour - the flat measure on the interval . 25 7.4 Interlude - comparison of polynomials . 26 7.5 N 3 - Potential problems for qutrits . 26 Æ 8 Conclusions 29 9 Open problems 30 Appendix A: Isoentangled 2-qubit MUBs 31 Appendix B: Search for isoentangled MUB in H4 - code 32 3 Appendix C: Welch bound saturation for MUB and SIC 34 SIC-POVM . 34 MUB .............................................. 34 4 Abstract EN: Some basic notions of quantum theory including generalised measurements and com- plex projective t-designs are reviewed. We show that mutually unbiased bases and sym- metric informationally complete POVM are examples of projective 2-designs. Subsequently, we introduce the notion of mixed states designs and show a constructive method to obtain them. We analyse certain explicit examples, construct analytically isoen- tangled mutually unbiased bases for two qubits and analyse results of numerical search for analogous configuration for two qutrits. Finally we study minimal point arrangements reflecting probability distributions in the space of eigenvalues for qubit and for qutrit, showing possible applications of such con- stellations for approximate numerical integration. PL: W niniejszej pracy przypominamy niektóre podstawowe poj˛eciateorii kwantowej, w tym uogólnione pomiary oraz zespolone projektywne t-desenie. Udowadniamy, ze˙ wza- jemnie nieobci ˛azone˙ bazy oraz symetryczne kompletnie symetryczne POVM’y stanowi ˛a przykłady 2-deseni. Nast˛epnie wprowadzamy poj˛eciedeseni dla stanów mieszanych i pokazujemy konstruk- tywn ˛ametod˛eich otrzymywania. Analizujemy konkretne jawne przykłady, konstruujemy analitycznie jednakowo spl ˛atane wzajemnie nieobci ˛azone˙ bazy dla dwóch qubitów oraz analizujemy poszukiwania numeryczne analogicznej struktury dla dwóch qutrytów. Na ko´ncu przedstawiamy analiz˛eminimalnych układów punktów rekonstruuj ˛acych rozkłady prawdopodobie´nstwa w przestrzeni warto´sciwłasnych dla qubitu i qutrytu, przed- stawiaj ˛acmozliwe˙ zastosowanie takich układów do przyblizonego˙ całkowania numerycznego. Acknowledgements I would like to thank all the people that helped me prepare the following work. In partic- ular, I am grateful to my supervisor, prof. Karol Zyczkowski,˙ who provided innumerable comments and corrections as well as guidance for the past 2.5 years. Special gratitude goes to Dardo Goyeneche, whose comments allowed to push this work forward and with whom I had an opportunity to work for about 1.5 years on another project. I am also grateful to Markus Grassl, who provided analytic solution to isoentangled MUB problem based on computer simulation conducted for this work. Finally, I would like to express my deepest gratitude to all the people that supported me throughout the whole 3 years of university studies - I would have never succeeded if not for their continued support. 5 1 Introduction Mathematical notion of complex projective t-designs, introduced by Neumaier[1] and fur- ther studied by Hoggar[2] is useful in the field of quantum mechanics and quantum infor- mation. For instance, an important class of generalised quantum measurements called tight informationally complete positive operator valued measurement (IC - POVM) form t-designs - see Scott[3]. These notions are useful in quantum tomography [3], quantum cryptography [4], quantum fingerprinting [5] or entanglement detection [6]. They can be also generalised to conical t-designs [7] and related notion of unitary t-designs [8]. In particular, one may single out two outstanding families of complex projective 2-designs, namely symmetric IC-POVM (SIC-POVM) and mutually unbiased bases (MUB) studied ex- tensively in numerous works[9, 10, 11, 12]. A very special configuration of isoentangled of SIC-POVM for 2 qubits which consists of 16 pure states of the same degree of entanglement was analysed by Zhu et. al [9]. The result is interesting in itself and leads to the question whether similar configuration may be found for mutually unbiased bases for 2 qubits. Numerical simulations suggested existence of such a constellation, but no clear struc- ture could be found. However, as the Bloch representation of points corresponding to par- tial traces of each of pure states of two-qubit system revealed, with use of a very special arrangement inside the Bloch ball related to a platonic solid it was possible to pursue a heuristic approach, which in turn yielded an analytic solution of a set of 5 4 20 states, ¢ Æ which have the same degree of entanglement and form five unbiased bases in H4[13]. Since this approach worked, the question appeared whether a new concept of mixed states t-designs defined for the space of mixed states may prove itself useful like its coun- terparts. The consideration of isoentangled structures lead to yet another question - what are the arrangements of points that resemble distributions over the space of eigenvalues? In the following work we attempt to introduce and analyse the idea of mixed states t- designs and provide examples based on already known structures as well as a new, previ- ously unknown set of isoentangled MUB for two qubits. This work is organised as follows. In sections 2-4 we recall the basic notions used throughout the work. In section 5 we in- troduce elementary definition of mixed states t-designs and provide an easy scheme for obtaining such ensembles. In section 6 we provide a study of a few examples of poten- tial mixed states t-designs implied by previously known complex projective t-designs in larger dimensions. In section 7 we explore arrangements of point arrangements resembling properties of t-designs defined for flat Lebesgue measure and Hilbert-Schmidt measure for eigenvalues of density matrices for qubit and qutrit. Finally, sections 8 and 9 provide prob- lems left open within this work and general conclusions. Additionally, in Appendix A the code for numerical search for isoentangled set of mutu- ally unbiased bases in H4 is given. In Appendix B analytic form of the first basis of isoen- tangled MUB is provided. In Appendix C proofs of MUB and SIC-POVMs saturating Welch bound are provided. 6 2 Space of pure quantum states Here we introduce the notion of the space of pure states ¥d belonging to the complex Hilbert space Hd of di- mension d. States in this space are represented as vectors, ¯ ® denoted as ¯Ã Hd in the Dirac notation and its dual is ¯ 2 denoted by ï. The important notion is that the states are normalised ¯ ® and two distinguishable states i and ¯j are orthogonal. j i ¯ ® j i¯j ± . (2.1) Æ i Final ingredient is the probabilistic interpretation. We may consider a decomposition of state in an orthonormal basis - a full set of distinguishable states: Figure 2.1: Space of pure states ¥2 - 2- d d ¯ ® X ¯ ® X sphere. ¯Ã i i¯Ã ci i (2.2) Æ i 1 j i Æ i 1 j i Æ Æ ¯ ® where in general c C. Probabilistic interpretation says that the probability of finding ¯Ã i 2 in a state i is equal to absolute value of the coefficient c squared, j i i 2 ¯ ¯ ®¯2 p c ¯ i¯Ã ¯ . (2.3) i Æ j i j Æ As the probabilities sum to unity, P p 1, the normalisation condition follows: i i Æ ¯ ® ïà 1. (2.4) Æ Making use of the probabilistic assumption (2.3) and the normalisation requirement (2.4) ¯ ® ¯ ® one can identify of states ¯Ã and ¸¯Ã for any ¸ C, which leads to the conclusion that 2 d 1 the space of pure quantum states is in fact complex projective space ¥ CP ¡ [14]. d Æ 3 Space of mixed quantum states In the previous section we discussed pure states associated to the elements of the Hilbert space Hd . However, one may imagine two common characters in quantum information - Alice and Bob - having a spin 1/2 particle each. Both particles live separately in H2 each, but together these spaces form a composite Hilbert space, H H H . 2A 2B Æ 4 Here we may distinguish between product states and non-product states. Former are defined as set of states that can be represented as ¯ ® ¯ ® ¯ ® ¯Ã ¯Ã ¯Ã (3.1) prod Æ A B ¯ ® ¯ ® where ¯Ã H and ¯Ã H .