Characterizing Quantum Properties of a Measurement Apparatus :
Insights from the Retrodictive Approach
Abstract
Using the retrodictive approach of quantum physics, we show that the state retrodicted from the response of a measurement apparatus is a convenient tool to fully characterize its quantum properties. We translate in terms of this state some interesting aspects of the quantum behavior of a detector, such as the nonclassicality or the nongaussian character of its measurements. We also introduce estimators  the projectivity, the ideality, the fidelity or the detectivity of measurements perfomed by the apparatus  which directly follow from the retrodictive approach. Beyond their fundamental significance for describing general quantum measurements, these properties are crucial in several protocols, in particular in the conditional preparation of nonclassical states of light or in measurementdriven quantum information processing.
pacs:
03.67.a, 03.65.Ta, 03.65.Wj, 42.50.DvIntroduction.In the quantum world, the measurement process plays a central role, as it leads to an unavoidable and strong modification of the system which is measured. This singular feature has important consequences concerning the foundations of quantum theory Neumann1955 (); Zurek1982 (), but it also has many practical implications, because the information obtained through a measurement is often used for driving quantum information processing KLM (); OBrien () or preparing a target state conditioned on the result of this measurement mandel (); Ourjoumtsev2007 (). To master as much as possible these conditionings, it is therefore very important to characterize as precisely as possible the quantum properties of the measurement apparatus that one uses.
The first experimental quantum characterization of a detector has been achieved only very recently in quantum optics QDT1 (). By using the quantum detector tomography technique (QDT), it is possible to realize the reconstruction of positive operator valued measures (POVMs) Helstrom () characterizing any measuring device. This technique, by probing the behavior of its responses with a set of known states QDT2 (), gives a complete characterization of the detector seen as a blackbox, i.e. only characterized by its responses and without any assumptions about its internal operation. QDT has opened the path of experimental study of novel concepts such as the nonclassicality of detectors, with fundamental significance and particular relevance for experimental quantum protocols based on measurements.
The aim of this paper is to show that the retrodictive approach of quantum physics Aharonov (); Barnett0 (), which is complementary to the usual predictive one, provides interesting physical insights on the behaviour of a measurement apparatus in terms of a quantum state: the retrodicted state. The quantum properties of a measurement performed by a detector can then be associated with the properties of this state. We will first introduce the retrodicted state from mathematical foundations of quantum physics. We will then examine several properties of a measurement apparatus from this perspective. In particular, we will provide estimators of certain properties, such as the ideality/projectivity of measurements or their fidelity with projective measurements. We will finally introduce a precise meaning for the nonclassicality of measurements by illustrating its relevance for conditional preparation of nonclassical states of light.
States and Propositions.As a preliminary step, we recall a mathematical result demonstrated in Busch (), which is the recent generalization of the Gleason’s theorem Gleason1957 (). From very general requirements about probabilities and the mathematical structure of the Hilbert space, it provides the general expression of probabilities of checking any proposition about the system. First we remind that a proposition is a property of the system corresponding to a precise value for a given observable. This one is represented in the Hilbert space by a proposition operator , which is in the simplest case a projector on the eigenstate corresponding to such a value. In the most general case, it can be represented only by a hermitian and positive operator.
One assumes that the probability of checking the proposition on the physical system satisfies the three following conditions:

for any proposition .

for any exhaustive set of propostions such that .

for any nonexhaustive set of propositions such that
According to this theorem for a system needing predictions (i.e. with a Hilbert space of dimension ), this probability is given by in which is a hermitian, positive, and normalized operator. This operator allows us to make predictions about any properties of the system, and thus constitutes the most general form of its quantum state.
In quantum physics, any protocol is based on preparations, evolutions and measurements. One can make predictions about the measurement results but also about preparation choices. This corresponds to two approaches: the conventional predictive one, which provides predictions about measurement results, and the less usual retrodictive one, which provides predictions about preparation choices (called retrodictions). According to the previous section, each approach requires a quantum state and an exhaustive set of propositions about it, as pictured on Fig. 1.
In the usual predictive approach, a preparation of the system in a state can be associated with a piece of information that we call the choice m. The prepared state resulting from this choice enables to make predictions about measurement results n, labeling the proposition operators which are the POVMs describing the behavior of the responses of the apparatus performing their tests. From the previous theorem, the probability of obtaining the result n after the system was prepared in the state takes the form:
(1) 
where is the POVM element corresponding to the result . This is in fact the Born’s rule on which the conventional interpretation of quantum physics is based. We now turn to the retrodictive approach and show that the generalization of the Gleason’s theorem provides the expression of the retrodicted probabilities, from which the retrodicted state can be derived.
Retrodictive approach. This approach Aharonov (); Barnett0 () is less popular in quantum physics. It has sometimes been used in quantum optics for instance to simplify the description of protocols, like in state truncation Barnett1 (); Barnett2 (). Let us start with an example in order to clarify this approach in a simple case: we consider a perfect photon counter able to discern the number of absorbed photons. If this detector displays the result n counts, the checked proposition is the projector on the photonnumber state , and the premeasurement state is precisely this photonnumber state , with which we can make predictions about the preparations leading to such a result. Thus, for instance for preparations of the light in the photonnumber states , the only possible preparation corresponds to for which the retrodicted probability is equal to 1.
According to the generalization of Gleason’s theorem, the retrodictive approach also needs a state and propositions. The state is assigned to the system on the basis of the measurement result n. This is the retrodicted state with which we make retrodictions about state preparations leading to this result. The propositions about this state simply correspond to the different preparations of the measured system before its interaction with the apparatus. We note the proposition operator associated to each preparation choice m, and in order to have an exhaustive set of propositions, these operators should be a resolution of the Hilbert space, . Thus, the retrodictive probability of preparing the system in the state when the measurement gives the result n can be written as
(2) 
Bayesian Inference. The expressions of the retrodicted states and proposition operators are given by a Bayesian inference from Born’s rule which gives the predictive probabilities of having the result n when we prepare the state , as previously derived by Barnett et al.Barnett1 (). However, this derivation was based heretofore on an analogy with the form of Born’s rule and not on the mathematical justification of the final form of retrodictive probabilities (2), given here by the Gleason’s theorem. This theorem also justifies the strong requirement on the proposition operators to be an exhaustive set. Thus, retrodiction requires no other additionnal assumption than the projection rule which may be used in state preparations. Indeed, Bayes’ theorem leads for the retrodictive probability to the relation:
(3) 
where the marginal probability of having the result ’n’ is obtained by summing the joint probability on all ’candidate’ states,
(4) 
in which we define the state . In a conditional preparation, such a state corresponds to an ’unread’ measurement Haroche2006 () : a mixture of states conditioned on each result ’m’, weighted by their respective success probabilities .
Then, in order to write the retrodictive probability (3) in its most general form (2) for a finitedimensional Hilbert space , this statistical mixture should be such that , with . One can then identify the retrodicted state
(5) 
and the proposition operators which are given by .
Finally, let us note that the retrodicted state can be propagated backward in time using the usual quantum evolution or propagation equations PRLBarnett (); Barnett2 (). This feature can be easily understood since the retrodicted state is obtained from an observable (i.e. here a POVM) which evolves backward in time in the Heisenberg picture of the predictive approach.
Quantum properties of a measurement revealed by the retrodictive approach. The retrodictive approach provides now a welldefined quantum state associated with a measurement outcome, on which usual quantum state analysis can be applied. The quantum properties of a measurement can be translated into properties of this state, as we see now.
1Projectivity and Ideality of a measurement. We first introduce two estimators which are intrinsic to the apparatus. An ’ideal’ measurement checks a simple proposition corresponding to a projector in the Hilbert space. However, in more realistic situations, a measuring device is characterized by POVM elements which are not at all projectors. An evaluation of the projectivity of a measurement is given by the purity of its retrodicted state:
(6) 
When this state is pure, i.e. , the measurement performed by the apparatus is projective for the response n.
However, a projective measurement may be nonideal. The POVM element corresponding to a projective measurement with can be written as
(7) 
where . By using the predictive probability , the parameter can be interpreted as the detection efficiency of the retrodicted state, which is an intrinsic property of the apparatus. We evaluate the ideality of a measurement by this detection efficiency.
In the more general case of a nonprojective measuremement, is given using (1) by
(8) 
This relation connects the projectivity and the ideality of a measurement.
It must be emphasized that the projective character of a measurement is revealed within the retrodictive approach, and not by the predictive one, for which the usual definition Neumann1955 () of a projective measurement is the certainty of the result of two successive projective measurements. Such a measurement corresponds to a very particular case: a projective and ideal measurement, characterized by .
These two estimators provide a way to categorize the different kinds of detectors. The first category corresponds to apparatus performing a far from projective measurement. For instance, an avalanche photodiode is unable to discriminate between one or more photons Robert (). A second category is when the measurement is highly projective and close to ideal. A photon counter able to discrimate the numbers of photons, and detect them with high efficiency, would correspond to this case. Finally, as our study highlights, it exists a third category corresponding to a projective but nonideal measurement. In this case, the retrodicted state is close to a pure state but its detection efficiency is less than unity. In this case, the result of two succesive projective, but nonideal, measurements becomes uncertain. For instance, conventional photon counters do not enter into this category, which includes more ’exotic’ devices AmriPhD ().
2Fidelity with a projective measurement and Detectivity of a target state. After the definition of two intrinsic estimators, we now introduce quantities which depend on a given state , called in the following target state. We first define here the fidelity with a projective measurement on the target state as the overlap between the state retrodicted from a certain result n and the target state, in which we would like checking the system before its interaction with the apparatus. Such a fidelity can be written as Jozsa94 ()
(9) 
The retrodictive approach provides an interesting interpretation for this overlap. This is the retrodictive probability of preparing the system in the target state , before the measurement process giving the result n:
(10) 
The proposition operator about the state of the system, just after its preparation, is . When the measurement giving the result n is sufficiently faithful , the most probable state in which the system was prepared before its interaction with the apparatus is this target state .
On the other hand, we introduce what we call the detectivity of the target state, given by the predictive probability of detecting it. using (1) and the expression (5) of the retrodicted state, it can be written as:
(11) 
This estimator corresponds to the detection efficiency if the state to detect is the retrodicted state. For singlephoton counters for instance, the detectivity of a singlephoton state corresponds to the usual definition of ’quantum efficiency’.
Our study enables to connect these quantities with the intrinsic estimators defined before. By using (8), we find an interesting relation between all the estimators:
(12) 
It can be seen from this expression that, for an ideal measurement, the fidelity can only enhance the detectivity of the target state. However, for a given ideality and fidelity, a less projective measurement may be better for detecting it. Indeed, the retrodicted state is then mixed and the measurement becomes less discriminating.
3Nonclassicality of a measurement. There are different manifestations for the nonclassicality of states. For instance in quantum optics, this property is revealed by different signatures Treps (): variances below the standard quantum noise, upper bound for eigenvalues of the covariance matrix Simon (), negativity in particular quasiprobability distributions tomography (). Whatever the signature that is used, the nonclassicality of a measurement corresponds to the nonclassicality of the retodicted state.
We illustrate the relevance of such a correspondance for optical detectors in the conditional preparation of nonclassical states of light Lvovsky2001 (); laurat2003 (); Ourjoumtsev2006 (). For such protocols, two light beams A and B in an entangled state are necessary, since the involved measurements are generally destructive. When we perform a judicious measurement on the beam B, the state of the other beam, conditionned on an expected result ”n”, is given by the projection rule
(13) 
where is the POVM element describing the measurement given the result ”n”. In quantum optics, the gaussian entanglement si a very universal resource. For instance, the twomode state generated by spontaneous parametric downconversion, can be written on the photonnumber states as
(14) 
where varies between 0 and 1. If the limit of highgain, i.e. , the conditional state becomes:
(15) 
We recognize the complex conjugate of the state retrodicted from the result ’n’. Thus, a necessary condition for preparing more exotic nonclassical states is the use of measurement devices characterized by nonclassical retrodicted states.
An interesting link can also be established between the Gaussian character of a measurement and its projectivity. The HudsonPiquet’s theorem Hudson1974 () states that any pure state characterized by a nonnegative Wigner representation has a Gaussian Wigner representation. We deduce from it that, when a measurement is projective and is characterized by a retrodictive state having a nonnegative Wigner representation, then the measurement is Gaussian.
Conclusion. In this paper, we have shown that the retrodictive approach of quantum physics provides an interesting way to characterize the quantum properties of a measurement apparatus: these properties are obtained from the ones of the retrodicted state. This approach, by introducing a welldefined quantum state and making use of traditional quantum state analysis, allows to define precise estimators for qualifying a measurement. It introduces subtle distinctions, such as projectivity and ideality, which were more qualitative heretofore. We provide here a formal definition of these properties and new insights on them thanks to the retrodictive approach. Such definition should lead to further analysis of quantum measurement apparatus and facilitate the design of detectors able to detect specific quantum states, with potential applications in metrology for instance.
References
 (1) J. Von Neumann, Mathematical foundations of quantum mechanics, Princeton University Press (1955).
 (2) J. A. Wheeler and W. H. Zurek, Quantum Theory of measurement. Princeton University Press, NJ (1982).
 (3) E. Knill, R. Laflamme, G.J. Millburn, Nature 409, 4652 (2001).
 (4) J.L. O’Brien, Science 318, 1567 (2007).
 (5) C.K. Hong and L. Mandel, Phys. Rev. Lett. 56, 58 (1986).
 (6) A. Ourjoumtsev et al., Science 312, 83 (2006).
 (7) J. Lundeen et al., Nature Physics 5, 27 (2009).
 (8) C.W. Helstrom, Quantum detection and estimation theory, Academic Press, NY (1976).
 (9) J. Fiurasek, Phys. Rev. A 64, 024102 (2001).
 (10) Y. Aharonov, P. G. Bergman, J. L. Lebowitz, Phys. Rev. 134, B1410 (1964).
 (11) S. M. Barnett et al., J. Mod. Opt. 47, 1779 (2000).
 (12) P. Busch, Phys. Rev. Lett. 91, 120403 (2003).
 (13) A.M. Gleason, J. Math. Mech. 6, 885 (1957).
 (14) D.T. Pegg and S.M. Barnett, J. Opt. B: Quantum Semiclass. Opt 1, 442 (1999).
 (15) S. M. Barnett and D. T. Pegg, Phys. Rev. A 60, 4965 (1999).
 (16) S. Haroche and J.M. Raimond, Exploring the quantum: Atoms, Cavities, and Photons, Oxford Graduate Texts (2006).
 (17) S.M. Barnett et al., Phys. Rev. Lett. 86, 2455 (2001).
 (18) R.H. Hadfield, Nature Photon. 3, 696 (2009).
 (19) T. Amri, PhD Thesis, to be published
 (20) R. Jozsa, J. Mod. Opt. 41, 2315 (1994).
 (21) N. Treps and C. Fabre, Laser Physics 15, 187 (2005).
 (22) B. Arvind, B. Dutta, N. Mukunda, R. Simon, Pramana J. Phys. 45, 471 (1995), eprint arXiv :quantph0701221v2 (2007).
 (23) U. Leonhardt, Measuring the quantum state of light, Cambridge University Press, Cambridge (1997).
 (24) A.I. Lvovsky et al., Phys. Rev. Lett. 87, 050402 (2001).
 (25) J. Laurat et al., Phys. Rev. Lett. 91, 213601 (2003).
 (26) A. Ourjoumtsev et al., Phys. Rev. Lett. 96, 213601 (2006).
 (27) R. L. Hudson, Rep. Math. Phys. 6, 249 (1974).