7 papers
QALM: Escaping Local Minima via Interleaved Exploration and Exploitation in Quantum Circuit Optimization
Aidan Wagner, Mingkuan Xu, Pengyu Liu +2
Quantum circuit optimizers face a fundamental limitation in how they tolerate temporary cost increases. At one extreme, greedy rule-based optimizers immediately apply any cost-redu…
Achieving Optimal-Distance Atom-Loss Correction via Pauli Envelope
Pengyu Liu, Shi Jie Samuel Tan, Eric Huang +3
Atom loss is a major error source in neutral-atom quantum computers, accounting for over 40% of the total physical errors in recent experiments. Its nonlinear and correlated nature…
ConiQ: Enabling Concatenated Quantum Error Correction on Neutral Atom Arrays
Pengyu Liu, Mingkuan Xu, Hengyun Zhou +3
Recent progress on concatenated codes, especially many-hypercube codes, achieves unprecedented space efficiency. Yet two critical challenges persist in practice. First, these codes…
POPQC: Parallel Optimization for Quantum Circuits (Extended Version)
Pengyu Liu, Jatin Arora, Mingkuan Xu +1
Optimization of quantum programs or circuits is a fundamental problem in quantum computing and remains a major challenge. State-of-the-art quantum circuit optimizers rely on heuris…
Local Optimization of Quantum Circuits (Extended Version)
Jatin Arora, Mingkuan Xu, Sam Westrick +4
Recent advances in quantum architectures and computing have motivated the development of new optimizing compilers for quantum programs or circuits. Even though steady progress has…
Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays
Hanrui Wang, Pengyu Liu, Daniel Bochen Tan +6
The neutral atom array has gained prominence in quantum computing for its scalability and operation fidelity. Previous works focus on fixed atom arrays (FAAs) that require extensiv…