Coming soon
This note is part of the notebook and is planned, but has not been written yet.
Planned coverage: The linear-algebraic reading of a circuit — gates as unitary matrices, registers as tensor products, and a whole circuit as one large unitary.