Dynamic Quantum Logic for Quantum Programs
Olivier Brunet, Philippe Jorrand
Abstract
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way, the evolution of the system becomes part of the logical study. We show how both unitary operations and two-valued measurements can be included in this formalism and can thus be handled logically.
Create a lesson
Related papers
Testing Gravitationally-Induced-Entanglement with Massive Particles and Quantum Clocks
Germain Tobar, Markus Aspelmeyer, Magdalena Zych
Recovery gates as a resource in repetition-code process tomography: exhaustive gate-optimal designs for three, five and seven qubits
Long Huang
Beyond Quantum Messages: Toward Quantum-Native Network Functioning
Angela Sara Cacciapuoti, Jessica Illiano, Caterina De Risi et al.
Dualities in one-dimensional quantum lattice models: Lie groups, Schur-Weyl duality and symmetry breaking
Dante Bosgoed, Frank Verstraete, Laurens Lootens
Entropic measures of quantum information
Roberto Rubboli, Bartosz Regula, Mario Berta et al.
Certifying quantum code and circuit distances at scale
Bin Cheng, Naixu Guo, Feng Pan