Léo Colisson
  • Member for 2 years, 10 months
  • Last seen more than a week ago
ZX-calculus: pi-copy rule not required for completeness?
4 votes

After asking on the Discord (thanks for pointing me to that Bob!), I got several proofs. First proof (thanks Miriam Backens) Lemma A.13, A.14 and A.15 of this paper, which contains also many ...

View answer
Forming states of the form $\sqrt{p}\vert 0\rangle+\sqrt{1-p}\vert 1\rangle$
4 votes

I did not thought much about that issue, so my answer may not be the best one, but it has the advantage of being quite simple to understand, it is exact even if you restrict yourself to Clifford+T, ...

View answer
What observable do we measure at the end of a quantum search algorithm?
Accepted answer
3 votes

Usually, when we don't specify, we measure in the computational basis, i.e. each qubit is measured using the observable $Z$.

View answer
Show that if $b'$ and $b$ are uncorrelated, then $a'$ and $a$ are uncorrelated
1 votes

So first, let's define a bit your notations. I guess (correct me if I'm wrong) that you consider Bob honest, and that what you denote by $\Psi_{a_k,b_k}$ is the BB84 qubit in basis $\{0,1\}$ if $b_k = ...

View answer
ZX-calculus : measurement and output probabilities
Accepted answer
0 votes

So, in order to clarify what I wrote in the comments I'll write an answer here. I found a convincing approach by adding variables to nodes and combining it to ZX-Calculus with scalars (scalars are ...

View answer