267 citations · 2.2k across the 28 of their papers we have counts for
25 papers
Noise-resilient and Scalable Quantum Error Correction for Nuclear Spin Qubits in Silicon with Electron Shuttling
Wayne M. Witzel, Matthew D. Grace, Dwight R. Luhman
Nuclear spin qubits in silicon are well-isolated from their environment. Consequently, they have very long lifetimes and low sensitivity to noise, but this also suggests that contr…
Predicting the Slow Drift of Nuclear Spin Noise in Semiconductor Spin Qubits
Wayne M. Witzel, Jesse J. Lutz, Matthew D. Grace +3
The dynamics of a nuclear spin bath generates magnetic noise that is a key contributor to the decoherence of electron spin qubits in electrostatically-defined quantum dots. In this…
Correcting coherent quantum errors by going with the flow
Wayne M. Witzel, Anand Ganti, Tzvetan S. Metodi
The performance of a given quantum error correction (QEC) code depends upon the noise model that is assumed. Independent Pauli noise, applied after each quantum operation, is a sim…
Verifying Quantum Phase Estimation (QPE) using Prove-It
Wayne M. Witzel, Warren D. Craft, Robert Carr +1
The general-purpose interactive theorem-proving assistant called Prove-It was used to verify the Quantum Phase Estimation (QPE) algorithm, specifically claims about its outcome pro…
The remarkable prospect for quantum-dot-coupled tin qubits in silicon
Wayne M. Witzel, Jesse J. Lutz, Dwight R. Luhman
Spin- Sn nuclei in a silicon semiconductor could make excellent qubits. Nuclear spins in silicon are known to have long coherence times. Tin is isoelectronic w…
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge
Wayne M. Witzel, Warren D. Craft, Robert D. Carr +1
We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal…