Computational Depth Complexity of Measurement-Based Quantum Computation

In this paper, we mainly prove that the "depth of computations" in the one-way model is equivalent, up to a classical side-processing of logarithmic depth, to the quantum circuit model augmented with unbounded fanout gates. It demonstrates that the one-way model is not only one of the most promising models of physical realisation, but also a very powerful model of quantum computation. It confirms and completes previous results which have pointed out, for some specific problems, a depth separation between the one-way model and the quantum circuit model. Since one-way model has the same parallel power as unbounded quantum fan-out circuits, the quantum Fourier transform can be approximated in constant depth in the one-way model, and thus the factorisation can be done by a polytime probabilistic classical algorithm which has access to a constant-depth one-way quantum computer. The extra power of the one-way model, comparing with the quantum circuit model, comes from its classical-quantum hybrid nature. We show that this extra power is reduced to the capability to perform unbounded classical parity gates in constant depth.

[1]  Griffiths,et al.  Semiclassical Fourier transform for quantum computation. , 1995, Physical review letters.

[2]  D. Gross,et al.  Novel schemes for measurement-based quantum computation. , 2006, Physical review letters.

[3]  H. Briegel,et al.  Measurement-based quantum computation on cluster states , 2003, quant-ph/0301052.

[4]  Robert Spalek,et al.  Quantum Fan-out is Powerful , 2005, Theory Comput..

[5]  M. Bremner,et al.  Temporally unstructured quantum computation , 2009, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[6]  Simon Perdrix STATE TRANSFER INSTEAD OF TELEPORTATION IN MEASUREMENT-BASED QUANTUM COMPUTATION , 2005 .

[7]  Michael A. Nielsen,et al.  Universal quantum computation using only projective measurement, quantum memory, and preparation of the 0 state , 2001 .

[8]  Cristopher Moore,et al.  Counting, fanout and the complexity of quantum ACC , 2002, Quantum Inf. Comput..

[9]  O. Eichwald,et al.  Ion swarm data for electrical discharge modeling in air and flue gas mixtures , 2003 .

[10]  Elham Kashefi,et al.  Twisted Graph States for Ancilla-driven Universal Quantum Computation , 2009, MFPS.

[11]  Yong Zhang,et al.  Quantum lower bounds for fanout , 2006, Quantum Inf. Comput..

[12]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[13]  R Raussendorf,et al.  A one-way quantum computer. , 2001, Physical review letters.

[14]  Martin Nilsson,et al.  Parallel Quantum Computation and Quantum Codes , 2001, SIAM J. Comput..

[15]  R. Jozsa An introduction to measurement based quantum computation , 2005, quant-ph/0508124.

[16]  H. Briegel,et al.  Quantum computing via measurements only , 2000, quant-ph/0010033.

[17]  Elham Kashefi,et al.  The measurement calculus , 2004, JACM.

[18]  Leonard M. Adleman,et al.  Quantum Computability , 1997, SIAM J. Comput..

[19]  Michael A. Nielsen,et al.  Quantum computation by measurement and quantum memory , 2003 .

[20]  Ian Mackie,et al.  Semantic Techniques in Quantum Computation , 2009 .

[21]  Elham Kashefi,et al.  Parallelizing quantum circuits , 2007, Theor. Comput. Sci..

[22]  D. Browne,et al.  Computational power of correlations. , 2008, Physical review letters.