-
Quantum nonlinear spectroscopy of single nuclear spins
Authors:
Jonas Meinel,
Vadim Vorobyov,
Ping Wang,
Boris Yavkin,
Matthias Pfender,
Hitoshi Sumiya,
Shinobu Onoda,
Junichi Isoya,
Ren-Bao Liu,
Joerg Wrachtrup
Abstract:
Nonlinear spectroscopy is widely used for studying physical systems. Conventional nonlinear optical spectroscopy and magnetic resonance spectroscopy, which use classical probes such as electromagnetic waves, can only access certain types of correlations in a quantum system. The idea of quantum nonlinear spectroscopy was recently proposed to use quantum probes such as entangled photons to achieve s…
▽ More
Nonlinear spectroscopy is widely used for studying physical systems. Conventional nonlinear optical spectroscopy and magnetic resonance spectroscopy, which use classical probes such as electromagnetic waves, can only access certain types of correlations in a quantum system. The idea of quantum nonlinear spectroscopy was recently proposed to use quantum probes such as entangled photons to achieve sensitivities and resolutions beyond the classical limits. It is shown that quantum sensing can extract arbitrary types and orders of correlations in a quantum system by first quantum-entangling a sensor and the object and then measuring the sensor. Quantum sensing has been applied to achieve nuclear magnetic resonance (NMR) of single atoms and the second-order correlation spectroscopy has been adopted to enhance the spectral resolution. However, quantum nonlinear spectroscopy (i.e., the measurement of higher-order correlations) of single nuclear spins is still elusive. Here we demonstrate the extraction of fourth-order correlations of single nuclear spins that cannot be measured in conventional nonlinear spectroscopy, using sequential weak measurement via an atomic quantum sensor, namely, a nitrogen-vacancy center in diamond. We show that the quantum nonlinear spectroscopy provides fingerprint features to identify different types of objects, such as Gaussian noises, random-phased AC fields, and quantum spins, which would be indistinguishable in second-order correlations. The measured fourth-order correlation unambiguously differentiates a single nuclear spin and a random-phased AC field. This work constitutes an initial step toward the application of higher-order correlations to quantum sensing, to examining the quantum foundation (by, e.g., higher-order Leggett-Garg inequality), and to studying quantum many-body physics.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
High-resolution spectroscopy of single nuclear spins via sequential weak measurements
Authors:
Matthias Pfender,
Ping Wang,
Hitoshi Sumiya,
Shinobu Onoda,
Wen Yang,
Durga Bhaktavatsala Rao Dasari,
Philipp Neumann,
Xin-Yu Pan,
Junichi Isoya,
Ren-Bao Liu,
J. Wrachtrup
Abstract:
Quantum sensors have recently achieved to detect the magnetic moment of few or single nuclear spins and measure their magnetic resonance (NMR) signal. However, the spectral resolution, a key feature of NMR, has been limited by relaxation of the sensor to a few kHz at room temperature. The spectral resolution of NMR signals from single nuclear spins can be improved by, e.g., using quantum memories,…
▽ More
Quantum sensors have recently achieved to detect the magnetic moment of few or single nuclear spins and measure their magnetic resonance (NMR) signal. However, the spectral resolution, a key feature of NMR, has been limited by relaxation of the sensor to a few kHz at room temperature. The spectral resolution of NMR signals from single nuclear spins can be improved by, e.g., using quantum memories, however at the expense of sensitivity. Classical signals on the other hand can be measured with exceptional spectral resolution by using continuous measurement techniques, without compromising sensitivity. To apply these techniques to single-spin NMR, it is critical to overcome the impact of back action inherent of quantum measurements. Here we report sequential weak measurements on a single $^{13}$C nuclear spin. The back-action of repetitive weak measurements causes the spin to undergo a quantum dynamics phase transition from coherent trapping to coherent oscillation. Single-spin NMR at room-temperature with a spectral resolution of 3.8 Hz is achieved. These results enable the use of measurement-correlation schemes for the detection of very weakly coupled single spins.
△ Less
Submitted 10 August, 2018; v1 submitted 6 June, 2018;
originally announced June 2018.
-
Protecting a diamond quantum memory by charge state control
Authors:
Matthias Pfender,
Nabeel Aslam,
Patrick Simon,
Denis Antonov,
Gergő Thiering,
Sina Burk,
Felipe Fávaro de Oliveira,
Andrej Denisenko,
Helmut Fedder,
Jan Meijer,
Jose Antonio Garrido,
Adam Gali,
Tokuyuki Teraji,
Junichi Isoya,
Marcus William Doherty,
Audrius Alkauskas,
Alejandro Gallo,
Andreas Grüneis,
Philipp Neumann,
Jörg Wrachtrup
Abstract:
In recent years, solid-state spin systems have emerged as promising candidates for quantum information processing (QIP). Prominent examples are the Nitrogen-Vacancy (NV) center in diamond, phosphorous dopants in silicon (Si:P), rare-earth ions in solids and V$_{\text{Si}}$-centers in Silicon-carbide (SiC). The Si:P system has demonstrated, that by eliminating the electron spin of the dopant, its n…
▽ More
In recent years, solid-state spin systems have emerged as promising candidates for quantum information processing (QIP). Prominent examples are the Nitrogen-Vacancy (NV) center in diamond, phosphorous dopants in silicon (Si:P), rare-earth ions in solids and V$_{\text{Si}}$-centers in Silicon-carbide (SiC). The Si:P system has demonstrated, that by eliminating the electron spin of the dopant, its nuclear spins can yield exceedingly long spin coherence times. For NV centers, however, a proper charge state for storage of nuclear spin qubit coherence has not been identified yet. Here, we identify and characterize the positively charged NV center as an electron-spin-less and optically inactive state by utilizing the nuclear spin qubit as a probe. We control the electronic charge and spin utilizing nanometer scale gate electrodes. We achieve a lengthening of the nuclear spin coherence times by a factor of 20. Surprisingly, the new charge state allows switching the optical response of single nodes facilitating full individual addressability.
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
Nonvolatile quantum memory enables sensor unlimited nanoscale spectroscopy of finite quantum systems
Authors:
Matthias Pfender,
Nabeel Aslam,
Hitoshi Sumiya,
Shinobu Onoda,
Philipp Neumann,
Junichi Isoya,
Carlos Meriles,
Jörg Wrachtrup
Abstract:
In nanoscale metrology applications, measurements are commonly limited by the performance of the sensor. Here we show that in nuclear magnetic resonance (NMR) spectroscopy measurements using single nitrogen-vacancy (NV) centers in diamond, the NV sensor electron spin limits spectral resolution down to a few hundred Hz, which constraints the characterization and coherent control of finite spin syst…
▽ More
In nanoscale metrology applications, measurements are commonly limited by the performance of the sensor. Here we show that in nuclear magnetic resonance (NMR) spectroscopy measurements using single nitrogen-vacancy (NV) centers in diamond, the NV sensor electron spin limits spectral resolution down to a few hundred Hz, which constraints the characterization and coherent control of finite spin systems, and furthermore, is insufficient for high resolution NMR spectroscopy aiming at single molecule recognition and structure analysis of the latter. To overcome the limitation, we support an NV electron spin sensor with a nuclear spin qubit acting as quantum and classical memory allowing for intermediate nonvolatile storage of metrology information, while suppressing the deleterious back-action of the sensor onto the system under investigation. We demonstrate quantum and classical memory lifetimes of 8 ms and 4 minutes respectively under ambient conditions. Furthermore, we design and test measurement and decoupling protocols, which exploit such memory qubits efficiently. Using our hybrid quantum-classical sensor device, we achieve high resolution NMR spectra with linewidths of single spins down to 13 Hz. Our work is therefore a prerequisite for high resolution NMR spectroscopy on nanoscopic quantum systems down to the single level.
△ Less
Submitted 18 October, 2016;
originally announced October 2016.
-
Nuclear Quantum-Assisted Magnetometer
Authors:
Thomas Häberle,
Thomas Oeckinghaus,
Dominik Schmid-Lorch,
Matthias Pfender,
Felipe Fávaro de Oliveira,
Seyed Ali Momenzadeh,
Amit Finkler,
Jörg Wrachtrup
Abstract:
Magnetic sensing and imaging instruments are important tools in biological and material sciences. There is an increasing demand for attaining higher sensitivity and spatial resolution, with implementations using a single qubit offering potential improvements in both directions. In this article we describe a scanning magnetometer based on the nitrogen-vacancy center in diamond as the sensor. By mea…
▽ More
Magnetic sensing and imaging instruments are important tools in biological and material sciences. There is an increasing demand for attaining higher sensitivity and spatial resolution, with implementations using a single qubit offering potential improvements in both directions. In this article we describe a scanning magnetometer based on the nitrogen-vacancy center in diamond as the sensor. By means of a quantum-assisted readout scheme together with advances in photon collection efficiency, our device exhibits an enhancement in signal to noise ratio of close to an order of magnitude compared to the standard fluorescence readout of the nitrogen-vacancy center. This is demonstrated by comparing non-assisted and assisted methods in a $T_1$ relaxation time measurement.
△ Less
Submitted 4 January, 2017; v1 submitted 12 October, 2016;
originally announced October 2016.
-
Single Spin Optically Detected Magnetic Resonance with E-Band Microwave Resonators
Authors:
Nabeel Aslam,
Matthias Pfender,
Rainer Stöhr,
Philipp Neumann,
Marc Scheffler,
Hitoshi Sumiya,
Hiroshi Abe,
Shinobu Onoda,
Takeshi Ohshima,
Junichi Isoya,
Jörg Wrachtrup
Abstract:
Magnetic resonance with ensembles of electron spins is nowadays performed in frequency ranges up to 240 GHz and in corresponding magnetic fields of up to 10 T. However, experiments with single electron and nuclear spins so far only reach into frequency ranges of several 10 GHz, where existing coplanar waveguide structures for microwave (MW) delivery are compatible with single spin readout techniqu…
▽ More
Magnetic resonance with ensembles of electron spins is nowadays performed in frequency ranges up to 240 GHz and in corresponding magnetic fields of up to 10 T. However, experiments with single electron and nuclear spins so far only reach into frequency ranges of several 10 GHz, where existing coplanar waveguide structures for microwave (MW) delivery are compatible with single spin readout techniques (e.g. electrical or optical readout). Here, we explore the frequency range up to 90 GHz, respectively magnetic fields of up to $\approx 3\,$T for single spin magnetic resonance in conjunction with optical spin readout. To this end, we develop MW resonators with optical single spin access. In our case, rectangular E-band waveguides guarantee low-loss supply of microwaves to the resonators. Three dimensional cavities, as well as coplanar waveguide resonators enhance MW fields by spatial and spectral confinement with a MW efficiency of $1.36\,\mathrm{mT/\sqrt{W}}$. We utilize single NV centers as hosts for optically accessible spins, and show, that their properties regarding optical spin readout known from smaller fields (<0.65 T) are retained up to fields of 3 T. In addition, we demonstrate coherent control of single nuclear spins under these conditions. Furthermore, our results extend the applicable magnetic field range of a single spin magnetic field sensor. Regarding spin based quantum registers, high fields lead to a purer product basis of electron and nuclear spins, which promises improved spin lifetimes. For example, during continuous single-shot readout the $^{14}$N nuclear spin shows second-long longitudinal relaxation times.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
On Hilbert's Tenth Problem
Authors:
Michael Pfender
Abstract:
Using an iterated Horner schema for evaluation of diophantine polynomials, we define a partial $μ$-recursive "decision" algorithm decis as a "race" for a first nullstelle versus a first (internal) proof of non-nullity for such a polynomial -- within a given theory T extending Peano Arithmetique PA. If T is diophantine sound, i.e., if (internal) provability implies truth -- for diophantine formulae…
▽ More
Using an iterated Horner schema for evaluation of diophantine polynomials, we define a partial $μ$-recursive "decision" algorithm decis as a "race" for a first nullstelle versus a first (internal) proof of non-nullity for such a polynomial -- within a given theory T extending Peano Arithmetique PA. If T is diophantine sound, i.e., if (internal) provability implies truth -- for diophantine formulae --, then the T-map decis gives correct results when applied to the codes of polynomial inequalities $D(x_1,...,x_m) \neq 0$. The additional hypothesis that T be diophantine complete (in the syntactical sense) would guarantee in addition termination of decis on these formula, i.e., decis would constitute a decision algorithm for diophantine formulae in the sense of Hilbert's 10th problem. From Matiyasevich's impossibility for such a decision it follows, that a consistent theory T extending PA cannot be both diophantine sound and diophantine complete. We infer from this the existence of a diophantine formulae which is undecidable by T. Diophantine correctness is inherited by the diophantine completion T~ of T, and within this extension decis terminates on all externally given diophantine polynomials, correctly. Matiyasevich's theorem -- for the strengthening T~ of T -- then shows that T~, and hence T, cannot be diophantine sound. But since the internal consistency formula Con_T for T implies -- within PA -- diophantine soundness of T, we get that PA derives \neg Con_T, in particular PA must derive its own internal inconsistency formula.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
A positive solution to Hilbert's 10th problem
Authors:
Michael Pfender
Abstract:
Polynome codes and code evaluation; arithmetical theory frames; $μ$-recursive race for decision; decision correctness; decision termination; correct termination in theory $T = PR$ of Primitive Recursion; comparison with the negative result of Matiyasevich; positive solution in p.r. non-infinite-descent theory $πR=PR+(π).$
Polynome codes and code evaluation; arithmetical theory frames; $μ$-recursive race for decision; decision correctness; decision termination; correct termination in theory $T = PR$ of Primitive Recursion; comparison with the negative result of Matiyasevich; positive solution in p.r. non-infinite-descent theory $πR=PR+(π).$
△ Less
Submitted 17 July, 2014; v1 submitted 2 June, 2014;
originally announced June 2014.
-
Consistency Decision
Authors:
Michael Pfender
Abstract:
The consistency formula for set theory can be stated in terms of the free-variables theory of primitive recursive maps. Free-variable p. r. predicates are decidable by set theory, main result here, built on recursive evaluation of p. r. map codes and soundness of that evaluation in set theoretical frame: internal p. r. map code equality is evaluated into set theoretical equality. So the free-varia…
▽ More
The consistency formula for set theory can be stated in terms of the free-variables theory of primitive recursive maps. Free-variable p. r. predicates are decidable by set theory, main result here, built on recursive evaluation of p. r. map codes and soundness of that evaluation in set theoretical frame: internal p. r. map code equality is evaluated into set theoretical equality. So the free-variable consistency predicate of set theory is decided by set theory, ω-consistency assumed. By Gödel's second incompleteness theorem on undecidability of set theory's consistency formula by set theory under assumption of this ω- consistency, classical set theory turns out to be ω-inconsistent.
△ Less
Submitted 9 May, 2014;
originally announced May 2014.
-
Single spin stochastic optical reconstruction microscopy
Authors:
Matthias Pfender,
Nabeel Aslam,
Gerald Waldherr,
Jörg Wrachtrup
Abstract:
We experimentally demonstrate precision addressing of single quantum emitters by combined optical microscopy and spin resonance techniques. To this end we utilize nitrogen-vacancy (NV) color centers in diamond confined within a few ten nanometers as individually resolvable quantum systems. By developing a stochastic optical reconstruction microscopy (STORM) technique for NV centers we are able to…
▽ More
We experimentally demonstrate precision addressing of single quantum emitters by combined optical microscopy and spin resonance techniques. To this end we utilize nitrogen-vacancy (NV) color centers in diamond confined within a few ten nanometers as individually resolvable quantum systems. By developing a stochastic optical reconstruction microscopy (STORM) technique for NV centers we are able to simultaneously perform sub diffraction-limit imaging and optically detected spin resonance (ODMR) measurements on NV spins. This allows the assignment of spin resonance spectra to individual NV center locations with nanometer scale resolution and thus further improves spatial discrimination. For example, we resolved formerly indistinguishable emitters by their spectra. Furthermore, ODMR spectra contain metrology information allowing for sub diffraction-limit sensing of, for instance, magnetic or electric fields with inherently parallel data acquisition. As an example, we have detected nuclear spins with nanometer scale precision. Finally, we give prospects of how this technique can evolve into a fully parallel quantum sensor for nanometer resolution imaging of delocalized quantum correlations.
△ Less
Submitted 5 April, 2014;
originally announced April 2014.
-
Arithmetical Foundations - Recursion. Evaluation. Consistency
Authors:
Michael Pfender
Abstract:
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, Gödel incompleteness theorems, inconsistency provability for set theory, constructive consistency.
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, Gödel incompleteness theorems, inconsistency provability for set theory, constructive consistency.
△ Less
Submitted 13 April, 2015; v1 submitted 10 December, 2013;
originally announced December 2013.
-
RCF4: Inconsistent Quantification
Authors:
Michael Pfender
Abstract:
We exhibit canonical middle-inverse Choice maps within categorical (Free-Variable) Theory of Primitive Recursion as well as in Theory of partial PR maps over the Theory of Primitive Recursion with predicate abstraction. Using these choice-maps, defined by mu-recursion, we address the Consistency problem for a minimal Quantified extension Q of latter two theories: We prove, that Q's exists-define…
▽ More
We exhibit canonical middle-inverse Choice maps within categorical (Free-Variable) Theory of Primitive Recursion as well as in Theory of partial PR maps over the Theory of Primitive Recursion with predicate abstraction. Using these choice-maps, defined by mu-recursion, we address the Consistency problem for a minimal Quantified extension Q of latter two theories: We prove, that Q's exists-defined mu-operator coincides on PR predicates with that inherited from theory of partial PR maps. We strengthen Theory Q by axiomatically forcing the lexicographical order on its omega^omega to become a well-order: "finite descent". Resulting theory admits non-infinit PR-iterative descent schema (pi) which constitutes Cartesian PR Theory piR introduced in RCF2: Evaluation and Consistency.
A suitable Cartesian subSystem of Q + wo(omega^omega) above, extension of piR "inside" Theory Q + wo(omega^omega), is shown to admit code self-evaluation: extension of formally partial code evaluation of piR into a "total" self-evaluation for the subSystem. Appropriate diagonal argument then shows inconsistency of this subsystem and (hence) of its extensions Q + wo(omega^omega) and ZF.
△ Less
Submitted 8 September, 2009; v1 submitted 30 January, 2009;
originally announced January 2009.
-
RCF3: Map-Code Interpretation via Closure
Authors:
Michael Pfender
Abstract:
For a (minimal) Arithmetical theory with higher Order Objects, i.e. a (minimal) Cartesian closed arithmetical theory -- coming as such with the corresponding closed evaluation -- we interprete here map codes, out of [A,B] say,into these maps "themselves", coming as elements ("names") within hom-Objects B^A. The interpretation (family) uses a Chain of Universal Objects U_n, one for each Order str…
▽ More
For a (minimal) Arithmetical theory with higher Order Objects, i.e. a (minimal) Cartesian closed arithmetical theory -- coming as such with the corresponding closed evaluation -- we interprete here map codes, out of [A,B] say,into these maps "themselves", coming as elements ("names") within hom-Objects B^A. The interpretation (family) uses a Chain of Universal Objects U_n, one for each Order stratum with respect to "higher" Order of the Objects. Combined with closed, axiomatic evaluation, this interpretation family gives code-self-evaluation. Via the usual diagonal argument, Antinomie RICHARD then can be formalised within minimal higher Order (Cartesian closed) arithmetical theory, and yields this way inconsistency for all of its extensions, in particular for set theories as ZF, of the Elementary Theory of (higher Order) Topoi with Natural Numbers Object as considered by FREYD, as well as already for the Theory of Cartesian Closed Categories with NNO considered by LAMBEK and SCOTT.
△ Less
Submitted 29 September, 2008;
originally announced September 2008.
-
RCF2: Evaluation and Consistency
Authors:
Michael Pfender
Abstract:
We construct here an iterative evaluation of all PR map codes: progress of this iteration is measured by descending complexity within "Ordinal" O := N[ω] of polynomials in one indeterminate, ordered lexicographically. Non-infinit descent of such iterations is added as a mild additional axiom schema (π_O) to Theory PR_A = PR+(abstr) of Primitive Recursion with predicate abstraction, out of forgoi…
▽ More
We construct here an iterative evaluation of all PR map codes: progress of this iteration is measured by descending complexity within "Ordinal" O := N[ω] of polynomials in one indeterminate, ordered lexicographically. Non-infinit descent of such iterations is added as a mild additional axiom schema (π_O) to Theory PR_A = PR+(abstr) of Primitive Recursion with predicate abstraction, out of forgoing part RCF 1. This then gives (correct) "on"-termination of iterative evaluation of argumented deduction trees as well, for theories PR_A+(π_O). By means of this constructive evaluation the Main Theorem is proved, on Termination-conditioned (Inner) Soundness for such theories, Ordinal O extending N[ω]. As a consequence we get Self-Consistency for these theories, namely derivation of its own free-variable Consistency formula.
As to expect from classical setting, Self-Consistency gives (unconditioned) Objective Soundness. Termination-Conditioned Soundness holds "already" for PR_A, but it turns out that at least present derivation of Consistency from this conditioned Soundness depends on schema (π_O) of non-infinit descent in Ordinal O := \N[ω].
△ Less
Submitted 30 January, 2009; v1 submitted 23 September, 2008;
originally announced September 2008.
-
RCF1: Theories of PR Maps and Partial PR Maps
Authors:
Michael Pfender
Abstract:
We give to the categorical theory PR of Primitive Recursion a logically simple, algebraic presentation, via equations between maps, plus one genuine Horner type schema, namely Freyd's uniqueness of the initialised iterated. Free Variables are introduced - formally - as another names for projections. Predicates χ: A -> 2 admit interpretation as (formal) Objects {A|χ} of a surrounding Theory PRA =…
▽ More
We give to the categorical theory PR of Primitive Recursion a logically simple, algebraic presentation, via equations between maps, plus one genuine Horner type schema, namely Freyd's uniqueness of the initialised iterated. Free Variables are introduced - formally - as another names for projections. Predicates χ: A -> 2 admit interpretation as (formal) Objects {A|χ} of a surrounding Theory PRA = PR + (abstr) : schema (abstr) formalises this predicate abstraction into additional Objects. Categorical Theory P\hat{R}_A \sqsupset PR_A \sqsupset PR then is the Theory of formally partial PR-maps, having Theory PR_A embedded. This Theory P\hat{R}_A bears the structure of a (still) diagonal monoidal category. It is equivalent to "the" categorical theory of μ-recursion (and of while loops), viewed as partial PR maps. So the present approach to partial maps sheds new light on Church's Thesis, "embedded" into a Free-Variables, formally variable-free (categorical) framework.
△ Less
Submitted 22 September, 2008;
originally announced September 2008.
