1 citations · 1 across the 7 of their papers we have counts for
8 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…
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…
Leveraging Phase Polynomials for Quantum Circuit Optimization
Zihan Chen, Henry Chen, Yuwei Jin +5
Quantum circuits on resource-limited hardware require optimizing regions dominated by , which account for a large fraction of operations and often dominate…
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…
Quartz: Superoptimization of Quantum Circuits (Extended Version)
Mingkuan Xu, Zikun Li, Oded Padon +8
Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and impleme…
AsyncTaichi: On-the-fly Inter-kernel Optimizations for Imperative and Spatially Sparse Programming
Yuanming Hu, Mingkuan Xu, Ye Kuang +1
Leveraging spatial sparsity has become a popular approach to accelerate 3D computer graphics applications. Spatially sparse data structures and efficient sparse kernels (such as pa…