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.
QuantumComputingBench · graph-grounded exercise book
Mathematical exercise book
The same five-part curriculum, with no duplicate mathematical core counting. Read and solve substantial quantum-computing problems without learning Lean syntax.
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.
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.
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.
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.