Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Open Access

Laplace expansions and tree decompositions: A faster polytime algorithm for shallow nearest-neighbor boson sampling

Samo Novák1,2,3,4,* and Raúl García-Patrón1,5,†

  • 1Laboratory for the Foundations of Computer Science, School of Informatics, Informatics Forum, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9AB, United Kingdom
  • 2Mathematical Institute, University of Oxford, Andrew Wiles Building, Radcliffe Observatory Quarter (550), Woodstock Road, Oxford OX2 6GG, United Kingdom
  • 3ORCA Computing, LG, 30 Eastbourne Terrace, London W2 6LA, United Kingdom
  • 4Inria Paris, 48 rue Barrault, 75013 Paris, France
  • 5Phasecraft Limited, 77 Charlotte Street, London W1T 4PW, United Kingdom

  • *Contact author: samo.novak@inria.fr
  • †Contact author: rgarcia3@exseed.ed.ac.uk

Phys. Rev. A 113, 032428 – Published 16 March, 2026

DOI: https://doi.org/10.1103/l4zf-ls9v

Abstract

In a boson sampling quantum optical experiment, we send n individual photons into an m-mode interferometer and measure the occupation pattern on the output. The statistics of this process depend on the permanent of a matrix representing the experiment, which is itself a #P-hard problem to compute, and this is the reason why ideal and fully general boson sampling is hard to simulate on a classical computer. We exploit the fact that, for a nearest-neighbor shallow circuit, i.e., depth D=O(logm), one can adapt the algorithm by Clifford and Clifford [SODA '18 (2018), pp. 146–155] to exploit the sparsity of the shallow interferometer using an algorithm by Cifuentes and Parrilo [Lin. Alg. Appl. 493, 45 (2016)] that can efficiently compute a permanent of a structured matrix from a tree decomposition. Our algorithm generates a sample from a shallow circuit in time O(n22ωω2)+O(ωn3), where ω is the treewidth of the decomposition that satisfies ω≤2D for nearest-neighbor shallow circuits. The key difference in our work with respect to previous work using similar methods is the reuse of the structure of the tree decomposition, allowing us to adapt the Laplace expansion used by Clifford and Clifford, which removes a significant factor of m from the running time, especially as m>n2 is a requirement of the original boson sampling proposal.

View figure in article

Physics Subject Headings (PhySH)

Article Text

References (24)

  1. S. Aaronson and A. Arkhipov, The computational complexity of linear optics, Theory Comput. 9, 143 (2013).
  2. J. Preskill, Quantum computing and the entanglement frontier, arXiv:1203.5813.
  3. L. Valiant, The complexity of computing the permanent, Theor. Comput. Sci. 8, 189 (1979).
  4. H. J. Ryser, Combinatorial Mathematics, Carus Mathematical Monographs (Mathematical Association of America; distributed by John Wiley and Sons, Inc., New York, 1963), Vol. 14, pp. xiv+154.
  5. D. G. Glynn, The permanent of a square matrix, Eur. J. Comb. 31, 1887 (2010).
  6. P. Clifford and R. Clifford, The classical complexity of boson sampling, in Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '18 (Society for Industrial and Applied Mathematics, USA, 2018), pp. 146–155.
  7. H.-S. Zhong, H. Wang, Y.-H. Deng, M.-C. Chen, L.-C. Peng, Y.-H. Luo, J. Qin, D. Wu, X. Ding, Y. Hu, P. Hu, X.-Y. Yang, W.-J. Zhang, H. Li, Y. Li, X. Jiang, L. Gan, G. Yang, L. You, Z. Wang, et al., Quantum computational advantage using photons, Science 370, 1460 (2020).
  8. H.-S. Zhong, Y.-H. Deng, J. Qin, H. Wang, M.-C. Chen, L.-C. Peng, Y.-H. Luo, D. Wu, S.-Q. Gong, H. Su, Y. Hu, P. Hu, X.-Y. Yang, W.-J. Zhang, H. Li, Y. Li, X. Jiang, L. Gan, G. Yang, L. You, et al., Phase-programmable Gaussian boson sampling using stimulated squeezed light, Phys. Rev. Lett. 127, 180502 (2021).
  9. R. García-Patrón, J. J. Renema, and V. Shchesnovich, Simulating boson sampling in lossy architectures, Quantum 3, 169 (2019).
  10. D. Cifuentes and P. A. Parrilo, An efficient tree decomposition method for permanents and mixed discriminants, Lin. Alg. Appl. 493, 45 (2016).
  11. C. Oh, Y. Lim, B. Fefferman, and L. Jiang, Classical simulation of boson sampling based on graph structure, Phys. Rev. Lett. 128, 190501 (2022).
  12. H. Qi, D. Cifuentes, K. Brádler, R. Israel, T. Kalajdzievski, and N. Quesada, Efficient sampling from shallow Gaussian quantum-optical circuits with local interactions, Phys. Rev. A 105, 052412 (2022).
  13. A. E. Moylett and P. S. Turner, Quantum simulation of partially distinguishable boson sampling, Phys. Rev. A 97, 062329 (2018).
  14. P. Kok and B. W. Lovett, Introduction to Optical Quantum Information Processing (Cambridge University Press, Cambridge, UK, 2010).
  15. G. Voigt, Tree decompositions, treewidth, and NP-hard problems, Mathematics, Massachusetts Institute of Technology (2016), term paper in the course 18.204 Undergraduate Seminar in Discrete Mathematics.
  16. J. Carolan, C. Harrold, C. Sparrow, E. Martín-López, N. J. Russell, J. W. Silverstone, P. J. Shadbolt, N. Matsuda, M. Oguma, M. Itoh, G. D. Marshall, M. G. Thompson, J. C. F. Matthews, T. Hashimoto, J. L. O'Brien, and A. Laing, Universal linear optics, Science 349, 711 (2015).
  17. B. A. Bell and I. A. Walmsley, Further compactifying linear optical unitaries, APL Photonics 6, 070804 (2021).
  18. R. A. Campos, B. E. A. Saleh, and M. C. Teich, Quantum-mechanical lossless beam splitter: SU(2) symmetry and photon statistics, Phys. Rev. A 40, 1371 (1989).
  19. R. Jozsa, On the simulation of quantum circuits, arXiv:quant-ph/0603163.
  20. W. R. Clements, P. C. Humphreys, B. J. Metcalf, W. S. Kolthammer, and I. A. Walmsley, Optimal design for universal multiport interferometers, Optica 3, 1460 (2016).
  21. B. Go, C. Oh, L. Jiang, and H. Jeong, Exploring shallow-depth boson sampling: Towards scalable quantum supremacy, Phys. Rev. A 109, 052613 (2024).
  22. S. Novák, Efficient simulation of shallow quantum circuits: Boson sampling, UG4 Project and PGT Dissertation Public Archive, School of Informatics, University of Edinburgh (2022).
  23. A. J. Walker, New fast method for generating discrete random numbers with arbitrary frequency distributions, Electron. Lett. 10, 127 (1974).
  24. A. Björklund, T. Husfeldt, P. Kaski, and M. Koivisto, Fourier meets Möbius: Fast subset convolution, in Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing, STOC '07 (Association for Computing Machinery, New York, 2007), pp. 67–74.

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation