24 citations · 60 across the 16 of their papers we have counts for
9 papers · 1 filter
Wigner's quasidistribution and Dirac's kets
Andreas Blass, Yuri Gurevich, Alexander Volberg
In every state of a quantum particle, Wigner's quasidistribution is the unique quasidistribution on the phase space with the correct marginal distributions for position, momentum,…
Quantum circuits with classical channels and the principle of deferred measurements
Yuri Gurevich, Andreas Blass
We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any…
Reversify any sequential algorithm
Yuri Gurevich
To reversify an arbitrary sequential algorithm , we gently instrument with bookkeeping machinery. The result is a step-for-step reversible algorithm that mimics step-for…
Circuits: An abstract viewpoint
Andreas Blass, Yuri Gurevich
Our primary purpose is to isolate the abstract, mathematical properties of circuits -- both classical Boolean circuits and quantum circuits -- that are essential for their computat…
Circuit pedantry
Andreas Blass, 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…
Witness Algebra and Anyon Braiding
Andreas Blass, Yuri Gurevich
Topological quantum computation employs two-dimensional quasiparticles called anyons. The generally accepted mathematical basis for the theory of anyons is the framework of modular…