Can antisymmetry become an operational resource?
Treat measurements within fixed blocks as free and charge for measurements between blocks. Can an average monotone of singlet correlations or multiplicity information bound state-conversion cost?
Discuss this questionAs one concrete restricted model, divide labeled qubits into fixed blocks of at most qubits. Allow adaptive STP inside a block, fresh maximally mixed local ancillas, and local discarding at zero cost; charge one unit for a measurement joining different blocks. Is there a nonnegative state functional , vanishing on the chosen free initial states, that is nonincreasing on average under free instruments and increases by at most a constant per charged measurement? Seek a lower bound on the expected number of cross-block measurements needed for a specified state-conversion task.
The block-restricted model is one possible resource-theory convention. State explicitly whether a bound is averaged over measurement outcomes or required for every outcome. A useful measure should depend on more than the globally conserved spin label.
Why this is interesting
A count of singlet pairs can miss overlapping constraints and delocalized correlations. Declaring all adaptive STP free would also make many intended resources freely generatable.
Explicit variants
Alternative restrictions
Repeat the question with geometry, bounded adaptive depth, or a restricted preparation library as the charged resource. Each choice defines a different resource theory and must have its own free states and operations.
Monotones of the actual STP process
On a fixed closed register, characterize functions satisfying for every allowed pair measurement. Separate conserved sector weights from quantities sensitive to the multiplicity state, and ask whether any such quantity bounds a stated conversion cost. An average monotone need not decrease in each selected branch.
Information encoded in antisymmetry
At fixed total spin, compare states with the same total singlet weight but different pair probabilities, multiplicity correlations, or coherence. Which distinctions predict advantage for a stated conversion or inference task? Determine which candidate information is operationally accessible under the chosen real invariant instruments.
Subsystem-spin martingales and constraints
For outcome history on a fixed register, let . Which functions of the overlapping distributions are conserved, martingales, or supermartingales under every allowed next pair measurement? Include functions of multiplicity data when the marginal distributions are insufficient. A bound on a stopped protocol must state its stopping and integrability assumptions.
A place to start
Test candidate measures on two singlets, their recoupled branches, and a fully symmetric state; reject candidates that merely reproduce global total spin.
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.