Ultimate limits for quantum magnetometry via time-continuous measurements

TL;DR

This paper demonstrates that continuous quantum measurements can achieve Heisenberg-limited precision in magnetic field estimation with atomic ensembles, surpassing standard quantum limits and maintaining robustness against detection inefficiencies.

Contribution

It introduces a continuous measurement strategy that reaches Heisenberg-limited scaling in quantum magnetometry, proving its optimality and robustness.

Findings

Continuous measurements enable Heisenberg-limited scaling of $1/J^2$.

The strategy is robust against detection losses and finite measurement efficiency.

The proposed method is proven to be optimal among possible strategies.

Abstract

We address the estimation of the magnetic field B acting on an ensemble of atoms with total spin J subjected to collective transverse noise. By preparing an initial spin coherent state, for any measurement performed after the evolution, the mean-square error of the estimate is known to scale as $1/J$, i.e. no quantum enhancement is obtained. Here, we consider the possibility of continuously monitoring the atomic environment, and conclusively show that strategies based on time-continuous non-demolition measurements followed by a final strong measurement may achieve Heisenberg-limited scaling $1/{J^2}$ and also a monitoring-enhanced scaling in terms of the interrogation time. We also find that time-continuous schemes are robust against detection losses, as we prove that the quantum enhancement can be recovered also for finite measurement efficiency. Finally, we analytically prove the optimality of our strategy.

Equations

$$\mathcal{F}[p(x|\theta )]=\int dxp(x|\lambda )({\partial }_{\theta }\log p(x|\lambda ){)}^2$$

$$\frac{d\varrho }{dt}=\mathcal{L}\varrho =-i[{\hat{H}}_{\theta },\varrho ]+\mathcal{D}[\hat{c}]\varrho ,$$

$$d{\varrho }^{(c)}=-i[{\hat{H}}_{\theta },{\varrho }^{(c)}]dt+\mathcal{D}[\hat{c}]{\varrho }^{(c)}dt+\sqrt{\eta }\mathcal{H}[\hat{c}]{\varrho }^{(c)}d{w}_t.$$

$$d{y}_t=\sqrt{\eta }Tr[{\varrho }^{(c)}(\hat{c}+{\hat{c}}^{†})]dt+d{w}_t.$$

$${\mathrm{Var}}_{\hat{\theta }}(\theta )\ge \frac{1}{M\left(\mathcal{F}[p({\mathbf{y}}_T)]+\text{mathbbm}{E}_{p({\mathbf{y}}_T)}\left[\mathcal{Q}[{\varrho }^{(c)}]\right]\right)},$$

$$\mathcal{F}[p({\mathbf{y}}_T)]=\text{mathbbm}{E}_{p({\mathbf{y}}_T)}[Tr[\tau {]}^2],$$

$$d\tau$$

$$+\mathcal{D}[\hat{c}]\tau dt+(\hat{c}\tau +\tau {\hat{c}}^{†})d{w}_t.$$

$$\mathcal{\overline{Q}}_{\mathcal{L}}(\theta)=4\partial_{\theta_{1}}\partial_{\theta_{2}}\log\left(\left|\langle\psi(\theta_{1})|\psi(\theta_{2})\rangle\right|\right)\big{|}_{\theta_{1}=\theta_{2}=\theta},$$

$$\frac{d\bar{\rho }}{dt}=-i\left({\hat{H}}_{{\theta }_1}\bar{\rho }-\bar{\rho }{\hat{H}}_{{\theta }_2}\right)+\mathcal{D}\left[\hat{c}\right]\bar{\rho }.$$

$$\frac{d\varrho }{dt}$$

$$|\psi (0)⟩=\underset{k=0}{\overset{N}{⨂}}|+{⟩}_k=|J,J{⟩}_x,$$

$$\frac{d⟨{\hat{J}}_x(t)⟩}{dt}$$

$$⟨{\hat{J}}_x(t)⟩\approx ⟨{\hat{J}}_x(0)⟩e^{-\kappa t/2}=J{e}^{-\kappa t/2}.$$

$$\begin{array}{rl}d{\varrho }^{(c)}=& -i\gamma B[{\hat{J}}_y,{\varrho }^{(c)}]\mathrm{d}t+\kappa \mathcal{D}[{\hat{J}}_z]{\varrho }^{(c)}dt+\sqrt{\eta \kappa }\mathcal{H}[{\hat{J}}_z]{\varrho }^{(c)}d{w}_t,\end{array}$$

$$\hat{X}={\hat{J}}_y/\sqrt{{\bar{J}}_t}\hat{P}={\hat{J}}_z/\sqrt{{\bar{J}}_t},$$

$$\begin{array}{rl}d{\varrho }^{(c)}& =-i\gamma B\sqrt{{\bar{J}}_t}\left[\hat{X},{\varrho }^{(c)}\right]dt+\\ & +\kappa {\bar{J}}_t\mathcal{D}[\hat{P}]{\varrho }^{(c)}dt+\sqrt{{\bar{J}}_t\eta \kappa }\mathcal{H}[\hat{P}]{\varrho }^{(c)}d{w}_t,\end{array}$$

$$d⟨\hat{P}(t){⟩}_c=-B\gamma \sqrt{J{e}^{-\frac{\kappa t}{2}}}dt+2{\mathrm{Var}}_c[\hat{P}(t)]\sqrt{\eta \kappa J{e}^{-\frac{\kappa t}{2}}}d{w}_t,$$

$$\frac{d{\mathrm{Var}}_c[\hat{P}(t)]}{dt}=-4\eta \kappa J{e}^{-\frac{\kappa t}{2}}{\left({\mathrm{Var}}_c[\hat{P}(t)]\right)}^2.$$

$${\mathrm{Var}}_c[\hat{P}(t)]=\frac{1}{8\eta J\left(1-e^{-\frac{\kappa t}{2}}\right)+2},$$

$$\mathcal{F}[p({\mathbf{y}}_t)]=2\eta \kappa J{e}^{-\kappa t/2}\text{mathbbm}{E}_{p({\mathbf{y}}_t)}\left[{\left({\partial }_B⟨\hat{P}(t){⟩}_c\right)}^2\right].$$

$$\begin{array}{rl}& \frac{d\left({\partial }_B⟨\hat{P}(t){⟩}_c\right)}{dt}=\\ & =-\gamma \sqrt{J{e}^{-\kappa t/2}}-4{\mathrm{Var}}_c[\hat{P}(t)]\eta \kappa J{e}^{-\kappa t/2}\left({\partial }_B⟨\hat{P}(t){⟩}_c\right).\end{array}$$

$$\begin{array}{rl}& \mathcal{F}[p({\mathbf{y}}_t)]=\frac{64{\gamma }^2\eta J^2{e}^{-\kappa t}{\left(e^{\frac{\kappa t}{4}}-1\right)}^3}{9{\kappa }^2\left[(4\eta J+1)e^{\frac{\kappa t}{2}}-4\eta J\right]}\cdot \\ & \cdot [-4\eta J-12\eta J{e}^{\frac{\kappa t}{4}}+3(4\eta J+3)e^{\frac{\kappa t}{2}}+(4\eta J+3)e^{\frac{3\kappa t}{4}}].\end{array}$$

$$\mathcal{F}[p({\mathbf{y}}_t)]\approx \frac{4}{3}{J}^2{\gamma }^2\kappa t^3,$$

$$\mathcal{F}[p({\mathbf{y}}_t)]\approx \frac{64{\gamma }^2\eta J^2{e}^{-\kappa t}{\left(e^{\frac{\kappa t}{4}}-1\right)}^3\left(4e^{\frac{\kappa t}{4}}+e^{\frac{\kappa t}{2}}+1\right)}{9{\kappa }^2\left(e^{\frac{\kappa t}{4}}+1\right)};$$

$$\mathcal{Q}[{\varrho }^{(c)}]=\frac{{\left({\partial }_B⟨\hat{P}(t){⟩}_c\right)}^2}{{\mathrm{Var}}_c[\hat{P}(t)]}.$$

$$\mathcal{Q}[{\varrho }^{(c)}]=\frac{32{\gamma }^{2}J{\left(12\eta J-4\eta J{e}^{-\frac{\kappa t}{2}}-\left(8\eta J+3\right)e^{\frac{\kappa t}{4}}+3\right)}^2}{9{\kappa }^2\left[(4\eta J+1)e^{\frac{\kappa t}{2}}-4\eta J\right]}.$$

$$\mathcal{Q}[{\varrho }^{(c)}]\approx \frac{128{\gamma }^2\eta J^2{e}^{-\kappa t}{\left(-3e^{\frac{\kappa t}{2}}+2e^{\frac{3\kappa t}{4}}+1\right)}^2}{9{\kappa }^2\left(e^{\frac{\kappa t}{2}}-1\right)}.$$

$$\tilde{\mathcal{Q}}$$

$$\tilde{\mathcal{Q}}$$

$$K_1$$

Full text

I Introduction

Recent developments in the field of quantum metrology have shown how quantum probes and quantum measurements allow one to achieve parameter estimation with precision beyond that obtainable by any classical scheme Giovannetti et al. (2011); Demkowicz-Dobrzański et al. (2015). The estimation of the strength of a magnetic field is a paradigmatic example in this respect, as it can be mapped to the problem of estimating the Larmor frequency for an atomic spin ensemble Wasilewski et al. (2010); Koschorreck et al. (2010); Sewell et al. (2012); Ockeloen et al. (2013); Sheng et al. (2013); Lucivero et al. (2014); Muessel et al. (2014).

As a matter of fact, if the system is initially prepared in a spin coherent state, the mean-squared error of the field estimate scales, in terms of the total spin number $J$, as $1/J$, which is usually referred to as the standard quantum limit (SQL) to precision. If quantum resources, such as spin squeezing or entanglement between the atoms of the spin ensemble, are exploited, one observes a quadratic enhancement and achieves the so-called Heisenberg scaling, i.e. $1/J^{2}$ Wineland et al. (1992); Bollinger et al. (1996). On the other hand, it has been proved that such ultimate quantum limit may be easily lost in the presence of noise Huelga et al. (1997) and that typically a SQL-like scaling is observed, with the quantum enhancement reduced to a constant factor. These observations have been rigorously translated into a set of no-go theorems Escher et al. (2011); Demkowicz-Dobrzański et al. (2012), which fostered several attempts to circumvent them. In particular, it has been shown how one can restore a super-classical scaling in the context of frequency estimation, for specific noisy evolution and/or by optimizing the strategy over the interrogation time Matsuzaki et al. (2011); Chin et al. (2012); Chaves et al. (2013); Brask et al. (2015); Smirne et al. (2016), or by exploiting techniques borrowed from the field of quantum error-correction Kessler et al. (2014); Dür et al. (2014); Arrad et al. (2014).

In this manuscript, we put forward an alternative approach: we assume to start the dynamics with a classical state that is monitored continuously in time via the interacting environment Wiseman and Milburn (2010); Jacobs and Steck (2006). The goal is to recover the information on the parameter leaking into the environment and simultaneously to exploit the back action of the measurement to drive the system into more sensitive conditional states Wiseman and Milburn (1994); Thomsen et al. (2002); Mancini and Wiseman (2007); Serafini and Mancini (2010); Szorkovszky et al. (2011); Genoni et al. (2013, 2014); Hofer and Hammerer (2015); Genoni et al. (2015, 2016a). This approach has received much attention recently Gammelmark and Mølmer (2013, 2014); Kiilerich and Mølmer (2014, 2016); Catana and Guţă (2014); Gefen et al. (2016); Plenio and Huelga (2016); Cortez et al. (2017) also in the context of quantum magnetometry Geremia et al. (2003); Stockton et al. (2004); Auzinsh et al. (2004); Mølmer and Madsen (2004); Madsen and Mølmer (2004); Chase and Geremia (2009).

Here we rigorously address the performance of these protocols, depicted in Fig. 1, taking into account the information obtained via the time-continuous non-demolition measurements on the environment, as well as the information obtainable via a strong (destructive) measurement on the conditional state of the system. In particular, in the limit of large spin, we derive an analytical formula for the ultimate bound on the mean-squared error of any unbiased estimator, and conclusively show that, for experimentally relevant values of the dynamical parameters, one can observe a Heisenberg-like scaling.

Remarkably, at variance with most of the protocols proposed for quantum magnetometry, and in general for frequency estimation, one does not need to prepare an initial spin-squeezed state. The Heisenberg scaling is in fact obtained also for an initial classical spin coherent state, thanks to the spin squeezing generated by time-continuous measurements’ back-action. Finally, we analytically prove that the ultimate quantum limit for noisy magnetometry in the presence of collective transverse noise Gammelmark and Mølmer (2014) is in fact saturated by our strategy, i.e. one does not need to implement more involved strategies, e.g. jointly measuring the conditional state of the system and the output modes of the environment at different times.

The paper is organized as follows. In Sec. II, we present the quantum Cramér-Rao bounds that hold for noisy metrology, with emphasis on estimation strategies based on time-continuous, non-demolition measurements and a final strong measurement on the corresponding conditional quantum states. In Sec. III, we introduce the physical setting for the estimation of a magnetic field via a continuously monitored atomic ensemble. In particular, we focus on the case of large total spin, where a Gaussian picture is able to describe the whole dynamics. In Sec. IV, we present the main results: we first calculate the classical Fisher information corresponding to the photoccurent obtained via the time-continuous monitoring of the environment, and we discuss how to attain the corresponding bound via Bayesian estimation. We then address the possibility of performing also a strong measurement on the conditional state of the atomic ensemble, and derive the ultimate limit on this kind of estimation strategy, quantified by an effective quantum Fisher information. Upon studying this quantity, we observe how, in the relevant parameters’ regime, the Heisenberg limit can be effectively restored, also discussing the effects of non-unit monitoring efficiency, corresponding to the loss of photons before the detection. Finally, we also prove the optimality of our measurement strategy in the case of ideal detectors. Section V closes the paper with some concluding remarks.

II Quantum Cramér-Rao bounds for time-continuous homodyne monitoring

A classical estimation problem consists in inferring the value of a parameter $\theta$ from a number $M$ of measurement outcomes $\chi=\{x_{1},x_{2},\dots,x_{M}\}$ and their conditional distribution $p(x|\theta)$. We define an estimator $\hat{\theta}(\chi)$ a function from the measurement outcomes to the possible values of $\theta$ and we dub it asymptotically unbiased when, in the limit of large number of repetitions of the experiment $M$, its average is equal to the true value, i.e. $\int d\chi\,p(\chi|\lambda)\hat{\theta}(\chi)=\theta$, where $p(\chi|\lambda)=\Pi_{j=1}^{M}p(x_{j}|\theta)$. The Cramér-Rao theorem states that the variance of any unbiased estimator is lower bounded as ${\rm Var}_{\hat{\theta}}(\theta)=\left(M\mathcal{F}[p(x|\theta)]\right)^{-1}$, where

[TABLE]

denotes the classical Fisher information (FI).

In the quantum realm, the conditional probability distribution reads $p(x|\theta)=\hbox{Tr}[\varrho_{\theta}\Pi_{x}]$, where $\varrho_{\theta}$ is the quantum state of the system labeled by the parameter $\theta$, and $\Pi_{x}$ is a POVM operator describing the quantum measurement. One can prove that the FI corresponding to any POVM is upper bounded $\mathcal{F}[p(x|\theta)]\leq\mathcal{Q}[\varrho_{\theta}]$, where $\mathcal{Q}[\varrho_{\theta}]=\hbox{Tr}[\varrho_{\theta}L_{\theta}^{2}]$ is the quantum Fisher information (QFI), and $L_{\theta}$ is the so-called symmetric logarithmic derivative, which can be obtained by solving the equation $2\partial_{\theta}\varrho_{\theta}=L_{\theta}\varrho_{\theta}+\varrho_{\theta}L_{\theta}$ Helstrom (1976); Braunstein and Caves (1994); Paris (2009). The QFI depends on the quantum state $\varrho_{\theta}$ only, and thus poses the ultimate bound on the precision of the estimation of $\theta$. Moreover, in the single parameter case the bound is always achievable, that is, there exists a (projective) POVM such that the corresponding classical FI equals the QFI.

In this manuscript we consider a quantum system evolving according to a given Hamiltonian $\hat{H}_{\theta}$ characterised by the parameter we want to estimate, and coupled to a bosonic environment at zero temperature described by a train of input operators $\hat{a}_{in}(t)$, satisfying the commutation relation $[\hat{a}_{in}(t),\hat{a}_{in}^{\dagger}(t^{\prime})]=\delta(t-t^{\prime})$, via an interaction Hamiltonian $\hat{H}_{int}(t)=\hat{c}\hat{a}_{in}^{{\dagger}}(t)+\hat{c}^{\dagger}\hat{a}_{in}(t)$ ($\hat{c}$ being a generic operator in the system Hilbert space) Wiseman and Milburn (2010). By tracing out the environment, the unconditional dynamics of the system is described by the Lindblad master equation

[TABLE]

where $\mathcal{D}[c]\varrho=\hat{c}\varrho\hat{c}^{{\dagger}}-(\hat{c}^{\dagger}\hat{c}\varrho+\varrho\hat{c}^{\dagger}\hat{c})/2$.

If one performs a homodyne detection of a quadrature $\hat{x}_{out}(t)=\hat{a}_{out}(t)+\hat{a}_{out}^{\dagger}(t)$ on the output operators, i.e. on the environment just after the interaction with the system, one obtains that the dynamics of the system quantum state $\varrho^{(c)}$ conditioned on the measurement results (we will omit the dependence of the measured photocurrent ${\bf y}_{t}$), is described by the stochastic master equation Wiseman and Milburn (2010)

[TABLE]

Here $\eta$ denotes the efficiency of the detection, $dw_{t}$ is a stochastic Wiener increment (s.t. $dw_{t}^{2}=dt$), and $\mathcal{H}[c]\varrho^{(c)}=\hat{c}\varrho^{(c)}+\varrho^{(c)}\hat{c}^{\dagger}-\hbox{Tr}[\varrho^{(c)}(\hat{c}+\hat{c}^{\dagger})]\varrho^{(c)}$ (notice that in principle one could consider other measurement strategies different from homodyne, yielding a different superoperator). The corresponding measurement record during a time step $t\rightarrow t+dt$ is given by the infinitesimal current

[TABLE]

With the help of such measurement strategies, one can estimate the value of the parameter $\theta$ both from the measured photocurrent ${\bf y}_{T}=\int_{0}^{T}dy_{t}$, and from a final strong (destructive) measurement on the conditional state $\varrho^{(c)}$. In this case, as we explicitly show in A (in general both for the classical and quantum case), the proper quantum Cramér-Rao bound reads

[TABLE]

where the first term at the denominator $\mathcal{F}[p({\bf y}_{T})]$ is the FI corresponding to the classical photocurrent ${\bf y}_{T}$, while the second term is the average of the QFI for the conditional state $\mathcal{Q}[\varrho^{(c)}]$ over all the possible trajectories, i.e. on all the possible measurement outcomes for the photocurrent.

The classical FI $\mathcal{F}[p({\bf y}_{T})]$ can be calculated as described in Gammelmark and Mølmer (2013) by evaluating

[TABLE]

where the operator $\tau$ evolves according to the stochastic master equation

[TABLE]

The conditional states $\varrho^{(c)}$ at time $T$ can be obtained by integrating (3), for a certain stream of outcomes $\mathbf{y}_{T}$; then one can first calculate the corresponding quantum Fisher information $\mathcal{Q}[\varrho^{(c)}]$, and, numerically or when possible analytically, its average over all the possible trajectories explored by the quantum system due to the homodyne monitoring.

A more fundamental quantum Cramér-Rao bound that applies in this physical setting has been derived in Gammelmark and Mølmer (2014), by considering the QFI obtained from the unitary dynamics of the global pure state of system and environment. This QFI is obtained by optimizing over all possible POVMs, i.e. one also considers the possibility of performing non-separable (entangled) measurements over the system and all the output modes $\hat{a}_{out}(t)$ at different times. On the other hand, in the previous setting the estimation strategies were restricted to the more experimentally friendly case of sequential/separable measurements on the output modes and on the final conditional state of the system.

The QFI expressing this ultimate QCRB is by definition

[TABLE]

where $\langle\psi(\theta_{1})|\psi(\theta_{2})\rangle$ is the fidelity between the global state of system and environment for two different values of the parameter, and where we have highlighted its dependence on the superoperator $\mathcal{L}$ that defines the unconditional master equation (2). The key insight is that this fidelity can be determined by using operators acting on the system only Gammelmark and Mølmer (2014); Macieszczak et al. (2016) and it can be expressed as the trace of an operator $\hbox{Tr}\left[\bar{\rho}\right]=\langle\psi(\theta_{1})|\psi(\theta_{2})\rangle$, which obeys the following generalized master equation

[TABLE]

As before, we already assumed that the dependence on the parameter lies only in the system Hamiltonian $\hat{H}_{\theta}$ and that we have a single jump operator $\hat{c}$. We remark that the operator $\bar{\rho}$ is not a proper density operator representing a quantum state, except in the limit case $\theta_{1}\to\theta_{2}$, where we recover the standard master equation (2).

III Quantum magnetometry: the physical setting

We address the estimation of the intensity of a static and constant magnetic field $B$ acting on a ensemble of $N$ two-level atoms that are continuously monitored Geremia et al. (2003); Stockton et al. (2004); Auzinsh et al. (2004); Mølmer and Madsen (2004), as depicted in Fig. 1. The atomic ensemble can be described as a system with total spin $J=N/2$ with collective spin operators defined as $\hat{J}_{\alpha}=\frac{1}{2}\sum_{i=0}^{N}\sigma_{i\alpha}$, where $\alpha=x,y,z$ and $\sigma_{i\alpha}$ denotes the Pauli matrices acting on the $i$-th spin. The collective operators obey the same angular momentum commutation rules $[\hat{J}_{i},\hat{J}_{j}]=i\varepsilon_{ijk}\hat{J}_{k}$, where $\varepsilon_{ijk}$ is the Levi-Civita symbol. We remark that in the present manuscript we choose units such that $\hbar=1$.

We assume that the atomic sample is coupled to a electromagnetic mode $a_{in}(t)$ corresponding either to a cavity mode in a strongly driven and heavily damped cavity Thomsen et al. (2002), or analogously to a far-detuned traveling mode passing through the ensemble Mølmer and Madsen (2004). By considering an interaction Hamiltonian $\hat{H}_{int}=\sqrt{\kappa}\hat{J}_{z}(\hat{a}_{in}(t)+\hat{a}_{in}^{\dagger}(t))$ and if these environmental light modes are left unmeasured, the evolution of the system is expressed by (2), which in this case corresponds to a collective transverse noise on the atomic sample,

[TABLE]

where the constants $\kappa$ and $\gamma$ represent respectively the strength of the coupling with the noise and with the magnetic field, that is directed on the $y$-axis and thus perpendicular to the noise generator. At $t=0$ we consider the system prepared in a spin coherent state, i.e. a tensor product of single spin states (qubits) directed in the positive $x$ direction,

[TABLE]

where $|+\rangle$ is the eigenstate of $\sigma_{x}$ with eigenvalue $+1$. We thus have that the spin component on the $x$ direction attains the macroscopic value $\langle\hat{J}_{x}(0)\rangle=J$. The unconditional dynamics of $\langle\hat{J}_{x}\rangle$ is obtained by applying the operator $\hat{J}_{x}$ to both sides of Eq. (11) and then taking the trace. The result is the following equation describing damped oscillations

[TABLE]

where we observe how the the dissipative and unitary parts of the dynamics are respectively shrinking the spin vector $\langle\vec{\hat{J}}\rangle$ and causing its Larmor precession around the $y$-axis. In the following we will assume to measure small magnetic fields, such that $\gamma Bt\ll 1$ and we can approximate the solution of the previous equation as

[TABLE]

If the light modes are continuously monitored via homodyne measurements at the appropriate phase, one allows a continuous “weak” measurement of $\hat{J}_{z}$; the corresponding stochastic master equation (3) for finite monitoring efficiency $\eta$ reads

[TABLE]

while the measurement result at time $t$ corresponds to an infinitesimal photocurrent $dy_{t}=2\sqrt{\eta\kappa}\,\hbox{Tr}[\varrho^{(c)}\hat{J}_{z}]dt+dw_{t}$. It is important to remark how the collective noise characterizing the master equation (11) describes the dynamics also in experimental situations where no additional coupling to the atomic ensemble, with the purpose of performing continuous monitoring, is engineered Plankensteiner et al. (2016); Dalla Torre et al. (2013); Dorner (2012). In this respect, assuming a non-unit efficiency $\eta$ corresponds to considering both homodyne detectors that are not able to capture all the photons that have interacted with the spin, and environmental degrees of freedom, causing the same kind of noisy dynamics, that cannot be measured during the experiment.

Let us now consider the limit of large spin $J\gg 1$. In this case, the dynamics may be effectively described with the Gaussian formalism as long as $\langle\hat{J}_{x}(t)\rangle\approx J$, i.e. for times $t$ small enough to guarantee that $\kappa t\lesssim 1$. We define the effective quadrature operators of the atomic sample, satisfying the canonical commutation relation $[\hat{X},\hat{P}]=i$, as Madsen and Mølmer (2004); Mølmer and Madsen (2004)

[TABLE]

where $\bar{J}_{t}\equiv|\langle\hat{J}_{x}(t)\rangle|$ (notice that in the limit of large spin $J$ we can safely consider the unconditional average value $\langle\hat{J}_{x}(t)\rangle$, as the stochastic correction obtained via (15) would be negligible). In the Gaussian description the initial state $|\psi(0)\rangle$ corresponds to the vacuum state $(\hat{X}+i\hat{P})|0\rangle=|0\rangle$, which is Gaussian. As the stochastic master equation (15) becomes quadratic in the canonical operators (and thus preserves the Gaussian character of states)

[TABLE]

the whole dynamics can be equivalently rewritten in terms of first and second moments only Genoni et al. (2016b); Wiseman and Doherty (2005) (see B for the equations describing the whole dynamics in the Gaussian picture). As it will be clear in the following, due to the nature of the coupling, in order to address the estimation of $B$, we only need the behaviour of the mean and the variance of the atomic momentum quadrature $\hat{P}$ calculated on the conditional state $\varrho^{(c)}$, which follows the equations

[TABLE]

The differential equation for the conditional second moment is deterministic and can be solved analytically. For an initial vacuum state, i.e. with $\mathrm{Var}[\hat{P}(0)]=\frac{1}{2}$, we obtain the following solution

[TABLE]

that shows how the conditional state of the atomic sample is deterministically driven by the dynamics into a spin-squeezed state.

IV Results

Here we will present our main results, that is the derivation of ultimate quantum limits on noisy magnetometry via time-continuous measurements of the atomic sample. We will first evaluate the classical Fisher information $\mathcal{F}[{\bf y}_{t}]$ corresponding to the information obtainable from the photocurrent, and we will also show how the corresponding bound can be achieved via Bayesian estimation. We will then evaluate the second term appearing in the bound, corresponding to the information obtainable via a strong measurement on the conditional state of the atomic sample. This will allow us to discuss the ultimate limit on the estimation strategy via the effective quantum Fisher information: we will focus on the scaling with the relevant parameters of the experiment, i.e. with the total spin number $J$ and the monitoring time characterizing each experimental run $t$, and we will address the role of the detector efficiency $\eta$.

IV.1 Analytical FI corresponding to the time-continuous photocurrent

As discussed before, the measured photocurrent $\mathbf{y}_{t}$ obtained via continuous homodyne detection can be used to extract information about the system and to estimate parameters which appear in the dynamics. The ultimate limit on the precision of this estimate is quantified by the FI $\mathcal{F}[p({\bf y}_{t})]$. Given the Gaussian nature and the simple dynamics of the problem we can compute it analytically in closed form, by applying the results of Genoni (2017). As we describe in more detail in B, one obtains the formula

[TABLE]

By considering (18) and remembering that $\mathrm{d}w_{t}=\mathrm{d}y_{t}-\sqrt{2\eta\kappa Je^{-\frac{\kappa t}{2}}}\langle\hat{P}(t)\rangle_{c}\mathrm{d}t$, one obtains that the time evolution of the derivative of the conditional first moment $\langle\hat{P}(t)\rangle_{c}$ w.r.t. to the parameter $B$, can be written as

[TABLE]

where $\mathrm{Var}_{c}[\hat{P}(t)]$ is obtained from Eq. (20). We thus observe that the evolution is deterministic and one can easily derive its analytical solution. By applying Eq. (21), as the average over the trajectories is not needed, we readily obtain the following analytical formula for the FI

[TABLE]

As intuitively expected, this is a monotonically increasing function of $t$, since the partial derivative is always positive. To get some insight into this expression we first report the leading term for $t\to 0$

[TABLE]

where we explicitly see both Heisenberg scaling $J^{2}$ and a monitoring-enhanced time scaling $t^{3}$. We can get further intuition about this expression by expanding it around $J=\infty$, the limit in which the Gaussian approximation becomes exact. The leading order in this other expansion is quadratic in $J$, thus showing again Heisenberg scaling, irregardless of $t$:

[TABLE]

this last approximations actually reproduces the behavior of the function quite well in the range of parameters we will consider in the following.

We now want to show that one can achieve this classical Cramér-Rao bound from the time-continuous measurement outcomes obtained via an appropriate estimator. In Figure 2 we indeed show the posterior distribution as a function of time for a single experimental run, obtained after a Bayesian analysis (see C for details). We observe how the distribution gets narrower in time around the true value and we also explicitly show that its standard deviation $\sigma_{\mathrm{est}}$ converges to the one predicted by the Cramér-Rao bound $\sigma_{\mathrm{CR}}(t)=\mathcal{F}[p({\bf y}_{t})]^{-1/2}$. In the initial part of the dynamics the values of $\sigma_{\mathrm{est}}$ are smaller than the corresponding $\sigma_{\mathrm{CR}}$: this is due to the choice of the prior distribution, being narrower than the likelihood and thus implying some initial knowledge on the parameter which is larger than the one obtainable for small monitoring time.

IV.2 Quantum Cramér-Rao bound for noisy magnetometry via time-continuous measurements

In order to evaluate the quantum Cramér-Rao bound in Eq. (5) we now need to consider the second term $\mathbbm{E}_{p({\bf y}_{T})}\left[\mathcal{Q}[\varrho^{(c)}]\right]$, corresponding to the information obtainable via strong quantum measurement on the conditional state of the system. The conditional state $\varrho^{(c)}$ is Gaussian and has a dependence on the parameter $B$ only in the first moments. Therefore the corresponding QFI can be evaluated as prescribed in Pinel et al. (2013) (see B for more details) obtaining,

[TABLE]

Since, as we proved before, the evolution of both $\partial_{B}\langle\hat{P}(t)\rangle_{c}$ and $\mathrm{Var}_{c}[\hat{P}(t)]$ is deterministic, the average over all possible trajectories is also in this case trivial and we have $\mathbbm{E}_{p({\bf y}_{T})}\left[\mathcal{Q}[\varrho^{(c)}]\right]=\mathcal{Q}[\varrho^{(c)}]$. By exploiting the analytical solution for both quantities, the QFI reads

[TABLE]

As expected, for no monitoring of the environment ($\eta=0$), one obtains that $\mathcal{Q}[\varrho^{(c)}]\sim J$, i.e. corresponding to the SQL scaling. This function is also monotonically increasing with $t$ and we can expand it around $J=\infty$ to study the leading term, which shows again a quadratic scaling in $J$

[TABLE]

We also remark that the QFI is equal to the classical FI for a measurement of the quadrature $\hat{P}$, thus showing that a strong measurement of the operator $\hat{J}_{z}$ on the conditional state of the atomic sample is the optimal measurement saturating the corresponding quantum Cramér-Rao bound.

By combining Eqs. (23) and (27), we can now define the effective quantum Fisher information

[TABLE]

which represent the inverse of the best achievable variance according to the quantum Cramér-Rao bound (5). The resulting expression can be simplified to get the following simple analytical formula

[TABLE]

where

[TABLE]

We start by studying how this quantity scales with the total spin: in Fig. 3 we plot $\widetilde{\mathcal{Q}}$ as a function of $J$ in the appropriate regions of parameters. We remark that the plots will be presented by using $1/\kappa$ as a time unit so that the strength of the interaction becomes $\gamma/\kappa$ and is always fixed to $1\,\mathrm{G}^{-1}$ in the following. We observe that, within the validity of our approximation ($\kappa t\lesssim 1$), it is possible to obtain the Heisenberg-like scaling $J^{2}$ for the effective QFI. There is a transition between SQL-like scaling and Heisenberg scaling depending on the relationship between $J$ and $\kappa t$ showing how the quantum enhancement is observed for $J\gg 1/\kappa t$.

The same conclusions are drawn if we look at the behaviour of $\widetilde{\mathcal{Q}}$ as a function of the interrogation time $t$, plotted in Fig. 4: a transition from a $t^{2}$-scaling to a monitoring-enhanced $t^{3}$-scaling is observed for $J\gg 1/\kappa t$. We remark here that the typical scaling obtained in quantum metrology for unitary parameters is of order $t^{2}$. The observed $t^{3}$-scaling is due to the continuos monitoring of the system. A similar scaling of the Fisher information would be in fact obtained for an equivalent classical estimation problem, where a continuously monitored classical system is estimated via a the Kalman filter Genoni (2017). Notice that there are also few recent examples in the literature where a $t^{4}$-scaling can be observed. This is obtained in noiseless quantum metrology problems with time-dependent Hamiltonian and by exploiting open-loop control Schmitt et al. (2017); Pang and Jordan (2017); Yang et al. (2017); Gefen et al. (2017). In particular in Gefen et al. (2017), it was also shown that a $t^{3}$-scaling can be achieved without additional control, but by performing repeated (stroboscopic) measurement on the system, analogously to our strategy.

The previous results were both shown by considering perfect monitoring of the environment, i.e. for detectors with unit efficiency $\eta$. In Fig. 5 we plot the behaviours of $\widetilde{\mathcal{Q}}$ as a function of $J$ and $t$, varying the detector efficiency $\eta$; we observe how the quantum enhancements can be obtained for all non-zero values of $\eta$. The effect of having a non-unit monitoring efficiency is simply to imply larger values of $J$ to witness the transition between SQL to Heisenberg-scaling, as one can also understand by looking at the role played by $\eta$ and $J$ in Eq. (30).

We remind that if we consider only the classical FI $\mathcal{F}[p({\bf y}_{t})]$, the Heisenberg scaling in terms of $J$ and $t^{3}$-scaling are always obtained for $\kappa t\lesssim 1$ and for every $\eta$, as shown by the expansion (24). However, if the contribution of this term, as well as the contribution of conditioning to the QFI, are too small then the QFI of the unconditional state, i.e. (27) with $\eta=0$, dominates (the term $\eta K_{2}J^{2}$ in (30) is negligible) and we observe SQL scaling for $\mathcal{\tilde{Q}}$. We finally mention that the in the regimes where we observe Heisenberg scaling of $\mathcal{\tilde{Q}}$, the classical FI $\mathcal{F}[p({\bf y}_{t})]$ amounts to a relevant part of the total, namely around 25% .

IV.3 Optimality of time-continuous measurement strategy for noisy quantum magnetometry

As explained before, the ultimate limit for quantum magnetometry, in the presence of Markovian transversal noise as the one described by the master equation (11), is given by the QFI $\mathcal{\overline{Q}}_{\mathcal{L}}$ in Eq. (9). The generalized master equation (10) in this case (considering the large-spin approximation) reads

[TABLE]

In D we show how this equation can be solved in a phase space picture, since the equation contains at most quadratic terms in $\hat{X}$ and $\hat{P}$ and thus preserves the Gaussian character of the operator $\bar{\varrho}$.

The final result is

[TABLE]

i.e., we exactly obtain the effective QFI $\tilde{\mathcal{Q}}$ defined in Eq. (29) in the limit of unit efficiency $\eta=1$. This result remarkably proves that our strategy, not only allows to obtain the Heisenberg limit, but also corresponds to the optimal one, given a collective transversal noise master equation (11) and in the presence of perfectly efficient detectors. Indeed, any other more experimentally complicated strategy, based on entangled and non-local in time measurements of the output modes and the system, would not give better results in the estimation of the magnetic field $B$.

V Conclusion and discussion

We have addressed in detail estimation strategies for a static and constant magnetic field acting on an atomic ensemble of two-level atoms also subject to transverse noise. In particular, we have evaluated the ultimate quantum limits to precision for strategies based on time-continuous monitoring of the light coupled the atomic ensemble.

After deriving the appropriate quantum Cramér-Rao bound, we have calculated the corresponding effective quantum Fisher information in the limit of large spin, posing the ultimate limit on the mean-square error of any unbiased estimator. Our results conclusively show that both Heisenberg $J^{2}$-scaling in terms of spin, and a monitoring-enhanced $t^{3}$-scaling in terms of the interrogation time, are obtained for $J\gg 1/\kappa t$, confirming what was discussed in Geremia et al. (2003); Mølmer and Madsen (2004). We have remarkably demonstrated that these quantum enhancements are also obtained for not unit monitoring efficiency, i.e. even if one cannot measure all the environmental modes or for not perfectly efficient detectors. Finally we have analytically proven the optimality of our strategy, i.e. that given the master equation describing the unconditional dynamics of the system and ideal detectors, no other measurement strategy would give better results in estimating the magnetic field.

We remark that Heisenberg scaling, or at least a super-classical scaling, can be obtained in the presence of collective or individual (independent) transversal noise, by preparing a highly entangled or spin-squeezed state at the beginning of the dynamics and, for individual noise, by optimizing on the interrogation time $t$ Chaves et al. (2013); Brask et al. (2015); Smirne et al. (2016). In this respect, the advantage of our protocol lies in the fact that it achieves the Heisenberg scaling even for an initial classical spin-coherent state, exploiting the dynamical spin squeezing that is generated by the weak measurement.

In conclusion, we have shown that time-continuous measurements represent a resource for noisy quantum magnetometry Geremia et al. (2003); Mølmer and Madsen (2004); Madsen and Mølmer (2004). Indeed, the information leaking into the environment, here represented by light modes coupled to the atomic sample, obtained via homodyne detection, and the corresponding measurement back-action on the atomic sample, may be efficiently (and optimally) exploited in order to obtain the promised quantum enhanced estimation precision.

Acknowledgments

MGG would like to thank A. Doherty and A. Serafini for discussions and acknowledges support from Marie Skłodowska-Curie Action H2020-MSCA-IF-2015 (project ConAQuMe, grant nr. 701154). This work has been supported by EU through the collaborative H2020 project QuProCS (Grant Agreement 641277) and by UniMI through the H2020 Transition Grant.

Appendix A Classical and quantum Cramér-Rao bounds for sequential non-demolition measurements

Here we will show how to derive the quantum Cramér-Rao bound for time-continuous homodyne monitoring reported in Eq. (5).

We start by considering a (classical) estimation problem of a parameter $\theta$ described by a conditional probability $p(z,{\bf y}_{T}|\theta)$, where the vector ${\bf y}_{T}=(y_{1},y_{2},\dots,y_{T})^{\sf T}$ contains the outcomes of sequential measurements performed up to time $T$, while $z$ corresponds to a final measurement performed on the state of the system that has been conditioned on the previous measurement results ${\bf y}_{T}$. The corresponding classical Fisher information can be evaluated as

[TABLE]

where the second expression has been obtained by means of the Bayes rule

[TABLE]

In the following, we will omit the dependence on the parameter $\theta$ and we will denote by $\mathbbm{E}_{p(x)}[\cdot]$ the average over a probability distribution $p(x)$. By considering each term inside the integral separately one obtains

[TABLE]

where we have used the property $\int dz\,\left(\partial_{\theta}p(z|{\bf y}_{T})\right)=\partial_{\theta}\int dz\,p(z|{\bf y}_{T})=\partial_{\theta}\,(1)=0$. As a consequence, any unbiased estimator $\hat{\theta}$ based on $M$ experiments, i.e. obtained collecting $M$ series of measurement outcomes $({\bf y}_{T},z)$, satisfies the generalized Cramér-Rao bound

[TABLE]

where the first term $\mathcal{F}[p({\bf y}_{T})]$ is the Fisher information corresponding to the sequential measurements with outcomes ${\bf y}_{T}$, while the second term is the average of the Fisher information $\mathcal{F}[p(z|{\bf y}_{T})]$, corresponding to the final measurement over all the possible trajectories conditioned on the previous measurement results ${\bf y}_{T}$. The bound in Eq. (39) bears some formal similarity to the Van Tree’s inequality Van Trees (1967), which however applies in a quite different situation, i.e. the case where the parameter to be estimated $\theta$ is a random variable distributed according to a given probability distribution $p(\theta)$.

The estimation strategy here described is of particular interest when we deal with quantum systems, given the back-action of quantum measurement on the state of the system itself. We can in fact associate each measurement outcome ${y}_{k}$ to a Kraus operator $M_{y_{k}}$ such that the conditional quantum state, for the system initially prepared in a state $\varrho_{0}$ and after obtaining the stream of outcomes ${\bf y}_{T}$, reads

[TABLE]

where $\tilde{M}_{{\bf y}_{T}}=M_{y_{T}}\dots M_{y_{2}}M_{y_{1}}$ and the probability of obtaining the outcomes ${\bf y}_{T}$ reads $p({\bf y}_{T}|\theta)=\hbox{Tr}[\tilde{M}_{{\bf y}_{T}}\varrho_{0}\tilde{M}_{{\bf y}_{T}}^{\dagger}]$ 111In our treatment we will consider the sequential non-demolition measurement fixed, and thus described by a fixed set of Kraus operators $\{M_{y_{k}}\}$. However one can generalize the results by considering adaptive schemes where one can decide to modify the measurement performed at each time $t_{k}$. One can then also perform a strong (destructive) measurement described by POVM operators $\{\Pi_{z}\}$ on the conditional state, and the whole measurement strategy is described by the conditional probabilities

[TABLE]

Typically the parameter to be estimated $\theta$ enters in the the dynamics described by the Kraus operators $M_{y_{k}}$. For this reason we will start by considering these operators fixed, while we suppose we can optimize over the final measurement $\{\Pi_{z}\}$. We can then apply the quantum Cramér-Rao bound for the conditional states $\varrho^{(c)}_{{\bf y}_{T}}$, stating that $\mathcal{F}[p(z|{\bf y}_{T})]\leq\mathcal{Q}[\varrho^{(c)}_{{\bf y}_{T}}]$. One then obtains a more fundamental quantum Cramér-Rao bound for our estimation strategy

[TABLE]

Clearly this bound can be readily applied to the time-continuous case discussed in the main text, where the vector of outcomes ${\bf y}_{T}$ corresponds to a measured homodyne photocurrent, and where the conditional state $\varrho^{(c)}_{{\bf y}_{T}}$ can be obtained via a stochastic master equation as the one in Eq. (3).

We should also remark that a bound of this kind has already been considered in Catana and Guţă (2014), in a similar physical situation where $n$ probes, that may be prepared in a quantum correlated initial state, are coupled to $n$ independent environments and one performs sequentially $n$ measurement on the respective environments and a final measurement on the conditional state of the probes.

Appendix B Gaussian dynamics and Gaussian Fisher information

Here we will provide the formulas for the dynamics of the atomic ensemble described by the stochastic master equation (15). As we mentioned in the text, the whole dynamics preserves the Gaussian character of the quantum state and thus can be fully described in terms of the first moments vector $\langle{\bf\hat{r}}\rangle_{c}$ and of the covariance matrix $\boldsymbol{\sigma}$ of the quantum state $\varrho^{(c)}$. These are defined in components as $\langle\hat{r}_{j}\rangle_{c}={\rm Tr}\left[\hat{r}_{j}\varrho^{(c)}\right]$ and $\sigma_{jk}={\rm Tr}\left[\{\hat{r}_{j}-\langle\hat{r}_{j}\rangle_{c},\hat{r}_{k}-\langle\hat{r}_{k}\rangle_{c}\}\varrho^{(c)}\right]$ for the operator vector $\hat{\bf r}=(\hat{X},\hat{P})^{\sf T}$. In formulae one obtains Genoni et al. (2016b); Wiseman and Doherty (2005):

[TABLE]

where

[TABLE]

and $d{\bf w}$ is a vector of Wiener increments such that $d{w}_{j}\,dw_{k}=\delta_{jk}dt$, related to the photocurrent via the equation

[TABLE]

The Eqs. (18), (19) and (22) can be obtained from the ones above, remembering that for our definitions $\sigma_{22}=2{\rm Var}_{c}[\hat{P}(t)]$.

The method to calculate the Fisher information corresponding to the time-continuous measurement in the case of linear Gaussian system has been described in Genoni (2017). One has to evaluate the formula

[TABLE]

that, by plugging in the matrices describing our problem, is easily simplified to Eq. (21).

As the conditional state is Gaussian, also the calculation of the corresponding QFI can be easily obtained, in this case by applying the results presented in Pinel et al. (2013). Moreover, as only the first moments of the state depend on the parameter $B$, the calculation is further simplified and one has

[TABLE]

By noticing that the only non-zero entry of the vector $\partial_{B}\langle{\bf\hat{r}}\rangle_{c}$ is the one corresponding to $\langle\hat{P}(t)\rangle_{c}$, one easily obtain Eq. (26).

Appendix C Bayesian analysis for continuously monitored quantum systems

Bayesian analysis has proven to be an efficient tool for estimation in continuously monitored quantum systems Chase and Geremia (2009); Gammelmark and Mølmer (2013); Kiilerich and Mølmer (2016); Cortez et al. (2017). The goal is to reconstruct the posterior distribution of $B$ given the observed current $\mathbf{y}_{t}$, by Bayes rule:

[TABLE]

where $p(B)$ is the prior distribution, $L(B|\mathbf{y}_{t})\equiv p(\mathbf{y}_{t}|B)$ is the likelihood and $p(\mathbf{y}_{t})$ serves as a normalization factor. The Bayesian estimator is the mean of the posterior distribution $\hat{B}(\mathbf{y}_{t})=\mathbbm{E}_{p\left(B|\mathbf{y}_{t}\right)}\left[B\right]$ and it is proven that the corresponding variance $\mathrm{Var}_{\hat{B}}(B)=\mathbbm{E}_{p\left(B|\mathbf{y}_{t}\right)}[B^{2}]-(\mathbbm{E}_{p\left(B|\mathbf{y}_{t}\right)}[B])^{2}$ is asymptotically optimal, i.e. tends to saturate the Cramér-Rao bound when the length of the vector ${\bf y}_{T}$ is large.

The simulated experimental run is obtained by numerically integrating the stochastic differential equation (18) with the Euler-Maruyama method for the “true” value of the parameter $B_{\text{true}}$. Time is discretized with steps of length $\Delta t$, i.e. to get from time [math] to time $T$ we perform $n_{T}=T/{\Delta t}$ steps. Experimental data is represented by the observed measurement current $\mathbf{y}_{T}=(\Delta y_{t_{1}},\dots,\Delta y_{t_{n_{T}}})^{\sf T}$, which corresponds to an $n_{T}$-dimensional vector. The outcome at every time step $\Delta y_{t_{i}}$ is sampled from a Gaussian distribution with variance $\Delta t$ and mean $\overline{\Delta y_{t_{i}}}(B)=\sqrt{2\eta\kappa Je^{-\frac{\kappa t}{2}}}\langle\hat{P}(t_{i})\rangle_{c}\Delta t$. Notice that $\overline{\Delta y_{t_{i}}}(B)$ depends explicitly on the parameter $B$ via the quantum expectation value $\langle\hat{P}(t_{i})\rangle_{c}$ on the conditional state.

Since we are estimating only one parameter the posterior can be obtained on a grid on the parameter space, while for more complicated problems Markov chain Monte Carlo methods might be needed to sample from the posterior Gammelmark and Mølmer (2013). In practical terms we need to solve Eqs. (18) and (19) for every value of the parameter $B$ on the grid, assuming to perfectly know all the other parameters; then we need to calculate the likelihood for each value via

[TABLE]

by considering the outcomes as independent random variables, i.e. multiplying the corresponding probabilities. We then apply Bayes rule, Eq. (55), assuming a flat prior distribution $p(B)$ on a finite interval. The same analysis is trivially applied to more than one experiment by simply multiplying the likelihood obtained for every different observed measurement current.

Appendix D Ultimate quantum Fisher information via generalized master equation in phase space

Here we explicitly show how to solve Eq. (33). The characteristic function for a generic operator $\hat{O}$ is defined as

[TABLE]

where the displacement operator is defined as

[TABLE]

In particular we will work in the phase space of a single mode system, so that $\hat{\mathbf{r}}^{\top}=(\hat{X},\hat{P})$ is the vector of quadrature operators and $\mathbf{s}^{\top}=(x,p)$ is the vector of phase space coordinates.

The action of operators in the Hilbert space corresponds to differential operators acting on the characteristic function via the following mapping Genoni et al. (2016b); Barnett and Radmore (1997)

[TABLE]

If we now define the characteristic function associated to the operator $\bar{\varrho}$ introduced in Eq. (10)

[TABLE]

the quantity of interest in order to compute the QFI is then $\hbox{Tr}\bar{\varrho}=\bar{\chi}(0,t)$, as evident from the definition (57).

By applying the phase space mapping, from the generalized master equation (33) we get to the following partial differential equation for the characteristic function

[TABLE]

This equation can be solved by performing a Gaussian ansatz, similarly to Guarnieri et al. (2016), i.e. assuming that at every time the characteristic function can be written in the following form

[TABLE]

The dependence on time and on the parameters $B_{1/2}$ is completely contained in the covariance matrix $\boldsymbol{\sigma}(t)$, in the first moment vector $\mathbf{s}_{m}(t)^{\top}=\left(x_{m}(t),p_{m}(t)\right)$ and in the function $C(t)=\bar{\chi}(0,t)$, which is the final result we are seeking.

By plugging (D) into (64) and equating the coefficients for different powers of $x$ and $p$, one obtains a system of differential equations; the relevant ones are the equations coming from the coefficients of order one, and multiplying $p$ and $p^{2}$:

[TABLE]

These equations are solved analytically with the initial conditions $\mathbf{\sigma}_{1,1}(0)=1$, $x_{m}(0)=0$ and $C(0)=1$ (since for $t=0$ the operator $\bar{\varrho}$ corresponds to the initial state of the system $|0\rangle\langle 0|$), yielding

[TABLE]

By plugging this term into Eq. (9), we finally obtain the ultimate QFI $\overline{\mathcal{Q}}_{\mathcal{L}_{tn}}$ reported in Eq. (34).