2019/10/14 by Andreas Blass, Blass, Andreas, Yuri Gurevich +1
Social Sciences · #Conflict of Laws and Jurisdiction #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
paper · pdf · doi:10.48550/arxiv.1910.06145
openalex publication_date 2019/10/14 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28
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 entanglement, the generalization is not straightforward. We consider only unitary quantum circuits here.