⚛️ quantum physics

On the Origin of Linearity and Unitarity in Quantum Theory

This paper reconstructs the linear isometries of pure quantum theory and the completely positive, trace-preserving maps of mixed quantum theory by deriving them from a single physically motivated postulate requiring that transformations be locally applicable.

Original authors: Matt Wilson, Nick Ormrod

Published 2026-03-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Matt Wilson, Nick Ormrod

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to figure out the rules of a very strange video game. You know how the characters (the "states") look, and you know how the game calculates the odds of winning when you press a button (the "measurements"). But you don't know the rules for how the characters move or change over time (the "dynamics").

Usually, physicists just assume the rules: "Characters move in straight lines, and if you reverse time, the game plays backward perfectly." But in this paper, authors Matt Wilson and Nick Ormrod ask a big question: Do we have to assume these rules, or can we discover them just by looking at how the game interacts with the outside world?

Their answer is a resounding "Yes, we can discover them." They propose a single, common-sense rule called "Local Applicability" and show that it forces the game to follow the exact rules of Quantum Mechanics.

Here is the breakdown using simple analogies:

1. The Core Idea: The "Remote Control" Test

Imagine you have a robot in a room (System A). You also have a friend in a completely different galaxy (System X) who is doing their own thing.

The authors propose a rule called Local Applicability:

If you press a button on your robot to make it dance, that action should only affect the robot. It shouldn't magically change what your friend in the galaxy is doing, nor should your friend's actions change how your robot dances.

In physics terms, this means:

No Spooky Action at a Distance: You can't send a secret signal to your friend just by dancing.
Independence: The robot's dance moves are the same whether your friend is there or not.

2. The Big Surprise: The Rules Appear Automatically

The authors took this simple "Remote Control" rule and applied it to two different versions of their quantum game:

Scenario A: The "Perfect" Game (Pure Quantum Theory)

In this version, the characters are perfect, crisp states (like a single, clear note on a piano).

The Result: When they applied the "Local Applicability" rule, the math forced the robot's movements to be Linear and Unitary.
What does that mean?
- Linear: If you mix two dance moves (superposition), the result is a perfect blend of both. You can't suddenly invent a new, weird move that wasn't in the original mix.
- Unitary: The dance is reversible. If you play the movie backward, it looks exactly like the forward version. No information is lost.
The Takeaway: You don't need to assume quantum mechanics is linear or reversible. If you just demand that your actions don't mess up distant friends, linearity and reversibility fall out of the math like a gift.

Scenario B: The "Messy" Game (Mixed Quantum Theory)

In the real world, things get messy. Robots get dusty, and environments get noisy. This is "Mixed" theory (dealing with probabilities and noise).

The Result: When they applied the same "Local Applicability" rule here, the math forced the movements to be Quantum Channels (Completely Positive, Trace-Preserving maps).
What does that mean? These are the specific rules that allow for noise and errors while still keeping the probabilities adding up to 100%. It's the only way to handle a messy robot without breaking the laws of physics.

3. Why This Matters (The "Aha!" Moment)

For a long time, physicists have tried to explain why quantum mechanics works the way it does.

Old Way: "We assume the universe is linear and reversible because that's how the math works."
New Way (This Paper): "We assume the universe respects Locality (you can't affect distant things instantly). Because of that, the universe must be linear and reversible."

It connects Quantum Mechanics to Relativity. Relativity says you can't send signals faster than light. This paper says: "If you respect that speed limit, you are forced to use the specific math of Quantum Mechanics."

4. The "Gisin" Comparison

The paper also looks at an older idea by a physicist named Gisin. Gisin tried to prove the same thing using "Determinism" (pure states stay pure) and "No Superluminal Signaling" (no faster-than-light messages).

The Problem: Gisin's proof was a bit shaky. It required extra assumptions, like "time must be continuous" (no ticking clocks, just a smooth flow) and "the game must be reversible."
The Improvement: Wilson and Ormrod's "Local Applicability" is stronger. It proves linearity even if time is discrete (like a video game with frames) and even if the system isn't perfectly reversible. It's a more robust, "one-size-fits-all" rule.

5. The "Yoneda" Connection (The Deep Math Bit)

The authors mention a fancy math concept called the Yoneda Lemma.

The Analogy: Imagine you have a shape (like a sphere). You can't see the sphere directly, but you can see how other shapes fit against it. The Yoneda Lemma says: "If you know how everything else interacts with this shape, you know everything about the shape itself."
In this paper: The "shape" is the quantum state. The "interactions" are the local transformations. The paper shows that if you know how a transformation acts locally (on the system and its environment), you automatically inherit the structure of the quantum world (linearity).

Summary

Think of the universe as a giant, complex machine.

The Old View: We assumed the gears were made of a specific metal (Linearity/Unitarity) because that's what we saw.
The New View: The authors say, "Actually, if you just build the machine so that turning a gear here doesn't break a gear a million miles away (Local Applicability), the gears have to be made of that specific metal. It's the only way the machine works without exploding."

This paper suggests that the weird, counter-intuitive rules of quantum mechanics aren't arbitrary. They are the inevitable consequence of the universe respecting the rule that "what happens here, stays here, unless we let it out."

1. Problem Statement

The paper addresses a foundational question in quantum mechanics: Why do quantum transformations (dynamics) take the specific forms they do?

In pure quantum theory, states evolve via linear, unitary (or isometric) operators.
In mixed quantum theory (open systems), states evolve via Completely Positive Trace-Preserving (CPTP) maps, also known as quantum channels.

While the structure of quantum states (Hilbert spaces, density matrices) and measurements (Born rule, projection postulate) is well-defined, the dynamical rules are often taken as axioms. The authors ask: Is it possible to derive these specific dynamical rules solely from the structure of states and measurements, combined with a physically motivated principle? Specifically, can we rule out non-linear or non-unitary modifications to quantum dynamics without assuming linearity a priori?

2. Methodology

The authors employ a reconstruction program based on State-Measurement (SM) Theories and the postulate of Local Applicability.

A. State-Measurement (SM) Theories

They define a general framework that describes physical systems, their states, and measurement outcomes, but excludes dynamics.

Components: A set of systems, states ( $S_A$ ), measurement outcomes ( $M_A$ ), a probability function $p(s, m)$ , and a state-update function $u(s, m)$ .
Spatial Composition: They introduce a spatial structure where systems can be composed (tensor product $\otimes$ ), allowing for joint states and parallel measurements.
Examples: They instantiate this framework for both "Pure Quantum SM Theory" (vectors, projectors) and "Mixed Quantum SM Theory" (density operators, projectors).

B. The Postulate: Local Applicability

The core physical postulate is that a transformation $L$ on a system $A$ is locally applicable if it can be applied to $A$ even when $A$ is part of a larger composite system $A \otimes X$ (where $X$ is an arbitrary environment), without affecting the statistics of measurements performed solely on $X$ .

Formally, a locally applicable transformation $L: A \to B$ is a family of functions $L_X: S_{A \otimes X} \to S_{B \otimes X}$ satisfying three conditions:

State Locality: The transformation acts trivially on the environment.
$L_{X \otimes X'}(s \otimes r) = L_X(s) \otimes r$
No Signaling: The transformation does not change the probability of outcomes measured on the environment.
$p(L_X(s), I \otimes m) = p(s, I \otimes m)$
Update Commutativity: The order of applying the local transformation and updating the state based on an environment measurement does not matter.
$u(L_X(s), I \otimes m) = L_X(u(s, I \otimes m))$

Crucially, the authors do not assume that $L$ is linear or that $L_X = L \otimes I_X$ . These properties must be derived from the postulate.

3. Key Contributions and Results

Theorem 1: Pure Quantum Dynamics

Result: In the context of Pure Quantum SM Theory, a transformation is locally applicable if and only if it is an isometry (and unitary if dimensions match).

Derivation: The authors use a "teleportation-like" argument involving entangled states (Bell states) across multiple copies of the system and environment. By applying the conditions of state locality, no-signaling, and update commutativity to these entangled states, they prove that the transformation $L$ must preserve the inner product structure, thereby forcing it to be a linear isometry.
Implication: Linearity with respect to the superposition rule and reversibility (unitarity) are not independent axioms but necessary consequences of locality.

Theorem 2: Mixed Quantum Dynamics

Result: In the context of Mixed Quantum SM Theory, a transformation is locally applicable if and only if it is a Quantum Channel (a Completely Positive Trace-Preserving map).

Derivation: Using a similar teleportation-based proof adapted for density operators (using the Choi-Jamiołkowski isomorphism logic), they show that the transformation must be a restriction of a linear, completely positive map. The trace-preserving nature follows from the requirement that normalized states map to normalized states.
Implication: Complete positivity, often viewed as a technical requirement for consistency with entanglement, is derived here as a direct consequence of local applicability.

Comparison with Gisin's Argument

The paper critically analyzes a previous derivation by Gisin (1990), which attempted to derive Schrödinger evolution from Determinism (pure states map to pure states) and Relativity (no superluminal signaling).

Limitations of Gisin's approach: The authors demonstrate that Determinism + No-Signaling only implies convex linearity (linearity on mixtures), not superposition linearity. Non-linear functions can satisfy these conditions without being unitary.
Advantage of Local Applicability: The authors' approach recovers full linearity (superposition) and unitarity without assuming:
- A continuous time parameter.
- Reversibility (dynamical groups).
- Markovianity.
- The existence of a dynamical group structure.
  This makes the derivation robust even for discrete time evolution or scenarios relevant to quantum gravity where global time parameters may not exist.

4. Significance and Implications

No-Go Theorems for Modifications: The results constitute strong no-go theorems against proposed modifications to quantum mechanics that introduce non-linear or non-unitary dynamics (e.g., models attempting to solve the measurement problem or model quantum-gravity interactions). Such modifications are shown to be incompatible with the principle of local applicability.
Unification of Principles: The paper establishes a deep link between Relativity (specifically the prohibition of superluminal signaling and the independence of spacelike separated operations) and the Linearity/Unitarity of quantum mechanics. It suggests that if one accepts the standard structure of quantum states and measurements, the dynamical laws are fixed by relativistic locality.
Categorical Insight: The authors draw a parallel between their findings and the Yoneda Lemma in category theory. Just as the Yoneda lemma states that a structure is determined by how it interacts with other objects, the paper shows that the linear structure of quantum states is "inherited" by the transformations acting on them because of how those transformations interact with the environment.
Foundational Clarity: By reversing the standard logic (deriving dynamics from locality rather than assuming dynamics), the paper provides a more intuitive and physically motivated formulation of quantum theory. It clarifies that the "measurement problem" and the "Wigner's friend" paradox are intrinsically linked to the linearity derived from locality.

Conclusion

Wilson and Ormrod successfully demonstrate that the linear and unitary nature of quantum dynamics (and the CPTP nature of open system dynamics) is not an arbitrary mathematical choice but a necessary consequence of the physical principle that transformations must be locally applicable. This principle ensures that operations on a system do not instantaneously alter the statistical predictions of measurements performed on a distant, non-interacting environment. This reconstruction strengthens the theoretical foundation of quantum mechanics and places strict constraints on any future theories attempting to modify quantum dynamics.