Quantum computers promise to solve certain problems that are forever intractable to classical computers. The first of these devices are likely to tackle bespoke problems suited to their own particular physical capabilities. Sampling the probability distribution from many bosons interfering quantum-mechanically is conjectured to be intractable to a classical computer but solvable with photons in linear optics. However, the complexity of this type of problem means its solution is mathematically unverifiable, so the task of establishing successful operation becomes one of gathering sufficiently convincing circumstantial or experimental evidence. Here, we develop scalable methods to experimentally establish correct operation for this class of computation, which we implement for three, four and five photons in integrated optical circuits, on Hilbert spaces of up to 50,000 dimensions. Our broad approach is practical for all quantum computational architectures where formal verification methods for quantum algorithms are either intractable or unknown.
This is a preview of subscription content, access via your institution
Open Access articles citing this article.
npj Quantum Information Open Access 12 May 2022
npj Quantum Information Open Access 24 March 2022
Quantum Machine Intelligence Open Access 13 October 2021
Subscribe to Journal
Get full journal access for 1 year
only $8.25 per issue
All prices are NET prices.
VAT will be added later in the checkout.
Tax calculation will be finalised during checkout.
Get time limited or full article access on ReadCube.
All prices are NET prices.
Feynman, R. P. Simulating physics with computers. Int. J. Theor. Phys. 21, 467–488 (1982).
Barz, S., Fitzsimons, J. F., Kashefi, E. & Walther, P. Experimental verification of quantum computation. Nature Phys. 9, 727–731 (2013).
Aspuru-Guzik, A. & Walther, P. Photonic quantum simulators. Nature Phys. 8, 285–291 (2012).
Aaronson, S. & Arkhipov, A. in Proceedings of the 43rd Annual ACM Symposium on Theory of Computing, San Jose 333–342 (ACM Press, 2011).
Valiant, L. G. The complexity of computing the permanent. Theor. Comput. Sci. 8, 189–201 (1979).
Troyansky, L. & Tishby, N. in Proceedings of Physics and Computation (PhysComp 96) 314–318 (New England Complex Systems Institute, 1996).
Scheel, S. in Quantum Information Processing Ch. 28 (Wiley, 2005).
Peruzzo, A., Laing, A., Politi, A., Rudolph, T. & O'Brien, J. L. Multimode quantum interference of photons in multiport integrated devices. Nature Commun. 2, 224 (2011).
Shor, P. W. in Proceedings of the 35th Annual Symposium on Foundations of Computer Science (ed. Goldwasser, S.) 124–134 (IEEE Press, 1994).
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (Cambridge Univ. Press, 2010).
Broome, M. A. et al. Photonic boson sampling in a tunable circuit. Science 339, 794–798 (2013).
Spring, J. B. et al. Boson sampling on a photonic chip. Science 339, 798–801 (2013).
Crespi, A. et al. Integrated multimode interferometers with arbitrary designs for photonic boson sampling. Nature Photon. 7, 545–549 (2013).
Tillmann, M. et al. Experimental boson sampling. Nature Photon. 7, 540–544 (2013).
Reck, M., Zeilinger, A. Bernstein, H. J. & Bertani, P. Experimental realization of any discrete unitary operator. Phys. Rev. Lett. 73, 58–61 (1994).
Matthews, J. C. F., Politi, A., Stefanov, A. & O'Brien, J. L. Manipulation of multiphoton entanglement in waveguide quantum circuits. Nature Photon. 3, 346–350 (2009).
Shadbolt, P. J. et al. Generating, manipulating and measuring entanglement and mixture with a reconfigurable photonic circuit. Nature Photon. 6, 45–49 (2012).
Lobino, M. et al. Complete characterization of quantum-optical processes. Science 322, 563–566 (2008).
Hong, C. K., Ou, Z. Y. & Mandel, L. Measurement of subpicosecond time intervals between two photons by interference. Phys. Rev. Lett. 59, 2044–2046 (1987).
Jerrum, M., Sinclair, A. & Vigoda, E. A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries. J. Assoc. Comput. Mach. 51, 671–697 (2004).
Aaronson, S. & Arkhipov, A. Boson sampling is far from uniform. Preprint at http://lanl.arxiv.org/abs/1309.7460 (2013).
Bromberg, Y., Lahini, Y., Morandotti, R. & Silberberg, Y. Quantum and classical correlations in waveguide lattices. Phys. Rev. Lett. 102, 253904 (2009).
Peruzzo, A. et al. Quantum walks of correlated photons. Science 329, 1500–1503 (2010).
Meinecke, J. D. A. et al. Coherent time evolution and boundary conditions of two-photon quantum walks in waveguide arrays. Phys. Rev. A 88, 012308 (2013).
Matthews, J. C. F. et al. Observing fermionic statistics with photons in arbitrary processes. Sci. Rep. 3, 1539 10.1038/srep01539(2013).
Sansoni, L. et al. Two-particle bosonic-fermionic quantum walk via integrated photonics. Phys. Rev. Lett. 108, 010502 (2012).
Gogolin, C., Kliesch, M., Aolita, L. & Eisert, J. Boson-sampling in the light of sample complexity. Preprint at http://lanl.arxiv.org/abs/1306.3995 (2013).
Laing, A. & O'Brien, J. L. Super-stable tomography of any linear optical device. Preprint at http://lanl.arxiv.org/abs/1208.2868 (2012).
Arkhipov, A. & Kuperberg, G. The bosonic birthday paradox. Geom. Topol. Monog. 18, 1–7 (2012).
Spagnolo, N. et al. General rules for bosonic bunching in multimode interferometers. Phys. Rev. Lett. 111, 130503 (2013).
Tanida, M., Okamoto, R. & Takeuchi, S. Highly indistinguishable heralded single-photon sources using parametric down conversion. Opt. Express 20, 15275–15285 (2012).
Perets, H. B. et al. Realization of quantum walks with negligible decoherence in waveguide lattices. Phys. Rev. Lett. 100, 170506 (2008).
Lund, A. P. et al. Boson sampling from Gaussian states. Preprint at http://lanl.arxiv.org/abs/1305.4346 (2013).
Spagnolo, N. et al. Efficient experimental validation of photonic boson sampling against the uniform distribution. Preprint at http://lanl.arxiv.org/abs/1311.1622 (2013).
The authors acknowledge support from the Engineering and Physical Sciences Research Council (EPSRC), the European Research Council (ERC), the Centre for Nanoscience and Quantum Information (NSQI), the US Air Force Office of Scientific Research (AFOSR) and the US Army Research Laboratory (ARL) J.C.F.M. is supported by a Leverhulme Trust Early Career Fellowship. J.L.O.B. acknowledges a Royal Society Wolfson Merit Award and a Royal Academy of Engineering Chair in Emerging Technologies. The authors thank G. Marshall, E. Martín López, A. Peruzzo, A. Politi and A. Rubenok for technical assistance.
The authors declare no competing financial interests.
About this article
Cite this article
Carolan, J., Meinecke, J., Shadbolt, P. et al. On the experimental verification of quantum complexity in linear optics. Nature Photon 8, 621–626 (2014). https://doi.org/10.1038/nphoton.2014.152
This article is cited by
npj Quantum Information (2022)
npj Quantum Information (2022)
Quantum Information Processing (2022)
Scientific Reports (2021)
Quantum Machine Intelligence (2021)