4 papers
Expressing and Analyzing Quantum Algorithms with Qualtran
Matthew P. Harrigan, Tanuj Khattar, Charles Yuan +5
Quantum computing's transition from theory to reality has spurred the need for novel software tools to manage the increasing complexity, sophistication, toil, and fallibility of qu…
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
Charles Yuan, Michael Carbin
Numerous quantum algorithms require the use of quantum error correction to overcome the intrinsic unreliability of physical qubits. However, error correction imposes a unique perfo…
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles Yuan, Agnes Villanyi, Michael Carbin
Quantum algorithms for tasks such as factorization, search, and simulation rely on control flow such as branching and iteration that depends on the value of data in superposition.…
Codesign of quantum error-correcting codes and modular chiplets in the presence of defects
Sophia Fuhui Lin, Joshua Viszlai, Kaitlin N. Smith +4
Fabrication errors pose a significant challenge in scaling up solid-state quantum devices to the sizes required for fault-tolerant (FT) quantum applications. To mitigate the resour…