arxiv: 2604.25854 · v2 · submitted 2026-04-28 · 🪐 quant-ph · math.FA

Recognition: no theorem link

Quantum channels preserving sigma-additivity and Ulam measurable cardinals

S. V. Dzhenzher

Authors on Pith no claims yet

Pith reviewed 2026-05-15 06:17 UTC · model grok-4.3

classification 🪐 quant-ph math.FA

keywords quantum channelssingular statessigma-additive statesUlam measurable cardinalsPettis integralsigma-complete ultrafiltersnormal statesdiagonal algebra

0 comments

The pith

When the Hilbert space dimension is an Ulam measurable cardinal, quantum channels built from σ-complete ultrafilters map normal states to singular σ-additive states.

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

The paper establishes that singular σ-additive states on the diagonal algebra of operators on ℓ₂(κ) exist precisely when κ is Ulam measurable. It proves these states admit a Pettis-integral representation over singular measures. From this foundation the authors construct explicit quantum channels, again using σ-complete ultrafilters, that send ordinary normal states into the singular sector while preserving σ-additivity. A reader cares because the construction shows how information can be moved out of the normal state space into a sector that ignores individual basis vectors yet remains countably additive. The result therefore links the existence of certain quantum channels directly to a set-theoretic property of the dimension.

Core claim

Any σ-additive state on the diagonal algebra is representable as a Pettis integral over a singular σ-additive measure. Using σ-complete ultrafilters one can then define quantum channels that take normal states on ℓ₂(κ) and produce singular σ-additive states, thereby archiving the information of the original state inside the singular part of the state space.

What carries the argument

σ-complete ultrafilters on κ that induce completely positive trace-preserving maps sending normal states to singular σ-additive states.

If this is right

Normal states can be transformed into singular σ-additive states while keeping countable additivity.
Information originally carried by vector states or density operators can be stored in measures that vanish on singletons.
The Pettis-integral representation extends classical results from the normal sector to the singular sector.
Quantum channel theory acquires a direct dependence on the set-theoretic character of the underlying cardinal.

Where Pith is reading between the lines

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

The construction supplies a concrete mechanism for moving quantum information into a sector invisible to finite-rank projections, which may matter for models of infinite-dimensional systems.
If Ulam measurable cardinals are assumed in some foundational framework, these channels offer a way to realize non-normal dynamics without leaving the category of σ-additive functionals.
Approximations of the construction on large but finite dimensions could be tested numerically to see how singular-like behavior emerges before the cardinal threshold.

Load-bearing premise

The cardinal κ must be Ulam measurable so that singular σ-additive states and σ-complete ultrafilters exist.

What would settle it

An explicit computation showing that the map induced by any σ-complete ultrafilter on a Ulam measurable κ fails to be completely positive or fails to preserve σ-additivity would falsify the channel construction.

Figures

Figures reproduced from arXiv: 2604.25854 by S. V. Dzhenzher.

**Figure 1.** Figure 1: Obvious relations between measurability of caridinals. MC is measurable cardinal. UMC is Ulam measurable cardinal. RVMC is real-valued measurable cardinal. URVMC is Ulam real-valued measurable cardinal • real-valued measurable if there exists a < κ-additive probability measure P(κ) → [ 0, 1 ] that vanishes on singletons; • Ulam measurable, if there exists a σ-additive two-valued measure P(κ) → {0, 1} that … view at source ↗

read the original abstract

This paper investigates the interplay between the properties of quantum states on the Hilbert space $\ell_2(\kappa)$ and the set-theoretic nature of the cardinal $\kappa$. We focus on the existence of singular $\sigma$-additive states~ -- functionals whose induced measures are $\sigma$-additive yet vanish on singletons. While the existence of such states is known to be equivalent to the Ulam measurability of $\kappa$, their structural and dynamical properties remain largely unexplored. We prove that any $\sigma$-additive state on the diagonal algebra is representable as a Pettis integral over a singular $\sigma$-additive measure, extending the classical representation theory to the non-normal sector. Furthermore, we construct a class of quantum channels using $\sigma$-complete ultrafilters that map normal states to singular $\sigma$-additive states, effectively <<archiving>> information into the singular part of the state space.

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.

Desk Editor's Note private letter to a colleague

The paper constructs quantum channels via σ-complete ultrafilters that map normal states to singular σ-additive ones on B(ℓ₂(κ)), but the whole thing requires Ulam-measurable κ and adds little without that hypothesis.

read the letter

The core contribution is the explicit use of σ-complete ultrafilters to define channels that send normal states on the diagonal algebra to singular σ-additive states, together with a Pettis-integral representation for any σ-additive state in the non-normal sector. This extends standard representation results beyond the normal case and gives a concrete way to move information into the singular part when the cardinal allows it. The abstract presents these as new, and nothing in the cited prior work contradicts that claim. The constructions look formally grounded in functional analysis and ultrafilter properties once the large-cardinal assumption is granted. The main limitation is that both the representation and the channel maps exist only when κ is Ulam measurable; in models without such cardinals the singular sector is empty and the results are vacuous. That assumption is not hidden, but it means the paper explores a conditional regime rather than delivering unconditional theorems about quantum channels. The proofs are not shown in the abstract, so the referee would need to verify that the ultrafilter-based maps are completely positive and trace-preserving and that the Pettis integral actually reproduces the states. No circularity appears; the argument relies on known equivalences between singular σ-additive states and Ulam measurability plus ordinary Pettis integration. This is a specialized piece for readers already working at the quantum-information/set-theory boundary. It is worth sending to peer review so the details can be checked, but it is unlikely to affect mainstream quantum channel theory unless the large-cardinal hypothesis is relaxed or shown to be necessary in some physical sense.

Referee Report

1 major / 1 minor

Summary. The paper investigates the interplay between quantum states on the Hilbert space ℓ₂(κ) and the set-theoretic properties of the cardinal κ. It focuses on singular σ-additive states (whose existence is equivalent to Ulam measurability of κ), proves that any σ-additive state on the diagonal algebra is representable as a Pettis integral over a singular σ-additive measure, and constructs quantum channels via σ-complete ultrafilters that map normal states to singular σ-additive states, thereby archiving information into the singular sector of the state space.

Significance. If the proofs hold, the work establishes a concrete bridge between quantum channel theory and set theory by using large-cardinal assumptions to define channels that preserve σ-additivity while shifting states out of the normal sector. This offers a formal mechanism for 'archiving' information in non-normal states and extends classical representation results to the singular regime, which could inform studies of infinite-dimensional quantum systems under non-standard set-theoretic hypotheses. The results remain conditional on the existence of Ulam measurable cardinals, limiting direct applicability within ZFC alone.

major comments (1)

[construction of quantum channels] The headline construction of quantum channels via σ-complete ultrafilters on κ (which map normal states to singular σ-additive states) is defined only when such ultrafilters exist, i.e., precisely when κ is Ulam measurable. In ZFC models without Ulam measurable cardinals (e.g., V=L), the singular sector is empty, so neither the representation nor the channel map can be defined. This assumption is load-bearing for both main claims and must be stated explicitly as the scope of the theorems.

minor comments (1)

[Abstract] The abstract asserts the two main theorems without derivation steps or theorem numbering; the body should include explicit theorem statements with clear references to the Pettis-integral representation and the ultrafilter channel map.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the importance of making the set-theoretic assumptions explicit. We agree that the scope of the results must be stated clearly as conditional on the existence of Ulam measurable cardinals.

read point-by-point responses

Referee: The headline construction of quantum channels via σ-complete ultrafilters on κ (which map normal states to singular σ-additive states) is defined only when such ultrafilters exist, i.e., precisely when κ is Ulam measurable. In ZFC models without Ulam measurable cardinals (e.g., V=L), the singular sector is empty, so neither the representation nor the channel map can be defined. This assumption is load-bearing for both main claims and must be stated explicitly as the scope of the theorems.

Authors: We agree that the dependence on Ulam measurability is load-bearing and must be stated explicitly. While the abstract already notes the equivalence between singular σ-additive states and Ulam measurability of κ, we will revise the introduction, the statements of Theorems 3.1 and 4.2, and the concluding remarks to declare at the outset that all main results assume the existence of a σ-complete ultrafilter on κ (equivalently, that κ is Ulam measurable). We will also add a brief remark clarifying that in ZFC models without such cardinals (such as V=L) the singular sector is empty and the constructions do not apply. This revision makes the conditional scope transparent without altering the technical content. revision: yes

Circularity Check

0 steps flagged

No circularity; claims conditional on external Ulam-measurability assumption from set theory

full rationale

The paper states that existence of singular σ-additive states on B(ℓ₂(κ)) is equivalent to Ulam measurability of κ (a known external fact from set theory, not derived here). Under this hypothesis it proves a Pettis-integral representation for σ-additive states on the diagonal algebra and constructs channels via σ-complete ultrafilters. These steps use standard functional-analytic tools and do not reduce any target quantity to a fitted parameter, self-defined object, or self-citation chain by construction. The entire development is explicitly conditional on the independent cardinal assumption; in models without Ulam-measurable cardinals the objects simply do not exist, which is a limitation of scope rather than circularity. No load-bearing self-citation or renaming of known results occurs.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claims rest on the set-theoretic assumption that κ is Ulam measurable, which is treated as an external hypothesis rather than derived inside the paper.

axioms (3)

domain assumption Existence of singular σ-additive states on ℓ₂(κ) is equivalent to Ulam measurability of κ
Invoked as the known background condition that enables both the representation theorem and the channel construction.
domain assumption σ-complete ultrafilters exist on Ulam-measurable cardinals
Used directly to define the quantum channels that map normal states to singular ones.
standard math Standard properties of Pettis integrals and diagonal algebras hold in the non-normal sector
Background functional-analysis facts required for the representation result.

pith-pipeline@v0.9.0 · 5454 in / 1567 out tokens · 59892 ms · 2026-05-15T06:17:03.599954+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

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
[2]

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
[3]

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
[4]

Universal boundary value problem for equations of mathematical physics

I. V. Volovich and V. Zh. Sakbaev. “Universal boundary value problem for equations of mathematical physics”. In:Proc. Steklov Inst. Math.285 (2014), pp. 56–80.doi:10.1134/S0081543814040063

work page doi:10.1134/s0081543814040063 2014
[5]

On quantum dynamics onC∗-algebras

I. V. Volovich and V. Zh. Sakbaev. “On quantum dynamics onC∗-algebras”. In:Proc. of the Steklov Institute of Math.301.1 (July 2018), pp. 25–38.doi:10.1134/S008154381804003X

work page doi:10.1134/s008154381804003x 2018
[6]

Diffusion of quantum states generated by a classical random walk

Yu. N. Orlov and V. Zh. Sakbaev. “Diffusion of quantum states generated by a classical random walk”. In:CMFD71.2 (2025).http://mi.mathnet.ru/cmfd589,https://elibrary.ru/NEHHXZ, pp. 275– 286

work page 2025
[7]

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)

work page 2026
[8]

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
[9]

Measurable Cardinals

“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
[10]

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

work page 1958