Circuit pedantry

Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich


Boolean and quantum circuits have commonalities and differences. To formalize the syntactical commonality we introduce syntactic circuits where the gates are black boxes. Syntactic circuits support various semantics. One semantics is provided by Boolean circuits, another by quantum circuits. Quantum semantics is a generalization of Boolean but, because of entan- glement, the generalization is not straightforward. We consider only unitary quantum circuits here.

Full Text:



  • There are currently no refbacks.