Suppose that we are following the evolution of a quantum system from an initial time to a later time , and that the unitary operator evolving the state of the system is , so that

.

The latter is called the *Schrödinger picture* of the evolution. In this picture, states evolve in time, while observables (like the Hamiltonian) do not.

The *Heisenberg picture* is meant to do the opposite: it keeps states “freezed”, while observables evolve. It can be also understood as a “pullback” operation: very much like when one looks at a rotation from the viewpoint of vectors (Schrödinger picture) or the viewpoint of the coordinate system (Heisenberg picture).

For the two pictures to give consistent predictions, that is, , it is prescribed that, if an observable at time is denoted as , the same observable at the later time will be . From this relation, we see that the state evolves according to , while the observable evolves according to .

It is quite tempting at this point to interpret this by saying that “states evolve forward in time, while observables evolve backwards in time”. If only two times are considered, that seems just a curious though innocuous way of phrasing it. Indeed I have heard a lot of researchers explaining the Heisenberg picture this way. I myself would have nodded my head hearing this some years ago. However, I now see why this interpretation can be in fact very confusing, potentially leading to wrong calculations, when more than two times are considered.

Imagine now to fix three instants in times, and two unitary operators: one, , describing the evolution of states from to as before; and another one, , propagating states from to . The problem is: how should one model the evolution of an observable from to ? A naive guess based on the “backwards-in-time evolution” intuition would suggest a scheme like the following:

But what should be the evolution operator describing the box denoted by question marks? As the arXiv post mentioned at the beginning of this post argues, one could be tempted to say that the right evolution operator is , probably by symmetry with the Schrödinger’s branch evolving forward in time. This naive guess leads to the equation .

Problem is, this is of course wrong! The correct thing to do is to understand that the *total* evolution of the state from to is given by the unitary operator . Consequently, one has that

.

This is the correct description of in the Heisenberg picture.

We have seen how the naive “backwards in time” interpretation is wrong. However, at this point, another structure emerges that still suggests some kind of “time-reversal”. I am speaking now of the fact that, in the correct equation, that is, , *the order of the propagators is reversed* with respect to the one that is used for states, that is .

Given that the equation itself is correct, in what follows I am simply criticizing its *interpretation*. I would like to argue, in particular, that, even though the evolution operators act in reverse order on the observable, the Heisenberg picture should not (or, at least, need not) be interpreted or explained as “backwards in time” evolution.

The point is that , on its own, has no meaning in the Heisenberg picture. In the Heisenberg picture, *all* operators must be evolved consistently. In particular, the operator , which is defined formally at , when applied at time , must also be consistently evolved before being applied on anything. (Better said, the Hamiltonian generating the unitary evolves in time and, with it, the unitary operator it generates.)

Hence, in the Heisenberg picture, the propagator of observables from to is not but its *evolved version*, that is,

.

If we substitute this into the initial formula, then we indeed obtain that , as it was computed at point 2 above.

However, once written as above, it gives us a very clear understanding of what is going on in the Heisenberg picture.

Summarizing, the Heisenberg picture is indeed a pullback transformation, but a pullback that happens *forward in time. *After all, both Heisenberg and Schrödinger pictures provide equivalent representations of exactly the same process, which of course happens forward in time.

Francesco Buscemi is Associate Professor at the Department of Mathematical Informatics of Nagoya University, Japan. His results solved some long-standing open problems in the foundations of quantum physics, using ideas from mathematical statistics and information theory. He established, in a series of single-authored papers, the theory of quantum statistical morphisms and quantum statistical comparison, generalizing to the noncommutative setting some fundamental results in mathematical statistics dating back to works of David Blackwell and Lucien Le Cam. In particular, Prof. Buscemi successfully applied his theory to construct the framework of “semiquantum nonlocal games,” which extend Bell tests and are now widely used in theory and experiments to certify, in a measurement device-independent way, the presence of non-classical correlations in space and time.

In such an occasion, it is impossible not to remember Professor Paul Busch, gentleman scientist, President of IQSA until his sudden death, of which I learned almost simultaneously with my award.

]]>However, even when signaling is in fact possible, there still are obvious constraints on how signaling can occur: for example, by sending one physical bit, no more than one bit of information can be communicated; by sending two physical bits, no more than two bits of information can be communicated; and so on. Such extra constraints, that by analogy we call “*no-hypersignaling*,” **are not dictated by special relativity, but by the physical theory describing the system being transmitted**. If the physical bit is described by classical theory, then the no-hypersignaling principle is true by definition. It is not so in quantum theory, where the validity of the no-hypersignaling principle becomes a non-trivial mathematical theorem relying on a recent result by Péter E. Frenkel and Mihály Weiner (whose proof, using the “supply-demand theorem” for bipartite graphs, is very interesting in itself).

As one may suspect, **the no-hypersignaling principle does not hold in general**: it is possible to construct artificial worlds in which the no-hypersignaling principle is violated. Such worlds are close relatives of the “box world,” a toy-model theory used to describe conceptual devices called Popescu-Rohrlich boxes. Exploring such alternative box worlds, one further discovers that the no-hypersignaling principle is logically independent of both the conventional no-signaling principle and the *information causality principle*, however related these two may seem to be with no-hypersignaling.

This means that the no-hypersignaling principle needs to be either assumed from the start, or derived from presently unknown physical principles analogous to the finite and constant speed of light behind Einstein’s no-signaling principle.

The paper was published on Physical Review Letters, but is also available free of charge on the arXiv.

]]>Thus I freely admit that in arriving at my proposals I have been guided, in the last analysis, by value judgments and predilections. But I hope that my proposals may be acceptable to those who value not only logical rigour but also freedom from dogmatism; who seek practical applicability, but are even more attracted by the adventure of science, and by discoveries which again and again confront us with new and unexpected questions, challenging us to try out new and hitherto undreamt-of answers.

Karl Popper, *The Logic of Scientific Discovery*. 2nd Edition (Routledge, 1999), p.38.

Next Wednesday, I will be giving an invited lecture at the National Cheng Kung University in Tainan, Taiwan, about all that I’ve learnt concerning the information-disturbance tradeoff in quantum theory. Keeping a unified viewpoint, I will cover many aspects of the problem: from the difference between physical and stochastic reversibility, to qualitative “no information without disturbance” statements and quantitative balance equations, up to the two-observable approach *à la* Heisenberg.

Click the drawing above for the PDF.

]]>Incompatibility, in the form of uncertainty relations, is available in many flavours: statistical and dynamical, variance-based and entropy-based, state-dependent and state-independent… As I was asked to share the slides, I’m now making them publicly available (click on the cover below):

The mechanical *hybris* is defeated!

See also: Heisenberg’s principle, Shannon’s information, and nuclear (research) reactors

]]>]]>I’ve been thinking a hundred times more about quantum problems than about general relativity.