QuantumComputingBench · graph-grounded exercise book
Reversible Classical
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
train · proof
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
train · counterexample
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