QuantumComputingBench · graph-grounded exercise book
Start with dimensions, inner products, isometries and explicit conventions. The same foundations support state preparation, block encoding and later quantum-information arguments.
Back to Shared mathematical foundations
These links open the shared core's formal companion panel. Each card distinguishes admitted fixed-reference views from pending formalization. Preserve the exact core contract and split; a formal view is not another core.
A reversible gate flips a target bit exactly when two control bits are both1. Assume each control wire is distinct from the target, but allow the two control wires to coincide. Prove the gate is its own inverse and expla…
nl bridge from inspected source
On a two-bit string(c,t), consider the update that flips c itself when c=t=1 and otherwise does nothing. Does the familiar self-inverse proof for a two-control target flip remain valid when one control is also the target…
nl bridge from inspected source