Work

Bayesian Normalization and Finite Readout Contracts in RAY/QCESGE: Scoped Results and Saved Proof Provenance

Year: 2026

Type: article

Abstract: How can probability updates and finite readouts remain mathematically consistent without implying that an entire measurement architecture is verified? This paper presents bounded results on Bayesian normalization, quadratic positivity, coherence bounds and orthogonal readout normalization. Readable mathematical arguments and four formal proof bodies accompany a route-separated account of saved native admissions, explicit external Lean acceptance and later native follow-ups. Rejected controls remain distinct from positive results. The work supplies supporting mathematical contracts—not a physical measurement theory, product certification or solution of a parent conjecture. No fresh checker replay or portable private-engine distribution is claimed.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.24031803

Author: Glowalla, David

Language: English

Topic: Quantum Mechanics and Applications

Subfield: Atomic and Molecular Physics, and Optics

Field: Physics and Astronomy

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7225467742

FWCI:

Cites:

Cited by:

Related to: 10