A Persistence Witness for Classicality: Separating decoherence, objectivity, and the re-identifiability of a record

Marc Maibom

Published Jul 23, 2026• 0 citations

Abstract

When does a readable record survive the actual physical process, and when does memory change that survival? Present readability, temporal label retention and process memory answer separate questions. Their analysis requires a physical carrier, an identity-relevant record quotient and its actual continuation. We develop their common reduction architecture and derive an explicit memory correction to temporal record certificates. On a classical record quotient, the channel defect equals the largest class re-identification error. Its additive composition bound holds for the actual composed quotient process; it need not hold for individually calibrated steps whose preparations erase the correlations reached in a real run. A two-CNOT construction makes every freshly calibrated step preserve the record perfectly while the actual two-step continuation erases it. The missing term is a process-composition gap, which we define and bound by discrepancies between actual joint preparations and the preparations used by a reduced model. The same construction identifies a memory sector that must be retained to obtain a faithful record continuation. We also prove that decoherence and broadcasting do not fix temporal record identity; that CP-divisibility depends on the carrier and preparation; and that memory can be irrelevant to a protected identity register. A finite dephasing model has no trace-distance backflow on its declared interval yet changes record retention under a correlation-severing intervention. These results separate memory magnitude, causal record relevance and Constitution change. The derivations use unchanged finite-dimensional quantum dynamics and retain explicit scope conditions for every identity claim.

DOI: 10.5281/zenodo.21511659

Related papers

Markovianity, the System Cut, and Q2-Identity: Why process memory is not identity - and when it is

Marc Maibom

Jul 24, 20260 citations

The Physically Admissible System Cut - When a tensor factorization is a physical subsystem: an exact and a quantitative criterion

Marc Maibom

Jul 23, 20261 citation

Before Decoherence: Consequential Registration, Redundant Physical Records, and the Pre-Quantum Origin of Environmental Objectivity: A theorem-backed distinction between Registration Theory and Quantum Darwinism

EUGENE CATRAMBONE

Oct 3, 20260 citations

Admissible Record Construction in Physically Non-Selective Quantum Regimes

Amos Maley

Feb 7, 20260 citations

The Missing Premises of Quantum Measurement - Definite records and the Born rule from identity under transformation

Marc Maibom

Jul 21, 20260 citations

Relational Information, Classical Records, and Preparation-Aware Quantum Recovery

Qingchun Zhang

Sep 10, 20260 citations

A Persistence Witness for Classicality: Separating decoherence, objectivity, and the re-identifiability of a record

Marc Maibom

Published Jul 23, 2026• 0 citations

Publisher

Abstract

DOI: 10.5281/zenodo.21511659

Related papers

Markovianity, the System Cut, and Q2-Identity: Why process memory is not identity - and when it is

Marc Maibom

Open-systems theory runs together two claims that this paper separates. The first is that Markovianity — the memorylessness of a reduced dynamics — is a property of the system. It is not: a single two-qubit exchange dynamics is non-CP-divisible on the reduced cut and exactly unitary-Markovian on the extended cut, so Markovianity is a property of the tuple (cut, preparation domain, intervention class, time range), fixed only once the cut is named. The second is that (non-)Markovianity decides identity, or that process memory is identity-relevant retained structure. It does not: a Markovian amplitude damping loses the record identity of a class with defect , while a non-Markovian process preserves a shielded identity frame exactly, so the memory coordinate and the identity coordinate are independent, and the correct test is the pair . The paper imports the domain machinery unchanged — CP-divisibility, the operational process-tensor Markov condition, and instrument-specific Markov order — and adds, from the identity architecture, the requirement that identity be judged on the maximal continuation quotient. It closes with the converse question: when is a memory back-path constitutive for identity? A back-path is a constitutive coupling if and only if a causally isolated interruption of it — a severing test — changes admissibility, , or ; and the size of the information backflow is neither necessary nor sufficient for this. What is not delivered is stated throughout: no system cut, no memory time, and no damping rate follows from the law, and the results are the finite-dimensional named-process sector.Open-systems theory runs together two claims that this paper separates. The first is that Markovianity — the memorylessness of a reduced dynamics — is a property of the system. It is not: a single two-qubit exchange dynamics is non-CP-divisible on the reduced cut and exactly unitary-Markovian on the extended cut, so Markovianity is a property of the tuple (cut, preparation domain, intervention class, time range), fixed only once the cut is named. The second is that (non-)Markovianity decides identity, or that process memory is identity-relevant retained structure. It does not: a Markovian amplitude damping loses the record identity of a class with defect , while a non-Markovian process preserves a shielded identity frame exactly, so the memory coordinate and the identity coordinate are independent, and the correct test is the pair . The paper imports the domain machinery unchanged — CP-divisibility, the operational process-tensor Markov condition, and instrument-specific Markov order — and adds, from the identity architecture, the requirement that identity be judged on the maximal continuation quotient. It closes with the converse question: when is a memory back-path constitutive for identity? A back-path is a constitutive coupling if and only if a causally isolated interruption of it — a severing test — changes admissibility, , or ; and the size of the information backflow is neither necessary nor sufficient for this. What is not delivered is stated throughout: no system cut, no memory time, and no damping rate follows from the law, and the results are the finite-dimensional named-process sector.

Jul 24, 20260 citations

The Physically Admissible System Cut - When a tensor factorization is a physical subsystem: an exact and a quantitative criterion

Marc Maibom

A tensor factorization specifies a mathematical subsystem, but it does not by itself establish that its reduced state is a complete description of the physical bearer it claims to represent. This paper supplies an exact selection criterion and a quantitative certificate without altering the global physics. It retains the observable-induced algebraic formulation, the quotient-dynamics theorem, the strict two-qubit counterexample, the autonomy defect, additive error accumulation, nested persistence margins, the coupling–time estimate and the non-circular selection argument. The physical-cut theorem now distinguishes three independent descent requirements: complete constitution, retained existence and identity verdicts, and autonomous dynamics. A realization x=(c,ρ,η) separates the physical profile, quantum state and preparation/history/continuation data. This prevents a historical identity verdict from being silently treated as a function of a momentary density matrix. The CNOT-conjugated cut has identical reduced inputs and orthogonal reduced outputs at t=π/4. A second witness has perfectly closed baseline dynamics while a partial trace erases two physically distinguishable coupling profiles. Dynamic closure alone therefore does not establish physical completeness. The quantitative results bound unavoidable prediction error from below by half the fibre defect and, with an admissible lift in the chosen model class, from above by that defect. Reachable-state error bounds accumulate under CPTP comparison. A bound below an independently grounded Q1, Q2a or Q2b margin is a sufficient persistence certificate; loss of that inequality is not an identity-loss verdict. For a bounded interaction the specified decoupled predictor has the sharper error bound |λ|(t−s)‖V‖/ℏ, while the fibre defect has twice that bound. The resulting criterion links the physical cut to emergence, thermodynamic process closure and record memory without identifying those questions. All exact theorems below are finite-dimensional and relative to explicitly named preparation and continuation domains.A tensor factorization specifies a mathematical subsystem, but it does not by itself establish that its reduced state is a complete description of the physical bearer it claims to represent. This paper supplies an exact selection criterion and a quantitative certificate without altering the global physics. It retains the observable-induced algebraic formulation, the quotient-dynamics theorem, the strict two-qubit counterexample, the autonomy defect, additive error accumulation, nested persistence margins, the coupling–time estimate and the non-circular selection argument. The physical-cut theorem now distinguishes three independent descent requirements: complete constitution, retained existence and identity verdicts, and autonomous dynamics. A realization x=(c,ρ,η) separates the physical profile, quantum state and preparation/history/continuation data. This prevents a historical identity verdict from being silently treated as a function of a momentary density matrix. The CNOT-conjugated cut has identical reduced inputs and orthogonal reduced outputs at t=π/4. A second witness has perfectly closed baseline dynamics while a partial trace erases two physically distinguishable coupling profiles. Dynamic closure alone therefore does not establish physical completeness. The quantitative results bound unavoidable prediction error from below by half the fibre defect and, with an admissible lift in the chosen model class, from above by that defect. Reachable-state error bounds accumulate under CPTP comparison. A bound below an independently grounded Q1, Q2a or Q2b margin is a sufficient persistence certificate; loss of that inequality is not an identity-loss verdict. For a bounded interaction the specified decoupled predictor has the sharper error bound |λ|(t−s)‖V‖/ℏ, while the fibre defect has twice that bound. The resulting criterion links the physical cut to emergence, thermodynamic process closure and record memory without identifying those questions. All exact theorems below are finite-dimensional and relative to explicitly named preparation and continuation domains.

Jul 23, 20261 citation

EUGENE CATRAMBONE

Quantum Darwinism explains effective classical objectivity through the selective proliferation of information about preferred quantum states into multiple environmental fragments. Its mature formulations operate within quantum theory, using a system-environment decomposition, decoherence or einselection, and information-theoretic or broadcast-structure criteria for redundant accessibility.This paper asks an upstream question from Registration Theory (RT): what makes a physical distinction a record before that record is described as information available to an observer? Canonical RT answers that retained registration is persistent organization constraining later evolution, that a distinction becomes a physical record only when it remains consequential, and that persistent physical organization is prior to information extracted from it.The paper assembles a theorem-backed finite-model chain now available in the RT corpus. Canonical ACRF dynamics supplies write-retain-read consequential history. The exact finite-amplitude ACRF-4 quotient identifies a nine-dimensional host-host-boundary state. The certified consequence-minimality theorem (DOI 10.6084/m9.figshare.34063464) shows that the retained relational boundary contributes irreducible future-consequence directions. The spectrum-preserving ACRF-8 redundant-record theorem (DOI 10.6084/m9.figshare.34063500) then proves an explicit local witness in which one quotient-valid source distinction is written into two disjoint retained fragments that are locally recoverable, counterfactually separable, and independently readable, giving $R_{RT}(q)\ge 2$ under the stated criteria.The resulting distinction from Quantum Darwinism is precise but bounded. RT recordhood is consequence-based, while Darwinian objectivity is an accessibility-and-redundancy criterion formulated within quantum theory. The ACRF witness demonstrates redundant retained record formation without assuming Hilbert space, density operators, mutual information, decoherence, einselection, Born probabilities, or an observer-defined environment. Therefore, multiple persistent records of one distinction are not definitionally identical to Quantum-Darwinian redundancy.The paper does not claim that Quantum Darwinism is false or that RT has derived quantum mechanics, decoherence, Born probabilities, a mutual-information redundancy plateau, or macroscopic objectivity. Instead, it proposes a disciplined hierarchy: consequential distinction → retention → persistent record → branching → redundant retained records → redundant accessibility → environmental objectivity. The final two steps remain open in RT. A future bridge must dynamically select and scale multi-host redundancy and map consequence-bearing RT records into quantum environmental fragments that satisfy decoherence and strong objectivity conditions.Quantum Darwinism explains effective classical objectivity through the selective proliferation of information about preferred quantum states into multiple environmental fragments. Its mature formulations operate within quantum theory, using a system-environment decomposition, decoherence or einselection, and information-theoretic or broadcast-structure criteria for redundant accessibility.This paper asks an upstream question from Registration Theory (RT): what makes a physical distinction a record before that record is described as information available to an observer? Canonical RT answers that retained registration is persistent organization constraining later evolution, that a distinction becomes a physical record only when it remains consequential, and that persistent physical organization is prior to information extracted from it.The paper assembles a theorem-backed finite-model chain now available in the RT corpus. Canonical ACRF dynamics supplies write-retain-read consequential history. The exact finite-amplitude ACRF-4 quotient identifies a nine-dimensional host-host-boundary state. The certified consequence-minimality theorem (DOI 10.6084/m9.figshare.34063464) shows that the retained relational boundary contributes irreducible future-consequence directions. The spectrum-preserving ACRF-8 redundant-record theorem (DOI 10.6084/m9.figshare.34063500) then proves an explicit local witness in which one quotient-valid source distinction is written into two disjoint retained fragments that are locally recoverable, counterfactually separable, and independently readable, giving $R_{RT}(q)\ge 2$ under the stated criteria.The resulting distinction from Quantum Darwinism is precise but bounded. RT recordhood is consequence-based, while Darwinian objectivity is an accessibility-and-redundancy criterion formulated within quantum theory. The ACRF witness demonstrates redundant retained record formation without assuming Hilbert space, density operators, mutual information, decoherence, einselection, Born probabilities, or an observer-defined environment. Therefore, multiple persistent records of one distinction are not definitionally identical to Quantum-Darwinian redundancy.The paper does not claim that Quantum Darwinism is false or that RT has derived quantum mechanics, decoherence, Born probabilities, a mutual-information redundancy plateau, or macroscopic objectivity. Instead, it proposes a disciplined hierarchy: consequential distinction → retention → persistent record → branching → redundant retained records → redundant accessibility → environmental objectivity. The final two steps remain open in RT. A future bridge must dynamically select and scale multi-host redundancy and map consequence-bearing RT records into quantum environmental fragments that satisfy decoherence and strong objectivity conditions.

Oct 3, 20260 citations

Admissible Record Construction in Physically Non-Selective Quantum Regimes

Amos Maley

A Kernel-Role Determinacy Theorem for Record Fixation, Fixed-Domain Quotients, and Boundary-Trace Normal Form This paper specializes the AASC kernel to the construction and use of quantum measurement records. Its central question is not initially how outcomes are produced, whether a wavefunction collapses, or which interpretation of quantum theory is correct. It asks what must be fixed for a measurement record to function as the same determinate physical and evidential object across retention, prospective use, deliberation, comparison, and report. For any non-degenerate determinate physical object, state, carrier, transformation, record, comparison, or endpoint, the paper takes the governing kernel to be: NDObj(x) ⇒ K(x) = (Adm, Stand, Ref, Irr). Admissibility, standing, reference, and irreversibility are therefore treated as necessary role conditions of determinate record use, not as an optional interpretive overlay added to an otherwise complete physical description. Measurement-record determinacy The manuscript constructs a fixed-domain measurement-record target in which a record must preserve: reference to the same construction token; standing-bearing evidential eligibility; admissible reuse; original act-time qualification; lawful redescription; retained and prospective record use; deliberative and comparative use; reportability and downstream inheritance. The resulting assignment space is quotiented by equivalence of standing-bearing measurement-record content. A rival quotient claiming exactly the same content collapses to the canonical measurement-record quotient. Representational differences that preserve the complete role content are treated as skin; differences affecting record identity, evidential ordering, admissibility, continuation, or downstream use remain physically relevant. Physically non-selective quantum regimes The paper then studies a physically non-selective quantum regime containing unitary branching, entanglement, decoherence, branch-local records, and stable local reports. The central result is conditional and target-specific: The bare unitary-entangling-decohering package can support multiple stable branch-local records without supplying a unique standing evidential record for the fixed construction-relative target. This is not a claim that branch-local records are unreal, unstable, or physically useless. It is a distinction between: physical occurrence of branch-local record structures; local branch-relative reportability; evidential role fixation for a record reused as the same standing object across the measurement practice. The paper shows that non-selective structures may agree on branch weights, density content, decoherence, correlations, instrument sums, channel closure, effect weights, projector orthogonality, and repeatability without selecting one fine record as the standing evidential record. Fixed-domain quotient and fixation commutation The theorem ladder establishes: fixed-domain assignment-space forcing; exact quotient construction for standing-bearing record content; same-scope equivalence collapse; fixation commutation under admissible transformation; inheritance of the original qualification requirement; persistence-bearing reuse; asymmetry exhaustion; anti-weakening; selector exhaustion. If evidential ordering varies across admissible assignments while the target requires one fixed-domain ordering, the ordering is not defined on that scope merely because numerical values or branch-local reports happen to coincide. The paper therefore treats measurement-record fixation as prior to the theory-level evidential reuse that depends on it. Boundary-trace normal form After internal and provenance/indexical routes have been exhausted, the residual same-domain route is a singleton stable boundary trace. Such a trace is not collapse dynamics, hidden-variable selection, or a new physical mechanism. It is an admissibility-preserving role anchor that can fix a record-bearing assignment only when its channel, incidence, transport law, original authority, and singleton-positive condition are independently warranted. The result distinguishes: sound partial selection from complete role fixation; unique trace value from unique original occupant; class-valued record fixation from raw-token fixation; later discovery of an original qualification from retroactive repair; physical record occurrence from standing evidential identity. Finite quantum specialization The paper occupies the abstract structure with an explicit finite two-branch quantum measurement domain containing: two outcomes; two fine records and one merged record; denominator-two branch weights; a balanced integer-amplitude state; density-table realization; selective and non-selective instrument maps; environment-record maps; projective branch maps; complementary effects; zero-product projectors; repeatability operations. On the declared balanced witness, amplitude weights, density weights, branch-map traces, effect weights, pointer records, instrument records, environment records, and channel records agree on the same branch architecture. Selective surfaces preserve the fine-record distinction. Non-selective surfaces agree only on the merged record. The fine records therefore remain separated, while the declared non-selective surfaces supply no singleton fine-record selector. The finite selector-boundary theorem eliminates the disjunction of candidate hidden selectors across the state, instrument, environment, channel, effect, and repeatability surfaces. The resulting diagnosis is precise: the missing structure is admissible fine-record role fixation, not further branch production, weighting, decoherence, stabilization, or repeatability. Scope and non-claims The manuscript establishes a finite, conditional, manuscript-facing theorem. It does not claim: to derive Hilbert-space quantum mechanics; to derive general POVM theory; to derive full projection-valued-measure theory; to reconstruct the full operator algebra; to provide a general Kraus representation theorem; to reconstruct complete positivity; to derive the continuum Born rule; to derive universal physical decoherence theory; to introduce a new collapse dynamics; to prove that no physical collapse process occurs in nature; to prove physical branch selection; to establish interpretive truth; to classify every possible physical measurement mechanism. The absence of a hidden selector on the declared finite non-selective surfaces is therefore not a theorem that no physical collapse or selection process can occur elsewhere. It is the finite theorem that those declared surfaces do not themselves supply the required fine-record selector. Relation to quantum interpretations The result does not deny the practical success of quantum theory, decoherence, branch-relative reporting, instrumental updates, or decision-theoretic methods. A practice aimed only at prediction, branch-local reporting, or instrumental updating may be a different target from the construction-relative record use studied here. If a theory claims to underwrite retained, prospective, deliberative, and evidential reuse of the same record-bearing construction token, it must preserve the relevant kernel roles and admit a standing-bearing fixation regime. Bare Everettian dynamics, without additional dynamics, ontological privileging, or admissible restriction to one constructional class, supplies no fine-record selector on the declared target. A strategy that preserves non-selective physics while restricting admissible record-fixation assignments belongs to a restriction-to-one-constructional-class route. Instrumentalist and QBist strategies instead reduce or redirect the target explanatory burden. Role in the AASC programme This paper provides the record-fixation layer of the AASC Quantum Determinacy Pair. Its companion Bell-scope work addresses the compatibility and no-signaling side of quantum witness determinacy. Together, the pair treats quantum records and witnesses as kernel-governed standing structures rather than as automatically determinate physical occurrences. The paper’s principal contribution is to identify the first failure point in a physically non-selective measurement regime: The initial problem is not necessarily the production of branch-local outcomes. It is the admissible fixation of the record role through which outcomes are retained, reported, remembered, compared, and used as evidence. The public Lean 4 formalization is synchronized with the finite measurement-boundary release v0.9.1 and provides the finite artifact for the declared effect, projector, compatibility, closed-stack, boundary-certificate, and audit layers. Keywords AASC; measurement problem; quantum measurement; measurement-record fixation; physically non-selective regimes; Everettian non-selection; record-role determinacy; fixed-domain quotient; standing equivalence; boundary-trace fixation; selector exhaustion; decoherence; branch-local records; admissibility and irreversibility; Lean 4 formalizationA Kernel-Role Determinacy Theorem for Record Fixation, Fixed-Domain Quotients, and Boundary-Trace Normal Form This paper specializes the AASC kernel to the construction and use of quantum measurement records. Its central question is not initially how outcomes are produced, whether a wavefunction collapses, or which interpretation of quantum theory is correct. It asks what must be fixed for a measurement record to function as the same determinate physical and evidential object across retention, prospective use, deliberation, comparison, and report. For any non-degenerate determinate physical object, state, carrier, transformation, record, comparison, or endpoint, the paper takes the governing kernel to be: NDObj(x) ⇒ K(x) = (Adm, Stand, Ref, Irr). Admissibility, standing, reference, and irreversibility are therefore treated as necessary role conditions of determinate record use, not as an optional interpretive overlay added to an otherwise complete physical description. Measurement-record determinacy The manuscript constructs a fixed-domain measurement-record target in which a record must preserve: reference to the same construction token; standing-bearing evidential eligibility; admissible reuse; original act-time qualification; lawful redescription; retained and prospective record use; deliberative and comparative use; reportability and downstream inheritance. The resulting assignment space is quotiented by equivalence of standing-bearing measurement-record content. A rival quotient claiming exactly the same content collapses to the canonical measurement-record quotient. Representational differences that preserve the complete role content are treated as skin; differences affecting record identity, evidential ordering, admissibility, continuation, or downstream use remain physically relevant. Physically non-selective quantum regimes The paper then studies a physically non-selective quantum regime containing unitary branching, entanglement, decoherence, branch-local records, and stable local reports. The central result is conditional and target-specific: The bare unitary-entangling-decohering package can support multiple stable branch-local records without supplying a unique standing evidential record for the fixed construction-relative target. This is not a claim that branch-local records are unreal, unstable, or physically useless. It is a distinction between: physical occurrence of branch-local record structures; local branch-relative reportability; evidential role fixation for a record reused as the same standing object across the measurement practice. The paper shows that non-selective structures may agree on branch weights, density content, decoherence, correlations, instrument sums, channel closure, effect weights, projector orthogonality, and repeatability without selecting one fine record as the standing evidential record. Fixed-domain quotient and fixation commutation The theorem ladder establishes: fixed-domain assignment-space forcing; exact quotient construction for standing-bearing record content; same-scope equivalence collapse; fixation commutation under admissible transformation; inheritance of the original qualification requirement; persistence-bearing reuse; asymmetry exhaustion; anti-weakening; selector exhaustion. If evidential ordering varies across admissible assignments while the target requires one fixed-domain ordering, the ordering is not defined on that scope merely because numerical values or branch-local reports happen to coincide. The paper therefore treats measurement-record fixation as prior to the theory-level evidential reuse that depends on it. Boundary-trace normal form After internal and provenance/indexical routes have been exhausted, the residual same-domain route is a singleton stable boundary trace. Such a trace is not collapse dynamics, hidden-variable selection, or a new physical mechanism. It is an admissibility-preserving role anchor that can fix a record-bearing assignment only when its channel, incidence, transport law, original authority, and singleton-positive condition are independently warranted. The result distinguishes: sound partial selection from complete role fixation; unique trace value from unique original occupant; class-valued record fixation from raw-token fixation; later discovery of an original qualification from retroactive repair; physical record occurrence from standing evidential identity. Finite quantum specialization The paper occupies the abstract structure with an explicit finite two-branch quantum measurement domain containing: two outcomes; two fine records and one merged record; denominator-two branch weights; a balanced integer-amplitude state; density-table realization; selective and non-selective instrument maps; environment-record maps; projective branch maps; complementary effects; zero-product projectors; repeatability operations. On the declared balanced witness, amplitude weights, density weights, branch-map traces, effect weights, pointer records, instrument records, environment records, and channel records agree on the same branch architecture. Selective surfaces preserve the fine-record distinction. Non-selective surfaces agree only on the merged record. The fine records therefore remain separated, while the declared non-selective surfaces supply no singleton fine-record selector. The finite selector-boundary theorem eliminates the disjunction of candidate hidden selectors across the state, instrument, environment, channel, effect, and repeatability surfaces. The resulting diagnosis is precise: the missing structure is admissible fine-record role fixation, not further branch production, weighting, decoherence, stabilization, or repeatability. Scope and non-claims The manuscript establishes a finite, conditional, manuscript-facing theorem. It does not claim: to derive Hilbert-space quantum mechanics; to derive general POVM theory; to derive full projection-valued-measure theory; to reconstruct the full operator algebra; to provide a general Kraus representation theorem; to reconstruct complete positivity; to derive the continuum Born rule; to derive universal physical decoherence theory; to introduce a new collapse dynamics; to prove that no physical collapse process occurs in nature; to prove physical branch selection; to establish interpretive truth; to classify every possible physical measurement mechanism. The absence of a hidden selector on the declared finite non-selective surfaces is therefore not a theorem that no physical collapse or selection process can occur elsewhere. It is the finite theorem that those declared surfaces do not themselves supply the required fine-record selector. Relation to quantum interpretations The result does not deny the practical success of quantum theory, decoherence, branch-relative reporting, instrumental updates, or decision-theoretic methods. A practice aimed only at prediction, branch-local reporting, or instrumental updating may be a different target from the construction-relative record use studied here. If a theory claims to underwrite retained, prospective, deliberative, and evidential reuse of the same record-bearing construction token, it must preserve the relevant kernel roles and admit a standing-bearing fixation regime. Bare Everettian dynamics, without additional dynamics, ontological privileging, or admissible restriction to one constructional class, supplies no fine-record selector on the declared target. A strategy that preserves non-selective physics while restricting admissible record-fixation assignments belongs to a restriction-to-one-constructional-class route. Instrumentalist and QBist strategies instead reduce or redirect the target explanatory burden. Role in the AASC programme This paper provides the record-fixation layer of the AASC Quantum Determinacy Pair. Its companion Bell-scope work addresses the compatibility and no-signaling side of quantum witness determinacy. Together, the pair treats quantum records and witnesses as kernel-governed standing structures rather than as automatically determinate physical occurrences. The paper’s principal contribution is to identify the first failure point in a physically non-selective measurement regime: The initial problem is not necessarily the production of branch-local outcomes. It is the admissible fixation of the record role through which outcomes are retained, reported, remembered, compared, and used as evidence. The public Lean 4 formalization is synchronized with the finite measurement-boundary release v0.9.1 and provides the finite artifact for the declared effect, projector, compatibility, closed-stack, boundary-certificate, and audit layers. Keywords AASC; measurement problem; quantum measurement; measurement-record fixation; physically non-selective regimes; Everettian non-selection; record-role determinacy; fixed-domain quotient; standing equivalence; boundary-trace fixation; selector exhaustion; decoherence; branch-local records; admissibility and irreversibility; Lean 4 formalization

Feb 7, 20260 citations

The Missing Premises of Quantum Measurement - Definite records and the Born rule from identity under transformation

Marc Maibom

La Profilée is the structural architecture of determinate nature: Constitution identifies the whole, Transformation evaluates its existence and identity through change, and Coexistence evaluates relations among realized wholes. This paper applies the full architecture to quantum measurement without changing the quantum equations. Its physical subject remains definite outcomes, their relation to unitary evolution, the Born law, and the identity of the records that carry them. A physically completed coupling resolves an exhaustive exclusive record variable; LP determinability then gives one actual record value without an observer selecting it. Exclusive actuality does not entail projection of the globally retained quantum state. Rank-one calibration and repeatability fix the affirmative branch map. Statistical non-contextuality additionally requires identity of the complete input–event experiment and descent of its law to that identity class. Stable Boolean event frequencies then give the Gleason representation, and preparation faithfulness identifies its operator with the prepared state. Each inference is proved in the text. The argument determines the carrier and instrument before using these results. It proves that a unique instrument constitution does not select a run outcome, and that decoherence alone does not identify the physical record partition. Worked reversible-laboratory and relational cases distinguish an actual event from persistence of its record. Quantum recovery makes the distinction quantitative: a two-qubit copying channel preserves classical labels exactly, loses local full-qubit recoverability with optimal normalized diamond error one half, and preserves the full code jointly. Continuation-family and complementary-channel results connect those measurement records to information preservation, including evaporation. The resulting measurement theorem states its structural and physical requirements explicitly; it does not predict the individual outcome or infer multi-time consistency from a formal state–label pair alone.La Profilée is the structural architecture of determinate nature: Constitution identifies the whole, Transformation evaluates its existence and identity through change, and Coexistence evaluates relations among realized wholes. This paper applies the full architecture to quantum measurement without changing the quantum equations. Its physical subject remains definite outcomes, their relation to unitary evolution, the Born law, and the identity of the records that carry them. A physically completed coupling resolves an exhaustive exclusive record variable; LP determinability then gives one actual record value without an observer selecting it. Exclusive actuality does not entail projection of the globally retained quantum state. Rank-one calibration and repeatability fix the affirmative branch map. Statistical non-contextuality additionally requires identity of the complete input–event experiment and descent of its law to that identity class. Stable Boolean event frequencies then give the Gleason representation, and preparation faithfulness identifies its operator with the prepared state. Each inference is proved in the text. The argument determines the carrier and instrument before using these results. It proves that a unique instrument constitution does not select a run outcome, and that decoherence alone does not identify the physical record partition. Worked reversible-laboratory and relational cases distinguish an actual event from persistence of its record. Quantum recovery makes the distinction quantitative: a two-qubit copying channel preserves classical labels exactly, loses local full-qubit recoverability with optimal normalized diamond error one half, and preserves the full code jointly. Continuation-family and complementary-channel results connect those measurement records to information preservation, including evaporation. The resulting measurement theorem states its structural and physical requirements explicitly; it does not predict the individual outcome or infer multi-time consistency from a formal state–label pair alone.

Jul 21, 20260 citations

Relational Information, Classical Records, and Preparation-Aware Quantum Recovery

Qingchun Zhang

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.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.

Sep 10, 20260 citations

R_{RT}(q)\ge 2

under the stated criteria.The resulting distinction from Quantum Darwinism is precise but bounded. RT recordhood is consequence-based, while Darwinian objectivity is an accessibility-and-redundancy criterion formulated within quantum theory. The ACRF witness demonstrates redundant retained record formation without assuming Hilbert space, density operators, mutual information, decoherence, einselection, Born probabilities, or an observer-defined environment. Therefore, multiple persistent records of one distinction are not definitionally identical to Quantum-Darwinian redundancy.The paper does not claim that Quantum Darwinism is false or that RT has derived quantum mechanics, decoherence, Born probabilities, a mutual-information redundancy plateau, or macroscopic objectivity. Instead, it proposes a disciplined hierarchy: consequential distinction → retention → persistent record → branching → redundant retained records → redundant accessibility → environmental objectivity. The final two steps remain open in RT. A future bridge must dynamically select and scale multi-host redundancy and map consequence-bearing RT records into quantum environmental fragments that satisfy decoherence and strong objectivity conditions.