Measurement and objectivity note
Technical manuscript Measurement and objectivity note

Durable Records and Redundant Objectivity in Quantum Measurement Chains

A quantum-measurement note separating measurement-map statistics, detector readout records, and redundant objectivity criteria on finite observation windows.

Scope. This guide summarizes the manuscript and links section-level reader text; the manuscript remains the authority for definitions, equations, citations, and exclusions.
Reading map

Role in the research surface.

Back to notes index

Role

Use this entry as a compact technical bridge from quantum measurement maps to durable records and redundant objectivity, especially when deciding what a detector or fragment-access claim does and does not establish.

Read it for

  • The separation between POVM or instrument statistics and durable record-bearing readout.
  • The finite-window readout criteria for activation, latching, persistence, reset, dead time, and event accounting.
  • The objectivity criteria connecting durable records to redundant fragment access, consensus, and stronger SBS or Darwinism conditions.

Distinctions

  • Measurement-map certificates versus durable-record certificates.
  • Durable local records versus consensus-level objectivity.
  • Quant-ph clarification versus broader framework claims.
Summary

Central argument.

Quantum measurements are often specified by a POVM, a quantum instrument, a detector-tomography reconstruction, or a calibrated response map assigning probabilities to outcome labels. Such a measurement-map specification does not by itself determine whether detector activations become persistent, discriminable records, or whether a recorded value is redundantly available through disjoint fragments under specified readout rules. Finite-window criteria separate the measurement-map criterion, the readout criterion, and the objectivity criterion. Spectrum-broadcast-structure and strong-quantum-Darwinism conditions enter as stronger structural criteria only after their metric, tolerance, fragment-access rule, and required independence or factorization hypotheses are fixed.

Manuscript reader Read by section.
Reading note. This view is provided for navigation and search. The manuscript text remains the reference for exact wording and notation.
Back to notes index
01

Introduction

A laboratory measurement description can combine several physically distinct specifications: an input--output probability model, a detector response process, a durable outcome record, and an output-label rule. These specifications, however, are not logically equivalent. A POVM or instrument specifies the probabilities assigned to outcome labels. Detector tomography and calibration protocols can certify such a measurement map with stated uncertainty. Yet an event counter, a superconducting nanowire, a transition-edge sensor, or an avalanche photodiode is also characterized by ready-state preparation, signal response, latching or amplification, discriminable output production, recovery, and specified dark-count, afterpulse, and dead-time tolerances. Finally, a durable local record does not by itself establish classical objectivity in the sense studied in quantum Darwinism and spectrum broadcast structure: such objectivity involves independently accessible, redundant, predominantly classical information about a specified pointer variable, with the relevant coherence and consistency tolerances stated.

These distinctions are represented by finite-window criteria for three layers of a measurement chain. Each layer is specified by finite-window quantities, thresholds, tolerances, and operating windows appropriate to that layer. The criteria use standard POVM and instrument statistics while leaving the detector micro-Hamiltonian unspecified. Accordingly, the following implications do not hold without the corresponding readout or objectivity conditions:

- a measurement-map certificate, such as a POVM, implies a durable-record certificate; - a threshold crossing or activation event implies record-bearing readout; - a local durable record implies consensus-level objectivity.

Two considerations motivate the separation. On the objectivity side, quantum Darwinism, strong quantum Darwinism, and spectrum broadcast structure distinguish decoherence, redundancy, consensus, and state-structure objectivity through fragment-access and broadcast-structure conditions [citation]. Decoherence can suppress off-diagonal terms without making records independently accessible. Redundancy can be discussed through mutual-information plateaus, while the stronger criteria used below add, according to level, classical accessibility under specified fragment readouts, pointer-sector coherence control, bounded disagreement, and, for structural results, the required independence or factorization hypothesis. For strong-quantum-Darwinism/spectrum-broadcast-structure equivalence results, the relevant independence or factorization condition is part of the structural hypothesis [citation]. On the detector side, SPADs, TESs, and SNSPDs are not fully characterized by threshold events; they are nonequilibrium devices with dark-count envelopes, afterpulsing or relaxation channels, latching or reset constraints, and finite recovery times [citation].

The resulting finite-window description consists of a layer-indexed tuple; a ready--activated--latched readout model with reset; finite-family objectivity tests based on realized readout mutual information, or on stated Holevo-level bounds where appropriate; basis-fixed correlation-surplus and disagreement diagnostics; redundancy and consensus counts; and compatibility conditions for composing layer-specific certifications. All quantities are defined on finite operating windows using standard quantum-measurement, quantum-information, and detector-characterization notation.

Back to sections

02

Scope and notation

Let SSS denote the source or measured system and let Z=zzΠzZ=\sum_z z\Pi_zZ=\sum_z z\Pi_z be a candidate pointer observable when objectivity is discussed. Unless otherwise stated, logarithms in entropy expressions are natural logarithms; using another fixed base only rescales the entropy and information thresholds. A detector or apparatus can be described at several levels. At the measurement-map level, a measurement with outcomes mXm\in\mathcal Xm\in\mathcal X is represented by POVM effects Em0E_m\ge 0E_m\ge 0 with mEm=I\sum_m E_m=I\sum_m E_m=I, or by a quantum instrument {Im}\{\mathcal I_m\}\{\mathcal I_m\} whose probabilities are

p(mρ)=Tr(Emρ),Em=Im(I).p(m|\rho)=\Tr(E_m\rho), \qquad E_m=\mathcal I_m^\ast(I).
TeX source p(m|\rho)=\Tr(E_m\rho), \qquad E_m=\mathcal I_m^\ast(I).

A measurement-map certificate Cmap\Cmap\Cmap means that the effects, instrument, calibration map, or equivalent response model have been specified with a stated uncertainty or tolerance on a stated operating domain.

At the readout level, a detector is modeled as a device that turns activations into durable, discriminable output records. The minimal reduced model used below has states RRR (ready), AAA (activated), and LLL (record-bearing output class, including latched outputs when appropriate). Here LLL denotes the resolved output class accepted as an event under the specified readout convention, without assuming permanent material trapping.

At the objectivity level, a family F={Fa}a=1Mf\Ffam=\{\Frag_a\}_{a=1}^{M_f}\Ffam=\{\Frag_a\}_{a=1}^{M_f} of disjoint fragments is fixed, together with a fragment readout rule for each fragment. The question is whether the specified fragment readouts recover the same pointer value with readout mutual information close to the pointer entropy, low basis-fixed correlation surplus, controlled pointer-sector coherence, and low inter-fragment disagreement.

All criteria below are indexed by a finite operating window, an output-label convention, tolerances, and, when objectivity is discussed, a fragment-access rule. Accordingly, redundancy, sector coherence, population drift when invoked, and consensus are treated as finite-window properties relative to stated thresholds and access rules.

Back to sections

03

The measurement-map layer: POVMs and instruments

The measurement-map layer specifies the model connecting input states to outcome probabilities. It is indispensable for assigning outcome statistics, but it does not address persistence, reset, or fragment-level accessibility.

definition: Measurement-map certificate. A measurement-map certificate Cmap\Cmap\Cmap for an outcome set X\mathcal X\mathcal X consists of a POVM {Em}mX\{E_m\}_{m\in\mathcal X}\{E_m\}_{m\in\mathcal X}, or a quantum instrument {Im}mX\{\mathcal I_m\}_{m\in\mathcal X}\{\mathcal I_m\}_{m\in\mathcal X}, together with a calibration or tomography specification of the operating domain, uncertainty convention, and outcome-label convention under which Eq. reference is used.

Quantum instruments, POVM descriptions, and detector tomography supply possible implementations of Cmap\Cmap\Cmap [citation]. The criteria do not depend on a particular implementation; each such description answers the measurement-map question of which probabilities are assigned to outcome labels under a stated convention.

proposition: A measurement-map certificate is not a durable-record certificate. A POVM or instrument certificate does not by itself establish that an accepted output event is durably recorded, nor that it satisfies the stated consensus criterion for objectivity.

proof. Two implementations can have the same POVM on SSS while differing on their record registers. Let one implementation write the outcome mmm into an ancillary memory MMM and leave the conditional memory states distinguishable throughout [tL,tL+τpers][t_L,t_L+\taupers][t_L,t_L+\taupers]. Let a second implementation apply the same instrument on SSS but erase or thermalize MMM before the persistence window, mapping the conditional memory states to a common blank state. Tracing over MMM gives the same effects EmE_mE_m and hence the same probabilities p(mρ)p(m|\rho)p(m|\rho) in both cases, but only the first implementation satisfies a persistence criterion. A third implementation can have the same local record while all specified fragments satisfy ρFa(z)=ρFa\rho_{\Frag_a}^{(z)}=\rho_{\Frag_a}\rho_{\Frag_a}^{(z)}=\rho_{\Frag_a}, giving no redundant pointer information. Thus the measurement map does not entail either durable readout or objectivity diagnostics.

For outcome-statistics applications, Cmap\Cmap\Cmap may be the only required certificate. Durable events, repeated counting, classical records, or objectivity require the corresponding readout or objectivity diagnostics rather than an implicit enlargement of the measurement-map certificate.

Back to sections

04

The readout layer: from activation to durable record

Minimal ready--activated--latched modelPersistence, event accounting, reset thermodynamics, and dead time

A record-bearing detector output is not specified by a threshold condition alone. The minimal class considered here is a metastable amplification device: it maintains a ready state, undergoes signal-assisted activation, moves probability into a record-bearing output class, and resets.

Minimal ready--activated--latched model

Let pR(t)p_R(t)p_R(t), pA(t)p_A(t)p_A(t), and pL(t)p_L(t)p_L(t) be the probabilities of ready, activated, and record-bearing output states on a specified readout window. In the minimal closed three-state reduction used here, relaxation from the activated sector returns the device to the ready sector without producing a record. The model is

p˙R=(Γsw(t)+Γdark(t))pR+Γrel(t)pA+Γreset(t)pL,p˙A=(Γsw(t)+Γdark(t))pR(Γlat(t)+Γrel(t))pA,p˙L=Γlat(t)pAΓreset(t)pL.\dot p_R = -\bigl(\Gsw(t)+\Gdark(t)\bigr)p_R + \Grel(t)p_A + \Greset(t)p_L, \dot p_A = \bigl(\Gsw(t)+\Gdark(t)\bigr)p_R - \bigl(\Glat(t)+\Grel(t)\bigr)p_A, \dot p_L = \Glat(t)p_A - \Greset(t)p_L.
TeX source \dot p_R = -\bigl(\Gsw(t)+\Gdark(t)\bigr)p_R + \Grel(t)p_A + \Greset(t)p_L, \dot p_A = \bigl(\Gsw(t)+\Gdark(t)\bigr)p_R - \bigl(\Glat(t)+\Grel(t)\bigr)p_A, \dot p_L = \Glat(t)p_A - \Greset(t)p_L.

Here Γdark\Gdark\Gdark is the dark or spontaneous activation rate, Γsw\Gsw\Gsw is the signal-assisted activation rate, Γlat\Glat\Glat is the rate into the resolved output class, Γrel\Grel\Grel is relaxation from the activated sector back to the ready sector without record formation, and Γreset\Greset\Greset is the reset rate. With this convention, Eqs. reference--reference conserve pR+pA+pLp_R+p_A+p_Lp_R+p_A+p_L. Platform-dependent models may refine these rates, add non-Markovian kernels, or resolve many internal states. If relaxation from AAA represents probability loss rather than return to the ready sector, the closed reduction is replaced by a model with an explicit loss state. Equations reference--reference define only the reduced readout layer.

definition: Record flux and first-record hazard. The record-entry flux is

Jrec(t)=Γlat(t)pA(t).\Jrec(t)=\Glat(t)p_A(t).
TeX source \Jrec(t)=\Glat(t)p_A(t).

It is the unconditional probability current into the record-bearing output class in the reduced model, not the raw activation flux [Γsw(t)+Γdark(t)]pR(t)[\Gsw(t)+\Gdark(t)]p_R(t)[\Gsw(t)+\Gdark(t)]p_R(t).

On a single-hit window with pL(0)=0p_L(0)=0p_L(0)=0 and with reset and retriggering neglected until the observation window closes, the durable-record probability is

Prec(1)[0,T]=pL(T)=0TJrec(t)dt.P_{\rm rec}^{(1)}[0,T]=p_L(T)=\int_0^T \Jrec(t)\,\dd t.
TeX source P_{\rm rec}^{(1)}[0,T]=p_L(T)=\int_0^T \Jrec(t)\,\dd t.

If a renewal or first-arrival analysis is used instead, one may introduce a separate first-record hazard hrec(t)h_{\rm rec}(t)h_{\rm rec}(t) and write Prec(1)[0,T]=1exp[0Threc(t)dt]P_{\rm rec}^{(1)}[0,T]=1-\exp[-\int_0^T h_{\rm rec}(t)\,\dd t]P_{\rm rec}^{(1)}[0,T]=1-\exp[-\int_0^T h_{\rm rec}(t)\,\dd t]. In that case hrech_{\rm rec}h_{\rm rec} is defined by the renewal model and is distinct from the unconditional flux Jrec\Jrec\Jrec unless an additional approximation relates them. When afterpulsing, retriggering, or recovery effects matter, Eq. reference is not a complete counting theory; the envelope is included as a separate readout component.

If the activated state is quasi-steady on the relevant time scale, Eq. reference gives

pAΓsw+ΓdarkΓlat+ΓrelpR,Jrecηrec(Γsw+Γdark)pR,p_A\simeq \frac{\Gsw+\Gdark}{\Glat+\Grel}p_R, \qquad \Jrec\simeq \etarec(\Gsw+\Gdark)p_R,
TeX source p_A\simeq \frac{\Gsw+\Gdark}{\Glat+\Grel}p_R, \qquad \Jrec\simeq \etarec(\Gsw+\Gdark)p_R,

where

ηrec=ΓlatΓlat+Γrel\etarec=\frac{\Glat}{\Glat+\Grel}
TeX source \etarec=\frac{\Glat}{\Glat+\Grel}

is a record-formation efficiency. The distinction between activation and record formation is visible in ηrec\etarec\etarec: two devices may have the same activation statistics but different durable-record statistics.

Persistence, event accounting, reset thermodynamics, and dead time

A durable-record condition requires that the output class remain discriminable on a persistence window. Let dL(t)d_L(t)d_L(t) be a platform-specific discriminability measure for the output class LLL under the output-discrimination convention. A minimal persistence condition is

dL(t)dfort[tL,tL+τpers],d_L(t)\ge d_\ast \quad \text{for}\quad t\in[t_L,t_L+\taupers],
TeX source d_L(t)\ge d_\ast \quad \text{for}\quad t\in[t_L,t_L+\taupers],

where tLt_Lt_L is the record-entry time and dd_\astd_\ast is the stated output-discrimination threshold. The choice of dLd_Ld_L is platform dependent. In an SNSPD it may be tied to pulse recovery and latching behavior; in a TES to electrothermal output discrimination; in a SPAD to quench/recharge and afterpulse control. The threshold and persistence window are therefore part of the readout convention.

A simple event-accounting mismatch can be quantified as

ΔEA=NtrigNrecmax(1,Ntrig),\DeltaEA = \left|\frac{N_{\mathrm{trig}}-N_{\mathrm{rec}}}{\max(1,N_{\mathrm{trig}})}\right|,
TeX source \DeltaEA = \left|\frac{N_{\mathrm{trig}}-N_{\mathrm{rec}}}{\max(1,N_{\mathrm{trig}})}\right|,

where NtrigN_{\mathrm{trig}}N_{\mathrm{trig}} is the number of threshold or activation candidates under a stated trigger definition and NrecN_{\mathrm{rec}}N_{\mathrm{rec}} is the number of accepted durable records. Other conventions may be preferable in a given experiment; in each case the accounting convention is part of the record-level certificate. Without such an accounting convention, activation-level data do not determine record-level data.

For repeated operation, thermodynamic bookkeeping gives a consistency check rather than a detector-independent acceptance test. For an ideal quasistatic erasure or reinitialization of an MMM-state logical register with uniform prior uncertainty, so that the prior Shannon entropy is logM\log M\log M, coupled to a reservoir at temperature TresT_{\mathrm{res}}T_{\mathrm{res}}, Landauer's bound [citation] gives the heat scale

QresetkBTreslogM.Q_{\mathrm{reset}}\ge \kB T_{\mathrm{res}}\log M.
TeX source Q_{\mathrm{reset}}\ge \kB T_{\mathrm{res}}\log M.

For reset to a fixed standard logical state with a general prior distribution PPP over the logical states, the corresponding entropy-change lower bound is kBTresH(P)\kB T_{\mathrm{res}}H(P)\kB T_{\mathrm{res}}H(P) under the same logarithmic convention. For nonequilibrium detector cycles this is a lower thermodynamic scale, not a calorimetric model of the detector; practical amplification, readout, and reset channels can dissipate substantially more. Repeated operation is accompanied by a dead-time or recovery compatibility condition, for example

ruseτdead1,r_{\mathrm{use}}\,\taudead\ll 1,
TeX source r_{\mathrm{use}}\,\taudead\ll 1,

in a low-occupancy regime, or an explicit dead-time correction model outside that regime. Here ruser_{\mathrm{use}}r_{\mathrm{use}} is the intended use rate and τdead\taudead\taudead is the platform-specific recovery time.

definition: Readout certificate. A readout certificate Crec\Crec\Crec for one outcome class consists of a record-flux convention Jrec\Jrec\Jrec or an explicitly defined first-record hazard hrech_{\rm rec}h_{\rm rec}, a record-formation efficiency or bound ηrec\etarec\etarec, an event-accounting mismatch ΔEA\DeltaEA\DeltaEA or bound, a persistence condition on τpers\taupers\taupers, a specified readout envelope for dark counts, afterpulsing or retriggering, latching, reset, and dead time on the stated operating window, and, where thermodynamic or reset-energy bounds are included, a reset-thermodynamic consistency convention.

proposition: Threshold crossing is not sufficient for durable readout. A threshold crossing or activation event supports a durable-readout certificate only when the readout certificate is also satisfied.

proof. In the reduced model, choose Γsw+Γdark>0\Gsw+\Gdark>0\Gsw+\Gdark>0 on the observation window but set Γlat=0\Glat=0\Glat=0. Activation events then occur, but Jrec(t)=ΓlatpA(t)=0\Jrec(t)=\Glat p_A(t)=0\Jrec(t)=\Glat p_A(t)=0 and, for pL(0)=0p_L(0)=0p_L(0)=0, no probability enters the record-bearing sector. More generally, nonzero activation flux constrains pAp_Ap_A but does not by itself impose persistence, event-accounting accuracy, or reset/dead-time compatibility. A threshold crossing is therefore an activation-level datum unless the readout certificate is also satisfied.

Back to sections

05

The objectivity layer: from durable records to consensus

Fragment information and basis-fixed correlation surplusFinite-family redundancy and consensus

A local durable record does not by itself establish consensus-level objectivity. On a finite observation window, consensus-level objectivity requires redundant and mutually consistent access to the recorded pointer value through the specified fragments, without supplementing the fragment-access measurements by a new measurement of the source system. The finite-family standard uses readout information, basis-fixed correlation surplus, pointer-sector coherence, and inter-fragment disagreement, with a population-drift bound included whenever stationarity of pointer-sector probabilities is part of the stated criterion; stronger state-structure criteria apply only under their stated assumptions.

Fragment information and basis-fixed correlation surplus

Fix a pointer observable Z=zzΠzZ=\sum_z z\Pi_zZ=\sum_z z\Pi_z of the source system and a family F={Fa}a=1Mf\Ffam=\{\Frag_a\}_{a=1}^{M_f}\Ffam=\{\Frag_a\}_{a=1}^{M_f} of disjoint fragments. Let

pz=TrS(ΠzρS)p_z=\Tr_S(\Pi_z\rho_S)
TeX source p_z=\Tr_S(\Pi_z\rho_S)

be the pointer distribution. For each fragment, define the conditional fragment state associated with the specified pointer conditioning by

ρFa(z)=TrS[(ΠzIFa)ρSFa(ΠzIFa)]pz,\rho_{\Frag_a}^{(z)}= \frac{\Tr_S[(\Pi_z\otimes I_{\Frag_a})\rho_{S\Frag_a}(\Pi_z\otimes I_{\Frag_a})]}{p_z},
TeX source \rho_{\Frag_a}^{(z)}= \frac{\Tr_S[(\Pi_z\otimes I_{\Frag_a})\rho_{S\Frag_a}(\Pi_z\otimes I_{\Frag_a})]}{p_z},

whenever pz>0p_z>0p_z>0; zero-probability terms are omitted from conditional-state expressions and entropy sums. The two-sided projection specifies the pointer-ensemble conditioning used by the fragment diagnostics; it is not an additional detector-dynamical assumption and does not require the full SFaS\Frag_aS\Frag_a state to be block diagonal in ZZZ. The fragment Holevo information about the fixed pointer ensemble is [citation]

χZ(Fa)=S(ρFa)zpzS(ρFa(z)),\Holevo(\Frag_a)=S(\rho_{\Frag_a})-\sum_z p_z S(\rho_{\Frag_a}^{(z)}),
TeX source \Holevo(\Frag_a)=S(\rho_{\Frag_a})-\sum_z p_z S(\rho_{\Frag_a}^{(z)}),

where ρFa=TrSρSFa\rho_{\Frag_a}=\Tr_S\rho_{S\Frag_a}\rho_{\Frag_a}=\Tr_S\rho_{S\Frag_a}; equivalently, because the partial trace over SSS removes cross-sector terms, ρFa=z:pz>0pzρFa(z)\rho_{\Frag_a}=\sum_{z:p_z>0} p_z\rho_{\Frag_a}^{(z)}\rho_{\Frag_a}=\sum_{z:p_z>0} p_z\rho_{\Frag_a}^{(z)} with zero-probability sectors omitted. A specified fragment readout is a POVM or response map Ra={Ra,y}y\mathsf R_a=\{R_{a,y}\}_y\mathsf R_a=\{R_{a,y}\}_y on Fa\Frag_a\Frag_a, giving

pa(yz)=Tr(Ra,yρFa(z)),Yapa(y)=zpzpa(yz),p_a(y|z)=\Tr(R_{a,y}\rho_{\Frag_a}^{(z)}), \qquad Y_a\sim p_a(y)=\sum_z p_z p_a(y|z),
TeX source p_a(y|z)=\Tr(R_{a,y}\rho_{\Frag_a}^{(z)}), \qquad Y_a\sim p_a(y)=\sum_z p_z p_a(y|z),

and the readout mutual information

Iard=I(Z:Ya).\Ird_a=I(Z:Y_a).
TeX source \Ird_a=I(Z:Y_a).

For the ensemble {pz,ρFa(z)}z\{p_z,\rho_{\Frag_a}^{(z)}\}_z\{p_z,\rho_{\Frag_a}^{(z)}\}_z, the Holevo quantity upper-bounds the accessible mutual information supRI(Z:YR)\sup_{\mathsf R} I(Z:Y_{\mathsf R})\sup_{\mathsf R} I(Z:Y_{\mathsf R}), where YRY_{\mathsf R}Y_{\mathsf R} is the classical outcome generated by a candidate fragment measurement R\mathsf R\mathsf R. Replacing the realized Iard\Ird_a\Ird_a by χZ(Fa)\Holevo(\Frag_a)\Holevo(\Frag_a) therefore yields a Holevo-level redundancy bound, rather than a realized-readout value, unless a readout rule attaining the stated value, or an attainability condition such as mutually commuting conditional fragment states under the specified pointer ensemble, is supplied. The corresponding basis-fixed correlation surplus is

ΔZbf(Fa)=I(S:Fa)χZ(Fa),\SurpZ(\Frag_a)=I(S:\Frag_a)-\Holevo(\Frag_a),
TeX source \SurpZ(\Frag_a)=I(S:\Frag_a)-\Holevo(\Frag_a),

where I(S:Fa)I(S:\Frag_a)I(S:\Frag_a) is the quantum mutual information. The quantity ΔZbf\SurpZ\SurpZ is not a basis-optimized quantum-discord measure in the sense of Refs. [citation]; it is defined relative to the specified pointer observable, fragment family, and access rule. Small ΔZbf\SurpZ\SurpZ indicates that correlations available in the fragment are predominantly accounted for by the specified classical pointer ensemble.

To compare two fragment inferences, let

qa(zya)=pzpa(yaz)zpzpa(yaz),qb(zyb)=pzpb(ybz)zpzpb(ybz)q_a(z|y_a)=\frac{p_z p_a(y_a|z)}{\sum_{z'}p_{z'}p_a(y_a|z')}, \qquad q_b(z|y_b)=\frac{p_z p_b(y_b|z)}{\sum_{z'}p_{z'}p_b(y_b|z')}
TeX source q_a(z|y_a)=\frac{p_z p_a(y_a|z)}{\sum_{z'}p_{z'}p_a(y_a|z')}, \qquad q_b(z|y_b)=\frac{p_z p_b(y_b|z)}{\sum_{z'}p_{z'}p_b(y_b|z')}

denote the posterior distributions produced by the specified fragment readouts for outcomes with nonzero marginal readout probability. For a pair of disjoint fragments define

ρFaFb(z)=TrS[(ΠzIFaFb)ρSFaFb(ΠzIFaFb)]pz,\rho_{\Frag_a\Frag_b}^{(z)}= \frac{\Tr_S[(\Pi_z\otimes I_{\Frag_a\Frag_b})\rho_{S\Frag_a\Frag_b}(\Pi_z\otimes I_{\Frag_a\Frag_b})]}{p_z},
TeX source \rho_{\Frag_a\Frag_b}^{(z)}= \frac{\Tr_S[(\Pi_z\otimes I_{\Frag_a\Frag_b})\rho_{S\Frag_a\Frag_b}(\Pi_z\otimes I_{\Frag_a\Frag_b})]}{p_z},

whenever pz>0p_z>0p_z>0; zero-probability terms are omitted from the conditional pair expressions. Under the same pointer-conditioning convention, use the induced joint readout distribution

p(ya,yb)=zpzTr[(Ra,yaRb,yb)ρFaFb(z)].p(y_a,y_b)=\sum_z p_z\,\Tr[(R_{a,y_a}\otimes R_{b,y_b})\rho_{\Frag_a\Frag_b}^{(z)}].
TeX source p(y_a,y_b)=\sum_z p_z\,\Tr[(R_{a,y_a}\otimes R_{b,y_b})\rho_{\Frag_a\Frag_b}^{(z)}].

This joint distribution is the law used for the disagreement diagnostic; it does not add a block-diagonality assumption on the unconditioned state. Define pairwise disagreement as the expected total-variation distance

ϵab=ya,ybp(ya,yb)12zqa(zya)qb(zyb),\epsab=\sum_{y_a,y_b}p(y_a,y_b)\, \frac12\sum_z |q_a(z|y_a)-q_b(z|y_b)|,
TeX source \epsab=\sum_{y_a,y_b}p(y_a,y_b)\, \frac12\sum_z |q_a(z|y_a)-q_b(z|y_b)|,

where the expectation is evaluated only for pairs with p(ya,yb)>0p(y_a,y_b)>0p(y_a,y_b)>0; on this support the marginal denominators in Eq. reference are positive. Sums are replaced by integrals for continuous readout variables. Finally, define a pointer-sector coherence functional on the observation window by the trace norm of the off-block-diagonal component in the specified pointer decomposition,

ΣZ=supt[0,τobs]ρS(t)zΠzρS(t)Πz1.\SigZ=\sup_{t\in[0,\tauobs]} \left\|\rho_S(t)-\sum_z \Pi_z\rho_S(t)\Pi_z\right\|_1.
TeX source \SigZ=\sup_{t\in[0,\tauobs]} \left\|\rho_S(t)-\sum_z \Pi_z\rho_S(t)\Pi_z\right\|_1.

This functional controls coherence between pointer sectors rather than stationarity of the pointer-sector probabilities. If the finite-window criterion also requires stationarity of those probabilities over the observation window, a separate population-drift diagnostic may be used, for example

ΔZpop=supt,t[0,τobs]12zTr[ΠzρS(t)]Tr[ΠzρS(t)],\Delta_Z^{\mathrm{pop}}=\sup_{t,t'\in[0,\tauobs]} \frac12\sum_z\left|\Tr[\Pi_z\rho_S(t)]-\Tr[\Pi_z\rho_S(t')]\right|,
TeX source \Delta_Z^{\mathrm{pop}}=\sup_{t,t'\in[0,\tauobs]} \frac12\sum_z\left|\Tr[\Pi_z\rho_S(t)]-\Tr[\Pi_z\rho_S(t')]\right|,

or the fragment diagnostics are indexed by the specified preparation and readout times. For a nondegenerate pointer basis Eq. reference reduces to an off-diagonal coherence diagnostic. For degenerate pointer sectors it is invariant under changes of basis within each sector. Upper bounds based on sums of off-block trace norms may be used in place of Eq. reference when the bound is part of the certificate. A calibrated witness can replace direct access to Eq. reference only if it supplies a bound or monotone relation for the same pointer variable and observation window.

Finite-family redundancy and consensus

For tolerances 0<δ10<\delta\ll10<\delta\ll1 and 0<ϵ10<\epsilon\ll10<\epsilon\ll1, fix an entropy floor Hmin>0\Hmin>0\Hmin>0. The relative redundancy diagnostic is evaluated only when

H(Z)=zpzlogpzHmin.H(Z)=-\sum_z p_z\log p_z \ge \Hmin.
TeX source H(Z)=-\sum_z p_z\log p_z \ge \Hmin.

If H(Z)<HminH(Z)<\HminH(Z)<\Hmin, the entropy-floor condition fails and the normalized redundancy fraction is not used under the stated convention. When Eq. reference holds, a fragment is called δ\delta\delta-redundant for ZZZ under the specified readout if

Iard(1δ)H(Z),ΔZbf(Fa)δH(Z),\Ird_a\ge(1-\delta)H(Z), \qquad \SurpZ(\Frag_a)\le \delta H(Z),
TeX source \Ird_a\ge(1-\delta)H(Z), \qquad \SurpZ(\Frag_a)\le \delta H(Z),

with Iard\Ird_a\Ird_a defined by Eq. reference. When a realized fragment readout is not part of the certificate and χZ(Fa)\Holevo(\Frag_a)\Holevo(\Frag_a) is substituted for Iard\Ird_a\Ird_a, the resulting entry is a Holevo-level redundancy bound with the corresponding attainability convention, such as mutual commutativity of the conditional fragment states for the specified pointer ensemble. The redundancy count Rδ\Red\Red is the number of disjoint fragments satisfying Eq. reference under the fixed fragment family and readout convention. A subset CF\mathcal C\subset\Ffam\mathcal C\subset\Ffam satisfies the (δ,ϵ)(\delta,\epsilon)(\delta,\epsilon) consensus condition if every member is δ\delta\delta-redundant and

maxa,bC,abϵabϵ.\max_{a,b\in\mathcal C,\,a\ne b}\epsab\le\epsilon.
TeX source \max_{a,b\in\mathcal C,\,a\ne b}\epsab\le\epsilon.

The consensus count Cδ,ϵ\Con\Con is the size of the largest such subset under the fixed fragment family and joint readout convention, or a lower bound stated under that convention.

definition: Objectivity certificate levels. Fix ZZZ, F\Ffam\Ffam, {Ra}a=1Mf\{\mathsf R_a\}_{a=1}^{M_f}\{\mathsf R_a\}_{a=1}^{M_f}, τobs\tauobs\tauobs, δ\delta\delta, ϵ\epsilon\epsilon, an entropy floor Hmin>0\Hmin>0\Hmin>0, thresholds Rmin,Cmin2\Rmin,\Cmin\ge2\Rmin,\Cmin\ge2, and a pointer-sector coherence tolerance σZ\sigmax\sigmax. If stationarity of pointer-sector probabilities is part of the stated criterion, also fix a population-drift tolerance ΔZpop,\Delta_Z^{\mathrm{pop},\ast}\Delta_Z^{\mathrm{pop},\ast} for Eq. reference. The objectivity certificate levels are:

- Cobj(1)\Cobj^{(1)}\Cobj^{(1)}: redundant encoding, satisfied if H(Z)HminH(Z)\ge\HminH(Z)\ge\Hmin, RδRmin\Red\ge\Rmin\Red\ge\Rmin, ΣZσZ\SigZ\le\sigmax\SigZ\le\sigmax, and, when stationarity of pointer-sector probabilities is part of the stated criterion, ΔZpopΔZpop,\Delta_Z^{\mathrm{pop}}\le\Delta_Z^{\mathrm{pop},\ast}\Delta_Z^{\mathrm{pop}}\le\Delta_Z^{\mathrm{pop},\ast}, where the counted fragments satisfy Eq. reference using specified readout information Iard\Ird_a\Ird_a, or using a Holevo-level bound together with an attainability condition such as mutual commutativity of the conditional fragment states for the specified pointer ensemble. - Cobj(2)\Cobj^{(2)}\Cobj^{(2)}: consensus-class objectivity, satisfied if Cobj(1)\Cobj^{(1)}\Cobj^{(1)} is satisfied and Cδ,ϵCmin\Con\ge\Cmin\Con\ge\Cmin under Eq. reference, using the specified disagreement convention from Eq. reference or its stated alternative. - Cobj(3)\Cobj^{(3)}\Cobj^{(3)}: structural objectivity, satisfied by an approximate spectrum-broadcast-structure or strong-quantum-Darwinism condition specified with (i) a distance or divergence, (ii) a tolerance, (iii) a fragment-access rule, and (iv) the independence or factorization condition required by the stated structural result. For equivalence results between strong quantum Darwinism and spectrum broadcast structure, the structural certificate uses the independence or factorization hypothesis of the selected theorem; a pairwise conditional-independence condition is used only when that theorem establishes sufficiency from the same pairwise condition [citation]. The structural condition is evaluated for the same ZZZ, F\Ffam\Ffam, τobs\tauobs\tauobs, and fragment-access convention as the lower-level diagnostics, with its approximation tolerance stated for the selected metric. If the structural metric does not itself bound pointer-sector coherence, the certificate includes the corresponding ΣZ\SigZ\SigZ tolerance; it also includes any population-drift bound required by the stated criterion.

The separation between Cobj(1)\Cobj^{(1)}\Cobj^{(1)} and Cobj(2)\Cobj^{(2)}\Cobj^{(2)} follows because redundant information in separate fragments need not imply compatible posterior distributions under the specified readouts. Consensus is an additional condition on fragment-level inferences.

proposition: Durable records are not sufficient for consensus-level objectivity. A durable local record is not sufficient for consensus-level objectivity. Consensus-level objectivity requires at least Cobj(2)\Cobj^{(2)}\Cobj^{(2)}, or the stronger Cobj(3)\Cobj^{(3)}\Cobj^{(3)}, on the same pointer variable, fragment family, observation window, and readout convention.

proof. Let a detector memory LLL store the pointer value zzz with perfect local persistence on [tL,tL+τpers][t_L,t_L+\taupers][t_L,t_L+\taupers], but let every specified fragment be independent of zzz, so that ρFa(z)=ρFa\rho_{\Frag_a}^{(z)}=\rho_{\Frag_a}\rho_{\Frag_a}^{(z)}=\rho_{\Frag_a} for all aaa and zzz. Then χZ(Fa)=0\Holevo(\Frag_a)=0\Holevo(\Frag_a)=0 for each fragment, hence no fragment is δ\delta\delta-redundant when H(Z)HminH(Z)\ge\HminH(Z)\ge\Hmin, and Rδ=Cδ,ϵ=0\Red=\Con=0\Red=\Con=0. The local readout certificate can therefore hold while the redundancy and consensus diagnostics fail. Local durability is necessary for a recorded outcome but does not entail consensus-level objectivity.

Back to sections

06

The measurement-chain certificate

For a fixed outcome-label convention or coarse-grained pointer class, the layer quantities are collected in a measurement-chain tuple.

definition: Measurement-chain tuple. For a fixed outcome-label convention or coarse-grained pointer class, define

Cmmeas=(Cmap,Jrec or hrec,ηrec,ΔEA,τpers,τdead,{Ra}a=1Mf,{Iard}a=1Mf,{χZ(Fa)}a=1Mf,{ΔZbf(Fa)}a=1Mf,{ϵab}1a<bMf,Rδ,Cδ,ϵ,ΣZ).\mathfrak C_m^{\mathrm{meas}}=\bigl(\Cmap,\,\Jrec\text{ or }h_{\rm rec},\,\etarec,\,\DeltaEA,\,\taupers,\,\taudead, \{\mathsf R_a\}_{a=1}^{M_f},\,\{\Ird_a\}_{a=1}^{M_f},\,\{\Holevo(\Frag_a)\}_{a=1}^{M_f}, \{\SurpZ(\Frag_a)\}_{a=1}^{M_f},\,\{\epsab\}_{1\le a<b\le M_f},\,\Red,\,\Con,\,\SigZ\bigr).
TeX source \mathfrak C_m^{\mathrm{meas}}=\bigl(\Cmap,\,\Jrec\text{ or }h_{\rm rec},\,\etarec,\,\DeltaEA,\,\taupers,\,\taudead, \{\mathsf R_a\}_{a=1}^{M_f},\,\{\Ird_a\}_{a=1}^{M_f},\,\{\Holevo(\Frag_a)\}_{a=1}^{M_f}, \{\SurpZ(\Frag_a)\}_{a=1}^{M_f},\,\{\epsab\}_{1\le a<b\le M_f},\,\Red,\,\Con,\,\SigZ\bigr).

The tuple is accompanied by the outcome-label map, the pointer observable ZZZ or its coarse-grained surrogate, F\Ffam\Ffam, τobs\tauobs\tauobs, δ\delta\delta, ϵ\epsilon\epsilon, Hmin\Hmin\Hmin, Rmin\Rmin\Rmin, Cmin\Cmin\Cmin, σZ\sigmax\sigmax, the readout and persistence windows, the trigger and discrimination-threshold conventions, the fragment-access rule, and the reset-thermodynamic convention when a thermodynamic or reset-energy bound is used. When stationarity of pointer-sector probabilities is part of the finite-window criterion, the pair (ΔZpop,ΔZpop,)(\Delta_Z^{\mathrm{pop}},\Delta_Z^{\mathrm{pop},\ast})(\Delta_Z^{\mathrm{pop}},\Delta_Z^{\mathrm{pop},\ast}) is included as additional tuple data. Platform-specific envelopes such as inter-arrival distributions, dark-count and afterpulse envelopes, reset traces, and witness-calibration maps may be appended when they enter the operating convention.

proposition: Layered criterion for consensus-level objectivity. For the finite-window convention associated with the measurement-chain tuple, consensus-level objectivity for an outcome class requires

CmapCrecCobj,Cobj{Cobj(2),Cobj(3)},\Cmap \wedge \Crec \wedge \Cobj, \qquad \Cobj\in\{\Cobj^{(2)},\Cobj^{(3)}\},
TeX source \Cmap \wedge \Crec \wedge \Cobj, \qquad \Cobj\in\{\Cobj^{(2)},\Cobj^{(3)}\},

with all entries evaluated for the same outcome class and readout convention. Neither Cmap\Cmap\Cmap alone, nor CmapCrec\Cmap\wedge\Crec\Cmap\wedge\Crec, nor CmapCrecCobj(1)\Cmap\wedge\Crec\wedge\Cobj^{(1)}\Cmap\wedge\Crec\wedge\Cobj^{(1)} is sufficient.

proof. The measurement-map certificate fixes the measurement map but does not certify durable records. The readout certificate fixes durable record formation but does not certify redundant and mutually consistent fragment access. The level Cobj(1)\Cobj^{(1)}\Cobj^{(1)} establishes redundancy but not necessarily inter-fragment agreement. Consensus-level objectivity begins at Cobj(2)\Cobj^{(2)}\Cobj^{(2)}, while Cobj(3)\Cobj^{(3)}\Cobj^{(3)} is a stronger structural criterion under a stated approximation metric. Thus the conjunction in Eq. reference is required for consensus-level objectivity.

corollary: Layer separation. A POVM does not by itself provide a durable-record certificate unless the readout certificate is also supplied. A detector click or threshold crossing does not by itself support consensus-level objectivity; the corresponding readout and objectivity certificates are also required. A decoherence witness by itself does not furnish an objectivity certificate; such a certificate includes bounds or calibrated witnesses for redundancy, consensus, basis-fixed correlation surplus, and pointer-sector coherence under the same pointer variable, fragment family, and observation window; when stationarity of pointer-sector probabilities is part of the criterion, the corresponding population-drift bound is also included.

Back to sections

07

Examples and applications

Single-photon and superconducting detectorsQuantum Darwinism and spectrum broadcast structureLayer-wise and cross-platform composition

Single-photon and superconducting detectors

In SPAD, TES, and SNSPD platforms, the measurement-map layer can be specified through a detector response model or POVM/tomography, whereas the readout layer is fixed by device-specific recovery and output-discrimination physics. A SPAD event convention depends on quench/recharge behavior, dead time, dark-count and afterpulse envelopes, and the pulse-acceptance rule. A TES event convention depends on electrothermal response and recovery. An SNSPD event convention depends on hotspot-triggered switching, latching or nonlatching bias regime, kinetic-inductance-limited recovery, and reset compatibility. These conditions do not replace the POVM specification; they determine whether an activation becomes an accepted record under the specified readout convention.

For detector-characterization applications, the measurement-chain tuple can be truncated at the measurement-map and readout entries. The objectivity entries are relevant only for analyses concerning an accessible pointer record across a specified fragment family, an environmental branching structure, redundant environmental records, or consensus among fragment readouts.

Quantum Darwinism and spectrum broadcast structure

Quantum Darwinism and spectrum broadcast structure provide structural benchmarks for the objectivity entries of the tuple. A mutual-information plateau is a redundancy diagnostic, but finite-window objectivity also requires a pointer variable, a fragment family, a fragment-access rule, and tolerances for readout information, basis-fixed correlation surplus, pointer-sector coherence, inter-fragment disagreement, and any population-drift bound required by a stationarity condition. This distinction is consistent with recent redundancy/consensus analyses [citation]. Strong quantum Darwinism and approximate spectrum broadcast structure supply Cobj(3)\Cobj^{(3)}\Cobj^{(3)}-type structural conditions only when an approximation metric, tolerance, fragment-access rule, and the relevant independence or factorization assumptions are fixed [citation].

Layer-wise and cross-platform composition

In practice, the three layers may be probed in different platform classes. A detector-tomography experiment may determine a measurement-map certificate, a time-resolved readout experiment may determine a readout certificate, and a photonic simulator or superconducting-circuit experiment may determine bounds entering an objectivity certificate. Such cross-platform composition defines compatibility among layer diagnostics rather than device-level realization of the full measurement-chain tuple. It is well defined only when all imported layers refer to the same pointer variable or to a stated coarse-grained surrogate, the same outcome-label convention, and compatible readout windows.

Back to sections

08

Consistency checks and limiting cases

The following consistency checks state compatibility requirements for combining layer-specific evidence under the assumptions defining each diagnostic.

F0: Pointer and outcome mismatch..

If no map relates the measurement-map, readout, and objectivity layers to one pointer variable and one readout-compatible outcome class, the composed tuple does not define a single finite-window certificate.

F1: Uncalibrated witness substitution..

A witness or surrogate estimate for Iard\Ird_a\Ird_a, χZ\Holevo\Holevo, ΔZbf\SurpZ\SurpZ, ϵab\epsab\epsab, ΣZ\SigZ\SigZ, or, when used, ΔZpop\Delta_Z^{\mathrm{pop}}\Delta_Z^{\mathrm{pop}} certifies the corresponding diagnostic only when it supplies a bound or monotone calibration on the same pointer variable, fragment family, and observation window.

F2: Measurement-map sufficiency..

A measurement-map certificate alone does not imply persistence, reset behavior, event accounting, or objectivity diagnostics; these require readout and objectivity information not contained in Cmap\Cmap\Cmap.

F3: Threshold-only sufficiency..

A threshold-only model certifies durable readout only when it also reproduces the persistence, dark-count/afterpulse structure, and reset/dead-time behavior required by the readout convention.

F4: Redundancy without consensus..

If fragments satisfy the readout-information threshold in Eq. reference but fragment posterior distributions disagree beyond the stated tolerance, the evidence may support Cobj(1)\Cobj^{(1)}\Cobj^{(1)} but not Cobj(2)\Cobj^{(2)}\Cobj^{(2)}.

F5: Decoherence without accessibility..

If off-diagonal suppression is observed but no disjoint fragment family is shown to carry accessible pointer information, the evidence supports decoherence but does not by itself establish the finite-family objectivity criteria.

F6: Structural criterion without the required assumptions..

An approximate spectrum-broadcast-structure or strong-quantum-Darwinism structural condition supplies Cobj(3)\Cobj^{(3)}\Cobj^{(3)} only when its approximation metric, tolerance, fragment-access rule, and required independence or factorization condition are specified for the same pointer variable, fragment family, and observation window.

Back to sections

09

Discussion

The finite-window criteria separate three components that are often combined under a single measurement label: an input--output probability component, a record-bearing readout component, and a redundant-objectivity component. The separation is at the level of finite-window certification and leaves the underlying quantum dynamics unchanged. Each layer can be assessed independently, provided that the operating window, tolerances, and conventions attached to that layer are stated.

At the detector level, the separation clarifies why detector tomography and physical readout characterization certify different diagnostics: the former fixes an input--output map, whereas the latter concerns latching, persistence, reset-energy consistency, and reset dynamics. At the objectivity level, mutual-information plateaus, decoherence witnesses, and persistent local memories support different diagnostics unless fragment access, posterior agreement, basis-fixed correlation surplus, and pointer-sector coherence are all controlled. The same separation permits modular comparison across platforms, but cross-platform composition requires explicit maps among pointer variables, outcome labels, and readout windows.

Back to sections

10

Conclusion

Quantum measurement chains separate into measurement-map, readout, and objectivity layers. A POVM or instrument fixes measurement-map statistics; it does not certify durable records. A threshold crossing supports record-bearing readout only together with the readout certificate. A durable local record satisfies the consensus criterion for objectivity only when the fragment-access, coherence, and agreement conditions are also satisfied. In the finite-window setting, that criterion requires redundant fragment access, specified fragment readout information, low inter-fragment disagreement, bounded basis-fixed correlation surplus, and control of pointer-sector coherence; a population-drift bound is additionally required whenever stationarity of pointer-sector probabilities is part of the stated criterion.

Thus measurement-map calibration, record-bearing readout, and redundant-objectivity criteria remain separate unless the corresponding finite-window conditions are supplied.

Back to sections

11

Data availability

No new experimental or numerical datasets were generated or analyzed for this work.

Back to sections

Measurement

Three layers

The note separates measurement maps, durable readout, and redundant objectivity instead of treating them as one certificate.

Objectivity

No local-record shortcut

A local durable record is not the same thing as consensus-level objectivity across independently accessible fragments.

Nonclaim

No local-record shortcut

The note explicitly rejects the shortcut from a measurement map to a durable record, or from a local record to objectivity.