Repository navigation
Q16 — How are product tests expressed in subsystem spin? #17
marwahaha
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Discussion of Q16: How are product tests expressed in subsystem spin?.
Express the product test as triplet projections on corresponding pairs from two unentangled registers. Analyze completeness and soundness when it is used in a two-witness verification protocol.
Possible reductions, counterexamples, special cases, and related results are welcome. Please state the assumptions and link to relevant work.
The question page contains the full formulation and references. This conversation also appears beneath the question on both versions of the website.
All reactions