Abstract
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
Relevant articles
Open Access articles citing this article.
-
Integrated photonics in quantum technologies
La Rivista del Nuovo Cimento Open Access 01 February 2023
-
Reconfigurable continuously-coupled 3D photonic circuit for Boson Sampling experiments
npj Quantum Information Open Access 12 May 2022
-
Quantum walks of two correlated photons in a 2D synthetic lattice
npj Quantum Information Open Access 24 March 2022
Access options
Subscribe to this journal
Receive 12 print issues and online access
$209.00 per year
only $17.42 per issue
Rent or buy this article
Get just this article for as long as you need it
$39.95
Prices may be subject to local taxes which are calculated during checkout








References
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).
Acknowledgements
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.
Author information
Authors and Affiliations
Contributions
Devices were fabricated by N.I. and K.W. All other authors contributed to the theory, experiments, analysis and writing of the manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Supplementary information
Supplementary information
Supplementary information (PDF 496 kb)
Rights and permissions
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1038/nphoton.2014.152
This article is cited by
-
Integrated photonics in quantum technologies
La Rivista del Nuovo Cimento (2023)
-
Reconfigurable continuously-coupled 3D photonic circuit for Boson Sampling experiments
npj Quantum Information (2022)
-
Quantum walks of two correlated photons in a 2D synthetic lattice
npj Quantum Information (2022)
-
A quantum hash function with grouped coarse-grained boson sampling
Quantum Information Processing (2022)
-
On the optimal certification of von Neumann measurements
Scientific Reports (2021)