6 papers
Polynomial-time simulation of non-Clifford quantum error correction
Serban Cercelescu, Mark Koch, Arthur Pesah
We show that every intermediate state of a broad class of non-Clifford quantum error-correction circuits is a third-order phase-polynomial state, even under stochastic Pauli noise.…
Why Are We Unrolling? The Importance of Structured Quantum Programs for Compilation
Damian Rovara, Daniel Haag, Mark Koch +8
As quantum software stacks scale up to support future fault-tolerant quantum hardware and algorithms, quantum compilation is becoming an increasingly important component of the sta…
Helios: A 98-qubit trapped-ion quantum computer
Anthony Ransford, M. S. Allman, Jake Arkinstall +183
We report on Quantinuum Helios, a 98-qubit trapped-ion quantum processor based on the quantum charge-coupled device (QCCD) architecture. Helios features Ba hyperfine…
Imperative Quantum Programming with Ownership and Borrowing in Guppy
Mark Koch, Agustín Borgna, Craig Roy +4
Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. Th…
GUPPY: Pythonic Quantum-Classical Programming
Mark Koch, Alan Lawrence, Kartik Singhal +2
We present ongoing work on Guppy, a domain-specific language embedded in Python that allows users to write high-level hybrid quantum programs with complex control flow in Pythonic…
HUGR: A Quantum-Classical Intermediate Representation
Mark Koch, Agustín Borgna, Seyon Sivarajah +7
We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high…