Crossref journal-article
Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften
Quantum (9598)
Abstract

The class of commuting quantum circuits known as IQP (instantaneous quantum polynomial-time) has been shown to be hard to simulate classically, assuming certain complexity-theoretic conjectures. Here we study the power of IQP circuits in the presence of physically motivated constraints. First, we show that there is a family of sparse IQP circuits that can be implemented on a square lattice of n qubits in depth O(sqrt(n) log n), and which is likely hard to simulate classically. Next, we show that, if an arbitrarily small constant amount of noise is applied to each qubit at the end of any IQP circuit whose output probability distribution is sufficiently anticoncentrated, there is a polynomial-time classical algorithm that simulates sampling from the resulting distribution, up to constant accuracy in total variation distance. However, we show that purely classical error-correction techniques can be used to design IQP circuits which remain hard to simulate classically, even in the presence of arbitrary amounts of noise of this form. These results demonstrate the challenges faced by experiments designed to demonstrate quantum supremacy over classical computation, and how these challenges can be overcome.

Bibliography

Bremner, M. J., Montanaro, A., & Shepherd, D. J. (2017). Achieving quantum supremacy with sparse and noisy commuting quantum computations. Quantum, 1, 8.

Authors 3
  1. Michael J. Bremner (first)
  2. Ashley Montanaro (additional)
  3. Dan J. Shepherd (additional)
References 44 Referenced 125
  1. S. Aaronson and A. Arkhipov. The computational complexity of linear optics. Theory of Computing, 9 (4): 143-252, 2013. arXiv:1011.3245. (10.1145/1993636.1993682)
  2. N. Alon, A. Frieze, and D. Welsh. Polynomial time randomized approximation schemes for the Tutte polynomial of dense graphs. In Proc. 35th Annual Symp. Foundations of Computer Science, 1994, page 24. (10.1109/SFCS.1994.365708)
  3. A. Arkhipov. BosonSampling is robust to small errors in the network matrix. Phys. Rev. A, 92: 062326, 2015. arXiv:1412.2516. (10.1103/PhysRevA.92.062326)
  4. S. Arora, D. Karger, and M. Karpinski. Polynomial time approximation schemes for dense instances of NP-hard problems. Journal of Computer and System Sciences, 58: 193-210, 1999. (10.1145/225058.225140)
  5. R. Beals, S. Brierley, O. Gray, A. Harrow, S. Kutin, N. Linden, D. Shepherd, and M. Stather. Efficient distributed quantum computing. Proc. Roy. Soc. A, 469: 20120686, 2013. arXiv:1207.2307. (10.1098/rspa.2012.0686)
  6. J. Bermejo-Vega, D. Hangleiter, M. Schwarz, R. Raussendorf, and J. Eisert. Architectures for quantum simulation showing quantum supremacy, 2017. arXiv:1703.00466. (10.1103/PhysRevX.8.021010)
  7. S. Boixo, S. Isakov, V. Smelyanskiy, R. Babbush, N. Ding, Z. Jian, J. Martinis, and H. Neven. Characterizing quantum supremacy in near-term devices, 2016. arXiv:1608.00263.
  8. B. Bollobás. The distribution of the maximum degree of a random graph. Discrete Mathematics, 32: 201-203, 1980. (10.1016/0012-365X(80)90054-0)
  9. C. Brand, H. Dell, and M. Roth. Fine-grained dichotomies for the Tutte plane and Boolean ĊSP, 2016. arXiv:1606.06581.
  10. M. Bremner, R. Jozsa, and D. Shepherd. Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy. Proc. Roy. Soc. Ser. A, 467 (2126): 459-472, 2011. arXiv:1005.1407. (10.1098/rspa.2010.0301)
  11. M. Bremner, A. Montanaro, and D. Shepherd. Average-case complexity versus approximate simulation of commuting quantum computations. Phys. Rev. Lett., 117: 080501, 2016. arXiv:1504.07999. (10.1103/PhysRevLett.117.080501)
  12. W. Brown and O. Fawzi. Scrambling speed of random quantum circuits, 2012. arXiv:1210.6644.
  13. W. Brown and O. Fawzi. Decoupling with random quantum circuits. Comm. Math. Phys., 340 (3): 867-900, 2015. arXiv:1307.0632. (10.1007/s00220-015-2470-1)
  14. H. Buhrman, R. Cleve, M. Laurent, N. Linden, A. Schrijver, and F. Unger. New limits on fault-tolerant quantum computation. In Proc. 47th Annual Symp. Foundations of Computer Science, 2006, pages 411-419. quant-ph/0604141. (10.1109/FOCS.2006.50)
  15. R. Curticapean. Block interpolation: A framework for tight exponential-time counting complexity. In Proc. 42nd International Conference on Automata, Languages and Programming (ICALP'15), 2015, pages 380-392. arXiv:1511.02910. (10.1007/978-3-662-47672-7_31)
  16. R. Diestel. Graph Theory. Springer, 2010. (10.1007/978-3-642-14279-6)
  17. D. Dubhashi and A. Panconesi. Concentration of measure for the analysis of randomized algorithms. Cambridge University Press, 2009. (10.1017/CBO9780511581274)
  18. E. Farhi, J. Goldstone, and S. Gutmann. A quantum approximate optimization algorithm, 2014. arXiv:1411.4028.
  19. E. Farhi, J. Goldstone, and S. Gutmann. A quantum approximate optimization algorithm applied to a bounded occurrence constraint problem, 2014. arXiv:1412.6062.
  20. E. Farhi and A. Harrow. Quantum supremacy through the Quantum Approximate Optimization Algorithm, 2016. arXiv:1602.07674.
  21. K. Fujii and S. Tamate. Computational quantum-classical boundary of noisy commuting quantum circuits. Scientific Reports, 6: 25598, 2016. arXiv:1406.6932. (10.1038/srep25598)
  22. X. Gao, S.-T. Wang, and L.-M. Duan. Quantum supremacy for simulating a translation-invariant Ising spin model. Phys. Rev. Lett., 118: 040502, 2017. arXiv:1607.04947. (10.1103/PhysRevLett.118.040502)
  23. D. Hangleiter, M. Kliesch, M. Schwarz, and J. Eisert. Direct certification of a class of quantum simulations. Quantum Science and Technology, 1 (2), 2017. arXiv:1602.00703. (10.1088/2058-9565/2/1/015004)
  24. G. Kalai. The quantum computer puzzle. Notices of the AMS, 63 (5): 508-516, 2016. arXiv:1605.00992. (10.1090/noti1380)
  25. G. Kalai and G. Kindler. Gaussian noise sensitivity and BosonSampling, 2014. arXiv:1409.3093.
  26. J. Kempe, O. Regev, F. Unger, and R. de Wolf. Upper bounds on the noise threshold for fault-tolerant quantum computing. In Proc. 35th International Conference on Automata, Languages and Programming (ICALP'08), 2008, pages 845-856. arXiv:0802.1464. (10.1007/978-3-540-70575-8_69)
  27. E. Kushilevitz and Y. Mansour. Learning decision trees using the Fourier spectrum. In Proc. 23rd Annual ACM Symp. Theory of Computing, 1991, pages 455-464. (10.1137/0222080)
  28. A. Leverrier and R. García-Patrón. Analysis of circuit imperfections in BosonSampling. Quantum Inf. Comput., 15: 0489-0512, 2015. arXiv:1309.4687. (10.26421/QIC15.5-6-8)
  29. I. Markov and Y. Shi. Simulating quantum computation by contracting tensor networks. SIAM J. Comput., 38: 963-981, 2008. quant-ph/0511069. (10.1137/050644756)
  30. M. Marvian and D. Lidar. Error suppression for Hamiltonian-based quantum computation using subsystem codes, 2016. arXiv:1606.03795. (10.1103/PhysRevLett.118.030504)
  31. T. Morimae, K. Fujii, and J. Fitzsimons. On the hardness of classically simulating the one-clean-qubit model. Phys. Rev. Lett., 112: 130502, 2014. arXiv:1312.2496. (10.1103/PhysRevLett.112.130502)
  32. R. O'Donnell. Analysis of Boolean Functions. Cambridge University Press, 2014. (10.1017/CBO9781139814782)
  33. J. Preskill. Quantum computing and the entanglement frontier, 2012. arXiv:1203.5813.
  34. S. Rahimi-Keshari, T. Ralph, and C. Caves. Sufficient conditions for efficient classical simulation of quantum optics. Phys. Rev. X, 6: 021039, 2016. arXiv:1511.06526. (10.1103/PhysRevX.6.021039)
  35. A. Razborov. An upper bound on the threshold quantum decoherence rate. Quantum Inf. Comput., 4 (3): 222-228, 2004. quant-ph/0310136. (10.26421/QIC4.3-7)
  36. T. Richardson and R. Urbanke. Modern Coding Theory. Cambridge University Press, 2008. (10.1017/CBO9780511791338)
  37. C. Schnorr and A. Shamir. An optimal sorting algorithm for mesh connected computers. In Proc. 18th Annual ACM Symp. Theory of Computing, 1986, pages 255-263. (10.1145/12130.12156)
  38. M. Schwarz and M. Van den Nest. Simulating quantum circuits with sparse output distributions, 2013. arXiv:1310.6749.
  39. V. Shchesnovich. Tight bound on trace distance between a realistic device with partially indistinguishable bosons and the ideal BosonSampling. Phys. Rev. A, 91: 063842, 2015. arXiv:1501.00850. (10.1103/PhysRevA.91.063842)
  40. D. Shepherd. Binary matroids and quantum probability distributions, 2010. arXiv:1005.1744.
  41. D. Shepherd and M. J. Bremner. Temporally unstructured quantum computation. Proc. Roy. Soc. Ser. A, 465 (2105): 1413-1439, 2009. arXiv:0809.0847. (10.1098/rspa.2008.0443)
  42. D. R. Simon. On the power of quantum computation. SIAM J. Comput., 26: 1474-1483, 1997. (10.1137/S0097539796298637)
  43. S. Toda. PP is as hard as the polynomial-time hierarchy. SIAM J. Comput., 20 (5): 865-877, 1991. (10.1137/0220053)
  44. S. Virmani, S. Huelga, and M. Plenio. Classical simulability, entanglement breaking, and quantum computation thresholds. Phys. Rev. A, 71: 042328, 2005. quant-ph/0408076. (10.1103/PhysRevA.71.042328)
Dates
Type When
Created 8 years, 4 months ago (April 25, 2017, 5:05 a.m.)
Deposited 2 years ago (Aug. 23, 2023, 3:52 a.m.)
Indexed 5 days, 19 hours ago (Aug. 20, 2025, 8:55 a.m.)
Issued 8 years, 4 months ago (April 25, 2017)
Published 8 years, 4 months ago (April 25, 2017)
Published Online 8 years, 4 months ago (April 25, 2017)
Funders 0

None

@article{Bremner_2017, title={Achieving quantum supremacy with sparse and noisy commuting quantum computations}, volume={1}, ISSN={2521-327X}, url={http://dx.doi.org/10.22331/q-2017-04-25-8}, DOI={10.22331/q-2017-04-25-8}, journal={Quantum}, publisher={Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften}, author={Bremner, Michael J. and Montanaro, Ashley and Shepherd, Dan J.}, year={2017}, month=apr, pages={8} }