I think quantum computing is at the start of a notation transition, from using mainly quantum logic circuits to using mainly ZX graphs. It makes things that use

I think quantum computing is at the start of a notation transition, from using mainly quantum logic circuits to using mainly ZX graphs. It makes things that used to look different obviously the same, so you can easily translate results. A few examples: https://arxiv.org/abs/2303.08829 https://arxiv.org/abs/2303.08829 (ZX shows equivalence between approaches that used to be thought of as different) https://arxiv.org/abs/1704.08670 https://arxiv.org/abs/1704.08670 (ZX shows how to find new ways to implement fault tolerant operations) https://arxiv.org/abs/2206.12780 https://arxiv.org/abs/2206.12780 (using ZX to build a 4-body parity measurement out of 5 2-body parity measurements instead of 6, and to show the previous constructions are easily related)