Quantum Mechanics – More General Quantum Measurements than Nielsen and Chuang’s General Measurement

quantum mechanicsquantum-informationquantum-measurements

Background

Nielsen and Chuang give a postulate for "general measurements" on quantum systems (which are provably equivalent to unitary time evolution + projective measurements on ancillas) which is that there are measurement operators $M_i$ s.t.
$$\sum_i M_i^\dagger M_i = I$$
and the probability of outcome $i$ is given by
$$\langle{\psi}|M_i^\dagger M_i | \psi\rangle$$
and in the case of outcome $i$, the new state will be $M_i |\psi\rangle$ (suitably normalized).

They show that this measurement can be realized by starting with $|\psi\rangle$, adding an ancilla of appropriate dimension to get the combined system $|\psi\rangle|0\rangle$, applying a well chosen unitary map to leave us in state
$$\sum_i (M_i |\psi \rangle) \otimes | i \rangle,$$
then projectively measure the ancilla bit. Thus we see general measurements in their definition follow from projective measurements.

Question

We can perform an even more general measurement though in a similar manner. Note that the only projective measure on the combined system that we used was a measure of the ancilla bit. If we measure the combined system in a more "entangled" way, then we get different outcomes. E.g. let's start with a 2D state $|\psi\rangle = \alpha |0\rangle + \beta | 1 \rangle$ and add a 2D ancilla $|0\rangle$, giving us combined state
$\alpha |00\rangle+ \beta | 1 0\rangle,$
then perform the projective measurement with respect to the orthonormal basis
$$\frac{1}{\sqrt{2}}\left(|00\rangle + |11\rangle\right), \frac{1}{\sqrt{2}}\left(|00\rangle – |11\rangle\right), \frac{1}{\sqrt{2}}\left(|01\rangle + |10\rangle\right), \frac{1}{\sqrt{2}}\left(|01\rangle – |10\rangle\right)$$ then we end up in state
$$\frac{1}{\sqrt{2}}\left(|00\rangle + |11\rangle\right)$$
with probability $|\alpha|^2$ and end up in
$$\frac{1}{\sqrt{2}}\left(|00\rangle – |11\rangle\right)$$
with probability $|\beta|^2$. Tracing over the ancilla bit shows that in either case, the density operator describing the first bit we end up with after this measurement is
$$\frac{1}{2} \left(|0\rangle \langle 0| + |1\rangle \langle 1|\right).$$
Thus this measurement operation we've given cannot possibly described by the formalism given by Nielsen and Chuang. For one thing, we are left with a (non-pure) density operator, even if we start with a pure state. For another, we can record distinct outcomes with different probabilities, but the system under study ends up in the same end configuration regardless of the outcome.

Have measurement operations of this type been studied? Do they have a name and/or a standard reference? Is there a reason Nielsen and Chuang don't consider these kind of measurements as part of their general measurement formalism?

Best Answer

The most general measurement which includes a post-measurement state is given by $\rho\mapsto M_i\rho M_i^\dagger$, where in addition, you are allowed to "forget" part of the measurement outcome -- that is, the general post-measurement states will be of the form $$ \rho_J = \sum_{i_J} M_i\rho M_i^\dagger\ , $$ where the $J$ denote disjoint subsets of the index set, with outcome probability $p_J = \mathrm{tr}[\rho_J]$. Your measurement is of that kind.

In some sense, however, this type of measurement is stricly "weaker" then measuring all the $M_i$ individually, in that the former can be classically recovered after performing the latter measurement. Nevertheless, it should indeed be included when describing the most general formalism.

Note that in the "bare" POVM measurement formalism, which assigns probabilities $p_i=\mathrm{tr}[\rho F_i]$ to a state $\rho$ for a measurement described by a positive operator-valued measure (POVM) $F_i$, $\sum F_i=I$, but does not talk of post-measurement states (which often are, in fact, unphysical), does not have this shortcoming, as we can define $F_J = \sum_{i\in J} M_i^\dagger M_i$.

The Measurement Postulate

Let's start from the beginning. Let us first formulate the usual postulate of quantum mechanics, as you know it:

Measurement Postulate (first course):

Measurements are described by projection valued measures defined by the spectral measure of an observable (self-adjoint operator). The post measurement state the projection onto the subspace of the measurement.

Now in addition to this, we have a bunch of other postulates, in particular, we have the postulate that the quantum evolution is governed by the Schrödinger equation thus time evolution is a unitary evolution. That's all very nice, but when you go to your lab, you discover that that's not what happens.

As is pointed out in Nielsen & Chuang, it seems that sometimes, the quantum state is destroyed after measurements (the measurement is not a "non-demolition-measurement"), so the state after measurement does not seem to be well-described by a projection onto this eigenspace. But also, you'll actually find out that your evolution is not according to a Hamiltonian and it is not unitary. Energy might enter the system or leave it, depending on what you do.

Why is that? The key problem to realize is that all of the postulates in your first course refer to what we call a "closed system". None of them actually state this requirement, but they all need it. Only in a closed system is energy conserved (much like in classical mechanics), so we can expect time evolution to be unitary. Just as well, only in a closed system can we expect that measurements are always described by projective measurements.

Time Evolution of Open Quantum Systems

So, what about open quantum systems, i.e. systems where in addition to our system $S$ with a Hilbert space $\mathcal{H}_S$, we have an uncontrolled environment $E$ (such as in the lab)? Let's consider time evolution as a training case, because it is much easier to understand from classical intuition - incidentally, we have the same problem in classical mechanics!

In an open system, as long as we know what the environment is doing, we can assign a Hilbert space $\mathcal{H}_E$, compute the Hamiltonian on the combined system $\mathcal{H}_S\otimes \mathcal{H}_E$, do time evolution and trace out the environment (the partial trace is the equivalent of forgetting the environment and only considering the system $S$). In other words, having prepared a state $\rho_S$ of the system and assuming it is not correlated with an environment state $\rho_E$ (this can be debated upon), the time-evolved state $\rho_S$ is given by

$$ T(\rho)= \operatorname{tr}_E(U(\rho_S\otimes \rho_E)U^*) $$

where $\operatorname{tr}_E$ is the partial trace. But this is very cumbersome. We don't always know what the environment is doing. So instead of saying that the open quantum system is part of a bigger, closed system which undergoes a unitary time evolution $U$, we can directly specify the time-evolution by specifying $T$. Then, $T$ will not be a unitary time-evolution, but a completely positive map. In classical mechanics, you do the same: Instead of considering the Lagrangian/Hamiltonian of the whole system, which you might not know, you can also try to consider only a part of that system and describe it by a master equation (this is routinely done in statistical mechanics). The same can be done in quantum mechanics, i.e. by the quantum master equation.

So what I want to argue is the following:

Using unitary time evolution or completely positive maps is ultimately the same (mathematically).
In the lab, you will always have noise from the environment so your system will never be closed.
Unitary time evolutions are clumsy, because they need you to specify the environment completely, which might be hard or nearly impossible to do, so it is much nicer to only work with the open system.
The definition of a completely positive map lets you do that. Therefore, it is a "better" postulate in a physical sense, because it eliminates key problems when applying the model to your lab.

Measurements in Open Quantum Systems

Essentially, we now have to do the exact same thing for measurements that we did for unitary time evolution. How do measurements look like if you restrict them to a subsystem?

_{[A small aside: Let's throw in another complication: Measurements are not really instantaneous, some of them take time. For example, suppose you have an atom with three states with different energies, one very much excited $E_3$ and two less excited states (one may be the ground state, let's call them $E_1$ and $E_2$). So you know that your system will be in either of the last states. Measuring which one of these, you can shine a laser with one of the two transition energies to the excited state, say the laser energy is $E_3-E_1$. If you get induced emission, your system was in state $E_1$, if you don't, it has to be in $E_2$. This of course takes time, so the system will evolve (and it won't be a free evolution, because the laser is doing something), so a simple measurement is not just a projective measurement, but we can hardly ever fully separate it from some time evolution. Often, this is no problem, sometimes it might be.]}

What happens if we do this? How does the measurement look like on subsystems? Well, it turn out that just as completely positive maps are the restrictions of unitary time evolution, POVMs are the restrictions of measurements.

You can also see this from Naimark's dilation theorem: This theorem basically tells us that every POVM ultimately is a projective measurement if we factor in some environment. So in this sense, the POVM approach and the usual projective measurements are mathematically equivalent, if one always factors in the environment + maybe some additional unitary evolution. However, we have the same as above:

The formalism of POVMs is better suited to work with, because it does not require us to actually know or even think of the environment. We can get our measurement operators from the experiment and don't have to worry about them being projections or not (in the latter case, the system is surely not closed)

So the POVM formalism doesn't give us anything new formally and mathematically, but it is a better way to think about actual quantum systems, which are usually not closed systems.

General Measurements and a new Postulate

Now we have POVMs. We could replace our postulate by the POVM postulate, which would cover the outcomes of experiments very well. So why don't we do it? Why don't Nielsen & Chuang do it?

Because we have actually lost something: The POVM was really only introduced to compute outcome probabilities, but if we start out with a POVM, it's not clear how we obtain a post-measurement state. Very often, we don't care, but sometimes we do, so we should think about this again (for example, when we consider "the optimal way to distinguish a set of quantum states", we at the moment don't care about the post-measurement state, so POVMs are all we need).

This "problem" of the post-measurement state can be addressed in several ways, one way is to take a POVM with effect operators $E_i$, specify a square root $M_i^*M=E$ and define a general measurement (which, in addition to the fact that for every generalized measurement $\{M_m\}_m$, $E_m:=M^*M$ defines a POVM tells you that the formalism of POVMs and general measurements is mathematically equivalent). Now, square roots are not unique, so in order to talk about the post measurement state, you'll have to refer to experiments (or specify the environment and define the measurement there, which will provide you with a unique projective measurement on the closed system).

_{[If you want yet another way to think about this, you can pick yet another formalism, quantum instruments which essentially does the same thing.]}

So in the end, we replace our old (closed system) postulate by the general (open system) postulate:

Measurement Postulate (Nielsen&Chuang):

Measurements are described by a collection of measurement operators $\{M\}_m$ that are not necessarily projections but fulfill $\sum_m M^*_mM_m=\mathbf{1}$. The post measurement state upon measurement of $m$ is the state after application of $M_m$.

From what I have argued above, it should not come as a surprise that the two postulates are mathematically equivalent. More precisely, if we augment POVMs/general measurements by unitary time evolution and the introduction of environment systems, any such measurement should really come from a projective measurement. This was my original post:

Sketch of Proof of the Equivalence of the two postulates

This is described on page 94 to 95 in Nielsen & Chuang:

Let $\{M\}_m$ be a "general measurement" with $m=1,\ldots,n$ on a Hilbert space $\mathcal{H}$. Define $U\in \mathcal{B}(\mathcal{H}\otimes \mathbb{C}^n)$ (i.e. $U$ is a bounded operator on the composite system) via definining:

$$ U|\psi\rangle|0\rangle= \sum_{m=1}^n (M_m|\psi\rangle)|m\rangle $$

where $|m\rangle$ is the standard orthonormal basis of $\mathbb{C}^n$. Then you can show that $U$ can be extended to a unitary operation $U\in \mathcal{B}(\mathcal{H}\otimes \mathbb{C}^n)$.

Now you define the projective measurement $P$ with projections $$P_m:=\mathbf{1}_{\mathcal{H}}\otimes |m\rangle\langle m|$$

and what you can show is that first performing $U$ and then measuring the projective measurement $P$ and tracing out the system $\mathbb{C}^n$ ("forgetting" about the system) is equivalent to performing the generalized measurement $M_m$. In particular:

$$ \frac{P_m U|\psi\rangle |0\rangle}{\sqrt{\langle \psi|\langle 0|U^*P_mU|\psi\rangle|0\rangle}}= \frac{(M_m|\psi\rangle)|m\rangle}{\sqrt{\langle \psi|M_m^*M_m|\psi\rangle}} $$

and the probabilities also add up. So general measurements add nothing new.

About Closed (Quantum) Systems:

We have of course constructed the environment. Who tells us that this is the "real" physical environment or that the measurement in the real closed system is actually also projective? No one, actually. This is one other assumption that I've been making implicitly. However, I believe that this system has another deeper problem: Coming from the experimental/operational side, what actually is a closed quantum system? Unless (maybe) we consider the whole universe, we can never actually work with a completely closed system - and we can't consider the whole universe. I believe that there are actually arguments (higher level/quantum foundations) that tell us that the postulates are completely equivalent if there exists a closed quantum system, but this is philosophical.

But this means that we did add something "new": We got rid of the necessity of closed systems (if we also replace all the other axioms).

Lessons learned: (tl;dr)

So, what's the essence? I have argued that generalized measurements are nothing new, neither physically, nor mathematically, if we know about the difference of open and closed quantum systems. Therefore, they don't add anything that you didn't get from the old formalism already, so that your Quantum Mechanics 101 course is not wrong (barring problems with the definition of "closed quantum systems").

However, POVMs (or maybe general measurements) are the "right" way to think about measurements. The paradigm of open quantum systems, which is very important for real world experiments is inherently inscribed into POVMs and they also tell us why sometimes, measurements seem not repeatable in the lab. So POVMs are not some theoretical construct floating in philosophy space (closed quantum systems), but more operational descriptions of measurements. In addition, they are better to work with when describing real world situations.

As a final note: General measurements are not considered heavily in the literature. Peter Shor was so kind as to point out an (old) example of their use with this Peres, Wooters paper (paywall!). Usually however, I find that people work with POVMs instead of general measurements.

Quantum Mechanics – Nielsen and Chuang General Measurements and POVM

The POVM Measurements are a strict subset of the full postulate 3, because $M_m$ uniquely determines $E_m$, but $E_m$ does not uniquely determine $M_m$ (for example transforming $M_m \rightarrow U_mM_m$ leaves $E_m$ unchanged if $U_m$ is unitary). $E_m$ is sufficient to determine the measurement probabilities (via $P(m) = \langle \psi|E_m|\psi\rangle$), but do not determine the state of the system after measurement. For the latter, you need the full postulate 3, in particular that the state after measurement is

$$\frac{M_m|\psi\rangle}{\sqrt{\langle\psi|M^\dagger_m M_m|\psi\rangle}} \neq \frac{U_mM_m |\psi\rangle}{\sqrt{\langle\psi|M_m^\dagger U_m^\dagger U_m M_m|\psi\rangle}}$$

To illustrate this distinction, think of measuring $\sigma_z$ for a two-level atom. A projective measurement has $M_0 = E_0 = |0\rangle\langle 0|$ and $M_1 = E_1 = |1\rangle\langle 1|$. But if instead use on spontaneous emission of the $|0\rangle$ state to decay to the $|1\rangle$ state and detect the emitted photon, then we have $M_0 = |1\rangle\langle 0|$, $E_0 = |0\rangle\langle 0|$, and $M_1 = E_1 = |1\rangle\langle 1|$ as before. As the $E$s are the same, these measure the same physical quantity, but the physical process and final states are different.