4 citations · 5 across the 7 of their papers we have counts for
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…
Low-Overhead Surface Code with Delayed Atom-Loss Detection 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…
Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version)
Mingkuan Xu, Shiyi Cao, Xupeng Miao +2
This paper presents techniques for theoretically and practically efficient and scalable Schrödinger-style quantum circuit simulation. Our approach partitions a quantum circuit into…
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…