# Why is time-evolution unitary (the sequel)?

One foundational postulate of QM is that a closed physical system at one instant of time, say $t$, is completely described by a wavefunction $\psi \in S^1\subset H$ (where $H$ is a Hilbert space and $S^1$ its unit sphere). Another foundational postulate is that the wavefunction of a closed system should evolve deterministically along some orbit $t \mapsto \psi(t)$. It is therefore possible to define a time-evolution operator $U(t,t'):S^1\subset H \to S^1 \subset H:\psi(t') \mapsto \psi(t)=U(t,t')\psi(t')$. From the considerations so far we still need the linearity property for $U$ (after extending its (co)domain to $H$) to arrive at the conclusion that $U(t,t')$ be unitary (for all $t$).

Some would suggest that the linearity of $U$ is simply foundational itself and an experimentally falsifiable part of QM which does not rely on some deeper philosophical underpinning.

Many texts (see also Weinberg's "lectures in QM") however adopt the point of view that time-translation is a symmetry à la Wigner and that all transition probabilities $t \mapsto |\langle \psi(t),\phi(t)\rangle|^2$ should therefore be constant in time. Wigner's theorem then tells us that $U(t,t')$ should be either unitary or anti-unitary. A very plausible continuity argument rules out the anti-unitary option.

So which way carries the greater truth? Or is the distinction between the two viewpoints only apparent?

Personally, I have difficulty understanding the second viewpoint. Are wavefunctions not supposed to describe the system at one instant of time and not be a spacetime description? e.g. the inner product in usual QM Hilbert spaces asks you to integrate or perform certain sums related to the wave-function at one such instant of time. Therefore, it seems not evident to me that time-translation should be a symmetry in the sense of Wigner. Does Lorentz-invariance somehow force the constancy of $t\mapsto |\langle\psi(t),\phi(t)\rangle|^2$?

• I see what you mean, and in this case the problem is indeed non-trivial. The more refined argument I am aware of is as follows: 1) Given the usual QM representation of states and observables but without any assumptions as to their time evolution, 2) Relativity imposes linear evolution through the no-signaling theorem, which invokes the speed limit but not explicitly Lorentz transformations, and 3) Time-reversal (not time-translation) imposes unitarity. – udrv Jan 17 '17 at 16:26
• Point (3) is needed because QM states may also be mixed states given by density matrices, of which the pure states are a particular case. The most general linear evolutions on the convex set of mixed states that are i) not only positive definite, but also completely positive (a.k.a. positive, local and separable), ii) homogeneous (insensitive to state normalization), and iii) preserve probability (the density matrix trace), are the generally irreversible evolutions with Lindblad-type generators. Requiring time-reversal restricts the set of acceptable evolutions to the unitary ones. – udrv Jan 17 '17 at 23:32
• The major problem with nonlinear evolutions is that they are expected to distinguish between mixed states as statistical ensembles of pure states and mixed states as local states arising from, say, some entangled state shared with other non-interacting systems. This is so far untenable under the no-signaling theorem. – udrv Jan 17 '17 at 23:38
• But since it generally takes pure states to mixed states, it doesn't take $|\Psi(0)\rangle = c_1|\psi_1(0)\rangle + c_2 |\psi_2(0)\rangle$ into $c_1|\psi_1(t)\rangle + c_2 |\psi_2(t)\rangle$, but $|\Psi(0)\rangle\langle \Psi(0)| \rightarrow e^{\mathcal{L}t}|\Psi(0)\rangle\langle \Psi(0)| \neq |\Psi(t)\rangle\langle \Psi(t)|$, although superpositions work as usual in the Hilbert space. – udrv Jan 18 '17 at 1:53
• As for refs., the original paper is arxiv.org/abs/quant-ph/0102125, and there is an old list of papers on linearity/non-linearity in QM, arxiv.org/abs/quant-ph/0410036, but I'll have to come back with something more recent. – udrv Jan 18 '17 at 2:06

First of all, pure states in quantum mechanics don't correspond to elements of the "unit sphere" of the Hilbert space; they correspond to elements of the projective Hilbert space (which for a finite-dimensional Hilbert space is a complex projective space), which is not the same thing. State vectors that differ by a global phase (which represent the same physical pure state) correspond to distinct elements of the Hilbert space's "unit sphere" but the same element of its projective Hilbert space. (Also, using the notation $S^1$ to refer to an arbitrary hypersphere is extremely confusing, because that notation almost always refers specifically to a circle.)