1: \begin{abstract}

2: Within an intuitive diagrammatic calculus and corresponding high-level

3: category-theoretic algebraic description we axiomatise \em

4: complementary observables \em for quantum systems described in finite

5: dimensional Hilbert spaces, and study their interaction.  We also

6: axiomatise the \em phase shifts \em relative to an observable.  The

7: resulting graphical language is expressive enough to denote any

8: quantum physical state of an arbitrary number of qubits, and any

9: processes thereof.  The rules for manipulating these result in very

10: concise and straightforward computations with elementary quantum

11: gates, translations between distinct quantum computational models, and

12: simulations of quantum algorithms such as the quantum Fourier

13: transform.  They enable the description of the interaction between

14: classical and quantum data in quantum informatic protocols.

15: 

16: More specifically, we rely on the previously established fact that in

17: the symmetric monoidal category of Hilbert spaces and linear maps

18: non-degenerate observables correspond to special commutative

19: $\dag$-Frobenius algebras.  This leads to a generalisation of the

20: notion of observable that extends to arbitrary $\dag$-symmetric

21: monoidal categories ($\dag$-SMC).  We show that any observable in a

22: $\dag$-SMC comes with an abelian group of phases.  We define

23: complementarity of observables in arbitrary $\dag$-SMCs and prove an

24: elegant diagrammatic characterisation thereof. We show that an

25: important class of complementary observables give rise to a

26: Hopf-algebraic structure, and provide equivalent characterisations

27: thereof.

28: \end{abstract}

29: