- Open Access
Laplace expansions and tree decompositions: A faster polytime algorithm for shallow nearest-neighbor boson sampling
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 individual photons into an -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 , 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 , where is the treewidth of the decomposition that satisfies 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 from the running time, especially as is a requirement of the original boson sampling proposal.
Physics Subject Headings (PhySH)
Article Text
References (24)
- S. Aaronson and A. Arkhipov, The computational complexity of linear optics, Theory Comput. 9, 143 (2013).
- J. Preskill, Quantum computing and the entanglement frontier, arXiv:1203.5813.
- L. Valiant, The complexity of computing the permanent, Theor. Comput. Sci. 8, 189 (1979).
- 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.
- D. G. Glynn, The permanent of a square matrix, Eur. J. Comb. 31, 1887 (2010).
- 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.
- 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).
- 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).
- R. García-Patrón, J. J. Renema, and V. Shchesnovich, Simulating boson sampling in lossy architectures, Quantum 3, 169 (2019).
- D. Cifuentes and P. A. Parrilo, An efficient tree decomposition method for permanents and mixed discriminants, Lin. Alg. Appl. 493, 45 (2016).
- C. Oh, Y. Lim, B. Fefferman, and L. Jiang, Classical simulation of boson sampling based on graph structure, Phys. Rev. Lett. 128, 190501 (2022).
- 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).
- A. E. Moylett and P. S. Turner, Quantum simulation of partially distinguishable boson sampling, Phys. Rev. A 97, 062329 (2018).
- P. Kok and B. W. Lovett, Introduction to Optical Quantum Information Processing (Cambridge University Press, Cambridge, UK, 2010).
- 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.
- 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).
- B. A. Bell and I. A. Walmsley, Further compactifying linear optical unitaries, APL Photonics 6, 070804 (2021).
- 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).
- R. Jozsa, On the simulation of quantum circuits, arXiv:quant-ph/0603163.
- 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).
- B. Go, C. Oh, L. Jiang, and H. Jeong, Exploring shallow-depth boson sampling: Towards scalable quantum supremacy, Phys. Rev. A 109, 052613 (2024).
- 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).
- A. J. Walker, New fast method for generating discrete random numbers with arbitrary frequency distributions, Electron. Lett. 10, 127 (1974).
- 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.