FA-90872 / Quantum circuit simulation / Member archive
Statevector Hadamard negates the wrong branch · case 02
H applied to |1> returns (-|0> + |1>)/sqrt2 rather than (|0> - |1>)/sqrt2, so later interference cancels the wrong outcome.
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 fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: sdg after h | [[0.707107, 0.0], [0.0, 0.0], [0.0, 0.707107], [0.0, 0.0]] | [[0.707107, 0.0], [0.0, 0.0], [0.0, -0.707107], [0.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.
Sign in to the archive ↗