pith. sign in

arxiv: 1907.11948 · v1 · pith:TZIMB72Vnew · submitted 2019-07-27 · 🪐 quant-ph · math-ph· math.MP· math.OA

Conditioning of Quantum Open Systems

John E. Gough This is my paper

Pith reviewed 2026-05-24 14:30 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MPmath.OA
keywords quantum conditioningvon Neumann algebrasnon-demolition propertiesquantum filteringopen quantum systemsquantum probabilitynon-Kolmogorovian probability
0
0 comments X

The pith

Quantum conditioning must use von Neumann algebras because observables may not commute, and filtering exists only under non-demolition conditions.

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

The paper explains that quantum mechanics uses a non-Kolmogorovian probability theory in which the order of incompatible observables matters. It sets out the formulation using von Neumann algebras to define conditioning properly. The author shows that standard filtering procedures may fail to exist unless non-demolition properties hold. A sympathetic reader would care because everyday notions of updating beliefs on new data need careful translation when measurements disturb the system. The work therefore supplies the precise conditions under which quantum filtering remains well-defined.

Core claim

The underlying probabilistic theory for quantum mechanics is non-Kolmogorovian. When physical observables are incompatible and therefore non-commuting, their order of appearance matters, so the notion of conditioning must be handled with care and may not exist in some cases. The paper lays out the quantum probabilistic formulation in terms of von Neumann algebras and outlines the non-demolition properties under which filtering may occur.

What carries the argument

Von Neumann algebra formulation of quantum probability together with non-demolition properties that permit well-defined conditioning and filtering.

If this is right

  • Conditioning is only guaranteed to exist when the relevant observables satisfy non-demolition properties.
  • The order of measurement must be tracked explicitly when observables do not commute.
  • Standard Kolmogorov-style conditional expectation may fail to apply directly to quantum open systems.
  • Filtering equations remain well-posed precisely when the non-demolition condition holds.
  • The von Neumann algebra setting supplies the correct replacement for classical conditional probability.

Where Pith is reading between the lines

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

  • This framework could be used to decide whether a proposed continuous monitoring scheme on an open quantum system actually yields a valid filtered state.
  • It suggests checking non-demolition properties first before attempting to derive stochastic master equations for any new measurement setup.
  • Extensions to relativistic or field-theoretic systems would need to verify the same algebraic compatibility conditions.
  • Numerical simulations of quantum trajectories could incorporate an early test for the non-demolition property to avoid ill-defined updates.

Load-bearing premise

Quantum mechanics requires a non-Kolmogorovian probability theory because some observables are incompatible and cannot be measured simultaneously.

What would settle it

An explicit quantum system in which conditioning can be defined and filtering performed without invoking non-demolition properties or von Neumann algebra structure.

read the original abstract

The underlying probabilistic theory for quantum mechanics is non-Kolmogorovian. The order in which physical observables will be important if they are incompatible (non-commuting). In particular, the notion of conditioning needs to be handled with care and may not even exist in some cases. Here we layout the quantum probabilistic formulation in terms of von Neumann algebras, and outline conditions (non-demolition properties) under which filtering may occur.

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

0 major / 2 minor

Summary. The manuscript claims that the probabilistic theory underlying quantum mechanics is non-Kolmogorovian because of incompatible (non-commuting) observables, so that the notion of conditioning must be treated with care and may fail to exist in some cases. It therefore lays out the appropriate formulation in the language of von Neumann algebras and identifies non-demolition properties as the conditions under which filtering is possible for quantum open systems.

Significance. If the outlined non-demolition conditions are correctly characterized, the paper supplies a clear reference that connects the non-Kolmogorovian character of quantum probability to the practical question of when filtering can be performed. The von Neumann-algebra setting is the standard rigorous framework for this topic; an explicit layout of the relevant conditions therefore has expository value for researchers in quantum information and open-system dynamics.

minor comments (2)
  1. [Abstract] Abstract: the phrasing 'layout the quantum probabilistic formulation' is informal; a single sentence indicating the principal theorem or proposition that is proved would help readers assess the paper's contribution at a glance.
  2. [Introduction] The manuscript would benefit from an explicit statement, early in the introduction, of the precise non-demolition condition that is both necessary and sufficient for the existence of the conditional expectation used in filtering.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its scope, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is an expository layout of quantum conditioning via von Neumann algebras for non-Kolmogorovian probability, with conditions for filtering under non-demolition properties. No derivation chain is present that reduces predictions or results to inputs by construction, self-definition, or self-citation load-bearing steps. The abstract and described content align with standard quantum probability literature without introducing internally forced equivalences or renamed empirical patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only provides no details on free parameters, axioms, or invented entities; all fields left empty as no content available to audit.

pith-pipeline@v0.9.0 · 5580 in / 953 out tokens · 23721 ms · 2026-05-24T14:30:00.003658+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.