Current Research in Operational Quantum Logic

David Moore, Frank Valckenborgh

Goran Negovetic, Marek A. Perkowski, Martin Lukáč +1 more

1.0 The goal of this research The goal of the PQLG group is to develop complete methodologies, software tools and circuits for quantum logic. Our interests are mainly in logic synthesis for quantum circuits and quantum system design [10]. Emulation of quantum circuits using standard reconfigurable FPGA technology and FPGA-based Evolvable Quantum Hardware, proposed here, are research areas not yet dealt with by other research groups. A parallel software simulator was presented in [13]. 1.1 Quantum Logic and Gates Unlike classical bits that are realized as electrical voltages or currents present on a wire, quantum logic operations manipulate qubits [12]. Qubits are

Bob Coecke, David Moore, Alexander Wilce

Bob Coecke, David Moore, Alexander Wilce

Introduction. Operational quantum logic: An overview B. Coecke, et al. I: Algebras. Algebraic aspects of orthomodular lattices G. Bruns, J. Harding. Observables in the logico-algebraic approach P. Ptak. Test spaces and orthoalgebras A. Wilce. Representations on unigroups D.J. Foulis. Free extensions of group actions, induced representations, and the foundations of physics D.J. Foulis, A. Wilce. II: Categories. Short introduction to enriched categories F. Borceux, I. Stubbe. Operational Galois adjunctions B. Coecke, D. Moore. Operational axiomatics and compound systems F. Valckenborgh. Quantales J. Paseka, J. Rosicky. III: Languages. Quantales and observational semantics P. Resende. Quantum languages S. Gudder. Indices. Concept index. Citation index.

Sonja Smets

Barry C. Sanders

Quantum computer technology is progressing rapidly with dozens of qubits and hundreds of quantum logic gates now possible. Although current quantum computer technology is distant from being able to solve computational problems beyond the reach of non-quantum computers, experiments have progressed well beyond simply demonstrating the requisite components. We can now operate small quantum logic processors with connected networks of qubits and quantum logic gates, which is a great stride towards functioning quantum computers. This book aims to be accessible to a broad audience with basic knowledge of computers, electronics and physics. The goal is to convey key notions relevant to building quantum computers and to present state-of-the-art quantum-computer research in various media such as trapped ions, superconducting circuits, photonics and beyond.