From acf3c52850b404681cd7184a395eeec6b685a5a2 Mon Sep 17 00:00:00 2001 From: Hector Date: Tue, 6 Feb 2018 15:31:45 +0000 Subject: [PATCH] Started qutrit project Currently failing to match an instance of H1 inside a !-box --- zx-qutrit-stabilizer/S2.qrule | 1 + zx-qutrit-stabilizer/axioms/B1.qrule | 1 + zx-qutrit-stabilizer/axioms/B2.qrule | 1 + zx-qutrit-stabilizer/axioms/EU.qrule | 1 + zx-qutrit-stabilizer/axioms/H1a.qrule | 1 + zx-qutrit-stabilizer/axioms/H1b.qrule | 1 + zx-qutrit-stabilizer/axioms/H2a.qrule | 1 + zx-qutrit-stabilizer/axioms/H2b.qrule | 1 + zx-qutrit-stabilizer/axioms/K1a.qrule | 1 + zx-qutrit-stabilizer/axioms/K1b.qrule | 1 + zx-qutrit-stabilizer/axioms/K2a.qrule | 1 + zx-qutrit-stabilizer/axioms/K2b.qrule | 1 + zx-qutrit-stabilizer/axioms/P1a.qrule | 1 + zx-qutrit-stabilizer/axioms/P1b.qrule | 1 + zx-qutrit-stabilizer/axioms/P1c.qrule | 1 + zx-qutrit-stabilizer/axioms/S1.qrule | 1 + zx-qutrit-stabilizer/derivations/Lemma4.1.qderive | 1 + zx-qutrit-stabilizer/derivations/S1-red.qderive | 1 + zx-qutrit-stabilizer/graphs/Lemma4.1.start.qgraph | 1 + zx-qutrit-stabilizer/graphs/S1-red.qgraph | 1 + zx-qutrit-stabilizer/main.qproject | 1 + 21 files changed, 21 insertions(+) create mode 100644 zx-qutrit-stabilizer/S2.qrule create mode 100644 zx-qutrit-stabilizer/axioms/B1.qrule create mode 100644 zx-qutrit-stabilizer/axioms/B2.qrule create mode 100644 zx-qutrit-stabilizer/axioms/EU.qrule create mode 100644 zx-qutrit-stabilizer/axioms/H1a.qrule create mode 100644 zx-qutrit-stabilizer/axioms/H1b.qrule create mode 100644 zx-qutrit-stabilizer/axioms/H2a.qrule create mode 100644 zx-qutrit-stabilizer/axioms/H2b.qrule create mode 100644 zx-qutrit-stabilizer/axioms/K1a.qrule create mode 100644 zx-qutrit-stabilizer/axioms/K1b.qrule create mode 100644 zx-qutrit-stabilizer/axioms/K2a.qrule create mode 100644 zx-qutrit-stabilizer/axioms/K2b.qrule create mode 100644 zx-qutrit-stabilizer/axioms/P1a.qrule create mode 100644 zx-qutrit-stabilizer/axioms/P1b.qrule create mode 100644 zx-qutrit-stabilizer/axioms/P1c.qrule create mode 100644 zx-qutrit-stabilizer/axioms/S1.qrule create mode 100644 zx-qutrit-stabilizer/derivations/Lemma4.1.qderive create mode 100644 zx-qutrit-stabilizer/derivations/S1-red.qderive create mode 100644 zx-qutrit-stabilizer/graphs/Lemma4.1.start.qgraph create mode 100644 zx-qutrit-stabilizer/graphs/S1-red.qgraph create mode 100644 zx-qutrit-stabilizer/main.qproject diff --git a/zx-qutrit-stabilizer/S2.qrule b/zx-qutrit-stabilizer/S2.qrule new file mode 100644 index 0000000..fb60c28 --- /dev/null +++ b/zx-qutrit-stabilizer/S2.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-0.0,2.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/B1.qrule b/zx-qutrit-stabilizer/axioms/B1.qrule new file mode 100644 index 0000000..0568b28 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/B1.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v1"},"e1":{"src":"b1","tgt":"v1"},"e2":{"src":"v1","tgt":"v0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"b1":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,3.0]}},"v1":{"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"b1","tgt":"v1"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-3.0,-1.0]}},"b1":{"annotation":{"boundary":true,"coord":[2.0,-1.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-3.0,1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.0,1.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/B2.qrule b/zx-qutrit-stabilizer/axioms/B2.qrule new file mode 100644 index 0000000..7b2477a --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/B2.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e6":{"src":"v0","tgt":"v3"},"e1":{"src":"v1","tgt":"v3"},"e5":{"src":"v2","tgt":"b0"},"e7":{"src":"v1","tgt":"v2"},"e0":{"src":"b3","tgt":"v1"},"e4":{"src":"v0","tgt":"v2"},"e3":{"src":"b2","tgt":"v0"},"e2":{"src":"v3","tgt":"b1"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[3.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-2.0,-1.0]}},"b3":{"annotation":{"boundary":true,"coord":[3.0,-1.0]}}},"node_vertices":{"v3":{"annotation":{"coord":[3.0,4.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[3.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-2.0,1.0]}},"v2":{"annotation":{"coord":[-2.0,4.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v0"},"e0":{"src":"b2","tgt":"v1"},"e4":{"src":"v0","tgt":"b1"},"e3":{"src":"b3","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[3.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-3.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-3.0,-1.0]}},"b3":{"annotation":{"boundary":true,"coord":[3.0,-1.0]}}},"node_vertices":{"v1":{"annotation":{"coord":[0.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,4.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/EU.qrule b/zx-qutrit-stabilizer/axioms/EU.qrule new file mode 100644 index 0000000..c783b9a --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/EU.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"b1"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,5.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v2"},"e2":{"src":"v2","tgt":"v1"},"e3":{"src":"v1","tgt":"b1"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,5.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"2/3, 2/3"},"annotation":{"coord":[0.0,3.0]}},"v0":{"data":{"type":"Z","value":"2/3, 2/3"},"annotation":{"coord":[0.0,-1.0]}},"v2":{"data":{"type":"X","value":"2/3, 2/3"},"annotation":{"coord":[0.0,1.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/H1a.qrule b/zx-qutrit-stabilizer/axioms/H1a.qrule new file mode 100644 index 0000000..6d25c9c --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/H1a.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/H1b.qrule b/zx-qutrit-stabilizer/axioms/H1b.qrule new file mode 100644 index 0000000..f3c6a0f --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/H1b.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/H2a.qrule b/zx-qutrit-stabilizer/axioms/H2a.qrule new file mode 100644 index 0000000..9c2c092 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/H2a.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v2"},"e5":{"src":"b2","tgt":"v2"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"v2","tgt":"b3"},"e3":{"src":"v0","tgt":"b0"},"e2":{"src":"v2","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx1":{"contents":["b1","v1"]},"bx2":{"contents":["b3"]},"bx3":{"contents":["b2"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-2.0,0.0]}},"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-2.0,4.0]}},"v2":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v0","tgt":"b0"},"e5":{"src":"v2","tgt":"v0"},"e0":{"src":"b1","tgt":"v0"},"e4":{"src":"b2","tgt":"v2"},"e3":{"src":"v1","tgt":"b3"},"e2":{"src":"v0","tgt":"v1"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b3","v1"]},"bx3":{"contents":["b2","v2"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[2.0,4.0]}},"v0":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.25]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[2.0,0.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/H2b.qrule b/zx-qutrit-stabilizer/axioms/H2b.qrule new file mode 100644 index 0000000..889e47f --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/H2b.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v2"},"e5":{"src":"v2","tgt":"b3"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"b2","tgt":"v2"},"e3":{"src":"v0","tgt":"b0"},"e2":{"src":"v2","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx1":{"contents":["b1","v1"]},"bx3":{"contents":["b2"]},"bx2":{"contents":["b3"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-2.0,0.0]}},"v0":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-2.0,4.0]}},"v2":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.0]}}}},"rhs":{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"},"e5":{"src":"v0","tgt":"v1"},"e0":{"src":"b1","tgt":"v0"},"e4":{"src":"b2","tgt":"v2"},"e3":{"src":"v1","tgt":"b3"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]},"bx3":{"contents":["b2","v2"]},"bx2":{"contents":["b3","v1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[2.0,4.0]}},"v0":{"data":{"type":"Z","value":"\\beta, \\alpha"},"annotation":{"coord":[0.0,2.25]}},"v2":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[2.0,0.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/K1a.qrule b/zx-qutrit-stabilizer/axioms/K1a.qrule new file mode 100644 index 0000000..4eb1cee --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/K1a.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b2","tgt":"v0"},"e1":{"src":"b1","tgt":"v0"},"e2":{"src":"v0","tgt":"v1"},"e3":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[3.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[-0.0,4.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v0"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"v2","tgt":"v0"},"e3":{"src":"b2","tgt":"v2"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-4.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[4.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[-2.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,4.0]}},"v2":{"data":{"type":"Z","value":"1/3,2/3"},"annotation":{"coord":[2.0,1.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/K1b.qrule b/zx-qutrit-stabilizer/axioms/K1b.qrule new file mode 100644 index 0000000..c94bbe9 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/K1b.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b2","tgt":"v0"},"e1":{"src":"b1","tgt":"v0"},"e2":{"src":"v0","tgt":"v1"},"e3":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[3.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[-0.0,4.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v0"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"v2","tgt":"v0"},"e3":{"src":"b2","tgt":"v2"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-4.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[4.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[-2.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,4.0]}},"v2":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[2.0,1.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/K2a.qrule b/zx-qutrit-stabilizer/axioms/K2a.qrule new file mode 100644 index 0000000..f9d4917 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/K2a.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v1","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[0.0,3.0]}},"v1":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[-0.0,-1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"X","value":"\\beta- \\alpha, -\\alpha"},"annotation":{"coord":[0.0,3.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/K2b.qrule b/zx-qutrit-stabilizer/axioms/K2b.qrule new file mode 100644 index 0000000..c7e2c59 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/K2b.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v1","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[0.0,3.0]}},"v1":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[-0.0,-1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"X","value":"-\\beta, \\alpha-\\beta"},"annotation":{"coord":[0.0,3.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/P1a.qrule b/zx-qutrit-stabilizer/axioms/P1a.qrule new file mode 100644 index 0000000..b9c69e8 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/P1a.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-4.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[4.0,-4.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-2.5,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.75,2.25]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"v1"},"e3":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.5,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[-0.5,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.5,-1.25]}},"v1":{"annotation":{"coord":[-0.5,3.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/P1b.qrule b/zx-qutrit-stabilizer/axioms/P1b.qrule new file mode 100644 index 0000000..0c21137 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/P1b.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-4.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[4.0,-4.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-2.5,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.75,2.25]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[-0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/P1c.qrule b/zx-qutrit-stabilizer/axioms/P1c.qrule new file mode 100644 index 0000000..841e3f1 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/P1c.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-4.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[4.0,-4.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-2.5,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.75,2.25]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[-0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.0,1.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/axioms/S1.qrule b/zx-qutrit-stabilizer/axioms/S1.qrule new file mode 100644 index 0000000..e88e4a4 --- /dev/null +++ b/zx-qutrit-stabilizer/axioms/S1.qrule @@ -0,0 +1 @@ +{"lhs":{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e1":{"src":"v1","tgt":"v0"},"e5":{"src":"v1","tgt":"v2"},"e0":{"src":"b3","tgt":"v1"},"e4":{"src":"v0","tgt":"b0"},"e3":{"src":"b2","tgt":"v0"},"e2":{"src":"v1","tgt":"b1"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx4":{"contents":["v2"]},"bx3":{"contents":["b3"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b2"]}},"wire_vertices":{"b2":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[4.0,-3.0]}},"v2":{"annotation":{"coord":[1.25,2.25],"boundary":false}},"b1":{"annotation":{"boundary":true,"coord":[4.0,5.0]}},"b0":{"annotation":{"boundary":true,"coord":[-3.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"\\gamma, \\delta"},"annotation":{"coord":[2.0,0.0]}},"v0":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[-1.0,3.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b2","tgt":"v0"},"e1":{"src":"b3","tgt":"v0"},"e2":{"src":"v0","tgt":"b1"},"e3":{"src":"v0","tgt":"b0"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b2"]},"bx3":{"contents":["b3"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[4.0,5.0]}},"b0":{"annotation":{"boundary":true,"coord":[-3.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[4.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"\\alpha + \\gamma, \\beta + \\delta"},"annotation":{"coord":[1.0,1.0]}}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/derivations/Lemma4.1.qderive b/zx-qutrit-stabilizer/derivations/Lemma4.1.qderive new file mode 100644 index 0000000..15f0e74 --- /dev/null +++ b/zx-qutrit-stabilizer/derivations/Lemma4.1.qderive @@ -0,0 +1 @@ +{"root":{"dir_edges":{"e1":{"src":"v1","tgt":"b1"},"e5":{"src":"b2","tgt":"v0"},"e0":{"src":"b3","tgt":"v1"},"e4":{"src":"v0","tgt":"b0"},"e3":{"src":"v2","tgt":"v0"},"e2":{"src":"v1","tgt":"v2"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-8.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-8.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v1":{"annotation":{"coord":[0.0,1.0]}},"v0":{"annotation":{"coord":[-8.0,4.0]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-3.5,2.0]}}}},"steps":{"H2a-0":{"name":"H2a-0","rule":{"lhs":{"dir_edges":{"e8":{"src":"v1","tgt":"v4"},"e0":{"src":"b3","tgt":"v1"},"e1":{"src":"v1","tgt":"b1"}},"wire_vertices":{"b3":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"v4":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b1":{"annotation":{"boundary":true,"coord":[-1.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.25]}}}},"rhs":{"dir_edges":{"e12":{"src":"v6","tgt":"v8"},"e8":{"src":"v8","tgt":"v4"},"e3":{"src":"v5","tgt":"v6"},"e10":{"src":"v7","tgt":"b1"},"e2":{"src":"b3","tgt":"v5"},"e11":{"src":"v6","tgt":"v7"}},"wire_vertices":{"v4":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b1":{"annotation":{"boundary":true,"coord":[-1.0,6.0]}},"b3":{"annotation":{"boundary":true,"coord":[-1.0,-2.0]}}},"node_vertices":{"v7":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-1.0,4.0]}},"v5":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-1.0,0.0]}},"v8":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,4.0]}},"v6":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,2.0]}}}}},"graph":{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e12":{"src":"v6","tgt":"v8"},"e5":{"src":"b2","tgt":"v0"},"e4":{"src":"v0","tgt":"b0"},"e8":{"src":"v8","tgt":"v2"},"e16":{"src":"v5","tgt":"v6"},"e10":{"src":"v7","tgt":"b1"},"e14":{"src":"v6","tgt":"v7"},"e2":{"src":"b3","tgt":"v5"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-8.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-8.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v7":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-0.5,4.0]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-3.5,2.0]}},"v6":{"data":{"type":"X","value":""},"annotation":{"coord":[-1.0,2.0]}},"v5":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-0.5,-0.0]}},"v8":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-2.25,2.0]}},"v0":{"annotation":{"coord":[-8.0,4.0]}}}},"rule_name":"axioms/H2a","rule_variant":"inverse"},"P1b-0":{"parent":"H2a-0","name":"P1b-0","rule":{"lhs":{"dir_edges":{"e18":{"src":"v10","tgt":"v8"},"e19":{"src":"v2","tgt":"v11"},"e21":{"src":"v8","tgt":"v12"},"e22":{"src":"v12","tgt":"v2"}},"wire_vertices":{"v12":{},"v11":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"v10":{"annotation":{"boundary":true,"coord":[-0.0,-4.0]}}},"node_vertices":{"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}},"v8":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-0.0,-1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"v10","tgt":"v1"},"e1":{"src":"v2","tgt":"v1"},"e3":{"src":"v2","tgt":"v11"}},"wire_vertices":{"v11":{"annotation":{"boundary":true,"coord":[-4.0,4.0]}},"v10":{"annotation":{"boundary":true,"coord":[4.0,-4.0]}}},"node_vertices":{"v2":{"annotation":{"coord":[-2.5,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.75,2.25]}}}}},"graph":{"dir_edges":{"e23":{"src":"v6","tgt":"v7"},"e5":{"src":"b2","tgt":"v0"},"e0":{"src":"v6","tgt":"v1"},"e4":{"src":"v0","tgt":"b0"},"e3":{"src":"v2","tgt":"v0"},"e10":{"src":"v7","tgt":"b1"},"e25":{"src":"v2","tgt":"v1"},"e15":{"src":"v5","tgt":"v6"},"e2":{"src":"b3","tgt":"v5"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-8.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-8.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v7":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-0.5,4.0]}},"v2":{"annotation":{"coord":[-6.0,3.5]}},"v6":{"data":{"type":"X","value":""},"annotation":{"coord":[-1.0,2.0]}},"v5":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-0.5,-0.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[-4.0,2.75]}},"v0":{"annotation":{"coord":[-8.0,4.0]}}}},"rule_name":"axioms/P1b","rule_variant":"inverse"}},"heads":["P1b-0"]} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/derivations/S1-red.qderive b/zx-qutrit-stabilizer/derivations/S1-red.qderive new file mode 100644 index 0000000..36f1e16 --- /dev/null +++ b/zx-qutrit-stabilizer/derivations/S1-red.qderive @@ -0,0 +1 @@ +{"root":{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e1":{"src":"v1","tgt":"v0"},"e5":{"src":"v1","tgt":"v2"},"e0":{"src":"b2","tgt":"v1"},"e4":{"src":"v1","tgt":"b1"},"e3":{"src":"v0","tgt":"b0"},"e2":{"src":"b3","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx4":{"contents":["v2"]},"bx3":{"contents":["b3"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b2"]}},"wire_vertices":{"b2":{"annotation":{"boundary":true,"coord":[-2.0,-4.0]}},"b3":{"annotation":{"boundary":true,"coord":[-6.0,-2.0]}},"v2":{"annotation":{"coord":[-3.5,3.25],"boundary":false}},"b1":{"annotation":{"boundary":true,"coord":[1.5,4.75]}},"b0":{"annotation":{"boundary":true,"coord":[-6.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"X","value":"\\gamma, \\delta"},"annotation":{"coord":[0.75,0.25]}},"v0":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[-6.0,3.0],"boundary":false}}}},"steps":{"H2a-0":{"name":"H2a-0","rule":{"lhs":{"dir_edges":{"e7":{"src":"v1","tgt":"v3"},"e5":{"src":"v1","tgt":"v2"},"e0":{"src":"b2","tgt":"v1"},"e4":{"src":"v1","tgt":"b1"}},"bang_boxes":{"bx2":{"contents":["b2"]},"bx1":{"contents":["b1"]},"bx4":{"contents":["v2"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[2.0,6.0]}},"v3":{"annotation":{"boundary":true,"coord":[5.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"v2":{"annotation":{"boundary":true,"coord":[3.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.0]}}}},"rhs":{"dir_edges":{"e12":{"src":"v6","tgt":"v3"},"e5":{"src":"b2","tgt":"v4"},"e7":{"src":"v4","tgt":"v1"},"e4":{"src":"v1","tgt":"v5"},"e13":{"src":"v1","tgt":"v6"},"e10":{"src":"v7","tgt":"v2"},"e9":{"src":"v5","tgt":"b1"},"e11":{"src":"v1","tgt":"v7"}},"bang_boxes":{"bx2":{"contents":["b2","v4"]},"bx1":{"contents":["b1","v5"]},"bx4":{"contents":["v2","v7"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[2.0,6.0]}},"v3":{"annotation":{"boundary":true,"coord":[5.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"v2":{"annotation":{"boundary":true,"coord":[3.0,6.0]}}},"node_vertices":{"v7":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[3.0,4.0]}},"v6":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[5.0,4.0]}},"v5":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[2.0,4.0]}},"v1":{"data":{"type":"Z","value":"\\gamma, \\delta"},"annotation":{"coord":[0.0,2.25]}},"v4":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[2.0,0.0]}}}}},"graph":{"dir_edges":{"e6":{"src":"v7","tgt":"v0"},"e18":{"src":"v1","tgt":"v5"},"e5":{"src":"b2","tgt":"v4"},"e20":{"src":"v1","tgt":"v6"},"e8":{"src":"v6","tgt":"v0"},"e16":{"src":"v1","tgt":"v7"},"e3":{"src":"v0","tgt":"b0"},"e14":{"src":"v4","tgt":"v1"},"e9":{"src":"v5","tgt":"b1"},"e2":{"src":"b3","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx4":{"contents":["v7"]},"bx3":{"contents":["b3"]},"bx1":{"contents":["b1","v5"]},"bx2":{"contents":["b2","v4"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[1.5,4.75]}},"b0":{"annotation":{"boundary":true,"coord":[-6.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-2.0,-4.0]}},"b3":{"annotation":{"boundary":true,"coord":[-6.0,-2.0]}}},"node_vertices":{"v7":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-3.25,4.75]}},"v6":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-4.5,2.25]}},"v5":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-0.5,3.25]}},"v1":{"data":{"type":"Z","value":"\\gamma, \\delta"},"annotation":{"coord":[-3.0,1.25]}},"v4":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-2.5,-1.0]}},"v0":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[-6.0,3.0],"boundary":false}}}},"rule_name":"axioms/H2a"},"H2a-1":{"parent":"H2a-0","name":"H2a-1","rule":{"lhs":{"dir_edges":{"e30":{"src":"v12","tgt":"v0"},"e26":{"src":"v10","tgt":"v0"},"e2":{"src":"b3","tgt":"v0"},"e3":{"src":"v0","tgt":"b0"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx3":{"contents":["b3"]},"bx4":{"contents":["v10"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[2.0,6.0]}},"v12":{"annotation":{"boundary":true,"coord":[5.0,-2.0]}},"v10":{"annotation":{"boundary":true,"coord":[3.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.0]}}}},"rhs":{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e12":{"src":"v12","tgt":"v14"},"e4":{"src":"b3","tgt":"v2"},"e13":{"src":"v14","tgt":"v0"},"e8":{"src":"v10","tgt":"v15"},"e3":{"src":"v3","tgt":"b0"},"e10":{"src":"v15","tgt":"v0"},"e2":{"src":"v0","tgt":"v3"}},"bang_boxes":{"bx0":{"contents":["b0","v3"]},"bx3":{"contents":["b3","v2"]},"bx4":{"contents":["v10","v15"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[2.0,6.0]}},"v12":{"annotation":{"boundary":true,"coord":[5.0,-2.0]}},"v10":{"annotation":{"boundary":true,"coord":[3.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}}},"node_vertices":{"v15":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[3.0,0.0]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[2.0,0.0]}},"v0":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.25]}},"v3":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[2.0,4.0]}},"v14":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[5.0,0.0]}}}}},"graph":{"dir_edges":{"e12":{"src":"v6","tgt":"v14"},"e23":{"src":"v1","tgt":"v7"},"e39":{"src":"v14","tgt":"v0"},"e5":{"src":"b2","tgt":"v4"},"e35":{"src":"v2","tgt":"v0"},"e4":{"src":"b3","tgt":"v2"},"e31":{"src":"v4","tgt":"v1"},"e8":{"src":"v7","tgt":"v15"},"e27":{"src":"v1","tgt":"v6"},"e3":{"src":"v3","tgt":"b0"},"e21":{"src":"v1","tgt":"v5"},"e37":{"src":"v0","tgt":"v3"},"e9":{"src":"v5","tgt":"b1"},"e33":{"src":"v15","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0","v3"]},"bx4":{"contents":["v7","v15"]},"bx3":{"contents":["b3","v2"]},"bx1":{"contents":["b1","v5"]},"bx2":{"contents":["b2","v4"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[1.5,4.75]}},"b0":{"annotation":{"boundary":true,"coord":[-7.0,11.5]}},"b2":{"annotation":{"boundary":true,"coord":[-2.0,-4.0]}},"b3":{"annotation":{"boundary":true,"coord":[-6.0,-2.0]}}},"node_vertices":{"v7":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-2.5,4.0]}},"v15":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-3.25,5.75]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-5.5,0.5]}},"v6":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-4.5,2.25]}},"v5":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-0.5,3.25]}},"v1":{"data":{"type":"Z","value":"\\gamma, \\delta"},"annotation":{"coord":[-3.0,1.25]}},"v4":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-2.5,-1.0]}},"v0":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[-7.0,8.0]}},"v3":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-6.5,9.75]}},"v14":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-4.75,3.0]}}}},"rule_name":"axioms/H2a"},"H1a-0":{"parent":"H2a-1","name":"H1a-0","rule":{"lhs":{"dir_edges":{"e45":{"src":"v18","tgt":"v6"},"e50":{"src":"v14","tgt":"v21"},"e40":{"src":"v6","tgt":"v16"},"e41":{"src":"v16","tgt":"v14"}},"wire_vertices":{"v16":{},"v18":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}},"v21":{"annotation":{"boundary":true,"coord":[0.0,4.0]}}},"node_vertices":{"v14":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}},"v6":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.0,-1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"v18","tgt":"v21"}},"wire_vertices":{"v21":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"v18":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}}}},"graph":{"dir_edges":{"e5":{"src":"b2","tgt":"v4"},"e56":{"src":"v2","tgt":"v0"},"e42":{"src":"v1","tgt":"v5"},"e52":{"src":"v0","tgt":"v3"},"e4":{"src":"b3","tgt":"v2"},"e46":{"src":"v15","tgt":"v0"},"e3":{"src":"v3","tgt":"b0"},"e48":{"src":"v1","tgt":"v7"},"e9":{"src":"v5","tgt":"b1"},"e58":{"src":"v4","tgt":"v1"},"e44":{"src":"v1","tgt":"v0"},"e54":{"src":"v7","tgt":"v15"}},"bang_boxes":{"bx0":{"contents":["b0","v3"]},"bx4":{"contents":["v7","v15"]},"bx3":{"contents":["b3","v2"]},"bx1":{"contents":["b1","v5"]},"bx2":{"contents":["b2","v4"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[4.75,10.5]}},"b0":{"annotation":{"boundary":true,"coord":[-7.0,11.5]}},"b2":{"annotation":{"boundary":true,"coord":[5.5,-4.75]}},"b3":{"annotation":{"boundary":true,"coord":[-5.0,-5.0]}}},"node_vertices":{"v7":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.4828009347788551,0.8751150000098599]}},"v15":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-1.3752675616523142,1.2299225512432301]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-3.932256701307956,-2.196444345836866]}},"v5":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[3.7555640198999733,7.669611821474285]}},"v1":{"data":{"type":"Z","value":"\\gamma, \\delta"},"annotation":{"coord":[1.756132742744763,2.386605763512784]}},"v4":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[3.9525747379020206,-2.1798881108151353]}},"v0":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[-2.5784583233367844,2.719428423570103]}},"v3":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-5.629436211971471,8.83137579845939]}}}},"rule_name":"axioms/H1a"}},"heads":["H1a-0"]} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/graphs/Lemma4.1.start.qgraph b/zx-qutrit-stabilizer/graphs/Lemma4.1.start.qgraph new file mode 100644 index 0000000..85e46ed --- /dev/null +++ b/zx-qutrit-stabilizer/graphs/Lemma4.1.start.qgraph @@ -0,0 +1 @@ +{"dir_edges":{"e1":{"src":"v1","tgt":"b1"},"e5":{"src":"b2","tgt":"v0"},"e0":{"src":"b3","tgt":"v1"},"e4":{"src":"v0","tgt":"b0"},"e3":{"src":"v2","tgt":"v0"},"e2":{"src":"v1","tgt":"v2"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-8.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-8.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v1":{"annotation":{"coord":[0.0,1.0]}},"v0":{"annotation":{"coord":[-8.0,4.0]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-3.5,2.0]}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/graphs/S1-red.qgraph b/zx-qutrit-stabilizer/graphs/S1-red.qgraph new file mode 100644 index 0000000..d632185 --- /dev/null +++ b/zx-qutrit-stabilizer/graphs/S1-red.qgraph @@ -0,0 +1 @@ +{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e1":{"src":"v1","tgt":"v0"},"e5":{"src":"v1","tgt":"v2"},"e0":{"src":"b2","tgt":"v1"},"e4":{"src":"v1","tgt":"b1"},"e3":{"src":"v0","tgt":"b0"},"e2":{"src":"b3","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx4":{"contents":["v2"]},"bx3":{"contents":["b3"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b2"]}},"wire_vertices":{"b2":{"annotation":{"boundary":true,"coord":[-2.0,-4.0]}},"b3":{"annotation":{"boundary":true,"coord":[-6.0,-2.0]}},"v2":{"annotation":{"coord":[-3.5,2.25],"boundary":false}},"b1":{"annotation":{"boundary":true,"coord":[-2.0,3.0]}},"b0":{"annotation":{"boundary":true,"coord":[-6.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"X","value":"\\gamma, \\delta"},"annotation":{"coord":[-2.0,-0.0]}},"v0":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[-6.0,3.0],"boundary":false}}}} \ No newline at end of file diff --git a/zx-qutrit-stabilizer/main.qproject b/zx-qutrit-stabilizer/main.qproject new file mode 100644 index 0000000..b001832 --- /dev/null +++ b/zx-qutrit-stabilizer/main.qproject @@ -0,0 +1 @@ +{"name":"zx-qutrit-stabilizer","theory":{"name":"Red/green theory","core_name":"red_green","vertex_types":{"X":{"value":{"type":"angle_expr,angle_expr","latex_constants":true,"validate_with_core":false},"style":{"label":{"position":"inside","fg_color":[1.0,1.0,1.0]},"stroke_color":[0.0,0.0,0.0],"fill_color":[1.0,0.0,0.0],"shape":"circle"},"default_data":{"type":"X","value":""}},"Z":{"value":{"type":"angle_expr,angle_expr","latex_constants":true,"validate_with_core":false},"style":{"label":{"position":"inside","fg_color":[0.0,0.0,0.0]},"stroke_color":[0.0,0.0,0.0],"fill_color":[0.0,0.800000011920929,0.0],"shape":"circle"},"default_data":{"type":"Z","value":""}},"hadamard":{"value":{"type":"angle_expr","latex_constants":true,"validate_with_core":false},"style":{"label":{"position":"inside","fg_color":[0.0,0.20000000298023224,0.0]},"stroke_color":[0.0,0.0,0.0],"fill_color":[1.0,1.0,0.0],"shape":"rectangle"},"default_data":{"type":"hadamard","value":""}}},"default_vertex_type":"Z","default_edge_type":"string","edge_types":{"string":{"value":{"type":"string","latex_constants":false,"validate_with_core":false},"style":{"stroke_color":[0.0,0.0,0.0],"stroke_width":1,"label":{"position":"center","fg_color":[0.0,0.0,1.0],"bg_color":[0.800000011920929,0.800000011920929,1.0,0.699999988079071]}},"default_data":{"type":"string","value":""}}}}} \ No newline at end of file