Researchers develop unconditional verification tests for quantum sampling advantage using single-bit and pair correlations, with machine-checked proofs in Lean 4 and identified paths toward complete soundness.
@informaq.bsky.socialExplore
@informaq.bsky.social@informaq.bsky.socialProves the diagonal-lines test cannot be removed from quantum soundness analysis without breaking global compatibility. Constructs explicit counterexample showing axis-parallel consistency alone cannot enforce required measurement commutativity.