第1章: なぜ量子コンピューティングなのか

ビデオ講義

このビデオは以下のテキストと同じ内容をカバーしています。お好みの学習形式をお選びください。

🌐 JP | 🇬🇧 EN | Last sync: 2026-08-16

量子コンピューティング道場 > 量子コンピュータ入門 > 第1章

量子コンピューティングは多くの注目を集めていますが、同時に多くの誇張も伴っています。本章では正直な土台を築きます。どの問題が本当に古典コンピュータに抵抗するのか、量子コンピュータが実際に何を違う仕方で行うのか、そしてこの分野が今日どこに立っているのかを見ていきます。概念は最初のうち馴染みにくく感じられるかもしれませんが、一歩ずつ積み上げていきます。

1.1 古典コンピュータが場所を使い果たす場所

現代の古典コンピュータは驚異的な機械です。世界規模の物流を最適化し、大規模ニューラルネットワークを訓練し、気象システムをシミュレートします。計算課題の圧倒的多数において、古典コンピュータこそが適切な道具であり、これからもそうあり続けます。

しかし、ごく少数の問題クラスは、どれだけ工学的に改良しても救えないほど悪いスケーリングを示します。難しさの原因は、プロセッサが遅すぎることではありません。難しさの原因は、計算量が現実的に達成しうるどんな速度向上よりも速く増大することにあります。

📚 量子系をシミュレートするコスト

相互作用する2準位の量子粒子が \(n\) 個ある系、たとえば分子中の \(n\) 個の電子スピンを考えましょう。この系の 量子状態 は、振幅 と呼ばれる複素数のリストで記述されます。振幅は \(n\) 個の粒子がとりうる各配置に1つずつ対応します。各粒子は2つの配置をとるので、振幅の総数は

\[ N = 2^n \]

となります。この指数的増大こそが問題の核心です。各振幅を8バイトの浮動小数点数2つとして格納すると、必要なメモリ量は次のようになります。

粒子数が50程度になると、厳密な状態は最大級のスーパーコンピュータにも収まりません。300粒子では、その帳簿づけは物理的な宇宙を超えてしまいます。この表が言っていない こと にも注意してください。有用な近似が不可能だとは言っていません。化学者や物理学者は、密度汎関数理論や量子モンテカルロ法といった優れた近似手法を築き上げてきましたし、それらは日々現実の問題を解いています。この表が言っているのは、強相関量子物質の 厳密な 古典シミュレーションには厳然たる上限がある、ということです。

大きな整数の素因数分解

2つ目の例は暗号から来ています。大きな素数を2つ掛け合わせるのは高速です。その積から元の素数を復元することは、現在知られている限り困難です。汎用の古典的素因数分解アルゴリズムとして最良のものは 一般数体篩法 で、その実行時間は桁数に対して劣指数的に増大します。これは、鍵長を2倍にすると攻撃コストが桁違いに大きくなる程度には速い増大です。RSAのような公開鍵暗号は、まさにこの非対称性の上に成り立っています。

重要な点として、素因数分解が古典コンピュータにとって困難であることは誰も 証明 していません。それはよく検証された信念であって、定理ではありません。

Mooreの法則についての注記

「Mooreの法則が終わりつつあるから」量子コンピューティングが必要だ、という説明をよく耳にします。これは背景事情であって主要な論拠ではありません。この2つは切り分けておく価値があります。

Mooreの法則 とは、1960年代に集積回路について最初に指摘された経験則で、チップ上のトランジスタ数がおよそ2年ごとに倍増するというものです。トランジスタ数は増え続けてきましたが、それに伴うクロック周波数と電力効率の向上は、トランジスタが原子スケールに近づき発熱密度が律速要因になった時点で急激に鈍化しました。業界はマルチコアプロセッサと、GPUやTPUのような専用アクセラレータで応じました。

ここが要点です。仮に古典ハードウェアが永遠に速度を倍増し続けたとしても、指数的な問題はやはりそれを打ち負かします。速度が2倍になって得られるのは、上の表でちょうど 1粒子分 だけです。量子コンピューティングを支持する論拠は、増大曲線の 形 についてのものであり、ハードウェア曲線の傾きについてのものではありません。

1.2 Feynmanの問い

1982年、Richard FeynmanはInternational Journal of Theoretical Physics誌に「Simulating Physics with Computers」という論文を発表しました。彼が投げかけた問いは、いまやこの分野の創設の問いとして読まれています。自然が量子力学的であり、量子力学を古典機械でシミュレートするのに指数的なコストがかかるのなら、それ自体が量子力学的なシミュレータを作ればよいのではないか、という問いです。

この洞察は優雅です。量子系は、ただ存在するだけで自らの振幅を無償で追跡しています。もし制御可能な量子系を作り、その相互作用を対象の分子を模倣するように調整できれば、指数的な帳簿づけはメモリチップではなく物理そのものが担ってくれます。

これが、分子・触媒・超伝導体・磁性材料の 量子シミュレーション が、量子コンピュータの最も自然な応用であり、明確な優位性が最も期待できる領域だと広く考えられている理由です。

1.3 量子コンピューティングが実際に提供するもの

ここで本章で最も重要な訂正に入ります。

❌ よくある誤解: 「すべての答えを並列に試す」

一般向けの説明はこう続きます。古典ビットは0か1のどちらかだが、量子ビット（quantum bit）は両方に同時になれる。だから \(n\) 量子ビットは \(2^n\) 通りの可能性を同時に探索し、答えが飛び出してくる、と。

この描像は誤りであり、これを信じていると、あらゆる実際の量子アルゴリズムが不可解に見えてしまいます。

なぜ成り立たないのかを説明しましょう。量子コンピュータを \(2^n\) 通りの配置すべてを同時に含む状態に置けるのは事実です。しかし、その状態を読み出すことはできません。測定はちょうど1つの結果、すなわち \(n\) ビットの文字列を1つだけ返し、それは振幅で決まる確率に従ってランダムに選ばれます。それ以外はすべて破壊されます。この制限を定量的に述べたものが Holevo限界 で、1973年にAlexander Holevoによって証明されました。どれほど巧妙に符号化しても、\(n\) 量子ビットが受け手に届けられる古典情報は高々 \(n\) ビットです。

したがって、アルゴリズムがすべての可能性の上に自分を広げるだけなら、それを測定してもあてずっぽうと変わりません。

✅ 正直な描像: 干渉

本当の仕組みは 干渉 です。振幅は複素数なので符号と位相を持ち、互いに打ち消し合うことができます。量子アルゴリズムとは、誤った 答えの振幅どうしが打ち消し合い（相殺的干渉）、正しい 答えの振幅が足し合わさる（建設的干渉）ように、注意深く振り付けられた操作の連なりです。そこで初めて測定が有用になります。正しい答えに行き着く確率が増幅されているからです。

これが、量子アルゴリズムが希少で、考案するのが難しい理由です。多くの可能性の上に広がること自体は簡単です。難しいのは打ち消し合いを設計することであり、それは問題がアルゴリズムの利用できる数学的構造を持つ場合にしかうまくいきません。たとえばShorのアルゴリズムが素因数分解問題の内部に見出す隠れた周期性がそれにあたります。

高速化について、これが意味すること

2つの行は特に強調しておく価値があります。Groverの2乗高速化は本物ですが、2乗程度の利得は、量子ハードウェアの遅いクロック周波数と誤り訂正のオーバーヘッドに食い尽くされかねません。そして最後の行は、誇大宣伝の根強い源です。量子コンピュータは、一般の巡回セールスマン問題のようなNP完全問題を効率的に解けるとは 考えられていません。そうでないと約束する人は、理論が裏づける範囲を超えて語っています。

1.4 短い歴史

この分野には、一人の物理学者の問いから研究産業に至る明確な系譜があります。

1982年 — Feynmanが問いを立てる。 上で述べたとおり、彼は量子物理のシミュレーションには量子機械が必要だと論じました。

1985年 — Deutschが機械を形式化する。 David Deutschは Proceedings of the Royal Society A 誌に「Quantum theory, the Church-Turing principle and the universal quantum computer」を発表しました。この論文はFeynmanの着想を定義へと変えました。古典的なチューリング機械と同じくらい厳密な抽象モデルである、万能量子コンピュータの定義です。この一歩がなければ、アルゴリズムを書く 対象 そのものが存在しませんでした。

1994年 — Shorのアルゴリズム。 Peter Shorは、整数の素因数分解と離散対数の計算を、桁数の多項式時間で行うアルゴリズムを発表しました。広く普及した公開鍵暗号の安全性がこの2つの問題の困難さに依拠していたため、この瞬間にこの分野は切迫性を獲得しました。

1996年 — Groverのアルゴリズム。 Lov Groverは、構造のない \(N\) 個の要素の中から目印の付いた要素を、\(N\) 回ではなく約 \(\sqrt{N}\) 回のクエリで見つける量子探索アルゴリズムを発表しました。Shorのアルゴリズムと違って非常に広く適用できますが、高速化は指数的ではなく2乗にとどまり、真に構造のない探索についてはこれより優れた量子アルゴリズムが存在しないことが証明されています。

1990年代後半から2000年代 — 最初のデバイス。 初期の実証では、溶液中の分子に対する核磁気共鳴が用いられ、核スピンが量子ビットの役割を果たしました。2001年には7量子ビットのNMR実験でShorのアルゴリズムが実行され、数15が素因数分解されました。これは物理としては画期的でしたが、同時に残された道のりの遠さを示すものでもありました。答えである3×5はあらかじめ分かっていましたし、この種のNMRはスケールしません。

これと並行して、量子情報はもっと早い時期に実用的な派生技術を生み出していました。1984年にCharles BennettとGilles Brassardが提案した 量子鍵配送 です。これは量子測定を使って通信路上の盗聴を検知します。量子コンピューティングとは別の技術であり、混同すべきではありません。

1.5 2019年の優位性実験を注意深く読む

2019年、Googleのチームは Sycamore という53量子ビットの超伝導プロセッサ上での実験を報告しました。このプロセッサはランダムな量子回路の出力分布からサンプリングを行いました。チームはこのタスクがデバイス上でおよそ200秒を要したと報告し、当時最先端の古典スーパーコンピュータが同じサンプルを生成するには1万年程度かかると見積もりました。結果はNature誌に発表され、量子超越性（quantum supremacy）と表現されました。これは「ある量子デバイスが何らかのタスクを古典ハードウェアより速く実行した」という意味しか持たない専門用語であり、そのタスクが有用であることは全く含意しません。

この主張は速やかに、そして生産的に異論を受けました。見出しを暗記するよりも、この論争を理解することの方が重要です。

• 古典側の見積もりが疑問視された。 IBMの研究者は、大規模スーパーコンピュータの潤沢なディスク容量を使う別の古典的戦略なら、同じサンプリングを1000年単位ではなく数日でできると主張しました。その後、複数のグループ、とりわけテンソルネットワーク縮約法を用いた研究によって、古典側の推定コストはさらに大きく引き下げられました。
• このタスクは古典コンピュータにとって困難になるように選ばれたのであって、有用であるように選ばれたのではない。 ランダム回路サンプリングには既知の応用がありません。まさに古典シミュレーションのボトルネックに負荷をかけるという理由で選ばれたのです。
• 結果の正しい読み方。 この実験は、古典シミュレーションにとって手に余るほど大きなデバイスを実際に制御できることを示しました。有用な計算を示したわけではありませんし、古典と量子の境界を確定したわけでもありません。その境界は古典アルゴリズムの改良とともに動き続けています。

その後、他のプラットフォームでも同様のサンプリングに基づく主張がなされてきましたが、そのたびに同じパターンの古典側からの反論が続いています。「量子優位性」の発表は、特定の古典的ベースラインに対する特定のタスクについての主張だと捉え、そのベースラインが何だったのかを必ず確認してください。

1.6 NISQ時代と今日の展望

2018年、John Preskillは学術誌Quantumに「Quantum Computing in the NISQ Era and Beyond」を発表し、現在の時代に名前を与えました。NISQ は Noisy Intermediate-Scale Quantum（ノイズあり中規模量子）の略で、古典シミュレーションが容易でなくなる程度の量子ビット数を持ちながら、長い計算を確実に実行するのに必要な誤り訂正を備えていないデバイスを指します。

中心的な障害は デコヒーレンス です。量子ビットは環境、すなわち迷い込む電磁場・振動・熱雑音と相互作用し、この相互作用がその繊細な位相関係をランダム化します。干渉こそが量子アルゴリズムの依拠するものである以上、ノイズは単に小さな誤差を加えるのではなく、仕組みそのものを侵食します。あらゆる物理操作もゼロでない誤り率を持つため、出力がノイズと区別できなくなる前に実行できる回路の深さには限りがあります。

長期的な答えとして受け入れられているのが 量子誤り訂正 です。これは信頼できる1つの 論理量子ビット を多数の物理量子ビットにわたって符号化し、繰り返し測定によって、保存された情報を乱すことなく誤りを検知・訂正します。その代償は大きく、RSA-2048の解読のような暗号学的に意味のあるタスクについて公表されているリソース見積もりは、数百万個の物理量子ビットに達します。誤り訂正の実験的進展は近年、確かで有望なものですが、今日のデバイスと大規模な誤り耐性（フォールトトレラント）マシンとの隔たりは依然として大きいままです。

ハードウェアプラットフォーム

いくつかの物理実装が並行して追求されており、どれが勝つかは本当に分かっていません。

世界中の企業と国立研究所がこれらすべてに取り組んでいます。頻繁に変わり、プラットフォーム間で比較もできない量子ビット数の記録を追うのではなく、ゲート忠実度、コヒーレンス時間、接続性、そして何よりも 誤り訂正が実証された性能 に注目してください。

現実的な見通し

タイムラインについて正直であることも、有用であることの一部です。

• 今日すでに現実であること: 数十から数百個の物理量子ビットの高品質な制御、誤り率の着実な改善、小規模な誤り訂正の実証。
• 中期的にあり得ること: 化学・材料における量子シミュレーション問題での、控えめだが本物の優位性。問題と機械の適合が最も良い領域です。
• まだ遠いこと: 暗号学的に意味のある素因数分解を含む、大規模な誤り耐性計算。信頼できる予測は幅広い年数にわたっており、自信を持って年を提示する人は当て推量をしています。
• いずれにせよ見込みが薄いこと: 量子コンピュータがノートPCを置き換えること、あるいは一般のNP完全最適化問題を効率的に解くこと。

ただし、1つの帰結は将来ではなく今日、注意を払うに値します。暗号化されたデータは今記録しておき、能力のあるマシンが登場してから復号できる — いわゆる「今収穫し、後で復号する（harvest now, decrypt later）」— ため、標準化団体は 耐量子計算機暗号、すなわち量子攻撃に耐えるよう設計された古典アルゴリズムへの移行を進めてきました。この移行は、量子ハードウェアがいつ成熟するかとは独立に、いま進行中です。

まとめ

本章では、量子コンピューティングという分野が存在する理由を確認しました。特定の問題、とりわけ 量子系の厳密なシミュレーション は、系のサイズとともに指数的に増大する計算量を古典コンピュータに強い、ハードウェアの速度向上ではその形を変えられません。Feynmanの1982年の議論 は、量子シミュレータならこの帳簿づけをメモリではなく物理が担う、というものでした。最もよくある誤解も直接訂正しました。量子コンピュータはすべての答えを並列に試すのでは ありません。測定は1つの結果しか返さない からです。本当の仕組みは 干渉 であり、誤った答えの振幅が打ち消し合い、正しい答えの振幅が強め合うというもので、これは利用可能な構造を持つ問題でしか機能しません。Deutschの1985年 の万能量子コンピュータから、Shorの1994年 の素因数分解アルゴリズム、Groverの1996年 の2乗探索高速化を経て最初の小型デバイスに至るまで、節目をたどりました。2019年のランダム回路サンプリング実験 とそれが引き起こした古典側からの反論を検討し、今日のハードウェアを、Preskillが2018年 に名づけた NISQ時代 の中に位置づけました。そこでは デコヒーレンス が回路深さを制限し、量子誤り訂正 が本質的な未完の課題として残されています。

次章では、これらすべての背後にある数学的対象を組み立てます。量子ビット、重ね合わせ、Born則に基づく測定、そして量子特有の資源である量子もつれを、Pythonによる数値例とともに学びます。

← シリーズトップ 第2章: 量子ビット、重ね合わせ、量子もつれ →

免責事項

• 本コンテンツは教育・研究・情報提供のみを目的としており、専門的な助言(法律・会計・技術的保証など)を提供するものではありません。
• 本コンテンツおよび付随するCode examplesは「現状有姿(AS IS)」で提供され、明示または黙示を問わず、商品性、特定目的適合性、権利非侵害、正確性・完全性、動作・安全性等いかなる保証もしません。
• 外部リンク、第三者が提供するデータ・ツール・ライブラリ等の内容・可用性・安全性について、作成者および東北大学は一切の責任を負いません。
• 本コンテンツの利用・実行・解釈により直接的・間接的・付随的・特別・結果的・懲罰的損害が生じた場合でも、適用法で許容される最大限の範囲で、作成者および東北大学は責任を負いません。
• 本コンテンツの内容は、予告なく変更・更新・提供停止されることがあります。
• 本コンテンツの著作権・ライセンスは明記された条件(例: CC BY 4.0)に従います。当該ライセンスは通常、無保証条項を含みます。