← All research questions
Q34 / Computational complexity / question

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 question
Working mathematical formulation

An instance specifies a polynomial-size uniform adaptive STP controller with a polynomial stopping-time cutoff, an initial matching of singlets, an untouched reference qubit RR, and an output qubit BB. Decide whether the final unconditional probability Tr⁡(PsRBρout)\operatorname{Tr}(P_s^{RB}\rho_{\mathrm{out}}) is at least 2/32/3 or at most 1/31/3. 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

  1. Cost of transporting a singlet correlation

    Fix an interaction graph, an initial supply of singlets and maximally mixed qubits, an untouched reference RR initially paired with an input qubit, and an output qubit BB. For a history hh, let c(h)c(h) count all pair measurements, or only measurements crossing a specified spatial cut. For a target fidelity F>1/2F>1/2, define the minimum expected cost over adaptive protocols satisfying Tr⁡(PsRBρout)≥F\operatorname{Tr}(P_s^{RB}\rho_{\mathrm{out}})\ge F, 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.