The invention relates to spin systems, and more particularly to design protocols to produce pulse sequences to control interacting spin ensembles.
This patent disclosure may contain material that is subject to copyright protection. The copyright owner has no objection to the facsimile reproduction by anyone of the patent document or the patent disclosure as it appears in the U.S. Patent and Trademark Office patent file or records, but otherwise reserves any and all copyright rights.
The ability to robustly control and manipulate the dynamics of a quantum system, such as a single quantum spin, is an important aspect of devices or methods that take advantage of quantum dynamics, such as ranging from quantum metrology and quantum simulation. Increasing the accuracy and robustness of control of quantum dynamics can increase the sensitivity and number of applications of such quantum dynamics. However, robust control and manipulation of quantum dynamics are limited by noise.
Among efforts to improve control of quantum dynamics, the application of periodic control pulses, sometimes referred to as Floquet driving, has emerged as a tool for the control and engineering of quantum dynamics. One example of such approaches is dynamical decoupling of a target spin from its environment, in which a series of pulses manipulates a quantum spin and cancels the effects of interactions with environmental noise. The periodic structure of these pulse sequences can give rise to frequency-selective resonances, enabling high sensitivity to external signals measured by the quantum system (e.g. magnetic fields).
In addition to manipulating the dynamics of a single spin and applying such techniques to a plurality of spins, periodic control pulses also allow for control of interactions between spins, even when only global control (i.e., control over the plurality of spins without specific addressing of individual spins) is available, as is typically the case for large-scale quantum systems with many degrees of freedom. One example is the WAHUHA pulse sequence and its extension MREV-8, each of which can cancel the dipolar interaction between spin-½ particles to leading order.
Systems and methods are disclosed for a pulse sequence that reduces disorder and/or interaction effects in spin systems. A protocol can be used to design a pulse sequence that includes altering the frame orientation of the spin system with each electromagnetic pulse in the pulse sequence. The frame orientations during the sequence can conform to certain conditions. The number positive rotations along each axis can be the same as the number negative rotations along the respective axis. The number of rotations along one axis should be the same as the number of rotations along the other axes.
According to some embodiments, a method of reducing disorder and interaction effects in a spin system includes: applying a sequence of n electromagnetic pulses to the spin system, the spin system having a frame orientation in an evolution period τ0 before a first pulse k=1 of the sequence of electromagnetic pulses; and altering the frame orientation of the spin system with each electromagnetic pulse in the sequence of pulses, each electromagnetic pulse being one or more of a π/2 rotation or a π rotation, the frame orientations during the sequence conforming to the following relations:
where Fμk represents the frame orientation of the spin system in a respective evolution period of duration τk after pulse k for each spin direction μ=x, y, z for 0≤k≤n, and where k=0 corresponds to the frame orientation Fμ0 in the evolution period before the first pulse k=1.
In some embodiments, the sequence of electromagnetic pulses is periodic, and the pulses are equally spaced.
In some embodiments, at least one electromagnetic pulse of the sequence of electromagnetic pulses includes two or more π/2 rotations, and the spin system further comprises intermediary frame orientations representing the frame orientation of the spin system after each but a final π/2 rotation, the intermediary frame orientations conforming to the following relations:
where Fμv represents the frame orientation of the spin system for each intermediary frame v for each spin direction μ=x, y, z.
In some embodiments, for each π rotation, the frame orientation of the spin system further comprises an intermediary frame orientation representing the frame orientation of the spin system after the first π/2 rotation of the π rotation, intermediary frame orientations together conforming to the following relations:
where Fμv represents the frame orientation of the spin system for each intermediary frame v for each spin direction μ=x, y, z.
In some embodiments, for each pair of axes μ,μ=x, y, z, the parity of frame changes sums to zero such that
for (μ, v)=(x, y), (x, z), (y, z).
In some embodiments, the chirality of frame changes sums to zero such that the cyclic sum
where {right arrow over (F)}k=ΣμFμ,k{right arrow over (e)}μ and {right arrow over (e)}μ are the unit vectors along axis directions.
In some embodiments, the method further includes generating an effective magnetic field {right arrow over (B)}eff as seen by the driven spins; and initializing the frame orientation of the spin system to be perpendicular to the effective magnetic field.
In some embodiments, the sequence of electromagnetic pulses is used to increase the coherence time of an ensemble of nitrogen-vacancy (NV) centers in diamond beyond a spin-spin interaction sensitivity limit.
In some embodiments, the sequence of electromagnetic pulses is used to increase the coherence time of a magnetic field sensing ensemble of nitrogen-vacancy (NV) centers in diamond such that a sensitivity of the magnetic field sensing ensemble of NV centers overcomes a spin-spin interaction sensitivity limit.
According to some embodiments, a system can include: a quantum sensor comprising an ensemble of spins in solid state, the ensemble of spins having a density in which the interactions between the spins limit a coherence time of the ensemble of spins in solid state; and a pulse generator configured to apply electromagnetic radiation to the quantum sensor, the electromagnetic radiation decoupling the interactions between the spins to increase the coherence time beyond a spin-spin interaction sensitivity limit of the ensemble of spins when measuring a target signal.
In some embodiments, the quantum sensor comprising an ensemble of NV centers in diamond of density r ppm, and the coherence time is increased to be longer than a value of 72/r us (as determined from the scaling of the interaction limit), up to 1 ms.
In some embodiments, the pulse generator applies electromagnetic radiation to the quantum sensor according to the method of claim 1.
According to some embodiments, a spin system can include: a pulse generator configured to a sequence of n electromagnetic pulses to the spin system, the spin system having a frame orientation in an evolution period τ0 before a first pulse k=1 of the sequence of electromagnetic pulses, each electromagnetic pulse corresponding to a frame of the sequence of pulses, and each electromagnetic pulse being one or more of a π/2 rotation or a π rotation, the frame orientations during the sequence conforming to the following relations:
where Fμk represents the frame orientation of the spin system in a respective evolution period of duration τk after pulse k for each spin direction μ=x, y, z for 0≤k≤n, and where k=0 corresponds to the frame orientation Fμ0 in the evolution period before the first pulse k=1.
In some embodiments, the sequence of electromagnetic pulses is periodic, and the pulses are equally spaced.
In some embodiments, at least one electromagnetic pulse of the sequence of electromagnetic pulses includes two or more π/2 rotations, and the spin system further comprises intermediary frame orientations representing the frame orientation of the spin system after each but a final π/2 rotation, the intermediary frame orientations conforming to the following relations:
where Fμv represents the frame orientation of the spin system for each intermediary frame v for each spin direction μ=x, y, z.
In some embodiments, for each π rotation, the frame orientation of the spin system further comprises an intermediary frame orientation representing the frame orientation of the spin system after the first π/2 rotation of the π rotation, intermediary frame orientations together conforming to the following relations:
where Fμv represents the frame orientation of the spin system for each intermediary frame v for each spin direction μ=x, y, z.
In some embodiments, for each pair of axes μ,μ=x, y, z, parity of frame changes experienced by the spin system sums to zero such that
for (μ, v)=(x, y), (x, z), (y, z).
In some embodiments, the chirality of frame changes experienced by the spin system sums to zero such that the cyclic sum
where {right arrow over (F)}k=ΣμFμ,k{right arrow over (e)}μ and {right arrow over (e)}μ are the unit vectors along axis directions.
These and other capabilities of the disclosed subject matter will be more fully understood after a review of the following figures, detailed description, and claims. It is to be understood that the phraseology and terminology employed herein are for the purpose of description and should not be regarded as limiting.
For a more complete understanding of various embodiments of the disclosed subject matter, reference is now made to the following descriptions taken in connection with the accompanying drawings, in which:
Quantum sensors, such as nitrogen vacancies in diamond, can be used to detect small fields, such as weak magnetic fields with, high sensitivity and/or precision. Such high sensitivity and/or precision sensing can enable myriad applications ranging from nanoscale nuclear magnetic resonance spectroscopy of biomolecules to local probing of exotic condensed matter phenomena. In some applications, the magnetic field sensitivity can be improved by increasing the density of sensors in a given volume. However, increasing the density of sensors may not always increase sensitivity to the same degree beyond a critical density. For example, in some applications, beyond a critical density (or, more generally, as density increases) this improvement in sensitivity is hindered by interactions between the sensors themselves (e.g., between a sensor and its nearest neighbors), which can be referred to as “interaction effects” or simply “interactions.” In some applications, sensitivity improvement can also or alternatively be hindered by increasing inhomogeneity that can result from a higher sensor density, which can be referred to as “disorder” or “inhomogeneity.” Interactions and disorder are described in more detail throughout the present disclosure, for example as described below in the Disorder and Interactions section. In some embodiments, control errors can also give rise to inhomogeneities in the response of individual sensors in the ensemble and result in a further decrease in sensitivity.
Existing techniques for designing pulse sequences to be applied to quantum sensors do not address all of the above limitations on sensitivity and other important performance measures. Accordingly, there is a need for a systematic design protocol for designing pulse sequences that can simultaneously addresses sensor-sensor interactions, on-site disorder, and control imperfections, in order to surpass the interaction limit and exploit the full potential of ensemble quantum sensors. In some embodiments, higher sensitivity and spin density can be achieved without being limited by the interaction limit.
In some embodiments of the present disclosure, the sensitivity and/or precision of a dense ensemble of sensors, such as interacting electronic spins in diamond, can be improved beyond the sensitivity at the critical density. For example, in some embodiments, a pulse sequence can be designed according to the disclosed design protocol such that, when applied to quantum sensors, decouples (reduces the effects to) the sensors from interactions and disorder. In some embodiments, such a pulse sequence can also be fault-tolerant to the leading-order control imperfections of the system. In some embodiments, pulse sequences designed according to the disclosed protocol can enable a five-fold enhancement in coherence time (which refers to the time during which a quantum state remains stable, where longer coherence times expose the quantum sensors to a field to be measured for a longer time, thereby increasing sensitivity thereto) compared to the conventional XY-8 sequence. In some embodiments, the effective field experienced by the driven sensors can be tailored by pulse sequences designed according to the disclosed protocol and/or the disclosed sensor initialization and readout protocol can be used to achieve high magnetic-field sensitivity. Example results from non-limiting applications of the disclosed techniques demonstrate a 30% enhancement in sensitivity relative to the XY-8 sequence, breaking the sensitivity limit set by inter-sensor interactions.
In some embodiments, the disclosed protocol is based on robust periodic manipulation (Floquet engineering) of ensemble spin dynamics. Pulse sequences developed with the disclosed protocol deliver a sequence with high sensitivity to an external signal of interest, while simultaneously decoupling the effects of interactions and disorder, and remaining fault-tolerant against the leading-order effects of finite pulse width and control imperfections. In some non-limiting example applications using a dense ensemble of nitrogen-vacancy (NV) centers in diamond, a five-fold enhancement of the spin coherence time has been observed compared to the conventional XY-8 sensing sequence that does not decouple interactions. The disclosed design protocol can be used to design a sequence such that the driven spins experience a maximal effective sensing field in a particular direction (e.g., the [1,1,1]-direction). The spins can be prepared in a plane orthogonal to the effective field to be measured to attain increased sensitivity. The combination of extended coherence time produced by example pulse sequences designed using the disclosed protocol and optimal sensing have shown an example, non-limiting 30% enhancement in absolute sensitivity over the XY-8 sequence, achieving a volume-normalized sensitivity of 28(1) nT·μm3/2/√{square root over (Hz)}, among the best to date in the solid state sensor systems.
Embodiments of the instant application relates generally to design of pulse sequences for interacting spin ensembles. For example, the disclosed embodiments provide a formalism that enables a design protocol for the pulse sequence. The design protocol includes one or more design conditions for one or more pulses in the pulse sequence. The design conditions suppress undesired effects in the spin ensembles. For example, design conditions can be imposed to suppress disorder of the spin ensembles and/or interaction effects within the spin ensembles. Using the described formalism and design protocol, described herein are also specific pulse sequences meeting design protocols described herein to achieve these benefits. Additional design conditions can be imposed according to some embodiments to account for or suppress other effects, such as finite frame widths, interaction cross-terms, rotation angle errors, or higher order effects.
For example, as described in further detail below, each frame of a pulse sequence includes an electromagnetic pulse that acts on the spin system. The pulses, for example, can be a sequence of π pulses and/or π/2 pulses. Each pulse causes a positive or negative rotation of spin orientations along x, y, or z axes. The design protocol includes design conditions regarding one or more pulses in the pulse sequence. For example, in some embodiments, a design condition is that the number positive rotations along each axis should be the same as the number negative rotations along the respective axis. This design condition suppresses disorder in the spin ensemble. In addition, for example, some embodiments, a design condition is that the number of rotations along one axis should be the same as the number of rotations along the other axes. This design condition suppresses interaction effects in the spin ensemble. Further exemplary design conditions of the design protocol of some embodiments are described in further detail, below.
In some embodiments, the disclosed protocol can be based on a description of the ensemble spin dynamics and average Hamiltonian in terms of time-domain transformations of local Pauli spin operators. The disclosed simple algebraic conditions imposed on the transformations can provide a systematic way to describe the engineering of interactions and disorder, as well as the cancellation of dominant system imperfections, including errors in spin rotation as well as undesirable disorder and interaction effects during the finite pulse durations. Moreover, embodiments of the disclosed protocol provide a recipe to develop system-specific pulse sequences adapted to relevant parameters and timescales in the Hamiltonian, and is also applicable to a wide range of interaction Hamiltonians beyond the conventional dipolar interaction. This enables the fault-tolerant implementation of target Hamiltonians using the disclosed protocol, enabling a variety of applications.
In some embodiments, an interaction-decoupling sequences can be tailored to system characteristics and dominant energy scales in order to protect quantum coherence. In some additional or alternative embodiments, spin dynamics can be engineered in the presence of an external AC target magnetic field into an effective evolution under a vectorial DC magnetic field as seen by the driven spins, enabling optimal quantum sensing in the presence of interactions. In some additional or alternative embodiments, the disclosed protocol can be used to engineer Hamiltonians with a range of thermalization properties for quantum simulation.
Quantum sensors, such as nitrogen vacancy centers in diamond, can take advantage of quantum mechanical interactions to achieve superior spatial resolution, spectral resolution and sensitivity as opposed to classical sensors. Such sensors can be used in a number of applications including, but not limited to serving as a powerful tool for the exploration of fundamental physics and for applications in material science and biochemical analysis. Other quantum sensors would benefit form the pulse sequences described herein, as would be apparent to one of skill in the art.
In some embodiments, the NV centers 102 can exhibit long-range magnetic dipolar interactions between the spins as well as strong on-site disorder originating from paramagnetic impurities and inhomogeneous strain in the diamond lattice. The bulk diamond 100 can be etched into a nanobeam to improve control homogeneity and to confine the probing volume to V=0.018 μm3. Other spin systems are contemplated.
In some embodiments, each NV center 102 ground state can be an electronic S=1 spin. A static magnetic field can be applied to isolate an ensemble of effective two-level systems formed of NV centers with the same crystallographic orientation. The spin states can be initialized and detected optically, and resonant microwave excitation can be used to drive coherent spin dynamics. An external AC magnetic field can also be used as a target sensing signal.
According to some embodiments, pulse sequences are described in terms of interacting picture spin frame orientations. Instead of thinking of a periodic driving sequence in terms of the control pulses applied, the average Hamiltonian evolution is described using toggling spin frames, which correspond to going into the interacting picture with respect to control pulses. Without being bound by theory, describing pulse sequences as such provides a simple formalism for describing the decoupling performance for pulses meeting the design protocol described herein. In addition, it also allows the formulation of concise criteria for pulse imperfections described herein.
Without being bound by theory, in some embodiments, the design protocol and associated design conditions described herein is based on average Hamiltonian theory. This theory provides a framework to analyze the dynamics of an interacting spin ensemble under periodic manipulations.
In some embodiments, an interacting spin ensemble has a Hamiltonian given by the following relation
H=H
f
+H
c(t), (1)
where Hf is the free evolution Hamiltonian of the internal dynamics of the spin ensemble, involving on-site disorder and spin-spin interactions, and Hc(t) describes the periodic control field. As described herein, the periodic control field includes an external stimulus such as a pulse sequence (for example, of electromagnetic pulses) that is applied to the spin ensemble.
In some embodiments, a sequence of periodic control pulses are applied to the spin ensemble. For example, a sequence of periodic control pulse, such as that shown in
μc(t)=Σ exp[−i∫0tHc(t1)dt1], (2)
where τ denotes time-ordering as shown in
U(T)=τ exp[−i∫0T{tilde over (H)}f(t1)dt1], (3)
where {tilde over (H)}f(t1)=Uc†(t1)HfUc(t1) is the interacting picture Hamiltonian of the system, also known as the toggling frame Hamiltonian. In some embodiments, the unitary evolution operator can be expanded using the Magnus expansion as follows:
In certain embodiments, the above series is truncated to the zeroth order, for example, as is consistent with Average Hamiltonian theory. Without being bound by theory, this is a good approximation in the regime of fast periodic driving, where each Hamiltonian term is cancelled at a rate faster than the characteristic timescale of its corresponding dynamics.
In some embodiments, the pulse sequence is a discrete pulse sequence as illustrated in
where τk, Hk are the duration and toggling frame Hamiltonian {tilde over (H)}f(t) in the kth free evolution period, respectively, tp is the finite pulse duration, and H′k,k+1 is the average Hamiltonian corresponding to the pulse between the kth and k+1th free evolution period.
The above discussion is fully general, and may be applied to systems with arbitrary spins. Some embodiments focus on an effective two-level system, which can appear either in spin-½ systems, or as two levels off-resonant from other transitions in a higher spin system. In some embodiments, the form of the Hamiltonian is not restricted to the spin-½ dipolar interaction Hamiltonian with on-site disorder, and instead uses generic Hamiltonians under the secular approximation, such that the only constraint is that the Hamiltonian commutes with a strong magnetic field that sets the quantization axis in the 2-direction, as described further herein. Some embodiments involve Hamiltonians with only single-body and two-body terms, although other embodiments involve interactions with three-body operators. In this case, the Hamiltonian can generically be written as
H
0
=H
dis
+H
int=ΣiΔiSiz+Σi,j[Jijex,r(SixSjx+SiySjy)+Jijex,i(SixSjy−SiySjSx)+JijisSizSjz], (8)
where the first term Hdis is the disorder Hamiltonian and the second term Hint is a generic interaction Hamiltonian, Δi is a random on-site disorder strength, Si,j are spin-½ operators, and Jijex,r, Jijex,i, Jijis are arbitrary interaction strengths for the spin-exchange interaction with real and imaginary hopping phase and the Ising interaction. The real spin-exchange interaction and Ising interaction are widely found in different interacting spin systems, and the imaginary spin-exchange interaction can also emerge in experimental systems of certain embodiments. In some embodiments, it is assumed that the periodic control field satisfies
H
c(t)=Σi(i+δi)(Ωx(t)Six+Ωy(t)Siy), (9)
where δi describes the control field strength inhomogeneity and Ωx(t), Ωy(t) are the instantaneous Rabi frequencies. In some embodiments it is assumed that the pulses are applied along the {right arrow over (x)} or {right arrow over (y)} directions only, with a rotation angle that is an integer multiple of π/2. However, those skilled in the art will recognize that the formalism and design protocol can also be applied to other pulses without these assumptions.
Described herein is a frame representation that is used to describe design conditions of the design protocol for a pulse sequence acting on, for example, a spin ensemble. In some embodiments, a pulse sequence includes a series of frames. Each frame includes one or more pulses, or pulses that can be described as one or more pulses.
In some embodiments, each frame can be represented based on the interacting picture transformations of the Sz operator: {tilde over (S)}z(t)=Uc†(t)SzUc(t)=Σμ=x,y,zFμ(t)Sμ, hereinafter referred to as the toggling frame spin operator. The functions Fμ(t) are vector generalizations of the modulation function employed in the analysis of sensing sequences. Without being bound by theory, in the presence of a strong field that sets the quantization axis in the 2 direction and under the secular approximation, according to certain embodiments, the Hamiltonian described in equation (8) is invariant under rotations around the z axis that mix Sx and Sy. Under such conditions, the Hamiltonian does not depend independently on transverse components, and information about {tilde over (S)}z(t) is sufficient to fully recover the interacting picture Hamiltonian.
An example of this representation is illustrated for various pulse sequences, such as decoupling pulses, in
The first pulse sequence, which corresponds to
The top parts of
The bottom parts of
The representations in
In the following, it is assumed that free evolution times are an integer multiple of a base duration. However, the representation above and design protocol of design conditions according to this disclosure is not limited thereto, and is readily generalizable to arbitrary pulse separations, for example, by additionally specifying the duration spent in each free evolution block, as would be understood by one of ordinary skill in the art.
As described in this section, in some embodiments, pulse sequences a design protocol can be constructed with design conditions based on ideal pulses, i.e., without considering pulse imperfections. Embodiments dealing with pulse imperfections are described in further sections.
Using the frame representation described herein, each Sz operator can be described vt Σμ=x,y,zFμkSμ in the Hamiltonian for the kth free evolution block, where Fμk denotes the (μ,k) element of the matrix F. Using this, each of the average Hamiltonian terms in the ideal pulse limit can be determined. In some embodiments, it is assumed that each free evolution block has equal duration τ. With this assumption, the disorder Hamiltonian can be expressed as
while the three types of interaction terms can be respectively expressed as
where N is the total number of free evolution blocks in the sequence and ∈μvσ is the Levi-Civita symbol.
There are two types of functional dependencies on Fμk in Equations (11)-(14): the disorder Hamiltonian
In some embodiments, the disorder can be reduced by setting a design condition of the design protocol to require that the positive rotations are the same as the number of negative rotations in each of x, y, and z. For example, based on the linear dependence on Fμk of
In some embodiments, interaction effects can be suppressed by setting a design condition of the design protocol to require that the rotations in each of x, y, and z are the same. This can be described as symmetrizing interactions. Despite the quadratic dependence on Fμk of
According to the above, according to some embodiments, a design protocol can be expressed with the following two design conditions on the matrix F for dynamical decoupling (disorder and interactions) as:
Disorder
Ising interaction
These design conditions can be extended to the case where different free evolution blocks have different length by weighting each of the terms by their corresponding evolution time. In addition, while the above focuses on single-body and two-body interactions, the design conditions can be extended to an interaction involving more spins, as described further herein. For example, as described herein, in some embodiments results from unitary t-designs prove that the same design conditions described above also guarantee decoupling three-body interaction effects for polarized initial states.
According to some embodiments, design protocols can also include design conditions that take into account pulse imperfections in the pulse sequences. The formalism and frame representation described herein can also be used to express such design conditions that take into account average Hamiltonian finite pulse imperfections. For example, these correspond to the average Hamiltonian H′k,k+1 during the pulse introduced in equation (7), and includes contributions from disorder and interactions, interaction cross-terms, and/or rotation angle errors, according to some embodiments.
As described in further detail herein, some embodiments of the design protocol can include design conditions to cancel the following pulse duration effects:
Disorder and Direct Interaction Contributions:
In some embodiments, all pulses can be rephrased as all pulses in terms of π/2 pulse building blocks, and intermediate frame orientations between each π/2 pulse of a full π are accounted for (for example as described with reference to
Interaction Cross Terms:
In some embodiments, for each pair of axes, the “parity” of frame changes sums to 0. Mathematically, this can be written as the condition
for (μ, v)=(1, 2), (1, 3), (2, 3), where the summation is a cyclic sum over all evolution blocks. Physically, this expression characterizes whether the operator orientation changed sign.
Rotation Angle Errors:
In some embodiments, for each pair of axes, the “chirality” of frame changes sums to 0. Mathematically, this can be written as the condition
where {right arrow over (F)}k=ΣμFμ,k{right arrow over (e)}μ, {right arrow over (e)}μ are the unit vectors along the axis directions, and the summation over k is a cyclic sum over all evolution blocks. Physically, this expression is a cross product between neighboring spin operator orientations, which corresponds to the direction of the rotation axis in the toggling frame.
While some embodiments described herein focus on single-body and two-body terms, one of ordinary skill would understand that the description can be generalized to interactions involving three spins.
In some embodiments, frames during the free evolution period also provide a description of imperfections during the driven evolution. In some embodiments, additional effects such as waveform transients and pulse shape imperfections are analyzed in a similar fashion to leading order, although the pulses are assumed to be Markovian (i.e. the unitary operator of one pulse is not modified by its preceding pulses).
In some embodiments, the design protocol includes design conditions that take into account the effects of pulse widths, i.e., finite pulse durations, that take place between the free evolution periods . In some embodiments, the effects of a finite pulse duration tp can be determined by calculating the average Hamiltonian, for example, for a π/2 pulse building block. For illustration the average Hamiltonian during π/2 pulse that causes a rotation of the frame from +z into +y can be described as
where U0 is the unitary evolution operator due to the preceding pulses, and U(θ) describes the rotation of the π/2 pulse up to angle θ. Physically, this corresponds to the Sz operator being continuously transformed as Sz(θ)=Sz cos θ+Sy sin θ in the toggling frame (
Thus, the average Hamiltonian during a pulse of finite duration is given by the average of the Hamiltonians in the initial and final frames (i.e., ½(H1is+H2is)+½(H1ex,r+H2ex,r), and as shown in
relating to the rotation of the frame from +z to +y). As would be apparent to one of ordinary skill in the art, similar expressions will also hold for other π/2 rotations other than a frame change from +z to +y, such as rotations from +z to +x, +y to +z, +y to +x, +x to +z, and +x to +y. In addition, in some embodiments, this analysis can be applied to other pulses using a π/2 pulse as a building block. For example, in some embodiments this analysis can be applied to π pulses, which can be regarded as a combination of two π/2 pulses with the specification of the patching frame.
Therefore, in some embodiments, each free evolution period of duration as an effective free evolution of duration +4tp/π for disorder and imaginary spin-exchange (as shown in
In some embodiments, design conditions can also be included to address the cross term
described above. Since the sign of the interaction cross-term corresponds to the product of the parity of initial and final frames, for each pair of directions, a design condition according to some embodiments requires that the number of neighboring frames with a positive parity product be equal to the number of neighboring frames with a negative parity product (for example as described in equation (17) and illustrated in
The frame representation discussed above with respect to the free evolution period can be extended to systematically analyze pulse duration imperfections. In some embodiments, π/2 pulses are used as the basic building block, all other types of pulses are phrased in terms of them. In some embodiments, this representation has the advantage that imperfections become much easier to analyze, as discussed further herein, and that each rotation can be uniquely specified by the frame orientations.
Using π/2 pulses as the basic building block, according to some embodiments, requires the additional specification of “patching” frames for pulses of larger rotation angles. These patching frames keep track of the intermediate spin, for example the spin pointing at the middle of a it pulse. This corresponds to decomposing the it pulse into two π/2 pulses, one right after another (for example as shown in
where the middle column is the patching frame introduced for the π pulse. The patching frame has duration zero, as shown in the bottom row, whereas the two π/2 pulses have duration τ. Similarly, the pulse sequence of
In some embodiments, a patching frame can also be introduced for π/2 pulses, in which the usual π/2 rotation is implemented by a composite pair of π/2 pulses along different axes, instead of by a single pulse. These patching frames for π/2 pulses can be important, for example, in maximizing sensitivity and maintaining efficient dynamical decoupling as discussed further herein.
In some embodiments, the design protocol can also include design conditions that take into account control errors, such as systematic rotation angle error. For example, a rotation angle error around the +{circumflex over (x)} direction can be compensated with another rotation around the −{circumflex over (x)} direction. In some embodiments, rotation angle error effects can be analyzed directly for the average Hamiltonian. This can be different from the rotation axis applied in the lab frame in some embodiments.
For example, for a π/2-pulse
around some axis Ak, according to some embodiments, a rotation angle error corresponds to an actual rotation
being applied. In some embodiments, this can be equivalently regarded as an error term
acting during the rotation. The average Hamiltonian in the toggling frame corresponding to this can be calculated as
Inserting Uk−1Uk−1\=I into the latter equation gives the following expression
Uk−1\PkUk−1 is the rotation pulse exp
that, in the toggling frame representation, rotates the k−1th frame into the kth one. In some embodiments, the rotation axis direction Bk is obtained from a cross product between the initial and final toggling frame directions, which corresponds to each term in equation (18).
Since
where Ak is proportional to a Pauli matrix, the unitary Uk−1 can be moved into the exponential
Thus, the average Hamiltonian can be expressed as
which is uniquely specified by the initial and final frames of the rotation pulse, as determined by the chirality of the frame change Equation (18).
In some embodiments, an alternative geometric picture of the preceding derivation is as follows: the analysis starts with an internal frame coordinate system on the Bloch sphere (arrows) that coincides with the external reference coordinate system, as shown, for example, in the first Bloch sphere of the bottom panel of
Therefore, in some embodiments, cancellation of rotation angle errors is well-captured by the chirality of each frame change. For example, as shown in
The embodiments discussed herein describe algebraic rules (design conditions) for the suppression of disorder, interactions, and one or more kinds of finite pulse duration effects that together make up a design protocol, according to some embodiments. The formalism and frame representation discussed above greatly simplifies the design procedure and enables versatile pulse sequences depending on the dominant effects in the system. According to some embodiments, general statements about sequence optimality and the benefit of certain structures in the pulse sequence can be made.
For example, the minimal number of free evolution blocks required to achieve full suppression of certain effects can be constrained, in some embodiments. Without being bound by theory, in the case of ideal pulses, full cancellation of interactions, for instance, requires at least 3 free evolution blocks in order to achieve the necessary symmetrization, while full cancellation of both interactions and disorder requires 6 free evolution blocks to cover the ±{circumflex over (x)}, ±ŷ, ±{circumflex over (z)} directions.
In some embodiments, to suppress all average Hamiltonian terms in the presence of pulse imperfections, at least 12 free evolution blocks are required. This is because the parity condition equation (17) for interaction cross terms requires one of the frame orientations to appear twice with the same sign, so in order to achieve the symmetrization between all directions, at least 12 free evolution blocks are required. One embodiment of such a pulse sequence, for example, can be represented as
(with the fourth row time label not included as all pulses are of equal duration). According to some embodiments, this pulse sequence decouples all average Hamiltonian terms with only 12 free evolution blocks.
Although some embodiments described herein focus on average Hamiltonian theory, higher-order effects can also be incorporated. For example, in some embodiments the Magnus expansion, as described in equations (4)-(6), can be utilized. Without being bound by theory, in this case the average Hamiltonian theory corresponds to truncating the Magnus expansion to zeroth order. However, some embodiments retain more orders of the Magnus expansion and thereby higher-order effects can be suppressed.
First, in some embodiments, combining a pulse sequence with its time-reversed counterpart automatically suppresses all first-order Magnus expansion contributions. In some embodiments, such as with applications such as AC sensing, design protocols are designed so that the time-reversed counterpart does not cancel the desired sensing field contributions.
Second, in some embodiments, the magnitude of higher-order contributions can be reduced by taking into account the dominant energy scales in the system and designing pulse sequences to suppress such effects first, as one of ordinary skill would understand in light of this disclosure. Without being bound by theory, this can be because the commutators of other evolution pieces with the dominant Hamiltonian terms cancel. In some embodiments, this type of higher-order suppression can be extended to disorder-dominated or control-inhomogeneity-dominated systems, as discussed further herein. In some embodiments, the technique of second-averaging in NMR can also allow engineering a dominant term in the Hamiltonian, such that the effects of undesired contributions are suppressed. In some embodiments, the fastest timescale of the pulse sequence is designed to suppress the highest priority effect or contribution.
Third, in some embodiments, since the representation described herein can provide a complete description of the Hamiltonian at all times, the design conditions can be rewritten to directly incorporate higher-order Magnus terms. In some embodiments, this design process can be simplified by using techniques such as pulse cycle decoupling, which allows analysis of the higher-order decoupling properties of a sequence based on its individual building blocks, as would be understood by one of ordinary skill in the art in light of this disclosure.
In some embodiments, the techniques described in the present disclosure can be combined with other techniques, such as spin-bath engineering, photon-collection optimization, double-quantum magnetometry, and novel diamond growth techniques, which together can push the volume-normalized sensitivity even lower, for example below the picotesla level in a μm3 volume for spin densities above 50 ppm. Such a sensitivity can be applied, according to some embodiments, to many applications, such as nanoscale nuclear magnetic resonance and investigations of strongly correlated condensed matter systems. In some embodiments, example fault-tolerant sequences designed according to the disclosed protocol can be generate a broad class of many-body Hamiltonians, for example based on a time-domain transformations of local Pauli spin operators, providing a tool to apply non-equilibrium phenomena in driven quantum systems as well as to create highly entangled states for, for example, interaction-assisted quantum metrology.
Without being bound by theory, example embodiments of the disclosed protocol for designing pulse sequences go beyond the limitations of current design methods in the following aspects, as discussed throughout the present disclosure.
Fault-Tolerance:
Different types of average Hamiltonian effects, including those of finite pulse imperfections, can be readily incorporated as concise, intuitive algebraic conditions on the choice of toggling frame orientations, according to some embodiments. This provides, in some embodiments, a protocol to design pulse sequences for interacting spin ensembles that have robustness automatically built in.
Generality of Hamiltonian:
Embodiments of the present disclosure can be used for general spin-½ Hamiltonians under the secular approximation (e.g., rotating wave approximation in a strong external magnetic field). This can include the standard on-site disorder and dipolar interaction terms, and/or can also extend to two-body imaginary spin-exchange interactions, and/or generic interactions involving up to three-body spin operators.
Versatile Adaptation to Different Experimental Systems:
Existing NMR approaches use pairs of π/2 pulses (solid echo pulse block) for interaction decoupling. This approach can decouple interactions first, but may only be effective for systems dominated by dipolar interactions. Embodiments of the disclosed protocol allow for the design of pulse sequences that are specifically tailored to other types of systems, where disorder or control inhomogeneities are dominant, even while interactions still play a role in the dynamics (see
Optimality:
In some embodiments, using simple algebraic conditions described throughout the present disclosure for decoupling of various effects, the shortest length to achieve full decoupling of a given set of terms can be determined. Embodiments of the disclosed combinatorial analysis can be used to provide sequences that can provide optimal sensitivity to AC signals.
Adaptable to Many Applications:
Embodiments of the disclosed protocol can be adapted to many applications beyond magnetometry using NV centers, such as quantum sensing and quantum simulation, which can impose additional requirements that can be input into the disclosed protocol.
Example applications of embodiments of the disclosed protocol include, but are not limited to:
Protecting Quantum Information:
In some embodiments, interacting spin ensembles can be dynamically decoupled to protect the coherence of an initial state. In some example applications, disorder terms in the Hamiltonian can be fully canceled, and interactions can be symmetrized into a Heisenberg form. Since the example polarized initial states are an eigenstate of the Heisenberg Hamiltonian, such embodiments will not experience dephasing under such an interaction, and the coherences will be long-lived, thereby protecting quantum information stored in the initial state.
Quantum Sensing:
In addition to the conditions for dynamical decoupling described throughout the present disclosure, embodiments of sequences developed using the disclosed protocol can have well-defined sensing resonances, such that efficient phase accumulation is incurred due to an external field to be sensed. Without being bound by theory, the Fourier transform of the disclosed toggling frame representation can demonstrate this example property. In some embodiments, optimizing sensitivity can involve aligning the resonance frequency and phase for each of the axes directions to a field to be sensed, as well as or in the alternative to choosing optimal initialization and readout directions described throughout the present disclosure.
Quantum Simulation:
In some embodiments, the conditions for full decoupling can be relaxed, allowing the disclosed protocol to engineer specific types of many-body disorder and interaction Hamiltonians. For example, the same description for the cancellation of certain Hamiltonian terms can be rephrased for the engineering of the Hamiltonian, by changing the condition from being equal to zero into being a finite value, for example as described in the description of Quantum Simulation below.
Without being bound by theory, for purposes of understanding certain example pulse imperfections, in some embodiments a general form of a Hamiltonian can be given by:
Finite Pulse Width Effects:
Without being bound by theory, according to some embodiments, the derivation of the average Hamiltonian for a π/2 pulse with finite pulse width can be given as follows. According to some embodiments, in an example in which the initial toggling frame with {tilde over (S)}x(0)=Sx,{tilde over (S)}y(0)=Sy,{tilde over (S)}z(0)=Sz is rotated, such that the rotation brings the frame from +z into +y, in the interaction picture relative to the instantaneous control pulse, the operators are transformed as {tilde over (S)}x(θ)=Sx,{tilde over (S)}y(θ)=Sy cos θ−Sz sin θ, {tilde over (S)}zθ=Sz cos (θ)+Sy sin θ. Plugging this into the form of the average Hamiltonian, the instantaneous interaction picture Hamiltonian discussed above can be found.
Without being bound by theory, the transformation properties of the interaction during the free evolution period can, in some embodiments, also dictate the response during the finite pulse width evolution. For example, the disorder and imaginary spin exchange terms, which transform linearly in Fμk, involve cos θ or sin θ terms and operators that are proportional to the corresponding Hamiltonian terms in the toggling frames preceding and following the pulse. Meanwhile, the real spin exchange and Ising terms, which transform quadratically in Fμk, involve similar terms with cos2 θ and sin2 θ prefactors.
Analysis of Rotation Axis Errors:
In some embodiments, incorporation of axis errors depends on details of experimental implementation. In some embodiments, the Hamiltonian is described by the cross product of the rotation angle error and disorder. In some embodiments, this obtains results conditioning.
Without being bound by theory, example decoupling conditions for three-body interactions are described below, according to some embodiments. Without being bound by theory, in the limit of ideal pulses, the decoupling conditions described throughout the present disclosure can partially or fully suppress dynamics under any three body interactions for a polarized initial state, according to some embodiments. An example extension of the formalism can account for finite pulse duration effects in the presence of three-body interactions.
Some physical systems only involve two-body interactions, while other systems can involve interactions involving more particles, which can lead to a number of physical phenomena, in some embodiments. For example, fractional quantum Hall state wavefunctions can appear as the ground state of Hamiltonians involving three-body interactions, and other examples of topological phases and spin liquids can be constructed as ground states of such many-spin Hamiltonians. Other examples include cold molecules, superconducting qubits, and a higher-order term in the Magnus expansion of a system with only two-body interactions. Thus, transformation of three-body interactions under periodic driving and the application of the disclosed protocol are discussed below.
First, to the complete control and engineering of such interactions, example conditions for dynamical decoupling of such interactions to suppress any dynamics for a polarized initial state are disclosed, according to some embodiments. For example, interactions under the secular approximation can be considered such that all terms in the Hamiltonian commute with a global magnetic field in the 2-direction.
Ideal Pulse Limit:
without being bound by theory, before discussing example details of the three-spin coupling, the following nonlimiting lemma for interactions under the secular approximation can be proved.
Lemma: For any interaction under the secular approximation, averaging under the spin-½ single qubit Clifford group can be equivalent to averaging under unitary operators that cover the six axis directions.
Proof: without being bound by theory, the lemma can be proved by first considering a generic n-body interaction Hamiltonian H and a set of unitary operators Uk (k=1, 2, . . . ,N) to average over, then
The elements of the Clifford group can be grouped by how they transform the Sz operator, such that each set contains elements that satisfy U†SzU=(−1)vSμ, but U†SxU can take four distinct values that are orthogonal to the Sμ operator direction. In the disclosed frame representation, these can correspond to a single term specified by (−1)vSμ. Thus, proving the lemma reduces to proving that the four Clifford elements above give identical Hamiltonians.
Given two elements U1 and U2 in the set, there can exist a rotation Uz around the {circumflex over (z)} axis such that U1=UzU2 (this leaves the interaction picture {tilde over (S)}z invariant, but changes {tilde over (S)}x). The Hamiltonian under conjugation by U1 can then be given by
H
1=(U1†)⊗nHU1⊗n=(U2†)⊗n(Uz†)⊗nHUz⊗nU2⊗n. (31)
Under the secular approximation, a rotation around the {circumflex over (z)} axis does not modify the Hamiltonian, since the Hamiltonian can commute with the global Sz. Consequently, the preceding average Hamiltonian after conjugating by U1 can be equal to that conjugating by U2, proving the lemma.
In some embodiments, without being bound by theory, given this lemma, mathematical results from unitary t-designs can show that after symmetrizing along the six axis directions, as can be guaranteed by the conditions described in the present disclosure, a polarized initial state can be an eigenstate of the resulting symmetrized Hamiltonian.
In some embodiments, a Unitary t-design is a set of unitary operators {Uk}, such that for every polynomial P(t,t)(U) of degree at most t in U and at most t in U*, the average over {Uk} can be equivalent to the average over the Haar measure of all unitaries of the same dimension. Without being bound by theory, this can imply that for any N-body operator with N≤t, the expectation values after performing a global conjugation by the unitaries are the same
where (2) is the unitary group of dimension 2. This can imply that the effect of averaging over the finite set of unitary operators {Uk} can be equivalent to averaging over all random unitaries, up to observables of order t.
Without being bound by theory, the symmetrizing properties of the right-hand-side of Equation (32), where the average is taken over all elements of the unitary group over the Haar measure, can imply that the resulting average operator U can only contain terms proportional to elements of the symmetric group St of order t, according to some embodiments. This can be because all other terms can be transformed and symmetrized out by the average, but elements of the symmetric group, which permute the labels of the states, can be invariant due to the product structure of the unitary operators, in some embodiments.
The Clifford group can form a unitary 3-design. Without being bound by theory, in some embodiments, this, combined with the lemma presented above, this can imply that for any sequence that equally covers all six axis directions, all interactions involving three particles or less can be symmetrized into a form that only contains terms proportional to elements of the symmetric group. In some embodiments, any initial state with all spins polarized in the same direction can then be an eigenstate of this symmetrized interaction, since this state can be invariant under any permutation of the elements. Correspondingly, a polarized initial state does not experience decoherence under this interaction, according to some embodiments.
As a nonlimiting example of this result, the interaction Hint=J(SxSySz)−SySxSz can be considered. The symmetrized Hamiltonian can be calculated to be
where ∈ijk is the Levi-Civita symbol. Without being bound by theory, in some embodiments it has been verified that any globally polarized initial state can be an eigenstate of the symmetrized Hamiltonian with eigenvalue 0.
Without being bound by theory, in some embodiments, the preceding procedure can also suggest that four-body interactions can still induce dynamics after symmetrization, since the Clifford group is not a unitary 4-design. It has been verified that this is the case by considering the symmetrized interaction (Sx)⊗4+(Sy)⊗4_(Sz)⊗4, which is found to act nontrivially on a generic polarized initial state.
Finite Pulse Duration Effects:
Without being bound by theory, in some embodiments, to achieve robust dynamical decoupling of the interaction Hamiltonian, finite pulse duration effects for three-body interactions can be considered. For this purpose, the disclosed representation of the transformation properties of an interaction term based on the matrix F can be used, which can provide a complete description of the Hamiltonian under the secular approximation, according to some embodiments. Without being bound by theory, in some embodiments, considering up to three-body interactions, similar to equations (11-14), the transformation properties of a generic n-body interaction can be written as a polynomial in Fμk:
where Gl includes the spin operators and remaining coefficients. For example, without being bound by theory, any nontrivial three-body interaction can be written as a sum of terms, each composed of a product of nontrivial Pauli operators. The Sx and Sy operators can change the total magnetization by 1, so that under the secular approximation there can be an even number of them. Consequently, the interaction can either be of the form SzSzSz, or involve the tensor product of an Sz operator and a polarization-conserving two-body operator, which can be SxSx+SySy or i(SxSy−SySx). Without being bound by theory, in some embodiments, each term can be written as a product of individual pieces that transform as Fμk. For example, the three-body interaction
In some three-body interaction embodiments, the first step is to control decoupling.
As shown in
Without being bound by theory, in some embodiments, a spin ensemble, including the applied control fields and the external sensing field, can described by the Hamiltonian
H=H
0
+H
Ω(t)+HAC(t), (36)
where the internal system Hamiltonian is
containing both on-site disorder and long-range dipolar interactions between spins. Global time-dependent control pulses used for spin manipulations can be given by HΩ(t)=Σi(Ωix(t)Six+Ωiy(t)Siy) and an external target signal by HAC(t)=γNVBAC cos(2πfACt−ϕ)ΣiSiz. In this example embodiment, Siμ(μ=x, y, z) are spin-½ operators, hi is a random on-site disorder potential following a normal distribution with standard deviation W=(2π) 4.0 MHz, Jij/rij3 is the anisotropic dipolar interaction strength between two spins of the same crystallographic orientation at a distance rij with an average strength of J=(2π) 0.1 MHz at a typical separation. The global control amplitudes, Ωix,y(t), can be position-dependent due to spatial field inhomogeneities, γNV is the gyromagnetic ratio of the NV center, and BAC, fAC and ϕ are the amplitude, frequency and phase of the target AC signal, respectively.
Without being bound by theory, in order to achieve a significant extension of the spin coherence time T2 in the presence of interactions, a protocol can be used to design pulse sequences that can suppress interactions and disorder, and can be additionally fault-tolerant against rotation angle errors and finite pulse duration effects, according to some embodiments. For example, an average Hamiltonian theory can be applied to engineer the system Hamiltonian through pulsed periodic manipulation of the spins. In some embodiments, a sequence composed of n equidistant control pulses {Pk; k=1, 2, . . . , n} with spacing τ can define a unitary operator over a period T given by U(T)=. . . . Here, {tilde over (H)}k=Uk†H0Uk are the transformed Hamiltonians in the interaction picture with Uk=Pk . . . P2P1 and Un=1. In some embodiments, if the pulse spacing τ is much shorter than the corresponding timescales of the system
or the dynamics of the many-body state |ψ(t) can be governed by an effective average Hamiltonian
such that at |ψ(t)=(T)N|ψ(0)≈eiH
In some embodiments, a pulse sequence can be developed that generates a desirable form of Have from the original H0 intrinsic to the system. In some embodiments, an ideal pulse sequence can be designed to yield Have=0 and thus preserve quantum coherence for all initial states. In some embodiments where interactions cannot be fully cancelled in the NV ensemble if the system is subject to global spin rotations only, H0 can be engineered to transform into an average Hamiltonian of the Heisenberg interaction form,
Polarized states are eigenstates of this Have, and we therefore expect the coherence of our polarized initial states to be protected.
In some embodiments, without being bound by theory, Hamiltonian engineering can be understood as the result of frame transformations, which rotate the interaction-picture operators (
Without being bound by theory, in some embodiments the Hamiltonian analysis presented in the three preceding paragraphs has assumed infinitely short pulses with no errors. In some example applications, such an ideal setting is unrealistic, as imperfections of the average Hamiltonian, δHave, can arise from control errors and the finite pulse width. However, the same description of the average Hamiltonian in terms of the interaction-picture Sz operator also allows simple algebraic conditions to be written for suppressing the dominant effects of disorder and interactions during the finite pulses as well as the impact of rotation angle errors. Thus, pulse sequences can be systematically generated that are fault-tolerant to all of these imperfections, to yield a pure Heisenberg Hamiltonian with δHave=0.
Without being bound by theory, to illustrate the importance of embodiments of the disclosed robust sequence design, the decoupling efficiency of a pulse sequence (Sequation A in
Without being bound by theory, in some embodiments, the sensitivity of a sequence to an external signal field can be influenced by both by the achievable coherence time and the spectral response of the sequence. For AC magnetic field sensing, one approach to improving sensitivity is to implement a periodic inversion of the spin operator between Sz and −Sz in the interaction picture, driven by a train of equidistant π pulses at a separation of
This modulation can allow for the cumulative precession of the sensor spin when the AC signal sign change coincides with the frame inversion, resulting in high sensitivity to a signal field at fAC.
Without being bound by theory, example decoupling sequences developed using the disclosed protocol explore all three frame directions Sx, Sy, Sz. Similar techniques can be used to design a sensor resonance at the target frequency. In some example embodiments, the criterion for AC selectivity includes periodic frame inversions in each of the three axes. This can be satisfied while at the same time preserving the desired Have, which produces long coherence times through robustness to disorder, interactions and pulse imperfections.
where N is the sequence repetition number, T is the duration of the Floquet period, and {tilde over (Ø)}μ(f) is the spectral phase capturing the relative phase difference between different axes.
In addition to designing the frequency response of the sequence, in some embodiments optimal spin initialization and readout procedures that provide the best sensitivity can be developed. Without being bound by theory, generalizing the average Hamiltonian analysis to incorporate the AC signal field, the average sensing Hamiltonian can be given by:
where {right arrow over (B)}eff is an effective magnetic field vector in the interaction picture which appears static to the driven spins. In such an example, the spins undergo a precession around {right arrow over (B)}eff, with the field orientation determined by the frequency-domain modulation functions {tilde over (F)}μ and the strength by the total intensity |{tilde over (F)}t| value. For the XY-8 sequence, {right arrow over (B)}eff ∝([0, 0, 1] with |{tilde over (F)}x|=|{tilde over (F)}y|=0 and |{tilde over (F)}z|≠0. In this case, spin initialization into the {circumflex over (x)} or ŷ axis (perpendicular to {right arrow over (B)}eff) provides best sensitivity. In some embodiments, implementing the disclosed interaction-symmetrization means that only ⅓ of the total sensing time can be spent along any given axis, resulting in {right arrow over (B)}eff ∝[0, 0, ⅓] and a significant loss of sensitivity for any interaction decoupling sequence. This can be overcome by making use of the vector nature of {right arrow over (B)}eff to achieve optimal sensitivity. Without being bound by theory, in the example Sequation B, the signal at the principal resonance fAC gives rise to |{tilde over (F)}x|=|{tilde over (F)}y|=|{tilde over (F)}z| with {tilde over (Ø)}x={tilde over (Ø)}y={tilde over (Ø)}z, leading to {right arrow over (B)}eff∝[⅓,⅓,⅓]. The resulting strength |{right arrow over (B)}eff| of Sequation B can be limited to 1/√{square root over (3)} of the value reached in XY-8, due to interaction symmetrization. Under this constraint, sensitivity can be maximized by initializing the spins in a plane substantially perpendicular to the [⅓,⅓,⅓]-direction to allow the largest precession orbit, thereby optimally accumulating phase from the signal. This perpendicular direction is shown in
In some embodiments, for spin-state readout, a rotation axis [−1, 1, 0] and an angle of cos−1(√{square root over (⅔)}) to rotate the precession plane parallel to the {circumflex over (z)} axis, which can provide maximal signal contrast.
As discussed above, in some embodiments, the disclosed Sequation B developed in accordance with the disclosed protocol can demonstrate long coherence times and optimal initialization and measurement conditions. Without being found by theory, this section characterizes the sensitivity of example implementations of Sequation B, and compares it to the XY-8 sequence.
Without being bound by theory, magnetic field sensitivity can be described as the minimum detectable signal amplitude per unit time, and can be given by
Here, S is the sensor signal contrast, σs is the uncertainty of S for one second of averaging, and |dS/dBAC| is the gradient of S with respect to the field amplitude BAC. For sensing nonlimiting example measurements, the following parameter values can be selected: a green laser power of 75 μW, repolarization duration of 6 μs, and photon-counting period of 1.2 μs to optimize the absolute sensitivity. For a comparison of the nonlimiting example sensing performances of the two sequences (Sequation B and XY-8), the interrogation time can be independently optimized, the number of periods the sequence can be repeated, as well as the phase and frequency of the AC signal.
where α is the exponent of the decoherence profile and Tp is the preparation time needed for sensor initialization and readout.
In some embodiments, by identifying the minimum η value at an optimal sensing time, the example best volume-normalized sensitivity, ηv=η√{square root over (V)}, can be extracted for each sequence. Example implementations of Sequation B, designed with the fault-tolerant optimal sensing approach described throughout the present disclosure, reaches more than 30% improvement in sensitivity over the XY-8 sequence. With these enhancements, example implementations demonstrate ηV=28(1) nT·μ.m3/2√{square root over (Hz)} for Sequation B.
Sequation D shows pronounced oscillations, while Sequation B is much more robust.
The phase dependence of different axes is further highlighted in
One measure of a quantum sensor is the sensor's sensitivity, which can refer to how well the quantum sensor responds to (i.e., picks up) faint or small signals. In order to improve the sensitivity of a quantum sensor, a dense ensemble of individual sensors can be used to take advantage of parallel averaging. For example, without being bound by theory, the sensitivity enhancement with increasing sensor density can be described in some example implementations by the standard quantum limit (SQL) which can take the form ηv∝1/√{square root over (pT2)}, where ηv is the volume-normalized field sensitivity, p is the sensor density and T2 is the relevant coherence time. However, the SQL does not always hold across all densities. For example, in some applications at high densities, the interactions between sensors can increase, which can lead to a decrease in the spin-spin relaxation time T2, which is a measure of the coherence time of a quantum spin. This limit on T2 can arise from interactions that drive thermalization, a process that can lead to a system losing its coherence over time. Consequently, the sensitivity of conventional quantum sensor applications, which often neglect interactions between sensors, can deviate from the SQL beyond a certain critical density and become limited by spin-spin interactions.
The performance of example applications of pulse sequences designed using the disclosed protocol are described below. A first example application applies the disclosed protocol to design different dynamical decoupling pulse sequences that are targeted towards the suppression of different types of dominant effects. Without being bound by theory, the timescales in which disorder and interaction are decoupled (Tw, TJ) are compared for different sequences. In some embodiments, these timescales have an effect on the decoupling properties.
In the example of
Without being bound by theory, given these design considerations, example implementations of the Cory-48 pulse sequence perform better in the regime of large interaction strengths (e.g. NMR), while example implementations of Sequation B to performs better for disorder-dominated systems (e.g. electronic spin ensembles).
This is verified in an example application by performing exact diagonalization simulations of a disordered, interacting ensemble of 12 spins, under a variety of disorder and interaction strengths, with each parameter set averaged over 100 disorder realizations, according to some embodiments. The pulse duration is chosen to be infinitesimally short and τ=20 ns, so that Jτ and Wτ are the only dimensionless parameters of the system. The results are shown in
Embodiments of the disclosed protocol can also facilitate the design of pulse sequences for quantum sensing in the presence of interactions, disorder, and control inhomogeneities. Without being bound by theory, the sensing properties of a sequence can be captured by the Fourier transform of the first three rows of the frame matrix F. This can also be conceptualized as a generalization of the usual sensing modulation function to the vector case. In embodiments of this disclosed application, the generalized modulation function describes an effective vector magnetic field induced by the sensing signal, and highlights the impact of both the magnitude and relative phase alignment between the components in different directions.
Incorporating AC Sensing Fields into the Protocol:
without being bound by theory, AC sensing can be incorporated into the disclosed protocol by adding an additional Hamiltonian term
H
s(t)=B(t;ω,α)Sz, (40)
with the target AC sensing magnetic field chosen to be B(t; ω, α)=Re[B0exp(−iωt+iα)], where Re denotes taking the real part, and B0, ω, α are the amplitude, frequency and phase of the magnetic field. The average Hamiltonian contribution corresponding to the sensing field can be given by
where Fμ(t) can satisfies Uc†(t)SzUc(t)=ΣμFμ(t)Sμ, corresponding to the frame matrix Fμ,i combined with intermediate connecting pieces due to finite pulse durations, and
is the frequency domain modulation function, which characterizes the frequency response of a pulse sequence, according to some embodiments.
Without being bound by theory, the resulting Hamiltonian Equation (40) corresponds to a precession around an effective magnetic field specified by (Re[{tilde over (F)}x(ω, α)], Re[{tilde over (F)}y(ω, α)], Re[{tilde over (F)}z(ω, α)], as illustrated in FIG. C, with total magnitude
Since {tilde over (F)}μ(ω, α)2 has the complex phase dependence e2iα, for a given target field frequency, the preceding field strength has maximum value
Without being bound by theory, the magnetic field sensitivity will then be inversely proportional to the effective field strength.
Analysis of Sensing Pulse Sequences:
First, considering the example XY-8 sequence, employed for AC magnetic field sensing with non-interacting spins, as illustrated in
resulting in an effective magnetic field that is pointing in the [0, 0, 1] direction, as shown in the upper view of
Without being bound by theory, this type of structure where all of the sensing phase accumulation is concentrated along one axis (Z in
In some embodiments of pulse sequences designed using the disclosed protocol, utilizing all three directions of the effective field can make it is possible to make the reduction factor only √{square root over (3)} instead, as illustrated in
can be aligned to efficiently accumulate phase for each of the three axes, as shown in
Thus, although the field strength in each direction can be limited to around BM/3, use of an effective magnetic field pointing along the (1,1,1)-direction can result in a total field strength of BM/√{square root over (3)}. This effective field direction can also use an unconventional spin initialization and readout direction, as illustrated in the lower view of
can be employed for the readout pulse, while for the initialization pulse, the spin can be rotated around (−1, 1, 0) by arccos
into the (−1, −1, 2)/√{square root over (6)} direction for cosine magnetometry, or the spin can be rotated around (1, 1, 0) by π/2 into the (1, −1, 0) direction for sine magnetometry.
Without being bound by theory, in some embodiments, in addition to the amplitude of the frequency domain modulation function, the relative phases can also play a role in determining the resulting sensitivity. This can be the case, for example, for the two different resonance peaks in the right view of
that is illustrated in
At this frequency, the phase of the sensing signal at which precession is maximized can be different for each of the three axes. Consequently, even though the magnitude of the example resonance peaks in each of the three directions is the same, the terms {tilde over (F)}x(ω, α), {tilde over (F)}y(ω, α), {tilde over (F)}z(ω, α) can be 120° out-of-phase from each other, and in Equation (44), the contribution of the second term is not maximized for resonance {circle around (2)}, as also illustrated pictorially in the bottom view of
As a result, in some embodiments, although the resonance peak heights for each axis direction can be slightly lower for resonance {circle around (1)} compared to resonance {circle around (2)}, the total field sensitivity can be higher for the former. Consideration of both the amplitude and the phase of the frequency domain modulation functions can therefore have an effect on sensitivity.
Without being bound by theory, in some embodiments, the preceding analysis demonstrates that the disclosed protocol can serve as a tool for the design of quantum sensing pulse sequences in the presence of interactions, disorder, and control imperfections. In addition to the scenarios explicitly described in the present disclosure, the average Hamiltonian approach can provide a characterization of other effects such as spurious harmonics, which cab show up as additional undesired spectral resonances in the total modulation function.
These results can also be applicable to gradient-based magnetic resonance imaging experiments with oscillating gradients. One limitation of some implementations of this approach is that at large target sensing field amplitudes, the rotations induced by the sensing field may not commute with the rotations designed to achieve decoupling and cancellations, and can result in a reduction of the disorder and interaction decoupling efficiencies. The disclosed protocol can be used to design pulse sequences that combat such issues.
Algebraic Constraints and Optimality:
Without being bound by theory, in some embodiments, optimizing for magnetic field sensitivity can also impose new algebraic constraints. The techniques described throughout the present disclosure can be used to explore constraints on the structure of pulse sequences, as well as optimality of sensing sequences.
First, without being bound by theory, maintaining high sensitivity for AC magnetic field sensing can be incompatible with some embodiments of the algebraic rules above for any pulse sequence that uses a single pulse for π/2 rotations, and require the use of composite pulse rotations to overcome. For sensing purposes and in order to decouple on-site disorder as rapidly as possible, it can be desirable to have a periodic structure in which the free evolution periods have frame directions that alternate between +1, −1, as shown in the example of sequence C in
In addition, without being bound by theory, the maximum possible effective field strength in the limit of ideal pulses can be determined, in some embodiments. While the effective field direction [1,1,1] can be close to optimal, it can in fact be further improved slightly by adding an imbalance between the phase accumulation along each axis, in some embodiments. While the sum of the phase accumulation along all axes can be fixed, the effective field strength can depend on the sum of squares of the phase accumulation. Thus, the effective field strength can be increased when the phase accumulation is different along the three axes, which can be achieved by choosing the frame along one of the axes to be at the troughs of the sinusoidal signal, such that there is more phase accumulation, in some embodiments. In the case of finite pulse durations, unequal free evolution times along each axis can be chosen to further increase the imbalance and improve sensitivity.
While embodiments of the disclosed protocol can enable the design of effective dynamical decoupling sequences and optimal sensing sequences, in which the effects of disorder and interaction terms are suppressed, it can also be readily adapted to engineer various Hamiltonians.
For example, without being bound by theory, in some embodiments, when the conditions equations (15, 16) for decoupling different disorder and interaction effects are not satisfied, the magnitude of the residual term can precisely correspond to the remaining average Hamiltonian of the system. For example, if all other conditions are satisfied, but, Σk Fx,k=a≠0 then the average Hamiltonian will be
Similarly, uniform single-body terms can be engineered via, for example, intentional detuning or systematic rotation angle deviations, disordered single-body terms via incomplete cancellation of onsite fields, disordered Ising interactions along each axis via incomplete symmetrization between the three axes, and/or disordered XY-type interactions via incomplete cancellation of cross terms.
Without being bound by theory, a few constraints can exist on the form of the two-body interaction Hamiltonian. For example, the Heisenberg component of the interaction can remain invariant, since it is not transformed under global rotations. In another example, some of the Hamiltonian terms can transform in the same way (for instance disorder and imaginary spin exchange), and consequently cannot be independently engineered. In another example, the resultant Hamiltonian can experience a rescaling in magnitude, due to the finite projection of the initial Hamiltonian onto the final Hamiltonian. Eventually, contributions from higher-order terms in the Magnus expansion can also become important, but in the presence of a relatively strong target engineered Hamiltonian, higher-order terms that do not commute with the target Hamiltonian can be largely suppressed.
As a nonlimiting example of the range of Hamiltonians that may be engineered, the different possible interactions that a native interaction of the form Hint=XX+YY−ZZ (for example, as realized in the spin-½ subspace of interacting spin-1 NV centers) can be transformed. Without being bound by theory, in some embodiments, by evolving for a duration (1−c)T under this original Hamiltonian, and using π/2 pulses to transform the Hamiltonian and evolve under ZZ+XX−YY and YY+ZZ−XX for duration cT/2 each, the average Hamiltonian can be written as
{tilde over (H)}
eff=(1−c)(XX+YY)+(2c−1)ZZ, (45)
which depending on the value of c, can be continuously varied between an integrable Ising interaction (c=1), a Heisenberg interaction (c=⅔), and an XY interaction (c=½). Combined with the techniques for robust engineering of other terms in the Hamiltonian, such that imperfections are suppressed, this facilitates access a broad range of interacting, disordered Hamiltonians, with different thermalization properties. Thus, the disclosed protocol can also serve as a powerful tool for the robust Floquet engineering of many-body Hamiltonians, for example, for quantum simulation.
This application claims the benefit of priority to U.S. Provisional Application No. 62/814,775, entitled “Surpassing the Interaction Limit to Quantum Sensing with Fault-Tolerant Control,” filed on Mar. 6, 2019, the disclosure of which is hereby incorporated by reference in its entirety.
This invention was made with Government support under Grant # N00014-15-1-2846 awarded by the United States Department of Defense and the Office of Naval Research and Grant # W911NF-15-1-0548 awarded by the United States Army and the Army Research Office. The government has certain rights in the invention.
Number | Date | Country | |
---|---|---|---|
62814775 | Mar 2019 | US |