Manuscript Hawk01-B@1 · Hawk01-B.tex · section · cfa976f1
Assessment and reproducibility boundary
Assessment and reproducibility boundary · lines 2117–2187
Hawk01-B@1#eq:BellSampling, Hawk01-B@1#eq:recordsampling
A laboratory or simulated verification of a specified decoder can use independent preparations of the Bell input and the success variable
With independent complete attempts, , Hoeffding's inequality gives
This certifies a Bell-input diagnostic. A worst-case channel claim additionally uses (eq:Bellconversion), full process data, or another uniform channel certificate.
For complete-record tomography with a finite alphabet of size , coordinatewise Hoeffding and a union bound give, with probability at least ,
Complete-record laws and their residual instruments remain distinct, as emphasized in En03-A and Psy02-B CheungEn03A,CheungPsy02B. Repeated records inside one correlated attempt do not increase .
If normalized Choi states have a certified trace-distance discrepancy at most , then (eq:Choiconversion) supplies channel discrepancy at most , and Proposition prop:robustness propagates that allowance to the recovery optimum.
Repeated injections into one evolving source are not automatically independent. Shared residual memory, changing energy, and overlapping radiation require a history-conditional assessment model. Simulation of independent initial preparations is not observation of an astrophysical black hole.
Passive source observation also does not ordinarily supply a prepared logical input, its reference, or a controlled channel-tomography interface. Replacing a classical observation device by a quantum one does not create those absent access channels CheungPsy03D. The task-specific numerical bounds of that manuscript are not imported here.
A reproducibility record for any extension of the model should include:
code dimension, conserved sector, and allowed input states;
all initially fixed states and their purifiers;
every transition map, Hamiltonian, and charge operator;
radiation mode and occupation regulators;
pending, completed, vacuum, loss, and endpoint branches;
the complete observer channel and its excluded environment;
decoder and quantum/classical storage requirements;
exact or certified numerical norm and entropy errors;
the endpoint resource ledger;
sampling independence and validation-selection assumptions.
Displayed formulas in this passage
Hawk01-B@1#eq:BellSampling · line 2127
Hawk01-B@1#eq:recordsampling · line 2140
unlabeled · line 2122