Abstract
In contrast to the standard quantum state tomography, the direct tomography seeks a direct access to the complex values of the wave function at particular positions. Originally put forward as a special case of weak measurement, it has been extended to arbitrary measurement setup. We generalize the idea of “quantum metrology,” where a real-valued phase is estimated, to the estimation of complex-valued phase. We show that it enables to identify the optimal measurements and investigate the fundamental precision limit of the direct tomography. We propose a few experimentally feasible examples of direct tomography schemes and, based on the complex phase estimation formalism, demonstrate that direct tomography can reach the Heisenberg limit.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Reconstruction of the quantum state of a system is of vital importance not only in fundamental studies of quantum mechanics but also in many practical applications of quantum information technology. The standard way to do it, the so-called quantum state tomography, requires an indirect computational reconstruction based on the measurement outcomes of a complete set of non-commuting observables on identically prepared systems [1]. Recently, an alternative method has been put forward and demonstrated experimentally [2, 3]. It has attracted much interest because it enables the complex-valued wave functions to be extracted directly and, from many points of view, in an experimentally less challenging manner. We call this method the direct tomography of wave functions. The direct tomography was originally proposed as a special case of weak measurement [2, 3]. Later it was extended to arbitrary measurement setup working regardless of the system-pointer coupling strength [4, 5]. More recently, the direct tomography has been reinterpreted in the so-called probe-controlled system framework. The latter allows experimenters for even wider variations of setup such as scan-free method of direct tomography [6], and in many cases leads to a higher efficiency. However, the metrological aspects of direct tomography have not been examined at all.
The statistical nature sets the standard quantum limit on the precision of standard measurement techniques [7, 8]. To reduce the statistical error, one needs to perform a large number N of repeated measurements. When it comes to direct tomography, it seems even worse as the post-selection procedure demands even more repetitions. Recent efforts in quantum metrology have shown new insights to overcome the standard quantum limit and achieve a higher precision by exploiting quantum resources, especially, quantum entanglement [7,8,9,10]. A great number of measurement strategies along the line have been proposed and demonstrated experimentally so far [11]. It is known that a genuine multi-particle entanglement is necessary to achieve the maximum precision, the so-called Heisenberg limit [10, 12].
In this paper, we investigate the ultimate precision of the direct tomography of wave functions. For the purpose, we generalize the idea of quantum metrology to the estimation of complex-valued phase. We show that the reformulation enables to identify the optimal measurements for efficient estimation and investigate the fundamental precision limit of direct tomography. We further propose two different measurement schemes that eventually approach the Heisenberg limit. In the first method, the pointers are prepared in special entangled states, either GHZ-like maximally entangled state or the symmetric Dicke state. In the other scheme, the ensemble of the measured systems is duplicated and the replica ensemble is time-reversal transformed before the start of the measurement.
Note that here we are concerned with the precision of statistical origin concerning measurement on an ensemble of systems. A notable exception is the so-called protected measurement [13, 14], where the expectation value of an observable is obtained from measurement on a single system as demonstrated in a recent experiment [15]. In this case, a higher precision may be achieved by preparing the pointer in a special state of minimum uncertainty such as a squeezed state [16].
2 Direct tomography as a phase estimation
In order to investigate the precision limit of the direct tomography of wave functions, it is convenient to reformulate it as a phase estimation. It allows a clearer picture of the optimal initial states and measurements and hence more convenient investigation of the precision limit.
Before the reformulation, we briefly summarize the procedure of direct tomography [2,3,4]. Here we follow Ref. [4] and examine the direct tomography beyond weak-coupling approximation. Consider an unknown pure state \(\mathinner {|{\textstyle \psi _\text {S}}\rangle }\) in a d dimensional Hilbert space and expand it in a given basis \(\{\mathinner {|{\textstyle x}\rangle }|x=1,\cdots ,d\}\) as
A qubit is taken as the pointer and prepared in the state \(\mathinner {|{\textstyle \phi _\mathrm {in}}\rangle }\). The total wave function of the system plus the pointer is thus \(\mathinner {|{\textstyle \varPsi _\mathrm {in}}\rangle }=\mathinner {|{\textstyle \psi _S}\rangle }\otimes \mathinner {|{\textstyle \phi _\mathrm {in}}\rangle }\). The direct measurement of wave function \(\psi _x\) starts by coupling the system with the pointer. The system-pointer interaction can be described by a unitary operator of the form
where \(\theta \) is the system-pointer coupling constant, \(\hat{K}/2\) is a traceless “angular momentum” operator (i.e., \(e^{-i\theta \hat{K}/2}\) is a “rotation” operator) on the pointer, and \(\hat{I}_\text {S}\) (\(\hat{I}_\text {P}\)) is the identity operator on the system (pointer). The initial state \(\mathinner {|{\textstyle \phi _\mathrm {in}}\rangle }\) and the coupling operator \(\hat{K}\) of the pointer are chosen such that \(\mathinner {\langle {\textstyle \phi _\mathrm {in}}|}\hat{K}\mathinner {|{\textstyle \phi _\mathrm {in}}\rangle }=0\). Metrologically, it corresponds to the requirement that the pointer rotates as much as possible in response to the system-pointer coupling and enables a higher precision [20]. After the interaction, the system is post-selected on to the state
which leaves the pointer in the state
where
Without loss of generality, \({\tilde{\psi }}\) is assumed to be real and positive as a global phase factor is physically irrelevant (if \({\tilde{\psi }}= 0\), then one can choose a post-selection to a different state). Now, extracting \(\psi _x\) is essentially equivalent to the single-qubit quantum state tomography. Accordingly, we choose three observables to measure, \(\hat{K}/2\) in the system-pointer coupling and two other angular momentum operators, \(\hat{K}_1/2\) and \(\hat{K}_2/2\), perpendicular to \(\hat{K}/2\). Through a number of independent measurements, the probabilities \(P_M\) for the measurements \(M=K,K_1,K_2\) to yield the outcome 1 (contrary to \(-1\)) are inferred, and then the wave function is extracted from the relation
Therefore, in principle, the wave function \(\psi _x\) is estimated exactly as long as the probabilities \(P_M\) are inferred out of an infinite number of repeated measurements. In practice, however, the number of repetitions is finite and the accuracy is subject to the standard quantum limit.
Now let us reformulate the direct tomography outlined above as a phase estimation problem. To this end, we rewrite the normalized pointer state after post-selection into the form
where we have introduced a complex-valued phase \(\varphi \) by the relations
Once the complex parameter \(\varphi \) is estimated through experiments, one can extract the wave function \(\psi _x\) by
Whereas the relation (7) between the final and initial state is formally the same as the standard phase estimation in quantum metrology [10], it involves two real parameters, \(\varphi _1:={\text {Re}}\varphi \) and \(\varphi _2:={\text {Im}}\varphi \), and corresponds to multi-parameter quantum metrology [17]. Naturally, it requires measurements of more than one observables. Throughout this work, the estimation of complex parameter \(\varphi =\varphi _1+\mathrm {i}\varphi _2\) will be used interchangeably with the multi-parameter estimation of real parameters \(\varphi _1\) and \(\varphi _2\).
To see how to estimate the complex phase \(\varphi \) in Eq. (7), we note that
and
where \(\langle ...\rangle _\mathrm {f}\) denotes the statistical average \(\langle \phi _\mathrm {f}|...\mathinner {|{\textstyle \phi _\mathrm {f}}\rangle }\) and analogously \(\langle ...\rangle _\mathrm {in}\). It is observed from Eqs. (10) and (11) that \(\varphi _1\) rotates the classical vector \((\langle \hat{K}_1\rangle ,\langle \hat{K}_2\rangle )\) around the axis along \(\hat{K}\) whereas \(\varphi _2\) shifts \(\mathinner {\langle {\textstyle \hat{K}}\rangle }\). Such a rotation angle \(\varphi _1\) can be estimated by Ramsey-type interferometry whereas the estimation of \(\varphi _2\) requires an amplitude measurement scheme. In particular, for a choice of \(\mathinner {|{\textstyle \phi _\mathrm {in}}\rangle }\) consistent with the optimal sensitivity such that \(\mathinner {\langle {\textstyle \hat{K}_2}\rangle }_\mathrm {in}=\mathinner {\langle {\textstyle \hat{K}}\rangle }_\mathrm {in}=0\), one has
In short, the optimal estimation of the complex phase \(\varphi \), one needs first to (i) prepare the pointer in the initial state such that \(\mathinner {\langle {\textstyle \hat{K}_2}\rangle }=\mathinner {\langle {\textstyle \hat{K}}\rangle }=0\), and then (ii) perform measurements of two [rather than three as in Eq. (6)] observables \(\hat{K}_1\) and \(\hat{K}\). Therefore, the reformulation of direct tomography in the form of complex phase estimation is intuitively appealing and helps us find the optimal measurements for efficient estimation.
In passing, we remark that any measurement scheme involving post-selection can essentially be formulated as a complex phase estimation although the estimated phase carries different information depending on the specific measurements. An interesting example is sequential weak measurement [18], which has recently been realized experimentally for two non-commuting observables [19]. In this case, the estimated phase gives the sequential weak values.
3 Precision limits of the direct tomography
The estimation of a real-valued phase can reach the Heisenberg limit by exploiting quantum entanglements in the pointers [10]. The question is whether the same limit can be achieved for the estimation of a complex phase involved in the direct tomography. Here we demonstrate that it is indeed possible.
Using N00N state Consider an ensemble of N systems all in the same state \(\mathinner {|{\textstyle \psi _S}\rangle }\). We take a set of N qubits as the pointers and prepare them in the so-called NOON state (or the N-qubit GHZ state),
which has proved particularly interesting in high-precision quantum metrology [11]. We couple each system in the ensemble to each corresponding pointer qubit so that the overall unitary operator of the interaction is given by
Here we have chosen \(\hat{K}={\hat{\sigma }}_z\) to be concrete. After post-selecting every system on to the state \(\mathinner {|{\textstyle p_0}\rangle }\) in Eq. (3), the (normalized) final state of the pointers is given by
with \(\alpha \) and \(\beta \) defined in Eq. (5). Equivalently, in accordance with the phase-estimation formulation in Eq. (7), it can be rewritten as \(\mathinner {|{\textstyle \phi _\mathrm {f}}\rangle }_\text {N00N}\) as follows (up to a global phase):
Now consider two measurements \(\hat{M}_1:=\hat{\sigma }_x^{\otimes N}\) and \(\hat{M}_2:=\hat{\sigma }_z^{\otimes N}\). We note that
Assuming small variations of the measurements with the parameter \(\varphi =\varphi _1+\mathrm {i}\varphi _2\), the covariance matrix \(C_{ij}(\varphi ):=\varDelta \varphi _i\varDelta \varphi _j\) (\(i,j=1,2\)) of the estimators \(\varphi _1\) and \(\varphi _2\) is related to the covariance of the measurement \(\mathinner {\langle {\textstyle \varDelta \hat{M}_\mu \varDelta \hat{M}_\nu }\rangle }\) (\(\mu ,\nu =1,2\)) by the error-propagation formula
Inverting the error propagation formula, we find that the precision is given by
It is concluded that \(\hat{M}_1\) and \(\hat{M}_2\) are indeed optimal measurements under the optimal condition \(N\varphi _2\rightarrow 0\) for the Heisenberg limit. Here we have chosen specific measurements \(\hat{M}_1\) and \(\hat{M}_2\), but more general argument in terms of the Fisher information and the Cramer-Rao bound; see “Appendix A”.
Using Dicke state Thanks to their experimental relevance, the symmetric Dicke states have also been widely used for quantum entanglement [11]. In particular, it was illustrated that the entanglement in a Dicke state enables one to achieve the Heisenberg-limited interferometry for the single-parameter quantum metrology [20]. Given N qubits, the symmetric Dicke state \(\mathinner {|{\textstyle j\equiv N/2,m}\rangle }\) with \(m=j,j-1,\cdots ,-j\) is defined by
where the sum is over all possible permutations P and \(\hat{P}\) is the corresponding permutation operator.
We proceed in a similar manner as with the initial NOON state of pointers. The pointers of N qubits are initially prepared in the particular Dicke state \(\mathinner {|{\textstyle \phi _\mathrm {in}}\rangle }=\mathinner {|{\textstyle j\equiv N/2,0}\rangle }\). Each pointer is coupled with a system in the ensemble so that the unitary interaction is given by
Here we have chosen \(\hat{K}={\hat{\sigma }}_y\) to make the best use of the characteristic of the Dicke state; namely, the sharp distribution along the equator of the generalized Bloch sphere [11]. After post-selection, the final state (7) of the pointers becomes
where
For later use, we define the Wigner matrix element
Here note that the phase \(\varphi \) is complex in general. For integer j, the expression for the matrix element \(W_{m0}^{(j)}\) is especially simple as
where \(P^m_j(z)\) denotes the associated Legendre polynomial of argument z.
Unlike the NOON state, the Dicke state does not allow for simple expressions for the Fisher information and the corresponding Cramer-Rao bound. Instead, we choose the optimal measurements based on the characteristics of the Dicke state and its behavior under the collective rotation \(e^{-i\varphi \hat{J}_y}\) by a complex angle \(\varphi \). As mentioned above, the Dicke state has a sharp distribution along the equator of the Bloch sphere. Then \(e^{-i\varphi _1\hat{J}_y}\) rotates this distribution off the equator. The resulting sharp contrast with the initial state can be detected most efficiently by measuring \(\hat{J}_z^2\). On the other hand, \(e^{\varphi _2\hat{J}_y}\) tends to pull the distribution along the positive y-axis. This deviation can be efficiently detected by measuring \(\hat{J}_y\). Below we demonstrate that \(\hat{J}_y\) and \(\hat{J}_z^2\) are indeed optimal measurements to achieve the Heisenberg limit.
We start with the analysis of the measurement of \(\hat{J}_y\): By virtue of the theory of angular momentum, we acquire
It then follows from the error-propagation formula that
Equation (29) implies that the larger \((\varDelta \hat{J}_y)^2\) is the more precise the estimation of \(\varphi _2\) gets, which leads to the optimal condition \(\varphi _2=0\). Putting the optimal condition into Eq. (29) gives the Heisenberg limit
for the estimation of \(\varphi _2\). It is interesting to note that the variance \((\varDelta \varphi _2)^2\) in Eq. (29) depends only on \(\varphi _2\) but not on \(\varphi _1\). This is another important feature that allows \(\varphi _2\) to be estimated independently of \(\varphi _1\) through the measurement \(\hat{J}_y\).
To analyze the measurement \(\hat{J}_z^2\) as an estimator of \(\varphi _1\), we evaluate
Unlike the case with the measurement \(\hat{J}_y\), the moments \(\mathinner {\langle {\textstyle \hat{J}_z^2}\rangle }\) and \(\mathinner {\langle {\textstyle \hat{J}_z^4}\rangle }\) depend on both \(\varphi _1\) and \(\varphi _2\). Therefore one has to use the multi-parameter error-propagation formula (19) with \(\hat{M}_1=\hat{J}_z^2\) and \(\hat{M}_2=\hat{J}_y\), which leads to
where we have defined \(\varDelta \hat{A}=\hat{A}-\mathinner {\langle {\textstyle \hat{A}}\rangle }\) for operator \(\hat{A}\) and noted that \(\partial \langle \hat{J}_y\rangle /\partial \varphi _1=0\). We refer the technical details of its calculations to “Appendix B”, and instead summarize its behavior in Fig. 1 as a function of \(\varphi _1\) and \(\varphi _2\) for the pointers of \(N=50\) qubits. It is clear from Fig. 1 that the optimal condition is given by \(\varphi _1=\varphi _2=0\). At this optimal condition, the precision of \(\varphi _1\) is given by the Heisenberg limit
Incidentally, by putting the optimal condition \(\varphi _2=0\) obtained independently through the measurement \(\hat{J}_y\) above, we get
which coincides with the single-parameter estimation in Ref. [20] as it should.
Using time-reversal ensemble The reformulation of the direct tomography as a complex phase estimation in Eq. (7) inspires another interesting strategy based on time-reversal (TR) transformation. Given an ensemble of systems in the state in Eq. (1), we prepare another ensemble in the TR state
where \(\hat{T}\) is the (anti-unitary) TR operator (here we assume for simplicity that the basis state \(\mathinner {|{\textstyle x}\rangle }\) is invariant under the TR transformation). The pointers of 2N qubits are prepared, say, in the NOON state. The first N qubits interact with the systems in the original ensemble whereas the other N qubits are coupled with ones in the time-reversal ensemble. After post-selection, the pointers get in the final state of the form
Now recall that for any complex variables \(\alpha \) and \(\beta \),
It recasts Eq. (37) to the quantum metrologically appealing form
Namely, the above state is identical to the state with the amplified phase shift in interferometries with the NOON state, one of the earliest experimental demonstrations of the Heisenberg limit [21]. It is also worth noting that unlike the above two schemes, in which the estimation of \(\varphi _1\) strictly depends on that of \(\varphi _2\), the scheme using the TR ensemble enables the real part \(\varphi _1\) to be estimated independently. To estimate the imaginary part \(\varphi _2\), we can apply the measurement strategy proposed in Sect. 3.
As the TR transformation is anti-unitary, it cannot be implemented physically in isolated systems. However, it is achievable by embedding the system in a larger system. Therefore, as long as the setup permits additional capability of controlling the system, the TR ensemble provides an efficient strategy for direct precision measurement of wave functions.
4 Conclusion
Generalizing the idea of quantum metrology of phase estimation, we have reformulated the direct tomography of wave functions as the estimation of complex phase. It has turned out that the new formulation is intuitively appealing and inspires the proper choices of optimal measurements. We have further proposed two different measurement schemes that eventually approach the Heisenberg limit. In the first method, the pointers are prepared in special entangled states, either GHZ-like maximally entangled state or the symmetric Dicke state. In the other scheme, the ensemble of the measured systems is duplicated and the replica ensemble is time-reversal transformed before the start of the measurement. In both methods, the real part of the phase is estimated with Ramsey-type interferometry while the imaginary part is estimated by amplitude measurements. The optimal condition for the ultimate precision is achieved at small values of the complex phases, which provides possible explanations why the previous weak-measurement scheme was successful. The direct tomography relies inevitably on post-selection, and the proposed schemes offer asymptotic gains as the number of pointers in entanglement increases.
References
Lvovsky, A.I., Raymer, M.G.: Continuous-variable optical quantum-state tomography. Rev. Mod. Phys. 81(1), 299 (2009). https://doi.org/10.1103/revmodphys.81.299
Lundeen, J.S., Sutherland, B., Patel, A., Stewart, C., Bamber, C.: Direct measurement of the quantum wavefunction. Nature 474(7350), 188 (2011). https://doi.org/10.1038/nature10120
Lundeen, J.S., Bamber, C.: Procedure for direct measurement of general quantum states using weak measurement. Phys. Rev. Lett. 108(7), 070402 (2012). https://doi.org/10.1103/physrevlett.108.070402
Vallone, G., Dequal, D.: Strong measurements give a better direct measurement of the quantum wave function. Phys. Rev. Lett. 116(4), 040502 (2016). https://doi.org/10.1103/physrevlett.116.040502
Calderaro, L., Foletto, G., Dequal, D., Villoresi, P., Vallone, G.: Direct reconstruction of the quantum density matrix by strong measurements. Phys. Rev. Lett. (2018). https://doi.org/10.1103/physrevlett.121.230501
Ogawa, K., Yasuhiko, O., Kobayashi, H., Nakanishi, T., Tomita, A.: A framework for measuring weak values without weak interactions and its diagrammatic representation. New J. Phys. 21(4), 043013 (2019). https://doi.org/10.1088/1367-2630/ab0773
Braunstein, S.L., Caves, C.M.: Statistical distance and the geometry of quantum states. Phys. Rev. Lett. 72, 3439 (1994). https://doi.org/10.1103/PhysRevLett.72.3439
Braunstein, S.L., Caves, C.M., Milburn, G.: Generalized uncertainty relations: theory, examples, and Lorentz invariance. Ann. Phys. 247(1), 135 (1996). https://doi.org/10.1006/aphy.1996.0040
Giovannetti, V.: Quantum-enhanced measurements: beating the standard quantum limit. Science 306(5700), 1330 (2004). https://doi.org/10.1126/science.1104149
Giovannetti, V., Lloyd, S., Maccone, L.: Quantum metrology. Phys. Rev. Lett. 96(1), 010401 (2006). https://doi.org/10.1103/PhysRevLett.96.010401
Pezzè, L., Smerzi, A., Oberthaler, M.K., Schmied, R., Treutlein, P.: Quantum metrology with nonclassical states of atomic ensembles. Rev. Mod. Phys. 90(3), 035005 (2018). https://doi.org/10.1103/revmodphys.90.035005
Pezze, L., Smerzi, A.: Entanglement, nonlinear dynamics, and the Heisenberg limit. New J. Phys. 102, 100401 (2009)
Aharonov, Y., Vaidman, L.: Measurement of the Schrödinger wave of a single particle. Phys. Lett. A 178(1–2), 38 (1993). https://doi.org/10.1016/0375-9601(93)90724-e
Aharonov, Y., Anandan, J., Vaidman, L.: Meaning of the wave function. Phys. Rev. A 47(6), 4616 (1993)
Piacentini, F., Avella, A., Rebufello, E., Lussana, R., Villa, F., Tosi, A., Gramegna, M., Brida, G., Cohen, E., Vaidman, L., Degiovanni, I.P., Genovese, M.: Determining the quantum expectation value by measuring a single photon. Nat. Phys. 13(12), 1191 (2017). https://doi.org/10.1038/nphys4223
Caves, C.M.: Quantum-mechanical noise in an interferometer. Phys. Rev. D 23, 1693 (1981)
Szczykulska, M., Baumgratz, T., Datta, A.: Multi-parameter quantum metrology. Adv. Phys. X 1(4), 621 (2016). https://doi.org/10.1080/23746149.2016.1230476
Mitchison, G., Jozsa, R., Popescu, S.: Sequential weak measurement. Phys. Rev. A 76(6), 062105 (2007). https://doi.org/10.1103/physreva.76.062105
Piacentini, F., Avella, A., Levi, M., Gramegna, M., Brida, G., Degiovanni, I., Cohen, E., Lussana, R., Villa, F., Tosi, A., Zappa, F., Genovese, M.: Measuring incompatible observables by exploiting sequential weak values. Phys. Rev. Lett. 117(17), 170402 (2016). https://doi.org/10.1103/physrevlett.117.170402
Apellaniz, I., Lücke, B., Peise, J., Klempt, C., Tóth, G.: Detecting metrologically useful entanglement in the vicinity of Dicke states. New J. Phys. 17(8), 083027 (2015). https://doi.org/10.1088/1367-2630/17/8/083027
Bollinger, J.J., Itano, W.M., Wineland, D.J., Heinzen, D.J.: Optimal frequency measurements with maximally correlated states. Phys. Rev. A 54(6), R4649 (1996). https://doi.org/10.1103/physreva.54.r4649
Holevo, A.S.: Probabilistic and Statistical Aspects of Quantum Theory. North Holland Publishing Co., Amsterdam (1982). https://doi.org/10.1007/978-88-7642-378-9
Hradil, Z., Řeháček, J., Fiurášek, J., Ježek, M.: Maximum-likelihood methodsin quantum mechanics. In: Paris, M., Řeháček, J. (eds) Quantum State Estimation. Lecture Notes in Physics, vol. 649, chap. 3, pp. 59–112. Springer, Berlin (2004). https://doi.org/10.1007/978-3-540-44481-7_3
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
The Cramer-Rao bound for the NOON state
Here we analyze the precision limit of the complex-valued phase estimation based on the multi-parameter estimation in terms of the Fisher information matrix and the corresponding Cramer-Rao bounds [17, 22].
We first briefly summarize the multi-parameter quantum metrology [17, 23]. Suppose that we want to estimate a set of unknown parameters \(\{X_\mu |\mu =1,\cdots ,L\}\) through the measurements of a positive-operator valued measure (POVM), \(\{{\hat{\varPi }}_j|j=1,2,...,L^\prime \}\). The covariance matrix \(C_{\mu \nu }(\{X_\lambda \}) = \varDelta X_\mu \,\varDelta X_\nu \) satisfies the following inequality [17]
where \(\mathcal {F}(\{\varPi _j\})\) is the Fisher information matrix (FIM) associated with the probability distribution \(\{p_j(\{X_\mu \})\}\) for the measurements \(\{\varPi _j\}\). The entries of the Fisher information matrix are defined by [23]
with \(\partial _{\mu }\) denoting \(\partial /\partial X_{\mu }\). In the case of complex parameters \(Z_\mu =X_\mu +\mathrm {i}Y_\mu \), one can keep the complex structure in the covariance matrix and the Fisher information matrix. In this case, one constructs the covariance matrix by replacing each element by the \(2\times 2\) block
Similarly, the Fisher information matrix is defined with respect to two derivatives \(\partial /\partial {Z_\mu ^*}\) and \(\partial /\partial {Z_\mu }\) for each \(Z_\mu \).
Now let us apply the multi-parameter Cramer-Rao bound (40) in our problem of estimating the wave function \(\psi _x\) in Eq. (15). Calculating on the final pointer state (15) we obtain the probabilities of the POVM elements as follows:
where
and hence
with \(\gamma =(\alpha -\mathrm {i}\beta )/(\alpha +\mathrm {i}\beta )\). Assuming \(|\gamma |\ge 1\) without loss of generality, we see that, as \(N\rightarrow \infty \), \(\partial _{\psi _x}p_j\rightarrow N|\gamma |^{-N}\). As a result, for measurements such that \(A_j=0\), we find
Therefore, as \(|\gamma |\rightarrow 1\), which conforms the optimal condition for the estimation of \(\psi _x\), the Heisenberg limit is saturated.
Variance of the real part in the scheme using Dicke state
In this Appendix we provides the technical details involved in the calculation of the moments \(\mathinner {\langle {\textstyle \hat{J}_z^2}\rangle }\) and \(\mathinner {\langle {\textstyle \hat{J}_z^4}\rangle }\) in Eqs. (31) and (32), respectively, which are required in Eq. (33).
The terms \(\langle \hat{J}_y\rangle \), \(\partial \langle \hat{J}_y\rangle /\partial \varphi _2\), and \((\varDelta \varphi _2)^2\) are given by Eqs. (27) and (29). To calculate the remaining terms in Eq. (33), it is useful to recall the transformation rule
First, let us evaluate the average \(\langle \hat{J}^2_z\rangle \) and its derivatives. By virtue of Eq. (47), one can obtain
Noting that
which is derived from the recurrence formula of the associated Legendre polynomial, \(\langle \hat{J}^2_z\rangle \) can be reduced to Eq. (31). Taking the derivative of \(\langle \hat{J}^2_z\rangle \) given by Eq. (31) with respect to \(\varphi _1\) and \(\varphi _2\), respectively, we obtain
On the other hand, \(\mathinner {\langle {\textstyle \hat{J}^4_z}\rangle }\) can be expressed in terms of the Wigner matrix elements as following
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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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 licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nguyen, XH.T., Choi, MS. Ultimate precision of direct tomography of wave functions. Quantum Inf Process 20, 221 (2021). https://doi.org/10.1007/s11128-021-03167-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-021-03167-0