Export citation

Export citation

Choose format for download:

Download Citation

    Program-Synthesis-Driven Autodesign of Universal Unitary Operators

    Yifei Zhang1,2,*, Dong Chen3,*, Fan Wang4,2, Wenrui Zhang3, Yan Chen5, Dingding Han6,7, Jianmin Yuan8, Xiangjin Kong1,2,†, and Yu-Gang Ma1,2,9,‡

    • *These authors contributed equally to this work.
    • †Contact author: kongxiangjin@fudan.edu.cn
    • ‡Contact author: mayugang@fudan.edu.cn

    Phys. Rev. Lett. 137, 043801 – Published 20 July, 2026

    DOI: https://doi.org/10.1103/49c3-4rp4

    Abstract

    We demonstrate that AI-driven program synthesis can autonomously discover fundamental strategies for decomposing unitary matrices in photonic networks. By extending DreamCoder to complex-valued linear algebra, the system generates decomposition programs achieving the minimal N(N−1)/2 Mach-Zehnder interferometers, distinct from both Reck and Clements architectures. Learned programs encode dimension-agnostic invariants: strategies discovered for 5×5 matrices generalize to higher dimensions such as 64×64. The discovered programs encode interpretable, dimension-agnostic construction rules. These rules generalize across matrix sizes without retraining, demonstrating that autonomous program synthesis can serve as a scalable paradigm for algorithm discovery and the automated design of universal unitary operators. Beyond universal decompositions, the system automatically exploits matrix structure to reduce the interferometer count below the universal theoretical bound. For instance, for Householder matrices, it discovers a dimension-independent rule that requires only 2N−3 MZIs. This achieves linear, rather than quadratic, scaling and generalizes to arbitrary N without retraining. For matrices obtained from the singular value decomposition of sparse matrices, reductions generally increase with sparsity, reaching up to 38% fewer MZIs than the universal theoretical bound N(N−1)/2 at 95% sparsity. These MZI reductions translate directly into practical hardware benefits for scalable photonic implementations. Taken together, the system functions as a single unified engine that discovers both universal decomposition rules and matrix-specific optimizations, without being provided with the structural or analytical properties of the input matrices.

    Physics Subject Headings (PhySH)

    Authorization Required

    We need you to provide your credentials before accessing this content.

    Supplemental Material (Subscription Required)

    References (Subscription Required)

    Outline

    Information

    Sign In to Your Journals Account

    Filter

    Filter

    Article Lookup

    Enter a citation