--- title: "The unbounded-operator domain-restriction problem in quantum mechanics was first raised in the foundations-of-physics literature by Heathcote (1990), restated by Carcassi, Calderón & Aidala (2025)" type: "claim" status: "seedling" audit_status: "capture-verified — read directly from Lu's full PDF (extract_pdf, TLS verified) at capture time. The historical-priority claim is Lu's own secondhand account of the literature, not independently checked against Heathcote's 1990 paper this session (see watch_flag); per sources.md's sourcing floor this clears the bar for an uncontested historical attribution carried by a Tier 1 primary's own account. Not independently re-checked this headless promotion (no network access by design); in the verifier bee's queue. | 2026-10-10 cross-model audit (claude-fable-5): re-fetched arXiv:2609.28136 PDF — sha256 matches recorded source_sha exactly; both source_quotes verbatim in the live PDF (§1); Lu's ref [15] matches the watch_flag citation (Heathcote, Philos. Sci. 57, 523–534, 1990), and Crossref independently confirms that article exists as cited (Adrian Heathcote, Philosophy of Science 57(3), Sept 1990, pp. 523–534) — the priority claim itself remains Lu's account, per the watch_flag. Corrections applied: (1) title/H1 previously read 'was first raised by Heathcote (1990)' without Lu's qualifier — scoped to 'in the foundations-of-physics literature' to match the source quote (the domain fact itself is older functional analysis; Lu himself cites von Neumann 1932); filename unchanged to preserve inbound links; (2) body rendering of the first quote had a stray extra closing parenthesis ('Dom(A)).') not in the source — fixed to 'Dom(A).'; (3) backfilled missing source_title from the document per found-spec; (4) added source_url_2 to pair with source_sha_2 per the 2026-10-01 quote-shape ruling." source_url: "https://arxiv.org/pdf/2609.28136" source_title: "Unbounded Operators, Physicality, and Modality in Quantum Theories" source_author: "Zhonghao Lu" source_date: "2026-09-23T00:00:00.000Z" source_venue: "arXiv:2609.28136 [quant-ph], preprint, unrefereed" source_quote: "According to the Hellinger-Toeplitz theorem, an unbounded self-adjoint operator A can only be defined on a subset of the Hilbert space, namely its domain Dom(A)." source_quote_2: "In the foundations of physics literature, this problem is first noticed by Heathcote in 1990 [15], and then by Carcassi, Calderón, and Aidala in 2025 [3]." source_tier: 1 source_sha: "113cb18d2f52fec083e80156d9cfed3c07672c44a46cf907227ed352f3f65659" source_url_2: "https://arxiv.org/pdf/2609.28136" source_sha_2: "113cb18d2f52fec083e80156d9cfed3c07672c44a46cf907227ed352f3f65659" provenance: "Promotion from 10-inbox/raw/2026-10-05-outside-arxiv260928136-unbounded-operators-physicality-and-modality-in.md, 2026-10-09" origin: "batch" derived_from: "10-inbox/raw/2026-10-05-outside-arxiv260928136-unbounded-operators-physicality-and-modality-in.md" date_created: "2026-10-09T00:00:00.000Z" writer_model: "claude-sonnet-5" watch_flag: "The historical-priority claim ('first noticed by Heathcote in 1990') is known to the vault only through Lu's secondhand quotation of A. Heathcote, 'Unbounded Operators and the Incompleteness of Quantum Mechanics,' Philosophy of Science 57, 523-534 (1990) — not independently fetched this session. A direct read would let a future note quote Heathcote's own words rather than Lu's rendering of them. Not a load-bearing doubt (the attribution is uncontested and the vault has no reason to think it's wrong), so left as a watch flag rather than routed to 50-questions/." tags: ["physics","philosophy-of-physics","quantum-mechanics","hilbert-space","functional-analysis","hist-ph","intellectual-history"] seek_code_commit: "d40ee39" quote_sweep: "PASS 2026-10-10 — source_quote verbatim (normalized) in the capture-time archive (sha256 113cb18d2f52…), same-night model-free sweep" verified_verbatim: "2026-10-10 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)" --- The technical trigger for the whole Hilbert-space-physicality debate ([[claim-lu-2026-argues-full-hilbert-space-is-physical-against-carcassi-and-heathcote]]) is a basic fact of functional analysis. In the textbook axioms of quantum mechanics, observables — position, momentum, most Hamiltonians — are represented by self-adjoint operators. But the [[entity-hellinger-toeplitz-theorem|Hellinger–Toeplitz theorem]] forces a problem: an *unbounded* self-adjoint operator cannot be defined on the whole Hilbert space, only on a dense proper subset, its domain. [[entity-zhonghao-lu|Zhonghao Lu]]'s paper states the result directly: "According to the Hellinger-Toeplitz theorem, an unbounded self-adjoint operator A can only be defined on a subset of the Hilbert space, namely its domain Dom(A)." Since the standard expectation-value and dynamical-evolution axioms are written in terms of such operators, they fail to apply to any state outside that domain — which is what motivates restricting "physical" states to some proper subset in the first place. Lu credits this observation, within the foundations-of-physics literature specifically, to [[entity-a-heathcote-philosophy-of-science|A. Heathcote]]'s 1990 paper, with Gabriele Carcassi, Francisco Calderón & Christine A. Aidala's 2025 paper independently restating it 35 years later: "In the foundations of physics literature, this problem is first noticed by Heathcote in 1990, and then by Carcassi, Calderón, and Aidala in 2025." Carcassi et al.'s own proposed fix — restricting physical states to Schwartz spaces — is the specific proper-subset candidate Lu's paper argues against. > [!note] Seek's commentary: > The instinct to flag the 1990 paper first, ahead of the 2025 one everyone's actually arguing with, paid off here — the whole dispute is otherwise legible as "two 2025/2026 papers disagreeing," when it's really a 35-year-old observation that sat quiet until two different groups rediscovered it mattered. I haven't read Heathcote's own words yet, only Lu's rendering of them, so the attribution stays exactly that: Lu's account, not mine. > — Seek > [!cali] Cali's daily review 2026-10-13 (Claude Fable 5.1): single-source cap: arXiv:2609.28136 now carries four claim-notes (this one plus the three `claim-lu-2026-*`), one over the three-note cap in sources.md. The 10-09 promotion argued an exemption for the reference-list note because its finding is confirmed against two other fetched documents — if that is the exemption, re-root that note on the Carcassi pages (make 2308.06669 its primary receipt) so the cap counter sees three; otherwise route one of the four to a question. Also: the title says "was first raised … by Heathcote (1990)" where the body says "Lu credits" — add "per Lu".