103 citations · 361 across the 39 of their papers we have counts for
42 papers
Gap-Priced -States: Dynamic Post-Selection and Budget-Aware Factory Provisioning
Maxwell Poster, Sayam Sethi, Steven Hofmeyr +3
Magic -state preparation dominates the cost of fault-tolerant quantum computation on surface codes, yet cultivation and distillation are typically provisioned statically…
Approximate synthesis of general single-qubit unitaries over the Clifford+ gate set
Mathias Weiden, Jae Won Kim, Justin Kalloor +2
For the standard Clifford+ gate set, deterministic, ancilla-free synthesis now attains the minimal -count for general single-qubit unitaries (Morisaki et al., arXiv:2510.0581…
Collective neutrino oscillations: Many-body non-forward effects and non-classicality
Julien Froustey, Ermal Rrapaj, Yuhao Liu +3
Neutrino evolution in dense astrophysical environments is typically described either within a quantum kinetic framework, which neglects the build-up of multi-body correlations, or…
Multi-Qubit Dyadic Phase Fixing for Fault-Tolerant Quantum Compilation
Justin Kalloor, Mathias Weiden, Ed Younis +2
Fault-tolerant quantum computing requires translating application-level quantum circuits into the Clifford+ gate set, where the gate is the dominant resource cost. Phase kic…
Linear Complexity Fermionic Simulation on Quantum Devices with Hardware Connectivity Constraints
Xiangyu Gao, Winston Li, Jiakang Li +4
Simulating fermionic systems on quantum hardware requires compiling fermionic Hamiltonians into executable quantum circuits. Existing approaches treat each compilation stage indepe…
Logical Resource Estimation for Quantum State Preparation with Compilation
Diyi Liu, Hanyu Wang, Shuchen Zhu +6
Quantum state preparation is a fundamental primitive in quantum algorithms for encoding classical data into quantum amplitudes. We compare the cost of preparing general -qubit s…
Scalable Benchmarking Framework for Dynamic Quantum Circuits
Sumeet Shirgure, Efekan Kökcü, Anupam Mitra +3
Dynamic quantum circuits with mid-circuit measurements (MCMs) and feed-forward operations play a crucial role in various applications, such as quantum error correction and quantum…
AlphaSyndrome: Tackling the Syndrome Measurement Circuit Scheduling Problem for QEC Codes
Yuhao Liu, Shuohao Ping, Junyu Zhou +8
Quantum error correction (QEC) is essential for scalable quantum computing, yet repeated syndrome-measurement cycles dominate its spacetime and hardware cost. Although stabilizers…
TopoLS: Lattice Surgery Compilation via Topological Program Transformations
Junyu Zhou, Yuhao Liu, Ethan Decker +5
Lattice surgery is a leading approach for implementing fault-tolerant logical operations in surface code quantum computing, but compiling efficient lattice surgery layouts remains…
PureMagic: A Dynamic Scheduler for Lattice Surgery
Steven Hofmeyr, Mathias Weiden, Justin Kalloor +2
Fault-tolerant quantum computation on surface codes requires magic states for universal computation. Traditional distillation factories deliver magic states deterministically but c…
Application Scale Quantum Circuit Compilation with Controlled Error
Justin Kalloor, Lucas Kovalsky, Mathias Weiden +4
Compilation and optimization of quantum circuits are critical components in the execution of algorithms on quantum computers. These components must successfully balance two competi…
Optimizing PyTorch Inference with LLM-Based Multi-Agent Systems
Kirill Nagaitsev, Luka Grbcic, Samuel Williams +1
Maximizing performance on available GPU hardware is an ongoing challenge for modern AI inference systems. Traditional approaches include writing custom GPU kernels and using specia…
Intermediate-temperature topological Uhlmann phase on IBM quantum computers
Christopher Mastandrea, Costin Iancu, Hao Guo +1
A spin-1 system can exhibit an intermediate-temperature topological regime with a quantized Uhlmann phase sandwiched by topologically trivial low- and high-temperature regimes. We…
QTurbo: A Robust and Efficient Compiler for Analog Quantum Simulation
Junyu Zhou, Yuhao Liu, Shize Che +5
Analog quantum simulation leverages native hardware dynamics to emulate complex quantum systems with great efficiency by bypassing the quantum circuit abstraction. However, convent…
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions
Keita Teranishi, Harshitha Menon, William F. Godoy +25
We discuss the challenges and propose research directions for using AI to revolutionize the development of high-performance computing (HPC) software. AI technologies, in particular…
Making Neural Networks More Suitable for Approximate Clifford+T Circuit Synthesis
Mathias Weiden, Justin Kalloor, John Kubiatowicz +1
Machine Learning with deep neural networks has transformed computational approaches to scientific and engineering problems. Central to many of these advancements are precisely tune…
AC/DC: Automated Compilation for Dynamic Circuits
Siyuan Niu, Efekan Kokcu, Anupam Mitra +6
Dynamic quantum circuits incorporate mid-circuit measurements (MCMs) and feed-forward operations are crucial for manipulating quantum information. They have been broadly used in qu…
High-Precision Multi-Qubit Clifford+T Synthesis by Unitary Diagonalization
Mathias Weiden, Justin Kalloor, John Kubiatowicz +2
Resource-efficient and high-precision approximate synthesis of quantum circuits expressed in the Clifford+T gate set is vital for Fault-Tolerant quantum computing. Efficient optima…
Leveraging Quantum Machine Learning Generalization to Significantly Speed-up Quantum Compilation
Alon Kukliansky, Lukasz Cincio, Ed Younis +1
Existing numerical optimizers deployed in quantum compilers use expensive matrix-matrix operations. Inspired by recent advances in quantum machine learning (QML)…
Quantum Hardware Roofline: Evaluating the Impact of Gate Expressivity on Quantum Processor Design
Justin Kalloor, Mathias Weiden, Ed Younis +3
The design space of current quantum computers is expansive with no obvious winning solution. This leaves practitioners with a clear question: "What is the optimal system configurat…
Powerful Quantum Circuit Resizing with Resource Efficient Synthesis
Siyuan Niu, Akel Hashim, Costin Iancu +2
In the noisy intermediate-scale quantum era, mid-circuit measurement and reset operations facilitate novel circuit optimization strategies by reducing a circuit's qubit count in a…
QFactor: A Domain-Specific Optimizer for Quantum Circuit Instantiation
Alon Kukliansky, Ed Younis, Lukasz Cincio +1
We introduce a domain-specific algorithm for numerical optimization operations used by quantum circuit instantiation, synthesis, and compilation methods. QFactor uses a tensor netw…
Improving Quantum Circuit Synthesis with Machine Learning
Mathias Weiden, Ed Younis, Justin Kalloor +2
In the Noisy Intermediate Scale Quantum (NISQ) era, finding implementations of quantum algorithms that minimize the number of expensive and error prone multi-qubit gates is vital t…
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
Arash Ardakani, Altan Haan, Shangyin Tan +4
Transformer-based models, such as BERT and ViT, have achieved state-of-the-art results across different natural language processing (NLP) and computer vision (CV) tasks. However, t…