FA-90869 / Quantum circuit simulation / Member archive

Statevector SWAP exchanges every differing pair twice · case 04

SWAP(0,2) after X on qubit 0 leaves the excitation on qubit 0; the gate acts as identity.

Member previewVariant 4 · 3 implementations · 7 checks per implementation

Case contract

Input [n, gates]; start in |0...0>, apply gates h,x,y,z,s,sdg,t (["g", q]) and cx,cz,swap (["g", a, b]) with qubit 0 as the least significant bit of the basis index; return the statevector as [re, im] pairs rounded to 6 decimals.

Why this case matters

Statevector simulators underpin circuit unit tests; a gate-kernel slip silently corrupts every downstream amplitude.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: random circuit 7	`[[0.0, 0.0], [0.0, 0.0], [1.0, 0.0], [0.0, 0.0]]`	`[[0.0, 0.0], [0.0, 0.0], [0.0, 0.0], [1.0, 0.0]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.