Wayne Witzel

Quantum Computer Science

Author profile picture

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, Jesse James Lutz, DeAnna Marie Campbell, Troy Alexander Hutchins-Delgado, Tzu-Ming Lu, David Abraham Lidsky, Chris Smyth, Chris Allemang, Paul G. Kotula, and Dwight R. Luhman, (2022). Tin as a nuclear spin qubit in silicon Silicon Quantum Electronics Workshop Document ID: 1585372

Wayne Witzel, Jesse James Lutz, DeAnna Marie Campbell, Troy Alexander Hutchins-Delgado, Tzu-Ming Lu, David Abraham Lidsky, Chris Smyth, Chris Allemang, Paul G. Kotula, and Dwight R. Luhman, (2022). Tin as a nuclear spin qubit in silicon Silicon Quantum Electronics Workshop Document ID: 1585033

Wayne Witzel, Dwight Ryan Luhman, Jesse James Lutz, (2022). Quantum-dot-coupled Sn qubits in silicon: DFT analysis of coherent electronic shuttling Quantum Computing Project Review Document ID: 1551974

Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, Deepak Kapur, (2022). Verifying Quantum Phase Estimation using Prove-It American Physical Society March Meeting 2022 Document ID: 1470564

Jesse James Lutz, Matthew Grace, Wayne Witzel, (2021). Dynamics of a nuclear spin bath within a quantum dot: short- and long-time behavior American Physical Society March Meeting Document ID: 1369677

Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, Deepak Kapur, (2021). Verifying Quantum Phase Estimation using Prove-It APS March Meeting Document ID: 1369777

Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, (2021). Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge Interactive Theorem Proving https://www.osti.gov/search/identifier:1843318 Document ID: 1267001

Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, (2021). Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge Interactive Theorem Proving Document ID: 1266694

Matthew Grace, Kevin Young, Jesse James Lutz, Wayne Witzel, (2020). Long-Time Noise Properties of an Isotopically- Enriched Silicon Nuclear-Spin Bath American Physical Society March Meeting https://www.osti.gov/search/identifier:1767101 Document ID: 1092737

Andrew David Baczewski, Mitchell Ian Brickson, Quinn Campbell, Noah Tobias Jacobson, Leon Maurer, Wayne Witzel, Shashank Misra, Dwight Ryan Luhman, (2019). Modeling the electronic structure and dynamics of semiconductor quantum devices Silicon Quantum Electronics Workshop 2019 https://www.osti.gov/search/identifier:1642785 Document ID: 1020481

Matthew Grace, Wayne Witzel, (2019). Long-time noise characteristics of an isotopically-enriched silicon nuclear spin bath American Physical Society March Meeting Document ID: 1031773

Wayne Witzel, Kenneth Michael Rudinger, Robert Carr, Joaquin Emilio Madrid Larranaga, Jamie Joann Wingo, Warren Craft, Deepak Kapur, Mohan Sarovar, (2019). Quantum Algorithm Verification Using Prove-It Cis Eab https://www.osti.gov/search/identifier:1807159 Document ID: 997490

Andrew David Baczewski, Mitchell Ian Brickson, Quinn Campbell, Noah Tobias Jacobson, Leon Maurer, Wayne Witzel, Shashank Misra, Dwight Ryan Luhman, (2019). Modeling the electronic structure and dynamics of semiconductor quantum devices Silicon Quantum Electronics Workshop 2019 Document ID: 984908

Wayne Witzel, (2019). Quantum Circuit and Algorithm Validation with Prove-It American Physical Society March Meeting https://www.osti.gov/search/identifier:1639279 Document ID: 914805

Mohan Sarovar, Wayne Witzel, Andrew David Baczewski, (2019). Optimization, Verification, and Engineered Reliability of Quantum Computers (OVER-QC) DOE QIS PI meeting https://www.osti.gov/search/identifier:1592589 Document ID: 902542

Showing Results. Show More Publications

Software

Prove-It