Simulating classical probabilistic algorithms

Let $S$ be a stochastic $n$-bit matrix, that is, $S$ is a $(2^n \times 2^n)$-matrix $(a_{ij})$ such that each $a_{ij} \in [0,1]$ and $\sum_{j=0}^{2^n-1} a_{ij} = 1$, for each $i = 0, \dots, 2^n-1$. Writing $|i\rangle$ for the $2^n$-vector representing the binary state of the $n$ bits coding the number $i$, we have $$S|i\rangle =…

A remark on reversible gates

Can the 0 gate be built as a circuit using only reversible gates?  in other words, is there a classical circuit $C$ of width $n$ (unkown), built entirely from reversible gates, such that its first wire produces output 0 no matter what the input is? The answer is no! To see why, let’s look at…

Close