Efficient algorithm for multiqudit twirling for ensemble quantum computation

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 75, Issue 4, 2007, Pages

  Tóth, Géza ^a   García Ripoll, José ^b  

^a INSTITUTE OF EXPERIMENTAL MEDICINE   (Hungary)

^b MAX PLANCK INSTITUT FÜR QUANTENOPTIK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ERROR ANALYSIS; MATRIX ALGEBRA; QUANTUM COMPUTERS; RANDOM PROCESSES;

CLASSICAL COMPUTER; MULTIQUDIT TWIRLING;

QUANTUM THEORY;

EID: 34147158765     PISSN: 10502947     EISSN: 10941622     Source Type: Journal    
DOI: 10.1103/PhysRevA.75.042311     Document Type: Article

References (39)

1. C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin, and W. K. Wootters, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.76.722 76, 722 (1996).
2. C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.54.3824 54, 3824 (1996).
3. D. DiVincenzo, D. Leung, and B. Terhal, IEEE Trans. Inf. Theory IETTAW 0018-9448 10.1109/18.985948 48 (3), 580 (2002).
4. H. Bombin and M. A. Martin-Delgado, e-print quant-ph/0503013.
5. W. Dür, M. Hein, J. I. Cirac, and H.-J. Briegel, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.72.052326 72, 052326 (2005).
6. J. Emerson, R. Alicki, and K. Życzkowski, J. Opt. B: Quantum Semiclassical Opt. JOBOFD 1464-4266 10.1088/1464-4266/7/10/021 7, S347 (2005).
7. R. F. Werner, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.40.4277 40, 4277 (1989).
8. T. Eggeling and R. F. Werner, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.63.042111 63, 042111 (2001).
9. T. Eggeling, Ph.D. thesis, Technical University of Braunschweig, Germany, 2003 (unpublished).
10. One can consider a subset of such states with even fewer parameters. See, for example, D. Chruściński and A. Kossakowski, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.73.062314 73, 062314 (2006);
11. D. Chruściński and A. Kossakowski, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.73.062315 73, 062315 (2006).
12. It is also possible to depolarize a state into other forms which can be described with few parameters, and their entanglement properties are also known. See W. Dür, J. I. Cirac, and R. Tarrach, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.83.3562 83, 3562 (1999);
13. W. Dür and J. I. Cirac, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.61.042314 61, 042314 (2000).
14. B. M. Terhal and Karl Gerd H. Vollbrecht, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.85.2625 85, 2625 (2000).
15. S.-M. Fei and X. Li-Jost, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.73.024302 73, 024302 (2006).
16. G. Tóth and A. Acín, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.74.030306 74, 030306 (R) (2006).
17. P. W. Brouwer and C. W. J. Beenakker, J. Math. Phys. JMAPAQ 0022-2488 10.1063/1.531667 37, 4904 (1996);
18. S. Aubert and C. S. Lam, J. Math. Phys. JMAPAQ 0022-2488 10.1063/1.1622448 44, 6112 (2003).
19. C. Dankert, R. Cleve, J. Emerson, and E. Livine, e-print quant-ph/0606161.
20. D. Gross, K. Audenaert, and J. Eisert, e-print quant-ph/0611002.
21. M. S. Anwar, L. Xiao, A. J. Short, J. A. Jones, D. Blazina, S. B. Duckett, and H. A. Carteret, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.71. 032327 71, 032327 (2005).
22. P. K. Aravind, Phys. Lett. A PYLAAG 0375-9601 10.1016/S0375-9601(97) 00438-6 233, 7 (1997).
23. In this paper we will present bounds for the Hilbert-Schmidt norm of the error, i.e., the difference between twirling and our approximation. Other norms can also be used for measuring the difference between the S matrices representing linear superoperators. The bounds we present can be used to construct bounds also for these norms. In particular, the trace norm is defined as ||A|| tr Tr A† A. Since for n×n matrices we have ||A|| tr2 ≤ n ||A|| 2, an upper bound for the Hilbert-Schmidt norm of the error is also a valid bound for the trace norm of the error. Instead of asking how large is the difference between the matrices representing two linear superoperators, one can look for the superoperator norm of the difference between the two superoperators. Let T denote a mapping from a density matrix to another density matrix. Then its superoperator norm is defined as ||T|| so sup X ≠ 0 ||T X|| tr/||X|| tr. For the norm of the difference between two superoperators it can be proven that ||T1 - T2|| so2 ≤ dN|| S T1 - S T 2||2, where T acts on N qudits of dimension d. Here we used that for an n×n matrix A we have ||A|| 2 ≤ ||A|| tr2 ≤ n ||A || 2. Finally, another norm that can be used for measuring the difference between superopertors is the diamond norm described in D. Aharonov, A. Kitaev, and N. Nisan, e-print quant-ph/9806029. The diamond norm is defined as ||T|| ||T (1d N)|| so. Here the tensor product by 1 represents the extension of the superoperator T to a larger space. For our norm ||S T (1d N) || 2 = d2N || ST || 2. Hence it also follows that ||T1 - T2 || 2 ≤ d4N ||S T1 - S T1 || 2.
24. The simulations were done with the help of the computer code QUBIT4MATLAB V2.0, http://www.mathworks.com/matlabcentral/fileexchange. The command TWIRL.M realizes twirling using the recursive method explained in this paper.
25. J. Emerson, Y. Weinstein, M. Saraceno, S. Lloyd, and D. Cory, Science SCIEAS 0036-8075 10.1126/science.1090790 302, 2098 (2003).
26. K. Życzkowski and H.-J. Sommers, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/34/35/335 34, 7111 (2001).
27. Urs Wenger (private communication).
28. G. Parisi, R. Petronzio, and F. Rapuano, Phys. Lett. PYLBAJ 0370-2693 10.1016/0370-2693(83)90930-9 128B, 418 (1983);
29. Ph. de Forcrand and C. Roiesnel, Phys. Lett. PYLBAJ 0370-2693 151B, 79 (1985).
30. For an example in which a purification of a mixed state is generated by a quantum circuit, see P. Hyllus, C. M. Alves, D. Bruss, and C. Macchiavello, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.70.032316 70, 032316 (2004).
31. M. Poźniak, K. Życzkowski, and M. Kuś, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/31/3/016 31, 1059 (1998).
32. J. Emerson, E. Livine, and S. Lloyd, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.72.060302 72, 060302 (R) (2005).
33. H. Aschauer, W. Dür, and H.-J. Briegel, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.71.012319 71, 012319 (2005).
34. B. Kraus, N. Gisin, and R. Renner, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.95.080501 95, 080501 (2005).
35. D. Gottesman, Ph.D. thesis, California Institute of Technology, Pasadena, CA, 1997 (unpublished).
36. D. Gottesman, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.57.127 57, 127 (1998).
37. D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, Am. J. Phys. AJPIAS 0002-9505 10.1119/1.16243 58, 1131 (1990).
38. M. Hein, J. Eisert, and H. J. Briegel, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.69.062311 69, 062311 (2004).
39. W. Dür, H. Aschauer, and H.-J. Briegel, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.91.107903 91, 107903 (2003).