- Access by Xinjiang University
Designs of linear optical interferometers with minimal depth and component count
Phys. Rev. A 113, 033512 – Published 9 March, 2026
DOI: https://doi.org/10.1103/llc6-g2f9
Abstract
We adapt an algorithm for cnot circuits synthesis based on the Bruhat decomposition to the design of linear optical circuits with Mach-Zehnder interferometers. The synthesis algorithm reduces to designing sorting networks with nearest neighbor swapping operations as elementary gates. We recover previous designs from the literature with the additional property that the compiler can always decide whether a unitary can be implemented on a given interferometer and, if so, returns the shallowest possible implementation. We also show natural extensions of our framework for boson sampling experiments and for the coupling of multiple integrated interferometers to design larger linear optical systems. In both cases, the designs are optimal in terms of the number of optical components. Finally, we propose a greedy design which exploits the arbitrary-but-fixed coupling of separate integrated interferometers to perform shallow boson sampling. We discuss the optimal interferometer dimensions to maximize the transmission. Beyond boson sampling, our developed framework allows a resource-favorable implementation of any nonadaptive linear optical quantum algorithm, by providing the shallowest possible interferometer for implementing this algorithm.
Physics Subject Headings (PhySH)
Article Text
References (32)
- S. Aaronson and A. Arkhipov, The computational complexity of linear optics, in Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing (ACM Press, Chicago, Illinois, USA, 2011), pp. 333–342.
- E. Knill, R. Laflamme, and G. J. Milburn, A scheme for efficient quantum computation with linear optics, Nature (London) 409, 46 (2001).
- S. Bartolucci, P. Birchall, H. Bombin, H. Cable, C. Dawson, M. Gimeno-Segovia, E. Johnston, K. Kieling, N. Nickerson, M. Pant, et al., Fusion-based quantum computation, Nat. Commun. 14, 912 (2023).
- N. Somaschi, V. Giesz, L. De Santis, J. Loredo, M. P. Almeida, G. Hornecker, S. L. Portalupi, T. Grange, C. Anton, J. Demory, et al., Near-optimal single-photon sources in the solid state, Nat. Photon. 10, 340 (2016).
- C. Taballione, R. van der Meer, H. J. Snijders, P. Hooijschuur, J. P. Epping, M. de Goede, B. Kassenberg, P. Venderbosch, C. Toebes, H. van den Vlekkert, et al., A universal fully reconfigurable 12-mode quantum photonic processor, Mater. Quantum Technol. 1, 035002 (2021).
- A. Fyrillas, B. Bourdoncle, A. Maïnos, P.-E. Emeriau, K. Start, N. Margaria, M. Morassi, A. Lemaître, I. Sagnes, P. Stepanov, et al., Certified randomness in tight space, PRX Quantum 5, 020348 (2024).
- N. Maring, A. Fyrillas, M. Pont, E. Ivanov, P. Stepanov, N. Margaria, W. Hease, A. Pishchagin, A. Lemaître, I. Sagnes, et al., A versatile single-photon-based quantum computing platform, Nat. Photon. 18, 603 (2024).
- M. Reck, A. Zeilinger, H. J. Bernstein, and P. Bertani, Experimental realization of any discrete unitary operator, Phys. Rev. Lett. 73, 58 (1994).
- 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).
- S. A. Fldzhyan, M. Y. Saygin, and S. P. Kulik, Optimal design of error-tolerant reprogrammable multiport interferometers, Opt. Lett. 45, 2632 (2020).
- T. G. de Brugière and S. Martiel, Shallower cnot circuits on realistic quantum hardware, ACM Trans. Quantum Comput. 6, 1 (2025).
- S. A. Kutin, D. P. Moulton, and L. Smithline, Computation at a distance, Chic. J. Theor. Comput. Sci. 2007 (2007).
- T. G. De Brugière, M. Baboulin, B. Valiron, S. Martiel, and C. Allouche, Gaussian elimination versus greedy methods for the synthesis of linear reversible circuits, ACM Trans. Quantum Comput. 2, 1 (2021).
- A. Borel, Linear Algebraic Groups (Springer Science & Business Media, 2012), Vol. 126.
- B. A. Bell and I. A. Walmsley, Further compactifying linear optical unitaries, APL Photon. 6, 070804 (2021).
- J. Mills and R. Mezher, Mitigating photon loss in linear optical quantum circuits: Classical postprocessing methods outperforming postselection, arXiv:2405.02278.
- D. J. Brod, E. F. Galvão, A. Crespi, R. Osellame, N. Spagnolo, and F. Sciarrino, Photonic implementation of boson sampling: A review, Adv. Photon. 1, 034001 (2019).
- D. A. Miller, Perfect optics with imperfect components, Optica 2, 747 (2015).
- R. Burgwal, W. R. Clements, D. H. Smith, J. C. Gates, W. S. Kolthammer, J. J. Renema, and I. A. Walmsley, Using an imperfect photonic network to implement random unitaries, Opt. Express 25, 28236 (2017).
- R. Hamerly, S. Bandyopadhyay, and D. Englund, Asymptotically fault-tolerant programmable photonics, Nat. Commun. 13, 6831 (2022).
- S. P. Kumar, L. Neuhaus, L. G. Helt, H. Qi, B. Morrison, D. H. Mahler, and I. Dhand, Mitigating linear optics imperfections via port allocation and compilation, arXiv:2103.03183.
- S. Bandyopadhyay, R. Hamerly, and D. Englund, Hardware error correction for programmable photonics, Optica 8, 1247 (2021).
- G. H. Golub and C. F. Van Loan, Matrix Computations (Johns Hopkins University Press, London, 2013).
- D. Su, I. Dhand, L. G. Helt, Z. Vernon, and K. Brádler, Hybrid spatiotemporal architectures for universal linear optics, Phys. Rev. A 99, 062301 (2019).
- S. P. Kumar and I. Dhand, Unitary matrix decompositions for optimal and modular linear optics architectures, J. Phys. A: Math. Theor. 54, 045301 (2021).
- H. de Guise, O. Di Matteo, and L. L. Sánchez-Soto, Simple factorization of unitary transformations, Phys. Rev. A 97, 022328 (2018).
- I. Dhand and S. K. Goyal, Realization of arbitrary discrete unitary transformations using spatial and internal modes of light, Phys. Rev. A 92, 043813 (2015).
- B. Go, C. Oh, L. Jiang, and H. Jeong, Exploring shallow-depth boson sampling: Toward a scalable quantum advantage, Phys. Rev. A 109, 052613 (2024).
- A. Bouland, D. Brod, I. Datta, B. Fefferman, D. Grier, F. Hernandez, and M. Oszmaniec, Complexity-theoretic foundations of bosonsampling with a linear number of modes, arXiv:2312.00286.
- J. Renema, V. Shchesnovich, and R. Garcia-Patron, Classical simulability of noisy boson sampling, arXiv:1809.01953.
- D. J. Brod and M. Oszmaniec, Classical simulation of linear optics subject to nonuniform losses, Quantum 4, 267 (2020).
- L. Lovász, J. Pelikán, and K. Vesztergombi, Discrete Mathematics: Elementary and Beyond (Springer-Verlag, New York, 2003).