wai-quantum 0.6.4: Pauli frames, the GPU state vector, the density matrix to 16 qubits, an OpenQASM writer that keeps every gate; the service for agents and browsers #320

Merged

dcharlot merged 21 commits from wai/quantum-0.6.4-pr into main 2026-10-18 15:44:15 -04:00

Conversation 0 Commits 21 Files changed 34 +7354 -108

dcharlot commented 2026-10-18 10:21:14 -04:00

Owner

Copy link

wai-quantum 0.6.4 and the job service's usability round. Additive: every pinned digest is unchanged, and the state vector, the trajectories and the sparse-Pauli engine give the same bits as before. The CHANGELOG entry has the measurements.

wai-quantum

• Noisy Clifford circuits by Pauli frames (quantum_tableau::frame_counts, frame_expectations): one noiseless reference outcome, frames sampled 64 shots to a word with a random-Z gauge. 10,000 qubits, 100,000 gates and 100,000 shots in 1.6 s. Mutants (a dropped two-qubit partner, a dropped gauge) are caught.
• The state vector on the GPU (quantum_sv_metal, macOS): single precision, tiled in threadgroup memory, one pipeline per group size up to sixteen members; checked against the CPU state vector.
• The density matrix by superoperators (DensityMatrix::evolve) to 16 qubits: 12 qubits in 0.53 s against 158 s for run, which stays as the referee.
• quantum_spd::expectation_capped: a term cap that doubles the threshold and keeps the bound.
• Faster, same bits: state-vector kernels at compile-time sizes (two to five qubits); the tensor-network executor's products blocked for the cache and threaded over rows.
• The OpenQASM writer keeps every gate. A gate with three or more controls (Grover's search past three qubits) was written as a comment, so the exported program was not the circuit. It is now written as OpenQASM 3's ctrl(n) @ g, and from_qasm reads the modifiers back.
• Word-sized counters where 64-bit atomics are absent on some targets.

wai-quantum-service (not published; live at /quantum-jobs/)

• An MCP endpoint (five tools, summaries written for models), OpenAPI 3.1, worked examples and a root index.
• Receipts sign the RFC 8785 canonical text of the request and the result, so a result verifies after any JSON reader has carried it, a browser's included (numbers checked against a JavaScript engine on 2 million doubles); receipts made before still verify. A job carries its request, so its id alone verifies.
• Numbers are read correctly rounded: before, a result could change in its last bit between the job's process and the reply.
• OpenQASM 3 control modifiers, written exactly as standard gates (a phase on m qubits as 2^m − 1 cx and as many p), checked amplitude by amplitude against the gate applied directly.
• The stabilizer method takes Pauli noise; statevector_single on the GPU; density_matrix to 16 qubits; the pauli method held to the job's memory by a term cap; fix-it hints on the commonest program errors.

The live IDE's package is already built from this branch's rehearsal (fbaa1cda); its row moves to the merge commit when this lands.

🤖 Generated with Claude Code

wai-quantum 0.6.4 and the job service's usability round. Additive: every pinned digest is unchanged, and the state vector, the trajectories and the sparse-Pauli engine give the same bits as before. The CHANGELOG entry has the measurements. **wai-quantum** - **Noisy Clifford circuits by Pauli frames** (`quantum_tableau::frame_counts`, `frame_expectations`): one noiseless reference outcome, frames sampled 64 shots to a word with a random-Z gauge. 10,000 qubits, 100,000 gates and 100,000 shots in 1.6 s. Mutants (a dropped two-qubit partner, a dropped gauge) are caught. - **The state vector on the GPU** (`quantum_sv_metal`, macOS): single precision, tiled in threadgroup memory, one pipeline per group size up to sixteen members; checked against the CPU state vector. - **The density matrix by superoperators** (`DensityMatrix::evolve`) to 16 qubits: 12 qubits in 0.53 s against 158 s for `run`, which stays as the referee. - **`quantum_spd::expectation_capped`**: a term cap that doubles the threshold and keeps the bound. - **Faster, same bits:** state-vector kernels at compile-time sizes (two to five qubits); the tensor-network executor's products blocked for the cache and threaded over rows. - **The OpenQASM writer keeps every gate.** A gate with three or more controls (Grover's search past three qubits) was written as a comment, so the exported program was not the circuit. It is now written as OpenQASM 3's `ctrl(n) @ g`, and `from_qasm` reads the modifiers back. - Word-sized counters where 64-bit atomics are absent on some targets. **wai-quantum-service** (not published; live at `/quantum-jobs/`) - An MCP endpoint (five tools, summaries written for models), OpenAPI 3.1, worked examples and a root index. - Receipts sign the RFC 8785 canonical text of the request and the result, so a result verifies after any JSON reader has carried it, a browser's included (numbers checked against a JavaScript engine on 2 million doubles); receipts made before still verify. A job carries its request, so its id alone verifies. - Numbers are read correctly rounded: before, a result could change in its last bit between the job's process and the reply. - OpenQASM 3 control modifiers, written exactly as standard gates (a phase on m qubits as 2^m − 1 `cx` and as many `p`), checked amplitude by amplitude against the gate applied directly. - The stabilizer method takes Pauli noise; `statevector_single` on the GPU; `density_matrix` to 16 qubits; the pauli method held to the job's memory by a term cap; fix-it hints on the commonest program errors. The live IDE's package is already built from this branch's rehearsal (fbaa1cda); its row moves to the merge commit when this lands. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

dcharlot added 20 commits 2026-10-18 10:21:14 -04:00

wai-quantum 0.6.4: noisy Clifford circuits by Pauli frames on the wide tableau; the service's stabilizer method takes Pauli noise ... b3222620a6

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

wai-quantum 0.6.4: the dense state vector in single precision on the GPU, tiled; the service's statevector_single method ... f4d3a5d6a4

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

wai-quantum-service: smoke-check the GPU state vector against the CPU one where the service has a GPU ... 4c70bcd160

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

CHANGELOG: the GPU state vector measured at 26, 31 and 33 qubits through the public service ... 35795a8571

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

wai-quantum: state-vector kernels for two to five qubits at compile-time sizes, gathered lanes for low strides; same bits ... 17c8b51ae5

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

wai-quantum: sixteen-member groups on the GPU, one output a thread in the tile; four-qubit gates always tiled ... 353250d18a

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

wai-quantum: the density matrix by superoperators to 16 qubits (DensityMatrix::evolve); the service's density_matrix on it ... 3c8caa16c9

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

wai-quantum: expectation_capped, a term cap that doubles the threshold and keeps the bound ... 0704b359c2

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

wai-quantum: word-sized counters for trajectory trees and frame batches (no 64-bit atomics on some targets) ... 2c7ab0ef35

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

wai-quantum-service: the pauli method held to the job's memory by a term cap (max_terms), threshold_reached reported ... cf1d0f3d04

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

wai-quantum: the tensor-network executor's products blocked for the cache and threaded over rows; same bits ... dc40f46b91

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

wai-quantum-service: an MCP endpoint (five tools, summaries written for models), OpenAPI 3.1, worked examples, and a root index ... 6041318ac9

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

wai-quantum-service: long outcomes written short for agents; fix-it hints on the commonest program errors ... e092f286b0

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

wai-quantum-service: a job carries its request as submitted, so whoever holds the id can check the receipt ... 19eef3bb47

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

wai-quantum-service: the fix-it hints compile (match on the word's str), with a test for each ... 72d18742d1

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

wai-quantum-service: receipts sign the RFC 8785 canonical text, so a result verifies after any JSON reader has carried it ... 5794be59d1

A browser's JSON.parse and JSON.stringify turn 1.0 into 1, so a receipt over
serde_json's own text could not be checked from JavaScript (the console, or
any JS agent). The digest now covers the canonical text of the request and
the result: keys sorted by UTF-16 code units, no whitespace, every number as
ECMAScript's Number::toString writes the double, ties between equally near
shortest digits going to the even one, as the standard asks. The receipt
names the form ("canon": "rfc8785"); receipts issued before it still
verify. serde_json reads numbers correctly rounded (float_roundtrip), and a
request whose whole numbers a double cannot hold is refused. Checked against
a JavaScript engine: RFC 8785's appendix B and 3,385 vectors in the tests,
and 2 million random doubles in an opt-in test.

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

wai-quantum: the OpenQASM writer keeps every gate: controlled gates without a standard name in OpenQASM 3's modifier form, read back by from_qasm ... 23855ce73b

A gate with three or more controls (Grover's oracle and diffusion past three
qubits) was written as a comment, so the exported program was not the
circuit. to_qasm now writes ctrl(n) @ g for every controlled gate without a
standard name (ch included), and from_qasm reads ctrl, ctrl(n), negctrl and
negctrl(n). Gates exact here only up to a global phase (rz, rx, ry, sx, u) are
refused under a modifier, since a control makes that phase observable.
Checked: each base gate under zero to five controls reads back op for op;
Grover on five and seven qubits keeps its state.

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

wai-quantum-service: OpenQASM 3 control modifiers, written exactly as standard gates ... 676d277195

ctrl @, ctrl(n) @, negctrl @ and negctrl(n) @ on x y z h s sdg t tdg p and on
cx cy cz ch cp ccx ccz. A gate the standard names is read as that gate, so a
Clifford program keeps the stabilizer method. A phase on m qubits is written
from x1...xm = 2^(1-m) sum over nonempty S of (-1)^(|S|+1) parity(S): each
subset's parity gathered on its highest qubit by cx in Gray-code order and
turned by p(+-theta/2^(m-1)), 2^m - 1 of each, exact with no global phase.
x, y and h become a phase by a change of basis on the target. Checked on a
6-qubit state against the 2x2 gate applied directly where the controls hold,
every amplitude within 1e-12; the test fails when the expansion's signs or its
releases are broken. Grover as the IDE exports it finds its item on the exact
and statevector methods.

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

wai-quantum-service: smoke-checks Grover as the IDE writes it, its Z gates under four controls ... 4e0672bd90

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

wai-quantum-service: the MCP and OpenAPI descriptions of the program name the control modifiers, ch, and reset before a qubit's first gate ... f004c9c258

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

dcharlot added 1 commit 2026-10-18 15:43:48 -04:00

Merge origin/main into wai/quantum-0.6.4-pr; CHANGELOG keeps every entry ... ae3f6eedf1

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

dcharlot merged commit 37c9c22fee into main 2026-10-18 15:44:15 -04:00

dcharlot referenced this pull request from a commit 2026-10-18 15:44:16 -04:00

Merge pull request 'wai-quantum 0.6.4: Pauli frames, the GPU state vector, the density matrix to 16 qubits, an OpenQASM writer that keeps every gate; the service for agents and browsers' (#320) from wai/quantum-0.6.4-pr into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

Transaction-Science/open-standards!320

No description provided.