Abstract
Critical quantum metrology, which exploits quantum critical systems as probes to estimate a physical parameter, has gained increasing attention recently. However, the critical quantum metrology with a continuous quantum phase transition (QPT) is experimentally challenging since a continuous QPT only occurs at the thermodynamic limit. Here, we propose an adiabatic scheme on a perturbed Ising spin model with a first-order QPT. By introducing a small transverse magnetic field, we can not only encode an unknown parameter in the ground state but also tune the energy gap to control the evolution time of the adiabatic passage. Moreover, we experimentally implement the critical quantum metrology scheme using nuclear magnetic resonance techniques and show that at the critical point the precision achieves the Heisenberg scaling as 1/T. As a theoretical proposal and experimental implementation of the adiabatic scheme of critical quantum metrology and its advantages of easy implementation, inherent robustness against decays and tunable energy gap, our adiabatic scheme is promising for exploring potential applications of critical quantum metrology on various physical systems.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Introduction
Quantum metrology, which makes use of the superposition and entanglement, can achieve far better precision than the classical schemes1,2,3. In the conventional scheme of quantum metrology, the estimation of an unknown parameter is typically achieved by first preparing a probe state, then letting the probe evolve under a dynamics that encodes the unknown parameter, the value of the parameter can then be estimated from the evolved state via a suitable measurement1,2,3,4.
With an entangled probe state, quantum metrology can potentially enhance the precision from the classical shot noise limit, which scales as N−1/2, to the Heisenberg limit, which scales as N−1, here N is the number of the probes1,2,4,5,6,7,8,9,10,11,12,13. The classical shot noise limit and the Heisenberg limit can also be considered in terms of the evolution time, T, where the precision scales as T−1/2 for the shot noise limit and T−1 for the Heisenberg limit14,15. For the conventional scheme, which consists of preparation, evolution and measurement, the ability to prepare highly entangled probe states or maintain a sufficiently long coherent evolution is essential to achieve a precision beyond the classical limit. This quantum advantage is not achievable in general for systems subject to noise.
Recently, the critical quantum metrology16,17,18,19,20,21,22,23,24,25,26,27,28 has attracted increasing theoretical interest since it combines the advantages of the intrinsic robustness due to the adiabatic evolution16,29 and high sensitivity near the critical point. Similar to the adiabatic quantum computation30,31,32, the critical quantum metrology with adiabatic evolution starts with the ground state of an initial Hamiltonian, which is easy to prepare, then evolves adiabatically to the ground state of the final Hamiltonian close to the critical point that encodes the unknown parameter. However, previous protocols typically consider systems with a continuous quantum phase transition (QPT), which only exists at the thermal dynamical limit, and the minimal energy gap at the critical point is also in general fixed which limits the speed of the adiabatic evolution. Such requirements impose great challenges on the experimental realization of the critical quantum metrology.
In this work, we overcome these challenges and propose an adiabatic scheme by employing a perturbed two-spin system with a first-order QPT where the energy gap can be tuned by introducing a small transverse magnetic field which lifts the energy crossing and controls the time required by the adiabatic passage. This can also be used to tune the trade-off between the precision and the bandwidth of the estimation. Moreover, we experimentally implement the scheme using a two-spin nuclear magnetic resonance (NMR) system and demonstrate a precision at the Heisenberg scaling of the probe time T as 1/T. The adiabatic scheme is inherent robust against the decay since it remains at the ground state during the evolution, which we also verify with numerical simulations. As a first theoretical proposal and experimental implementation of the adiabatic scheme of critical quantum metrology, it opens an avenue for exploring potential applications of critical quantum metrology on various physical systems.
Results
Quantum critical model
The quantum critical model employed in our adiabatic scheme of the critical quantum metrology is a two-spin-1/2 Ising model with the Hamiltonian
where \({\sigma }_{z}^{i}\) is Pauli operator on the ith spin, Bz is a longitudinal magnetic field to be estimated. The ground state of the Hamiltonian is given by
with the corresponding eigenenergies 1 + 2Bz, −1 and 1 − 2Bz, respectively. At Bz = ±1, a first-order QPT occurs, where the energy-level crossing exactly exists as well as a sudden change of its ground state. The ground state has a degeneracy of 2 when −1 < Bz < 1. The degeneracy, however, can be lifted by restricting to the symmetric triplet space33. Intuitively as the Hamiltonian is invariant under the exchange of the two spins, if the initial state is symmetric then the state will remain in the symmetric space during the evolution. We can thus only consider the symmetric states and the adiabatic evolution is only constrained by the energy gap of the effective Hamiltonian on the symmetric space34.
The ground state on the symmetric space, however, still does not provide a precise information of Bz. To enable the estimation of Bz, we need a one-to-one correspondence between Bz and the ground state. To achieve that we can add a small transverse field with Bx ≪ 1,
which preserves the symmetry. The energy-level crossing is lifted and the energy gap opens linearly with Bx at the critical points Bz = ±135. The transverse field thus transforms the singular jump at the critical point to a non-singular transition over a finite width. By tuning Bx, we can adjust the width and the rate of change near the critical point. This transverse field can also be used to tune the energy gap, which determines the evolution time of the adiabatic passage. Our adiabatic scheme of critical quantum metrology for measuring a magnetic field mainly exploits these properties of the first-order QPT of the Ising model near its critical point Bz = 1.
As a proof of principle, we focus on the local estimation where Bz is within a small neighborhood of a known value. The precision of the local estimation can be characterized by the quantum Cramer-Rao bound (QCRB)1,2,3,36,37 as
here ν is the number of repetitions of the experiment and FQ is the quantum Fisher information (QFI)1,2,3 of the final state, \(\left|\widetilde{g}\right\rangle\). The ground states of \({\widetilde{{{{\mathscr{H}}}}}}_{{{\mathrm{Ising}}}}\) are very close to those of \({{{{\mathscr{H}}}}}_{{{\mathrm{Ising}}}}\), except in the vicinity of the critical points, where the transverse field mixes them, thus avoiding the energy-level crossing. In this region, it is sufficient to consider the two lowest energy state \(\{\left|a\right\rangle := \left|11\right\rangle ,\left|b\right\rangle := \frac{\left|01\right\rangle +\left|10\right\rangle }{\sqrt{2}}\}\). The effective Hamiltonian on the two lowest energy levels can be written as
where 1n denotes the n × n identity operator. When Bz > 0, the ground state of the effective Hamiltonian can be written as
where \(\tan \theta =\frac{\sqrt{2}{B}_{x}}{1-{B}_{z}}\)38. The QFI of the ground state
can then be obtained as
Near the critical point Bz = 1, \({F}_{{{\mathrm{Q}}}}(\left|\widetilde{g}\right\rangle )\approx \frac{1}{2{B}_{x}^{2}}\), which suggests an arbitrarily high precision when Bx → 0. However, the closing of the energy gap when Bx → 0 implies a critical slowing down and an inevitable growth of the protocol duration. A small, finite Bx reconciles this contradiction, as well as enables the adiabatic preparation of the ground state at the critical point Bz = 1. In the following, we shall show that critical quantum probes can achieve a Heisenberg scaling of the sensitivity via a suitable local design of the adiabatic passage to the ground state approaching the critical point.
Experimental protocol
We can implement the adiabatic evolution with an additional control field along the z-direction as
where Bc(t) is the control field which adiabatically changes from a large value to zero. This preserves the symmetry of the evolution. In the experiment, Bz and Bc(t) is combined as a single field which is changed from a large value to some Bz, whose value is then estimated by proper measurements on the final state. The calibration of the measured effective magnetic field can be found in Supplementary Note 6. To gauge the practical advantage near the critical point, however, we also need to evaluate the cost, which is the time, T, required for the adiabatic evolution. A QFI scaling as T2 corresponds to the Heisenberg scaling14,15,39, while a QFI scaling as T corresponds the shot noise limit.
We consider the time required by the adiabatic evolution from an initial large Bz0 to the critical point, Bzc ≈ 1. For the local precision limit where the field is within a small neighborhood of a known field, if the field to be estimated is not near the critical point, we can shift it by compensating it with an additional known field. For general unknown field that is not within a small neighborhood, this can be achieved through the two-step adaptive method40,41. In this two-step method, the experiment is repeated where the first few experiments are used to obtain a rough estimation of the unknown field, with this rough estimation the field can then be shifted to near the critical point in the following experiments. The detailed procedure can be seen in Supplementary Note 2.
The adiabatic path can be described as
where \({\widetilde{{{{\mathscr{H}}}}}}_{{{\mathrm{Ising}}}}({B}_{z0})\) is the initial Hamiltonian and \({\widetilde{{{{\mathscr{H}}}}}}_{{{\mathrm{Ising}}}}({B}_{z{{\mathrm{c}}}})\) is the final Hamiltonian, s = t/T ∈ [0, 1] is the normalized time, the function, A(s), determines the adiabatic path with A(0) = 0 and A(1) = 1.
The time required for the adiabatic path is determined by the adiabatic condition42. The simplest adiabatic path is the linear path, which corresponds to A(s) = s. In this case the evolution time is of the order \(1/{{{\Delta }}}_{\min }^{2}\) (see Supplementary Note 1) with \({{{\Delta }}}_{\min }\) as the minimal energy gap between the ground state and the first excited state30. In our case the energy gap is
with \({{{\Delta }}}_{\min }=2\sqrt{2}{B}_{x}\). For the linear path we thus have \(T\propto \frac{1}{{B}_{x}^{2}}\). The QFI, which is \({F}_{{{\mathrm{Q}}}}(\left|\widetilde{g}\right\rangle )\approx \frac{1}{2{B}_{x}^{2}}\), then scales only linearly with T. More efficient adiabatic evolutions are required to go beyond the shot noise limit. One choice is the local adiabatic path, which adjusts the evolution speed according to the local energy gap as \(\frac{{\mathrm{d}}A(s)}{{\mathrm{d}}s}=c{{{\Delta }}}^{2}(s)\) with c as a constant43. In this case the evolution time is of the order \(\frac{1}{{{{\Delta }}}_{\min }}{{\mathrm{log}}}\,\frac{1}{{{{\Delta }}}_{\min }}\) and the precision can go beyond the shot noise limit (see Supplementary Note 1). Compared with the linear path with a constant speed, the local adiabatic path modifies the speed of the evolution according to the local energy gap. Intuitively, it distributes more time at places of smaller energy gap and evolves faster at places where the energy gap is large. This can speed up the evolution while satisfying the adiabatic condition at all places. Consequently, the scaling of QFI beyond the shot noise limit can be achieved.
In our experiment we further optimize the adiabatic path numerically. The optimization is achieved as follows: (1) first set a threshold on the fidelity, which is denoted as Pc (in our case Pc = 0.9999); (2) start from A(0) = 0, let A1 be the minimal value such that \(| \left\langle g({A}_{1})| {{{\mathrm{e}}}}^{-{{\mathrm{i}}}{{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}({A}_{1})\tau }| g(0)\right\rangle | \le {P}_{{{\mathrm{c}}}}\), here τ is a fixed constant and \(\left|g(A)\right\rangle\) is the ground state of \({{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}(A)\); iteratively, we set Ai+1 as the minimal value such that \(| \left\langle g({A}_{i+1})| {{{\mathrm{e}}}}^{-{{\mathrm{i}}}{{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}({A}_{i+1})\tau }| g({A}_{i})\right\rangle | \le {P}_{{{\mathrm{c}}}}\); (3) If AN ≥ 1, then set AN = 1 and the procedure terminates. An adiabatic path is then obtained with \(A(\frac{i}{N})={A}_{i}\). When Pc is chosen sufficiently close to 1, the obtained path guarantees that the evolved state stays close to the ground state along the path and the time of this path is ∝1/Bx (see ‘Methods’ and Supplementary Note 1). This path is obtained from the fidelity directly, while the linear and the local paths are based on the energy gap which is related to the fidelity in an indirect way. We simulate the evolution of different adiabatic paths with the full Hamiltonian and it can be seen from Fig. 1 that the numerically obtained path shows a better performance.
To saturate the QCRB, we need to perform the optimal measurement, which is the projective measurement on the eigenvectors of the symmetric logarithmic derivative (SLD). The SLD, denoted as L, can be obtained from the equation \(\frac{\partial \rho ({B}_{z})}{\partial {B}_{z}}=\frac{1}{2}[\rho ({B}_{z})L+L\rho ({B}_{z})]\)2,36,37. When \(\rho ({B}_{z})=\left|\widetilde{g}\right\rangle \left\langle \widetilde{g}\right|\), we have \(L=2(\left|{\partial }_{{B}_{z}}\widetilde{g}\right\rangle \left\langle \widetilde{g}\right|+\left|\widetilde{g}\right\rangle \left\langle {\partial }_{{B}_{z}}\widetilde{g}\right|)\), whose eigenvectors are given by
Here θ takes the same value as in Eq. (6). This optimal measurement depends on Bz, and in practice it can be implemented adaptively with the estimated value Bz based on the previously accumulated measurement data40,41,44,45,46.
Experimental implementation
We implement the protocol on the Bruker Avance III 400 MHz (9.4 T) spectrometer at the room temperature. The two nuclear spins, as shown in Fig. 2, are 13C and 1H in the 13C-labeled chloroform which is dissolved in d6 acetone. In the double-resonant rotating frame the natural Hamiltonian of this system is \(\frac{\pi }{2}J{\sigma }_{z}^{1}{\sigma }_{z}^{2}\), where J = 214.5 Hz is the coupling strength. For convenience, we will take the time unit as \(\frac{2}{\pi J}\) and write the Hamiltonian as \({{{{\mathscr{H}}}}}_{{{\mathrm{NMR}}}}={\sigma }_{z}^{1}{\sigma }_{z}^{2}.\) The transverse field can be realized by the on-resonance radio-frequency pulse along the x-axis, and the vertical field can be generated with an appropriate offset of the transmitter’s frequency47.
The initial state of the system is the pseudopure state (PPS), \({\rho }_{00}=\frac{1-\epsilon }{4}{{{{\bf{1}}}}}_{4}+\epsilon \left|00\right\rangle \left\langle 00\right|\)48, where ϵ ≈ 10−5 represents the thermal polarization. We then prepare the ground state of the initial Hamiltonian \({{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}[A(0)=0]={\widetilde{{{{\mathscr{H}}}}}}_{{{\mathrm{Ising}}}}({B}_{z0})\) and adiabatically drive the system to \({{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}[A(T)=1]={\widetilde{{{{\mathscr{H}}}}}}_{{{\mathrm{Ising}}}}({B}_{zf})\), where Bz0 is taken as 20 in the experiment and Bzf = 0. In the experiment, we use the trotterized adiabatic evolution with M segments49,50, each with a duration Δt = T/M. For the numerical path T = c/Bx (in the experiment c ≈ 3.6, see ‘Methods’ for the details) and the step number is taken as M = 100 (see Supplementary Note 3 for the details). During each segment, the field is approximated as a constant with \({B}_{z}[i]=[1-A(\frac{i}{M})]{B}_{z0}+A(\frac{i}{M}){B}_{zf}\) and the corresponding evolution, as shown in Fig. 2b, is generated via the trotterization as \({U}_{i}({{\Delta }}t)={{{\mbox{e}}}}^{-{{\mbox{i}}}{{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}[{A}_{i}]{{\Delta }}t}={{{\mbox{e}}}}^{-{{\mbox{i}}}{B}_{x}({\sigma }_{x}^{1}+{\sigma }_{x}^{2})\frac{{{\Delta }}t}{2}}{{{\mbox{e}}}}^{-{{\mbox{i}}}\{{B}_{z}[i]({\sigma }_{z}^{1}+{\sigma }_{z}^{2})+{\sigma }_{z}^{1}{\sigma }_{z}^{2}\}{{\Delta }}t}{{{\mbox{e}}}}^{-{{\mbox{i}}}{B}_{x}({\sigma }_{x}^{1}+{\sigma }_{x}^{2})\frac{{{\Delta }}t}{2}}+O({{\Delta }}{t}^{3})\), where \({{{\mbox{e}}}}^{-{{\mbox{i}}}{B}_{x}({\sigma }_{x}^{1}+{\sigma }_{x}^{2})\frac{{{\Delta }}t}{2}}\) is realized by a strong resonant control pulse along the x-axis, \({{{\mbox{e}}}}^{-{\mathrm{i}}[{B}_{z}[i]({\sigma }_{z}^{1}+{\sigma }_{z}^{2})+{\sigma }_{z}^{1}{\sigma }_{z}^{2}]{{\Delta }}t}\) is realized by a free evolution with an frequency offset Bz[i]J/233.
In the experiment, we stop the adiabatic evolution at different Bz, which varies from 0.1 to 2.7, to get the ground state \(\left|{\widetilde{g}}^{\exp }({B}_{z})\right\rangle\), then perform the optimal projective measurements, \(\{|{v}_{\,{{\mathrm{Opt}}}\,}^{1}({B}_{z})\rangle \langle {v}_{\,{{\mathrm{Opt}}}\,}^{1}({B}_{z})|,|{v}_{\,{{\mathrm{Opt}}}\,}^{2}({B}_{z})\rangle \langle {v}_{\,{{\mathrm{Opt}}}\,}^{2}({B}_{z})|\}\). In the experiment, only the local observables can be directly implemented. Specifically, the local observable implemented directly in our experiment is \({\sigma }_{x}^{1}\otimes \frac{1}{2}({{{{\bf{1}}}}}_{2}-{\sigma }_{z}^{2})\), whose eigenvectors are \(\left|{v}_{\,{{\mathrm{loc}}}\,}^{1}\right\rangle =\frac{1}{\sqrt{2}}(\left|0\right\rangle +\left|1\right\rangle )\otimes \left|1\right\rangle\) and \(\left|{v}_{\,{{\mathrm{loc}}}\,}^{2}\right\rangle =\frac{1}{\sqrt{2}}(\left|0\right\rangle -\left|1\right\rangle )\otimes \left|1\right\rangle\) with the corresponding eigenvalues λ1 = 1 and λ2 = −1. To perform the optimal measurement, we first implement a unitary operation UO(Bz) with \({U}_{{{\mathrm{O}}}}({B}_{z})|{v}_{\,{{\mathrm{Opt}}}\,}^{m}\rangle =|{v}_{\,{{\mathrm{loc}}}\,}^{m}\rangle\), m = 1, 2, then perform the local measurement. The detailed implementation of UO(Bz) can be found in the ‘Methods’ and Supplementary Note 4. In NMR the experimental signal corresponds to the average of the observable over an ensemble, which is given by p1(Bz)λ1 − p2(Bz)λ2 with \({p}_{m}({B}_{z})=| \langle {v}_{\,{{\mathrm{Opt}}}\,}^{m}| {\widetilde{g}}^{\exp }({B}_{z})\rangle {| }^{2}=|\langle {v}_{\,{{\mathrm{loc}}}}^{m}|{U}_{{{\mathrm{O}}}}({B}_{z})|{\widetilde{g}}^{\exp}({B}_{z})\rangle {|}^{2}\). From the experimental signal, together with the condition p1(Bz) + p2(Bz) = 1, we can get p1(Bz) and p2(Bz), respectively. To get the Fisher information, \({F}_{\,{{\mathrm{C}}}}^{{{\mathrm{Opt}}}\,}({B}_{z})=\frac{{[{\partial }_{{B}_{z}}{p}_{1}({B}_{z})]}^{2}}{{p}_{1}({B}_{z})}+\frac{{[{\partial }_{{B}_{z}}{p}_{2}({B}_{z})]}^{2}}{{p}_{2}({B}_{z})}\) (here FC is the classical Fisher information which equals to the QFI under the optimal measurement)2, we also need to get \({\partial }_{{B}_{z}}{p}_{m}({B}_{z})\) experimentally. This is achieved by the difference method, i.e., by repeating the experiment at two neighboring points, Bz ± δ, where δ is a small shift (taken as 0.03 experimentally, see Supplementary Note 5 for details). The differentiation is then obtained as \({\partial }_{{B}_{z}}{p}_{m}({B}_{z})\approx \frac{{p}_{m}({B}_{z}+\delta )-{p}_{m}({B}_{z}-\delta )}{2\delta }\).
The experiment is repeated under Bx = 0.1, 0.2, and 0.3, where for each Bx, Bz is varied non-uniformly from 0.1 to 2.7. As shown in Fig. 3a, under all Bx, the QFI around the critical point is significantly higher than the QFI away from the critical point. The total relative deviation of the experimental data from the numerical simulations is about 8.8% (see Supplementary Note 5). To show the practical advantage, we also plot the QFI per unit of time, FQ(T)/T, in Fig. 3b, which is also significantly higher around the critical point. This shows the critical point indeed provides an advantage in quantum metrology.
To demonstrate the scaling of the QFI with respect to the time, we perform another set of experiments where we adiabatically evolve the system from Bz0 = 20 to the critical point, Bzc = 1, with Bx tuned at different values to control the evolution time (since T ∝ 1/Bx for the numerical adiabatic path). By experimentally obtaining the QFI under different Bx, we plot the relation of the QFI with the evolution time. As it can be seen from Fig. 3c, the QFI scales quadratically with the time. The total relative deviation of the experimental result from the numerical simulation is about 5.1% (see Supplementary Note 5). To better illustrate the scaling, we also plot \(\sqrt{{F}_{{{\mathrm{Q}}}}}\) with respect to the time in Fig. 3d, where \(\sqrt{{F}_{{{\mathrm{Q}}}}}\propto T\) can be clearly seen. The coefficient of determination51 of the linear fitting is 98.6%, and the slope of the fitted line is 0.31 with an uncertainty of 0.0032. This clearly shows that the adiabatic scheme achieves the Heisenberg scaling near the critical point. We also numerically compare our protocol with the standard scheme of quantum metrology at the presence of noises (see Supplementary Note 7), and show it can surpass the standard scheme due to its robustness against decays.
Discussion
Our work reports a joint theoretical and experimental study of critical quantum metrology by employing a first-order QPT in a minimal two-spin system. By introducing a small transverse magnetic field, we can not only encode the unknown parameter in the ground state but also tune the energy gap to control the evolution time of the local adiabatic passage which relieves the critical slowing down. With a numerically optimized path, we have implemented an adiabatic protocol to approach the critical point, where the precision achieves the Heisenberg scaling as 1/T, i.e., QFI scales as T2. Due to the inherent robustness against decays of the adiabatic protocol29, the coherent evolution time is prolonged and the Heisenberg scaling can still be achieved near the critical point in a noisy environment. In contrast, in the standard scheme the Heisenberg scaling is not achievable in general for systems subject to noise, which can be recovered with quantum error correction15. However, this is practically more challenging than our adiabatic scheme. It’s worthy to mention that the first-order QPT in our employed model can occurs in a small quantum system and the energy gap near the critical point opens linearly with the small transverse field, which are promising properties for critical quantum metrology. Of course, increasing the quantum system size N would bring more possibilities but greater challenges for the better performance of quantum metrology over classical methods. Due to the advantages of easy implementation, inherent robustness against decays and tunable energy gap, our adiabatic scheme is promising for exploring potential applications of critical quantum metrology on various physical systems, such as NV centers52, cold atoms53, and superconducting circuits54.
As a proof of principle, we assume a prior knowledge of the unknown estimated parameter in our critical quantum metrology protocol here. With little or no knowledge of the unknown estimated parameter, we can use a two-step adaptive method40,41 in our present experimental setting to achieve the optimal measurement (saturating the QCRB), i.e., an initial static stage, and a second fully adaptive sequential stage. The ground state can be adaptively driven to the vicinity of the critical point of the first-order QPT, starting with a rough estimation of the unknown parameter from the static stage. Essentially, the adiabatic speed can be tuned based on the estimated value of the parameter with a slightly large constant to accommodate the possible difference between the estimated value and the true value (see Supplementary Note 2 for the details).
The adiabatic quantum metrology also connects the precision limit to the speed of the adiabatic evolution, various bounds in quantum metrology thus can also be used to study the speed limit of the adiabatic passage under noisy evolutions, which is another interesting direction to pursue. Evolutions that are beyond the adiabatic approximation, such as shortcuts to adiabaticity55, quench dynamics28, can also be investigated for further improvement of the critical metrology.
Methods
Numerical optimization of adiabatic paths and experimental implementation
For the adiabatic path, \({{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}[A(s)]=[1-A(s)]{{{{\mathscr{H}}}}}_{i}+A(s){{{{\mathscr{H}}}}}_{f}\), the numerical path is obtained through the following steps:
-
1: Set the step size for the change of A(s) as ΔA ≈ 0.001, the step size of the evolution time as Δt, and a threshold for the fidelity as Pc, which is taken as 0.9999 in our case.
-
2: Start from the ground state of \({{{{\mathscr{H}}}}}_{i}\), \(\left|g(0)\right\rangle\), increase A(s) by ΔA and evolve the state under the Hamiltonian for Δt units of time, which leads to a state \(\left|{\phi }_{0}({{\Delta }}A)\right\rangle ={{{\mbox{e}}}}^{-{{\mbox{i}}}{{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}({{\Delta }}A){{\Delta }}t}\left|g(0)\right\rangle\). Compute the fidelity between the state and the instantaneous ground-state \(\left|g({{\Delta }}A)\right\rangle\), which is \({P}_{{{\mbox{t}}}}=| \left\langle g({{\Delta }}A)| {\phi }_{0}({{\Delta }}A)\right\rangle |\). If Pt ≥ Pc, continue to increase A(s) by ΔA until \({P}_{{{\mathrm{t}}}}=| \left\langle g[({n}_{1}+1){{\Delta }}A]\right|{{{\mbox{e}}}}^{-{{\mbox{i}}}{{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}[({n}_{1}+1){{\Delta }}A]{{\Delta }}t}\left|g(0)\right\rangle |\, <\, {P}_{{{\mathrm{c}}}}\). Set A1 = n1ΔA.
-
3: Similarly, start from the ground state of \({{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}({A}_{1})\), and increase A(s) till \({P}_{{{\mathrm{t}}}}=| \left\langle g[{A}_{1}+({n}_{2}+1){{\Delta }}A]\right|{{{\mathrm{e}}}}^{-{{\mbox{i}}}{{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}[{A}_{1}+({n}_{2}+1){{\Delta }}A]{{\Delta }}t}\left|g({A}_{1})\right\rangle |\, < \,{P}_{{{\mathrm{c}}}}\). Set A2 = A1 + n2ΔA = n1ΔA + n2ΔA. Similarly, we can get A3, A4, ⋯ , An, ⋯ .
-
4: When AN = ∑i=1,2,...,NniΔA ≥ 1, set AN = 1.
It can be proved that the time required for the numerical optimized path is in the order of \(\frac{1}{{B}_{x}}\), which attains the Heisenberg scaling with FQ ~ T2 (see Supplementary Note 1 for details).
It is difficult to experimentally realize so many segments in the numerical adiabatic path optimized above, consequently, we use the linear interpolation to construct M + 1 segments for the experimental implementation. Here the adiabatic evolution was realized with M + 1 discrete steps, in the ith step the evolution is governed by the Hamiltonian \({{{{\mathscr{H}}}}}_{{{\mathrm{ad}}}}(A[i])\) with \(A[i]=A(\frac{i}{M})\), which corresponds to a constant field, \({B}_{z}[i]=[1-A(\frac{i}{M})]{B}_{z0}+A(\frac{i}{M}){B}_{zf}\).
The evolution of each segment \({U}_{i}({{\Delta }}t)={{{\mbox{e}}}}^{-{{\mbox{i}}}[{B}_{z}[i]({\sigma }_{z}^{1}+{\sigma }_{z}^{2})+{B}_{x}({\sigma }_{x}^{1}+{\sigma }_{x}^{2})+{\sigma }_{z}^{1}{\sigma }_{z}^{2}]{{\Delta }}t}\), here Δt = T/(M + 1), is implemented approximately as \({U}_{i}^{\exp }({{\Delta }}t)={{{\mbox{e}}}}^{-{{\mbox{i}}}{B}_{x}({\sigma }_{x}^{1}+{\sigma }_{x}^{2}){{\Delta }}t/2}{{{\mbox{e}}}}^{-{{\mbox{i}}}[{B}_{z}[i]({\sigma }_{z}^{1}+{\sigma }_{z}^{2})+{\sigma }_{z}^{1}{\sigma }_{z}^{2}]{{\Delta }}t}{{{\mbox{e}}}}^{-{{\mbox{i}}}{B}_{x}({\sigma }_{x}^{1}+{\sigma }_{x}^{2}){{\Delta }}t/2}\). Here Δt and M need to be optimized to satisfy: (i) Δt is sufficient small so that Ui(Δt) and \({U}_{i}^{\exp }({{\Delta }}t)\) is sufficiently close for all Bz[i]; (ii) Δt is not too small so that the number of the total segments, M + 1, is not too big; and (iii) the total time (M + 1)Δt is not too large at the presence of the decoherence. We include the relaxation effect in the optimization, where for 13C we take T1 and T2 as 18.5 s and 0.2 s, respectively, and for 1H we take T1 and T2 as 9.9 s and 0.6 s, respectively.
For the case of Bx = 0.1, upon the optimization Δt is chosen as 0.36 (in the unit of 2/πJ) for which the fidelity between Ui(Δt) and \({U}_{i}^{\exp }({{\Delta }}t)\) is above 99.8% for all Bz[i]. We then increase the number of steps until it achieves the maximal average fidelity with M + 1 = 100. The total adiabatic evolution time is then T = MΔt = 36. Since for the numerical path we have \(T\approx \frac{c}{{B}_{x}}\), then c ≈ T × Bx = 3.6 in this case.
Similarly, for Bx = 0.2, 0.3, we take the same constant c = 3.6 and the same number of segments (i.e., M + 1 = 100) for consistency. The total adiabatic evolution time for Bx = 0.2 is then T = 3.6/0.2 = 18 and for Bx = 0.3, T = 3.6/0.3 = 12.
Experimental realization of optimal measurement
In the experiment, the direct local observable is
which can be diagonalized as
here \({\lambda }_{1}=1,{\lambda }_{2}=-1,{\lambda }_{3}={\lambda }_{4}=0,\left|{v}_{\,{{\rm{loc}}}\,}^{1}\right\rangle =\left|+,1\right\rangle ,\left|{v}_{\,{{\rm{loc}}}\,}^{2}\right\rangle =\left|-,1\right\rangle ,\left|{v}_{\,{{\rm{loc}}}\,}^{3}\right\rangle =\left|+,0\right\rangle ,\left|{v}_{\,{{\rm{loc}}}\,}^{4}\right\rangle =\left|-,0\right\rangle\) with \(\left|\pm \right\rangle =\frac{\left|0\right\rangle \pm \left|1\right\rangle }{\sqrt{2}}\).
The unitary operator that transforms the optimal observable to the local observable can be constructed as
where \(|{v}_{\,{{\mathrm{Opt}}}\,}^{1}({B}_{z})\rangle\) and \(|{v}_{\,{{\mathrm{Opt}}}\,}^{2}({B}_{z})\rangle\) are the basis of the optimal measurement given in the main text, and \(|{v}_{\,{{\mathrm{Opt}}}\,}^{3}({B}_{z})\rangle\) and \(|{v}_{\,{{\mathrm{Opt}}}\,}^{4}({B}_{z})\rangle\) are two additional vectors to form a complete orthonormal basis. Hence, the effective optimal observable we employed can be expressed as
Without loss of generality, we can take
with \(\theta =\sqrt{2}{B}_{x}/(1-{B}_{z})\).
It is easy to verify that UO(Bz) ∈ SO(4), which can be decomposed as \({U}_{{{\mbox{O}}}}({B}_{z})={{{\mathcal{M}}}}(A\otimes B){{{\mathcal{{M}}}^{{\dagger} }}}\) 56 with A, B ∈ SU(2) and
Any operator in SU(2) can be realized with three rotations via the Euler decomposition, we can thus write A = Rx(αA)Ry(βA)Rx(γA) and B = Rx(αB)Ry(βB)Rx(γB)57. Then,
\({{{\mathcal{M}}}}\) can be decomposed as \({{{\mathcal{M}}}}={U}_{{{\mathrm{CNOT}}}}[{U}_{{\mathrm{S}}}\otimes ({U}_{{\mathrm{H}}}{U}_{{\mathrm{S}}})]\) with \({U}_{{{\mbox{H}}}}=\frac{1}{\sqrt{2}}\left(\begin{array}{ll}1&1\\ 1&-1\end{array}\right),{U}_{{{\mbox{S}}}}=\frac{1}{\sqrt{2}}\left(\begin{array}{ll}1&0\\ 0&\,{{\mbox{i}}}\,\end{array}\right)\) and UCNOT as the CNOT gate,
here \({R}_{\alpha }^{j}(\beta )={{{\mbox{e}}}}^{-{{\mbox{i}}}\frac{\beta }{2}{\sigma }_{\alpha }^{j}}\) denotes a rotation of the jth spin around the axis α ∈ {x, y, z} with β-angle58.
Data availability
The data that support the findings of this study are available from the corresponding authors upon reasonable request.
Code availability
The codes for numerical simulation and data processing are available from the corresponding authors upon reasonable request.
References
Holevo, A. S. Probabilistic and Statistical Aspects of Quantum Theory, Vol. 1 (Springer Science & Business Media, 2011).
Helstrom, C. W. Quantum detection and estimation theory. J. Stat. Phys. 1, 231–252 (1969).
Cramér, H. Mathematical Methods of Statistics, Vol. 43 (Princeton University Press, 1999).
Giovannetti, V., Lloyd, S. & Maccone, L. Advances in quantum metrology. Nat. Photonics 5, 222–229 (2011).
Giovannetti, V., Lloyd, S. & Maccone, L. Quantum metrology. Phys. Rev. Lett. 96, 010401 (2006).
Giovannetti, V., Lloyd, S. & Maccone, L. Quantum-enhanced measurements: beating the standard quantum limit. Science 306, 1330–6 (2004).
Escher, B. M., de Matos Filho, R. L. & Davidovich, L. General framework for estimating the ultimate precision limit in noisy quantum-enhanced metrology. Nat. Phys. 7, 406–411 (2011).
Demkowicz-Dobrzanski, R., Kolodynski, J. & Guta, M. The elusive Heisenberg limit in quantum-enhanced metrology. Nat. Commun. 3, 1063 (2012).
Yuan, H. & Fung, C.-H. F. Quantum parameter estimation with general dynamics. npj Quantum Inf. 3, 14 (2017).
Wineland, D. J., Bollinger, J. J., Itano, W. M., Moore, F. L. & Heinzen, D. J. Spin squeezing and reduced quantum noise in spectroscopy. Phys. Rev. A 46, R6797–R6800 (1992).
Pezzé, L. & Smerzi, A. Entanglement, nonlinear dynamics, and the Heisenberg limit. Phys. Rev. Lett. 102, 100401 (2009).
Huang, J., Wu, S., Zhong, H. & Lee, C. Quantum metrology with cold atoms. In Annual Review of Cold Atoms and Molecules (eds Madison, K., Bongs, K., Carr, L. D., Rey, A. N. & Zhai, H.) 365–415 (World Scientific, 2014).
Huang, J., Qin, X., Zhong, H., Ke, Y. & Lee, C. Quantum metrology with spin cat states under dissipation. Sci. Rep. 5, 17894 (2015).
Demkowicz-Dobrzanski, R. & Maccone, L. Using entanglement against noise in quantum metrology. Phys. Rev. Lett. 113, 250801 (2014).
Zhou, S., Zhang, M., Preskill, J. & Jiang, L. Achieving the Heisenberg limit in quantum metrology using quantum error correction. Nat. Commun. 9, 78 (2018).
Rams, M. M., Sierant, P., Dutta, O., Horodecki, P. & Zakrzewski, J. At the limits of criticality-based quantum metrology: apparent super-Heisenberg scaling revisited. Phys. Rev. X 8, 021022 (2018).
Garbe, L., Bina, M., Keller, A., Paris, M. G. A. & Felicetti, S. Critical quantum metrology with a finite-component quantum phase transition. Phys. Rev. Lett. 124, 120504 (2020).
Zanardi, P. & Paunković, N. Ground state overlap and quantum phase transitions. Phys. Rev. E 74, 031123 (2006).
You, W.-L., Li, Y.-W. & Gu, S.-J. Fidelity, dynamic structure factor, and susceptibility in critical phenomena. Phys. Rev. E 76, 022101 (2007).
Zanardi, P., Paris, M. G. A. & Campos Venuti, L. Quantum criticality as a resource for quantum estimation. Phys. Rev. A 78, 042105 (2008).
Invernizzi, C., Korbman, M., Campos Venuti, L. & Paris, M. G. A. Optimal quantum estimation in spin systems at criticality. Phys. Rev. A 78, 042106 (2008).
Salvatori, G., Mandarino, A. & Paris, M. G. A. Quantum metrology in lipkin-meshkov-glick critical systems. Phys. Rev. A 90, 022111 (2014).
Bina, M., Amelio, I. & Paris, M. G. A. Dicke coupling by feasible local measurements at the superradiant quantum phase transition. Phys. Rev. E 93, 052118 (2016).
Boyajian, W. L., Skotiniotis, M., Dür, W. & Kraus, B. Compressed quantum metrology for the ising hamiltonian. Phys. Rev. A 94, 062326 (2016).
Mehboudi, M., Correa, L. A. & Sanpera, A. Achieving sub-shot-noise sensing at finite temperatures. Phys. Rev. A 94, 042121 (2016).
Frérot, I. & Roscilde, T. Quantum critical metrology. Phys. Rev. Lett. 121, 020402 (2018).
Ivanov, P. A. & Porras, D. Adiabatic quantum metrology with strongly correlated quantum optical systems. Phys. Rev. A 88, 023803 (2013).
Chu, Y., Zhang, S., Yu, B. & Cai, J. Dynamic framework for criticality-enhanced quantum sensing. Phys. Rev. Lett. 126, 010502 (2021).
Childs, A. M., Farhi, E. & Preskill, J. Robustness of adiabatic quantum computation. Phys. Rev. A 65, 012322 (2001).
Farhi, E., Goldstone, J., Gutmann, S. & Sipser, M. Quantum computation by adiabatic evolution. Preprint at https://arxiv.org/abs/quant-ph/0001106 (2000).
Aharonov, D. et al. Adiabatic quantum computation is equivalent to standard quantum computation. SIAM J. Comput. 37, 166–194 (2007).
Albash, T. & Lidar, D. A. Adiabatic quantum computation. Rev. Mod. Phys. 90, 015002 (2018).
Peng, X., Du, J. & Suter, D. Quantum phase transition of ground-state entanglement in a Heisenberg spin chain simulated in an nmr quantum computer. Phys. Rev. A 71, 012307 (2005).
Zhuang, M., Huang, J., Ke, Y. & Lee, C. Quantum adiabatic evolution: symmetry protected quantum adiabatic evolution in spontaneous symmetry breaking transitions. Ann. Phys. 532, 2070020 (2020).
Ovchinnikov, A. A., Dmitriev, D. V., Krivnov, V. Y. & Cheranovskii, V. O. Antiferromagnetic ising chain in a mixed transverse and longitudinal magnetic field. Phys. Rev. B 68, 214406 (2003).
Braunstein, S. L. & Caves, C. M. Statistical distance and the geometry of quantum states. Phys. Rev. Lett. 72, 3439–3443 (1994).
Braunstein, S. L., Caves, C. M. & Milburn, G. J. Generalized uncertainty relations: theory, examples, and lorentz invariance. Ann. Phys. (NY) 247, 135–173 (1996).
Zhang, J., Peng, X., Rajendran, N. & Suter, D. Detection of quantum critical points by a probe qubit. Phys. Rev. Lett. 100, 100501 (2008).
Yuan, H. & Fung, C. H. Optimal feedback scheme and universal time scaling for hamiltonian parameter estimation. Phys. Rev. Lett. 115, 110401 (2015).
Fujiwara, A. Strong consistency and asymptotic efficiency for adaptive quantum estimation problems. J. Phys. A: Math. Gen. 39, 12489–12504 (2006).
GILL, R. D. Conciliation of Bayes and Pointwise Quantum State Estimation, 239–261 (World Scientific, 2008).
Jansen, S., Ruskai, M.-B. & Seiler, R. Bounds for the adiabatic approximation with applications to quantum computation. J. Math. Phys. 48, 102111 (2007).
Roland, J. & Cerf, N. J. Quantum search by local adiabatic evolution. Phys. Rev. A 65, 042308 (2002).
Nagaoka, H. An asymptotically efficient estimator for a one-dimensional parametric model of quantum statistical operators. In Proc. 1988 IEEE Int. Symposium on Information Theory, Vol. 198 (1988).
Nagaoka, H. On the parameter estimation problem for quantum statistical models. In Asymptotic Theory of Quantum Statistical Inference (ed. Hayashi, M.) 125–132 (World Scientific, 2005).
Hayashi, M. & Matsumoto, K. Asymptotic performance of optimal state estimation in qubit system. J. Math. Phys. 49, 102101 (2008).
Jones, J. A. et al. Magnetic field sensing beyond the standard quantum limit using 10-spin noon states. Science 324, 1166–1168 (2009).
Peng, X. et al. Preparation of pseudo-pure states by line-selective pulses in nuclear magnetic resonance. Chem. Phys. Lett. 340, 509–516 (2001).
Sun, Y., Zhang, J.-Y., Byrd, M. S. & Wu, L.-A. Trotterized adiabatic quantum simulation and its application to a simple all-optical system. New J. Phys. 22, 053012 (2020).
Wu, L.-A., Byrd, M. S. & Lidar, D. A. Polynomial-time simulation of pairing models on a quantum computer. Phys. Rev. Lett. 89, 057904 (2002).
Devore, J. L. Probability and Statistics for Engineering and the Sciences 8th edn. (Cengage Learning, 2011).
Liu, G. Q. et al. Demonstration of entanglement-enhanced phase estimation in solid. Nat. Commun. 6, 6726 (2015).
Napolitano, M. et al. Interaction-based quantum metrology showing scaling beyond the Heisenberg limit. Nature 471, 486–489 (2011).
Braumuller, J. et al. Analog quantum simulation of the rabi model in the ultra-strong coupling regime. Nat. Commun. 8, 779 (2017).
del Campo, A. Shortcuts to adiabaticity by counterdiabatic driving. Phys. Rev. Lett. 111, 100502 (2013).
Vatan, F. & Williams, C. Optimal quantum circuits for general two-qubit gates. Phys. Rev. A 69, 032315 (2004).
Nielsen, M. A. & Chuang, I. Quantum Computation and Quantum Information 239–261 (Cambridge University Press, 2010).
Gershenfeld, N. A. & Chuang, I. L. Bulk spin-resonance quantum computation. Science 275, 350–356 (1997).
Acknowledgements
The authors thank Prof. Youjin Deng for useful discussions. This work is supported by National Key Research and Development Program of China (Grant No. 2018YFA0306600), the National Natural Science Foundation of China (Grant No. 11927811, Grant No. 12004371), Anhui Initiative in Quantum Information Technologies (Grant No. AHY050000), Research Grants Council of Hong Kong (GRF No. 14308019), and the Research Strategic Funding Scheme of The Chinese University of Hong Kong (No. 3133234).
Author information
Authors and Affiliations
Contributions
X.P. and H.Y. conceived the project. H.Y. and Y.C. conceived the relevant theoretical constructs. X.P. and R.L designed the experiment. R.L. and Y.C. performed the measurements and analyzed the data. M.J. assisted with the experiment. All authors contributed to analyzing the data, discussing the results, and writing the paper.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, R., Chen, Y., Jiang, M. et al. Experimental critical quantum metrology with the Heisenberg scaling. npj Quantum Inf 7, 170 (2021). https://doi.org/10.1038/s41534-021-00507-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41534-021-00507-x
- Springer Nature Limited