Specify the measurement and statistical experiment.
Acceptance: Outcome law, confidence and noise assumptions are formal objects.
planned; no claimed closure
Structure before circuit tricks
Joint design of preparation and experimental verification
Full tomography is not the correct default output task; preparation structure may enable a cheaper witness.
research target setting:structured-witness-measurements
\[\Pr[|\widehat F-F(\rho,|f\rangle)|\le\epsilon]\ge1-\delta\]
Frozen target and input model
Automatically derive a low-sample fidelity witness for a precisely defined structured state class.
Access model: Copies or channels producing rho, a specified measurement family, classical target representation and declared IID/noise assumptions.
- Target and implemented noisy state distinguished
- Witness computation and measurement basis-change cost included
- Confidence, bias and non-IID handling not silently omitted
Desired result, not an achieved bound
A witness correctness theorem, finite-sample bound and implementation cost for one state family.
A Lean ideal-circuit proof does not certify noisy hardware. The user-supplied 2609.08414 reference remains primary-source-unavailable in this ledger.
Dependency-ready execution route
Derive a structure-specific fidelity witness.
Acceptance: Unbiasedness or certified one-sided bias and computable observable.
planned; no claimed closure
Prove sample and basis-change complexity.
Acceptance: End-to-end confidence statement with no uncharged target tomography.
planned; no claimed closure
Next bounded advance: Verify the primary hardware reference first; start formal work from a small exactly analyzable MPS witness.
Reusable mathematics
No local transport theorem is bound to this record. Do not infer formal truth from its position in the atlas.
Lower-bound comparison contract
model-definition-pending
Distinguish lower bounds for full tomography, fidelity estimation and a promised structured witness.
Same-model key: setting:structured-witness-measurements
Diagnostic examples, not proofs
- Product-state witness
- Small exact MPS with prescribed measurement access
- Structured function signals
Primary-source ledger
primary-source-unavailable User-supplied arXiv identifier; primary fetch failed; do not use reported hardware numbers as evidence
Retained in the candidate queue rather than silently promoted from secondary indexing.
Download bounded agent / contributor packet
python3 website/scripts/research_atlas.py context --route spw-verification