7

In ZX-calculus, the $\pi$-copy rule is quite famous, and is used for instance here:

enter image description here

However, this paper never introduces this rule, and says that this set is enough to prove the Clifford completeness of the ZX calculus:

enter image description here

Is it just that they forgot it, or is this rule derivable from others?

Léo Colisson
  • 656
  • 4
  • 12
  • In figure 1 of this paper, they give the $\pi$-copy rule in the set of the rules of ZX. I don't think they derive it from any other rule in here. – epelaez Sep 03 '21 at 12:52
  • @epelaaez Yes, like many papers. Does that mean that the paper I mention just forgot it, or am I missing something else? – Léo Colisson Sep 03 '21 at 13:13

2 Answers2

5

It's indeed not, and so are other rules frequently used, like what we called Hopf law. These things were derived in the 2011 ZX-paper with Ross Duncan. Think of them as shortcuts. Many more of those have been derived by others and are frequently used. In our dodo book we have an entirely different rule taking care of red-green-phase interaction. This is really what a lot of maths is about: deriving results that simplify reasoning.

Adam Zalcman
  • 22,278
  • 3
  • 34
  • 83
Bob Coecke
  • 66
  • 1
  • Welcome to QCSE, Bob! It's very cool to see you join! I took the liberty to add links to your answer, but note that you should be able to roll back or edit further if you disagree with my change. – Adam Zalcman Sep 07 '21 at 18:43
  • 1
    Cheers Adam! Didn't even know this existed, that's called being old. – Bob Coecke Sep 07 '21 at 19:15
  • Thank you very much for your answer, and welcome! So I've been reading your paper, but I can't find where is the proof; The closest I can find are proofs page 67 but they all seem to implicitely use rules that are not in the above list. For instance, bialge => comul seems to use the "comonoid homomorphism laws" (which seems to be basically a $\pi$-copy rule, see e.g. 2.6), but this rule is not in the list I provided. Also, you do introduce K1 in the list of rules in figure 1, while the Hopf rule is not present and derived later. Am I missing something obvious to derive K1? – Léo Colisson Sep 08 '21 at 17:19
  • Also, concerning the dodo book, I recently bought it, and it is definitely a great book, I love it, thanks for it! But I'm trying to read it linearly (no spoil:-P), and I'm not yet that far, I'm still seing classical maps. But I tried to jump a bit ahead, and the rule that you introduced is interesting, But I still need to find how to obtain it given the above rules, and how this rule can be used to derive other equations (as far as I can see this is not explained in the book). But it's quite surprising to see that such few rules are needed! – Léo Colisson Sep 08 '21 at 17:38
  • Hi Leo, coherence are the copy-laws that are part of the bialgebra structure, but we did assume well-pointedness in order to get a more general result than just 2D ZX, since e.g. in 3D many other things fail. Here they don't: https://arxiv.org/pdf/1709.08903.pdf – Bob Coecke Sep 09 '21 at 09:18
  • 1
    Btw @LéoColisson are you aware of the ZX-calc Discord where questions likes these are frequently discussed? Join here: https://zxcalculus.com/ – Bob Coecke Sep 09 '21 at 09:24
  • Thanks a lot for pointing me to the ZX discord, it's a great channel! I got different proofs (see my answer), and I'll accept your answer. Thanks! – Léo Colisson Sep 10 '21 at 07:44
4

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 interesting proofs. This method also works in the real stabiliser fragment, where Lemma A.13 is taken as a an axiom instead of the EU rule.

enter image description here

enter image description here

enter image description here

Second proof (thanks John van de Wetering)

First, we derive the Y-state-identity, for instance given here in appendix A (I rewrote the proof with scalars):

enter image description here

It is now trivial to derive the equivalence between the two forms of the Hadamard (it is also possible to show that the last form is true when inverting all angles by using the fact that $HH=I$):

enter image description here

Then, John was proposing this reduction (sorry, I've no time to write it down properly, so I shamefully copy/pasted his picture), where the Y-state identity is used in the last equation of the first line, and where the Hadamard identity is used right after, then it is the Hopf rule and the last equality can be proven using the K-rule + bialgebra + hopf (one may need also a proper analysis of scalars...):

enter image description here

Léo Colisson
  • 656
  • 4
  • 12