From 825ab6efeb53447f7b0963b63fc90d9b85fce983 Mon Sep 17 00:00:00 2001 From: "Victor V. Albert" Date: Fri, 15 Mar 2024 17:12:00 -0400 Subject: [PATCH] ~ --- .../dual/pless_symmetry/pless_symmetry.yml | 4 ++-- .../small/twist_defect_7_1_3.yml | 2 +- .../qubits/stabilizer/magic/qubit_golay.yml | 8 ++++---- .../surface/non-css/triangle_surface.yml | 20 ++++++++++--------- codes/quantum/qudits/small/qutrit_golay.yml | 5 ++--- 5 files changed, 20 insertions(+), 19 deletions(-) diff --git a/codes/classical/q-ary_digits/dual/pless_symmetry/pless_symmetry.yml b/codes/classical/q-ary_digits/dual/pless_symmetry/pless_symmetry.yml index 6498ab52a..e67ac373c 100644 --- a/codes/classical/q-ary_digits/dual/pless_symmetry/pless_symmetry.yml +++ b/codes/classical/q-ary_digits/dual/pless_symmetry/pless_symmetry.yml @@ -16,11 +16,11 @@ alternative_names: description: | A member of a family of self-dual ternary \([2q+2,q+1]_3\) codes for any power of an odd prime satisfying \(q \equiv 2\) modulo 3. - The code's generator matrix is \(G = [I | S_q]\), where \(I\) is the \((q+1)\)-dimensional identity matrix, and where \(S_q\) is: + The code's generator matrix is \(G = [I | S_q]\), where \(I\) is the \((q+1)\)-dimensional identity matrix, and where the matrix \(S_q\) is shown in the following image (with \(q=p\)). + There, \(\chi(0)=0\), \(\chi(x)=1\) if \(x\) is a square in \(GF(q)\) and, \(\chi(x)=-1\) if \(x\) is a not square in \(GF(q)\). \begin{table} \includegraphics{pless_symmetry_table.svg} \end{table} - where \(\chi(0)=0\), \(\chi(x)=1\) if \(x\) is a square in \(GF(q)\) and, \(\chi(x)=-1\) if \(x\) is a not square in \(GF(q)\). See \cite[Sec. 10.5]{doi:10.1017/CBO9780511807077}\cite[pg. 87]{doi:10.1007/978-1-4757-6568-7} for more details. diff --git a/codes/quantum/qubits/small_distance/small/twist_defect_7_1_3.yml b/codes/quantum/qubits/small_distance/small/twist_defect_7_1_3.yml index f892380c0..1a4511925 100644 --- a/codes/quantum/qubits/small_distance/small/twist_defect_7_1_3.yml +++ b/codes/quantum/qubits/small_distance/small/twist_defect_7_1_3.yml @@ -18,7 +18,7 @@ features: relations: parents: - - code_id: twist_defect_surface + - code_id: triangle_surface - code_id: small_distance_quantum diff --git a/codes/quantum/qubits/stabilizer/magic/qubit_golay.yml b/codes/quantum/qubits/stabilizer/magic/qubit_golay.yml index 746dd0146..02d0c9624 100644 --- a/codes/quantum/qubits/stabilizer/magic/qubit_golay.yml +++ b/codes/quantum/qubits/stabilizer/magic/qubit_golay.yml @@ -13,9 +13,9 @@ introduced: '\cite{arxiv:quant-ph/9605021}' description: | A \([[23, 1, 7]]\) self-dual CSS code with eleven stabilizer generators of each type, and with each generator being weight eight. - The code's 11-by-23 stabilizer generator matrix blocks are + The code's 11-by-23 stabilizer generator matrix blocks \(H_{X}\) and \(H_{Z}\) are both \begin{align} - H_{X}=H_{Z}=\left(\begin{array}{ccccccccccccccccccccccc} + \left(\begin{array}{ccccccccccccccccccccccc} 0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\\ 1 & 0 & 0 & 1 & 0 & 0 & 1 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0\\ 0 & 1 & 1 & 0 & 1 & 1 & 1 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0\\ @@ -43,14 +43,14 @@ features: transversal_gates: 'All encoded Clifford gates by choosing \(\overline{U}=U^{\otimes 23}\) for every Clifford unitary \(U\) \cite{arXiv:1106.2190}.' general_gates: - - 'The Golay code can be used to perform magic-state distillation for the magic state defined as \(|T\rangle\langle T|=\frac{1}{2}(I+\frac{1}{\sqrt{3}}(X+Y+Z))\) where \(|T\rangle\) is an eigenstate of the Clifford operator \(SH\) \cite{arXiv:quant-ph/0411036}.' + - 'The Golay code can be used to perform magic-state distillation for the magic state defined as \(|T\rangle\langle T|=\frac{1}{2}(I+\frac{1}{\sqrt{3}}(X+Y+Z))\), where \(|T\rangle\) is an eigenstate of the Clifford operator \(SH\) \cite{arXiv:quant-ph/0411036}.' fault_tolerance: - 'Fault-tolerant depth-7 circuit consisting of 57 CNOT gates and preparing a logical-zero state \cite{arXiv:1106.2190}.' threshold: - '\(1.32\times 10^{-3}\)-per gate error rate for depolarizing noise upon recursive concatenation \cite{arXiv:1106.2190}, improving previous lower bounds \cite{arxiv:quant-ph/0207119,arXiv:0711.1556,manual:{B. Reichardt and Y. Ouyang. Unpublished (2006).}}. - The latter numerical study found that the Golay code achieved the highest threshold among a dozen well-known codes at the time \cite{arXiv:0711.1556}.' + The first numerical study \cite{arxiv:quant-ph/0207119} found that the Golay code achieved the highest threshold among a dozen well-known codes at the time \cite{arXiv:0711.1556}.' notes: - 'See Ref. \cite{arxiv:quant-ph/0612004} for more details.' diff --git a/codes/quantum/qubits/stabilizer/topological/surface/non-css/triangle_surface.yml b/codes/quantum/qubits/stabilizer/topological/surface/non-css/triangle_surface.yml index 6d6efd519..7e6b9bf4e 100644 --- a/codes/quantum/qubits/stabilizer/topological/surface/non-css/triangle_surface.yml +++ b/codes/quantum/qubits/stabilizer/topological/surface/non-css/triangle_surface.yml @@ -19,15 +19,14 @@ alternative_names: # qubits per logical qubit, description: | - A surface code with weight-four stabilizer generators defined on a triangular lattice patch with a single twist defect at the center of the patch. + A surface code with weight-four stabilizer generators defined on a triangular lattice patch that are examples of twist-defect surface code with a single twist defect at the center of the patch. The codes use about \(25\%\) fewer physical per logical qubit for a given distance compared to the surface code. - The also yield a way to implement gate \(S\) without state distillation. - The codes are defined an a plane tiled with equilateral triangles and having a twist defect at its center. - Each triangle can encode a qubit where one side is a string of \(Z\)s as logical \(\bar{Z}\), one side is a string of \(X\)s as logical \(\bar{X}\), and the last side is a mixed-type string as logical \(\bar{Y}\). + Triangular surface codes are defined on a plane tiled with equilateral triangles. The size of the triangular patches and which patch encodes data versus act as ancillas for gates depends on the initialization and measurement procedures. See Ref. \cite{arXiv:1612.04795} for tables and figures. +# Each triangle can encode a qubit where one side is a string of \(Z\)s as logical \(\bar{Z}\), one side is a string of \(X\)s as logical \(\bar{X}\), and the last side is a mixed-type string as logical \(\bar{Y}\). # # # The codes have simple syndrome extraction circuits and have a high threshold close to that of surface codes. @@ -40,12 +39,12 @@ description: | protection: | - For a triangle code with 7 qubits of information, 6 (6, 8) ancilla qubits, 13 (13, 15) qubits in total, and max degree of 4 (5, 4) the lower pseudothreshold under depolarizing noise is \(1.05 \times 10^{-4}\) (\(1.57 \times 10^{-4}\), \(1.76 \times 10^{-4}\)) and upper pseudothreshold is \(1.22 \times 10^{-4}\) (\(1.92 \times 10^{-4}\), \(2.23 \times 10^{-4}\)). + For a triangle code with 7 qubits of information, 6 (6, 8) ancilla qubits, 13 (13, 15) qubits in total, and max degree of 4 (5, 4), the lower pseudothreshold under depolarizing noise is \(1.05 \times 10^{-4}\) (\(1.57 \times 10^{-4}\), \(1.76 \times 10^{-4}\)), and the upper pseudothreshold is \(1.22 \times 10^{-4}\) (\(1.92 \times 10^{-4}\), \(2.23 \times 10^{-4}\)). features: rate: 'For specific triangle codes, the rates are \(7/13\) or \(7/15\) both with distance \(3\) and weight-four check operators. - In general, for \(d\) distance, there are \(3d^2 + O(d)\), \(9d^2/4 + O(d)\), or \(6d^2/4 + O(d)\) physical qubits per logical qubit, depending on the type of initialization and measurement procedures (code conversion vs. basis-state conversion vs. CAT states, respectively).' + In general, for \(d\) distance, there are \(3d^2 + O(d)\), \(9d^2/4 + O(d)\), or \(6d^2/4 + O(d)\) physical qubits per logical qubit, depending on the type of initialization and measurement procedures.' encoders: - 'Code conversion (CC) initialization and measurement method, in which the surface code is used to hold data between gates in patches.' @@ -77,14 +76,17 @@ features: decoders: - 'The decoding uses a a single decoding graph since the triangle code is not a CSS code. - Nodes of the graph are located at each stabilizer (center of the triangle graph) and has red or blue edges where red associates with \(X\) errors and blue with \(Z\) errors. To take into account any errors from measuring the error syndrome, a three-dimensional stack of the decoding graphs is laid on top of the code with vertical edges connecting to qubits between layers \cite{arXiv:1612.04795}.' + Nodes of the graph are located at each stabilizer (center of the triangle graph) and have red or blue edges, where red associates with \(X\) errors and blue with \(Z\) errors. + To take into account any errors from measuring the error syndrome, a three-dimensional stack of the decoding graphs is laid on top of the code with vertical edges connecting to qubits between layers \cite{arXiv:1612.04795}.' fault_tolerance: - 'The symmetry of triangle codes allows for fault-tolerant measurement and encoding in any Pauli basis \cite{arXiv:1612.04795}.' - 'A non-fault-tolerant curcuit initializes the triangle code. To guarantee fault-tolerance, postselection is performed on trivial measurements of the syndrome and of the logical Pauli, depending on the basis of the logical states \cite{arXiv:1612.04795}.' - - 'For syndrome extraction, instead of using the conventional ordering of coupling to the loop after coupling to the plaquette, the extraction has the coupling to the loop interwoven with the coupling to the plaquette. - These are equivalent in circuits, but makes a difference to the fault-tolerance since the latter can detect hook errors and the former cannot \cite{arXiv:1612.04795}.' + - 'Making syndrome extraction fault tolerant requires a specific ordering of syndrome measurements so as to avoid hook errors \cite{arXiv:1612.04795}.' + +# , instead of using the conventional ordering of coupling to the loop after coupling to the plaquette, the extraction has the coupling to the loop interwoven with the coupling to the plaquette. +# These are equivalent in circuits, but makes a difference to the fault-tolerance since the latter can detect hook errors and the former cannot code_capacity_threshold: - '\(10\%\) under either bit-flip or bit-phase noise for ideal syndrome measurements. diff --git a/codes/quantum/qudits/small/qutrit_golay.yml b/codes/quantum/qudits/small/qutrit_golay.yml index 1e6e4a8ad..2690a5a3b 100644 --- a/codes/quantum/qudits/small/qutrit_golay.yml +++ b/codes/quantum/qudits/small/qutrit_golay.yml @@ -13,9 +13,8 @@ introduced: '\cite{arXiv:2003.02717}' description: | An \([[11,1,5]]_3\) CSS code constructed from the ternary Golay code. - The code's 11-by-23 stabilizer generator matrix blocks are + The code's 11-by-23 stabilizer generator matrix blocks \(H_{X}\) and \(H_{Z}\) are both \begin{align} - H_{X}=H_{Z}= \begin{pmatrix} 2&1&1&2&2&0&1&0&0&0&0\\ 2&1&2&1&0&2&0&1&0&0&0\\ @@ -29,7 +28,7 @@ description: | features: transversal_gates: 'All single-qutrit encoded Clifford gates \cite{arXiv:2003.02717}.' - magic_scaling_exponent: 'Magic-state distillation scailing exponent \(\gamma=\log_3(1728\times 11)=\approx 8.97\), where the \(1728\) factor comes from the fact that one round of distillation succeeds with probability \(\approx\frac{1}{1728}\) \cite{arXiv:2003.02717}.' + magic_scaling_exponent: 'Magic-state distillation scailing exponent \(\gamma=\log_3(1728\times 11)=\approx 8.97\), where the \(1728\) factor comes from the fact that one round of distillation succeeds with probability \(\approx 1/1728\) \cite{arXiv:2003.02717}.' general_gates: - 'Magic-state distillation of the strange state \(|S\rangle=\frac{1}{\sqrt{2}}(|1\rangle-|2\rangle)\) and the Norell state \(|N\rangle=\frac{1}{\sqrt{2}}(|1\rangle+|2\rangle)\), with the former achieving a cubic error suppression \cite{arXiv:2003.02717}.'