A simplified stabilizer ZX-calculus
The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Open Publishing Association
2017
|
| _version_ | 1797083747644866560 |
|---|---|
| author | Backens, M Perdrix, S Wang, Q |
| author_facet | Backens, M Perdrix, S Wang, Q |
| author_sort | Backens, M |
| collection | OXFORD |
| description | The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the stabilizer ZX-calculus can be simplified, removing unnecessary equations while keeping only the essential axioms which potentially capture fundamental structures of quantum mechanics. We thus give a significantly smaller set of axioms and prove that meta-rules like 'colour symmetry' and 'upside-down symmetry', which were considered as axioms in previous versions of the language, can in fact be derived. In particular, we show that the additional symbol and one of the rules which had been recently introduced to keep track of scalars (diagrams with no inputs or outputs) are not necessary. |
| first_indexed | 2024-03-07T01:45:49Z |
| format | Conference item |
| id | oxford-uuid:9861a6e2-089d-4c26-aff7-2342f183a4af |
| institution | University of Oxford |
| last_indexed | 2024-03-07T01:45:49Z |
| publishDate | 2017 |
| publisher | Open Publishing Association |
| record_format | dspace |
| spelling | oxford-uuid:9861a6e2-089d-4c26-aff7-2342f183a4af2022-03-27T00:06:31ZA simplified stabilizer ZX-calculusConference itemhttp://purl.org/coar/resource_type/c_5794uuid:9861a6e2-089d-4c26-aff7-2342f183a4afSymplectic Elements at OxfordOpen Publishing Association2017Backens, MPerdrix, SWang, QThe stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the stabilizer ZX-calculus can be simplified, removing unnecessary equations while keeping only the essential axioms which potentially capture fundamental structures of quantum mechanics. We thus give a significantly smaller set of axioms and prove that meta-rules like 'colour symmetry' and 'upside-down symmetry', which were considered as axioms in previous versions of the language, can in fact be derived. In particular, we show that the additional symbol and one of the rules which had been recently introduced to keep track of scalars (diagrams with no inputs or outputs) are not necessary. |
| spellingShingle | Backens, M Perdrix, S Wang, Q A simplified stabilizer ZX-calculus |
| title | A simplified stabilizer ZX-calculus |
| title_full | A simplified stabilizer ZX-calculus |
| title_fullStr | A simplified stabilizer ZX-calculus |
| title_full_unstemmed | A simplified stabilizer ZX-calculus |
| title_short | A simplified stabilizer ZX-calculus |
| title_sort | simplified stabilizer zx calculus |
| work_keys_str_mv | AT backensm asimplifiedstabilizerzxcalculus AT perdrixs asimplifiedstabilizerzxcalculus AT wangq asimplifiedstabilizerzxcalculus AT backensm simplifiedstabilizerzxcalculus AT perdrixs simplifiedstabilizerzxcalculus AT wangq simplifiedstabilizerzxcalculus |