量子回路とは？ワイヤーモデル・基本ゲートと、作用素代数・線形代数・テンソルとの関係

量子回路のワイヤーモデル

量子回路は、古典的な論理回路と同じように、左から右へと読む「ワイヤーとゲート」の図として描かれます。ただし、古典回路のワイヤーが0か1のビット値を運ぶのに対し、量子回路のワイヤーは 量子ビット(qubit)の状態、すなわち2次元複素ベクトル空間 C^2の要素を運びます。1本のワイヤーは1つの量子ビットの時間発展を表し、ゲートはそのワイヤー(群)に対して作用する変換です。

量子回路という考え方の起源は、1982年にRichard Feynmanが「量子力学のシミュレーションには量子力学に従う計算機が必要ではないか」と提起した論文にあり、1985年にDavid Deutschが「万能量子計算機」の理論的な定式化を与えたことで、計算モデルとして確立しました。複数量子ビット系の記述に使われるテンソル積や、量子情報の基礎概念については別記事で扱っています。本記事では、ゲートそのものの数学的な正体に焦点を当てます。

基本ゲート：1量子ビットと2量子ビット

代表的な1量子ビットゲートには、ビット反転に相当するパウリX、重ね合わせ状態を作るアダマールゲート(H)、位相を回転させる SゲートとTゲートがあります。2量子ビットゲートの代表格が CNOT(制御NOT)で、制御ビットが1のときだけ標的ビットを反転させる、量子もつれ(エンタングルメント)を生成できる基本ゲートです。3量子ビットの トフォリゲート(CCNOT)は、古典的な可逆計算に対して万能性を持ちます。

重要な定理として、1量子ビットゲート(任意の回転)とCNOTだけの組み合わせで、任意の量子計算を(近似的に)実現できることが知られています(Barencoらによる1995年の構成的証明)。「近似的に」という限定が必要な理由は、連続的に無限にあるユニタリ変換を、有限個のゲート(例えばH・T・CNOT)の有限回の組み合わせだけで厳密に 再現することはできないためです。しかしSolovay-Kitaevの定理により、必要な精度εを達成するのに必要なゲート数は、εの対数に対して多項式的にしか増加しないことが保証されており、実用上は「万能」とみなして差し支えありません。

ゲートの正体1：作用素代数(ユニタリ演算子)

量子力学の基本原理により、孤立した量子系の時間発展はユニタリ演算子 (U†U = I を満たす線形演算子)によって記述されます。量子ゲートとは、まさにこのユニタリ演算子そのものです。n量子ビット系に対するゲートの集合は、群 U(2^n)(あるいは大域的な位相を除いたSU(2^n))をなし、ゲートの合成(回路の直列接続)は、この群における演算子の積に対応します。

さらに、1量子ビットの回転ゲート R_x(θ)、R_y(θ)、R_z(θ) は、パウリ行列 σ_x、σ_y、σ_z(これらはエルミート演算子、すなわち物理的な観測量に対応する演算子です) を指数写像によってU = exp(-iθσ/2)という形でユニタリ演算子に変換したものです。エルミートな生成子(generator)を指数化するとユニタリな時間発展が得られる、という関係は、数学的にはストーンの定理(Stone's theorem) ―― 1パラメータユニタリ群とその生成子であるエルミート演算子の対応関係を保証する定理 ―― の物理的な現れであり、量子力学の作用素代数的な定式化の核心部分です。

ゲートの正体2：線形代数(行列としてのゲート)

より具体的なレベルでは、これらのユニタリ演算子は、単にユニタリ行列 (U†U = I を満たす複素正方行列)として扱うことができます。1量子ビットの状態は 2次元の列ベクトル、ゲートは2×2のユニタリ行列であり、ゲートを状態に適用するとは行列とベクトルの積を計算することに他なりません。回路の直列接続は行列の積、並列に並んだゲート(異なるワイヤーに同時に作用するゲート)はテンソル積(後述)に対応します。

測定もこの枠組みの中で記述されます。観測量はエルミート行列(固有値が実数になる行列)で表され、測定結果として得られるのはその固有値のいずれかであり、特定の固有値が得られる確率は、状態ベクトルをその固有空間へ射影した成分の絶対値の2乗(ボルンの規則)で与えられます。つまり量子回路の実行とは、行列を次々とベクトルに掛けていき、最後に固有空間への射影という形で「答えを覗き見る」操作だと言えます。

ゲートの正体3：テンソルと双対線形空間

n個の量子ビットからなる系全体の状態空間は、各量子ビットの状態空間C^2の テンソル積 (C^2)^⊗nとして構成されます。2量子ビットゲートを n量子ビット系の中の特定の2本のワイヤーだけに適用する場合、残りの(n-2)本のワイヤーには恒等演算子Iを作用させ、全体としてはゲート行列とIのテンソル積として表現します。これが、量子回路図で「ゲートが特定のワイヤーだけに描かれている」ことの厳密な数学的表現です。

量子力学の標準的な記法であるブラケット記法(bra-ket notation)は、この構造の中でもう一段深い接続を体現しています。状態ベクトル |ψ⟩(ケット)はヒルベルト空間Hの要素ですが、それに対応する ⟨ψ|(ブラ)は、Hの双対空間 H*(H上の線形汎関数全体がなす空間)の要素です。2つの状態の内積 ⟨φ|ψ⟩ は、双対空間の要素(ブラ)が本来の空間の要素(ケット)に作用した結果、という線形代数における「双対空間の自然な組」そのものです。ヒルベルト空間においては リースの表現定理により、内積を通じてすべてのブラに対応するケットが一意に存在することが保証されており(=ヒルベルト空間は自分自身の双対空間と自然に同一視できる)、これがブラケット記法を矛盾なく成立させている数学的根拠です。

3つの視点は、同じ構造の異なる断面である

作用素代数の視点は「ゲートとは何であるべきか」(ユニタリ性という物理的制約)を、線形代数の視点は「ゲートを具体的にどう計算するか」(行列演算)を、そしてテンソル・双対空間の視点は「複数の量子ビットや、内積・測定といった演算がどう合成されるか」を、それぞれ説明しています。量子回路という一見単純な図式の背後には、この3層が矛盾なく積み重なっており、量子アルゴリズムの設計とは、この数学的構造の中で目的の変換を実現するゲート列を見つけ出す作業だと言えます。具体的な量子アルゴリズムの設計例についてはグローバーのアルゴリズムの記事で扱っています。

まとめ

量子回路のワイヤーは量子ビットの状態(C^2の要素)を運び、ゲートはユニタリ演算子として作用する
H・CNOTなどの基本ゲートの組み合わせは、Solovay-Kitaevの定理により任意の量子計算を効率よく近似できる
ゲートは作用素代数的にはユニタリ演算子であり、回転ゲートはエルミートな生成子(パウリ行列)の指数写像として得られる(ストーンの定理)
線形代数的には、ゲートはユニタリ行列であり、測定はエルミート行列の固有空間への射影とボルンの規則で記述される
多量子ビット系はテンソル積で構成され、ブラケット記法はヒルベルト空間とその双対空間の自然な対応(リースの表現定理)を体現している