How hard is predicting singlet transmission under STP?
Use a final singlet correlation with an untouched reference as the output of a computation.
Discuss this questionAn instance specifies a polynomial-size uniform adaptive STP controller with a polynomial stopping-time cutoff, an initial matching of singlets, an untouched reference qubit , and an output qubit . Decide whether the final unconditional probability is at least or at most . Averaging is over all measurement histories; no exponentially unlikely postselection is allowed. Establish reductions and study restricted schedules, locality, and transmission cost.
Why this is interesting
The final singlet probability gives an observable output criterion for an adaptive STP protocol, including all measurement histories. Following how the reference correlation moves may help relate computational cost to intermediate multiplicity states; transporting a single singlet along a simple route need not be hard.
Explicit variants
Cost of transporting a singlet correlation
Fix an interaction graph, an initial supply of singlets and maximally mixed qubits, an untouched reference initially paired with an input qubit, and an output qubit . For a history , let count all pair measurements, or only measurements crossing a specified spatial cut. For a target fidelity , define the minimum expected cost over adaptive protocols satisfying , where the output averages over all histories. Require termination and state whether fresh ancillas, discarding, and record-dependent output registers are permitted. Bound this cost using geometry and the multiplicity-space correlations created during the protocol. This is an optimization problem; distinguish it from predicting the output of a supplied controller. For fixed-total-spin comparisons, use closed registers and compatible initial and target states.
A place to start
Prove membership by gate-model simulation, then give a complete reduction from a bounded-error computation using singlet recoupling and a bounded recovery procedure. Track the acceptance gap and every unsuccessful branch.
Related work
These works provide context and established results. They need not be the origin of this exact formulation.
Discuss this question
Reading is public. Posting requires a GitHub account. You can also write to Kunal.