pith. sign in

arxiv: 2605.24923 · v2 · pith:CVOIONDCnew · submitted 2026-05-24 · 🪐 quant-ph · math.FA

Singularising preserving countable additivity quantum channels on quantum measurable cardinals

Sviatoslav V. Dzhenzher This is my paper

Pith reviewed 2026-06-30 01:10 UTC · model grok-4.3

classification 🪐 quant-ph math.FA
keywords quantum channelsvon Neumann algebrasσ-additivitysingular statesUlam measurable cardinalsPettis integralYosida-Hewitt decompositionCesàro averages
0
0 comments X

The pith

Quantum channels induced by Pettis averaging over operator groups can map normal states to singular yet strictly σ-additive states when the space admits a Ulam real-valued measurable cardinal.

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

The paper establishes a sufficient condition, via the Yosida-Hewitt decomposition, under which averaging quantum channels preserve σ-additivity while completely suppressing the normal component of any input state. This produces the phenomenon that normal states are transformed into singular yet strictly σ-additive states. A reader would care because the construction ties the topological character of quantum states directly to set-theoretic properties of the underlying space, specifically the existence of Ulam real-valued measurable cardinals. The work further derives cardinality constraints on purity preservation and shows convergence of Cesàro averages for invariant measures under unitary representations.

Core claim

Using the Pettis integral to average over operator groups on von Neumann algebras, and invoking the Yosida-Hewitt decomposition, the paper proves that when the underlying space admits a Ulam real-valued measurable cardinal, the resulting channel suppresses the normal part of every incoming state while preserving strict σ-additivity, thereby producing singular σ-additive output states from normal inputs. The same framework yields structural limits on purity preservation imposed by the cardinality of the continuum and establishes strong-operator-topology convergence of Cesàro averages for invariant measures on groups and their unitary representations.

What carries the argument

Pettis-integral averaging over operator groups, combined with the Yosida-Hewitt decomposition, on spaces admitting Ulam real-valued measurable cardinals.

If this is right

  • The channel completely suppresses the normal component of any incoming state.
  • σ-additivity of the output state is strictly preserved.
  • The cardinality of the continuum imposes concrete structural constraints on whether state purity can be preserved.
  • Cesàro averages of invariant measures converge in the strong operator topology for the associated unitary representations.

Where Pith is reading between the lines

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

  • The result indicates that certain distinctions between normal and singular states in quantum theory can be forced by large-cardinal assumptions rather than by the algebra structure alone.
  • It opens the possibility of exploring whether other quantum information primitives, such as entanglement or channel capacities, acquire new behaviors under the same set-theoretic hypotheses.
  • One could investigate whether the singularising property persists when the averaging is performed with respect to different topologies or when the group is replaced by a semigroup.

Load-bearing premise

The underlying space admits a Ulam real-valued measurable cardinal, which is required for the decomposition to suppress the normal component while keeping σ-additivity intact.

What would settle it

An explicit construction, inside a model of set theory without Ulam real-valued measurable cardinals, of a Pettis-averaged channel that fails to suppress the normal component of some normal input state while still preserving σ-additivity.

read the original abstract

We investigate the structural and dynamical properties of a class of quantum channels on von Neumann algebras induced by averaging over operator groups via the Pettis integral. Utilizing the classical Yosida--Hewitt decomposition, we focus on the interplay between the set-theoretic properties of the underlying space and the topological nature of the resulting quantum states. We establish a suffucient condition under which a channel preserves $\sigma$-additivity and exhibits a singularising property, completely suppressing the normal component of any incoming state. In conjunction with the theory of Ulam real-valued measurable cardinals, this framework reveals a novel phenomenon: the existence of quantum channels that transform normal states into singular yet strictly $\sigma$-additive states. Furthermore, we analyze the structural constraints on the preservation of state purity imposed by the cardinality of the continuum, and extend our constructions to invariant measures on groups and their unitary representations, establishing the convergence of their Ces\`aro averages in the strong operator topology.

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

1 major / 2 minor

Summary. The manuscript claims to construct quantum channels on von Neumann algebras by averaging over operator groups via the Pettis integral. Using the Yosida-Hewitt decomposition together with the assumption of Ulam real-valued measurable cardinals, it asserts a sufficient condition under which these channels preserve σ-additivity while suppressing the normal component of any input state, thereby mapping normal states to singular yet strictly σ-additive states. The paper further analyzes constraints on state purity imposed by the cardinality of the continuum and establishes strong-operator-topology convergence of Cesàro averages for invariant measures and unitary representations.

Significance. If the central construction is valid, the work would demonstrate a direct link between large-cardinal set-theoretic assumptions and the existence of singularising yet countably additive quantum channels. This could supply new examples of non-normal states that remain σ-additive, with potential implications for the structure of state spaces on infinite-dimensional von Neumann algebras. The explicit use of Pettis integrals for group averaging is a technical feature that, if rigorously justified, strengthens the result.

major comments (1)
  1. [Abstract / main construction] The central claim (abstract and implied main result) that Pettis averaging produces a state whose Yosida-Hewitt normal part vanishes while the singular part remains strictly σ-additive requires that the classical decomposition commutes with the integral and extends verbatim to states on von Neumann algebras. No explicit verification is supplied that the integral of a group representation preserves countable additivity on the predual or that the decomposition applies in the non-commutative setting rather than only to classical finitely additive measures.
minor comments (2)
  1. [Abstract] Typo: 'suffucient' should read 'sufficient'.
  2. [Title] The title is grammatically unclear ('Singularising preserving countable additivity...'); consider rephrasing for precision.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting this important point regarding the justification of the central construction. We address the comment below.

read point-by-point responses

  1. Referee: [Abstract / main construction] The central claim (abstract and implied main result) that Pettis averaging produces a state whose Yosida-Hewitt normal part vanishes while the singular part remains strictly σ-additive requires that the classical decomposition commutes with the integral and extends verbatim to states on von Neumann algebras. No explicit verification is supplied that the integral of a group representation preserves countable additivity on the predual or that the decomposition applies in the non-commutative setting rather than only to classical finitely additive measures.

    Authors: We agree that the manuscript does not supply an explicit verification that the Pettis integral commutes with the Yosida-Hewitt decomposition or that the decomposition extends directly to the non-commutative setting of states on von Neumann algebras. The construction relies on applying the classical decomposition to the averaged state, but the required properties of countable additivity preservation on the predual are not proved in detail. In the revised version we will add a dedicated subsection establishing these facts, using standard results on Pettis integration in the dual of a von Neumann algebra and the fact that the normal states form a closed subspace of the predual. revision: yes

Circularity Check

0 steps flagged

No circularity; result conditional on external set-theoretic and classical analytic inputs

full rationale

The paper derives the existence of singularising yet σ-additive quantum channels by invoking the classical Yosida-Hewitt decomposition together with the external hypothesis of Ulam real-valued measurable cardinals. No equations, fitted parameters, or self-citations are exhibited that would reduce the claimed output to the input by construction. The derivation therefore remains non-circular and self-contained against independent mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central existence claim is conditioned on the existence of Ulam real-valued measurable cardinals, which is a non-standard set-theoretic axiom not provable in ZFC. No free parameters or invented entities are visible in the abstract.

axioms (1)
  • domain assumption Existence of a Ulam real-valued measurable cardinal on the underlying space
    Invoked to guarantee that the averaged channel suppresses the normal component while preserving σ-additivity via the Yosida-Hewitt decomposition.

pith-pipeline@v0.9.1-grok · 5697 in / 1426 out tokens · 28315 ms · 2026-06-30T01:10:57.335347+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

16 extracted references · 9 canonical work pages

  1. [1]

    Scott Armstrong, ed.Expert Opinions in Forecasting: The Role of the Delphi Technique

    M. Takesaki. “Conjugate Spaces”. In:Theory of Operator Algebras I. Ed. by M. Takesaki. New York, NY: Springer New York, 1979, pp. 101–180.isbn: 978-1-4612-6188-9.doi:10.1007/978- 1- 4612- 6188-9_3

    work page doi:10.1007/978- 1979

  2. [2]

    The dual space of an operator algebra

    C. A. Akemann. “The dual space of an operator algebra”. In:Transactions of the American Mathe- matical Society126.2 (1967), pp. 286–302.doi:10.2307/1994455

    work page doi:10.2307/1994455 1967

  3. [3]

    Onanalogsofspectraldecompositionofaquantumstate

    G.G.AmosovandV.Z.Sakbaev.“Onanalogsofspectraldecompositionofaquantumstate”.In:Math- ematical Notes93.3 (Mar. 2013), pp. 351–359.issn: 1573-8876.doi:10.1134/S0001434613030012

    work page doi:10.1134/s0001434613030012 2013

  4. [4]

    Set theory and operator algebras

    I. Farah and E. Wofsey. “Set theory and operator algebras”. In:London Math. Soc. Lecture Note Series 406 (2012), pp. 63–120

    2012

  5. [5]

    On Extreme Points of Sets in Operator Spaces and State Spaces

    G. G. Amosov, A. M. Bikchentaev, and V. Z. Sakbaev. “On Extreme Points of Sets in Operator Spaces and State Spaces”. In:Proceedings of the Steklov Institute of Mathematics324.1 (Mar. 2024), pp. 4–17. issn: 1531-8605.doi:10.1134/S0081543824010024

    work page doi:10.1134/s0081543824010024 2024

  6. [6]

    Ondynamicsofquantumstatesgeneratedbyaveragingofrandomshifts

    G.AmosovandV.Sakbaev.“Ondynamicsofquantumstatesgeneratedbyaveragingofrandomshifts”. In:Advances in Operator Theory10.3 (Apr. 2025), p. 51.issn: 2538-225X.doi:10.1007/s43036- 025-00440-2

    work page doi:10.1007/s43036- 2025

  7. [7]

    Dynamics of singular quantum states generated by averaging of random shifts

    V. M. Busovikov and V. Zh. Sakbaev. “Dynamics of singular quantum states generated by averaging of random shifts”. In:Comput. Math. and Math. Phys. (accepted)(2026)

    2026

  8. [8]

    Finitely Additive Measures

    K. Yosida and E. Hewitt. “Finitely Additive Measures”. In:Trans. American Math. Society72.1 (1952), pp. 46–66.issn: 00029947, 10886850.doi:10.1090/S0002- 9947- 1952- 0045194- X.url: http://www.jstor.org/stable/1990654

    work page doi:10.1090/s0002- 1952

  9. [9]

    Banachandcountingmeasures, anddynamics of singular quantum states generated by averaging of operator random walks

    E. A.Dzhenzher,S. V.Dzhenzher,and V.Zh.Sakbaev. “Banachandcountingmeasures, anddynamics of singular quantum states generated by averaging of operator random walks”. In:Lobachevskii J Math (accepted)(2026)

    2026

  10. [10]

    Quantum channels preserving sigma-additivity and Ulam measurable cardinals

    S. V. Dzhenzher. “Quantum channels preserving sigma-additivity and Ulam measurable cardinals”. In:MTSC (accepted, in Russian)(2026). English version: arXiv:2604.25854. 14

    Pith/arXiv arXiv 2026

  11. [11]

    Measurable Cardinals

    T. J. Jech. “Measurable Cardinals”. In:Set Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003, pp. 125–138.isbn: 978-3-540-44761-0.doi:10.1007/3-540-44761-X_10

    work page doi:10.1007/3-540-44761-x_10 2003

  12. [12]

    Quantum measurable cardinals

    D. P. Blecher and N. Weaver. “Quantum measurable cardinals”. In:Journal of Functional Analysis 273.5 (2017), pp. 1870–1890.issn: 0022-1236.doi:10.1016/j.jfa.2017.05.006

    work page doi:10.1016/j.jfa.2017.05.006 2017

  13. [13]

    Excising States of C*-Algebras

    C. A. Akemann, J. Anderson, and G. K. Pedersen. “Excising States of C*-Algebras”. In:Canadian J. of Math.38.5 (1986), pp. 1239–1260.doi:10.4153/CJM-1986-063-7

    work page doi:10.4153/cjm-1986-063-7 1986

  14. [14]

    Rudin.Functional Analysis

    W. Rudin.Functional Analysis. International series in pure and applied mathematics. McGraw-Hill, 1991.isbn: 9780070542365.url:https://books.google.ru/books?id=Sh_vAAAAMAAJ

    1991

  15. [15]

    Operator-Theoretical Treatment of Markoff’s Process and Mean Ergodic Theorem

    K. Yosida and S. Kakutani. “Operator-Theoretical Treatment of Markoff’s Process and Mean Ergodic Theorem”. In:Annals of Mathematics42.1 (1941), pp. 188–228.issn: 0003486X, 19398980.doi:10. 2307/1968993. (Visited on 05/18/2026)

    1941

  16. [16]

    Dunford and J

    N. Dunford and J. Schwartz.Linear Operators. Part 1. General Theory. Pure and Applied Mathe- matics. Interscience Publ., 1958.url:https://books.google.ru/books?id=x94XzQEACAAJ

    1958