Quantum channels preserving sigma-additivity and Ulam measurable cardinals

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

• The paper proves that singular σ-additive quantum states exist if and only if the underlying cardinal is Ulam measurable, using Pettis integral representations.
• It constructs explicit quantum channels using σ-complete ultrafilters to map normal states into singular, information-archiving outcomes.
• The study bridges operator algebras with set theory, highlighting the impact of large cardinal axioms on quantum state dynamics.

Sigma-Additivity, Singular Quantum States, and Ulam Measurable Cardinals

Introduction and Context

This paper analyzes the foundational interplay between quantum state theory on the Hilbert space $\ell_2(\kappa)$ and the set-theoretic properties of the cardinal $\kappa$, focusing on the emergence and structural properties of singular $\sigma$-additive quantum states. The investigation is situated at the intersection of operator algebras, infinite-dimensional quantum theory, and large cardinal axioms in set theory. Traditionally, normal states on $B(H)$ are uniquely characterized by trace-class representations and correspond to $\sigma$-additive measures with countable support. Conversely, singular states are those which vanish on all compact operators—a class intimately tied to foundational questions regarding the underlying set theory.

The central thrust of the paper is to rigorously connect the existence and representation of singular $\sigma$-additive states to the existence of Ulam measurable cardinals, providing both structural and dynamical analysis, including the explicit construction of quantum channels that map normal states to singular $\sigma$-additive states via $\sigma$-complete ultrafilters.

Measurability in Large Cardinal Theory

The work builds on the set-theoretic characterization of measurable and Ulam measurable cardinals. For an uncountable cardinal $\kappa$, a two-valued, non-principal, $\sigma$-additive measure vanishing on singletons exists if and only if $\kappa$0 is Ulam measurable. Such measures are associated with $\kappa$1-complete non-principal ultrafilters. This set-theoretic property is essential: in the absence of Ulam measurable cardinals (which requires extending ordinary ZFC with large cardinal axioms), no singular $\kappa$2-additive quantum states exist. The paper provides an explicit summary of the lattice of large cardinal properties relevant for quantum state theory, restating that measurable, real-valued measurable, Ulam measurable, and Ulam real-valued measurable are strictly nested (and increasingly restrictive) notions.

Pettis Representability and Singular Sigma-Additive States

A key technical achievement in this work is the extension of the Pettis integral representation from the separable (countable) to the nonseparable case parameterized by a measurable cardinal $\kappa$3. The author demonstrates that any quantum state (i.e., a positive unital linear functional on the diagonal algebra $\kappa$4) can be written as a Pettis integral over the pure state space, with the representing measure induced by the state itself.

Critically, the paper establishes:

• Singular $\kappa$5-additive states are precisely those given by Pettis integrals over $\kappa$6-additive measures vanishing on singletons. Conversely, such measures yield only singular states.
• The existence of singular $\kappa$7-additive states coincides with $\kappa$8 being Ulam measurable (via deep results in [Blecher and Weaver]).

This result shows that the measure-theoretic decomposition of states, which is classical in the normal sector, extends with full rigor to the singular sector provided the set-theoretic environment supports non-principal $\kappa$9-additive measures—i.e., when $\sigma$0 is Ulam measurable.

Quantum Channels via Sigma-Complete Ultrafilters

The construction of quantum channels using shift operators and $\sigma$1-complete ultrafilters is notable. The paper defines a family of quantum channels $\sigma$2 (indexed by a $\sigma$3-complete non-principal ultrafilter $\sigma$4 on $\sigma$5) that, for each quantum state $\sigma$6, produces a singular $\sigma$7-additive outcome. This process is interpreted as an "archiving" mechanism: applying $\sigma$8 to any normal state collapses all physically accessible information into one singular $\sigma$9-additive pure state determined by $B(H)$0, which remains invariant under the channel.

Formally:

• $B(H)$1 maps all normal states to a unique singular $B(H)$2-additive pure state constructed from $B(H)$3.
• The channel preserves $B(H)$4-additivity and singularity. That is, it does not map singular $B(H)$5-additive states to non-singular ones, nor does it destroy $B(H)$6-additivity.

This channel manifests a new dynamical mechanism: an explicit, positive, unital, completely positive map that passes from the "observable" normal sector to the "hidden" singular sector, contingent on the large cardinal structure of the underlying set theory.

Implications and Prospects

This work clarifies that the boundary between normal and singular state sectors in infinite quantum systems is not merely technical, but is determined by deep set-theoretic facts external to the algebraic properties of quantum observables themselves. Specifically, the existence of singular $B(H)$7-additive quantum states (and corresponding channels) cannot be argued from standard ZFC and instead depends on large cardinal axioms.

The explicit Pettis representation theorem for the singular sector and the construction of information-archiving quantum channels provide new tools for understanding the structure and dynamics of quantum information in spaces of very large cardinality, with potential repercussions for the classification of operator algebras, quantum probability, and the mathematical formalization of quantum information vaults inaccessible to finite quantum measurements.

From a set-theoretic perspective, these results further cement the interface between operator algebraic phenomena and foundational assumptions in mathematics—implying that certain quantum mechanical behaviors are possible only within models of set theory admitting large cardinals.

The paper identifies an open problem: extending the representability and dynamical framework beyond diagonal algebras to the full bounded operator algebra $B(H)$8. Here, non-atomic measures cannot be induced by the analogue of the pure vector state decomposition, an obstruction that suggests further analysis is likely to encounter additional set-theoretic subtleties.

Conclusion

The paper rigorously characterizes the existence, structure, and dynamics of singular $B(H)$9-additive states tied to Ulam measurable cardinals. It establishes that the measure-theoretic backbone of quantum state representation via the Pettis integral extends to the singular sector only under strong set-theoretic assumptions. The construction of quantum channels that systematically archive all normal state information into singular $\sigma$0-additive outcomes provides both analytical insight and new dynamical phenomena within the theory of infinite quantum systems. The outlined extension problems for the full operator algebra $\sigma$1 highlight the potential depth of the interplay between set theory and operator algebras in quantum foundations.