QCi、光学式量子コンピューター「Dirac-3S」を発表 約1万変数に対応も実用性と将来性に根本的な疑問
Quantum Computing Inc.(QCi)は、光子型エントロピー量子コンピューター「Dirac-3」の拡張版となる「Dirac-3S」を発表した。処理可能な規模を949変数から9,980変数へ拡大し、既存のオンサイトシステムへのモジュール追加とクラウド経由での利用に対応する。
✍️ Quantum Indexの視点
発表内容の背景にある技術・事業上の意味と、数字や見出しだけでは見えにくい評価ポイントを解説します。 独自分析を読む ↓
発表概要
Dirac-3Sは、従来のDirac-3に非線形光学を利用した拡張モジュールを追加する構成である。複数のモジュールを組み合わせれば、1万変数を超える規模にも対応できるとQCiは説明している。 計算には光子quditを使用し、単一光子の到着時刻に量子情報を保持する。ニオブ酸リチウムフォトニクスによって、問題のハミルトニアンを光へ書き込む仕組みである。 QCiは、標準的なNP困難問題群である「DIMACS max-clique set」を用いてDirac-3Sを直接試験した。その結果、業界向けソフトウェア「Hexaly」と射影勾配降下法に対し、解の品質と計算速度の両面で上回ったとしている。ただし、詳しい試験条件や第三者による検証結果は示されていない。
重要ポイント
- 処理可能な規模をDirac-3の949変数から9,980変数へ拡大した
- 複数の拡張モジュールにより、1万変数を超える構成も可能だとしている
- DIMACS最大クリーク問題を使った試験で、Hexalyと射影勾配降下法を解の品質と速度で上回ったとQCiは報告した
- 既存顧客はオンサイトのDirac-3へモジュールを追加でき、クラウド経由でも利用できる
技術・事業上の意味
標準問題を用いた直接試験で古典手法との比較を示した点は、Dirac-3Sの性能を判断する材料となる。また、システム全体を置き換えず、拡張モジュールによって処理規模を増やせる構成は、計算需要に応じた段階的な導入につながる可能性がある。一方、QCiによる比較結果だけでは実用上の優位性は確定せず、ベンチマーク条件や実際の顧客課題における性能、導入コストを含めた評価が必要である。
今後の注目点
今後は、比較に使った設定、実行時間の測定方法、解の品質を含むベンチマークの詳細が公開されるかが焦点となる。第三者による再現や、標準問題以外の顧客データでも優位性が得られるかが重要である。さらに、複数モジュールを接続した際の性能の伸び方と、価格や導入事例が示されれば、技術面と事業面の実用性を判断しやすくなる。
✍️ Quantum Indexの視点
今回の発表は、約1万変数への対応を大きな成果として強調しているが、専用ハードウェアとしての存在意義には根本的な疑問が残る。Dirac-3Sは、QCiが「エントロピー量子コンピューター」と呼ぶ光学式アナログ最適化マシンであり、ゲート型量子コンピューターゲート型量子コンピューター量子ビットに量子ゲートを順番に作用させて計算する方式。量子回路を組み立ててアルゴリズムを実行する、代表的な量子計算モデル。QI補足量子アニーリングなどとは計算方式が異なる。「ゲート方式」というだけで汎用・大規模な実用計算が可能とは限らず、量子ビット数や誤り率、回路の深さも重要になる。でも量子アニーラー量子アニーラー量子アニーリング / Quantum Annealing量子ゆらぎを利用して、組合せ最適化問題などの良い解を探索する計算手法。問題をエネルギーが低い状態を探す形に変換して解く。QI補足量子アニーリングは、汎用的なゲート型量子コンピューターとは異なり、最適化問題を解くことに特化した方式である。1990年代に西森秀稔氏らが理論的に提案し、現在はD-Waveが代表的な商用システムを開発している。性能を見る際は、量子ビット数だけでなく、問題の埋め込み方や古典手法との比較条件も確認したい。でもない。約1万という数字も量子ビット量子ビットQuantum Bit / Qubit量子コンピュータで情報を表す基本単位。0と1のどちらかだけでなく、それらを重ね合わせた量子状態を取れる。QI補足量子ビット数が多いほど必ず高性能とは限らない。誤り率、接続性、コヒーレンス時間や論理量子ビット数も重要になる。数ではなく、最適化問題の変数数を表している。
特に問題なのは、約1万変数という規模自体に大きな技術的価値を見いだしにくい点だ。今回の性能評価は主に連続変数の非凸二次最適化問題を対象としている。非凸問題の大域最適化は容易ではないものの、勾配法をはじめとする古典的な解法は豊富に存在する。最大クリーク問題についても、連続最適化への変換を経由する手法が、専用の古典アルゴリズムより優れているとは示されていない。
さらに、実務上の最適化問題では制約条件への対応が不可欠となる。Dirac-3Sは非負制約や変数の総和制約を直接扱える一方、一般的な線形・非線形制約を効率的に処理できるかは明確ではない。ペナルティー法などによる変換が必要であれば、制約違反や係数調整といった追加の問題が生じる。変数数だけを拡大しても、実務で扱える問題の範囲が広がるとは限らない。
より深刻なのは、こうした課題が単なるハードウェア性能の向上だけでは解決しない点である。仮に今後、処理可能な変数数をさらに拡大できたとしても、古典計算古典計算Classical Computing / Classical Computation0と1のビットを使って計算する、現在一般に使われているコンピューターによる計算方式。QI補足量子計算との比較対象として使われるが、CPU、GPU、スーパーコンピュータや専用アルゴリズムまで含み得るため比較条件に注意したい。機は汎用性が高く、制約条件を直接扱える最適化ソルバーも豊富に存在する。専用の光学装置を導入・維持するコストを正当化するには、計算速度や解の品質で相当の優位性が必要となる。現状ではその根拠が乏しく、将来的に規模を拡大したとしても、用途が極めて限定された高価な専用装置にとどまる懸念がある。
QCiはHexalyなどの古典ソルバーに対する優位性を主張しているが、比較対象や問題設定は限定的であり、量子効果が計算性能にどの程度寄与しているかも明らかではない。NASDAQ上場企業が「量子コンピューター」として商用展開を進める製品である以上、問われるべきは変数数の拡大ではなく、既存の古典計算機では得られない技術的・経済的価値である。現時点で示された成果からは、Dirac-3Sが将来、古典計算機に対する持続的な競争力を獲得できる道筋すら見えてこない。
NETWORK量子業界のネットワークを見る →関連記事
- Fixstars Amplify、BBOpt v1.3を公開 ブラックボックス最適化の計算処理を高速化
- Q-CTRL、Fire Opalの量子最適化機能を拡張 制約付きQAOAや誤差低減を追加
- Fixstars Amplify SDK v1.7、定式化を最大30倍高速化 メモリ使用量も最大80%削減
