量子コンピューティング
量子コンピューティング
量子ビット・重ね合わせ・もつれ・量子ゲート・Shor/Grover… 量子計算の「なぜ特別なのか」を、まず TL;DR でつかみ、そこから数理・原理まで。
解説記事
原理・深掘り
量子計算の仕組みを、まず TL;DR で要点をつかみ、そこから数理・原理まで。
HHL（量子線形方程式ソルバ）
Ax=bを量子で解くHHLの正体を、位相推定と条件付き回転の連携から把握。指数加速が謳われる裏で、読み出し・スパース性・条件数という三つの但し書きがなぜ効くのかまで腑に落とせます。
NISQとデコヒーレンス
なぜ今の量子コンピュータは誤り訂正なしなのか。T1・T2緩和が回路深さを縛る理由を数式で押さえ、NISQ時代に現実的な計算の限界を見極められます。
グローバー探索アルゴリズム
N件から目的の1件を探す総当たりが、量子だとおよそ√N回で済む。その加速を生む振幅増幅の仕組みと反復回数の決め方を、幾何の絵で腑に落とせます。
ショアの素因数分解アルゴリズム
RSA を破る量子アルゴリズムの正体を、素因数分解が「周期発見」に化ける仕掛けから位相推定・量子フーリエ変換まで一気に腑に落とせます。
スタビライザ形式とクリフォード群
指数的に膨れる量子状態を、演算子の集合として多項式サイズで正確に扱う技法。クリフォード群の効率記述からゴッタスマン・クニル定理、誤り訂正符号の設計までを原理でつかめます。
テンソルネットワークによる古典シミュレーション
量子回路を古典計算機でどこまで再現できるかの境界がつかめる。もつれエントロピーが結合次元を通じてコストを支配する仕組みを理解し、超越主張の見積もりを自分で評価できます。
ドイチュ–ジョザのアルゴリズム
量子だと本当に速い最初の証拠。関数が定数か均衡かを、古典なら最悪で指数回かかる判定を、たった1回の問い合わせで確定できる仕組みを原理から解けます。
バーンスタイン・ヴァジラニとサイモン
隠れた秘密ビット列をたった1回の問い合わせで丸ごと当てるバーンスタイン・ヴァジラニと、周期を暴いて古典に指数差をつけるサイモンを、Shorへ橋渡しする原理から腑に落とせます。
ハミルトニアンシミュレーションとトロッター分解
量子コンピュータ本来の使い道である「自然のシミュレーション」を原理から把握。分子や磁性体の時間発展をゲート列へ落とすトロッター分解の仕組みと、刻み幅が誤差を決める理由まで腑に落ちます。
ブロッホ球と量子状態
1量子ビットの状態がなぜ「球面上の1点」で描けるのかが腑に落ちます。θとφの意味、グローバル位相が消える理由、代表状態の位置まで一気に整理できます。
振幅増幅と振幅推定
グローバー法を一般化した振幅増幅と、良い状態の確率を量子位相推定で読む振幅推定を原理から把握。モンテカルロが二次加速される理由と、その限界まで正確に押さえられます。
測定と状態の収縮
量子の測定がなぜ確率的で、なぜ後戻りできないのかを射影・ボルン則・状態収縮から一気に整理。観測結果の見え方が式で腑に落ちます。
測定型量子計算（クラスタ状態）
回路を組まず測定だけで計算する発想を原理からつかめます。クラスタ状態への逐次測定・適応的な角度選択・ゲート型との等価性まで、なぜ成立するかが腑に落ちます。
表面符号と格子手術
誤り訂正量子ビットの本命がなぜ表面符号なのかを、格子の構造・距離・しきい値から解き明かす。格子手術で論理CNOTがどう実装されるかまで、実機スケールの設計原理を原理からつかめます。
複製不可能定理
なぜ量子鍵配送は盗聴を必ず検知できるのか。任意の未知量子状態はコピーできないという定理を線形性から証明し、暗号と誤り訂正への含意まで一気に腑に落とせます。
変分量子アルゴリズム（VQE・QAOA）
誤り訂正なしの今の量子マシンで成果を出す本命。浅い量子回路と古典最適化を回すハイブリッドの仕組みと、学習が止まるバレンプラトー問題の正体まで押さえられます。
密度行列と混合状態
状態ベクトルでは書けない「確率的に混ざった量子状態」を密度行列で正確に扱えるようになります。ρの3性質、部分トレース、ブロッホ球内部との対応まで一気に整理できます。
量子アニーリング
巡回セールスマンのような組合せ最適化を、量子ゆらぎで基底状態探索に置き換える発想。断熱定理・イジング写像・ゲート式との違いまで、なぜ速くなり得るのかを腑に落とせます。
量子ウォーク
ランダムウォークを量子化すると拡散が二次的に速くなる理由が腑に落ちる。コイン付き離散時間版と連続時間版の原理、干渉が生む弾道的な広がり、探索アルゴリズムへの応用までを正確につかめます。
量子ゲートと量子回路
量子アルゴリズムを読み書きする土台。ゲートがなぜユニタリ行列で必ず可逆なのか、X/Y/Z・H・位相・CNOT の働きから回路図の読み方と普遍ゲート集合までを原理でつかめます。
量子チャネルとノイズモデル
実機のノイズを数式で扱う共通言語がCPTPマップとクラウス表現。脱分極・位相緩和・振幅減衰の3モデルで誤りの正体をつかみ、誤り訂正と緩和の前提を正確に読めます。
量子テレポーテーションと超高密度符号化
もつれと2ビットの古典通信だけで、未知の量子状態をまるごと転送できる仕組みを手順から理解。逆向きに使う超高密度符号化と、光速を超えて情報が送れない理由まで一気に腑に落ちます。
量子ハードウェアの実装方式
超伝導・イオントラップ・光・中性原子・半導体スピンのどれを選ぶべきか、コヒーレンス時間・ゲート速度・接続性・拡張性の勝ち負けを一望して判断軸を持てます。
量子ビットと重ね合わせ
0と1を同時に持てる量子ビットの正体を、確率振幅とボルン則から正確に理解。測定でなぜ確率的に値が確定するのかまで腑に落ちます。
量子フーリエ変換
Shorや量子位相推定の心臓部を原理から把握。QFTが振幅に対して離散フーリエ変換を施す仕組みと、古典FFTより速いのに置き換えにならない理由まで腑に落ちます。
量子もつれとベル状態
もつれの正体を式で開封。積状態との違いから4つのベル状態、非局所相関、CHSH不等式の破れまで、量子計算の土台を最短で腑に落とせます。
量子位相推定（QPE）
ShorやHHLの心臓部を原理から把握。ユニタリの固有位相をビット列として読み出す仕組みと、精度と補助量子ビット数のトレードオフまで腑に落ちます。
量子計算量クラス（BQP）
量子コンピュータが「本当に速い」とはどの意味かが腑に落ちる。BQPの厳密な定義とP・NPとの包含関係、指数加速が成り立つ条件を、証明済みと未解決の境界まで正確に押さえられます。
量子鍵配送（BB84・E91）
盗聴されたら必ずバレる鍵共有の仕組みを、測定が状態を乱す性質からBB84・E91の手順、情報理論的安全性の前提まで最短で腑に落とせます。
量子誤り緩和（ZNE・PEC）
誤り訂正が届かない今の量子マシンで、期待値の精度だけを後処理で引き上げる実務技。ゼロノイズ外挿と確率的誤りキャンセルの原理と、指数的コストという限界まで押さえられます。
量子誤り訂正
壊れやすい量子ビットを、測定で状態を壊さずに守るしくみ。ビット反転・位相反転の訂正から表面符号としきい値定理まで、実用量子計算の土台を原理からつかめます。
量子優位性と量子超越
量子超越の実証と論争を整理し、サンプリングでの勝利がなぜ実用の勝利と別物なのかを見抜けます。ニュースの誇大表現に振り回されず、量子計算の現在地を正確に評価できます。