constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
quantum algorithms:
In qbit-based quantum computation, by the Pauli gates one means the linear basis of quantum gates on single qbits, hence on the 2-dimensional Hilbert spaces , which, in terms of the canonical quantum measurement-basis , are given by the Pauli matrices.
Explicitly this means that (in the conentional normalization) the:
The Hadamard gate transforms the eigenstates , of the Pauli Z-gate into those of the Pauli-X gate, a relation that is elaborated on by the correspondingly named ZX-calculus.
For example:
Created on March 7, 2023 at 15:10:18. See the history of this page for a list of all contributions to it.