• Volume/Page
  • Keyword
  • DOI
  • Citation
  • Advanced
   
 
 
 

Flickr Twitter UniPHY Group iResearch App Facebook

FREE

FULL-TEXT OPTIONS:

J. Math. Phys. 53, 013501 (2012); http://dx.doi.org/10.1063/1.3672064 (22 pages)

Composite parameterization and Haar measure for all unitary and special unitary groups

Christoph Spengler, Marcus Huber, and Beatrix C. Hiesmayr

Faculty of Physics, University of Vienna, Boltzmanngasse 5, 1090 Vienna, Austria

View MapView Map

(Received 14 June 2011; accepted 1 December 2011; published online 3 January 2012)

We adopt the concept of the composite parameterization of the unitary group U(d) to the special unitary group SU(d). Furthermore, we also consider the Haar measure in terms of the introduced parameters. We show that the well-defined structure of the parameterization leads to a concise formula for the normalized Haar measure on U(d) and SU(d). With regard to possible applications of our results, we consider the computation of high-order integrals over unitary groups.

© 2012 American Institute of Physics

Article Outline

  1. INTRODUCTION
  2. COMPOSITE PARAMETERIZATION OF THE UNITARY GROUP U(d)
  3. COMPOSITE PARAMETERIZATION OF THE SPECIAL UNITARY GROUP SU(d)
    1. Remarks on the composite parameterization
  4. HAAR MEASURE ON THE UNITARY GROUP U(d)
  5. HAAR MEASURE ON THE SPECIAL UNITARY GROUP SU(d)
  6. REMARKS ON INTEGRALS OVER UNITARY GROUPS
    1. Example 1
    2. Example 2
    3. Example 3
  7. SUMMARY

KEYWORDS and PACS

PACS

  • 03.65.Fd

    Algebraic methods

  • 03.65.Ta

    Foundations of quantum mechanics; measurement theory

  • 02.30.Cj

    Measure and integration

ARTICLE DATA

PUBLICATION DATA

ISSN

0022-2488 (print)  
1089-7658 (online)

  1. These can be considered as generalizations of the Pauli matrix sigmay.
  2. The order of the product is [product]<sub>i = 1</sub><sup>N</sup>Ai=A1·A2[centered ellipsis]AN.
  3. Note that the indices m and n again run from 1 to d except that there is no lambdad,d.
  4. Intuitively: When changing from the orthogonal coordinates {uk} to the non-orthogonal coordinates {alphal} the infinitesimal volume element transforms as [product]<sub>k = 1</sub><sup>d[sup 2]</sup>duk=|det(([partial-derivative](u[sub 1],...,u[sub d[sup 2]]))/([partial-derivative](alpha[sub 1],...,alpha[sub d[sup 2]])))|[product]<sub>l = 1</sub><sup>d[sup 2]</sup>dalphal according to the Jacobian determinant.
  5. The independence of |detM1| on lambdam,n with min {m, n} >= 2 can also be confirmed by exploiting again the left and right invariance of the Haar measure.
  6. A basis for the vector space of operators [openface C]d×[openface C]d has d2 elements. The constraint detU=1 on special unitary operators implies that the trace of any derivative [partial-derivative]U/[partial-derivative]alphal with respect to an arbitrary parameter is always zero. Traceless operators form a d2 − 1 dimensional subspace of [openface C]d×[openface C]d. As we have d2 − 1 parameters {alphal} it is required to express the derivatives [partial-derivative]U/[partial-derivative]alphal in a basis of this subspace to obtain d2 − 1 linearly independent column vectors.
  7. Note that these are the generalized diagonal Gell-Mann matrices (Ref. 38) in reversed order.
  8. Ch. Spengler, M. Huber, and B. C. Hiesmayr, J. Phys. A 43, 385306 (2010).
  9. T. Tilma and E. C.G. Sudarshan, J. Geom. Phys. 52, 263 (2004).
  10. C. Jarlskog, J. Math. Phys. 46, 103508 (2005)JMAPAQ000046000010103508000001.
  11. P. Dita, J. Phys. A 36, 2781 (2003). [Inspec] [ISI]
  12. R. W. Johnson, Eur. Phys. J. C 70, 233 (2010).
  13. Ch. Spengler, M. Huber, and B. C. Hiesmayr, J. Phys. A 44, 065304 (2011).
  14. M. Huber, H. Schimpf, A. Gabriel, Ch. Spengler, D. Bruss, and B. C. Hiesmayr, Phys. Rev. A 83, 022328 (2011).
  15. Z. H. Ma, Z. H. Chen, J. L. Chen, Ch. Spengler, A. Gabriel, and M. Huber, Phys. Rev. A 83, 062325 (2011).
  16. M. Huber, N. Friis, A. Gabriel, Ch. Spengler, and B. C. Hiesmayr, Eur. Phys. Lett. 95, 20002 (2011).
  17. S. Schauer, M. Huber, and B. C. Hiesmayr, Phys. Rev. A 82, 062311 (2010).
  18. V. M. Red'kov, A. A. Bogush, and N. G. Tokarevskaya, SIGMA 4, 021 (2008).
  19. T. Tilma and E. C.G. Sudarshan, J. Phys. A 35, 10467 (2002).
  20. B. Fresch and G. J. Moro, J. Phys. Chem. A 113, 14502 (2009). [MEDLINE]
  21. D. P. DiVincenzo, D. W. Leung, and B. M. Terhal, IEEE Trans. Inf. Theory 48, 580 (2002). [Inspec] [ISI]
  22. P. Hayden, D. Leung, P. W. Shor, and A. Winter, Commun. Math. Phys. 250, 371 (2004). [Inspec]
  23. J. J. M. Verbaarschot and T. Wettig, Ann. Rev. Nucl. Part. Sci. 50, 343 (2000).
  24. A. Serafini, O. C.O. Dahlsten, D. Gross, and M. B. Plenio, J. Phys. A 40, 9551 (2007).
  25. M. Katori and H. Tanemura, J. Math. Phys. 45, 3058 (2004)JMAPAQ000045000008003058000001. [ISI]
  26. D. V. Savin and H. J. Sommers, Phys. Rev. B 73, 081307(R) (2006).
  27. R. F. Werner, Phys. Rev. A 40, 4277 (1989). [MEDLINE]
  28. T. Eggeling and R. F. Werner, Phys. Rev. A 63, 042111 (2001).
  29. D. Chruściński and A. Kossakowski, Phys. Rev. A 73, 062314 (2006).
  30. P. B. Slater, Quantum Inf. Process. 1, 397 (2002).
  31. P. Hayden, D. W. Leung, and A. Winter, Commun. Math. Phys. 265, 95 (2006).
  32. D. Gross, K. Audenaert, and J. Eisert, J. Math. Phys. 48, 052104 (2007)JMAPAQ000048000005052104000001. [ISI]
  33. C. Dankert, R. Cleve, J. Emerson, and E. Livine, Phys. Rev. A 80, 012304 (2009).
  34. A. Ambainis, J. Bouda, and A. Winter, J. Math. Phys. 50, 042106 (2009)JMAPAQ000050000004042106000001.
  35. P. D. Seymour and T. Zaslavsky, Adv. Math. 52, 213 (1984). [ISI]
  36. A. Haar, Ann. Math. 34, 147 (1933). [ISI]
  37. G. G. Folland, A Course in Abstract Harmonic Analysis (CRC Press, Boca Raton, Florida, USA, 1995).
  38. R. A. Bertlmann and P. Krammer, J. Phys. A 41, 235303 (2008).
  39. I. S. Gradshteyn and J. M. Ryzhjk, Table of Integrals, Series and Products (Academic, New York, 2007).
  40. B. Collins and P. Śniady, Commun. Math. Phys. 264, 773 (2006). [Inspec]
  41. L. Clarisse, Quantum Inf. Comput. 6, 539 (2006). [Inspec]
  42. H. Fan, K. Matsumoto, and H. Imai, J. Phys. A 36, 4151 (2003). [Inspec] [ISI]
  43. S. Albeverio and S. M. Fei, J. Opt. B: Quantum Semiclassical Opt. 3, 223 (2001). [Inspec] [ISI]
  44. B. C. Hiesmayr, M. Huber, and Ph. Krammer, Phys. Rev. A 79, 062308 (2009).
  45. B. C. Hiesmayr and M. Huber, Phys. Rev. A 78, 012342 (2008).


Figures (click on thumbnails to view enlargements)

FIG.1
Schematic illustration of the Jacobian matrix (jk,l) for the operator basis ( 34 ). All entries outside the gray-shaded blocks are zero.

FIG.1 Download High Resolution Image (.zip file) | Export Figure to PowerPoint

FIG.2
Schematic illustration of the matrix block math1. Only the gray-shaded entries are non-zero.

FIG.2 Download High Resolution Image (.zip file) | Export Figure to PowerPoint

FIG.3
Schematic illustration of the Jacobian matrix (jk,l) for the operator basis ( 85 ).

FIG.3 Download High Resolution Image (.zip file) | Export Figure to PowerPoint

FIG.4
The average entanglement ( 122 ) of a bipartite qudit system measured by the (squared) concurrence C2(|ψ〉) for the dimensions d = 2, …, 12. The average 〈C2〉 increases with the size of the Hilbert space HAHB = mathdmathd.

FIG.4 Download High Resolution Image (.zip file) | Export Figure to PowerPoint



Close
Google Calendar
ADVERTISEMENT

close