32 citations · 206 across the 50 of their papers we have counts for
17 papers · 1 filter
What are kets?
Yuri Gurevich, Andreas Blass
According to Dirac's bra-ket notation, in an inner-product space, the inner product of vectors can be viewed as an application of the bra $\langle x|…
Software science view on quantum circuit algorithms
Yuri Gurevich, Andreas Blass
We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier…
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,…
Simple circuit simulations of classical and quantum Turing machines
Yuri Gurevich, Andreas Blass
We construct reversible Boolean circuits efficiently simulating reversible Turing machines. Both the circuits and the simulation proof are rather simple. Then we give a fairly stra…
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…
Input independence
Yuri Gurevich, Andreas Blass
We establish the following input independence principle. If a quantum circuit computes a unitary transformation along a computation path , then the probabilit…