Algebraic Structure of Quantum Controlled States and Operators

Edwin Agnew, Lia Yeh, Richie Yeung

Quantum control is an important logical primitive of quantum computing programs, and an important concept for equational reasoning in quantum graphical calculi. We show that contro…