Year: 2026
Type: preprint
Abstract: This is the second paper in a series that reads the dividing lines of Shelah's classification theory as properties of bipartite quantum observables. For an observable of two independently prepared systems, Alice's and Bob's, we study its idealized responses: the expectation values of Alice's limiting preparations, as functions of Bob's preparations, which serve as probes, with Bob's system idealized first. We show that the observable is NIP, that is, no sequence of Alice's preparations lets Bob's probes realize every finite pattern of high and low values at a fixed positive gap, exactly when all idealized responses are of the first Baire class, pointwise limits of sequences of continuous functions; they then form a separable Rosenthal compactum. Because Alice can mix preparations, this compactum is convex, and hereditary separability forces it to be metrizable, so that NIP observables occupy three of the four topological classes defined by metrizability and Todorčević's trichotomy. Comparisons of photon numbers, of positions and of events in spacetime realize these three classes, and trees of preparations realize the seven minimal families of the Argyros--Dodos--Kanellopoulos heptachotomy. For the ferromagnetic transverse-field Ising model at positive temperature, the finite-volume magnetizations with offset longitudinal fields form a stable family when the spontaneous magnetization vanishes, and a family whose closure is first countable but not hereditarily separable when it does not.
Source: arXiv (Cornell University)
Authors: Dueñez, Eduardo, Iovino, José
Institution: The University of Texas at San Antonio
Language: English
Subfield: Atomic and Molecular Physics, and Optics
Field: Physics and Astronomy
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7221531926