research
∙
03/06/2023
Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace
Although quantum circuits have been ubiquitous for decades in quantum co...
share
research
∙
04/25/2022
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
We introduce the LOv-calculus, a graphical language for reasoning about ...
research
∙
03/02/2021
Coherent control and distinguishability of quantum channels via PBS-diagrams
We introduce a graphical language for coherent control of general quantu...
research
∙
02/21/2020