Pith. sign in

REVIEW 3 major objections 2 minor

Fixed-boost Wigner noise strictly shrinks every spin-state distance without one channel being degradable from another.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.5

2026-07-15 01:42 UTC pith:NEU3P2NN

load-bearing objection Clean separation of strict trace-distance contraction from CPTP degradability for fixed-boost Wigner channels, with exact diamond-norm numbers, but only the abstract is in hand. the 3 major comments →

arxiv 2607.12994 v1 pith:NEU3P2NN submitted 2026-07-14 quant-ph math-phmath.MP

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

classification quant-ph math-phmath.MP PACS 03.67.-a03.65.Yz03.30.+p
keywords Wigner rotationspin noisetrace distancequantum channel degradabilityPauli channelsdiamond normLorentz boostquantum information
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

A Lorentz boost twists the spin of a massive particle by a Wigner rotation that depends on the particle’s momentum. When the boost is fixed and the momentum is uncertain, the induced noise on spin can shrink every pairwise distinguishability (trace distance) while still failing to be a post-processing of the less noisy channel. For spin-1/2 the paper isolates an inversion-symmetric cone of channels generated by one fixed Wigner angle and transverse momentum directions; inside that cone sits the Pauli family M_α = diag(1-α,1-α,1-2α). For any 0<α<β<1/2 every pair of spin states is strictly closer after M_β than after M_α, yet the unique linear converter that would turn M_α into M_β has a negative Choi eigenvalue and is therefore unphysical. Exact diamond-norm deficiencies are computed: the one-way distance from α to β is α(β-α)/(2-3α) while the reverse is simply β-α, so the identity is the only comparable member and all positive-noise channels are pairwise incomparable under CPTP maps. The ideal maps arise as the narrow-packet limit of pure five-component momentum states, and explicit tomography bounds certify an open set of physical examples. The same maps also refuse to sit inside any time-homogeneous Pauli-diagonal Lindblad semigroup. The upshot is that a total ordering of unassisted spin distinguishabilities does not decide the quantum statistical order under post-processing.

Core claim

For the Pauli family M_α generated by fixed-boost Wigner noise, every pairwise spin-state trace distance contracts strictly under M_β relative to M_α whenever 0<α<β<1/2, yet the channels remain pairwise incomparable under CPTP post-processing, with exact one-way diamond deficiencies α(β-α)/(2-3α) and β-α respectively.

What carries the argument

The inversion-symmetric channel cone generated by a fixed Wigner angle and transverse momenta, inside which the Pauli family M_α = diag(1-α,1-α,1-2α) lives; the argument is carried by the exact diamond-norm optimization over all CPTP converters between any two members.

Load-bearing premise

That the ideal inversion-symmetric channels arise as the narrow-packet limit of pure, normalizable five-component momentum states, so that an open set of physical packets really realizes the claimed cone.

What would settle it

Construct a pure five-component narrow-packet state whose fixed-boost reduced spin channel lies outside the claimed inversion-symmetric cone, or exhibit a CPTP map that converts M_α into M_β for some 0<α<β<1/2, contradicting the computed positive deficiency.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 2 minor

Summary. The manuscript studies spin channels induced by a fixed Lorentz boost acting through momentum-dependent Wigner rotations. For spin 1/2 it characterizes the inversion-symmetric channel cone generated by a fixed Wigner angle and transverse momenta, which contains the Pauli family M_α = diag(1−α,1−α,1−2α) for 0 ≤ α < 1/2. It claims that for 0 < α < β < 1/2 every pairwise spin-state trace distance strictly contracts under M_β relative to M_α, yet the channels are pairwise incomparable under CPTP post-processing: the exact diamond-norm deficiency is (1/2) inf_Λ∈CPTP ‖Φ_β − Λ∘Φ_α‖_♦ = α(β−α)/(2−3α), while the reverse deficiency equals β−α. The ideal channels are asserted to arise as the narrow-packet limit of pure normalizable five-component momentum states, with perturbation and finite-shot tomography bounds certifying an open set of physical examples; separately, non-identity members fail embedding in a time-homogeneous Pauli-diagonal Lindblad semigroup.

Significance. If the exact deficiency formulas and the continuum-limit realization both hold, the work cleanly separates two orderings that are often conflated: the ordering of unassisted spin distinguishability (trace distance) and the quantum statistical post-processing order (CPTP degradability). A parameter-free, closed-form diamond-norm calculation together with an explicit physical construction would be a useful contribution to relativistic quantum information and to the theory of channel comparison, showing that strict contraction of all pairwise distances need not imply degradability. The claimed open-set certification via perturbation/tomography bounds would further make the phenomenon experimentally relevant rather than purely ideal.

major comments (3)
  1. The central quantitative claim—the exact evaluation (1/2) inf_Λ∈CPTP ‖Φ_β − Λ∘Φ_α‖_♦ = α(β−α)/(2−3α) for the Pauli family M_α—is stated without accessible proof in the material under review. Because this formula is load-bearing for the incomparability statement, the optimization over CPTP converters (including the asserted uniqueness of the linear converter and the sign of its normalized Choi eigenvalue) must be fully checkable; without the derivation the claim cannot be audited.
  2. Physical relevance rests on the assertion that the ideal inversion-symmetric channels (and the Pauli subfamily inside their cone) arise as the narrow-packet limit of pure, normalizable five-component momentum states, with explicit perturbation and finite-shot tomography bounds certifying an open set of examples. If the five-component support or the continuum limit fails to place channels inside the claimed cone for any open set of physical packets, the exact deficiency formulas lose their stated experimental content. That construction and the accompanying bounds are not available for verification.
  3. The exact characterization of the inversion-symmetric channel cone generated by a fixed Wigner angle and transverse momentum directions is asserted but not exhibited. Completeness of that cone (and the claim that the Pauli family lies inside it) is a prerequisite for transferring the deficiency formulas from the abstract Pauli family to the physically realized Wigner-noise channels; this step remains unaudited.
minor comments (2)
  1. The abstract is dense with interlocking claims (cone characterization, exact diamond-norm optimization, continuum limit, Lindblad non-embeddability). A clearer separation of the purely mathematical comparison results from the relativistic construction would help readers locate the load-bearing steps.
  2. Notation for the channels (Φ_α versus M_α) and for the diamond-norm deficiency should be fixed once and used consistently when the full text is prepared.

Circularity Check

0 steps flagged

No circularity in the abstract: exact cone/deficiency formulas and packet construction are stated as self-contained math, with no fitted inputs or self-referential definitions visible.

full rationale

Only the abstract is available. It claims (i) an exact inversion-symmetric channel cone for fixed Wigner angle and transverse momenta, (ii) the Pauli family M_α = diag(1−α,1−α,1−2α) inside that cone, (iii) closed-form diamond-norm deficiencies ½ inf_Λ∈CPTP ‖Φ_β−Λ∘Φ_α‖_♦ = α(β−α)/(2−3α) and reverse deficiency β−α, and (iv) realization as the narrow-packet limit of pure five-component momentum states with perturbation/tomography bounds. None of these steps, as stated, defines the target quantity in terms of itself, fits a parameter to data and renames the fit a prediction, or invokes a load-bearing uniqueness/ansatz result solely via self-citation. There are no fitted empirical inputs at all. Soundness of the CPTP optimization and continuum limit cannot be audited without the full text, but that is a correctness/auditability issue, not circularity. Per the hard rules, circularity is flagged only when a specific reduction can be quoted and exhibited; none appears. Score 0 with empty steps is therefore the honest finding.

Axiom & Free-Parameter Ledger

2 free parameters · 3 axioms · 0 invented entities

Abstract-only review: free parameters are the continuous noise labels α,β of the Pauli family (not fitted to data). Background axioms are standard quantum information and special-relativistic kinematics. No new particles or forces are invented; the channels themselves are derived objects, not postulated entities.

free parameters (2)
  • α (noise strength in M_α) = 0 ≤ α < 1/2
    Continuous label of the Pauli family M_α = diag(1-α,1-α,1-2α), 0 ≤ α < 1/2; not fitted to experimental data but parametrizes the family under study.
  • β (second noise strength) = α < β < 1/2
    Second label used for pairwise comparison 0 < α < β < 1/2; likewise a free parameter of the family, not a data fit.
axioms (3)
  • standard math Standard CPTP channel theory, diamond norm, Choi representation, and trace distance on qubit states
    Used throughout to define degradability, post-processing, and the optimization whose value is claimed.
  • domain assumption Lorentz boosts act on massive-particle spin via momentum-dependent Wigner rotations
    Standard relativistic quantum kinematics; the paper takes this as given and studies the channel obtained by reducing over uncertain momentum.
  • ad hoc to paper The ideal channels arise as the narrow-packet limit of pure normalizable five-component momentum states
    Specific support and continuum limit chosen to realize the inversion-symmetric cone; physical relevance of the exact formulas rests on this construction.

pith-pipeline@v1.1.0-grok45 · 6221 in / 2662 out tokens · 29348 ms · 2026-07-15T01:42:56.205764+00:00 · methodology

0 comments
read the original abstract

A Lorentz boost acts on the canonical spin of a massive particle through a momentum-dependent Wigner rotation. We show that, for one fixed observer boost, reducing over an uncertain momentum can strictly contract every pairwise spin-state trace distance without producing a channel that is degradable from the less contracted one. For spin $1/2$, we first characterize the exact inversion-symmetric channel cone generated by a fixed Wigner angle and transverse momentum directions. Inside this cone lies the Pauli family $M_\alpha=\operatorname{diag}(1-\alpha,1-\alpha,1-2\alpha)$, $0\leq\alpha<1/2$. For $0<\alpha<\beta<1/2$, all trace distances between distinct spin states are strictly smaller after $M_\beta$ than after $M_\alpha$, yet the unique linear post-processing factor has a negative normalized Choi eigenvalue. We solve the optimization over all physical converters exactly: $\frac{1}{2}\inf_{\Lambda\in\mathrm{CPTP}}\|\Phi_\beta-\Lambda\circ\Phi_\alpha\|_\diamond=\frac{\alpha(\beta-\alpha)}{2-3\alpha}$, whereas the reverse deficiency is $\beta-\alpha$. Thus the identity dominates the family, while all positive-noise members are pairwise incomparable under CPTP post-processing. The ideal construction is realized as the narrow-packet limit of pure, normalizable five-component momentum states, and explicit perturbation and finite-shot tomography bounds certify an open set of examples. Separately, every nonidentity member fails embedding in a time-homogeneous Pauli-diagonal Lindblad semigroup. Hence ordering all unassisted spin distinguishabilities does not determine the quantum statistical post-processing order.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.