Skip to main content

Showing 1–23 of 23 results for author: Witzel, W M

.
  1. Verifying Quantum Phase Estimation (QPE) using Prove-It

    Authors: Wayne M. Witzel, Warren D. Craft, Robert Carr, Deepak Kapur

    Abstract: 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 probabilities. Prove-It is unique in its ability to express sophisticated mathematical statements, including statements about quantum circuits, integrated firmly within its formal theorem-proving framework. We demonstrate o… ▽ More

    Submitted 4 April, 2023; originally announced April 2023.

    Comments: 28 pages, 18 figures, 5 tables. Prove-It theorem-proving results available at http://pyproveit.org/ and Prove-It code available at https://github.com/PyProveIt/Prove-It

    Journal ref: Physical Review A 108(5), 052609. Published 20 November 2023

  2. arXiv:2206.06285  [pdf, other

    quant-ph cond-mat.mes-hall

    The remarkable prospect for quantum-dot-coupled tin qubits in silicon

    Authors: Wayne M. Witzel, Jesse J. Lutz, Dwight R. Luhman

    Abstract: Spin-$\frac{1}{2}$ $^{119}$Sn nuclei in a silicon semiconductor could make excellent qubits. Nuclear spins in silicon are known to have long coherence times. Tin is isoelectronic with silicon, so we expect electrons can easily shuttle from one Sn atom to another to propagate quantum information via a hyperfine interaction that we predict, from all-electron linearized augmented plane wave density f… ▽ More

    Submitted 13 June, 2022; originally announced June 2022.

  3. arXiv:2012.10987  [pdf, other

    cs.LO quant-ph

    Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

    Authors: Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Joaquín E. Madrid Larrañaga

    Abstract: 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 theorem proving (with moderate training). Prove-It uses a highly-flexible Jupyter notebook-based user interface that documents interactions and proof steps using LaTeX. We review Prove-It's highly expressive representati… ▽ More

    Submitted 26 December, 2020; v1 submitted 20 December, 2020; originally announced December 2020.

    Comments: Updated the links to our pyproveit.org website. 38 pages, 12 figures

  4. arXiv:1707.04357  [pdf, other

    cond-mat.mes-hall quant-ph

    Probing low noise at the MOS interface with a spin-orbit qubit

    Authors: Ryan M. Jock, N. Tobias Jacobson, Patrick Harvey-Collard, Andrew M. Mounce, Vanita Srinivasa, Dan R. Ward, John Anderson, Ron Manginell, Joel R. Wendt, Martin Rudolph, Tammy Pluym, John King Gamble, Andrew D. Baczewski, Wayne M. Witzel, Malcolm S. Carroll

    Abstract: The silicon metal-oxide-semiconductor (MOS) material system is technologically important for the implementation of electron spin-based quantum information technologies. Researchers predict the need for an integrated platform in order to implement useful computation, and decades of advancements in silicon microelectronics fabrication lends itself to this challenge. However, fundamental concerns hav… ▽ More

    Submitted 13 July, 2017; originally announced July 2017.

    Comments: Submitted July 13, 2017. Supplementary information included with the paper

    Journal ref: Nature Communications 9, 1768 (2018)

  5. arXiv:1410.2245  [pdf, other

    quant-ph cond-mat.mes-hall

    Multi-qubit gates protected by adiabaticity and dynamical decoupling applicable to donor qubits in silicon

    Authors: Wayne M. Witzel, Inès Montaño, Richard P. Muller, Malcolm S. Carroll

    Abstract: We present a strategy for producing multi-qubit gates that promise high fidelity with minimal tuning requirements. Our strategy combines gap protection from the adiabatic theorem with dynamical decoupling in a complementary manner. To avoid degenerate states and maximize the benefit of the gap protection, the scheme is best suited when there are two different kinds of qubits (not mutually resonant… ▽ More

    Submitted 22 October, 2015; v1 submitted 8 October, 2014; originally announced October 2014.

    Comments: Added noise sensitivity figures (matching published version)

    Journal ref: Phys. Rev. B 92, 081407(R) (2015)

  6. arXiv:1307.2597  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Converting a real quantum bath to an effective classical noise

    Authors: Wayne M. Witzel, Kevin Young, Sankar Das Sarma

    Abstract: We present a cluster expansion method for approximating quantum spin-bath dynamics in terms of a classical Gaussian stochastic process. The cluster expansion produces the two-point correlation function of the approximate classical bath, permitting rapid evaluation of noise-mitigating quantum control strategies without resorting to computationally intensive dynamical decoupling models. Our approxim… ▽ More

    Submitted 28 September, 2014; v1 submitted 9 July, 2013; originally announced July 2013.

    Comments: Added significant statistical information from over 500 random problem instances (spatial configurations of bath spins)

    Journal ref: Phys. Rev. B 90, 115431 (2014)

  7. arXiv:1204.2834  [pdf, other

    cond-mat.mes-hall quant-ph

    Quantum Decoherence of the Central Spin in a Sparse System of Dipolar Coupled Spins

    Authors: Wayne M. Witzel, Malcolm S. Carroll, Lukasz Cywinski, S. Das Sarma

    Abstract: The central spin decoherence problem has been researched for over 50 years in the context of both nuclear magnetic resonance and electron spin resonance. Until recently, theoretical models have employed phenomenological stochastic descriptions of the bath-induced noise. During the last few years, cluster expansion methods have provided a microscopic, quantum theory to study the spectral diffusion… ▽ More

    Submitted 2 August, 2012; v1 submitted 12 April, 2012; originally announced April 2012.

    Comments: 25 pages, 26 figures

    Journal ref: Phys. Rev. B 86, 035452 (2012)

  8. arXiv:1203.5607  [pdf, ps, other

    quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.atom-ph

    Measuring central-spin interaction with a spin bath by pulsed ENDOR: Towards suppression of spin diffusion decoherence

    Authors: S. J. Balian, M. B. A. Kunze, M. H. Mohammady, G. W. Morley, W. M. Witzel, C. W. M. Kay, T. S. Monteiro

    Abstract: We present pulsed electron-nuclear double resonance (ENDOR) experiments which enable us to characterize the coupling between bismuth donor spin qubits in Si and the surrounding spin bath of 29Si impurities which provides the dominant decoherence mechanism (nuclear spin diffusion) at low temperatures (< 16 K). Decoupling from the spin bath is predicted and cluster correlation expansion simulations… ▽ More

    Submitted 8 October, 2012; v1 submitted 26 March, 2012; originally announced March 2012.

    Comments: Added journal ref., minor improvements

    Journal ref: Phys. Rev. B 86, 104428 (2012)

  9. arXiv:1110.4143  [pdf, other

    cond-mat.mes-hall quant-ph

    SiGe/Si quantum dot electron spin decoherence dependence on $^{73}$Ge

    Authors: Wayne M. Witzel, Rajib Rahman, Malcolm S. Carroll

    Abstract: We theoretically study the nuclear spin induced decoherence of a quantum dot in Si that is confined at a SiGe interface. We calculate decoherence time dependence on $^{73}$Ge in the barrier layer to evaluate the importance of Ge as well as Si enrichment for long decoherence times. We use atomistic tight-binding modeling for an accurate account of the electron wavefunction which is particularly imp… ▽ More

    Submitted 14 May, 2012; v1 submitted 18 October, 2011; originally announced October 2011.

    Journal ref: Phys. Rev. B 85, 205312 (2012)

  10. arXiv:1109.4269  [pdf

    quant-ph cond-mat.mtrl-sci physics.atom-ph physics.chem-ph

    Quantum control of hybrid nuclear-electronic qubits

    Authors: Gavin W. Morley, Petra Lueders, M. Hamed Mohammady, Setrak J. Balian, Gabriel Aeppli, Christopher W. M. Kay, Wayne M. Witzel, Gunnar Jeschke, Tania S. Monteiro

    Abstract: Pulsed magnetic resonance is a wide-reaching technology allowing the quantum state of electronic and nuclear spins to be controlled on the timescale of nanoseconds and microseconds respectively. The time required to flip either dilute electronic or nuclear spins is orders of magnitude shorter than their decoherence times, leading to several schemes for quantum information processing with spin qubi… ▽ More

    Submitted 16 December, 2011; v1 submitted 20 September, 2011; originally announced September 2011.

    Comments: 20 pages, 8 figures, new data and simulations

    Journal ref: Nature Materials 12, 103 (2013) with News & Views by Zhao & Wrachtrup, Nature Materials12, 97 (2013)

  11. Optimized pulses for the control of uncertain qubits

    Authors: Matthew D. Grace, Jason Dominy, Wayne M. Witzel, Malcolm S. Carroll

    Abstract: Constructing high-fidelity control fields that are robust to control, system, and/or surrounding environment uncertainties is a crucial objective for quantum information processing. Using the two-state Landau-Zener model for illustrative simulations of a controlled qubit, we generate optimal controls for π/2- and π-pulses, and investigate their inherent robustness to uncertainty in the magnitude o… ▽ More

    Submitted 21 May, 2012; v1 submitted 11 May, 2011; originally announced May 2011.

    Comments: 38 pages, 15 figures, RevTeX 4.1, minor modifications to the previous version

    Journal ref: Phys. Rev. A, 85, 052313 (2012)

  12. arXiv:1008.2382  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Electron spin decoherence in isotope-enriched silicon

    Authors: Wayne M. Witzel, Malcolm S. Carroll, Andrea Morello, Lukasz Cywinski, S. Das Sarma

    Abstract: Silicon is promising for spin-based quantum computation because nuclear spins, a source of magnetic noise, may be eliminated through isotopic enrichment. Long spin decoherence times, $T_2$, have been measured in isotope-enriched silicon but come far short of the $T_2 = 2 T_1$ limit. The effect of nuclear spins on $T_2$ is well established. However, the effect of background electron spins from ever… ▽ More

    Submitted 27 October, 2010; v1 submitted 13 August, 2010; originally announced August 2010.

    Journal ref: Phys. Rev. Lett. 105, 187602 (2010)

  13. arXiv:1005.4069  [pdf, ps, other

    cond-mat.mes-hall cond-mat.str-el

    Quantum simulation of multiple-exciton generation in a nanocrystal by a single photon

    Authors: Wayne M. Witzel, Andrew Shabaev, C. Stephen Hellberg, Verne L. Jacobs, Alexander L. Efros

    Abstract: We have shown theoretically that efficient multiple exciton generation (MEG) by a single photon can be observed in small nanocrystals (NCs). Our quantum simulations that include hundreds of thousands of exciton and multi-exciton states demonstrate that the complex time-dependent dynamics of these states in a closed electronic system yields a saturated MEG effect on a picosecond timescale. Includin… ▽ More

    Submitted 22 September, 2010; v1 submitted 21 May, 2010; originally announced May 2010.

    Journal ref: Phys. Rev. Lett. 105, 137401 (2010)

  14. arXiv:0903.2256  [pdf, other

    cond-mat.mes-hall cond-mat.mtrl-sci quant-ph

    Pure quantum dephasing of a solid state electron spin qubit in a large nuclear spin bath coupled by long-range hyperfine-mediated interactions

    Authors: L. Cywinski, W. M. Witzel, S. Das Sarma

    Abstract: We investigate decoherence due to pure dephasing of a localized spin qubit interacting with a nuclear spin bath. Although in the limit of a very large magnetic field the only decoherence mechanism is spectral diffusion due to dipolar flip-flops of nuclear spins, with decreasing field the hyperfine-mediated interactions between the nuclear spins become important. We take advantage of their long-r… ▽ More

    Submitted 29 May, 2009; v1 submitted 12 March, 2009; originally announced March 2009.

    Comments: 25 pages, 10 figures, new title, one new figure, section VB changed, accepted for publication in PRB

    Journal ref: Phys. Rev. B 79, 245314 (2009)

  15. arXiv:0809.0003  [pdf, other

    cond-mat.mes-hall quant-ph

    Electron Spin Dephasing due to Hyperfine Interactions with a Nuclear Spin Bath

    Authors: L. Cywinski, W. M. Witzel, S. Das Sarma

    Abstract: We investigate pure dephasing decoherence (free induction decay and spin echo) of a spin qubit interacting with a nuclear spin bath. While for infinite magnetic field B the only decoherence mechanism is spectral diffusion due to dipolar flip-flops of nuclear spins, with decreasing B the hyperfine-mediated interactions between the nuclear spins become important. We give a theory of decoherence du… ▽ More

    Submitted 3 February, 2009; v1 submitted 29 August, 2008; originally announced September 2008.

    Comments: Published version, new title suggested by the PRL editor

    Journal ref: Phys. Rev. Lett. 102, 057601 (2009)

  16. arXiv:0712.3065  [pdf, ps, other

    cond-mat.mes-hall

    Wavefunction considerations for the central spin decoherence problem in a nuclear spin bath

    Authors: W. M. Witzel, S. Das Sarma

    Abstract: Decoherence of a localized electron spin in a solid state material (the ``central spin'' problem) at low temperature is believed to be dominated by interactions with nuclear spins in the lattice. This decoherence is partially suppressed through the application of a large magnetic field that splits the energy levels of the electron spin and prevents depolarization. However, dephasing decoherence… ▽ More

    Submitted 11 April, 2008; v1 submitted 18 December, 2007; originally announced December 2007.

    Journal ref: Phys. Rev. B 77, 165319 (2008)

  17. arXiv:0710.1416  [pdf, ps, other

    quant-ph cond-mat.mes-hall

    Universal pulse sequence to minimize spin dephasing in the central spin decoherence problem

    Authors: B. Lee, W. M. Witzel, S. Das Sarma

    Abstract: We present a remarkable finding that a recently discovered [G. S. Uhrig, Phys. Rev. Lett. 98, 100504 (2007)] series of pulse sequences, designed to optimally restore coherence to a qubit in the spin-boson model of decoherence, is in fact completely model-independent and generically valid for arbitrary dephasing Hamiltonians given sufficiently short delay times between pulses. The series maximize… ▽ More

    Submitted 25 April, 2008; v1 submitted 7 October, 2007; originally announced October 2007.

    Comments: Published in PRL, revised

    Journal ref: Phys. Rev. Lett. 100, 160505 (2008)

  18. arXiv:0707.1037  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Concatenated dynamical decoupling in a solid-state spin bath

    Authors: W. M. Witzel, S. Das Sarma

    Abstract: Concatenated dynamical decoupling (CDD) pulse sequences hold much promise as a strategy to mitigate decoherence in quantum information processing. It is important to investigate the actual performance of these dynamical decoupling strategies in real systems that are promising qubit candidates. In this Rapid Communication, we compute the echo decay of concatenations of the Hahn echo sequence for… ▽ More

    Submitted 13 December, 2007; v1 submitted 7 July, 2007; originally announced July 2007.

    Journal ref: Phys. Rev. B 76, 241303(R) (2007)

  19. arXiv:cond-mat/0701480  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Nuclear Spins as Quantum Memory in Semiconductor Nanostructures

    Authors: W. M. Witzel, S. Das Sarma

    Abstract: We theoretically consider solid state nuclear spins in a semiconductor nanostructure environment as long-lived, high-fidelity quantum memory. In particular, we calculate, in the limit of a strong applied magnetic field, the fidelity versus time of P donor nuclear spins in random bath environments of Si and GaAs, and the lifetime of excited intrinsic spins in polarized Si and GaAs environments. I… ▽ More

    Submitted 1 August, 2007; v1 submitted 19 January, 2007; originally announced January 2007.

    Journal ref: Phys. Rev. B 76, 045218 (2007)

  20. arXiv:cond-mat/0701341  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Decoherence induced by anisotropic hyperfine interaction in Si spin qubits

    Authors: W. M. Witzel, Xuedong Hu, S. Das Sarma

    Abstract: We study Si:P donor electron spin decoherence due to anisotropic hyperfine (AHF) interaction with the surrounding nuclear spin bath. In particular, we clarify the electron spin echo envelope modulation (ESEEM) in the Si:P system and the resonancelike contributions from nuclear spins in various shells away from the P atoms. We suggest an approach to minimize AHF-induced decoherence by avoiding th… ▽ More

    Submitted 1 August, 2007; v1 submitted 15 January, 2007; originally announced January 2007.

    Journal ref: Phys. Rev. B 76, 035212 (2007)

  21. arXiv:cond-mat/0604577  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Multiple-pulse coherence enhancement of solid state spin qubits

    Authors: W. M. Witzel, S. Das Sarma

    Abstract: We describe how the spin coherence time of a localized electron spin in solids, i.e. a solid state spin qubit, can be prolonged by applying designed electron spin resonance pulse sequences. In particular, the spin echo decay due to the spectral diffusion of the electron spin resonance frequency induced by the non-Markovian temporal fluctuations of the nuclear spin flip-flop dynamics can be stron… ▽ More

    Submitted 13 February, 2007; v1 submitted 25 April, 2006; originally announced April 2006.

    Comments: 4 pages, 2 figures

    Journal ref: Phys. Rev. Lett. 98, 077601 (2007)

  22. arXiv:cond-mat/0512323  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Quantum theory for electron spin decoherence induced by nuclear spin dynamics in semiconductor quantum computer architectures: Spectral diffusion of localized electron spins in the nuclear solid-state environment

    Authors: W. M. Witzel, S. Das Sarma

    Abstract: We consider the decoherence of a single localized electron spin due to its coupling to the lattice nuclear spin bath in a semiconductor quantum computer architecture. In the presence of an external magnetic field and at low temperatures, the dominant decoherence mechanism is the spectral diffusion of the electron spin resonance frequency due to the temporally fluctuating random magnetic field as… ▽ More

    Submitted 22 July, 2006; v1 submitted 14 December, 2005; originally announced December 2005.

    Comments: 23 pages, 15 figures

    Journal ref: Phys. Rev. B 74, 035322 (2006)

  23. arXiv:cond-mat/0501503  [pdf, ps, other

    cond-mat.mes-hall quant-ph

    Quantum theory of spectral diffusion induced electron spin decoherence

    Authors: W. M. Witzel, Rogerio de Sousa, S. Das Sarma

    Abstract: A quantum cluster expansion method is developed for the problem of localized electron spin decoherence due to dipolar fluctuations of lattice nuclear spins. At the lowest order it provides a microscopic explanation for the Lorentzian diffusion of Hahn echoes without resorting to any phenomenological Markovian assumption. Our numerical results show remarkable agreement with recent electron spin e… ▽ More

    Submitted 28 October, 2005; v1 submitted 20 January, 2005; originally announced January 2005.

    Comments: 5 pages, 1 figure

    Journal ref: Phys. Rev. B 72, 161306(R) (2005)