Naimark's theorem
Naimark's theorem is a fundamental fact concerning measurements. It states that every general measurement can be implemented in a simple way that's reminiscent of Stinespring representations of channels:
- The system to be measured is first combined with an initialized workspace system, forming a compound system.
- A unitary operation is then performed on the compound system.
- Finally, the workspace system is measured with respect to a standard basis measurement, yielding the outcome of the original general measurement.
Theorem statement and proof
Let be a system and let be a collection of positive semidefinite matrices satisfying
which is to say that they describe a measurement of Also let be a system whose classical state set is which is the set of possible outcomes of this measurement.
Naimark's theorem states that there exists a unitary operation on the compound system so that the implementation suggested by the following figure yields measurement outcomes that agree with the given measurement meaning that the probabilities for the different possible measurement outcomes are precisely in agreement.
To be clear, the system starts out in some arbitrary state while is initialized to the state. The unitary operation is applied to and then the system is measured with a standard basis measurement, yielding some outcome
The system is pictured as part of the output of the circuit, but for now we won't concern ourselves with the state of after is performed, and can imagine that it is traced out. We'll be interested in the state of after is performed later in the lesson, though.
An implementation of a measurement in this way is clearly reminiscent of a Stinespring representation of a channel, and the mathematical underpinnings are similar as well. The difference here is that the workspace system is measured rather than being traced out like in the case of a Stinespring representation.
The fact that every measurement can be implemented in this way is pretty simple to prove, but we're going to need a fact concerning positive semidefinite matrices first.
Fact. Suppose is an positive semidefinite matrix. There exists a unique positive semidefinite matrix for which This unique positive semidefinite matrix is called the square root of and is denoted
One way to find the square root of a positive semidefinite matrix is to first compute a spectral decomposition.
Because is positive semidefinite, its eigenvalues must be nonnegative real numbers, and by replacing them with their square roots we obtain an expression for the square root of
With this concept in hand, we're ready to prove Naimark's theorem. Under the assumption that has classical states, a unitary operation on the pair can be represented by an matrix, which we can view as an block matrix whose blocks are The key to the proof is to take to be any unitary matrix that matches the following pattern.
For it to be possible to fill in the blocks marked with a question mark so that is unitary, it's both necessary and sufficient that the first columns, which are formed by the blocks are orthonormal. We can then use the Gram-Schmidt orthogonalization process to fill in the remaining columns, just like we encountered in the previous lesson.
The first columns of can be expressed as vectors in the following way, where refers to the column number starting from
We can compute the inner product between any two of them as follows.
This shows that these columns are in fact orthonormal, so we can fill in the remaining columns of in a way that guarantees the entire matrix is unitary.
It remains to check that the measurement outcome probabilities for the simulation are consistent with the original measurement. For a given initial state of the measurement described by the collection results in each outcome with probability
To obtain the outcome probabilities for the simulation, let's first give the name to the state of after has been performed. This state can be expressed as follows.
Equivalently, in a block matrix form, we have the following equation.
Notice that the entries of falling into the blocks marked with a question mark have no influence on the outcome by virtue of the fact that we're conjugating a matrix of the form — so the question mark entries are always multiplied by zero entries of when the matrix product is computed.
Now we can analyze what happens when a standard basis measurement is performed on The probabilities of the possible outcomes are given by the diagonal entries of the reduced state of
In particular, using the cyclic property of the trace, we see that the probability to obtain a given outcome is as follows.
This matches with the original measurement, establishing the correctness of the simulation.
Non-destructive measurements
So far in the lesson, we've concerned ourselves with destructive measurements, where the output consists of the classical measurement result alone and there is no specification of the post-measurement quantum state of the system that was measured.
Non-destructive measurements, on the other hand, do precisely this. Specifically, non-destructive measurements describe not only the classical measurement outcome probabilities, but also the state of the system that was measured conditioned on each possible measurement outcome. Note that the term non-destructive refers to the system being measured but not necessarily its state, which could change significantly as a result of the measurement.
In general, for a given destructive measurement, there will be multiple (in fact infinitely many) non-destructive measurements that are compatible with the given destructive measurement, meaning that the classical measurement outcome probabilities match precisely with the destructive measurement. So, there isn't a unique way to define the post-measurement quantum state of a system for a given measurement.
It is, in fact, possible to generalize non-destructive measurements even further, so that they produce a classical measurement outcome along with a quantum state output of a system that isn't necessarily the same as the input system.
The notion of a non-destructive measurement is an interesting and useful abstraction. It should, however, be recognized that non-destructive measurements can always be described as compositions of channels and destructive measurements — so there is a sense in which the notion of a destructive measurement is the more fundamental one.
From Naimark's theorem
Consider the simulation of a general measurement like we have in Naimark's theorem. A simple way to obtain a non-destructive measurement from this simulation is revealed by the figure from before, where the system is not traced out, but is part of the output. This yields both a classical measurement outcome as well as a post-measurement quantum state of
Let's describe these states in mathematical terms. We're assuming that the initial state of is so that after the initialized system is introduced and is performed, we have that is in the state
The probabilities for the different classical outcomes to appear are the same as before — they can't change as a result of us deciding to ignore or not ignore That is, we obtain each with probability
Conditioned upon having obtained a particular measurement outcome the resulting state of is given by this expression.
One way to see this is to represent a standard basis measurement of by the completely dephasing channel where the channel output describes classical measurement outcomes as (diagonal) density matrices. An expression of the state we obtain is as follows.
We can then write this state as a convex combination of product states,
which is consistent with the expression we've obtained for the state of conditioned on each possible measurement outcome.
From a Kraus representation
There are alternative selections for in the context of Naimark's theorem that produce the same measurement outcome probabilities but give entirely different output states of
For instance, one option is to substitute for where is any unitary operation on The application of to commutes with the measurement of so the classical outcome probabilities do not change, but now the state of conditioned on the outcome becomes
More generally, we could replace by the unitary matrix
for any choice of unitary operations on Again, the classical outcome probabilities are unchanged, but now the state of conditioned on the outcome becomes
An equivalent way to express this freedom is connected with Kraus representations. That is, we can describe an -outcome non-destructive measurement of a system having classical states by a selection of Kraus matrices satisfying the typical condition for Kraus matrices.
Assuming that the initial state of is the classical measurement outcome is with probability
and conditioned upon the outcome being the state of becomes
Note that this is equivalent to choosing the unitary operation in Naimark's theorem as follows.
In the previous lesson we observed that the columns formed by the blocks are necessarily orthogonal, by virtue of the condition
Generalizations
There are even more general ways to formulate non-destructive measurements than the ways we've discussed. The notion of a quantum instrument (which won't be described here) represents one way to do this.