🔢 mathematics

Fixed-Boost Wigner Noise: Strict Trace-Distance Contraction without Quantum Degradability

This paper demonstrates that a fixed Lorentz boost acting on a massive particle's spin can strictly contract all pairwise trace distances without rendering the resulting quantum channels comparable via CPTP post-processing, thereby proving that the ordering of state distinguishability does not necessarily imply a quantum statistical post-processing order.

Original authors: Maxim V. Churilov

Published 2026-07-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Maxim V. Churilov

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 a detective trying to figure out how much "spin" a tiny particle has. In the quantum world, this spin is like a tiny arrow pointing in a specific direction. Usually, if you mess with a particle—say, by speeding it up to near the speed of light—its spin gets scrambled. This scrambling is called "noise."

For a long time, physicists thought they could rank this noise like a ladder. If one experiment scrambled the spin more than another along every single direction you could measure, they assumed the "noisier" one was just a "worse version" of the "cleaner" one. They thought you could take the clean version, run it through a simple filter (a "post-processing" step), and get the messy version out. It was like thinking that if you blur a photo more, you just need a stronger blur filter to get from the sharp photo to the blurry one.

But in this paper, a researcher named Maxim V. Churilov proves that this intuition is wrong.

The Setup: The Cosmic Tilt

Imagine a massive particle, like an electron, zooming through space. Now, picture an observer (let's call her Alice) who suddenly zooms past the particle at a fixed, high speed. Because of the weird rules of relativity, this speed boost doesn't just move the particle; it twists its spin arrow. This twist is called a "Wigner rotation."

Crucially, the amount of twist depends on which way the particle was already moving. If the particle is moving straight up, it gets one twist. If it's moving sideways, it gets a different twist. Alice can't see the particle's exact speed; she only sees a "cloud" of possible speeds. So, the spin she sees is a mix of all these different twists.

The Experiment: Two Different Clouds

Churilov sets up a thought experiment with two different clouds of particles, both seen by the same speeding Alice:

The Source: A cloud where the particles have a certain spread of sideways speeds.
The Target: A cloud where the particles have a wider spread of sideways speeds.

When Alice looks at the Target cloud, the spin arrows are scrambled more than in the Source cloud. In fact, if you measure the "distance" between any two possible spin states, the Target makes them look closer together (more confused) than the Source does. Every single measurement shows the Target is "noisier."

The Big Twist: You Can't Just "Filter" It

Here is the punchline. Because the Target is noisier in every single way, you might expect that you could take the Source, run it through a magic machine (a "channel"), and get the Target.

Churilov proves this is impossible.

He shows that even though the Target is strictly "worse" in every measurement, there is no physical machine that can turn the Source into the Target. The "magic machine" required to do this would have to break the fundamental laws of quantum physics (specifically, it would violate a rule called "complete positivity").

Think of it like this: Imagine you have a clear glass of water (the Source) and a muddy glass of water (the Target). Usually, you can turn clear water into muddy water by adding dirt. But in this quantum case, the "muddy" water has a specific kind of dirt that you simply cannot create by adding anything to the "clear" water, even though the muddy water looks dirtier in every single way you can test it. The "mud" is in a configuration that the "clear" water just can't reach, no matter what filter you use.

How Sure Are We?

This isn't just a guess or a simulation. Churilov has mathematically proved this for a specific, idealized setup involving a fixed speed boost and a symmetric distribution of particle directions. He calculated the exact "gap" between the two states and showed that the only way to bridge it would require a negative probability, which is forbidden in physics.

He also checked if this holds up in the real world. He showed that even if you use real, wiggly waves of particles (called "wave packets") instead of perfect mathematical points, the result still holds. He even provided a recipe for how many measurements you would need to take in a lab to prove this with high confidence (specifically, about 18 shots per setting for a 95% confidence level).

What This Means (and What It Doesn't)

This discovery rules out the idea that "worse in every measurement" automatically means "can be made from the better one." It tells us that quantum information is more complex than just a single number or a simple list of errors.

The paper does not say this happens for every possible situation in the universe. It specifically rules out the idea for this specific type of "fixed boost" scenario. It also doesn't claim to have found a new way to build quantum computers; rather, it clarifies the rules of the game. It shows that you cannot always order quantum noise by simply looking at how much it shrinks the differences between states. Sometimes, the "noisier" state is in a different league entirely, unreachable from the "cleaner" one by any physical process.

In short: Just because something looks more scrambled in every way you can check, doesn't mean it's just a "filtered" version of the less scrambled thing. The universe has a few more tricks up its sleeve than our simple intuition suggests.

Technical Summary: Fixed-Boost Wigner Noise and Trace-Distance Contraction

Problem Statement
The paper addresses a fundamental question in relativistic quantum information: Does a reduction in all observable spin contrasts (trace distances) under a fixed Lorentz boost necessarily imply that the resulting noisy channel is a post-processing (degradation) of the original? Specifically, if a target preparation yields strictly smaller spin-state distinguishabilities than a source preparation along every calibrated axis under the same boost, must there exist a state-independent, completely positive trace-preserving (CPTP) channel $\Lambda$ such that $\Phi_{target} = \Lambda \circ \Phi_{source}$ ?

Previous work established that reduced spin states depend on observer boosts and momentum distributions via Wigner rotations. While simple dephasing models can often be ordered by a single coherence parameter, the paper investigates a more complex scenario where Wigner rotation axes vary across the transverse plane, creating non-commuting branch rotations. The central operational question is whether componentwise damping (contraction of all Bloch coordinates) is sufficient to guarantee quantum statistical post-processing order.

Methodology
The authors employ a rigorous geometric and analytic approach to characterize the set of reduced spin channels generated by a single fixed observer boost.

Model Construction: The study assumes an autonomous product preparation $\rho_{SP} = \rho_S \otimes \rho_P$ , where the momentum state $\rho_P$ is a trace-class operator. The spin dynamics are described by a random-unitary channel arising from the momentum trace of the unitary Lorentz transformation.
Geometric Characterization: The authors derive the exact convex cone of Bloch matrices realizable by a fixed boost with an inversion-symmetric distribution of transverse momenta. This involves analyzing the average of Wigner rotations $R_n(\pm \theta)$ over a plane orthogonal to the boost axis.
Analytic Family: Within this cone, the authors construct a specific family of Pauli-diagonal channels parameterized by weights $u$ and $v$ (representing the probability mass of opposite momentum pairs). The channels are defined as:
$M_\alpha = \text{diag}(1-\alpha, 1-\alpha, 1-2\alpha)$
where $\alpha$ is a function of the Wigner angle and momentum weights.
Optimization and Verification: The paper solves the optimization problem for the minimum diamond-norm distance between a target channel and any physical converter applied to a source channel. It utilizes the Fujiwara-Algoet inequalities and Choi eigenvalue analysis to test for complete positivity.
Robustness Analysis: The idealized "sharp momentum branch" model is extended to pure, normalizable wave packets. The authors provide explicit perturbation bounds and finite-shot tomography certificates to demonstrate that the results hold for physically realizable states with finite momentum spread.

Key Contributions and Results

Strict Trace-Distance Contraction without Degradability: The primary result is the construction of a counterexample where, for $0 < u < v < 1/2$ , the target channel $\Phi_v$ strictly contracts every pairwise trace distance between distinct spin states compared to the source channel $\Phi_u$ . Despite this strict ordering of all observable contrasts, no CPTP map $\Lambda$ exists such that $\Phi_v = \Lambda \circ \Phi_u$ .
Exact Cone Characterization: The paper provides an exact description of the "fixed-boost symmetric cone." A real matrix $M$ belongs to this cone if and only if it takes the form:
$M = \begin{pmatrix} I_2 - D & 0 \\ 0 & 1 - \text{Tr} D \end{pmatrix}$
where $D \succeq 0$ and $\text{Tr} D \leq s$ (with $s$ related to the Wigner angle). This reveals a kinematic constraint missed by simpler three-axis models: the longitudinal deficit must equal the trace of the transverse deficit matrix.
Quantitative Deficiency: The authors calculate the exact directed CPTP deficiency (the minimum diamond-norm distance to a physical converter):
$\delta_\diamond(\beta|\alpha) = \frac{\alpha(\beta - \alpha)}{2 - 3\alpha} \quad \text{for } \alpha < \beta < 1/2$
This quantifies the "gap" that no physical post-processing can bridge.
Choi Eigenvalue Witness: The unique linear factor $T = M_\beta M_\alpha^{-1}$ required to map source to target is shown to have a negative normalized Choi eigenvalue:
$\lambda_{\min} = -\frac{s^2 u(v-u)}{2(1-su)(1-2su)} < 0$
This proves the factor is not completely positive.
Markovian Obstruction: The paper demonstrates that non-identity members of this family cannot be embedded in a time-homogeneous Pauli-diagonal Lindblad semigroup. They violate the inequality $\lambda_z \geq \lambda_x \lambda_y$ required for such semigroups, indicating that the relativistic noise is not a simple positive-time point of a standard dissipative process.
Stability and Tomography: The results are shown to persist for normalizable wave packets. The authors derive explicit bounds for the "certified exclusion neighborhood," proving that even with finite measurement errors and finite momentum spread, the non-degradability can be experimentally certified via tomography.

Significance and Claims
The paper claims to demonstrate that ordering all unassisted spin distinguishabilities does not determine the quantum statistical post-processing order.

Operational Implication: Componentwise damping is an insufficient proxy for information loss in relativistic settings. A channel can be "noisier" in every observable sense (smaller trace distances, smaller singular values) yet remain "incomparable" in the quantum information sense because the required transformation violates complete positivity.
Structural Insight: The failure of degradability arises from the specific coupling of the three observed contractions imposed by the fixed boost kinematics. The longitudinal contraction becomes too strong relative to the transverse contractions to fit within the CPTP tetrahedron.
Modesty of Claims: The authors explicitly state they do not claim to characterize every channel produced by arbitrary spin-momentum correlations or every Lorentz wave packet. The result is specific to the "fixed-boost" realization with inversion-symmetric transverse momenta. The paper focuses on the existence of an open set of physically generated channel pairs where the standard intuition (smaller distance $\implies$ post-processing) fails, rather than a complete classification of all relativistic noise.

In conclusion, the work establishes that for a single fixed Lorentz boost, the set of reduced spin channels forms a structure where the identity dominates all members, but all positive-noise members form a Blackwell antichain: they are totally ordered by trace distance but pairwise incomparable under CPTP post-processing.