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.
Structure before circuit tricks
Structure-aware preparation and verification
Can the preparation structure supply a cheap experimental witness?
\[F(\rho,|\psi\rangle)=\langle\psi|\rho|\psi\rangle\]
What this technique preserves
Keep kernel-checked ideal-circuit equality separate from noisy-hardware fidelity estimation. A structural witness needs an explicit measurement and sample-complexity theorem.
Hypotheses and hidden contracts
- Measurement access and noise model stated
- IID or non-IID assumptions explicit
- Confidence level, sample count and target description cost charged
Mathematical proof mechanism
This is an authored reusable derivation guide, not a claim that the full family has been source-assimilated.
- State the ideal target and the observed channel separately.
- Derive an observable or witness for the chosen state class.
- Bound estimation error and confidence under the measurement assumptions.
Exact Lean substrates
No local transport theorem is bound to this record. Do not infer formal truth from its position in the atlas.
Do not cross this boundary
The candidate hardware paper is not primary-verified here; no reported numerical performance is used as a proved bound.
Related transports
Source and prior-art ledger
Copy mathematical mechanism as LaTeX
% Authored mechanism lesson; not a new theorem certificate.
\section*{Structure-aware preparation and verification}
Can the preparation structure supply a cheap experimental witness?
\[
F(\rho,|\psi\rangle)=\langle\psi|\rho|\psi\rangle
\]
Keep kernel-checked ideal-circuit equality separate from noisy-hardware fidelity estimation. A structural witness needs an explicit measurement and sample-complexity theorem.
\paragraph{Hypotheses and contracts.}
\begin{enumerate}
\item Measurement access and noise model stated
\item IID or non-IID assumptions explicit
\item Confidence level, sample count and target description cost charged
\end{enumerate}
\paragraph{Mathematical proof mechanism.}
This is a reusable derivation guide; exact certified scope is given by the linked Lean signatures.
\begin{enumerate}
\item State the ideal target and the observed channel separately.
\item Derive an observable or witness for the chosen state class.
\item Bound estimation error and confidence under the measurement assumptions.
\end{enumerate}
\paragraph{Boundary.} The candidate hardware paper is not primary-verified here; no reported numerical performance is used as a proved bound.