Abstract
One of the main quests in quantum metrology, and quantum parameter estimation in general, is to find out the highest achievable precision with given resources and design schemes to attain it. In this article we present a general framework for quantum parameter estimation and provide systematic methods for computing the ultimate precision limit, which is more general and efficient than conventional methods.
Similar content being viewed by others
Introduction
A pivotal task in science and technology is to identify the highest achievable precision in measurement and estimation and design schemes to reach it. Quantum metrology, which exploits quantum mechanical effects such as entanglement, can achieve better precision than classical schemes and has found wide applications in quantum sensing, gravitational wave detection, quantum-enhanced reading of digital memory, quantum imaging, atomic clock synchronization, etc.;1,2,3,4,5,6,7,8,9,10,11 this has gained increasing attention in recent years.12,13,14,15,16,17,18,19,20,21,22,23,24,25,26
A typical situation in quantum parameter estimation is to estimate the value of a continuous parameter x encoded in some quantum state ρ x of the system. To estimate the value, one needs to first perform measurements on the system, which, in the general form, are described by Positive Operator Valued Measurements (POVM), {E y }, which provides a distribution for the measurement results p(y|x) = Tr(E y ρ x ). According to the Cramér–Rao bound in statistical theory,2, 3, 27, 28 the standard deviation for any unbiased estimator of x, based on the measurement results y, is bounded below by the Fisher information: \(\delta \hat x \ge \frac{1}{{\sqrt {I\left( x \right)} }},\) where \(\delta \hat x\) is the standard deviation of the estimation of x, and I(x) is the Fisher information of the measurement results, \(I\left( x \right) = \mathop {\sum}\nolimits_y {p\left( {y\left| x \right.} \right){{\left( {\frac{{\partial lnp\left( {y\left| x \right.} \right)}}{{\partial x}}} \right)}^2}} \).29 The Fisher information can be further optimized over all POVMs, which gives
where the optimized value J(ρ x ) is called quantum Fisher information.2, 3, 30, 31 If the above process is repeated n times, then the standard deviation of the estimator is bounded by \(\delta \hat x \ge \frac{1}{{\sqrt {nJ({\rho _x})} }}.\)
To achieve the highest precision, we can further optimize the encoding procedures x→ρ x so that J(ρ x ) is maximized. Typically the encoding is achieved by preparing the probe in some initial state ρ 0, then let it evolve under a dynamics that contains the interested parameter, \({\rho _0}\mathop{\longrightarrow}\limits^{{{\phi _x}}}{\rho _x}\). Usually ϕ x is determined by a given physical dynamics which is then fixed, while the initial state is up to our choice and can be optimized. A pivotal task in quantum metrology is to find out the optimal initial state ρ 0 and the corresponding maximum quantum Fisher information under any given evolution ϕ x . When ϕ x is unitary the GHZ-type of states are known to be optimal, which leads to the Heisenberg limit. However when ϕ x is noisy, such states are in general no longer optimal. Finding the optimal probe states and the corresponding highest precision limit under general dynamics has been the main quest of the field. Recently using the purification approach much progress has been made on developing systematical methods of calculating the highest precision limit.12, 13, 15, 18, 19 These methods, however, require smooth representations of the Kraus operators, which is not intrinsic to the dynamics.
In this article, we provide an alternative purification approach that does not require smooth representations of the Kraus operators. This framework provides systematic methods for computing the ultimate precision limit, which can be formulated as semi-definite programming and solved more efficiently than conventional methods. We also extend the Bures angle on quantum states to quantum channels, which is expected to find wide application in various fields of quantum information science.
Results
Ultimate precision limit
The precision limit of measuring x from a set of quantum states ρ x is determined by the distinguishability between ρ x and its neighboring states ρ x + dx .30, 32 This is best seen if we expand the Bures distance between the neighboring states ρ x and ρ x + dx up to the second order of dx:30
where \({d_{Bures}}\left( {{\rho _1},{\rho _2}} \right) = \sqrt {2 - 2F\left( {{\rho _1},{\rho _2}} \right)} \); here \(F\left( {{\rho _1},{\rho _2}} \right) = Tr\sqrt {\rho _1^{1/2}{\rho _2}\rho _1^{1/2}} \) is the fidelity between two states. Thus maximizing the quantum Fisher information is equivalent as maximizing the Bures distance, which is equivalent as minimizing the fidelity between ρ x and ρ x + dx . If the evolution is given by ϕ x , ρ x = ϕ x (ρ) and ρ x + dx = ϕ x + dx (ρ), the problem is then equivalent to finding out \(\mathop {{\min }}\nolimits_\rho F\left[ {{\phi _x}\left( \rho \right),{\phi _{x + dx}}\left( \rho \right)} \right]\). We now develop tools to solve this problem for both unitary and open quantum dynamics.
Given two evolution ϕ x and ϕ x + dx , we define the Bures angle between them as \(\Theta \left( {{\phi _x},{\phi _{x + dx}}} \right) = \mathop {{\max }}\nolimits_\rho \mathop {{\cos }}\nolimits^{ - 1} \left[ {F\left( {{\phi _x}\left( \rho \right),{\phi _{x + dx}}\left( \rho \right)} \right)} \right]\). This generalizes the Bures angle on quantum states33 to quantum channels. Θ(ϕ x , ϕ x + dx ) can be seen as an induced measure on quantum channel from the Bures angle on quantum states, it thus also defines a metric on quantum channels. From the definition of the Bures distance it is easy to see \(\mathop {{\max }}\nolimits_\rho d_{Bures}^2\left[ {{\phi _x}\left( \rho \right),{\phi _{x + dx}}\left( \rho \right)} \right] = 2 - 2\cos \Theta \left( {{\phi _x},{\phi _{x + dx}}} \right)\), thus from Eq. (2) we have
The ultimate precision limit under the evolution ϕ x is thus determined by the Bures angle between ϕ x and the neighboring channels
where n is the number of times that the procedure is repeated. If ϕ x is continuous with respect to x, then when dx→0, Θ(ϕ x , ϕ x + dx )→Θ(ϕ x , ϕ x ) = 0, in this case
the ultimate precision limit is then given by
The problem is thus reduced to determine the Bures angle between quantum channels. We will first show how to compute the Bures angle between unitary channels, then generalize to noisy quantum channels.
Ultimate precision limit for unitary channels
Given two unitaries U 1 and U 2 of the same dimension, since \(F\left( {{U_1}\rho U_1^\dag ,{U_2}\rho U_2^\dag } \right) = F\left( {\rho ,U_1^\dag {U_2}\rho U_2^\dag {U_1}} \right)\), we have \(\Theta \left( {{U_1},{U_2}} \right) = \Theta \left( {I,U_1^\dag {U_2}} \right)\), i.e., the Bures angle between two unitaries can be reduced to the Bures angle between the identity and a unitary. For a m × m unitary matrix U, let \({e^{ - i{\theta _j}}}\) be the eigenvalues of U, where θ j ∈(−π, π], 1 ≤ j ≤ m, which we will call the eigen-angles of U. If θ max = θ 1 ≥ θ 2≥⋯≥θ m = θ min are arranged in decreasing order, then \(\Theta \left( {I,U} \right) = \frac{{{\theta _{\max }} - {\theta _{\min }}}}{2}\) when θ max − θ min ≤ π,34,35,36,37,38,39 specifically if U = e −iHt, then \(\Theta \left( {I,U} \right) = \frac{{\left( {{\lambda _{\max }} - {\lambda _{\min }}} \right)t}}{2}\) if \(\left( {{\lambda _{\max }} - {\lambda _{\min }}} \right)t \le \pi \), where λ max(min) is the maximal (minimal) eigenvalue of H. This provides ways to compute Bures angles on unitary channels. For example, suppose the evolution takes the form U(x) = (e −ixHt)⊗N (tensor product of e −ixHt for N times, which means the same unitary evolution e −ixHt acts on all N probes). Then
It is easy to see that the difference between the maximal eigen-angle and the minimal eigen-angle of (e −iHtdx)⊗N is \({\theta _{\max }} - {\theta _{\min }} = N\left( {{\lambda _{\max }}\left| {dx} \right|t - {\lambda _{\min }}\left| {dx} \right|t} \right)\). Thus \(\Theta \left( {I,{{\left( {{e^{ - iHtdx}}} \right)}^{ \otimes N}}} \right) = \frac{{{\theta _{\max }} - {\theta _{\min }}}}{2} = \frac{{\left( {N{\lambda _{\max }}\left| {dx} \right| - N{\lambda _{\min }}\left| {dx} \right|} \right)t}}{2},\) Eq. (6) then recovers the Heisenberg limit
This also has close connection to the quantum speed limit,40,41,42 essentially the optimal probe state in this case, which is the equal superposition of the eigenvectors corresponding to λ max and λ min, is also the state that has the fastest speed of evolution.
Ultimate precision limit for noisy quantum channels
For a general quantum channel that maps from a m 1-dimensional to m 2-dimensional Hilbert space, the evolution can be represented by a Kraus operation \(K\left( {{\rho _S}} \right) = \mathop {\sum}\nolimits_{j = 1}^d {{F_j}{\rho _S}F_j^\dag } \); here the Kraus operators F j , 1 ≤ j ≤ d are of the size m 2 × m 1, \(\mathop {\sum}\nolimits_{j = 1}^d {F_j^\dag {F_j}} = {I_{{m_1}}}\). The channel can be equivalently represented as follows:
where \(\left| {{0_E}} \right\rangle \) denotes some standard state of the environment, and U ES is a unitary operator acting on both system and environment, which we will call as the unitary extension of K. A general U ES can be written as follows:
where only the first m 1 columns of U are fixed and W E ∈U(p)(p × p unitaries) only acts on the environment and can be chosen arbitrarily; here p ≥ d as p − d zero Kraus operators can be added.
Given a channel an ancillary system can be used to improve the precision limit, this can be described as the extended channel
where ρ SA represents a state of the original and ancillary systems. Without loss of generality, the ancillary system can be assumed to have the same dimension as the original system.
Given two quantum channels K 1 and K 2 of the same dimension, let U ES1 and U ES2 as unitary extensions of K 1 and K 2, respectively, we have43
This extends Uhlmann’s purication theorem on mixed states44 to noisy quantum channels. Furthermore, Θ(K 1⊗I A , K 2⊗I A ) can be explicitly computed from the Kraus operators of K 1 and K 2 (please see supplemental material for detail): if \({K_1}\left( {{\rho _S}} \right) = \mathop {\sum}\nolimits_{j = 1}^d {{F_{1j}}{\rho _S}F_{1j}^\dag } \), \({K_2}\left( {{\rho _S}} \right) = \mathop {\sum}\nolimits_{j = 1}^d {{F_{2j}}{\rho _S}F_{2j}^\dag } \), then \(\cos \Theta \left( {{K_1} \otimes {I_A},{K_2} \otimes {I_A}} \right) = \mathop {{\max }}\nolimits_{\left\| W \right\| \le 1} \frac{1}{2}{\lambda _{\min }}\left( {{K_W} + K_W^\dag } \right)\); here \({\lambda _{\min }}\left( {{K_W} + K_W^\dag } \right)\) denotes the minimum eigenvalue of \({K_W} + K_W^\dag \), where \({K_W} = \mathop {\sum}\nolimits_{ij} {{w_{ij}}F_{1i}^\dag {F_{2j}}} \), with w ij as the ij-th entry of a d × d matrix W, which satisfies \(\left\| W \right\| \le 1\) (\(\left\| \cdot \right\|\) denotes the operator norm, which is equal to the maximum singular value). If we substitute K 1 = K x and K 2 = K x + dx , where \({K_x}\left( {{\rho _S}} \right) = \mathop {\sum}\nolimits_{j = 1}^d {{F_j}\left( x \right){\rho _S}F_j^\dag \left( x \right)} \) and \({K_{x + dx}}\left( {{\rho _S}} \right) = \mathop {\sum}\nolimits_{j = 1}^d {{F_j}\left( {x + dx} \right){\rho _S}F_j^\dag \left( {x + dx} \right)} \) with x being the interested parameter, then
where \({K_W} = \mathop {\sum}\nolimits_{ij} {{w_{ij}}F_i^\dag \left( x \right){F_j}\left( {x + dx} \right)} \).
By substituting ϕ x = K x ⊗I A and ϕ x + dx = K x + dx ⊗I A in Eq. (3), we then get the maximal quantum Fisher information for the extended channel K x ⊗I A ,
The maximization in Eq. (13) can be formulated as semi-definite programming: \(\mathop {{\max }}\nolimits_{\left\| W \right\| \le 1} \frac{1}{2}{\lambda _{\min }}\left( {{K_W} + K_W^\dag } \right) = \)
For example, consider two qubits with independent dephasing noises, which can be represented by four Kraus operators: F 1(x)⊗F 1(x), F 1(x)⊗F 2(x), F 2(x)⊗F 1(x), F 2(x)⊗F 1(x) with \({F_1}\left( x \right) = \sqrt {\frac{{1 + \eta }}{2}} U\left( x \right)\), \({F_2}\left( x \right) = \sqrt {\frac{{1 - \eta }}{2}} {\sigma _3}U\left( x \right)\); here \(U\left( x \right) = \exp \left( { - i\frac{{{\sigma _3}}}{2}x} \right).\) Figure 1 shows the maximal quantum Fisher information and the quantum Fisher information for the separable input state \(\left| { + + } \right\rangle \), where \(\left| + \right\rangle = \frac{{\left| 0 \right\rangle + \left| 1 \right\rangle }}{{\sqrt 2 }}\). It can be seen that the gain of entanglement is only obvious in the region of high η, i.e., low noises. It is also found that there exists a threshold for η, above the threshold the GHZ state is the optimal state that achieves the maximal quantum Fisher information, but with the decreasing of η the optimal state gradually changes from GHZ state to separable state, and this threshold increases with the number of qubits.
In Fig. 2 the quantum Fisher information for the optimal state, GHZ state, and the separable state are plotted.
Parallel scheme
Previous results on the SQL (standard quantum limit)-like scaling for certain independent noise processes12, 13, 15, 18, 45 can also be recaptured in this framework. In ref. 43 we showed that given any two channels \({K_1}\left( {{\rho _S}} \right) = \mathop {\sum}\nolimits_{j = 1}^d {{F_{1j}}{\rho _S}F_{1j}^\dag } \), \({K_2}\left( {{\rho _S}} \right) = \mathop {\sum}\nolimits_{j = 1}^d {{F_{2j}}{\rho _S}F_{2j}^\dag } \), we have
where K ⊗N denote N channels in parallel as in Fig. 3, \({K_W} = \mathop {\sum}\nolimits_{ij} {{w_{ij}}F_{1i}^\dag {F_{2j}}} \), with w ij as the ij-th entry of a d × d matrix W which satisfies \(\left\| W \right\| \le 1\). This inequality is valid for any W with \(\left\| W \right\| \le 1\), the smaller the right side of the inequality, the tighter the bound is. In the asymptotical limit, \(N\left( {N - 1} \right){\left\| {I - {K_W}} \right\|^2}\) is the dominating term, in that case we would like to choose a W minimizing \(\left\| {I - {K_W}} \right\|\) for a tighter bound. This can be formulated as semi-definite programming with
For quantum parameter estimation with the noisy channel \({K_x}\left( \rho \right) = \mathop {\sum}\nolimits_{i = 1}^d {{F_i}\left( x \right)\rho F_i^\dag \left( x \right)} \), we can substitute K 1 = K x and K 2 = K x + dx into Eq. (15). If there exists a d × d matrix W with \(\left\| W \right\| \le 1\) such that \(\left\| {I - {K_W}} \right\| \le Dd{x^2}\), where \({K_W} = \mathop {\sum}\nolimits_{ij} {{w_{ij}}F_i^\dag \left( x \right){F_j}\left( {x + dx} \right)} \), then the precision limit of \(K_x^{ \otimes N}\) will scale at most \(\frac{1}{{\sqrt N }}\). As by substituting K 1 = K x and K 2 = K x + dx into Eq. (15),
The quantum Fisher information is then bounded by
thus the precision limit has SQL scaling
For example, consider the dephasing channel with
where \(U\left( x \right) = \exp \left( { - i\frac{{{\sigma _3}}}{2}x} \right)\), \({\sigma _1} = \left( {\begin{array}{*{20}{l}}0 \hfill & 1 \hfill \\ 1 \hfill & 0 \hfill \\ \end{array}} \right)\), \({\sigma _2} = \left( {\begin{array}{*{20}{c}}0 & { - i} \\ i & 0 \\ \end{array}} \right)\) and \({\sigma _3} = \left( {\begin{array}{*{20}{l}}1 \hfill & 0 \hfill \\ 0 \hfill & { - 1} \hfill \\ \end{array}} \right)\), η∈[0, 1]. In this case \({F_1}\left( x \right) = \sqrt {\frac{{1 + \eta }}{2}} U\left( x \right)\), \({F_2}\left( x \right) = \sqrt {\frac{{1 - \eta }}{2}} {\sigma _3}U\left( x \right).\) We choose \(W = \left[ {\begin{array}{*{20}{c}}{\cos (\xi dx)} & {i\sin (\xi dx)} \\ {i\sin (\xi dx)} & {\cos (\xi dx)} \\ \end{array}} \right]\) and vary ξ to minimize \(\left\| {I - {K_W}} \right\|\). In this case
thus
where \(R = 1 - \cos \left( {\xi dx} \right)\cos \frac{{dx}}{2} + \sqrt {1 - {\eta ^2}} \sin \left( {\xi dx} \right)\sin \frac{{dx}}{2}\) and \(I = \cos \left( {\xi dx} \right)\sin \frac{{dx}}{2} + \sqrt {1 - {\eta ^2}} \sin \left( {\xi dx} \right)\cos \frac{{dx}}{2}\), then \(\left\| {I - {K_W}} \right\| = \sqrt {{R^2} + {I^2}} \). Expanding R and I to the second order of dx, we can get \(R = \frac{{1 + 4{\xi ^2} + 4\xi \sqrt {1 - {\eta ^2}} }}{8}d{x^2} + O\left( {d{x^3}} \right)\) and \(I = \frac{{dx}}{2} + \sqrt {1 - {\eta ^2}} \xi dx + O(d{x^3})\). To minimize \(\left\| {I - {K_W}} \right\|\) we should choose \(\xi = - \frac{1}{{2\sqrt {1 - {\eta ^2}} }}\) when η ≠ 1(η = 1 corresponds to the case of no dephasing error) so the first-order term in I cancels. In this case up to the second order
thus \(\max \,J = \mathop {{\lim }}\nolimits_{dx \to 0} 8\frac{{1 - \cos \left[ {{\Theta _{QC}}\left( {K_x^{ \otimes N} \otimes {I_A},K_{x + dx}^{ \otimes N} \otimes {I_A}} \right)} \right]}}{{d{x^2}}} \le \frac{{{\eta ^2}}}{{1 - {\eta ^2}}}N\), and the precision limit \(\delta x \ge \frac{1}{{\sqrt {nJ} }} \ge \frac{{\sqrt {1 - {\eta ^2}} }}{{\eta \sqrt {nN} }}\), which scales as \(\frac{1}{{\sqrt N }}\) for any η ≠ 1. This is consistent with previous studies12, 13, 18, 19 but here with a clear procedure to obtain the value for ξ.
Discussion
We discuss how our results are related to previous studies. Previous studies12, 13 show that for an extended channel K x ⊗I A the maximal quantum Fisher information is given by
where the minimization is over all smooth representations of equivalent Kraus operators of the channel K x . Note that this can be equivalently written as
where the optimization is over all smooth representations of equivalent Kraus operators. In previous studies the equivalent Kraus operators are represented by \({\hat F_j}\left( x \right) = \mathop {\sum}\nolimits_{i = 1}^d {{\omega _{ji}}\left( x \right){F_i}\left( x \right)} \) and \({\hat F_j}\left( {x + dx} \right) = \mathop {\sum}\nolimits_{i = 1}^d {{\omega _{ji}}\left( {x + dx} \right){F_i}\left( {x + dx} \right)} \), where ω ji (x) is ji-entry of W E (x)∈U(d), and W E (x) is required to be smooth with respect to x. It is easy to see that in this case Eq. (22) is a special case of Eq. (13) with W restricted to the form \(W_E^\dag \left( x \right){W_E}\left( {x + dx} \right)\). This restriction arises as the operator W E in Eq. (10), which originally can be arbitrary chosen, was assumed to depend on x smoothly in previous studies.12, 13 Such restriction is not intrinsic to the dynamics. Furthermore without the restriction the set \(\left\{ {\left. W \right|\left\| W \right\| \le 1} \right\}\) is a convex set, which allows a direct formulation as the semi-definite programming. While with the restriction \(W = W_E^\dag \left( x \right){W_E}\left( {x + dx} \right)\) needs to be unitary which does not form a convex set, to circumvent this difficulty previous study needs to resort to the Lie algebra of the unitaries and formulated the semi-definite programming on the tangent space instead.15 That, however, comes with a cost on the computational complexity. The complexity of semi-definite programming is determined by the number of variables (A) and the size of the constraining matrices (B) as O(A 2 B 2),46 while the number of variables in the semi-definite programming here is in the same order as previous studies (both in the order of d 2), the size of the constraining matrices differ: the constraining matrices here have the total size of 2d + m 1, while previous formulation needs a size of m 1 + dm 2.15 The difference can be significant when the system gets large (note that for generic channels d is in the order of m 1 m 2). For example, for N-qubit system, m 1 = m 2 = 2N, the difference quickly becomes large with the increase of N. Also since any choice of allowed W leads to a lower bound on the precision limit, expanding the set of allowed W from the unitaries to \(\left\{ {\left. W \right|\left\| W \right\| \le 1} \right\}\) also provides more room for obtaining useful lower bounds.
Conclusion
In conclusion, we presented a general framework for quantum metrology that provides systematical ways to obtain the ultimate precision limit. This framework relates the ultimate precision limit directly to the geometrical properties of the underlying dynamics, which eases the analysis on utilizing quantum control methods to alter the underlying dynamics for better precision limit.47, 48 The tools developed here, such as the generalized Bures angle on quantum channels that can be efficiently computed using semi-definite programming, are expected to find wide applications in various fields of quantum information science.
Methods
For more details on the derivation of the formulas for the ultimate precision limit, please see the Supplemental Information.
References
Giovannetti, V., Lloyd, S. & Maccone, L. Advances in quantum metrology. Nat. Photonics 5, 222–229 (2011).
Helstrom, C. W. Quantum Detection and Estimation Theory (Academic, 1976).
Holevo, A. S. Probabilistic and Statistical Aspect of Quantum Theory (North-Holland, 1982).
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, doi:10.1103/PhysRevA.46.R6797 (1992).
Caves, C. M. Quantum-mechanical noise in an interferometer. Phys. Rev. D 23, 1693–1708, doi:10.1103/PhysRevD.23.1693 (1981).
Lee, H., Kok, P. & Dowling, J. P. A quantum Rosetta stone for interferometry. J. Mod. Opt. 49, 2325–2338 (2002).
Braunstein, S. L. Quantum limits on precision measurements of phase. Phys. Rev. Lett. 69, 3598–3601, doi:10.1103/PhysRevLett.69.3598 (1992).
Giovannetti, V., Lloyd, S. & Maccone, L. Quantum-enhanced measurements: beating the standard quantum limit. Science 306, 1330–1336 (2004).
Tan, S. H. et al. Quantum illumination with Gaussian states. Phys. Rev. Lett. 101, 253601, doi:10.1103/PhysRevLett.101.253601 (2008).
Pirandola, S. Quantum reading of a classical digital memory. Phys. Rev. Lett. 106, 090504, doi:10.1103/PhysRevLett.106.090504. (2011).
Nair, R. & Yen, B. J. Optimal quantum states for image sensing in loss. Phys. Rev. Lett. 107, 193602, doi:10.1103/PhysRevLett.107.193602 (2011).
Fujiwara, A. & Imai, H. A fibre bundle over manifolds of quantum channels and its application to quantum statistics. J. Phys. A Math. Theor. 41, 255304 (2008).
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).
Tsang, M. Quantum metrology with open dynamical systems. New J. Phys. 15, 073005 (2013).
Demkowicz-Dobrzanski, R., Kolodynski, J. & Guta, M. The elusive Heisenberg limit in quantum-enhanced metrology. Nat. Commun. 3, 1063 (2012).
Knysh, S., Smelyanskiy, V. N. & Durkin, G. A. Scaling laws for precision in quantum interferometry and the bifurcation landscape of the optimal state. Phys. Rev. A 83, 021804, doi:10.1103/PhysRevA.83.021804. (2011).
Knysh, S., Chen, E., & Durkin, G. True limits to precision via unique quantum probe. Preprint at http://arxiv.org/abs/1402.0495 (2014).
Kolodynski, J. & Demkowicz-Dobrzanski, R. Efficient tools for quantum metrology with uncorrelated noise. New J. Phys. 15, 073043 (2013).
Demkowicz-Dobrzański, R. & Maccone, L. Using entanglement against noise in quantum metrology. Phys. Rev. Lett. 113, 250801, doi:10.1103/PhysRevLett.113.250801 (2014).
Alipour, S., Mehboudi, M. & Rezakhani, A. T. Quantum metrology in open systems: dissipative Cramér-Rao bound. Phys. Rev. Lett. 112, 120405, doi:10.1103/PhysRevLett.112.120405 (2014).
Chin, A. W., Huelga, S. F. & Plenio, M. B. Quantum metrology in non-Markovian environments. Phys. Rev. Lett. 109, 233601, doi:10.1103/PhysRevLett.109.233601 (2012).
Tsang, M., Wiseman, H. M. & Caves, C. M. Fundamental quantum limit to waveform estimation. Phys. Rev. Lett. 106, 090401, doi:10.1103/PhysRevLett.106.090401 (2011).
Berry, D. W., Hall, M. J. W. & Wiseman, H. M. Stochastic Heisenberg limit: optimal estimation of a fluctuating phase. Phys. Rev. Lett. 111, 113601, doi:10.1103/PhysRevLett.111.113601 (2013).
Berry, D. W., Tsang, M., Hall, M. J. W. & Wiseman, H. M. Quantum bell-Ziv-Zakai bounds and Heisenberg limits for waveform estimation. Phys. Rev. X 5, 031018, doi:10.1103/PhysRevX.5.031018 (2015).
Sarovar, M. & Milburn, G. J. Optimal estimation of one-parameter quantum channels. J. Phys. A Math. Gen. 39, 8487 (2006).
Ji, Z., Wang, G., Duan, R., Feng, Y. & Ying, M. Parameter estimation of quantum channels. IEEE Trans. Inf. Theor. 54, 5172–5185 (2008).
Cramer, H. Mathematical Methods of Statistics (Princeton University, 1946).
Rao, C. R. B. Information and the accuracy attainable in the estimation of statistical parameters. Calcutta Math. Soc. 37, 81–89 (1945).
Fisher, R. A. Theory of statistical estimation. Proc. Camb. Philol. Soc. 22, 700–725 (1925).
Braunstein, S. L. & Caves, C. M. Statistical distance and the geometry of quantum states. Phys. Rev. Lett. 72, 3439–3443, doi:10.1103/PhysRevLett.72.3439 (1994).
Braunstein, S. L., Caves, C. M. & Milburn, G. J. Generalized uncertainty relations: theory, examples, and Lorentz invariance. Ann. Phys. 247, 135–173 (1996).
Wootters, W. K. Statistical distance and Hilbert space. Phys. Rev. D 23, 357–362, doi:10.1103/PhysRevD.23.357 (1981).
Bures, D. J. C. An extension of Kakutani’s theorem on infinite product measures to the tensor product of semifinite w-algebras. Trans. Amer. Math. Soc. 135, 199–212 (1969).
Childs, A., Preskill, J. & Renes, J. Quantum information and precision measurement. J. Mod. Opt. 47, 155–176 (2000).
Acin, A. Statistical distinguishability between unitary operations. Phys. Rev. Lett. 87, 177901, doi:10.1103/PhysRevLett.87.177901 (2001).
Duan, R., Feng, Y. & Ying, M. Entanglement is not necessary for perfect discrimination between unitary operations. Phys. Rev. Lett. 98, 100503, doi:10.1103/PhysRevLett.98.100503 (2007).
Chau, H. F. Metrics on unitary matrices and their application to quantifying the degree of non-commutativity between unitary matrices. Quant. Inf. Comput. 11, 0721 (2011).
Fung, C. H. F. & Chau, H. F. Relation between physical time-energy cost of a quantum process and its information fidelity. Phys. Rev. A 90, 022333, doi:10.1103/PhysRevA.90.022333 (2014).
Fung, C. H. F., Chau, H. F., Li, C. K. & Sze, N. S. Solution to time-energy costs of quantum channels. Quant. Inf. Comput. 15, 0685–0693 (2015).
Mandelstam, L., & Tamm I. G. The uncertainty relation between energy and time in nonrelativistic quantum mechanics. J. Phys. U.S.S.R. 9, 249–254 (1945).
Margolus, N. & Levitin, L. B. Proceedings of the fourth workshop on physics and consumption the maximum speed of dynamical evolution. Physica D 120, 188–195 (1998).
Fröwis, F. Kind of entanglement that speeds up quantum evolution. Phys. Rev. A 85, 052127, doi:10.1103/PhysRevA.85.052127 (2012).
Yuan, H., & Fung, C. H. F. Fidelity and Fisher information on quantum channels. arXiv. 1506.00819, https://arxiv.org/abs/1506.00819 (2015).
Uhlmann, A. The “transition probability” in the state space of a*-algebra. Rep. Math. Phys. 9, 273–279 (1976).
Kolodynski, J. Precision bounds in noisy quantum metrology. arXiv. 1409.0535, https://arxiv.org/abs/1409.0535 (2014).
Doherty, A. C., Parrilo, P. A. & Spedalieri, F. M. Complete family of separability criteria. Phys. Rev. A 69, 022308, doi:10.1103/PhysRevA.69.022308 (2004).
Yuan, H. & Fung, C. H. F. Optimal feedback scheme and universal time scaling for Hamiltonian parameter estimation. Phys. Rev. Lett. 115, 110401, doi:10.1103/PhysRevLett.115.110401 (2015).
Yuan, H. Sequential feedback scheme outperforms the parallel scheme for Hamiltonian parameter estimation. Phys. Rev. Lett. 117, 160801, doi:10.1103/PhysRevLett.117.160801 (2016).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Electronic supplementary material
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Yuan, H., Fung, CH.F. Quantum parameter estimation with general dynamics. npj Quantum Inf 3, 14 (2017). https://doi.org/10.1038/s41534-017-0014-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41534-017-0014-6
- Springer Nature Limited
This article is cited by
-
Parameter estimation in quantum sensing based on deep reinforcement learning
npj Quantum Information (2022)
-
Multi-channel quantum parameter estimation
Science China Information Sciences (2022)
-
Improving the precision of optical metrology by detecting fewer photons with biased weak measurement
Light: Science & Applications (2021)
-
Experimental critical quantum metrology with the Heisenberg scaling
npj Quantum Information (2021)
-
Hybrid quantum-classical approach to enhanced quantum metrology
Scientific Reports (2021)