Source authenticated

Small spatial embeddings for one-sided near inclusions of von Neumann algebras

Theorem 1.1: there are ε0>0\varepsilon_0>0 and pairs of von Neumann algebras on separable Hilbert spaces with common identity and γ(Mn,Nn)→0\gamma(M_n,N_n)\to0 for which spatial embeddings exist but every implementing unitary satisfies ∥u−1∥≥ε0\|u-1\|\ge\varepsilon_0. So the unrestricted one-sided question has a negative answer, in contrast with Christensen's injective case and with the two-sided strong Kadison-Kastler theorem in the same family. The obstruction is to small unitaries, not to the existence of embeddings.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Oct 5, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Small spatial embeddings for one-sided near inclusions of von Neumann algebras · Near-inclusion embedding question

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Theorem 1.1: there are ε0>0\varepsilon_0>0 and pairs of von Neumann algebras on separable Hilbert spaces with common identity and γ(Mn,Nn)→0\gamma(M_n,N_n)\to0 for which spatial embeddings exist but every implementing unitary satisfies ∥u−1∥≥ε0\|u-1\|\ge\varepsilon_0. So the unrestricted one-sided question has a negative answer, in contrast with Christensen's injective case and with the two-sided strong Kadison-Kastler theorem in the same family. The obstruction is to small unitaries, not to the existence of embeddings. parent of this event

This event attributed to Unreleased internal OpenAI model

Small spatial embeddings for one-sided near inclusions of von Neumann algebras parent of this event

VibeMathed record: Small spatial embeddings for one-sided near inclusions of von Neumann algebras evidence for this event

Universal strong Kadison-Kastler stability evidence for this event

Small spatial embeddings for one-sided near inclusions of von Neumann algebras evidence for this event

Act on this frontier

Verify, challenge, or extend the result.