wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform #137

Merged

dcharlot merged 2 commits from wai-quantum-sota into main 2026-10-01 20:30:28 -04:00

Conversation 0 Commits 2 Files changed 25 +2528 -44

2026-10-01

Transaction Science

ci: run wai-quantum's integration tests on every architecture in the matrix ...

The energy-receipts workflow ran wai-quantum with --lib only, so the
integration tests never ran in CI: tests/bit_identity.rs, which pins one
result of each f64 layer and exists to make every architecture produce the
same bits, and tests/utility_reference.rs, which holds the 127-qubit
results to published values. --tests adds them on linux, linux-arm64 and
macos.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

ba653dac59

• View at this point in history

2026-10-01 15:15:24 -04:00

Transaction Science

wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform ...

quantum_spd computes observables of circuits up to 1024 qubits with
arbitrary rotation angles, in the Heisenberg picture. Until now every
backend took the dyadic circuit type, which allows only Clifford, T and
2π/2^k phases, and sparse-Pauli propagation stopped at 64 qubits. The
experiments that classical methods are known for reproducing were out of
reach.
- Clifford gates and quarter-turn rotations are exact.
- Continuous rotations merge in place, over an insertion-ordered term table,
  so every coefficient is added in the same order on every platform.
- Every dropped coefficient goes into a truncation bound, a rigorous limit on
  how far truncation can have moved the result.
- On the 127-qubit heavy-hex kicked-Ising circuits, it reproduces the exactly
  computed 5-step magnetization (arXiv:2308.05077 exact.csv) on all 127
  qubits: 0.995131 against 0.995131 at θ_h = π/32, exact propagation.
- 20-step ⟨Z62⟩ at 2π/32 falls inside the published converged classical
  values.

quantum_spd_receipt seals a run under a meter. The result is computed inside
the seal, floats are hashed and serialized as exact bits, and
verify_computation re-runs the job anywhere and demands the same bits. The
energy is attested, and can carry an energy-class label.

Defects fixed:
- quantum_pauli was not reproducible from run to run. It summed
  coefficients in std HashMap order, which is seeded afresh for every map, so
  six runs gave six bit patterns. It now visits terms in key order.
- Four f64 layers (vml, phasor, qfhrr, kernel) gave different bits natively
  and as a WASI component, through the platform's cos, sin, ln and atan2.
  That falsified the crate's identical-native-browser-edge claim. src/repro.rs
  computes them in-crate (fdlibm's algorithms, + − × ÷ only, within an ulp).
  The MPS backend, whose contract excludes transcendentals, used them too.
  tests/bit_identity.rs pins a digest per layer, confirmed natively and
  under wasm32-wasip2.

wai-rs:
- passthrough features quantum_spd and quantum_spd_receipt;
- `wai-quantum utility [--theta --steps --threshold -q --json --receipt]`;
- `verify` reads both receipt kinds.

The utility receipt is byte-identical natively and under wasm32-wasip2.
Dependent lockfiles were moved.

Every feature now builds on its own with no warnings. The merkle module is
compiled only for the receipt features that use it, and the QEC encoder's
row reduction only with the simulator it serves.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

617075d387

• View at this point in history

2026-10-01 15:13:52 -04:00