Compiling Quantum Regular Language States
This program is tentative and subject to change.
State preparation compilers for quantum computers typically sit at two extremes: general-purpose routines that treat the target as an opaque amplitude vector, and bespoke constructions for a handful of well-known state families. We ask whether a compiler can instead accept simple, structure-aware specifications while providing predictable resource guarantees. We answer this by designing and implementing a quantum state-preparation compiler for regular language states (RLS): uniform superpositions over bitstrings accepted by a regular description, and their complements. Users describe the target state via (i) a finite set of bitstrings, (ii) a regular expression, or (iii) a deterministic finite automaton (DFA), optionally with a complement flag. By translating the input to a DFA, minimizing it, and mapping it to an optimal matrix product state (MPS), the compiler obtains an intermediate representation (IR) that exposes and compresses hidden structure. The efficient DFA representation and minimization offloads expensive linear algebra computation in exchange of simpler automata manipulations. The combination of the regular-language frontend and this IR gives concise specifications not only for RLS but also for their complements that might otherwise require exponentially large state descriptions. This enables state preparation of an RLS or its complement with the same asymptotic resources and compile time, which to our knowledge is not supported by existing compilers. We outline two hardware-aware backends: SeqRLSP, which yields linear-depth, ancilla-free circuits for linear nearest-neighbor architectures via sequential generation, and TreeRLSP, which achieves logarithmic depth on all-to-all connectivity via a tree tensor network. On the theory side, we prove circuit-depth and gate-count bounds that scale with the system size and the maximal Schmidt rank of the target state, and we give compile-time bounds that expose the benefit of the initial DFA representation. We implement the full pipeline and evaluate it on Dicke and W states, random uniform superpositions, and complement states, comparing against general-purpose, sparse-state, and specialized baselines.
This program is tentative and subject to change.
Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change
13:30 - 15:00 | Quantum ProgrammingOOPSLA at East Hall 2 Chair(s): Jens Palsberg University of California at Los Angeles | ||
13:30 18mTalk | Compiling Quantum Regular Language States OOPSLA Armando Bellante Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Reinis Irmejs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Marta Florido-Llinàs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, María Cea Fernández Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Marianna Crupi Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Matthew Kiser TU Munich; IQM Quantum Computers, J. Ignacio Cirac Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology DOI | ||
13:48 18mTalk | Quantum Monte Carlo Estimation via Probabilistic Programming OOPSLA Seungmin Jeon KAIST, Jaeho choi HyperAccel, Jonguk Jeon KAIST, Kanguk Lee KAIST, Kyeongmin Cho Rebellions, Sukyoung Ryu KAIST, Jeehoon Kang FuriosaAI DOI | ||
14:06 18mTalk | Synthesis of Compact and Expressive Quantum-Circuit Optimizations OOPSLA DOI Pre-print | ||
14:24 18mTalk | Granthi: Higher-Order Quantum Programming via Unitary Wiring OOPSLA DOI | ||
14:42 18mTalk | Verifying Repeat-until-Success Protocols using Automata OOPSLA Jyun-Ao Lin National Taipei University of Technology, Yu-Fang Chen Academia Sinica, Jakub Havlík Brno University of Technology, Ondřej Lengál Brno University of Technology, Fang-Yi Lo Academia Sinica, Wei-Lun Tsai National Taiwan University, You-Jie Wu National Taipei University of Technology DOI | ||