The quantum measurement problem separates into operational questions: which observables are stable records, how outcome probabilities are represented, how conditional post-event states are updated, and how a detector event time is assigned. We give a compact architecture-conditional framework. In a finite-dimensional detector model, the detector-side relative-entropy flux is differentiated with the exact Fréchet derivative of the matrix logarithm. A noise-regularised timing distribution is defined and, under an explicitly assumed isolated non-degenerate maximum of the calibrated flux, Laplace asymptotics proves concentration at that maximum. Under stated fixed-point and detailed-balance hypotheses, the centre of the fixed-point algebra gives a canonical commutative record algebra. Outcome probabilities admit a POVM representation, and conditional updates use a completely positive (CP) instrument in its standard sense: CP maps whose traces give probabilities and whose normalised outputs give post-event states, summing to a trace-preserving map. Separately, an assumed modular-invariant inclusion of von Neumann algebras admits a state-preserving conditional expectation and CP retraction. A conditional quantum-error-correction lemma bounds accumulated record failure. These results do not derive unique outcomes from unitarity, construct a black-hole algebra inclusion, or resolve the black-hole information problem; they give a conditional framework, a worked illustration, and testable timing and record-stability criteria.
The quantum measurement problem separates into operational questions: which observables are stable records, how outcome probabilities are represented, how conditional post-event states are updated, and how a detector event time is assigned. We give a compact architecture-conditional framework. In a finite-dimensional detector model, the detector-side relative-entropy flux is differentiated with the exact Fréchet derivative of the matrix logarithm. A noise-regularised timing distribution is defined and, under an explicitly assumed isolated non-degenerate maximum of the calibrated flux, Laplace asymptotics proves concentration at that maximum. Under stated fixed-point and detailed-balance hypotheses, the centre of the fixed-point algebra gives a canonical commutative record algebra. Outcome probabilities admit a POVM representation, and conditional updates use a completely positive (CP) instrument in its standard sense: CP maps whose traces give probabilities and whose normalised outputs give post-event states, summing to a trace-preserving map. Separately, an assumed modular-invariant inclusion of von Neumann algebras admits a state-preserving conditional expectation and CP retraction. A conditional quantum-error-correction lemma bounds accumulated record failure. These results do not derive unique outcomes from unitarity, construct a black-hole algebra inclusion, or resolve the black-hole information problem; they give a conditional framework, a worked illustration, and testable timing and record-stability criteria.
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.
Physical Sources, Finite Detectors, Persistent Records, and Actual Events This paper develops a unified account of quantum measurement under the Admissibility and Standing Constraint (AASC) framework, connecting constructed physical sources, quantum instruments, material amplification, finite record retention, event probabilities, and the actuality of measurement outcomes. The paper distinguishes three separate objects: a complete quantum instrument containing all outcome operations, including unresolved and failed outcomes; a material record carried by a physical system whose acquisition and retention can be analyzed; an actual history describing which occurrences belong to one original experimental run. A complete instrument and a persistent material record can be constructed without assuming that linear quantum dynamics alone selects one globally definite original-run history. Conversely, the admission of an actual event does not by itself determine its probability law or conditional quantum state. The physical construction contains two complementary measurement targets: a regulated interacting gauge–Higgs–fermion source with its full source Hamiltonian retained during finite receiver pulses; an explicitly parameterized six-mode cosine circuit with source and pump interfaces, losses, distinguishable outputs, a two-polarization intrinsic-spin receiver, and a finite energy-resolving thermal amplifier. The material-registration chain includes source-code loading, driven conversion, output registration, pump-displacement removal, transfer to an intrinsic material spin, finite Gibbs-collision amplification, endpoint reading, and quiet record retention. Electronic display labels, material flags, missed counts, dark displays, blanks, and unreadable outcomes remain distinct and are retained in the joint error ledger. The paper establishes: informative bounded receivers on an interacting quantum source; finite-pulse calibration with the complete source Hamiltonian retained; a complete monitored detector model; finite preparation and amplification bounds; coherent composition of instruments and records; adaptive record composition; local-instrument compatibility; calibrated affine probability uniqueness; sharp coherent calibration limits; sequential probability laws and compatible conditional states; explicit actual-history requirements. A finite Fourier residual certificate bounds the complete monitored detector instrument over its full 35.587ms interval by 0.063241 in restricted diamond norm. Exact interval arithmetic gives seeded amplifier endpoint fidelity greater than 0.9999235242 after 1,024 finite collisions, together with an explicit conditional survival bound for a subsequent 100ms quiet hold. The probability analysis shows that positivity, density-operator dependence, affinity under classical mixtures, and calibration fix the trace probability rule for the declared readout. Approximate sector calibration alone permits coherent deviations of order the square root of the calibration error; stronger linear bounds require additional structure. The paper’s central measurement-theoretic conclusion is deliberately separated from its successful detector construction. A complete instrument admits an exclusive-history completion, but linear quantum dynamics alone does not select one such history. Source-specific preparation, reader analysis, and a bounded counting-law completion supply the additional physical input required to select an actual history. The resulting framework substantially develops the material and probabilistic parts of quantum measurement while isolating apparatus errors, actual-history law, and event-selection assumptions as explicit obligations. The work does not claim to solve every interpretation of the measurement problem, derive a universal collapse law, establish unrestricted detector accuracy, or identify a finite calibration certificate with an experimental calibration. Principal contributions A unified source-to-detector account of quantum measurement. Constructed interacting quantum sources with finite receivers. Six-mode cosine-circuit detector realization. Material registration and finite amplification chain. Two-polarization intrinsic-spin receiver. Finite thermal collision and endpoint-reading model. Full-duration restricted diamond-norm detector bound. Interval-certified amplifier fidelity. Conditional quiet-hold survival bound. Retention of blanks, wrong, unreadable, and missed outcomes. Calibrated affine probability uniqueness. Sequential instruments and compatible conditional states. Explicit separation of complete instruments, material records, and actual histories. Source-specific conditions for actual-event selection. Complete physical error and assumption ledger.
This preprint studies operational equivalence and recovery in a twenty-dimensional residual system with a fixed four-sector representation of dimensions 8, 8, 2 and 2. It distinguishes what a declared observation algebra can detect, what a channel preserves, and what a retained classical record makes recoverable. Record-resolved criteria separate useful reversible-error records from unrelated labels and measured-sector records, even when the discarded channel is the same. For a specified coarse-record model, the work identifies exactly recoverable observable algebras and proves an optimal entanglement-fidelity expression on a fixed four-state orbit code. Preparation-aware recovery is then classified over all one-use isometric subspaces in the stated family. An explicit ten-dimensional marker code attains exact recovery under a specified stochastic record where the whole-sector support restriction permits only eight dimensions. Its encoding, nonbaseline marker measurement, and conditional inverse operations remain supplied resources. Scoped Lean evidence verifies the explicit arbitrary-complex-matrix recovery construction and related finite identities; it does not formalize the general complete-positivity/reference framework or optimal-dimension theorem. The recorded-error model is not derived from the companion exchange-timing model, and no protection of its long pulse sequence is claimed.
We propose an operational, detector-consistent criterion for identifying when and where a quantum interaction produces a stable classical record. The criterion—termed the Universal Decision Principle (UDP)—is defined from instrument-fixed maps rather than ad hoc collapse parameters and is formulated to remain meaningful from finite-dimensional quantum mechanics to local algebraic quantum field theory (AQFT) and gauge-invariant inclusive quantum electrodynamics (QED). Given an underlying state , an admissible operational reduction to a detector region/channel , and an instrument-defined pointer channel onto a commuting record algebra, we define the pointer-relative entropy where is the Umegaki relative entropy in finite settings and the Araki–Uhlmann relative entropy on local von Neumann algebras in AQFT. In record-formation regimes decreases towards zero; we therefore localise the event by the relative-entropy flux and declare record formation at the statistically significant interior maximum of within an a priori specified analysis window. The protocol is explicitly falsifiable through nonparametric bootstrap confidence intervals, structure-preserving surrogate tests, sensitivity stability gates, and detector timing/jitter budgets; irreversibility is graded independently using data-processing inequality remainders and Petz/universal recovery performance near . We provide domain-specific constructions of and for (i) interferometric and spin measurements, (ii) Mott-type track formation as sequential cellwise events, (iii) local AQFT causal regions, and (iv) gauge-consistent inclusive QED channels. Supplementary materials include literature-derived datasets, analysis spreadsheets and figures, and machine-checkable formal verification artefacts (mathlib) supporting key logical steps.
Abstract Quantum readout is usually assessed through assignment error, confusion matrices, signal-to-noise ratio, readout time, leakage, crosstalk, reset fidelity, decoder performance, and logical error. These quantities are indispensable. They do not, however, determine whether a declared family of event histories and the outcomes registered at a terminal measurement support an approximately additive probability model on that finite event-outcome algebra. For a nonexhaustive selected family, the quantity is only an internal or conditional diagnostic unless an explicit outside-history cell is included. We formulate a platform-agnostic terminal-record framework that combines decoding performance, measurement-refined consistency, and abstract finite-resource constraints. The registered positive-operator-valued measure (POVM) determines terminal outcome statistics; measurements embedded in dynamic circuits additionally require a quantum instrument specifying outcome-conditioned state evolution. The present construction is therefore a terminal-record theory.
We develop a claim-graded theory of quantum records and history measures from completely positive instruments. Class operators and Hilbert-valued event measures generate strongly positive decoherence functionals and a canonical history Hilbert space. In the declared linear-instrument class, event probabilities are affine in the state and additive in effects, hence have Born trace form; an independent physical exponent coordinate is incompatible with this structure. Outcome probabilities factor through effects, whereas conditional post-record states factor through complete CP operations. A single Stinespring dilation yields both the unconditional channel and the conditional states, so no second collapse map is required. In a gap-protected record parent, the fixed algebra retains outcome and CP-operation data while erasing implementation gauge, and its center supplies objective event propositions; nevertheless, deterministic unconditional CPTP evolution cannot select one pure central branch from a mixed central state while fixing all pure branches. Explicit jump–diffusion record dilations realize the same reduced dephasing semigroup with inequivalent path laws, proving that the reduced channel does not select a unique physical unravelling. Competing admissible information and work utilities likewise select inequivalent readouts. Bounded marked-Poisson parents, compensated interaction-picture measures, modularly damped Wick classes, and Boolean–Möbius/Borel-resummed local nets provide projective strongly positive histories in named finite and quasi-local classes. By contrast, global extensive event counts, positive-Poisson continuum uniformization, raw all-Fock absolute semivariation, and fixed final energy damping obey class-level No-Go theorems. The paper establishes no physical -flow, no unique unravelling, no universal utility, no deterministic collapse theorem, and no completed interacting relativistic QFT history measure.