Wayne Witzel

Quantum Computer Science

wwitzel@sandia.gov

Versatile Formal Methods Applied to Quantum Information

Prove-It Web Pages

(505) 844-8330

Sandia National Laboratories, New Mexico
P.O. Box 5800
Albuquerque, NM 87185-1322

Biography

My primary research is in quantum information. I have pioneered cluster expansion methods for calculating the decoherence rate of a spin qubit in the presence of impurity nuclear and electron spins. I’ve also studied dynamical decoupling strategies in this context. I’ve broadened my research into more general considerations of robust quantum gate operations, particularly in the context of nuclear spin qubits. I’ve been devising and comparing two-qubit gate operations involving electron and nuclear spin qubits.

I have also been working on formal verification of quantum algorithms, along with collaborators at the University of New Mexico, using our general-purpose theorem proving system in Python called Prove-It. This is a set-theory based formals theorems that renders statements into LaTeX-generated images that can be readily understood by subject matter experts. We even include quantum circuit diagrams in formal statements as demonstrated in our proofs related to the quantum phase estimation algorithm.

Education

Fall 2002 – Spring 2007, PhD in Physics at the University of Maryland under the direction of Distinguished University Professor Sankar Das Sarma.

Spring 2000 – Fall 2002, Computer Professional at the Scientific Computing and Imaging Institute at the University of Utah.

Fall 1995 – Spring 2000, BS in Computer Science and BS in Physics at the University of Utah.

Publications

Wayne Witzel, Warren Craft, Robert Carr, Joaquin Madrid Larranaga, (2021). Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge https://www.osti.gov/servlets/purl/1843318 Publication ID: 75179

Matthew Grace, Kevin Young, Jesse Lutz, Wayne Witzel, (2020). Long-Time Noise Properties of an Isotopically- Enriched Silicon Nuclear-Spin Bath https://www.osti.gov/servlets/purl/1767101 Publication ID: 72702

Andrew Baczewski, Mitchell Brickson, Quinn Campbell, Noah Jacobson, Leon Maurer, Wayne Witzel, Shashank Misra, Dwight Luhman, (2019). Modeling the electronic structure and dynamics of semiconductor quantum devices https://www.osti.gov/servlets/purl/1642785 Publication ID: 65565

Wayne Witzel, Kenneth Rudinger, Robert Carr, Joaquin Madrid Larranaga, Jamie Wingo, Warren Craft, Deepak Kapur, Mohan Sarovar, (2019). Quantum Algorithm Verification Using Prove-It https://www.osti.gov/servlets/purl/1807159 Publication ID: 70264

Wayne Witzel, (2019). Quantum Circuit and Algorithm Validation with Prove-It https://www.osti.gov/servlets/purl/1639279 Publication ID: 67303

Mohan Sarovar, Wayne Witzel, Andrew Baczewski, (2019). Optimization Verification and Engineered Reliability of Quantum Computers (OVER-QC) https://www.osti.gov/servlets/purl/1592589 Publication ID: 64334

Wayne Witzel, (2018). Prove-It: A Powerful Theorem Prover https://www.osti.gov/servlets/purl/1761359 Publication ID: 60644

Andrew Baczewski, Wayne Witzel, Noah Jacobson, Ryan Jock, Peter Sharma, Rohith Vudatha, Daniel Ward, Malcolm Carroll, (2018). Towards a disorder model for the Si/SiO2 interface https://www.osti.gov/servlets/purl/1574562 Publication ID: 60155

Ryan Jock, Martin Rudolph, Noah Jacobson, Daniel Ward, Patrick Harvey-Collard, Chloe Bureau-Oxton, Vanita Srinivasa, Andrew Mounce, John Anderson, Ronald Manginell, Joel Wendt, Tammy Pluym, Andrew Baczewski, Matthew Grace, Wayne Witzel, Malcolm Carroll, (2018). Spin-Orbit Qubits in the Sandia Silicon MOS Multi-QD Platform https://www.osti.gov/servlets/purl/1593003 Publication ID: 59778

Wayne Witzel, Matthew Grace, Malcolm Carroll, Thaddeus Ladd, (2018). Modeling of Low-Frequency Nuclear Magnetic Noise in Silicon Qubits https://www.osti.gov/servlets/purl/1576181 Publication ID: 63555

Malcolm Carroll, Patrick Harvey-Collard, Noah Jacobson, Ryan Jock, Andrew Mounce, Vanita Srinivasa, Daniel Ward, Joel Wendt, Martin Rudolph, Tammy Pluym, John Gamble, Wayne Witzel, (2018). Implications of the Spin-Orbit Effect for Singlet-Triplet Qubit Operation https://www.osti.gov/servlets/purl/1498242 Publication ID: 60884

Wayne Witzel, Matthew Grace, Malcolm Carroll, (2017). Dynamics of a nuclear spin bath in enriched silicon https://www.osti.gov/servlets/purl/1465079 Publication ID: 57988

Noah Jacobson, Ryan Jock, Patrick Harvey-Collard, Andrew Mounce, Vanita Srinivasa, Daniel Ward, John Anderson, Ronald Manginell, Joel Wendt, Martin Rudolph, Tammy Pluym, John Gamble, Andrew Baczewski, Wayne Witzel, Malcolm Carroll, (2017). Probing low noise at the MOS interface with a spin-orbit qubit https://www.osti.gov/servlets/purl/1465088 Publication ID: 57998

Noah Jacobson, John Gamble, Vanita Srinivasa, Andrew Baczewski, Ryan Jock, Patrick Harvey-Collard, Andrew Mounce, Martin Rudolph, Wayne Witzel, Malcolm Carroll, (2017). Theory of a silicon MOS spin-orbit singlet-triplet qubit https://www.osti.gov/servlets/purl/1465090 Publication ID: 58000

Ryan Jock, Noah Jacobson, Patrick Harvey-Collard, Andrew Mounce, Vanita Srinivasa, Daniel Ward, Ronald Manginell, Joel Wendt, Martin Rudolph, Tammy Pluym, John Gamble, Andrew Baczewski, Wayne Witzel, Malcolm Carroll, (2017). Probing low noise at the MOS interface with a Spin-Orbit Singlet-Triplet Qubit https://www.osti.gov/servlets/purl/1508714 Publication ID: 58015

Wayne Witzel, Ines Montano, Richard Muller, Malcolm Carroll, (2016). Exploiting Adiabaticity and Spin Refocusing for Circuit Model Multi-Qubit Gates https://www.osti.gov/servlets/purl/1366889 Publication ID: 50744

L. Tracy, Dwight Luhman, Stephen Carr, John Borchardt, Nathan Bishop, Gregory Ten Eyck, Tammy Pluym, Joel Wendt, Wayne Witzel, Robin Blume-Kohout, Erik Nielsen, Michael Lilly, Malcolm Carroll, (2016). ESR Experiments on a Single Donor Electron in Isotopically Enriched Silicon https://www.osti.gov/servlets/purl/1346320 Publication ID: 48689

Wayne Witzel, Kenneth Rudinger, Mohan Sarovar, Rober Carr, (2016). Formal Computer Validation of the Quantum Phase Estimation Algorithm https://www.osti.gov/servlets/purl/1348125 Publication ID: 48844

Wayne Witzel, Kenneth Rudinger, Mohan Sarovar, (2015). Versatile Formal Methods Applied to Quantum Information https://doi.org/10.2172/1331534 Publication ID: 46436

L. Tracy, Dwight Luhman, Stephen Carr, John Borchardt, Nathaniel Bishop, Gregory Ten Eyck, Tammy Pluym, Joel Wendt, Wayne Witzel, Robin Blume-Kohout, Erik Nielsen, Michael Lilly, Malcolm Carroll, (2015). ESR Experiments on a Single Donor Electron in Isotopically Enriched Silicon https://www.osti.gov/servlets/purl/1576150 Publication ID: 46278

Richard Muller, Andrew Baczewski, Robin Blume-Kohout, Malcolm Carroll, John Gamble, Xujiao Gao, Noah Jacobson, Ines Montano, Erik Nielsen, Kenneth Rudinger, Wayne Witzel, (2015). Silicon Device Modeling: From Atoms to Hilbert Spaces https://www.osti.gov/servlets/purl/1307270 Publication ID: 45151

L. Tracy, Dwight Luhman, Wayne Witzel, Robin Blume-Kohout, Erik Nielsen, Stephen Carr, John Borchardt, Nathaniel Bishop, Gregory Ten Eyck, Tammy Pluym, Joel Wendt, Michael Lilly, Malcolm Carroll, (2015). Readout and Characterization of a P Donor Qubit in 28Si https://www.osti.gov/servlets/purl/1327498 Publication ID: 44823

Dwight Luhman, L. Tracy, Wayne Witzel, Stephen Carr, John Borchardt, Nathan Bishop, Gregory Ten Eyck, Tammy Pluym, Joel Wendt, Robin Blume-Kohout, Erik Nielsen, Michael Lilly, Malcolm Carroll, (2015). Electron Spin Resonance of a Phosphorous Donor Qubit in Enriched Silicon https://www.osti.gov/servlets/purl/1327517 Publication ID: 44789

Dwight Luhman, L. Tracy, Wayne Witzel, Stephen Carr, John Borchardt, Nathan Biship, Gregory Ten Eyck, Tammy Pluym, Joel Wendt, Robin Blume-Kohout, Erik Nielsen, Michael Lilly, Malcolm Carroll, (2015). Electron Spin Resonance of a Phosphorous Donor Qubit in Enriched Silicon https://www.osti.gov/servlets/purl/1327518 Publication ID: 44790

Noah Jacobson, John Gamble, Andrew Baczewski, Wayne Witzel, Ines Montano, Erik Nielsen, Richard Muller, Adam Frees, (2015). Multi-valley effective mass theory for device-level modeling of open quantum dynamics https://www.osti.gov/servlets/purl/1240250 Publication ID: 42254

Wayne Witzel, Malcolm Carroll, Richard Muller, (2014). Gap protection and dynamical decoupling for reliable multi-qubit gates https://www.osti.gov/servlets/purl/1494431 Publication ID: 37747

Wayne Witzel, Kevin Young, Sankar Das Sarma, (2014). Converting a real quantum bath to an effective classical noise Physical Review B https://doi.org/10.1103/PhysRevB.90.115431 Publication ID: 37521

Wayne Witzel, (2013). Converting a real quantum bath to an effective classical noise https://www.osti.gov/servlets/purl/1115239 Publication ID: 35347

Wayne Witzel, Kevin Young, (2013). Converting a real quantum bath to an effective classical noise Physical Review Letters https://www.osti.gov/biblio/1107036 Publication ID: 34440

Wayne Witzel, Kevin Young, (2013). Spin-bath noise correlation functions from quantum microscopic models Physical Review Letters https://www.osti.gov/biblio/1083693 Publication ID: 34097

Noah Jacobson, Wayne Witzel, Erik Nielsen, Malcolm Carroll, (2013). Dynamically corrected gates for singlet-triplet spin qubits with control-dependent errors https://www.osti.gov/servlets/purl/1658053 Publication ID: 32568

Wayne Witzel, Kevin Young, (2013). Spin-bath autocorrelation functions directly from quantum theory https://www.osti.gov/servlets/purl/1145323 Publication ID: 32569

Wayne Witzel, Kevin Young, (2013). Bath-specific dynamical decoupling in enriched Si https://www.osti.gov/servlets/purl/1649690 Publication ID: 31590

Khoi Nguyen, Jeffrey Stevens, Robert Grubbs, Tammy Pluym, Jason Dominguez, Richard Muller, Malcolm Carroll, Noah Jacobson, Wayne Witzel, Nathaniel Bishop, L. Tracy, Stephen Carr, Tzu-Ming Lu, Joel Wendt, (2012). Pulsed electron transition measurements in a silicon double quantum dot https://www.osti.gov/servlets/purl/1294362 Publication ID: 28966

Noah Jacobson, Wayne Witzel, Khoi Nguyen, Michael Lilly, Malcolm Carroll, (2012). Modeling of Relaxation in DQDs and Implications for Adiabaticity https://www.osti.gov/servlets/purl/1650260 Publication ID: 28783

Malcolm Carroll, Gregory Ten Eyck, Stephen Carr, Wayne Witzel, Jason Dominguez, Rajib Rahman, Erik Nielsen, Tzu-Ming Lu, Michael Lilly, Noah Jacobson, (2012). STM fabrication of double quantum dot charge qubits for adiabatic quantum computing https://www.osti.gov/biblio/1073413 Publication ID: 28535

Malcolm Carroll, Wayne Witzel, (2012). Optimized pulses for the control of uncertain qubits Physical Review A – Atomic, Molecular, and Optical Physics https://doi.org/10.1103/PhysRevA.85.052313 Publication ID: 25914

Wayne Witzel, Malcolm Carroll, (2012). Quantum Decoherence of the Central Spin in a Sparse System of Dipolar Coupled Spins Physical Review B https://doi.org/10.1103/PhysRevB.86.035452 Publication ID: 27612

Wayne Witzel, (2012). Suppression of decoherence due to spin diffusion for bismuth qubits in silicon Physical Review Letters https://www.osti.gov/biblio/1141103 Publication ID: 27289

Richard Muller, Nathaniel Bishop, Tzu-Ming Lu, Tammy Pluym, Edward Bielejec, Michael Lilly, Andrew Landahl, Malcolm Carroll, Ralph Young, Erik Nielsen, Rajib Rahman, Wayne Witzel, Xujiao Gao, L. Tracy, Ezra Bussmann, (2011). Development of few-electron Si quantum dots for use as qubits https://www.osti.gov/servlets/purl/1113275 Publication ID: 25725

Wayne Witzel, (2011). Quantum control of hybrid nuclear-electronic qubits Nature https://www.osti.gov/biblio/1113298 Publication ID: 25726

Wayne Witzel, Rajib Rahman, Malcolm Carroll, (2011). Spin-Bath Decoherence of a Si/SiGe Quantum Dot https://www.osti.gov/servlets/purl/1688663 Publication ID: 23913

Wayne Witzel, Malcolm Carroll, (2011). Copy of Noisy (spin) neighbors of a solid state (spin) qubit https://www.osti.gov/servlets/purl/1140901 Publication ID: 21967

Wayne Witzel, (2011). Single-Photon Excitation Lost in the Multi-Exciton Maze of a Nanocrystal https://www.osti.gov/servlets/purl/1120875 Publication ID: 21302

Matthew Grace, Wayne Witzel, Malcolm Carroll, (2010). Combining DD with optimal control for improved QIP https://www.osti.gov/biblio/1039002 Publication ID: 21095

Wayne Witzel, Andrew Landahl, (2010). Workshop: Control and optimization of open quantum systems https://www.osti.gov/servlets/purl/1675295 Publication ID: 19671

Wayne Witzel, Malcolm Carroll, (2010). Electron spin decoherence in isotope-enriched silicon Physical Review Letters https://doi.org/10.1103/PhysRevLett.105.187602 Publication ID: 19548

Wayne Witzel, Malcolm Carroll, (2010). Electron spin decoherence in isotopice-enriched silicon https://www.osti.gov/biblio/1024455 Publication ID: 19611

Wayne Witzel, (2010). Electron Spin Coherence of Phosphorus Donors in Silicon: Effect of Environmental Nuclei Physical Review B https://www.osti.gov/biblio/1142072 Publication ID: 19129

Wayne Witzel, (2010). Single-Photon Excitation Lost in the Multi-Exciton Maze of a Nanocrystal Physical Review Letters https://doi.org/10.1103/PhysRevLett.105.137401 Publication ID: 18461

Wayne Witzel, (2010). Electron spin coherence and electron nuclear double resonance of Bi donors in natural Si Physical Review Letters https://www.osti.gov/biblio/1124287 Publication ID: 17883

Wayne Witzel, Richard Muller, Malcolm Carroll, (2010). Coherence of Donor Electron Spins in Isotopically Enriched Silicon https://www.osti.gov/servlets/purl/1124355 Publication ID: 17726

Malcolm Carroll, Wayne Witzel, (2010). Combining dynamical decoupling with optimal control for improved QIP https://www.osti.gov/biblio/989389 Publication ID: 17481

Wayne Witzel, Richard Muller, Malcolm Carroll, (2010). Coherence of Donor Electron Spins in Isotopically Enriched Silicon https://www.osti.gov/servlets/purl/1124456 Publication ID: 17252

Showing Results. Show More Publications

Software

Prove-It