ZKSF
Zero Kelvin Simulation Foundry
Certificate of Simulation Accuracy
Certificate ID
55cefd26a25841df
Certified: measured error bound 0.00e+00
Engine
pauli.cpu
Method
Pauli propagation (Heisenberg picture)
Shots
1000
Expectation
-1.13714562908
Discarded coeff. mass
0.000e+00
Error bound
0.000e+00
Converged
yes
How this certificate was produced
- This job used the certified ZCC-v0.1 path. The simulator was run with state renormalization disabled, so the final state's norm deficit equals the total weight discarded by every truncation performed during simulation. Call this quantity eps.
- Each individual truncation keeps the largest singular values and is therefore optimal by the Eckart-Young theorem, and eps is read directly from the final state rather than estimated or extrapolated. The quantity is measured in this one run, not inferred by comparing separate runs.
- The reported error bound is the square root of twice eps. It bounds the error on any single outcome probability when the individual truncation errors accumulate incoherently. That condition is not always met: a circuit performing N truncations admits an adversarial accumulation of up to the sum of sqrt(eps_i) over those truncations, and in deep circuits eps has been measured to understate the true infidelity by up to a factor of 7. The bound is therefore reported as an empirical result rather than as a consequence of that derivation.
- Across 334 runs at sizes where the exact answer is computable, including 290 constructed specifically to falsify it, the reported figure was never exceeded; the closest approach reached 49 percent of its value. Those checks require an exact reference and so extend to 20 qubits. Above that size the bound cannot be verified by direct comparison and no such evidence exists. Where a hard ceiling is required, use an exact or stabilizer engine.
Circuit SHA-256: e3c2dcf914839bbf11c09daa0e43eb555f577c469382f59d4d57d57bbfc734ae