Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
2 of 2
added 3 characters in body

Since this paper, there have been several different axiomatisations, arguably simpler than this one. For instance in: and In the last one, in particular, all these rules (except (E)) are replaced by:

enter image description here

where angles on one side of the equation are bound in a non-trivial way to those on the other side. This rule can be understood as a representation of Euler angles (

If you are interested specifically in the axioms you mention, here are some remarks:

The supplementarity rule (SUP) was introduced in and proven necessary in This is an equation that proves useful in the study of the $|W\rangle$ state, expressed as a ZX-diagram.

The rule (E) was introduced in In a way, it comes from the fact that $e^{i\frac\pi4}$ can also be written as $\frac{1+i}{\sqrt2}$.

The meaning of rules (C) and (A) are discussed in the paper at Section 7 (p.31).

Up to yanking of the wires and simplification using the spider rules, (C) can be seen as commutation of two unitaries, one that is controlled by a qubit, and the other that is "anti-controlled" by the same qubit.

Decomposing rule (A) the appropriate way, it can be seen as an expression of the following equation : $\begin{pmatrix}1&0&0&0\\0&1&1&0\end{pmatrix}\circ\left(\begin{pmatrix}1\\a\end{pmatrix}\otimes\begin{pmatrix}1\\b\end{pmatrix}\right) = \begin{pmatrix}1\\a+b\end{pmatrix}$. You can find more detail in this Section 7 I mentionned.

Finally there's (BW). To understand this equation, we first need to realise that the diagram:

enter image description here

represents the shearing operator $\begin{pmatrix}1&1\\0&1\end{pmatrix}$. It so happens that we can decompose any 2D rotation as a sequence of 3 shear operations along the two canonical axes (see e.g. this link). Up to the usual ZX-rules for simplification, and up to rearranging of the shear operations, (BW) represents the special case of a rotation by $-\pi/2$:

$\begin{pmatrix}0&1\\-1&0\end{pmatrix} = \begin{pmatrix}1&1\\0&1\end{pmatrix}\begin{pmatrix}1&0\\-1&1\end{pmatrix}\begin{pmatrix}1&1\\0&1\end{pmatrix}$