nLab deferred measurement principle



Quantum systems

quantum logic

quantum physics

quantum probability theoryobservables and states

quantum information

quantum computation


quantum algorithms:

quantum sensing

quantum communication



In quantum physics and specifically in quantum information theory, the principle of deferred measurement is a theorem which says that

is equivalent (equal as a function from given input to output data types) as

The principle can be useful in practice for optimizing quantum circuits. It also clearly relates to the issue of interpretations of quantum mechanics: Since it is the collapse of the wavefunction upon quantum measurement which makes the interpretation of quantum mechanics subtle, it is interesting to note that this collapse may be (arbitrarily) deferred, in a precise sense.


One way to formalize the deferred measurement principle is briefly mentioned in Staton (2015), Axiom B (p. 6 of 12), there proposed as an axiom to be satisfied by quantum programming languages.

Another formalization and proof has been offered in Gurevich & Blass 2021.

A quick proof of essentially the formulation of Staton (2015) exists in the quantum modal logic discussed at quantum circuits via dependent linear types: Here the deferred measurement principle is essentially the Kleisli equivalence for the necessity comonad B\Box_B on dependent linear types, like this:

For the example of a CNOT gate:

Interpretation of Deferred measurement

The folklore of quantum physics knows paradoxical-sounding stories under the title of

The author of these paragraphs asserts that:

  1. These are all the same story, recast with different actors: Schrödinger’s cat plays the same role as Everett’s observer A and the same role as Wigner’s friend. The point in any case is that this first observer makes a quantum measurement and (only) ofterwards is himself observed by a second observer.

  2. This is just what is formalized by the set-up of the deferred measurement principle:

    1. The first observer (called “cat” or “A” or “friend”) is the controlled quantum gate denoted “GG” above,

    2. the quantum system observed by the first observer is QW\mathrm{Q}W above,

    3. the state space of the first observer is \mathscr{H} (before) and \mathscr{H}' (after the observation).

    4. The second observer inspecting the scene at the end is the right hand side of the above setup, where the measurement is made at the end of the circuit execution. Before it is made, the first observer may have been in a superposition (in \mathscr{H}').

    5. But the deferred measurement principle says the outcome is indistinguishable from the situation where the first observer already collapses the original state in QW\mathrm{Q}W.

For the record, we recall Everett’s version of this story:

A key argument in the discussion of Everett (1957), which famously led its author to the many-worlds interpretation of quantum mechanics, is that intermediate state collapse caused by one observer seems paradoxical, since to a later observer the analogous state collapse occurs (only) at a later time. (This is really the same paradox as that of Schrödinger’s cat, if we grant the cat the role of the first observer).

Everett (1957) casts this into the following prose:

[pp 4:] Isolated somewhere out in space is a room containing an observer, AA, who is about to perform a measurement upon a system SS. After performing his measurement he will record the result in his notebook. We assume that he knows the state function of SS (perhaps as a result of previous measurement), and that it is not an eigenstate of the measurement he is about to perform. AA, being an orthodox quantum theorist, then believes that the outcome of his measurement is undetermined and that the process is correctly described by Process 1 [state collapse].

In the meantime, however, there is another observer, BB, outside the room, who is in possession of the state function of the entire room, including SS, the measuring apparatus, and AA, just prior to the measurement. BB is only interested in what will be found in the notebook one week hence, so he computes the state function of the room for one week in the future according to Process 2 [unitary time evolution]. One week passes, and we find BB still in possession of the state function of the room, which this equally orthodox quantum theorist believes to be a complete description of the room and its contents. If BB‘s state function calculation tells beforehand exactly what is going to be in the notebook, then AA is incorrect in his belief about the indeterminacy of the outcome of his measurement. We therefore assume that BB’s state function contains non-zero amplitudes over several of the notebook entries.

At this point, BB opens the door to the room and looks at the notebook (performs his observation). Having observed the notebook entry, he turns to AA and informs him in a patronizing manner that since his (BB‘s) wave function just prior to his entry into the room, which he knows to have been a complete description of the room and its contents, had non-zero amplitude over other than the present result of the measurement, the result must have been decided only when BB entered the room, so that AA, his notebook entry, and his memory about what occurred one week ago had no independent objective existence until the intervention by BB. In short, BB implies that AA owes his present objective existence to BB’s generous nature which compelled him to intervene on his behalf. However, to BB’s consternation, AA does not react with anything like the respect and gratitude he should exhibit towards BB, and at the end of a somewhat heated reply, in which AA conveys in a colorful manner his opinion of BB and his beliefs, he rudely punctures BB’s ego by observing that if BB’s view is correct, then he has no reason to feel complacent, since the whole present situation may have no objective existence, but may depend upon the future actions of yet another observer.

It is now clear that the interpretation of quantum mechanics with which we began [the Copenhagen interpretation] is untenable if we are to consider a universe containing more than one observer.


While the principle of deferred measurement is a classical statement in quantum information theory, it was not defined or proven in generality and with precision (hence has remained folklore) until Gurevich & Blass 2021 (see the critical discussion of the literature provided there).

Accounts of the informal statement:

As an axiom for quantum programming languages:

  • Sam Staton, Axiom B (p. 6) in: Algebraic Effects, Linearity, and Quantum Programming Languages, POPL ‘15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2015) 395–40 [doi:10.1145/2676726.2676999, pdf]

The above discussion and graphics follows:

See also:

General precise statement and proof:

Last revised on February 1, 2024 at 11:58:06. See the history of this page for a list of all contributions to it.