The relation between projective measurements and generalized quantum measurements is a fundamental problem in quantum physics, and clarifying this issue is also important to quantum technologies. While it has been intuitively known that projective measurements can be constructed from sequential generalized or weak measurements, there is still lack of a proof of this hypothesis in general cases. Here we prove it from the perspective of quantum channels. We show that projective measurements naturally arise from sequential generalized measurements in the asymptotic limit, when the measurement operators are normal and commuting with each other. Specifically, a selective projective measurement arises from a set of typical sequences of selective generalized measurements. We also provide an explicit scheme to construct projective measurements of a quantum system with sequential generalized measurements. Remarkably, a single ancilla qubit is sufficient to mediate sequential generalized measurements for constructing arbitrary projective measurements of a generic system, which can have applications in readout, initialization, and feedback control of a quantum system. As an example, we present a protocol to measure the modular excitation numbers of a bosonic mode with an ancilla qubit.
Both in quantum theory and in general probabilistic theories, measurements with
n outcomes are modelled as
n-tuples of \emph{effects} summing up to the unit effect. Why is this the case, and can this assumption be meaningfully relaxed? Here we develop \emph{generalized measurement theories (GMTs)} as a mathematical framework for physical theories that is complementary to general probabilistic theories, and where this kind of question can be made precise and answered. We then give a definition of \emph{probabilistic state} on a GMT, prove that measurements are made of effects in every GMT in which the probabilistic states separate the measurements, and also argue that this separation condition is physically well-motivated. Finally, we also discuss when a GMT should be considered classical and characterize GMTs corresponding to Boolean algebras as those that are strongly classical and projective.
One of the broadest concepts of measurement in quantum theory is the generalized measurement. Another paradigm of measurement---arising naturally in quantum optics, among other fields---is that of continuous-time measurements, which can be seen as the limit of a consecutive sequence of weak measurements. They are naturally described in terms of stochastic processes, or time-dependent random variables. We show that any generalized measurement can be decomposed as a sequence of weak measurements with a mathematical limit as a continuous stochastic process. We give an explicit construction for any generalized measurement, and prove that the resulting continuous evolution, in the long-time limit, collapses the state of the quantum system to one of the final states generated by the generalized measurement, being decomposed, with the correct probabilities. A prominent feature of the construction is the presence of a feedback mechanism---the instantaneous choice weak measurement at a given time depends on the outcomes of earlier measurements. For a generalized measurement with
n outcomes, this information is captured by a real
n-vector on an
n-simplex, which obeys a simple classical stochastic evolution.