Graph States and the Necessity of Euler Decomposition

@inproceedings{Duncan2009GraphSA,
  title={Graph States and the Necessity of Euler Decomposition},
  author={Ross Duncan and Simon Perdrix},
  booktitle={CiE},
  year={2009}
}
  • Ross Duncan, Simon Perdrix
  • Published in CiE 2009
  • Mathematics, Computer Science
  • Coecke and Duncan recently introduced a categorical formalisation of the interaction of complementary quantum observables. In this paper we use their diagrammatic language to study graph states, a computationally interesting class of quantum states. We give a graphical proof of the fixpoint property of graph states. We then introduce a new equation, for the Euler decomposition of the Hadamard gate, and demonstrate that Van den Nest's theorem--locally equivalent graphs represent the same… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 41 CITATIONS

    A Complete Graphical Calculus for Spekkens’ Toy Bit Theory

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Completeness and the ZX-calculus

    VIEW 9 EXCERPTS
    CITES METHODS, RESULTS & BACKGROUND
    HIGHLY INFLUENCED

    Pivoting makes the ZX-calculus complete for real stabilizers

    VIEW 4 EXCERPTS
    CITES METHODS & BACKGROUND

    Trichromatic Diagrams for Understanding Qubits

    VIEW 8 EXCERPTS
    CITES METHODS, BACKGROUND & RESULTS
    HIGHLY INFLUENCED

    Trichromatic Open Digraphs for Understanding Qubits

    VIEW 9 EXCERPTS
    CITES METHODS, BACKGROUND & RESULTS
    HIGHLY INFLUENCED

    A Framework for Rewriting Families of String Diagrams

    VIEW 2 EXCERPTS
    CITES BACKGROUND & METHODS

    An algebraic axiomatisation of ZX-calculus

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 10 REFERENCES

    Interacting Quantum Observables

    VIEW 3 EXCERPTS

    A new description of orthogonal bases

    VIEW 1 EXCERPT

    Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)

    • Peter Selinger
    • Computer Science, Mathematics
    • Electron. Notes Theor. Comput. Sci.
    • 2007

    A categorical semantics of quantum protocols

    • Samson Abramsky, Bob Coecke
    • Mathematics, Physics, Computer Science
    • Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
    • 2004
    VIEW 2 EXCERPTS

    A one-way quantum computer.

    VIEW 1 EXCERPT

    The geometry of tensor categories i

    • A. Joyal, R. Street
    • Advances in Mathematics 88
    • 1991