pith. sign in

arxiv: 2605.22551 · v1 · pith:I36SUZGJnew · submitted 2026-05-21 · 🪐 quant-ph

Joint Unitarity and a Single Definite Outcome in a Quantum Measurement

Muxi Liu This is my paper

Pith reviewed 2026-05-22 05:32 UTC · model grok-4.3

classification 🪐 quant-ph
keywords quantum measurementunitary evolutiondefinite outcomeenvironment dependencemeasurement problemvon Neumann model
0
0 comments X

The pith

Joint unitarity for a definite quantum measurement outcome imposes a lower bound on how much the final environment depends on the initial system state.

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

The paper examines the idea that each run of a quantum measurement producing one specific outcome can be described as a single joint unitary evolution involving the measured system, the apparatus, and the environment. Different possible outcomes would then correspond to different such unitary maps. Under this picture and a set of reasonable assumptions, the work derives a quantitative lower bound on the statistical dependence between the environment's final state and the system's initial state, even after conditioning on the observed outcome. This bound offers a concrete, potentially measurable signature that could be checked to see whether standard unitary quantum evolution remains consistent with the definite, single outcomes recorded in actual experiments.

Core claim

If each single measurement run with a definite outcome is realized by a joint unitary evolution of the system, apparatus and environment together, and if runs yielding different definite outcomes correspond to different unitary maps, then there exists a lower bound on the dependence of the post-measurement environment state on the pre-measurement system state, conditioned on the same outcome.

What carries the argument

The joint unitary map that realizes one fixed definite outcome and acts on the combined system-apparatus-environment Hilbert space.

If this is right

  • The derived bound quantifies how much information about the initial system state must remain in the environment even after the outcome is fixed.
  • An experimental violation of the bound would indicate that unitary dynamics and definite outcomes cannot both hold in the manner assumed.
  • The result suggests that the standard von Neumann measurement model may require an extra conditioning step to produce the observed definiteness.
  • The bound provides a testable relation that can be checked without assuming any particular interpretation of the wave function collapse.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The bound may supply a concrete diagnostic for whether decoherence alone can produce the appearance of a definite outcome.
  • It could be checked in controlled systems such as a qubit coupled to a tunable environment where final environmental degrees of freedom are accessible.
  • If the bound is confirmed, it would tighten constraints on models that try to derive the Born rule from unitary evolution plus environment conditioning.

Load-bearing premise

A single measurement run with a definite outcome is realized by one joint unitary evolution of the system, apparatus and environment, with different outcomes realized by different such unitaries.

What would settle it

An experiment that prepares varying initial system states, performs the measurement, conditions on one fixed observed outcome, and measures the correlation between those initial states and the final environment state; if the observed dependence falls below the derived lower bound, the claimed relation is refuted.

read the original abstract

We investigated the possibility that a single measurement run with a definite outcome is a joint unitary evolution of all the participating systems, and measurement runs with different definite outcomes correspond to different unitary maps. With reasonable assumptions, we derived a lower bound of the dependence of the environment after measurement on the state of the system before measurement, conditioned on the same measurement outcome. An experimental test of this dependence relation can either serve as evidence that the unitary dynamics and the definite outcome in the orthodox sense cannot be true together or suggest a deviation from the von Neumann measurement model plus a "conditioning" interpretational step.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript investigates the possibility that each definite outcome in a quantum measurement corresponds to a distinct joint unitary evolution of the system plus environment, with different outcomes selecting different unitary maps. Under a set of reasonable assumptions, the authors derive a lower bound on the dependence of the post-measurement environment state on the pre-measurement system state, conditioned on the observed outcome. They propose that an experimental test of this bound could either falsify the joint compatibility of unitary dynamics with a single definite outcome or indicate a deviation from the von Neumann measurement model augmented by conditioning.

Significance. If the lower bound is rigorously derived and experimentally accessible, the work would supply a concrete, falsifiable relation that could constrain foundational models of quantum measurement. The approach of treating outcome-dependent unitaries as an explicit hypothesis and extracting a testable dependence bound is a strength, as is the emphasis on a single-run definite outcome rather than ensemble averages.

major comments (2)
  1. [Abstract and modeling assumptions (likely §2)] The core modeling choice that different definite outcomes correspond to different joint unitary maps (stated in the abstract and used to motivate the bound) directly conflicts with the standard linear Schrödinger evolution on the total Hilbert space, which supplies only a single fixed unitary U; the outcome is an emergent property of the final state rather than an input that selects U. This assumption appears load-bearing for the claimed lower bound; if replaced by post-selection on a fixed U, the dependence is expected to vanish or become trivial, as the skeptic note anticipates. Please add an explicit section comparing the two pictures and showing where the bound survives or fails.
  2. [Derivation of the lower bound (presumably §3)] The abstract states that a lower bound was derived 'with reasonable assumptions,' yet the provided text supplies neither the explicit list of assumptions, the derivation steps, nor any supporting calculation or inequality. Without these, it is impossible to verify whether the bound is non-trivial or reduces to a self-referential definition of the conditioned environment state. Please insert the full derivation (with numbered equations) and demonstrate that the bound does not collapse under post-selection on a single fixed unitary.
minor comments (2)
  1. [Notation and definitions] Define the quantitative measure of 'dependence' (e.g., trace distance, fidelity, or mutual information) explicitly and state whether it is conditioned on the same outcome for both the pre- and post-measurement states.
  2. [Experimental implications] Add a short discussion of how the proposed experimental test would distinguish the outcome-dependent unitary hypothesis from standard decoherence-plus-post-selection models.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which highlight important points about the modeling assumptions and the presentation of the derivation. We address each major comment below and will revise the manuscript accordingly to improve clarity and rigor.

read point-by-point responses

  1. Referee: [Abstract and modeling assumptions (likely §2)] The core modeling choice that different definite outcomes correspond to different joint unitary maps (stated in the abstract and used to motivate the bound) directly conflicts with the standard linear Schrödinger evolution on the total Hilbert space, which supplies only a single fixed unitary U; the outcome is an emergent property of the final state rather than an input that selects U. This assumption appears load-bearing for the claimed lower bound; if replaced by post-selection on a fixed U, the dependence is expected to vanish or become trivial, as the skeptic note anticipates. Please add an explicit section comparing the two pictures and showing where the bound survives or fails.

    Authors: We agree that the modeling choice of outcome-dependent joint unitaries is a deliberate hypothesis distinct from the standard picture of a single fixed unitary U on the composite Hilbert space, with the outcome emerging via the final state or post-selection. The manuscript explores the implications of this hypothesis for compatibility with a single definite outcome per run. We will add a new subsection (likely in §2) that explicitly contrasts the two frameworks: the standard fixed-U evolution followed by post-selection versus our assumption of outcome-selected unitaries. In this comparison we will demonstrate that the lower bound on environment-state dependence becomes trivial under the standard fixed-U plus post-selection, while remaining non-trivial under the paper's joint-unitarity-plus-definite-outcome assumptions. This will clarify the load-bearing role of the hypothesis and the intended scope of the bound. revision: yes

  2. Referee: [Derivation of the lower bound (presumably §3)] The abstract states that a lower bound was derived 'with reasonable assumptions,' yet the provided text supplies neither the explicit list of assumptions, the derivation steps, nor any supporting calculation or inequality. Without these, it is impossible to verify whether the bound is non-trivial or reduces to a self-referential definition of the conditioned environment state. Please insert the full derivation (with numbered equations) and demonstrate that the bound does not collapse under post-selection on a single fixed unitary.

    Authors: We acknowledge that the submitted version did not present the assumptions and derivation steps with sufficient explicitness. The reasonable assumptions include joint unitarity of the system-plus-environment evolution conditioned on each definite outcome, the requirement of a single definite outcome per individual run, and the use of a state-distance measure (e.g., trace distance) to quantify dependence of the post-measurement environment state on the pre-measurement system state. We will insert a complete, self-contained derivation in §3, with numbered equations that derive the lower bound from these assumptions. We will also add an explicit demonstration that the same bound reduces to a trivial (zero) value when the model is replaced by a single fixed unitary followed by post-selection on the outcome, confirming that the non-trivial bound is a direct consequence of the outcome-dependent unitary hypothesis rather than a tautology. revision: yes

Circularity Check

0 steps flagged

Derivation proceeds from explicit assumptions to a derived bound without reduction to inputs by construction

full rationale

The paper states its central premise as an investigated possibility: a definite outcome corresponds to a joint unitary on system plus environment, with different outcomes selecting different unitaries. It then applies additional reasonable assumptions to derive a lower bound on environment dependence conditioned on outcome. This bound is presented as a mathematical consequence of those premises rather than a re-labeling, fit, or self-referential definition of the inputs. No equations or steps in the abstract or described chain reduce the output to a tautology or to a self-citation whose content is unverified. The result is offered as testable, keeping the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no identifiable free parameters, axioms, or invented entities; full text would be needed to audit these.

pith-pipeline@v0.9.0 · 5613 in / 1081 out tokens · 46022 ms · 2026-05-22T05:32:34.514411+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 1 internal anchor

  1. [5]

    author author A. A. \ Kryukov ,\ https://arxiv.org/abs/2601.17976 title Quantum paradoxes and the quantum-classical transition under unitary measurement dynamics with random hamiltonians ( year 2026 ),\ https://arxiv.org/abs/2601.17976 arXiv:2601.17976 [quant-ph] NoStop

    work page arXiv 2026

  2. [7]

    author author M. M. \ Wilde ,\ @noop title Quantum Information Theory ,\ edition 2nd \ ed.\ ( publisher Cambridge University Press ,\ year 2017 ) NoStop

    work page 2017

  3. [9]

    Toy model for local and deterministic wave-function collapse , author =. Phys. Rev. A , volume =. 2022 , month =. doi:10.1103/PhysRevA.106.022212 , url =

    work page doi:10.1103/physreva.106.022212 2022

  4. [10]

    2026 , eprint=

    Quantum Paradoxes and the Quantum-Classical Transition under Unitary Measurement Dynamics with Random Hamiltonians , author=. 2026 , eprint=

    work page 2026

  5. [11]

    Hu, Le and Jordan, Andrew N. , year=. Describing the wave function collapse process with a state-dependent Hamiltonian , volume=. Quantum Studies: Mathematics and Foundations , publisher=. doi:10.1007/s40509-026-00394-x , number=

    work page doi:10.1007/s40509-026-00394-x

  6. [12]

    Decoherence, the measurement problem, and interpretations of quantum mechanics , author =. Rev. Mod. Phys. , volume =. 2005 , month =. doi:10.1103/RevModPhys.76.1267 , url =

    work page internal anchor Pith review doi:10.1103/revmodphys.76.1267 2005

  7. [13]

    Models of wave-function collapse, underlying theories, and experimental tests , author =. Rev. Mod. Phys. , volume =. 2013 , month =. doi:10.1103/RevModPhys.85.471 , url =

    work page doi:10.1103/revmodphys.85.471 2013

  8. [14]

    and Mattos, Rafael S

    Tomaz, Anderson A. and Mattos, Rafael S. and Barbatti, Mario , year=. The quantum measurement problem: a review of recent trends , ISSN=. doi:10.1080/14786435.2025.2601922 , journal=

    work page doi:10.1080/14786435.2025.2601922 2025

  9. [15]

    Larkoski, Andrew J. , year=. Elementary Particle Physics: An Intuitive Introduction , DOI=

    work page

  10. [16]

    1959 , publisher=

    Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra , author=. 1959 , publisher=

    work page 1959

  11. [17]

    2019 , note =

    Time Reversal , author =. 2019 , note =

    work page 2019

  12. [18]

    Wilde, Mark M. , year=. Quantum Information Theory , publisher=

    work page

  13. [19]

    Quantum Information Cannot Be Completely Hidden in Correlations: Implications for the Black-Hole Information Paradox , author =. Phys. Rev. Lett. , volume =. 2007 , month =. doi:10.1103/PhysRevLett.98.080502 , url =

    work page doi:10.1103/physrevlett.98.080502 2007