A geometric approach to quantum circuit lower bounds

Quantum Information and Computation

Volumn 6, Issue 3, 2006, Pages 213-262

  Nielsen, Michael A ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Finsler geometry; Lower bounds; Quantum circuits

Indexed keywords

DIFFERENTIAL EQUATIONS; GEODESY; GEOMETRY; INTEGRATED CIRCUIT MANUFACTURE; QUBITS; TIMING CIRCUITS;

FINSLER GEOMETRY; GEODESIC EQUATIONS; GEOMETRIC APPROACHES; LATTICE PROBLEMS; LOWER BOUNDS; QUANTUM CIRCUIT; SECOND-ORDER DIFFERENTIAL EQUATION; UNITARY OPERATION;

ELECTRIC NETWORK ANALYSIS;

EID: 33645778554     PISSN: 15337146     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (68)

1. S. Aaronson. Is P versus NP formally independent? Bulletin of the EATCS, 81, 2003.
2. J. C. Álvarez and C. Durán. An introduction to Finsler geometry. Publicaciones de la Escuela Venezolana de Matematicas, Caracas, Venezuela, 1998. Available at http://www.math.poly.edu/research/finsler/.
3. A. Ambainis. Quantum lower bounds by quantum arguments. Journal of Computer and System Sciences (Special Issue on STOC 2000), 64(4):750-767, 2002. arXiv:quant-ph/0002066.
4. V. I. Arnold. Mathematical methods of classical mechanics, volume 60 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2nd edition, 1989.
5. H. F. Baker. Proc. London Math. Soc., 2(3):24-47, 1905.
6. D. Bao, S.-S. Chern, and Z. Shen. An introduction to Riemann-Finsler geometry, volume 200 of Graduate Texts in Mathematics. Springer, New York, 2000.
7. A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter. Elementary gates for quantum computation. Phys. Rev. A, 52:3457-3467, 1995. arXiv:quant-ph/9503016.
8. R. Beals, H. Buhrman, R. Cleve, M. Mosca, and R. de Wolf. Quantum lower bounds by polynomials. In IEEE Symposium on Foundations of Computer Science, pages 352-361, 1998. arXiv:quant-ph/9802049.
9. C. H. Bennett, E. Bernstein, G. Brassard, and U. Vazirani. Strengths and weaknesses of quantum computing. SIAM J. Comp., 26(5):1510-1523, 1997. arXiv:quant-ph/9701001.
10. V. Bergholm, J. J. Vartiainen, M. Mottonen, and M. M. Salomaa. Quantum circuits with uniformly controlled one-qubit gates. arXiv:quant-ph/0410066, 2004.
11. M. J. Bremner, C. M. Dawson, J. L. Dodd, A. Gilchrist, A. W. Harrow, D. Mortimer, M. A. Nielsen, and T. J. Osborne. A practical scheme for quantum computation with any two-qubit entangling gate. Phys. Rev. Lett., 89(24):247902, 2002. arXiv:quant-ph/0207072.
12. J. L. Brylinski and R. Brylinski. Universal quantum gates, chapter II in [13]. Chapman & Hall / CRC Press, 2002. arXiv:quant-ph/0108062.
13. R. K. Brylinski and G. Chen, editors. Mathematics of Quantum Computation. Computational Mathematics. Chapman & Hall / CRC Press, 2002.
14. J. E. Campbell. Proc. London Math. Soc., 1(28):381-390, 1897.
15. J. E. Campbell. Proc. London Math. Soc., 1(29):14-32, 1897.
16. A. M. Childs, H. L. Haselgrove, and M. A. Nielsen. Lower bounds on the complexty of simulating quantum gates. Phys. Rev. A, 68(5):052311, 2003. arXiv:quant-ph/0307190.
17. J. N. Clelland and C. G. Moseley. Sub-Finsler geometry in dimension three. arXiv:math.DG/0406439, 2004.
18. R. Cleve and J. Watrous. Fast parallel circuits for the quantum fourier transform. In Proceedings of the 41st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2000), pages 526-536, 2000. arXiv:quant-ph/0006004.
19. G. Cybenko. Reducing quantum computations to elementary unitary operations. Computing in Science and Engineering, 3:27-32, 2001.
20. D. D'Alessandro and M. Dahleh. Optimal control of two-level quantum systems. IEEE Transactions on Automatic Control, 46(6):866-876, 2001.
21. G. Dirr, U. Helmke, K. Hüper, M. Kleinsteuber, and Y. Liu. Time optimal control on compact Lie groups: applications to spin dynamics. preprint, 2004.
22. J. L. Dodd, M. A. Nielsen, M. J. Bremner, and R. T. Thew. Universal quantum computation and simulation using any entangling Hamiltonian and local unitaries. Phys. Rev. A, 65(4):040301 (R), 2002. arXiv:quant-ph/0106064.
23. I. M. Gelfand and S. V. Fomin. Caluclus of variations. Prentice-Hall, Englewood Cliffs, New Jersey, 1963.
24. M. Ghomi. Optimal smoothing for convex polytopes. Bull. London Math. Soc., 36:483-492, 2004.
25. R. J. Gordon and S. A. Rice. Active control of the dynamics of atoms and molecules. Annu. Rev. Phys. Chem., 48:601-541, 1997.
26. D. Gottesman. Stabilizer Codes and Quantum Error Correction. PhD thesis, California Institute of Technology, Pasadena, CA, 1997. arXiv:quant-ph/9705052.
27. K. Hammerer, G. Vidal, and J. I. Cirac. Characterization of non-local gates. Phys. Rev. A, 66(06):062321, 2002. arXiv:quant-ph/0205100.
28. F. Hausdorff. Die symbolische Exponentialformel in der Gruppentheorie. Leipziger Berichte, 58:19-48, 1906.
29. S. Helgason. Differential geometry, Lie groups, and symmetric spaces, volume 34 of Graduate Studies in Mathematics. Reprint edition published by the American Mathematical Society, Providence, Rhode Island, 2001.
30. R. A. Horn and C. R. Johnson. Topics in matrix analysis. Cambridge University Press, Cambridge, 1991.
31. P. Höyer and R. Spalek. Lower bounds on quantum query complexity. Bulletin of the European Association for Theoretical Computer Science, 87, 2005. arXiv:quant-ph/0509153.
32. C. J. Isham. Modern Differential Geometry for Physicists. World Scientific, Singapore, 2nd edition, 1999.
33. N. Khaneja, R. Brockett, and S. J. Glaser. Time optimal control in spin systems. Phys. Rev. A, 63(3):032308, 2001. arXiv:quant-ph/0006114.
34. n) and control of spin systems. Chem. Physics, 267:11-23, 2001. arXiv:quant-ph/0010100.
35. N. Khaneja, S. J. Glaser, and R. Brockett. Sub-Riemannian geometry and time optimal control of three spin systems: Quantum gates and coherence transfer. Phys. Rev. A, 65(3):032301, 2002. arXiv:quant-ph/0106099.
36. A. Y. Kitaev. Quantum computations: algorithms and error correction. Russ. Math. Surv., 52(6):1191-1249, 1997.
37. E. Knill. Approximating quantum circuits. arXiv:quant-ph/9508006, 1995.
38. J. M. Lee. Riemannian manifolds: An introduction to curvature, volume 176 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1997.
39. J. M. Lee. Introduction to smooth manifolds, volume 218 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2003.
40. N. Linial. Finite metric spaces - combinatorics, geometry and algorithms. In Proceedings of the International Congress of Mathematicians III, pages 573-586, Beijing, China, 2002.
41. C. López and E. Martínez. Sub-Finslerian metric associated to an optimal control system. SIAM J. Control Optim., 39(3):798-811, 2000.
42. R. Montgomery. A tour of subriemannian geometries, their geodesics and applications, volume 91 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, Rhode Island, 2002.
43. K. Mulmuley and M. Sahoni. Geometric complexity theory II: Explicit obstructions. In C. Musili, editor, Proceedings of the international conference on algebra and geometry, Hyderabad, 2001.
44. K. Mulmuley and M. Sahoni. Geometric complexity theory I: An approach to the P vs. NP and related problems. SIAM J. Comp., 31(2):496-526, 2002.
45. K. Mulmuley and M. Sahoni. Geometric complexity theory III: on deciding positivity of Littlewood-Richardson coefficients. arXiv:cs.CC/0501076, 2005.
46. M. A. Nielsen and I. L. Chuang. Quantum computation and quantum information. Cambridge University Press, Cambridge, 2000.
47. Michael A. Nielsen. On linear matrix equations. Technical note 0401, available at www.qinfo.org/people/nielsen/blog/archive/000087.html, 2004.
48. J. P. Paolo and R. Kosloff. Quantum computing by an optimal control algorithm for unitary transformations. Phys. Rev. Lett., 89(18):188301, 2002.
49. J. P. Paolo and R. Kosloff. Optimal control theory for unitary transformations. Phys. Rev. A, 68(6):062308, 2003. arXiv:quant-ph/0309011.
50. C. M. Papadimitriou. Computational complexity. Addison-Wesley, Reading, Massachusetts, 1994.
51. H. Rabitz, R. de Vive-Riedle, M. Motzkus, and K. Kompa. Chemistry - whither the future of controlling quantum phenomena? Science, 288(5467):824-828, May 5 2000.
52. C. Rangan and P. H. Bucksbaum. Optimally shaped terahertz pulses for phase retrieval in a Rydberg-atom data register. Phys. Rev. A, 64(3):033417, 2001.
53. A. Razborov and S. Rudich. Natural proofs. In Proceedings, 26th ACM Symposium on Theory of Computing, pages 204-213, 1994.
54. K. Regan. Understanding the mulmuley-sohoni approach to p vs. np. Bulletin of the European Association for Theoretical Computer Science (BEATCS) Computational Complexity Column, 2002. URL people.cs.uchicago.edu/~fortnow/ beatcs/column78.pdf.
55. C. Reutenauer. Free Lie algebras. Clarendon Press, Oxford, 1993.
56. S. A. Rice and M. Zhao. Optimal control of molecular dynamics. John Wiley, New York, 2000.
57. W. E. Roth. On direct product matrices. Bull. Amer. Math. Soc., 40:461-468, 1934.
58. C. E. Shannon and W. Weaver. The Mathematical Theory of Communication. University of Illinois Press, Urbana, 1949.
59. M. Shapiro and P. Bruiner. Principles of the quantum control of molecular processes. John Wiley, 2003.
60. V. V. Shende, S. S. Bullock, and I. L. Markov. A practical top-down approach to quantum circuit synthesis. arXiv:quant-ph/0406176, 2004.
61. M. Sipser. Introduction to the theory of computation. PWS Publishing Company, Boston, USA, 1997.
62. S. E. Sklarz, D. J. Tannor, and N. Khaneja. Optimal control of quantum dissipative dynamics: Analytic solution for cooling the three level A system. arXiv:quant-ph/0402143, 2004.
63. C. M. Tesch and R. de Vivie-Riedle. Quantum computation with vibrationally excited molecules. Phys. Rev. Lett., 89(15):157901, 2002.
64. R. R. Tucci. A rudimentary quantum compiler. arXiv:quant-ph/9902062, 1999.
65. G. Vidal, K. Hammerer, and J. I. Cirac. Interaction cost of non-local gates. Phys. Rev. Lett., 88(23):237902, 2002. arXiv:quant-ph/0112168.
66. A. C. Yao. Some complexity questions related to distributed computing. Proc. of the 11th Ann. ACM Symp. on Theory of Computing, pages 209-213, 1979.
67. J. Zhang, J. Vala, S. Sastry, and K. B. Whaley. Exact two-qubit universal quantum circuit. Phys. Rev. Lett., 91(2):022903, 2003. arXiv:quant-ph/0212109.
68. J. Zhang and K. B. Whaley. Generation of quantum logic operations from physical Hamiltonians. arXiv:quant-ph/0412169, 2004.