QuantumComputingBench · graph-grounded exercise book

Learn the mathematics. Inspect the evidence.

A substantial open exercise book for quantum-computing knowledge, derivations and proof skills. Two reader paths share one mathematical core registry, the same graph identities and the same split contracts.

Textbook edition in progress, not a stable benchmark claim. 198 retained native core IDs; global semantic deduplication and fresh editorial review are incomplete. Public answers are open training/diagnostic material, not a hidden evaluation set.

Read without Lean

Mathematical questions and solutions

Definitions, reasoning, constructions, counterexamples and carefully stated assumptions. No Lean installation needed.

Inspect the formal interface

Lean companion and proof tasks

3 aligned native formal views with fixed-reference checks and explicit semantic boundaries. Three separate legacy API warmups are also available.

Five parts, one source of truth

Part 1

Shared mathematical foundations

Start with dimensions, inner products, isometries and explicit conventions. The same foundations support state preparation, block encoding and later quantum-information arguments.

58 native core IDs · 8 topics

Part 2

State Preparation

Reason from a target amplitude family to normalization, structural representations and a preparation construction. Inspect sparse and zero boundaries before transferring an argument to a circuit interface.

31 native core IDs · 2 topics

Part 3

Block Encoding and oracle composition

Track the represented operator, its normalizer and the accepted subspace. Keep preparation, SELECT, unprepare, workspace cleanup and resource tiers visible when composing constructions.

23 native core IDs · 2 topics

Part 4

Quantum Information

Study state and channel representations, symmetry and tensor structure through primary-source-grounded problems. Planned curriculum anchors are not local Lean closure for the complete answers.

53 native core IDs · 4 topics

Part 5

Quantum Scientific Computing

Follow the roles of input states, operator access, polynomial transformations and output interpretation. Source-only algorithm questions keep their assumptions and query/gate/readout boundaries explicit.

33 native core IDs · 4 topics

Read, solve, then inspect

Choose a part and topic. Check dimensions, normalization, phase and resource conventions first.
Attempt the question before opening the hint or solution.
Follow exact graph/source anchors. Source-backed and planned material are visibly different evidence classes.
Use the Lean path to contribute a matching formal view, not another copy of the same question.

Contributor tracks and compatibility contract · Release boundaries and current acceptance gates