A quantum record can have locally accessible populations while its distinguishing phase remains correlated with a distant source. We study this access boundary in a specified finite recording apparatus with a returning, vacuum/one-excitation source. Source-position weights give finite-time cutoff bounds without removing any physical hopping or return coupling. For an initially far-tagged record and its incoherent mixture, every reader in a declared position-preserving local-control class obeys a phase-visibility envelope and a necessary access-time inequality. A separate finite local probe shows why that state-discrimination limit is not an unrestricted limit on distinguishing two dynamical laws: fresh local coherence can reveal a stipulated added dephaser without recovering the old record phase. We construct a bounded, degree-three reader accessing only source positions 1–32. With the initial tag fixed at position 65, exact finite-source arrival certificates and an analytical tail comparison yield recovery uniformly over every finite total source length at least 65. Accessible control faults are charged against the arrived signed-phase norm, while source-moving drift is charged against the full norm. At the fixed deadline 25.02/J, the matched phase-dependent difference between coherent and archive-gated dynamics exceeds 0.005, including the stated simultaneous control faults and four additional absolute response allowances of 0.008 each. Complementary results cover a vacuum-ready source and a stronger endpoint-prepared finite example. The conclusions are conditional on the supplied model, preparations, common realized controls and calibration bounds. They are not a switchable-fundamental-law experiment, a nuisance-independent classifier, an optimal-speed theorem or an end-to-end formal verification. The supporting Lean companion contains 59 declarations in eight modules with accepted returned Mac compilation, type and axiom evidence; physical analytical interfaces remain explicit hypotheses or outside that subset. The deposit files include the main manuscript, technical supplement and full research/reproduction package.
This manuscript presents a methodological synthesis of short-time survival probabilities, purity loss, and subsystem-resolved transition rates in finite-dimensional quantum dynamics. Starting from a pure initial state, the analysis relates the initial survival-loss rate to the trace of the established transition-rate operator and to the initial rate of linear-entropy growth. These relations are formulated for general right-differentiable physical state trajectories, without requiring a Lindblad master equation or Markovian dynamics. The GKSL setting supplies an explicit representation in terms of jump operators. For pure product preparations, compatible local projectors resolve the orthogonal state block into nonnegative departure-sector weights. A standard coverage transform connects these weights to subsystem survival slopes and an initial linear-entropy balance. The manuscript also presents a direct measurement procedure, with finite-time bias bounds and statistical uncertainty estimates. Worked examples clarify the limitations of survival-based diagnostics: overlap revival need not indicate non-Markovianity, simultaneous subsystem departures need not generate entanglement, and an entangled conditionally projected state need not imply a nonclassical noise source. The discussion also connects the transition-operator spectrum to boundary entropy asymptotics and distinguishes initial purity loss from the established coherent entanglement-timescale result. Version 9 substantially revises the mathematical assumptions, attribution, and interpretation of earlier LCQI formulations. Established results are explicitly credited. The contribution is their organization, subsystem application, and operational analysis; no new fundamental dynamical law or thermodynamic arrow of time is claimed.
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.587 ms 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
100 ms 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.
An isolated quantum system evolves reversibly, yet a small subsystem can lose nearly all information about its initial state. Conserved quantities may retain some of this information, depending on how strongly they overlap with local observables. Here we consider a subsystem in an arbitrary initial state coupled to a maximally mixed bath. We show that the worst-input mean-square equilibration error, maximised over window origins, is bounded from above and below by the mean square of a complete local autocorrelation, with the stationary part subtracted. The two mean-square quantities are linearly comparable. A correlation record over a finite interval therefore controls the equilibration error in every interval of the same length, and the result extends to nonnegative observation weights with nonnegative Fourier transform. The result allows arbitrary degeneracies of energies and gaps. We apply it to two static Hamiltonian families. For fixed spin subsystems in the one-particle sector of a bounded-range periodic clock, fixed-accuracy thermalisation is guaranteed on windows that grow only slightly faster than linearly with system size, despite exponentially small positive energies. A random commuting model with logarithmic interaction range retains an extensive set of conserved observables. Its expected mean-square error is bounded by a finite-size term and an inverse-time term. The inverse-time dependence is unavoidable because of the initial transient. These examples show how local relaxation can coexist with exact conservation laws and a finely spaced spectrum.
Quantum many-body Gibbs states satisfy an approximate local Markov property~\cite{chen2025GibbsMarkov}: local noise can be approximately recovered by a quasi-local recovery map, and the conditional mutual information decays for the corresponding tripartition. Recent work~\cite{bergamaschi2025structural} extends this property to approximate stationary states (metastable states) of certain master equations modeling system--bath dynamics, and proposes a strengthened post-selected recovery property requiring recovery to hold for each measurement outcome. In this note, we characterize this \textit{strong Markov property}: it holds if and only if the state additionally satisfies correlation decay for suitable pairs of observables.
We further prove several structural and operational consequences of the strong Markov property in the presence of an underlying master equation. First, one can estimate multiple observables from a \textit{single copy} of the state via a repeated measurement--recovery protocol. Second, any two strongly Markov states must have local marginals that are either very close or well separated. Third, if a strongly Markov state can be expressed as a mixture of two strongly Markov states, then their local marginals must be nearly indistinguishable.