4 problems
- 0 votes0 replies0 views
The quadratic-representative conjecture for Pauli-realizable statistics
Quadratic-representative conjecture. Pauli-realizable statistics correspond to cohomology classes that admit quadratic representatives in the gauge fields at the cochain level, com…
- 0 votes0 replies0 views
The Pauli-statistics embedding conjecture
Pauli-statistics embedding conjecture. Pauli statistics embeds into non-Pauli statistics; equivalently, Pauli statistics forms a subgroup of the full classification.
- 0 votes0 replies0 views
Full abstraction for nondeterministic observational equivalence in NLSPL
Let be the extension of the stabiliser programming language with arbitrary classical operations, and let and be well-formed judgements in .…
- 0 votes0 replies0 views
Full abstraction for possible measurement outcomes
The paper develops a denotational semantics for stabiliser quantum programs and considers the equivalence relation induced by the set of measurement outcomes that can occur. Full-a…