$$ \def\bra#1{\mathinner{\left\langle{#1}\right|}} \def\ket#1{\mathinner{\left|{#1}\right\rangle}} \def\braket#1#2{\mathinner{\left\langle{#1}\middle|#2\right\rangle}} $$ はじめに 誤り訂正符号を使ってユニバーサル量子計算を行うためには、「(1)論理パウリ演算」「(2)論理CNOT演算」「(3)論理アダマール演算」「(4)論理位相シフト演算」の各々を誤り耐性がある形で構成する必要があります。このうち、(1)(2)(3)は1量子ビットに対する(単体の)クリフォード演算(X,Y,Z,H,CNOTゲート)だけで実現できます1。が、(4)については単体のクリフォード演算(X,Y,Z,H,CNOTゲート)以外に、十分に精度の高い特別