この章のまとめ

2026年10月15日10分で読めますAI生成教科書『虎の巻』第6部第1章回路モデルと万能性

AI 生成・木下が未勉強

相対エントロピーから情報と物理を組み立てる　第6部第1章 §6.1.7　★★★ 回路モデルは「初期化・ゲート・最後の測定」の約束で、1量子ビットのゲートと CNOT で厳密に、 $\{H,T,\mathrm{CNOT}\}$ で近似的に万能になる。ゲートの数の下限は情報量の数え上げで決まり、測定型と断熱型も同じ力を持つ

回路モデルは、量子ビットを $| 0\cdots0 \rangle$ から始め、ゲートを順に当て、最後に計算基底で測る約束だった。1量子ビットのゲートは Bloch 球の回転で、ZYZ 分解によって $z$ と $y$ の2つの軸のまわりの回転に分けられる。2量子ビットのゲートは CNOT を標準に取り、制御つきのゲートを CNOT 2個と1量子ビットのゲートで作る補題と、任意のユニタリを $d(d-1)/2$ 個の2準位ユニタリに分ける定理を合わせると、1量子ビットのゲートと CNOT で任意のユニタリが厳密に作れた。

有限のゲート集合では、作れるユニタリは数えられるだけなので、万能性は近似の意味になる。誤りはゲートごとに足し算で積み上がり、全体の誤り $\varepsilon$ は Helstrom の成功確率 $\tfrac12(1+\varepsilon )$ を通して測定で見分けられる限界を与えた。 $T\cdot HTH$ の回転角が $\pi$ の無理数倍であることから $\{H,T\}$ は1量子ビットで万能になり、Solovay–Kitaev の定理は必要なゲートの数が $\ln^c(1/\varepsilon )$ で済むことを保証した。

情報の側から見ると、 $L$ 個のゲートの回路は $L\log_2K$ ビットで書け、精度 $\varepsilon$ で見分けたい $n$ 量子ビットのユニタリを名指すには $(4^n-1)\log_2(1/\varepsilon )$ ビットが要る。この2つを比べて、ほとんどのユニタリは $4^n$ に比例する数のゲートを要することが分かった。量子計算で速く解ける問題は、少ないビットで書ける特別なユニタリに限られる。測定型（クラスター状態を1量子ビットずつ測る）と断熱型（Hamiltonian をゆっくり変える）は、どちらも回路と多項式の手間で真似し合える。測定型の測定結果は入力について何も教えず、計算の情報はすべて測定の角の選び方にあった。

次の章（第6部第2章）では、この章の部品で量子 Fourier 変換を組み、ユニタリの固有値を読む位相推定を作る。 $T$ ゲートが誤り訂正の中で特別扱いになる理由は第6部第5章で扱う。

この章の道具

回転 $R_{\bm{n}}(\theta)=\cos\frac\theta2\mathbf 1-\mathrm{i}\sin\frac\theta2\,\bm{n}\cdot\bm{\sigma}$ 。ZYZ 分解 $U=\mathrm{e}^{\mathrm{i}\alpha}R_z(\beta)R_y(\gamma)R_z(\delta)$ 。
$H=\mathrm{e}^{\mathrm{i}\pi/2}R_{\bm{n}}(\pi)$ 、 $\bm{n}=(1,0,1)/\sqrt2$ 。 $T=\mathrm{e}^{\mathrm{i}\pi/8}R_z(\pi/4)$ 、 $HR_z(\varphi)H=R_x(\varphi)$ 。
制御 $U$ ： $ABC=\mathbf 1$ 、 $U=\mathrm{e}^{\mathrm{i}\alpha}AXBXC$ で CNOT 2個。2準位ユニタリへの分解は $d(d-1)/2$ 個。
誤りの積み上がり $\lVert \prod U_i-\prod V_i\rVert \le\sum\lVert U_i-V_i\rVert$ 、 $T(| a \rangle \langle a |,| b \rangle \langle b |)\le\lVert U-V\rVert$ 。
Solovay–Kitaev：長さ $\mathcal{O}(\ln^c(1/\varepsilon ))$ 、 $c\approx3.97$ 。数え上げ： $L\log_2K\gtrsim(4^n-1)\log_2(1/\varepsilon )$ 。
測定型の1段： $X^mHP(-\theta)| \psi \rangle$ 、結果は確率 $1/2$ 。断熱型の探索： $g_{\min}=E_0/\sqrt N$ 、局所の速さで $t_{\mathrm f}\approx\frac{\pi}{2\kappa}\sqrt N\hbar/E_0$ 。

総合問題　測定型の計算で1量子ビットの回転を作る ★★★

オリジナル直線に並んだクラスター状態の端に入力 $| \psi \rangle$ を置き、3個の量子ビットを角 $\theta_1,\theta_2,\theta_3$ で順に測って1量子ビットのゲートを作る（図 6.1.3）。各段の測定は命題 6.1.12 に従うとする。

(1) （使う道具：6.1.1節） $R_x(\varphi)=HR_z(\varphi)H$ と、ZYZ の形 $R_x(\varphi)=R_z(-\pi/2)R_y(\varphi)R_z(\pi/2)$ を確かめよ。
(2) （使う道具：6.1.5節・6.1.1節）副産物の Pauli 行列を次の段の角の符号で吸収すると、出力が $HP(-\theta_3)HP(-\theta_2)HP(-\theta_1)| \psi \rangle$ に副産物 $X^xZ^z$ を掛けたものになることを示し、これが全体の位相を除いて $H\,R_z(-\theta_3)R_x(-\theta_2)R_z(-\theta_1)| \psi \rangle$ であることを確かめよ。これで任意の1量子ビットのゲートが作れる理由を述べよ。
(3) （使う道具：6.1.5節／第3部第6章）各段の測定結果と入力 $| \psi \rangle$ の間の相互情報量を求め、テレポーテーションで Alice の測定結果が入力について何も教えなかったことと比べよ。
(4) （使う道具：6.1.3節／第3部第1章）測定の角が装置の誤差で各段 $\delta=0.01$ だけずれるとする。1段のゲートの誤り $\lVert P(-\theta-\delta)-P(-\theta)\rVert$ を求め、10段続けたときの全体の誤りの上限と、理想の出力と見分ける成功確率の上限を求めよ。
(5) （使う道具：6.1.3節・6.1.4節）すべての角が $\pi/2$ の倍数のとき、各段のゲート $HP(-\theta)$ が Pauli 行列を Pauli 行列へ移すこと（Clifford 群の元であること）を確かめ、この場合の測定型の計算が古典の計算機で効率よく真似できる理由を述べよ。 $\theta=\pi/4$ では何が変わるか。

解答

(1) $HZH=X$ から $HR_z(\varphi)H=H(\cos\frac\varphi2-\mathrm{i}\sin\frac\varphi2Z)H=\cos\frac\varphi2-\mathrm{i}\sin\frac\varphi2X=R_x(\varphi)$ 。ZYZ の形は、 $R_z(-\pi/2)YR_z(\pi/2)$ が Bloch 球で $y$ 軸を $z$ 軸のまわりに $-\pi/2$ 回したもの、すなわち $X$ になることから、 $R_z(-\pi/2)R_y(\varphi)R_z(\pi/2)=\exp\bigl(-\mathrm{i}\frac\varphi2R_z(-\pi/2)YR_z(\pi/2)\bigr)=R_x(\varphi)$ である。

(2) ある段の直前に副産物 $X^xZ^z$ が付いているとする。 $Z$ は $P(-\theta)$ と交換し、 $XP(-\theta)X=\mathrm{e}^{-\mathrm{i}\theta}P(\theta)$ なので、測る角を $\theta'=(-1)^x\theta$ に選べば $P(-\theta')X^xZ^z=X^xZ^zP(-\theta)$ （位相を除く）となる。続く $H$ を通すと $HX^xZ^z=Z^xX^zH$ （符号を除く）で、この段の新しい副産物 $X^m$ と合わせて、副産物は $X^{z+m}Z^x$ に更新される。3段を通すと、出力は $X^xZ^z\,HP(-\theta_3)HP(-\theta_2)HP(-\theta_1)| \psi \rangle$ の形になる。 $P(-\theta)=\mathrm{e}^{-\mathrm{i}\theta/2}R_z(-\theta)$ と (1) の $HR_z(-\theta)H=R_x(-\theta)$ を使い、 $HP(-\theta_3)HP(-\theta_2)HP(-\theta_1)=H\,P(-\theta_3)\,[HP(-\theta_2)H]\,P(-\theta_1)$ と括ると、全体の位相を除いて $H\,R_z(-\theta_3)R_x(-\theta_2)R_z(-\theta_1)$ である。 $z$ ・ $x$ ・ $z$ の Euler 角は ZYZ 分解と同じく任意の回転を表す（軸 $y$ を軸 $x$ に替えても直交する2軸であることは変わらない）ので、3つの角を選べば任意の1量子ビットのゲートに $H$ を掛けたものが作れる。最後の $H$ と副産物の Pauli 行列は、既知の Clifford 群の元なので、後の段で打ち消すか測定の解釈で読み替えればよい。

(3) 命題 6.1.12 から、各段の結果 $m$ は入力 $| \psi \rangle$ と角によらず確率 $1/2$ で出る。結果の分布が入力によらないので、入力（を指定する変数）と結果の相互情報量は $0$ である。テレポーテーションでも、Alice の Bell 測定の4つの結果は確率 $1/4$ ずつで入力によらず、結果と入力の相互情報量は $0$ だった。測定型の各段は、入力を隣の量子ビットへテレポートしながらゲートを当てる手続きで、測定結果は副産物の補正に使われるだけで、入力の情報を外へ持ち出さない。

(4) $P(-\theta-\delta)-P(-\theta)=\mathrm{diag}\bigl(0,\mathrm{e}^{-\mathrm{i}\theta}(\mathrm{e}^{-\mathrm{i}\delta}-1)\bigr)$ なので、ノルムは $\lvert \mathrm{e}^{-\mathrm{i}\delta}-1\rvert =2\sin(\delta/2)=0.0100$ 。（ $H$ を掛けても値は変わらない。）補題 6.1.8 から10段の全体の誤りは $10\times2\sin(0.005)=0.0999\approx0.1$ 以下で、式 (6.1.6) と Helstrom の結果から、見分ける成功確率は $\tfrac12(1+0.1)=0.55$ 以下である。

(5) $\theta=k\pi/2$ なら $P(-\theta)\in\{\mathbf 1,S^\dagger,Z,S\}$ で、 $S$ と $H$ はどちらも Pauli 行列を符号を除いて Pauli 行列へ移す（ $SXS^\dagger=Y$ 、 $SZS^\dagger=Z$ 、 $HXH=Z$ 、 $HZH=X$ ）。したがって $HP(-\theta)$ は Clifford 群の元である。クラスター状態は $| + \rangle$ に CZ を当てて作るスタビライザー状態で、Clifford 群のゲートと Pauli 行列の測定だけを使う計算は、Gottesman–Knill の定理により、4節で見たように $n(2n+1)$ ビットの表をたどって古典の計算機で効率よく真似できる。 $\theta=\pi/4$ では $HP(-\pi/4)$ が $X$ を $(Z+Y)/\sqrt2$ へ移し、Pauli 行列でないものになるので Clifford 群の外へ出る。測定型の計算が古典を超えるには、 $\pi/2$ の倍数でない角の測定が少なくとも一部に要る。これは回路で $T$ ゲートが要ったこと（3節）の、測定型での姿である。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI（Claude）が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。連絡先：support@tecktom.com

この記事が含まれている連載

連載AI生成教科書『虎の巻』授業とは別に、分野をまたいで気になったことを AI（Claude）が教材にし、木下が勉強しながら公開しています。上の段は AI が書いた本文、下の段は木下が勉強したあとに書いた文です。1787本の記事・木下智貴

← AI生成教科書『虎の巻』の記事一覧へ