The -calculus is a graphical calculus for reasoning about quantum systems and processes. It is known to be universal for pure state qubit quantum mechanics, meaning any pure state, unitary operation and post-selected pure projective measurement can be expressed in the -calculus. The calculus is also sound, i.e. any equality that can be derived graphically can also be derived using matrix mechanics. Here, we show that the -calculus is complete for pure qubit stabilizer quantum mechanics, meaning any equality that can be derived using matrices can also be derived pictorially. The proof relies on bringing diagrams into a normal form based on graph states and local Clifford operations.

[1]

[2]
authorScott Aaronson &
authorDaniel Gottesman
(year2004): titleImproved simulation of
stabilizer circuits.
journalPhysical Review A
volume70(number5), p. pages052328,

[3]
authorSamson Abramsky &
authorBob Coecke (year2004):
titleA categorical semantics of quantum protocols.
In: booktitleProceedings of the 19th Annual IEEE
Symposium on Logic in Computer Science (LICS'04), pp. pages415
– 425, 10.1109/LICS.2004.1319636.

[4]
authorSimon Anders &
authorHans J. Briegel
(year2006): titleFast simulation of stabilizer
circuits using a graph-state representation.
journalPhysical Review A volume73, p.
pages022334, 10.1103/PhysRevA.73.022334.

[5]
authorBob Coecke & authorRoss
Duncan (year2008):
titleInteracting Quantum Observables.
In: booktitleAutomata, Languages and Programming,
volume5126, publisherSpringer Berlin Heidelberg,
addressBerlin, Heidelberg, pp. pages298–310,

[6]
authorBob Coecke & authorRoss
Duncan (year2011):
titleInteracting quantum observables: categorical algebra
and diagrammatics.
journalNew Journal of Physics
volume13(number4), p. pages043016,

[7]
authorBob Coecke, authorRoss
Duncan, authorAleks Kissinger & authorQuanlong Wang (year2012): titleStrong
Complementarity and Non-locality in Categorical Quantum Mechanics.
In: booktitle2012 27th Annual IEEE Symposium on
Logic in Computer Science (LICS), pp. pages245 –254,

[8]
authorBob Coecke, authorBill
Edwards & authorRobert W. Spekkens (year2011): titlePhase
Groups and the Origin of Non-locality for Qubits.
journalElectronic Notes in Theoretical Computer
Science volume270(number2), pp.
pages15–36, 10.1016/j.entcs.2011.01.021.

[9]
authorRoss Duncan &
authorSimon Perdrix
(year2009): titleGraph States and the Necessity
of Euler Decomposition.
In: booktitleMathematical Theory and Computational
Practice, volume5635, publisherSpringer Berlin
Heidelberg, addressBerlin, Heidelberg, pp.
pages167–177, 10.1007/978-3-642-03073-4_18.

[10]
authorRoss Duncan &
authorSimon Perdrix
(year2010): titleRewriting Measurement-Based
Quantum Computations with Generalised Flow.
In: booktitleAutomata, Languages and Programming,
volume6199, publisherSpringer Berlin Heidelberg,
addressBerlin, Heidelberg, pp. pages285–296,

[11]
authorMatthew B. Elliott,
authorBryan Eastin &
authorCarlton M. Caves
(year2008): titleGraphical description of the
action of Clifford operators on stabilizer states.
journalPhysical Review A
volume77(number4), p. pages042307,

[12]
authorClare Horsman
(year2011): titleQuantum picturalism for
topological cluster-state computing.
journalNew Journal of Physics
volume13(number9), p. pages095011,

[13]
authorMaarten Van den Nest,
authorJeroen Dehaene &
authorBart De Moor
(year2004): titleGraphical description of the
action of local Clifford transformations on graph states.
journalPhysical Review A
volume69(number2), p. pages022316,

[14]
authorMichael A. Nielsen &
authorIsaac L. Chuang
(year2010): titleQuantum Computation and
Quantum Information.
publisherCambridge University Press,

[15]
authorMatthew F. Pusey
(year2012): titleStabilizer Notation for
Spekkens' Toy Theory.
journalFoundations of Physics
volume42(number5), pp. pages688–708,

[16]
authorRobert Raussendorf &
authorHans J. Briegel
(year2001): titleA One-Way Quantum Computer.
journalPhysical Review Letters
volume86(number22), pp. pages5188–5191,

[17]
authorPeter Selinger
(year2007): titleDagger Compact Closed
Categories and Completely Positive Maps (Extended Abstract).
journalElectronic Notes in Theoretical Computer
Science volume170(number0), pp.
pages139–163, 10.1016/j.entcs.2006.12.018.

[18]
authorRobert W. Spekkens
(year2007): titleEvidence for the epistemic view
of quantum states: A toy theory.
journalPhysical Review A
volume75(number3), p. pages032110,