This work examines a foundational question that precedes many debates about quantum superposition: what mathematical map is required to translate quantum support into definite classical actuality? Quantum states, Born probabilities for a fixed measurement, and Boolean truth valuations of classical events are treated as distinct structures. For a finite outcome space, the positive-support indicator Tₚ(E) = 1 iff p(E) > 0 preserves unions, but whenever two exclusive outcomes have nonzero probability it fails to preserve intersections. Hence it is not a Boolean truth valuation unless the support is a singleton. In particular, a superposition α|U⟩ + β|D⟩ with αβ ≠ 0 does not become the classical conjunction U ∧ D through the Born map alone. A deterministic single-outcome selector is also unavailable if it is required to respect the exchange symmetry of a balanced binary distribution. The analysis then grants the strongest charitable version of the disputed literal reading by moving to four-valued, non-explosive Belnap–Dunn semantics. In a correlated trigger–carrier–response model, a local glut propagates only when both positive and negative semantic support are explicitly transferred along the relevant causal links. This yields a precise signed-reachability criterion: the downstream contradiction is not a consequence of quantum dynamics alone, but of additional semantic transfer rules. Explicit countermodels show where the inference fails when one of these rules is removed. The result separates the physical channel from the semantic bridge and prevents classical explosion from hiding the actual logical structure of the argument. A complementary unitary dilation demonstrates that the required trigger–response correlations can be generated by ordinary quantum evolution without producing contradictory classical outcomes. Joint support is kept distinct from its marginals, coherent superpositions are distinguished from incoherent mixtures, and labelled-history models separate coarse causal order from microscopic history. The central diagnosis is therefore structural: any contradiction obtained under the tested assumptions originates in added translation and compositional postulates, not in an inconsistency of quantum mechanics itself. The framework provides a compact audit tool for claims that move from Hilbert-space superposition to classical co-actuality, and then from local semantic contradiction to causal propagation.
This work examines a foundational question that precedes many debates about quantum superposition: what mathematical map is required to translate quantum support into definite classical actuality? Quantum states, Born probabilities for a fixed measurement, and Boolean truth valuations of classical events are treated as distinct structures. For a finite outcome space, the positive-support indicator Tₚ(E) = 1 iff p(E) > 0 preserves unions, but whenever two exclusive outcomes have nonzero probability it fails to preserve intersections. Hence it is not a Boolean truth valuation unless the support is a singleton. In particular, a superposition α|U⟩ + β|D⟩ with αβ ≠ 0 does not become the classical conjunction U ∧ D through the Born map alone. A deterministic single-outcome selector is also unavailable if it is required to respect the exchange symmetry of a balanced binary distribution. The analysis then grants the strongest charitable version of the disputed literal reading by moving to four-valued, non-explosive Belnap–Dunn semantics. In a correlated trigger–carrier–response model, a local glut propagates only when both positive and negative semantic support are explicitly transferred along the relevant causal links. This yields a precise signed-reachability criterion: the downstream contradiction is not a consequence of quantum dynamics alone, but of additional semantic transfer rules. Explicit countermodels show where the inference fails when one of these rules is removed. The result separates the physical channel from the semantic bridge and prevents classical explosion from hiding the actual logical structure of the argument. A complementary unitary dilation demonstrates that the required trigger–response correlations can be generated by ordinary quantum evolution without producing contradictory classical outcomes. Joint support is kept distinct from its marginals, coherent superpositions are distinguished from incoherent mixtures, and labelled-history models separate coarse causal order from microscopic history. The central diagnosis is therefore structural: any contradiction obtained under the tested assumptions originates in added translation and compositional postulates, not in an inconsistency of quantum mechanics itself. The framework provides a compact audit tool for claims that move from Hilbert-space superposition to classical co-actuality, and then from local semantic contradiction to causal propagation.
This paper argues that the quantum measurement problem is not a single explanatory gap but a collection of distinct tasks. We separate detector representability, probability structure, single-event actuality, and outcome-conditioned refinement, and distinguish all four from causal registration, the physical criterion by which an already-instantiated event becomes a completed measurement record. These are explanatory roles within one measurement phenomenon rather than successive temporal stages. The analysis begins from the contrast between a global quantum description containing several detector-correlated components and the single entry that appears in a realized measurement history. Rather than compressing this contrast into an unexplained transition often labeled “collapse,” we ask which specific explanatory constraints must be satisfied before the relation between the two descriptions can be diagnosed precisely. A finite-resolution alternating position–momentum history is used throughout to separate questions of record formation, probability, actuality, causal registration, and outcome-conditioned refinement. A continuum analysis shows that making the registered history arbitrarily dense does not by itself recover a classical trajectory. Several parts of the architecture are exact once their inputs are specified. A detector representation induces an exact quotient; a specified acquisition channel and record family induce system-side effects; and a specified quantum instrument determines a family of subnormalized conditional branches before any one outcome is instantiated. Given a realized outcome label, the same instrument determines the corresponding normalized outcome-conditioned state. A finite-dimensional acquisition model explicitly realizes the representability chain, while a record-algebra indistinguishability result shows that removing coherence between detector-record sectors can leave all expectation values in the lifted record algebra unchanged even when that coherence remains detectable in a richer context. These results sharpen, but do not dissolve, the measurement problem. Record structure does not derive Born weights; a probability law does not itself constitute the event realized in one run; a mathematically available conditional branch family does not select one branch condition as actual; and causal onset, stabilization, registration, and conditional refinement all presuppose or follow that event rather than produce it. The resulting constraint audit tests—without assuming—the hypothesis that global quantum multiplicity and detector-record definiteness may belong to different representational levels. The main conclusion is not a new collapse dynamics but a localization of the remaining explanatory burden. Once representability, probability, causal registration, and conditional refinement are assigned their proper roles, the unresolved actuality transition can no longer be hidden inside the single label “collapse.” In the typed measurement architecture considered here, no pre-event operation has the mathematical role of producing an individual event token without additional event-producing structure. This is version 1.0 of the manuscript.
Questions about quantum measurement are often collected under the umbrella term “the measurement problem,” which conflates record-bearing structure, fine-event actuality, and statistical weighting into a single explanatory task. This paper separates those roles through a reduction–reconstruction strategy with two structural results. First, Born weighting is suspended and the physically defined record architecture is maximally coarse-grained to the distinction between non‑record‑bearing and record‑bearing sectors. After an ideal measurement interaction, the final state may lie entirely in the record-bearing sector, establishing sharp coarse record-sector support without selecting any fine-grained event. Restoring physically meaningful record resolution preserves that coarse truth while enlarging the represented question space: whenever the same postmeasurement state has support in more than one distinguishable fine sector, no occupied fine sector contains the global state. The single-event question therefore appears not through failure of coarse dynamics, but through successful coarse dynamics followed by finer physical resolution. Second, the paper asks what could genuinely supply the missing fine-event specification. Relative to a theory‑relative completed standard-description map D̄, a deterministic actuality map X̄ is already determined by the completed description exactly when X̄ = G ∘ D̄ for some G. Non‑injectivity of D̄ alone is insufficient for actuality underdetermination; the decisive obstruction is variation of X̄ within a fiber. Failure of factorization signals the need for residual run‑level information beyond the completed standard description, whereas factorization eliminates that informational need without implying that the candidate law G is part of standard quantum theory. Stochastic completions may instead add an independently specified law of event occurrence. Probability is then restored as an empirical reconstruction constraint: admissible completions must recover the Born distribution, preserve cross‑resolution consistency, and, where applicable, reproduce protocol‑level registered‑history laws. The result is a structural separation among record‑sector support, fine‑event actuality, Born weighting, and registration, without selecting a preferred interpretation or proposing an actuality mechanism. This is version 1.0 of the manuscript.
This paper develops a reconstruction of probability that does not begin by assuming a probability space, a probability simplex, or the Born rule. Instead, it asks a prior foundational question: under what physical and mathematical conditions are a set of alternatives entitled to carry positive, additive probabilities at all? The construction begins with lawful histories, future interfaces, and retained records. It distinguishes coherent alternatives from exclusive empirical events, preventing multiple interfering routes from being mistaken for separate probabilistic outcomes. A future-sufficient quotient identifies distinctions that no admitted future test can detect, while a record-qualification step determines when alternatives have become genuine empirical events. Dagger-compatible comparison and positive record factorization then produce a positive comparison kernel, from which normalized event probabilities arise only after the relevant record sectors are certified as exclusive. The framework is extended beyond individual measurements. Compatible finite record refinements generate a global probability measure under explicit realizability conditions; stochastic kernels provide a compositional calculus for carrying probabilistic information through unresolved future structure; and locally classical measurement contexts are assembled into a single positive state on a generally non-Boolean effect structure. This allows globally coherent probability to exist even when no context-independent deterministic assignment of outcomes exists. On a reflection-positive Hilbert-space branch, admissible future contexts are represented by positive effects and positive normalized states by density operators. The Born state-effect law then appears as the finite-dimensional representation of a probability structure that has already been earned through record qualification, positivity, exclusivity, refinement, and contextual consistency rather than introduced as a primitive postulate. The paper also separates two mechanisms that are often conflated: quadratic Born-type weighting arises from dagger self-comparison, whereas equal probabilities for symmetric alternatives arise from symmetry of the outcome structure. A further state-effect bridge analysis classifies residual coordinate freedom and identifies an exceptional rank-two adjugate transformation with Lorentzian signature, which is removed when positive self-dual identification is required. The central interpretation is that probability can function as a lawful form of global completion: it can carry future-relevant law through unresolved structure even when deterministic uniqueness is unavailable. The paper does not derive a mechanism selecting one actual outcome and does not claim that every physical sector satisfies the stated hypotheses. Instead, it provides an explicit dependency-controlled architecture connecting lawful completion, reflection positivity, event qualification, contextuality, stochastic continuation, Hilbert reconstruction, and the Born rule.
We develop a conditionally closed reconstruction of quantum mechanics from exactly three physical axioms: microscopic ontic definiteness and finite localization, physical reality of the spacetime--vacuum substrate, and persistent causal source--response coupling. Wave functions, Hilbert spaces, complex amplitudes, density operators, the Born rule, commutation relations, Fock spaces, path integrals, completely positive maps, and Markovian dynamics are introduced only as derived mathematical or operational structures, not as additional physical axioms. The construction distinguishes the actual finite carrier and its causal history from the quantum state used to represent preparations, transformations, and measurement probabilities. It derives unitary dynamics from self-adjoint Hamiltonians, formulates spectral observables and probability currents, and states the explicit equilibrium, additivity, noncontextuality, and calibration conditions required for the Born representation. Measurement is described through instruments, pointer dynamics, stable records, weak values, continuous monitoring, diffusive and counting trajectories, and operational error--disturbance relations. Quantum trajectories remain record-conditioned predictive representations rather than automatically ontic paths. Composite systems, identical particles, spin, entanglement entropy, purification, steering, Bell correlations, dense coding, and no-broadcasting are developed on declared tensor-product and symmetry domains. Open-system dynamics are formulated through causal Volterra equations, memory kernels, initial-slip terms, auxiliary-mode realizations, and unitary dilations. Existence, positivity, complete positivity, trace preservation, no-signalling, and energy closure are treated as logically distinct properties. Semiclassical pseudodifferential calculus, controlled path-integral convergence, Ehrenfest-time bounds, semiclassical measures, decoherence, and macroscopic-record stability define the quantum--classical interface. Topological phases, defect-bound states, relativistic wave equations, infrared dressing, and effective quantum-field-theory domains are incorporated with explicit applicability and error conditions. Numerical spectral certification, statistical model comparison, twenty-five benchmark models, theorem-status ledgers, and a complete experimental statistical protocol provide falsification and replication criteria. The resulting framework preserves standard quantum mechanics on its validated domain while isolating finite-core and historical corrections as conditional, quantitatively bounded, and experimentally testable extensions. **Keywords** Quantum foundations; topological quantum mechanics; historical memory; three-axiom reconstruction; Born rule; quantum measurement; weak measurement; quantum trajectories; entanglement; spin and statistics; open quantum systems; Volterra equations; semiclassical limit; quantum topology; numerical certification; experimental falsification.
The thesis investigates the possibility of a classical semantics for quantum propositional structures. A classical semantics is defined as a set of mappings each of which is (i) bivalent, i.e., the value 1 (true) or 0 (false) is assigned to each proposition, and (ii) truth-functional, i.e., the logical operations are preserved. In addition, this set must be "full", i.e., any pair of distinct propositions is assigned different values by some mapping in the set. When the propositions make assertions about the properties of classical or of quantum systems, the mappings should also be (iii) "state-induced", i.e., values assigned by the semantics should accord with values assigned by classical or by quantum mechanics. In classical propositional logic, (equivalence classes of) propositions form a Boolean algebra, and each semantic mapping assigns the value 1 to the members of a certain subset of the algebra, namely, an ultrafilter, and assigns 0 to the members of the dual ultraideal, where the union of these two subsets is the entire algebra. The propositional structures of classical mechanics are likewise Boolean algebras, so one can straightforwardly provide a classical semantics, which also satisfies (iii). However, quantum propositional structures are non-Boolean, so it is an open question whether a semantics satisfying (i), (ii) and (iii) can be provided. Von Neumann first proposed (1932) that the algebraic structures of the subspaces (or projectors) of Hilbert space be regarded as the pro-positional structures PQM of quantum mechanics. These structures have been formalized in two ways: as orthomodular lattices which have the binary operations "and", "or", defined among all elements, compatible [symbol omitted] and incompatible [symbol omitted]; and as partial-Boolean algebras which have the binary operations defined among only compatible elements. In the thesis, two basic senses in which these structures are non-Boolean are discriminated. And two notions of truth-functionality are distinguished: truth-functionality [symbols omitted] applicable to the PQM lattices; and truth-functionality [symbol omitted] applicable to both the lattices and partial-Boolean algebras. Then it is shown how the lattice definitions of "and", "or", among incompatibles rule out a bivalent, truth-functional [symbols omitted] semantics for any lattice containing incompatible, elements. In contrast, the Gleason and Kochen-Specker proofs of the impossibility of hidden-variables for quantum mechanics show the impossibility of a bivalent, truth-functional [symbol omitted] semantics for three-or-higher dimensional Hilbert space structures; and the presence of incompatible elements is necessary but is not sufficient to rule out such a semantics. As for (iii), each quantum state-induced expectation-function on a PQM truth-functionally assigns 1 and 0 values to the elements in a ultrafilter and dual ultraideal of PQM³ where, in general the union of an ultrafilter and its dual ultraideal is smaller than the entire structure. Thus it is argued that each expectation-function is the quantum analog of a classical semantic mapping, even though the domain where each expectation-function is bivalent and truth-functional is usually a non-Boolean substructure of PQM. The final portion of the thesis surveys proposals for the introduction of hidden variables into quantum mechanics, proofs of the impossibility of such hidden-variable proposals, and criticisms of these impossibility proofs. And arguments in favour of the partial-Boolean algebra, rather than the orthomodular lattice, formalization of the quantum propositional structures are reviewed.
We reconstruct nonrelativistic quantum mechanics from exactly three physical axioms: microscopic ontic definiteness and finite localization, physical reality of the spacetime-vacuum substrate, and persistent causal source–response coupling. The single-run physical state is a finite topological core, its actual causal history, the substrate state, its sector, and the associated historical disturbance. A wave function is not identified with that ontic tuple. It is a ray in a Hilbert representation of admissible preparations and response amplitudes; a density operator is a statistical or reduced representation; and a record is a stable macroscopic event. The logical construction is acyclic. Finite-energy sector spaces and their continuous symmetry representations lead, under explicit representation conditions, to a complex Hilbert direct sum. A closed semibounded quadratic form defines the Hamiltonian and its self-adjoint realization. The standard Schrödinger action, unitary propagation, probability current, spectral observables, uncertainty relations, composite-system tensor products, spin representations, exchange sectors, instruments, and completely positive open dynamics then follow on their declared domains. Gleason-type reasoning fixes the Born form only after additivity, noncontextuality, continuity, and preparation–detector calibration are stated. Those operational conditions are not hidden physical axioms. The distribution of unresolved ontic initial data that realizes quantum equilibrium remains a realization certificate, not a theorem of topology alone. The Heisenberg representation is derived as a controlled transport of observables after Hilbert space and the self-adjoint generator have been constructed. Strongly continuous time translation, two-parameter nonautonomous propagation, common-domain Heisenberg equations, spectral matrix mechanics, regular Weyl relations, open-system adjoints, and instrument effects are connected by one certificate. Schrödinger and Heisenberg predictions are proved equivalent for one-time and finite instrument records, while finite-core, historical, truncation, domain, and detector errors remain separately bounded. Three frozen matrix benchmarks verify low-energy oscillator truncation and its state-weighted CCR defect, second-order unitary convergence for a driven doublet, Schrödinger–Heisenberg equality for a sequential instrument, finite auxiliary-history truncation, and quadratic leakage scaling for a conditional Dirac–Pauli interface. Independent reproduction, including the extended-precision audit, is closed for the frozen packet; physical coefficient calibration remains open. The next interface connects an owner-resolved Dirac–Pauli Hamiltonian to spin records through a Ward-compatible vertex, a causal passive history kernel, an independently audited doublet projection, SPAM-aware forward probabilities, nuisance-profiled identifiability, and a noncompensatory coefficient-to-record error theorem. The DPHC identifiability coordinate is executed on a frozen synthetic response family. A single-scale design is rank deficient, whereas an eighteen-setting frequency–gradient–order–time design has full profiled rank, controlled conditioning, near-nominal finite-sample coverage, and a calibrated held-out statistic. A robust twenty-setting design raises the worst registered information eigenvalue by 20.12%. A ten-parameter nonlinear audit exhibits an exact radiative–detector equivalence curve. An independent dark record breaks that symmetry and restores full local rank. Continuous-set robustness, validated global exclusion, and independent implementation are executed, while physical response identification and empirical calibration remain open. Measurement is treated as a dynamics of system, apparatus, environment, and actual history. Unitary premeasurement and decoherence select robust record sectors but do not by themselves select one record. The three-axiom ontology supplies one actual branch history, while a measurable response map from the complete initial state and instrument to the final record supplies the missing dynamical content. Bell correlations require contextual and nonfactorizable ontic response while parameter independence and operational no-signalling are retained; no controllable superluminal channel is introduced. Historical response produces causal non-Markov Hamiltonians and memory-kernel master equations. Their normalization, positivity, complete positivity, and energy ledger are derived from a unitary enlarged realization whenever such a dilation exists. Finite-core form factors and causal memory yield explicit departures from point-core Markov quantum mechanics. Standard quantum mechanics is recovered as the unresolved-core, sector-fixed, quantum-equilibrium, short-memory limit. Quantum field theory is retained as a successful local, spectral, and asymptotic calculus, but field operators, Fock vectors, and vacuum functionals remain effective representations until a noncircular map from finite carriers and their complete causal histories has been certified. The manuscript proves a sequence of previously open analytic, mathematical, measurement, topological, statistical, and computational obligations on explicitly declared domains. These include non-Markov diffusion, graph-norm stability, distorted-wave and pole variation, finite passive-memory realization, Fisher-information identifiability, detector pushforwards, unique-record basins, Born-representation bounds, measurement independence, topology–Dirac charge conjugation, Stern–Gerlach records, action-scale matching, rank-two spin projection, Finkelstein–Rubinstein topology, Clifford reconstruction, and parent-to-record realization maps. Eighteen groups of numerical obligations are executed on frozen reference models. They cover spectral and scattering calculations, oscillator and two-level dynamics, Schrödinger–Heisenberg equivalence, finite-history truncation, Dirac–Pauli and Foldy–Wouthuysen reduction, gauge covariance, interference, Bell and GHZ correlations, open-system memory, Stern–Gerlach records, identifiability, global searches, topological invariants, path products, semiclassical limits, partial-wave optical closure, the relativistic/QFT interface, and conservative-parent two-level dynamics. Every environment explicitly typed as a computational obligation now has an executed frozen-model certificate; empirical identification and separately typed experimental inputs remain open. The present manuscript differs so substantially from the earlier version in scope, logical architecture, proofs, and executable certificates that it is issued as a new upload rather than as a minor revision. Because the subject is both foundational and technically consequential, readers professionally engaged in quantum foundations, mathematical physics, quantum measurement, or related fields are encouraged to consult both versions: the earlier version preserves the developmental route, whereas the present version gives the substantially expanded and reorganized reconstruction. ## Keywords Axiomatic quantum mechanics; finite particle histories; retarded Green functions; Schrödinger equation; Dirac equation; Born rule; topological spin; quantum measurement; non-Markovian dynamics; classical limit.