MerchantBank Consulting
サブページ画像

量子スタートアップ ソフトウェアの巻[*0]


Ⅰ 全体整理
 以下、各国・地域において量子コンピューター向けソフトウェアを開発しているスタートアップ等についてまとめた。基本的な情報ソースは、各社のWebサイトである。ハードウェア同様、イジングマシン・量子アニーラ等を対象としたスタートアップは(基本的に)含めない。
 ハードウェアと異なりソフトウェアのスタートアップは、本社所在地が新興国やイスラエルにあるなど、地理的多様性が見られる。また、(単純に)社数が多い。俯瞰で言うと、「目の付け所が面白いイスラエル」と「尖った英国」。日本にとって大いに参考になる。
 ほとんどの量子ソフトウェア企業(アプリケーション分野)は、hardware agnosticをアピールしている。量子アニーリング方式を含めて、全方式対応という意味である。その一方、基盤ソフトウェアでは、物理シミュレーション・化学シミュレーション分野が最初に立ち上がると考えて、中性原子方式・イオントラップ方式を最初のターゲットと考えるスタートアップもある。

Ⅱ 個別整理

【0】日本 Go 2 米国 EU 英国 カナダ 豪州その他
(1) 勝ち筋 
1⃣ OSの制御部分 
 日本発でグローバルに使われているソフトウェアは、ほぼない。ビジネス分野(ERP、CRM、SFA、BIなどにおけるプロダクトを指している)、管理分野(アトラシアンのJIRAなどを指している)、解析分野(応用:NASTRAN、ANSYS🐾2、FLUENTなど。汎用:MATLAB、Mathematica、Mapleなど)、統計分野(SPSS、SAS、S-PLUSなど。加えて、R言語)等、幅広で眺めても、ほぼない。
 数少ない例外は、RUBY(言語)と組み込み系OSのトロン(ITRON)であろう。こういった事実は、示唆に富む。加えて、スパコンにおける日本の絶対的な強みである、低消費電力技術。この2つを鑑みると、量子ソフトウェアにおいて日本が担当すべき箇所は、OSの制御部分(の知的財産)であろう。例えば、「低レイテンシ&低オーバーヘッドで、古典コンピューターと量子コンピューターのリソースを最適ハンドリングして、十分なパフォーマンスを発揮させる制御技術」を提供することが、ターゲットになると推量する。FTQC時代になっても「計算タスク」、は古典コンピューターとの協同作業である。👉 KDDIを含む国内10機関🐾3は、NEDO委託事業として、㊀計算資源を最適に割り当てるミドルウエア技術、及び㊁量子コンピューターの運用技術、を共同開発することを発表(25年8月1日@KDDIサイト[*121])。㊀は、上記の"推量通り"であるが、着手が2年遅い。
 ちなみに、東北大学&東工大(現、東京科学大学)の大関真之教授は、「どんなに画期的な技術でも日本人が提案すると”ああ、そうですか”で終わることが多い」という、極めて含蓄のある発言をされている[*62]。❚以下、量子S/Wとは無関係(古典S/W)➡ ロボット制御用ソフトウェアを開発しているMujinは、日本発のソフトウェアで、初の世界展開が期待されている。個人的には、RICOS(科学計算総合研究所)に頑張って欲しい。
🐾2 米IonQ(モダリティはトラップイオン)とのパートナーシップ締結を発表(24年11月6日)[*82]。
🐾3 KDDI以外の9機関は以下の通り:株式会社セック(リアルタイム技術専門のソフトウェア会社)、KDDI総合研究所、Jij、QunaSys、産総研、早大、慶大、阪大、芝浦工大
2⃣ ベンチマーク 
 ベンチマークとして、(英国からフィンランドに本社を移転した)QuantrolOxが上げられる(ただし、当社は、量子モダリティとして超伝導を推しているわけではない。むしろ逆)。QuantrolOxは、(蘭QuTechのスピンオフで)量子ビット制御機器を開発しているQbloxとの提携を発表(23年8月)するとともに、Blueforsとも密に連携している。Blueforsは、フィンランドの極低温製品ベンダーで、日本の同業者ロックゲート社を買収している(23年5月)。23年3月には、米国の同業者Cryomechを買収。25年1月、産総研と次世代希釈冷凍機技術開発に向けたMOUを締結している。戦略的打ち手を着実に積み上げている印象。
† シリーズAでUS$26milを調達したと発表(24年6月20日)[*53]。
╏更新╏ QuantrolOxとQbloxは、蘭QuantwareのQPU(超伝導方式)を使用して、「完全に自動化されたQPUの特性評価と調整」を実現し『25分未満でCZゲートを作成した』と発表(25年1月22日)[*94]。
╏為参考╏ 25年4月に登場した、256量子ビット超伝導方式量子コンピューター(理研×富士通)の量子制御システムは、米Keysight Technologies🐾4が提供した(リリース発表25年5月15日)[*109]。日本企業に提供して欲しいところである。
👉 (ほぼ)全てが日本製である「純国産」超伝導量子コンピューターが開発され、大阪大学量子情報・量子生命研究センター(QIQB)にて稼働を開始した(25年7月28日)[*120]。制御システムは、キュエルが開発・提供した。キュエルは、北川勝浩QIQBセンター長が、創業者。
🐾4 量子エンジニア向けのEDAソリューション「Quantum System Analysis」のリリースを発表(25年10月29日)[*140]。高額な極低温試験への依存度を低減し、超伝導量子システムの検証を加速する、と謳う。なお、スピン量子ビットなどの他のモダリティにも拡張可能とする。
❚補 遺❚
1‖QubiCSV(Qubit Control Storage and Visualization)
 米ローレンス・バークレー国立研究所他🐾1の研究者は、「量子コンピューティング分野の研究者にとって有用な」オープンソースツールQubiCSVを紹介した論文[*75]を公開した(24年9月18日@arXiv)。QubiCSVは、「量子ビット制御システムにおける、キャリブレーションデータと特性データの効率的なデータ管理を促進」し、「(GitHubのような)データストレージのデータバージョン管理機能」及び「直感的な視覚化機能」を提供する。
🐾1 マサチューセッツ州立大学アマースト校、テキサス州立大学アーリントン校、カリフォリニア州立大学
2‖Tranqu(トランク) 
 大阪大学とTISは、トランスパイラ・プラットフォームTranquを開発した、と発表(25年2月4日)[*97]。
3‖その他 
 情報通信研究機構・理研・東京理科大・東大は、「量子ビット数が大きくても、忠実度1の量子回路を探索可能な確率的手法」を実証したと発表(24年5月9日)[*50]。詳しくは、こちら

(2) QunaSys
1⃣ 大阪大学発スタートアップのQunaSysは、量子化学計算を主戦場としており、出口としては、革新的な材料開発を掲げている。Qamuyというクラウドサービスでの利用が可能である。2022年3月、シリーズBで12.4億円(ざっくりUS$10mil)を調達している。23年5月には、IBM Venturesから資金調達したことを発表(調達額は非開示?)。シリーズB2で17億円を調達したと発表(24年11月1日)[*81]。
2⃣ カナダXanadu(光方式)、日本のNanofiber Quantum Technologiesとのパートナーシップ締結を発表(24年6月27日)[*57]。「量子誤り訂正やオープンソース・ソフトウェア開発などを押し進める」。
3⃣ FULL-MAP🐾1プロジェクトへの参加を発表(25年2月17日)[*99]。FULL-MAPプロジェクト[*100]は、欧州における蓄電池技術を革新する取り組みで、€19.95milの予算が投入される。プロジェクト期間は4年。化学に依存しない材料を使用すること及び、AIや高スループット実験等を活用することで開発期間を大幅に短縮すること、を目指している。QunaSysは”量子機械学習”の専門知識を活用して「電解質、正極、負極」向けの新材料を、より効率的かつデータ主導で発見できるように支援する。
🐾1 Furthering the Development of a Materials Acceleration Platform for Sustainable Batteries:持続可能な蓄電池のための材料加速プラットフォーム開発の促進。
4⃣ デンマークの政府系基金であるデンマーク・イノベーション基金から、1,900万デンマーク・クローネ(約4億円)の支援を受けることが決まったと発表(25年3月3日)[*101]。期間は4年で、量子化学計算を対象に、3つの課題に取り組む:①アルゴリズムの改良、②光方式による新型量子コンピュータとの統合が可能なソフトウェアを開発、③誤り耐性量子コンピューターに向けた量子化学計算アプリケーションの開発。①は、量子コンピューターへのTensor HyperContraction(THC)の実装(?)🐾2と、qubitizationを活用した量子位相推定法(QPE)の改良🐾3。②は、共同プロジェクト・メンバーである、ノボノルディスク財団量子コンピューティングプログラム(NQCP)のH/Wに合わせて調整するという意味らしい。
👉 QuEnAIS(Quantum-Enhanced AI Synthesizer for Drug Discovery)というプロジェクトらしい。デンマーク・イノベーション基金と独連邦教育研究省が資金提供し、2025年8月〜2027年7月に渡って行われる[*154]。
🐾2 DFT計算において、コストの高い計算に電子反発積分(ERI)がある。これは4重積分である。THCを使うと、ERIを、5つの2重積分で近似できるらしい。THCを量子コンピューターに効率的に実装して効率的に計算する方法を開発するのだという(勝手な)理解。
🐾3 Qubitization(量子ビット化)はいくつかの文脈で異なった意味で用いられている(と理解している)。ここでは、少ないリソースで、ハミルトニアンをQPE適用可能な形式に変換する手法、を指している。QPEの改良に合わせて、qubitizationも改良させるのだという(勝手な)理解。

(3) 富士通
1⃣ Quantum Simulator Challenge
❶ 24年1月25日「富士通$100,000量子シミュレータ・チャレンジ」コンテストの優勝4チームを発表した(@蘭デルフト)[*28]。同コンテストは、同社の39量子ビット・量子シミュレータを使って、各チームが個々の課題を解く。最優秀賞は、フィンランドのQuanscient Oyであった(EUの項を参照)。次点は、英国のRiverlane、(同率)3位(の一つ)はインドの新興企業であった(こちら参照)。
❷ 2回目の同チャレンジ・コンテストの優勝3チームが発表された(25年3月28日)[*152]。1位は、蘭デルフト工科大学(工場における作業時間配分の最適化)、2位は独イルメナウ工科大学(相互相関分析)、3位は日本のQunaSys(電子状態のシミュレーション)。
❸ 3回目の開催を発表(25年12月17日)[*153]。
2⃣ 量子コンピューターの基本ソフトウェアを開発し、オープンソースとして公開した、と発表(25年3月24日)[*103]。大阪大学(藤井啓祐教授・猿渡俊介准教授)、株式会社セック、TIS株式会社と協働した。
3⃣ 英スタンダードチャータード銀行のベンチャー投資及びインキュベーション部門SC Venturesと、新会社設立に向けて提携することに合意した、と発表(25年9月25日)[*135]。量子及び量子インスパイアード技術を活用したアプリケーションの迅速な開発を支援する。まずは、金融分野(のアプリケーション)から始める。
👉 Qubitra Technologiesという企業名で活動すること及び、今後の製品ロードマップと創業時のリーダーシップチームを発表した(26年1月16日)[*160]。製品は2つ:(金融分野の)量子対応アプリケーションと、テスト・ベッド。テスト・ベッドは、ユーザーが「量子スタック全体にわたるソリューションを実験、テスト、展開できる」ように構築される。

(4) 株式会社クオンマティク
 シリーズAで、5.3億円の資金を調達した(24年9月30日リリース)[*80]。該社は、当面、量子アニーラ向けアルゴリズムのチューニングをビジネスとしていくようである。

(5) 三井物産
 米Quantum Simulation Technologies(QSimulate⤵米国の表を参照:創業者の一人は日本人)、米クオンティニュアムと共同で、量子化学計算向け量子・古典ハイブリッドプラットフォームQIDO(キド:Quantum-Integrated Discovery Orchestrator)を、25年8月19日から提供すると発表[*122]。キドは、QSimulateの化学反応解析ソフトウェアQSP Reactionとクオンティニュアムの量子化学計算ソフトウェアInQuantoを統合している。
 住商が空飛ぶ車の経路最適化計算に量子コンピューターを使うと夢を語る一方で、物産は着実な手を打っている。

(6) JHPC-quantum
 量子コンピューターとスパコン(HPC)との連携に向けた、ソフトウェアスタックの開発を行う。理化学研究所、ソフトバンク、東京大学、大阪大学が協業する。

【1】米国 Go 2 日本 EU 英国 カナダ 豪州その他
(0) 大企業
1⃣ SandboxAQ(グーグルの親会社アルファベットからスピンオフした、量子技術開発企業)
❶ バイオファーマ分子シミュレーション部門AQBioSimが、ステルスから脱したと発表(23年6月)。カリフォルニア大学サンフランシスコ校「神経変性疾患研究所」との協業成果を基に(神経変性疾患を主対象として)、AIと量子技術を活用したインシリコ創薬を目指す。タンパク質ーリガンド結合親和性予測に有効である「自由エネルギー摂動法」を使って、ヒット化合物を探索する。計算コストが高い手法であるが、グーグルは独自の演算処理プロセッサTPUを使ったDMRG(密度行列繰り込み群法、≒テンソルネットワーク)やDFT(密度汎関数法)の高速化に知見・経験を有する。
❷ 創薬、二次電池設計、グリーンエネルギー等の化学反応を予測するため、NVIDIAとの協業を発表(23年11月)[*24]。NVIDIA量子プラットフォーム上で、テンソルネットワークを使用して、量子力学アルゴリズムを実行する。cuTENSOR、cuTensorNet等を使用する。
2⃣ マイクロソフトは、AI・量子技術を融合させて、化学や材料分野の研究を加速させるAzure Quantum Elementsを発表(23年6月)。特定分野の化学シミュレーションを 50 万倍高速化するなどと謳う。
3⃣ IBMは、Qiskitをより使い易くして、ユーザー体験を向上させるために、Qiskit関数カタログと呼ばれる新機能を導入した(24年9月16日)[*69]。ユーザー(開発者)は、カタログを参照して、量子S/Wスタートアップが構築したQiskit関数にアクセスできる。スタート時点で利用可能な関数(ソフトウェア、アルゴリズム)は、以下の通り:
㊀ 豪Q-CTRLのFire Opal。Fire Opalはパルス制御等を通じて、量子プロセッサのハードウェア・ノイズやデコヒーレンスを極小化することで、量子誤りを"抑制"する。量子誤り抑制に機能を特出しすると当該機能は、「Performance Management」と呼ばれる。
㊁ フィンランドAlgorithmiqのTensor Network Error Mitigation(TEM)法。これは、該社の量子誤り緩和アルゴリズムである。
㊂ イスラエルQedmaのQESEM(Quantum Error Suppression and Error Mitigation←そのまんま)。QESEMは、量子誤り抑制・量子誤り緩和アルゴリズムである。
㊃ 日本QunaSysのQuri Chemistry。Quri Chemistryは、量子化学計算用ソフトウェア。
update╏関数が追加された:※当社が事前に、"アルゴリズムとしての重要性を目利きしている"ことが理解できるだろう。
⑤ 24年11月13日[*83]:スペインのマルチバース・コンピューティングのSingularity Machine Learning(ML)。Singularity MLは、量子機械学習用ソフトウェア。
⑥ 25年2月19日[*98]:独Kipu QuantumのBF-DCQO(Bias Field DCQO)が、「Iskay Quantum Optimizer」という名称で追加された。BF-DCQOは、(雑に言えば)最適化アルゴリズム。Kipuによると、BF-DCQOは、高次制約なし二値最適化(HUBO)問題を高精度で解ける。詳細は、こちらを参照。
⑦ 25年3月26日[*113]:韓国QunovaのHI-VQEが追加されている。HI-VQEは、サンプリング効率が高いQSCI法である。こちらを参照。
⑧ 25年6月5日[*114]:仏ColibriTDの「量子・古典ハイブリッド偏微分方程式ソルバー(H-DES)」が、QUICK-PDEという名称で追加されている。H-DESについては、こちらを参照。
⑨ 25年6月5日[*116]:西Global Quantum DataのQuantum Portfolio Optimizerが追加。Quantum Portfolio Optimizerは、(金融資産)ポートフォリオ最適化ツールである。アルゴリズムとしては、VQEを使っている。
4⃣ Quantinuum 
 米クオンティニュアムは、AIが、「化学的精度を達成する一方で、量子リソースは大幅に削減できる」量子ヒューリスティクスを生成できることを実証した(25年12月11日)[*149]。ここで言うAIとは、Hiverge🐾1のアルゴリズム自動生成AIプラットフォーム「Hive」である。Hiveは、大規模言語モデルを使用して、コード・ベース全体に対する編集という形で突然変異を誘発する、遺伝的アリゴリズムである。
 実証実験では、(NISQ実機を念頭に)変分量子アルゴリズムを生成させた。具体的には、変分量子アルゴリズムのスケルトンで構成される非常に基本的な初期コードから、新たな変分量子アルゴリズムを自動生成させた。Hive-ADAPTと呼ばれる当該変分量子アルゴリズムは、一連の量子演算子として回路を構築し、そのパラメーターを最適化するヒューリスティック関数を進化させた。その結果Hive-ADAPTは、ADAPT-VQEに似た構造に収束した。
 Hive-ADAPTを評価するために、分子の基底状態エネルギーを求めるというタスクを、NVIDIA CUDA-Qを使用して(古典的に)シミュレートした。その結果、Hive-ADAPTはADAPT-VQEよりも「長い結合長に対して」化学的精度を達成しながら、量子リソースが1~2桁削減した。
 AIによる高性能な量子ヒューリスティクスの生成は、誤り耐性量子計算機においても有効に機能すると、クオンティニュアムは期待している。
🐾1 英グーグル・ディープマインドと英ケンブリッジ大学の研究者が、2024年に設立した英スタートアップ。事業内容は、「アルゴリズムを自動生成するAIエンジンを構築する」こと。AlphaTensor、FunSearch、(ノーベル化学賞を受賞した)AlphaFoldを共同開発した、とする。25年9月には、US$5milを調達している。
--------------------------------------------------------------------
 全体傾向で言えば、ビジネスモデルとしてプラットフォーマー指向が強い。いわゆるプラットフォーム=H/W+S/W(言語・開発環境・ライブラリ)は、いくつかのH/Wベンダーが提供している。具体的には、IBM、Google、Rigetti、Xanaduである。マイクロソフト(アジュール・クアンタム)とアマゾン・ブラケットは、それら4つのプラットフォームよりも、Strangeworks Ecosystemに近いだろう。
(1) Strangeworks 
1⃣ 該社アプローチで面白いところは、Strangeworks QCの協業者に、Qurecaや Stack Overflowが含まれているところ。H/WではAtom Computing、Cold QuantaやBleximoがカバーされていて面白い(メジャー処ではIonQ、Rigetti、Xanadu、IBM、Quantinuum、D-Wave)。S/Wでは、シンガポールの2社(Entropica LabsとHorizon Quantum Computing)がカバーされていて面白い。
2⃣ 独Quantagoniaの買収を発表(25年8月20日)[*123]。Quantagoniaの主要製品は2つ:HybridSolverとDecisionAIである。HybridSolverは、混合整数計画問題(MIP)、線形計画問題(LP)、2次制約無し2値最適化問題(QUBO)を対象に、ハードウェア・リソースを自動スケーリングして割り当て、"最適"に解決するソルバー。23年9月から、Strangeworksのクラウド経由で提供されている。AI意思決定支援ツールDecisionAIは大規模言語モデルを活用しており、HybridSolverに対して「直感的かつ自然言語的なインターフェースを提供」することもできる。

(2) Quantum Computing(QCi)
1⃣ Qamplifyは、プラグマティズムの国、米国らしいアプローチ。QCiは、Entropy Quantum Computing(EQC)を利用して、自動運転車のBMWセンサー最適化問題を6分以内に解決した、と発表した(22年7月)。QCIは、「EQCは、計算結果に環境自体を考慮に入れることによって機能する。QPU自体の外部にあるすべての変数を制御する必要がないため、時間とコストが節約される」と主張している。EQCは、確率論的コンピュータと、同じアプローチを採用しているのかもしれない。あるいは量子散逸計算であろうか。
2⃣ リザバーコンピュータ(及び量子乱数生成器)を開発したと発表(23年10月)。該社リザバーコンピュータの消費電力は、従来のコンピュータ比で、80%~95%少ないと主張。24年には、量子リザバーコンピュータをリリース予定。
3⃣ ロスアラモス国立研究所との共同研究開発契約の延長を発表(24年9月30日)[*74]。この契約は、QCiの量子最適化マシン「Dirac-3が、量子シミュレーション、ソーシャル ネットワーク、タンパク質構造予測、および通信に関連する非常に複雑な(組み合わせ)最適化問題を、迅速かつ効率的に解決する」機能に焦点を当てている。

(3) QC Ware は、医薬品・化学品および材料の発見を(劇的に)加速するよう設計された、SaaS型量子化学プラットフォームPromethium のリリースを発表(23年4月、AWS Marketplaceにてプライベートベータ版が一般公開)。Promethiumのコア技術は、NVIDIAのGPU パワーを活用するため特別に設計された量子化学ツールセットであり、「他の商用プラットフォームで、数日~数週間かかる約 2,000 原子のシミュレーションを、数時間で提供できる」と主張している。
👉 Promethiumを使うと、インシリコ創薬向け深層学習モデルの「学習データ」を30倍高速に生成できると主張。また、Promethiumは高速なので(結果的に)、大きな分子の学習データを生成することができると主張(24年3月18日)[*40]。まとめると、Promethium(QCWare)は、インシリコ創薬に大きく貢献する、と主張。

(4) その他
1⃣ Zapata Computing
❶ ニューヨーク証券取引所にSPAC上場すると発表した(23年9月6日)。"買収企業"Andretti Acquisition Corp.のオーナーは、オートレーサーのマリオ・アンドレッティ(1978年F1ワールドチャンピオン)と息子のマイケル・アンドレッティ(91年CARTチャンピオン、93年F1参戦)。評価額は、US$200mil。"相場観"把握のために例をあげると、Quantinuum(当時はHoneywell)は、ケンブリッジ・クォンタム・コンピューティングをUS$300milで買収している(21年6月)。
❷ 24年10月7日付けで、米SECにForm 8-K[*79]を提出し、事業を停止したと報告した。
❸ Zapata Quantumとして再出発すると報道(25年9月3日、例えば[*128])。再出発=財務リストラℱ1完了(→清算回避)+知財継承。事業領域は、AIから量子に戻すらしい。
ℱ1 US$3milの新株予約権付社債型ブリッジファイナンス完了。US$10mil以上の債務の株式転換(デッド・エクイティ・スワップ)完了。加えて、850万株のストック・オプション発行。行使価格$0.01、行使期間4年。
➍ 形式的検証に基づいた量子プログラミングに関して、米メリーランド大学と共同研究することを発表(26年1月12日)[*158]。形式的検証とは、アルゴリズムが意図したとおりに間違いなく実行されることを数学的に証明するプロセスである。こちらを参照。
2⃣ POLARISqbは、DARPAと研究契約を結んだと発表(23年10月)。タンパク質間相互作用を阻害する小分子を特定する、新しい変分量子アルゴリズムを作成することが、ミッション。対象疾患は、感染症から癌まで幅広い。
3⃣ BlueQubit 
❶ 米BlueQubitとQuantum Art(イスラエル)は、BIRD財団から、量子機械学習アルゴリズムと量子プロセッサ構成方法の開発と最適化のための助成金を獲得した(2024年8月12日)[*67]。金額はUS$2.2mil、期間は2年。BlueQubitは、量子アルゴリズムを任意のH/Wに実装できるようにするQuantum Software as a Service(QSaaS)プラットフォームを提供している。アクセス可能なH/Wには、IBM(超伝導)、QuEra(中性原子)、Quantinuum(トラップイオン)のQPUに加え、NVIDIA GPU エミュレーターが含まれる。該社ソリューションには、リスク分析用のQuantum Monte Carlo、画像処理と創薬用の Quantum AI などがある。
 BlueQubitは、米スタンフォード大発のスタートアップ。元々、金融業界向けの量子ソフトウェアを構築していた。共同創設者であるHayk TepanyanとHrant Gharibyanは、以前はGoogleに在籍。量子論とコンピューティングの幅広いバックグラウンドを持っているらしい。Quantum Artは、トラップイオン方式の量子コンピューターを開発しているスタートアップ。BIRD(イスラエル・米国二国間産業研究開発)財団は、さまざまな技術分野で米国とイスラエルの企業間の共同製品開発を推進している(出所:https://www.jetro.go.jp/biznews/2024/02/637c8a0775ff4719.html)。
❷ US$10milのシード資金を調達したと発表(24年12月11日)[*90]。
4⃣ qBraid
 米国国立科学財団(NSF)のPathways to Enable Open-Source Ecosystems(POSE)プログラムからUS$0.3milの助成金を獲得した、と発表(25年9月11日)[*134]。プロプライエタリなスタックやベンダー固有のツールによって断片化されている量子ソフトウェアに対して、相互運用性を導入・促進することが、助成に対象。
5⃣ Quantum Elements
 米加州ロサンゼルスを拠点とする量子ソフトウェア・スタートアップQuantum Elementsは25年10月22日、ステルス運用を終了し、AIネイティブな量子開発プラットフォームのリリースを発表した(らしい→報道サイト[*138])。該社Constellationプラットフォームは、エージェントAI、自然言語プロンプト、及び独自のシミュレーション・バックエンドを活用し、「機械学習モデルの開発、量子計算用コード(=量子回路)の生成、量子アプリケーションのデバッグと実行」を可能にする、と主張。
6⃣ QubitSolve 
 米国国立科学財団(NSF)から約US$1.2milのSBIRフェーズII助成金を受賞したことを発表(25年12月18日)[*150]。該社は、量子古典ハイブリッドCFD(数値流体力学)アルゴリズムを開発している。お馴染みの、格子ボルツマン方程式が対象である。
 

【2】EU Go 2 日本 米国 英国 カナダ 豪州その他
(0) EUプロジェクト 
1⃣ QCDC(Quantum Computers for DataCentres)プロジェクト 
 掲題プロジェクトが成功裏に終了した、と発表(25年8月29日)[*127]。同プロジェクトは、欧州イノベーション会議(EIC)が資金提供していた。量子モダリティはトラップイオンで、墺Alpine Quantum Technologies(AQT)製の量子H/Wが使用された。具体的成果例として、AQTと米QC Ware🥀1、独Covestro🥀2、独ベーリンガー・インゲルハイム🥀3が共同で、VQEアルゴリズムを用いて、窒素循環🥀4における中間状態の相互作用エネルギーを計算した事例が示されている。
🥀1 量子S/Wスタートアップ。量子化学シミュレーションと量子機械学習が2本柱。
🥀2 独化学大手バイエルの素材科学事業が別会社として分離、2015年に設立された。
🥀3 念の為:製薬会社。
🥀4 地球生態系における窒素の循環を意味する。光合成や窒素固定といったプロセスが含まれる、その大半を生物が行っている。

❚独り言❚ 米国にも存在しない金融機関に特化した企業が、相当数存在する。個別企業ではBeit(ポーランド)とJos QUANTUM(独)、Qruise(独)に加えてKIPU Quantum(独)が面白い。
(1) スペイン
❶ マルチバース・コンピューティングは盛んに、量子"ユニバース"全体の実務的・商業的アピールを行っている[*1]並びに[*9]。
㊀ 英オックスフォード・クォンタム・サーキッツ、米ムーディーズ・アナリティクスと共に、量子古典ハイブリッドPINNを使った、洪水予測モデルを開発すると発表した(23年10月31日)[*22]。洪水リスク評価と管理を、より正確かつ効率的にするために量子コンピューティングを利用する。計算対象は、2次元浅水流方程式。3社は、イノベートUKが支援するQuantum Catalyst Fundコンペティション第1フェーズへの参加権を獲得した。第1フェーズでは、£0.1milの資金提供を受けた。第2フェーズに移行すれば、予算は£1.2mil。
㊁ デジタル・ツインと量子インスパイアード・アルゴリズムを使用して、グリーン水素生産の効率を高めた、と発表(23年11月29日)[*26]。パートナーは、再生可能プロジェクトとデジタルツインを専門とするエンジニアリング会社IDEA Ingeniería(と、スペインのデジタル産業協会AMETIC)。デジタル・ツインは、プラントの動作パラメータを入力として使用して、グリーン水素製造プラントを数値的にシミュレートする。量子インスパイアード・アルゴリズム(→テンソルネットワーク)を使用して、グリーン水素生成に使用される電気分解プロセスを最適化することにより、水素生成とそれに伴う収益の5%増加を達成した。
㊂ 米ムーディーズ・アナリティクスと共に、(量子インスパイアード・アルゴリズムを含む)量子アルゴリズムを、開発並びに検証できるプラットフォームQFStudio™を立ち上げた、と発表(23年12月6日)。古典アルゴリズムとの比較機能が備わっておリ、量子>古典であれば、QFStudio™を通じて、量子アルゴリズムを実行できる。
㊃ 行列積状態(MPS)ベースのクラスタリング・アルゴリズムが、脅威インテリジェンスにおいて、優れた性能を発揮するという論文[*42]を発表した(24年1月5日@arXiv)。量子インスパイアード機械学習を適用した結果である。つまり、古典データを量子データで表現し直し(「量子特徴量を使用する」と述べた方が通りが良い?)、MPSを使って(量子特徴量から)情報を縮約した上で、(量子)機械学習モデルを構築する。"優れた"の意味は、「異常イベントの高識別率と、低誤検知率の両立」†1及び「高い説明可能性」である。高い説明可能性の根源は、⓵MPSベース・モデルは(量子特徴量を経由するので)特徴量に、確率が自然に紐付く、⓶(量子特徴量から、密度演算子を構築することで)エンタングルメント・エントロピー(EE)を算出できる、ことに求めることができる(EEを使うことで、特徴量の相互依存性を簡単に明示できる。またEEから相互情報量を、簡単に計算できる)。
 まとめると、「MPSベースの学習モデルは、学習モデル出力の根拠を提示し易い」。その理由は、追加のツールを使わず簡単に、特徴量から確率や相互情報量などを計算できるから。
†1 インシデント・レポート・イベントの平均83.5%が異常として正しく識別され、すべての攻撃タイプが検出された。平均誤検知率は1.39%であった。
㊄ 「AI-BOOSTによる大規模AIグランド・チャレンジにおいて、スパコンを使用する時間80万時間を獲得した」と発表した(24年6月27日)[*56]。マルチバースによる「テンソルネットワークを使ってLLMのサイズを大幅に削減できた」という研究成果を活用して、最低300億個のパラメータを持つ大規模LLMを開発する。
㊅ 量子アルゴリズム及び量子インスパイアード・アルゴリズムを用いて(H/Wは量子アニーラ)、グリッド・ネットワーク(電力網)上のバッテリーの数、タイプ、および場所を最適化するプロジェクトを成功裏に実施した、と発表(24年7月11日)[*59]。成功とは、古典H/Wを使った結果より優れていた、という意味。スペインの電力大手イベルドローラとの協業。
㊆ 欧州防衛基金プロジェクトの一つ、EPIIC(Enhanced Pilot Interfaces & Interactions for fighter Cockpit)における「航空宇宙制御のための量子ジェスチャー認識」プロジェクトを勝ち取った、と発表(24年10月10日)[*78]。プロジェクトは今月(24年10月に)開始され、2025年9月に終了する。エアバス防衛宇宙部門と協力して、"量子コンピューティングの原理に着想を得た"戦闘機用の新しいジェスチャーベース制御システムを構築する。
㊇ 独Bundesdruckerei†2との共同プロジェクト×2の完了を発表(24年12月19日)[*89]。一つは、合成データ†3生成。量子インスパイアード・アルゴリズムと敵対的生成ネットワークとを比較し、前者の精度が15%高かった。2つ目は、ブロックチェーン・ネットワーク内での不正なトランザクション検出。量子インスパイアード・アルゴリズムと古典的手法とを比較し、学習時間が11%、推論時間が27%短縮された。
†2 「IDと承認管理、行政のデジタル化、データ分析、人工知能、政府の支払い方法と価値移転システムの分野で技術開発を推進」する、独連邦政府のテクノロジー企業。
†3 統計的性質は保持しているものの、実際のデータとは異なる、人工的に生成されたデータ。合成データから、実際のデータを推定できないように作成する必要がある。
㊈ 該社独自の圧縮技術CompactifAIを使って、中国DeepSeekのLLM、DeepSeek R1のパラメータをおよそ1/2にした†4、と発表[*143]。該社はこの圧縮版をDeepSeek R1 Slimと呼んでいる。なお、DeepSeek R1における政治的にデリケートなトピックに関する検閲を削除した、と主張。
†4 マルチバースは、随分、つまらない会社になった(=量子技術本丸の開発を行っていない)という印象。量子技術開発からAIに軸足を移し(SPAC上場したが)、結局破綻した米ザパタの二の舞にならないかと、心配している(ザパタは原点回帰し、再スタートした)。なおマルチバースは、24年(5月頃)から、CompactifAI(技術プリミティブは、テンソルネットワーク)を使ってLLMの圧縮を行っている。こちらを参照。

(2) オーストリア
❶ 墺Parity Quantum Computing(ParityQC)が面白い→当面は、量子アニーラを対象として、適宜、拡張するのであろう。
㊀ 量子アニーラで要求されるQUBOの軛から逃れて、組み合わせ最適化問題以外の最適化問題にも適用範囲を広げることに成功したようである。NECとパートナーシップを結んでいる。
㊁ 墺インスブルック大学の研究者は、元々、量子アニーリング用に設計されたLechner-Hauke-Zoller(LHZ)アーキテクチャに基づく、新しい万能量子計算手法を提案した(22年10月27日)。詳しくは、Appendix Cを参照。ParityQC≒インスブルック大学なので、同社サイトにも記事が掲載されている[*4]。
 LHZアーキテクチャに基づく量子誤り緩和技術を近似的量子最適化アルゴリズム(QAOA)に適用し、大幅に誤差を軽減できたと論文[*21]で発表した(23年1月12日@arXiv)。ParityQCとインスブルック大学の共同研究。
㊂ インスブルック大学は、23年6月、仏Pasqal、米QuEra(ともにモダリティは中性原子)との提携を発表。QuEraとは、大規模な最適化問題に取り組むことを目的としている。これは、「中性原子方式(の最適化マシン)は、量子ビットの幾何学的配置を利用することで、(他モダリティの)ゲートベース(の万能量子計算機)で実装するのが、非現実な多くの制約を符号化できる」という判断である。こちらを参照。
㊃ ドイツ航空宇宙センター(DLR)から、QuantiCoM Q2Hプロジェクトを受注した(23年11月)。QuantiCoM Q2Hは、QuantiCoM(Quantum Computing for Materials Science and Engineering)のサブプロジェクト。QuantiCoMは、量子コンピューティングを利用した材料科学と材料工学における高度なシミュレーション手法の開発を目指しており、QuantiCoM Q2Hは、対象を「水と水素」に限定している。プロジェクト期間は26年までの3年間。
㊄ 独ハンブルク大学とともに、QuADro(Quantum Algorithms for Drug Repurposing)プロジェクトに携わっていることを発表(25年1月21日)[*92]。ハンブルク政策投資・振興銀行(IFBHH)🐾1から資金提供を受け、2025年1月から2027年6月まで実施される。当面の目的は、医薬品開発とドラッグ・リパーパシング(DR)🐾2に対する個別化アプローチを可能にするアルゴリズムと新しい量子コンピューティング・フレームワークを開発することである。量子機械学習における知見が適用・活用される、と思われる。最終目標は、創薬における量子コンピューティングの基本的な市場性を実証し、量子コンピューティングの恩恵を受ける可能性のある主要分野を明らかにすることである。
🐾1 ハンブルク住宅建設金融機構が、2013 年の改革によって公法上の金融機関となった、地域政策支援銀行である。根拠法によると同行の事業内容は、州内の地方政府など公的機関への融資に加えて、政策金融の主要6分野で幅広く公的役割を果たすことが期待されている。同行の事業規模は、地域政策支援銀行としてもさほど大きくはなく、実際には、住宅・地域開発分野への融資業務が主軸に据えられているようである[*93]。
🐾2 ドラッグ・リポジショニングとも呼ばれる(こちらのほうが、知名度は高いと思われる)。ヒトでの安全性やプロファイルが把握できている医薬品(に加えて開発品、及び開発中断品など)について新しい薬効を発見し、「新しい疾患向けの」医薬品として開発する創薬方法。
㊅ 量子ゲート数と量子回路の深さを最適化(削減する方向での最適化)して量子アルゴリズムを実装する方法「Parity Twine」を開発した、と発表(25年1月28日)[*95]。5つの異なるプラットフォームで、Parity Twineの有効性を実証した、とする。ここでいうプラットフォームとは、量子ビットを配置して接続する形状(トポロジー)を指している。具体的には、線形最近傍(接続)、全結合、正方格子、六角ナット(ヘビー・ヘキサゴン)、ラダーである。Parity Twineは、QAOA(近似的量子最適化アルゴリズム)とQFT(量子フーリエ変換)の実装に非常に効果的である、と主張している。

(3) ドイツ
1⃣ スタータップ(企業)
❶ Kipu Quantumは、断熱ショートカットに関するフロントランナーである。商業的量子優位性時代が始まった、と主張している(こちらを参照)。
㊀ 22年12月27日、断熱ショートカットをタンパク質畳み込み問題に適用し、QAOAをアウトパフォームしたと発表(論文[*8]をarXivに投稿)した。こちらを参照。
㊁ 23年11月21日、航空宇宙センター(DLR)のプロジェクト「BASIQ」に参加した、と発表した[*25]。BASIQの目標は、ゲート方式量子コンピューター(現実的には、NISQマシン)用の電池材料シミュレーションを開発することである。同プロジェクトクトは、3年間継続され、独連邦経済・気候保護省から資金援助を受ける。
㊂ CINFO†1と協力して、スペイン・ガリシア州の通信ネットワーク事業者Rに対して、光ファイバー通信ネットワークにおけるサイバー攻撃からの回復力を向上させる量子アルゴリズムを開発した(24年1月23日)[*29]。「回復力を向上させる」ためには、まず、ネットワークに、切断または故障が発生した場合に、サービスに最も大きな影響を与える可能性のある最も機密性の高いノードを特定する。その情報からサイバー攻撃を予測することで、ネットワークの可用性とサービスの卓越性の最大の指標を達成することが可能になる(らしい)。量子アルゴリズムは、2フェーズで実行された。第1フェースはD-Waveのアニーリングマシンで、第2フェーズはQuEraの(中性原子方式)NISQマシンで実行された。
†1 次のように説明されている:電気通信ネットワークおよびビデオと人工知能の交差点における高性能システムを専門とするガリシアのテクノロジー企業。
㊃ 24年7月11日、PlanQKプラットフォームを買収すると発表(金額は非公表?)[*60]。PlanQKは、量子アプリケーションのためのオープンプラットフォームで、ソフトウェア・ハウスAnaqor AG(旧StoneOne)が開発。また、独連邦経済・気候保護省から€36milの資金提供を受けている。
㊄ PlanQKプラットフォームを通じて、米QuEraの中性原子方式量子プロセッサーAquila(256量子ビット)にアクセスできるようになった(24年10月8日発表[*76])。

㊅ デジタル・アナログ量子コンピューティングにより、量子優位性の実現が速まると主張するブログを投稿(25年4月10日)[*106]。アナログとは、解析対象となる問題を、量子回路に物理的に実装することを指している。[*106]では一例として、「超伝導回路では、量子ビットと共振器の自然な結合を利用して、ハバード・ホルスタイン模型†2のようなフェルミオン-ボソン模型をネイティブに符号化することができる」例が上げられている†3。デジタルとは、通常のゲート方式の量子コンピューターを指している。量子の恩恵を2重に被れば、量子優位性が、より強く見えてくるという(ある意味、当然な)主張である。業界は必死に、量子冬の時代orNISQ時代を乗り越えようと努力している。
†2 電子-格子(フォノン)相互作用を記述する典型的な模型の一つとされる。
†3 別の例をあげると、「最大独立集合問題の対象となるグラフは、中性原子の配列を使用するとネイティブに符号化できる」。
❷ ParTecは、イスラエルQuantum Machinesと協力してQBridgeを開発した。QBridgeは、スパコンと量子コンピューターのシームレスな統合を可能にするソフトウェア・ソリューション。さらに、量子コンピューターをモジュール式スパコンと統合する際のギャップを埋めることを目的とした、ソフトウェアParastation Modulo 2.0も開発している。
❸ Qruiseは、イスラエルのQuantumMachines(プロセッサベースの量子コントローラーの大手プロバイダー)との戦略的パートナーシップ締結を発表(24年9月10日)[*71]。Quantum MachinesのH/Wで最適化されたQruiseのソフトウェアは、量子デバイスの詳細な特性評価を迅速に実行し、量子システムの高精度なデジタル・ツインを生成する。このデジタル・ツインを活用することで、「ユーザーは量子デバイスのパフォーマンスを制限するノイズや歪みの原因を、素早く・正確に特定して、対処できる」。

2⃣ 公的機関 
⓪ DLR(独航空宇宙センター)が資金提供するプロジェクトBASIQにKIPUが参加している(↑❶㊁参照)。
① DLRが資金提供する「量子機械学習を活用して気候モデルを改善するプロジェクト」を、planqc及びd-fine[*31]が受託(23年9月)。
② DLRはplanqcとd-fineとの新たなプロジェクトを発表(24年1月)[*32]。プロジェクトの目標は、量子アルゴリズムとその実行を管理するための統合プラットフォームを確立すること。
③ DLRは、超伝導ナノワイヤー単一光子検出器(SNSPD)を改善するプロジェクトに対して、スペインMultiverse Computing及びSingle Quantumと契約した(24年1月)[*33]。量子シミュレーションを使用して、超伝導薄膜の屈折率を計算する。
④ DLR量子コンピューティング・イニシアチブ(DLR QCI)は、QuantiCoMプロジェクト🐾1における「材料シミュレーション用の量子埋め込み🐾2アルゴリズム」の開発企業として、フィンランドIQM Quantum Computersを選択した(24年9月30日)[*85]。
🐾1 目的は、材料科学、材料工学、産業向けに量子コンピュータを使用した高度な手法を開発し、将来的に材料を迅速に開発し、開発時間を大幅に短縮すること。
🐾2 関心部分(材料に亀裂や欠陥がある部分)のみを抽出することで問題のサイズを削減して、関心部分を詳細にシミュレートすることを意味している。
⑤ DLR QCIは、DLR交通システム研究所が主導するQCMobility | Rail Transportプロジェクトを、planqcとd-fineが受託することを発表(25年8月19日)[*126]。このプロジェクトの目標は、現実世界の鉄道の課題を、量子ベースの最適化を用いて解決することである。
⑥ DLR QCIと墺ParityQCは、量子コンピューティングの力を交通・モビリティ分野に活用することを目指すプロジェクト「QCMobility – Integration of Quantum-based Methods(以下、便宜上QCM-IQMとする)」の開始を発表した(25年12月3日)[*146]。QCM-IQMは(文字通り)、QCMobilityプロジェクトの一環として実施される。QCM-IQMの射程は『航空輸送の戦略的・戦術的計画、道路・鉄道輸送の最適化、海上・複合一貫物流の改善』が含まれる。潜在的射程は『ライン=ネッカー大都市圏リージョン🐾3における公共オンデマンド輸送サービスの最適化から、ヴェーゼル=ダッテルン運河🐾4の閘門スケジュールの効率化、航空会社の乗務員スケジュールの最適化』まで多岐にわたる。
🐾3 独には、大都市圏リージョンとして指定されている地域が存在する。大都市圏リージョンが存在する背景には、独に(歴史上の様々な理由から)、「NY、ロンドン、あるいは東京」のような世界都市が存在しない、という事情がある。世界都市に対抗する手段として、大都市圏リージョンが誕生した。ライン=ネッカーは、大都市圏リージョンの中でも小規模である。ライン川とネッカー川が合流する地点に位置するマンハイム市(バーデン=ヴュルテンベルク州、人口30万人程度)・ハイデルベルク市(バーデン=ヴュルテンベルク州、人口15万人程度)・ルードヴィッヒスハーフェン(ラインラント=プファルツ州、人口15万人程度)の3都市を中心に構成される。
🐾4 ミッテルラント運河とライン川経由で接続している。
⑦ 独連邦研究・技術・宇宙省(BMFTR)は、FullStaQDプロジェクト(独向けフルスタック量子コンピューティング)に資金を提供している[*151]。該プロジェクトはソフトウェア・ベースの量子コンピューティング・インフラストラクチャの目標開発を推進している。主体は、フラウンホーファー労働経済・組織研究所(IAO)🐾5であり、科学技術と産業界の9つのパートナーと協力している。
🐾5 和名は、https://www.fraunhofer.jp/ja/institutes-establishments.htmlから取得。
3⃣ 特出し:QUASIMプロジェクト
 QUASIMプロジェクトは、独連邦経済・気候保護省(BMWK)が資金提供している。
❶ 量子古典ハイブリッド機械学習モデルが、実アプリケーションにおいて、古典モデルよりも優れた性能を示したと(学会[*43]@24年1月3日~6日のプロシーディングにおける論文[*44]として)発表した ⇒ ❚結果❚に示す通り、量子機械学習の実用性は、未だ見えない!
❚概要❚
 モデル・アーキテクチャは、グラフ・ニューラルネットワーク[*46]。"量子特徴量"を使って、グラフに入力データを埋め込む。この部分(入力データの符号化)だけが、量子的であり他は古典モデル。実アプリケーションとは、レーザーを使った金属加工(切断)における熱シミュレーションの代理モデル構築である。
❚データセット❚
 データセットは、数値シミュレーションにより生成(グランドトルゥースも、シミュレーション出力)。
❚結果❚
①優→ 入力データ埋め込みに、(ノード埋め込み器として)多層パーセプトロン(MLP)を使ったモデルと比較し、優れた結果を示した。比較した計量指標は、MSE(平均自乗誤差)。つまりMSEが、より小さかった。
②劣→ 学習に要したトータル時間は、量子モデルが桁違いに長い(5万倍~6万倍)。従って、現時点での実用性は乏しいだろう(数値シミュレーションの方が速いのでは?)[*45]。
❚優れている理由❚
 「量子特徴量」埋め込みが優れている理由は、以下のように主張されている:㈠「量子特徴量」埋め込みを実行する量子回路のユニタリ行列が、フルランク(階数最大)†1、㈡該ユニタリ行列による写像が全単射†2
†1 MLPを使用する場合、フルランクでない「重み行列」が生成される(該ユニタリ行列の古典対応が、重み行列である)。フルランクでない=埋め込む特徴量に冗長性がある。従って、特徴量を埋め込む場合、重み行列は低ランクでないことが望ましい。
†2 全単射=入力特徴量に対して、埋め込みが一意。つまり、特徴量の情報損失や歪みが防止されて、忠実度の高い埋め込みが実現できる。
‖補 遺‖
 量子特徴量を使った機械学習は、注目を浴びている量子機械学習の3大トレンドの一つとして、解説記事[*47]に上げられている:3大トレンド→㊀量子生成モデル、㊁量子特徴量を用いた機械学習、㊂量子データに対する量子機械学習。㊁の実例として、スペイン・マルチバースのサイバーセキュリティ事例(参照:上記(1)❶㊃)。

(4) スイス(EUではなく、欧州として・・・)
❶ Terra Quantumが八面六臂の活躍を見せている(量子暗号分野は、ここでは触れない)(下表にTerra Quantumはない→通信を参照)。量子ソフトウェアの分野では、もはや英ケンブリッジ・クォンタム・コンピューティングと双璧だろう(マルチバースやザパタを超えた感じ・・・)。
⓪ NVIDIAとの協業を発表(23年11月14日)[*23]。Terraが開発している量子・古典ハイブリッド・アルゴリズムをNVIDIAのプラットフォーム(GPU+CUDA Quantum)で実行できるようにする。
㊀ HSBCとの提携を発表した(23年9月7日)[*18]。銀行業務における様々な最適化問題において、量子古典ハイブリッドアルゴリズムが古典アルゴリズムを凌駕する問題を探索する。候補の一つは、「担保の最適化」。
㊁ 英金融ブティックCirdan Capitalと協業して、マルチアセット(つまり高次元)のオートコーラブルを、"ベンチマークに比べて"75%速く(10分が2分になった!)プライシングできた、と発表した(23年7月6日)[*19]。
㊂ 独Honda Research Institute Europeと協業し、地震時における自動車の緊急避難計画最適化問題において、量子古典ハイブリッドアルゴリズムが古典アルゴリズムよりも7%高精度であると論文[*20]で発表した(23年7月28日@arXiv)。実は、ややこしい内容である。こちらを参照。
㊃ 英蘭ユニリーバと協業すると発表(24年9月26日)[*73]。量子機械学習を活用して、皮膚マイクロバイオームデータを分析する。スキンケア製品の開発につなげる。

(5) フィンランド
1⃣ Quanscient 
 富士通が実施した「富士通10万ドル量子シミュレータ・チャレンジ」でQuanscient(下表参照)が『流体力学の量子アルゴリズム』で最優秀賞を獲得[*28]。具体的内容は、「量子技術を流体力学の分野に応用することによる複雑な流体シミュレーションの実行」、「車両/船舶/航空機の製造や生物医学で使用できる量子アルゴリズムの開発、および計算パフォーマンスの測定と評価」。
2⃣ QMill
❶ シードラウンドで、€4milを調達したと発表(24年9月17日)[*70]。QMillの目的は、近い将来に量子優位性が実現される可能性のある問題領域を特定し、これらの課題に合わせた特殊な量子アルゴリズムを開発すること。ミッションは、さまざまな業界にわたる複雑な最適化の課題に対処すること。注力分野は、金融、通信、不動産、エネルギー、サプライ・チェーン・ロジスティクスなど。
❷ 量子回路を圧縮する新しい方法を開発したと発表(25年10月15日)[*137]。先端の回路オプティマイザーQuarlよりも優れたパフォーマンスを発揮した。
❸ 上記❷の結果はIBMのゲートセットに対する成果であった。Quarlに対してゲート数を約50%削減した(50→24)。25年11月16日、該社ブログで他社のゲートセットに対する成果を公表した[*142]。米リゲッティ(モダリティ:超伝導)のゲートセットに対しては、4,213→1,597(62.1%削減)。米IonQ(モダリティ:トラップイオン)のゲートセットに対しては、2,494→1,099(55.9%削減)。
 英Qinaraは競合であろう。IBMのゲートセットに対しては、同程度の成果を上げている(25年11月14日←[*141])。
3⃣ Algorithmiq
 誤り耐性量子ハードウェア向けに設計された量子化学アルゴリズムの開発を加速するため、米マイクロソフトとの協業を発表した(25年12月11日)[*147]。該社のアルゴリズムをマイクロソフトのQDK(Quantum Development Kit)に統合する。なお、両社の協業は既に「測定オーバ​​ーヘッドを削減する高度な技術と組み合わせた、高忠実度の基底状態を準備する方法」を実証した、とする。

(6) フランス 
1⃣ AQADOC 
 WelinqとEDFが主導するパリ地域資金プロジェクトAQADOCは、分散量子アルゴリズムと量子ネットワーキングソリューションを開発して、エネルギーセクターの量子優位性を実現することを目指しているらしい[*52]。Pasqal(中性原子方式H/W)、Quendela(量子光方式H/W)、Le Lab Quantique†1とTeratec†2と協力している。
†1 グローバルな量子エコシステムの出現を支援するために設立されたフランスの非営利団体。
†2 よくわからない。
2⃣ Qubit Pharmaceuticals
 量子化学計算に必要な量子ビット数を大幅に削減できたと発表(24年7月10日)[*58]。具体的には、「32個の論理量子ビットで、”窒素、フッ化水素、水素化リチウム、水”の物理化学的特性を予測することに成功」した。ただし、仏ソルボンヌ大学と共同で開発した量子エミュレータHyperion-1(※)を使った結果である(ので、実機=NISQマシンを使ったらどうなるか?は、わからない)。量子計算が必要でない箇所を最大限切り出し、古典的に処理することで、量子ビット数を減らした(アイデアとしては従来から知られている)。
※ Hyperion-1に関しては、40個の論理量子ビットに対する正確な古典シミュレーションを成功させた、と発表している(23年12月)。今回の結果を受け、Hyperion-1のさらなる開発のために€8milの資金を獲得した。

【3】英国 Go 2 日本 米国 EU カナダ 豪州その他
 ハードウェアでは尖った印象は無いが、ソフトウェアでは、ARMやディープマインドのような綺羅星が存在するように思われる。PhasecraftとRiverlaneが、異彩を放っている。
(0) 大規模プロジェクト
1⃣ SparQプログラム
 NQCC(英国立量子コンピューティング・センター)は、STFC(英国・科学技術施設会議)♌1とUKRI(英国・研究技術革新機構)と共同で、2024年7月にSparQ Proof of Concept Callを立ち上げた。「ヘルスケア、エネルギー、ロジスティクス」における量子ソリューションに焦点を当てた企業主導のプロジェクトに最大£75Kを提供する。2024/25年は、以下のプログラムを採択した[*84]。
① 数値流体力学シミュレーションの量子アルゴリズムにおける中間回路測定の役割を理解し、空気力学における量子優位性を実証する➡ オックスフォード・イオニクス(H/W:イオントラップ)、Quanscient(フィンランド、S/W)♌2、エアバス
② 災害対応活動を支援するためのフィールド内センサーネットワークの計画における量子最適化の概念実証➡ Mind Foundry♌3
③ 液体生検にAIを用いることで、がんの早期発見を改善するための量子機械学習➡ Applied Quantum Computing♌4、王立Brompton&Harefield病院、ブルネル大学ロンドン校、Digital Catapult♌5
④ 再生可能エネルギー部門向け量子最適化ソリューション➡ Frazer-Nash Consultancy♌6、ORCA Computing(H/W:光)、The Crown Estate♌7
⑤ 航空宇宙及びエネルギー分野における腐食化学を説明する分子埋め込み手法を開発し、実装する➡ キャップ・ジェミニ(英国)、エアバス、ロンドン大学キングス・カレッジ
⑥ クレジットカード取引における不正検知のための量子機械学習➡ 米ユニシス、Paysafe(英国)♌8
⑦ 量子位相推定アルゴリズムの量子リソース推定(ポリマーの基底エネルギーを求めることを想定)➡  PsiQuantum(米、H/W:光)、QinetiQ♌9
⑧ 宇宙環境に強い量子誤り訂正機能:宇宙放射線が量子ビットに与える影響を理解し、緩和する➡ Quantarverse♌10、Radiation Analysis Services♌11、Quantum Software Lab♌12、エディンバラ大学
⑨ 混乱を最小限に抑える交通網の保守作業を策定する(最適化問題)➡ Aioi R&D Lab♌13、Mind Foundry♌3
⑩ ジョブショップ・スケジューリング問題(最適化問題)➡ LTIマインドツリー♌14(英国)、D-Wave(英国)(加、H/W:量子アニーリング)
⑪ 電池モデルの核磁気共鳴シミュレーションを行うために必要な量子リソース推定➡ クオンティニュアム(英国)(米、H/W:イオントラップ)
⑫ 量子コンピューターが、マルチモーダル・データを使ったがん検査で診断精度を上げられるか➡ ColdQuanta(英国)(米、H/W:中性原子)、Avatrial♌15
♌1 STFCは、リサーチ・カウンシルの一つ。英国には、芸術・人文科学を含む学問分野別に、7つのリサーチ・カウンシルが存在する。研究助成を担う中心組織たるUKRIの傘下組織であるリサーチ・カウンシルは資金配分機関であり、議会に対して責任を負う。それぞれの学問分野の研究を支援し、高等教育機関や研究機関に対して資金配分している。STFCは、世界を先導する国内及び国際的な研究、イノベーションを提供することを使命とし、大型施設に関わる基礎研究(素粒子物理学、天文学、中性子科学、放射光科学、宇宙科学等)に対して研究資金を助成している。2024/25年の予算額は、およそ£921mである。参考資料:https://www.mext.go.jp/content/20200803-mxt_kiban02-000008616_2.pdf及び、https://www.jsps.org/newsletter/JSPSNL_70.pdf
♌2 有限要素法を使って偏微分方程式を解くアルゴリズムの量子版(NISQ版)を開発している。流体力学・構造力学・電磁場解析が注力分野。流体力学といっても、ナヴィエ・ストークス方程式ではなくボルツマン方程式が適する航空宇宙分野がメイン。つまり、格子ボルツマン法の量子アルゴリズムを開発している。
♌3 英オックスフォード大学のスピンアウト企業。AI開発プラットフォームの提供および開発支援コンサルティングを生業とする。あいおいニッセイ同和損害保険と資本業務提携している(20年10月)。出所:https://www.aioinissaydowa.co.jp/corporate/about/news/pdf/2020/news_2020103000762.pdf
♌4 量子コンピューターをビジネスに適用しようとする組織に対して、コンサルティングと技術アドバイザリー・サービスを提供する企業。金融とヘルスケア分野に重点を置く。
♌5 先端技術を応用したビジネスの成長を支援しているコンサルティング企業。
♌6 英国の技術系のコンサルティング会社らしい。
♌7 英国の資産管理会社。脱炭素社会の実現や生物多様性の維持といった、長期に渡る国家的課題の解決に資金を提供することが使命らしい。
♌8 米国の多国籍オンライン決済会社。
♌9 英国の他国籍防衛テクノロジー企業。
♌10 元々、太陽光発電の活用と利用方法に革命を起こすというビジョンを掲げて設立された。今後、宇宙ベースのデータセンターや、持続可能なブロックチェーン・ソリューションといった事業を展開する意向。
♌11 放射線コンサルティング会社。
♌12 エディンバラ大学情報学部の量子ソフトウェア研究所。NQCCと提携して、量子コンピューティングが実証可能なメリットをもたらす実用的な方法を研究している。
♌13 あいおいニッセイ同和損保、Mind Foundry、オックスフォード大学教授が​ワンチームで運営する先駆的イノベーションラボ(らしい)。
♌14 ラーセン&トゥブロ・インフォテック(LTI)とマインドツリーが22年11月に合併して誕生した、インドのITサービス企業。
♌15 より効果的で個別化されたがん治療の開発を促進することを使命とする英国の新興企業。機械学習ベースのアプローチを採用する。

(1) Phasecraft
1⃣ 22年10月11日、「フェルミ・ハバード・モデルの実装に成功した、スケーラブルな(NISQを対象とした変分)アルゴリズムを開発した」と発表した[*3]。一般的なフェルミオン系で使用される技術を含めて、様々な誤り抑制技術を使用している。なお、量子スピン液体(カゴメ格子反強磁性体)のシミュレーションを提案するなど、相当先まで観ている。
2⃣ エネルギー・グリッド(送配電網)最適化を検討する£1.2milの契約を獲得したと報道された(24年2月6日)[*35]。資金は、英政府の量子技術促進基金から拠出される。この契約はフェーズ2で、24年1月1日から開始されている。フェーズ1は、エネルギー・グリッドにおける最適化問題を解決するために量子コンピューティングをどのように使用できるかを調査した[*36]。フェーズ2では、エネルギーネットワーク研究コンソーシアムSupergen Energy Networks Hubと協力し、量子ソリューションを使用して、最適化問題に優先順位を付けて対処することを試みる。エネルギー・グリッドの維持管理には、電線1kmあたり最大£1.5milのコストがかかるため、最適化のニーズは大きいという。
3⃣ 量子強化ソフトウェア・プラットフォームMondrianを発表(25年10月1日)[*136]。Mondrianは、古典最適化アルゴリズムを高速化し、複数の業界における難解な最適化問題や制約充足問題に適用できるように設計されている、と主張。Mondrianの高速化は、量子アルゴリズムの出力を用いて古典アルゴリズムを高速化することで、実現される(ので、現在のNISQマシンでも問題ない、とする)。エネルギー・グリッド最適化において、1,000倍の高速化を実証した、とする。

(2) Riverlane
 Riverlaneは、量子コンピューター用OSの開発等を行っている。☛今では、リアルタイム復号化器の開発で有名か。
1| アルゴリズム変更によって、量子化学計算に必要なリソースが激減するとの推測を発表した(22年11月10日)。分子軌道と電子がおよそ50の活性空間に対して、量子位相推定を使って基底エネルギーを求める計算を、①鈴木-トロッター公式を使った場合と、②(疎な)キュビタイゼーションを使った場合とで比較。①は千年以上、②は7.6日と推測した。なお、キュビタイゼーション(qubitization)で計算リソースが減少するという報告は他(例えば、[*5])にもあり、VWと加Xanadu(ザナドゥ)Quantum Technologiesによる新電池開発プロジェクトでもqubitizationにおける計算リソースの推定が行われている[*6]。
2| リアルタイム復号器(decoder)をASICで製造することを発表した(23年9月13日、該社公式ブログ[*12]に投稿、論文[*13]を9月11日arXivにて公開)。24年にテープアウトされる予定。ASICはFPGAよりも高速・廉価・低消費電力。量子誤り訂正符号の文脈における復号器とは、シンドローム測定の結果から、元の量子情報を推定するデバイスである。復号のアルゴリズムには、Collision Clusteringデコーディング・アルゴリズムを使用。量子誤りのクラスターを成長させ、それらが衝突するかを評価することで機能する(らしい)。誤り訂正符号としては、(各種)表面符号が(当面の?)対象。復号器のIPもリリースする(Verilogが使われている)。なお、"半導体"の文脈におけるIPとは、回路設計データのことを言う。
👉 欧州イノベーション評議会(EIC)から「Transition」スキーム†1の助成金£2.1milを獲得したと発表(24年5月1日)[*48]。蘭Qbloxが提供する量子制御システムと統合される予定。
†1 2021年からEICでは、Pathfinder、Transition、Acceleratorという研究段階に応じた3スキームで公募を実施し、採択プロジェクトへの助成等を進めている。Transitionの対象は、「実環境での技術検証・実証、市場準備」である。出所:https://www.jst.go.jp/crds/pdf/2021/OR/CRDS-FY2021-OR-02.pdf
[為参考1] なお、表面符号の復号器をComputation in memoryに実装し、深層学習(LSTM)で復号を実行するという研究が東大で行われている[*14]。なお、ニューラルネットワークを使った復号器の簡単なレビューとして、例えば[*15]がある。
[為参考2] 強化学習ベースのリアルタイム量子誤り訂正の実現を目指すプロジェクトとして、アルテミス計画(https://quantera.eu/artemis/)がある。
3| 英ロールスロイス(及び英国立量子コンピューティング・センター)と提携して、「量子シミュレーションに要する量子ビット数を、大幅に削減する方法論を構築する」と、発表した(23年12月18日)[*27]。ジェットエンジンに使用する材料の新規開発を、当面の対象とする模様。本質的には、材料シミュレーションにおける価値の高いユースケースを特定することが目的。イノベートUKから資金提供を受けている。
4| 「富士通10万ドル量子シミュレータ・チャレンジ」にて『量子安定性実験』で優秀賞(第2位)を獲得[*28]。具体的内容は、「リーケージ・エラー†2を伴う現実的なノイズモデルの下での、量子誤り訂正の重要なベンチマークである、量子安定性のシミュレーション」、「量子計算で誤差を引き起こすさまざまな種類のノイズに対する量子安定性の検証と、これまで観察されていない挙動の発見」。
†2 {0}あるいは{1}が、「{0}でも{1}でも(どちらでも)ない状態」に遷移してしまう量子誤りを、リーケージ(leakage)エラー、という。(遷移した状態が分かっている)ビット反転エラーや、位相反転エラーよりも、深刻な量子誤りである。※言わずもがな、「量子ビットは、{0}と{1}の(量子力学的)重ね合わせ状態」という通常セットアップ下での説明。
5| マサチューセッツ工科大学プラズマ科学・核融合センターと共同で、プラズマ・ダイナミクス・シミュレーション向けの効率的な量子アルゴリズムの開発に取り組むことを発表(24年1月30日)[*30]。
6| 米オークリッジ国立研究所(ORNL)が主導する「量子誤り訂正技術がスパコンに与える影響を調査する」プロジェクトに参加することを発表した(24年2月27日)[*37]。リバーレーンが量子誤り訂正技術を提供し、ORNLのスパコン(IBM製のサミット)とリゲッティ(モダリティは超伝導)の量子ハードウェアを"リモートで"繋いで検証する。具体的には、量子H/W+スパコンのパフォーマンスを測定するベンチマーク・スイートQStoneを構築する。
7| 英ロールスロイス、加ザナドゥとの共同チームが、「ジェットエンジンを通過する空気の流れを、量子古典ハイブリッドモデルで計算するアプリケーションの開発を加速させるため、イノベートUKから£0.4mil以上の助成金を獲得した。カナダ国立研究会議産業研究支援プログラムからも、CA$0.5milが提供された」[*39]。
8| 米国防高等研究計画局(DARPA)が資金提供する量子ベンチマーク・プログラムのフェーズ 2に選ばれた、と発表(24年4月17日)[*49]。現実的なアプリケーション実行に必要な、量子リソース及び古典リソースの推定を目的とする。現実的とは、「プラズマ物理、流体物理、凝縮系物理、高エネルギー物理」を指しており、必ずしも商業的という意味ではない。南カリフォルニア大学、シドニー大学、ロスアラモス国立研究所等と協力して実施する。"ただし"、リソース推定は、表面符号を前提としている。
9| 仏アリス&ボブ(モダリティ:超伝導)が、該社の量子誤り訂正技術を導入する契約を締結したと発表(24年5月29日)[*51]。
10| 米Atlantic Quantum(モダリティ:超伝導、フラクソニウム方式)が、該社の量子誤り訂正技術を導入する契約を締結したと発表(24年7月17日)[*61]。
11| 仏Pasqal(モダリティ:中性原子)が、該社の量子誤り訂正技術を導入する契約を締結したと発表(24年12月10日)[*87]。
12| フィンランドIQM(モダリティ:超伝導)、瑞チューリッヒ・インスツルメンツと共同で、SurgeonQプロジェクトを立ち上げた(25年2月6日)[*96]。同一トポロジーの物理量子ビットに対して、様々な論理量子ビットを、柔軟に構成出来るようにする。言い換えると、同一トポロジーの物理量子ビットに対して、様々な量子誤り訂正実験が行えるようになる。そのために、格子手術(lattice surgery)プラットフォームを構築する。
13| 英国量子ミッション・パイロット・プログラム下の量子誤り訂正実験3件を支援していることを発表(25年4月23日)[*107]。3件=米リゲッティ(超伝導)、英オックスフォード・クォンタム・サーキッツ(超伝導)、英オックスフォード・イオニクス(トラップイオン)。
14| 米CentreSquareが運営する商用データセンターに、Deltaflow2を導入することを発表した(25年7月22日)[*119]。併せて、英オックスフォード・クオンタム・サーキッツ製のQPU、蘭Qbloxの制御ハードウェアが導入されている。Deltaflow2は、以下の性能を発揮する:最大250個の物理量子ビットに対し、量子誤りが蓄積しない量子演算を1万回実行可能(10KQuOps)。リーケージ誤りにも対応しており、復号精度が向上。商用データセンターへのDeltaflow2導入は、2028年までにMegaQuOpsの達成を目標とする英国の国家量子戦略のミッションに対応している。
15| Deltaflow2を、米オークリッジ国立研究所(ORNL)に導入すると発表(25年9月4日)[*131]。2025年9月末までに導入完了予定。量子コンピューターとスパコンのハイブリッド・システムにおいて、リアルタイム量子誤り訂正(復号)が、どのように動作するか実証することが目的。

(3) Cambridge Quantum Computing(米Quantinuumの子会社)
1⃣ 動的電子相関まで考慮して波動関数を求める方法論の一つ、多参照摂動論計算を、新たに開発したハイブリッド量子古典アルゴリズム(QRDM-NEVPT2)で実行することに成功した(arXiv投稿22年10月)[*7]。古典コンピュータで量子状態を表現する量子部分空間展開法を使うNEVPT2に対して、QRDM-NEVPT2は量子デバイス上で縮約密度行列(RDM)を使う。FTQC版への拡張を見据えている。
2⃣ 英国放送協会(BBC)と、過去100年間のテレビとラジオで収集されたコンテンツの発見とアーカイブの検索のために、量子自然言語処理の適用を模索することを目指して、(Quantinuumが)15年間の契約を結んだと発表(22年12月)。ロンドン大学ユニバーシティカレッジと協同する。
3⃣ 独自に開発した量子モンテカルロ積分エンジンの詳細を発表した(ニュースリリース[*16]は23年9月15日、論文[*17]はarXivにて8月11日公開)。このエンジンは以下の4モジュールで構成されている:㊀ローディング・モジュール→確率分布とランダム過程を量子回路としてロードする、㊁計算モジュール、㊂統計量計算モジュール、㊃量子振幅推定モジュール。また87ページ(真水でも71ページ)に及ぶ先の論文[*15]では『金融業界でよく使われる計算方法を量子回路で構築するためのツール”the enhanced P-builder”などが詳述されている』。

(4) Qinara
 自社を「量子古典ハイブリッド・ソリューションに特化した初の量子ソフトウェア企業」と位置付けている。設立は24年11月。製品は4つ:Qronos(量子回路最適化システム)、Q-Prism(サイバー・セキュリティー・ソリューション)、Qure(がん領域の創薬用量子古典ハイブリッド・ソリューション)、ISO-Q(詳細不明)。該社はQronosについて、以下のように主張 ╏ 深層強化学習とグラフベースの修正を活用することで、量子アルゴリズムをより高速かつコスト効率よく実行することを可能にする。
 GitHubにて、Qronosと「4つの量子回路最適化ツール🌹1」との比較結果を公開(25年11月14日)[*141]。24個の量子回路🌹2に対してQronosを使うことによって、ゲート数を"オリジナル"から53%~89%削減した(平均値79%、中央値81%)。4つの量子回路最適化ツールとの比較では、概ね50%程度の削減を実現している。
 競合企業のフィンランドQMillは、IBMのゲートセットで同じような成果を発表(25年10月15日←[*137])。11月16日には、他社(米リゲッティ、米IonQ)のゲートセットに対しても、成果を発表している←[*142]。
🌹1 Qiskit(米IBM)、TKET(米クオンティニュアム)、Quartz(開発元がわからない)、Quarl(開発元がわからない)。有名所では、Qmod(イスラエルClassiq)があるが、採用されていない。
🌹2 最適化の前に、Qiskitを使用して量子回路を IBM-Eagleゲートセット{CX、SX、X、RZ}にコンパイル(トランスパイル)している。
 

【4】カナダ Go 2 日本 米国 EU 英国 豪州その他
 カナダで量子ソフトウェアのスタートアップが多い理由は、世界初の'量子'コンピューター・ベンダー、D-Waveシステムズが存在したからだろう。
(0) InfinityQ Technology 
 シーメンス(Siemens Energy Ventures)は、エネルギー事業における組み合わせ最適化を解決するために、InfinityQと協業することを発表した(24年8月20日)[*66]。InfinityQは、量子インスパイアード古典アルゴリズムを使った最適化問題ソリューションを提供している、カナダのスタートアップ。2020年に設立されたSiemens Energy Venturesは、「エネルギーシステムを変革し、気候変動との戦いに役立つベンチャーへの投資、構築、パイロット事業に重点を置いている」らしい。

(1) 1QBitは、変分量子アルゴリズムによる、電子相関効果を考慮した分子シミュレーションの計算精度を、改善する手法を開発した。研究論文が、Nature Machine Intelligence に掲載された(22年7月20日)[*2]。ニューラルネットワークを使った、量子誤り緩和であり、2つのステップで構成される。〈ステップ1〉:Transformerを生成モデルとして、計算結果から、基底状態を再構成する→パラメータ付きの基底状態が作成される。ニューラルネットワーク量子状態トモグラフィと呼ばれる手法である。〈ステップ2〉:変分モンテカルロ法を使って、ステップ1の基底状態のパラメータを最適化する。

(2) Haiqu
0⃣ (潜在的・顕在的)競合企業は、独KIPU Quantum、フィンランドQuantastica、加softwareQ、イスラエルClassiq technologies、シンガポールHorizon Quantum Computingあたりであろう。
1⃣ 2022年秋にトロントで設立されたHaiquが、プレシード資金として$4milを調達したと発表した(23年6月)†0。Haiquは、英、加、ウクライナ(及び米、独、スイス)に分散したコラボレーション・チームという組織形態を採用している(⇒米サンフランシスコに本社を置く新興企業、ということになったらしい)。量子コンパイラ(量子回路の最適化コード)の開発、量子機械学習を含む量子アルゴリズムの開発等を行っているもよう。創業者CEOのRichard Givhanは、三菱電機の客員起業家(EIR:Entrepreneur in Residence)だったとの報道あり。また、今回のラウンドには、トヨタ・ベンチャーズ(米カリフォルニア州ロスアルトスを拠点とする投資部門)が参加している。
†0 https://www.haiqu.ai/insights/raise-2
2⃣ オープンソースのツールキットRivetのリリースを発表(24年6月)†4。既存のコンパイラ(量子回路の場合、しばしばトランスパイラと呼ばれる)に対する問題意識をもとに、Rivetは開発された。問題意識とは、既存トランスパイラは、パラメータ付き量子回路(いわゆるアンザッツ)のコンパイル(トランスパイル)を高速に実行できない、というもの。アンザッツは、変分量子アルゴリズムには欠かせない。Rivetは、効率的なトランスパイルも可能にするため、使用する量子ビット(量子ゲート)の量を抑制することができる。それは、デバッグの容易さにもつながる。リリース時点(つまり、24年6月)で、Qiskit†1、BQSKit†2、Pytket†3をサポートしている。
†1 言わずと知れた、IBM製。最もメジャーなツールキット。
†2 米エネルギー省傘下のローレンス・バークレー国立研究所が作製。
†3 これも有名。Quantinuum製。
†4 リリース日時点で、該社サイトに記載なし。
4⃣ 該社公式ブログで、「量子生成・古典特徴量×古典機械学習」(=射影量子カーネル法)×異常検知において、"量子優位性有用性"を実証した、と主張(25年11月13日)。こちらを参照。
5⃣ シードラウンドでUS$11milを調達した、と発表(26年1月13日)[*159]。トヨタ・ベンチャーズが引き続き参加している。
3⃣ 確率ローディング・・・確率分布を効率的に量子符号化できた(↓)。
╏要旨╏ テンソルネットワーク分解自体は、量子状態(量子物理)以外にも適用可能である。しかしテンソルネットワーク分解が、有効か否かは、ケースバイケース。具体的には、対象系がテンソルネットワークに適したエンタングルメント構造を持っているか否かに依存する。下記の成果を簡単にまとめると、「一部の確率分布は、テンソルネットワーク分解に適するエンタングルメント構造を持っている」ことを示した、ということになるのだろう。
━━━━━━━━━━━━━━━━━━━━━━━━━
 古典的な入力データを量子状態に符号化する「状態準備」を実行する量子回路の深さは、指数関数的に増加する可能性がある。つまり、指数関数的な時間を要する可能性がある。このため、一般的な古典データに対して、エンドツーエンドの量子計算で量子優位性を得るためには、量子アルゴリズムは指数加速が必須であるとされる。ただ、特定クラスに属する古典データは、多項式的深さの(つまり浅い)量子回路で状態準備が可能であることが分かっている。
 Haiquと英大手商業銀行HSBCは、確率分布を、浅い量子回路で符号化できるかを検討し、可能であると発表した(24年12月6日@arXiv[*86])。具体的には、以下のようなことを行った(ただし現実的には、下記の手法ではなく、テンソルクロス補間❚補遺❚を使った方が良い):
❑まず、x∊[0,1]である確率分布f(x)を、f(0.σ1・・・σN)と表現する。ここでx = 0.σ1・・・σNを、二進数表記する。例えばx=0.376なら、十進数表記だとσ1=3、σ2=7、σ3=6、である。これを二進数表記すると、σ1=0、σ2=1、σ3=1、・・・、σ10=1、・・・となる。つまり1/2-2+1/2-3+1/2-10=0.375977≒0.376、となる。xを二進数表記することで、xの関数f(x)はテンソル化される(テンソルで表現することができる)。
 任意のテンソルは、特異値分解を行うことにより、行列積(MPS)状態で表現できる(テンソル→MPSは"厳密に"行える。つまり近似ではない)。そこで、次に、f(0.σ1・・・σN)=ΠAσjijと、行列積状態(MPS)Aσjijを使って表現する(行列積状態へ分解する†5)。ただし、i=0~N-1、j=1~Nで、ℓ0=ℓN=1とする。N量子ビットの量子状態|f⟩は、エンタングルメントが大きくない場合、O(poly(N))の量子ゲートを使ってMPS表現可能であることが知られている。❑
 ここまで(❑~❑)は、既に行われていること及び知られていることで、[*86]のオリジナリティではない。[*86]は、「エンタングルメントが大きくない」†6という仮定が、テンソルで表現した「滑らかな関数」にも当てはまることを示し、確率分布(関数)に適用した。適用された確率分布は、切断正規分布、対数正規分布及び、金融(数学)において重要なレヴィ分布等である。MPSは(正準形式に変換することで)量子回路に容易に埋め込める。つまり、MPS表現すれば、量子回路を作成できる。
 いくつかの工夫を凝らし、最終的に[*86]は、O(N)個の量子ゲート数†7で確率ローディングが可能であること示した(と理解)。その上で、実機(IBMのNISQデバイス、量子ビット数25)で確率ローディングを行ってサンプリングした結果は、有意水準5%で、コルモゴロフ・スミルノフ検定(KS検定)に合格した。確率分布は、レヴィ分布、対数正規分布、およびガンマ分布である。ただし、量子ビット数50及び64のデバイスでは、デバイス・ノイズのため、KS検定には合格しなかった。
†5 情報科学の分野では、テンソル・トレイン分解と呼ばれる。
†6 純粋状態のエンタングルメントの大きさは、エンタングルメント・エントロピー(EE)で計量される。EEは、最大ln(2)≒0.693で最小0である。EEが大きいほど、エンタングルメントは大きい。EEは結合次元kに依存するので、添え字kをつけて、Skと表記する。また、Sk=∑iSk,iである。iが小さい方が(つまり、Sk,1やSk,2が)、支配的である。[*86]ではレヴィ分布のSkを、レヴィ分布の尺度母数cに関して2パターン(0.15及び4.00に対して)を例示している。なお、位置母数μ=0である。一番大きなSk,1だと、結合次元4かつc=0.15で、1/4程度になる。そのときの、Sk,2は1/64程度である。従って、EEはおよそ0.266程度と考えられる。これが十分に小さくないのであれば、結合次元kを大きくすれば良い。ただし、結合次元が大きくなれば、それだけ量子リソースも計算コスト(☞下記❚補遺❚参照)も増える。
†7 特定の条件に従う場合、古典データはMPSを使用して、十分に近似できることが既に示されている[*91]。特定の条件とは、「量子状態にマッピングされた後に、十分に急速に減衰するフーリエ・スペクトルを持つ」ことである。この場合、ゲート数は(指数関数的に増加するのではなく)量子ビット数に応じて線形に増加することが示されている。ゲートは、(最近傍)2量子ビットゲートである。
❚補遺❚
 上記では、二進数表記を使ったテンソル化した確率分布を、確率ローディングの"入力"としている。テンソルクロス補間(TCI)は、関数値のサンプリングを使用して関数のMPS表現を近似的に構築する手法で、計算コストが削減できる(というメリットがある)。TCIの場合O(Nχ2)である。Nは量子ビット数、χは(テンソルネットワーク、今の場合はMPSの)最大結合次元である。二進数表記を使った場合の計算コストはO(2N)である。
 また(別のメリットとして)、TCIの場合は、確率分布をブラックボックスとして扱うことができる。このため、明示的に定義できない確率分布にもTCIを適用できる。

(3) softwareQ(下表も参照)は、分散型量子コンピュータ(=モジュラー・アプローチ)を実現するための「ネットワークの要件を定量化し、それらの要件を満たすシステムの実現可能性を証明することを目的」に英Nu Quantum(こちらを参照)と協業する(24年3月12日[*41])。これは、カナダ国立研究評議会(NRC)と英研究技術革新機構(UKRI)が資金提供するカナダと英国の共同量子技術プロジェクトの一つ。最大で、$0.5milの資金提供を受ける。softwareQは、量子回路のコンパイル(しばしばトランスパイルと呼ばれる)に関する高度な技術を有すると目されている。Nu Quantumは、量子ネットワーキングによって量子コンピュータをスケールアップさせること(分散量子コンピューティング)もミッションとしている。

(4) Quminexは、プレシード資金を調達したことを発表(25年4月14日)[*105]。金額は非開示。Quminexは、「AI、量子コンピューティング、高度なデータ分析技術」を駆使し、「価値の高い鉱床をより効率的に特定する」ことをミッションとするスタートアップ。詳細な技術は、不明。

(5) Kothar†8 Computing
1⃣ Web(ブラウザ)ベースで使用可能な「計算物理学プラットフォームFORGE」のリリースを発表した(25年8月29日)[*124]。まずは、量子多体問題を対象とするが、量子化学、材料科学にも対象が拡張される予定。問題を最大10,000倍高速†9に解けると豪語する。Kotharは、科学計算ツールのサポートにより(科学者による)科学的発見を加速することをミッションとしている。FORGEは、独自のシンボリック代数†10フレームワークを基盤として構築されている。
†8 Kothar(読めない💦→コタールで良いらしい)は、ウガリット神話の「職人技、技術、鍛冶、そして魔法の神」らしい。ウガリット神話は、古代都市ウガリットに保存されていた粘土板文書に記されていた神話らしい。
†9 量子多体問題用解析コードのコーディング作業に、数か月を要するらしい➡例えば、3か月=778万秒とすると、3か月/1万=778秒≒13分。
†10 随分と前から、量子多体問題等に対する最先端の計算手法やプログラムは、手作業だけで開発されることはなかったらしい[*125]。(比較的単純ではあるものの)煩雑で長大な数式計算が必要であり、人的ミスが生じやすい。このため、数式計算(及びコンピュータへの実装)を自動化するシンボリック代数システムの助けを借りて、計算手法やプログラムが構築されていた。FORGEの強みは、使い勝手がより良い&より高速、ということであろう。
2⃣ 加Nanoacademic Technologies†11と協業し、量子EDAソフトウェア・スイートを構築する、と発表(25年10月31日)[*139]。この量子EDAは、「モデリング、最適化及び(数百万量子ビットへの)大規模化を可能にする」シミュレーションおよび設計フレームワークである。対象は、半導体スピン量子ビット及び超伝導量子ビット(ベースの量子チップ)。Nanoacademicは、半導体スピン量子ビット及び超伝導量子ビットの高解像度物理モデルを提供する。Kotharは、量子多体ソルバーを提供する。
†11 2008年設立。所在地は、モントリオール市。高度な原子シミュレーションおよび量子技術モデリング・ソフトウェアの開発とライセンス供与を専門としている。
 

【5】豪州、イスラエル及びその他地域 Go 2 日本 米国 EU 英国 カナダ
(1) イスラエル
 日本では、Classiq及びQuantum Machinesの知名度大。
1⃣ Quantum Machines 
❶ イスラエル量子コンピューティングセンターの設立を主導することが発表された(22年7月18日)。同センターには、H/Wベンダーとして、QuantWare(蘭・超伝導)、ORCA(英・光量子)、ColdQuanta(米・中性原子、現Infleqtion)が参画。S/Wベンダーとしては、Classiq(イスラエル)とsuper.tech(ColdQuataが買収した)が参画する。※Super.techの主要製品は、次の2つ。①SuperstaQ:任意のソース言語(Cirq、Qiskit等)で量子プログラムを作成し、任意の量子コンピューター(IBM、Rigetti、IonQ、AQT)をターゲットにすることができる。量子スタック全体にわたって最適化されているので、一般的な量子プログラムのエラーを半減できる。高度な量子誤り緩和技術のライブラリが含まれている。②SupermarQ:アプリケーション・ベンチマーク・スイート。
❷ 独Qruiseとの戦略的パートナーシップ締結を発表(24年9月10日)[*71]。↑Qruiseの項を参照。
❸ 量子コンピュータの校正(キャリブレーション)のためのオープンソース・フレームワーク「QUAlibrate」のリリースを発表した(25年5月19日)[*110]。100量子ビットの超伝導量子コンピュータをゼロから校正するには最大2日かかることがあるらしい。この所要時間は、100万量子ビットを目指す姿と考えると非現実的(線形で推移させても2万日=54年以上)。100量子ビットの校正(最大2日)を、どの程度で終了できるかは、具体的には示されていない。
2⃣ Classiq
❶ 東芝デジタルソリューションズ㈱と提携したと発表した(23年6月)[*10]。ゲート型量子コンピューティングのユースケースを探索すること、が提携目的(目標?)のようである。
❷ BMWグループ(及びNVIDIA)と提携して、メカトロニクス・システムを最適化することを発表(24年6月20日)[*54]。具体的には→Classiqの技術を使って、課題†1に応じた量子回路を設計。当該量子回路の実装を、NVIDIA GPU+NVIDIA CUDA-Q プラットフォームでシミュレート。課題の解決を高速化する。
 (下記表にもある通り)製造業に対するソリューションとしては、既に、英ロールスロイスと協力して、計算流体力学シミュレーションの量子アルゴリズムを実装することを発表している(22年10月)[*55]。
†1 自動車における各種電装品の最適な組み合わせ問題。量子アルゴリズムとしては、QAOAやHHLを使う。
❸ 米QuEra(中性原子方式量子H/Wスタートアップ)との戦略的提携を発表(24年7月23日)[*63]。ClassiqのプラットフォームとQuEraのH/Wを統合する。
❹ 初の量子コーディング用高級言語(HLL)、Qmod(Quantum Modeling Language)の一般提供を発表(24年7月23日)[*64]。
❺ 米ウルフラム・リサーチ†2と共に、CERN†3のOpen Quantum Institute(OQI)†4への参加に(25年4月22日付けで)選定されたことを発表(25年5月5日)[*108]。発電機起動停止計画問題(Unit Commitment Problem:UCP)を解くための量子・古典ハイブリッド最適化手法の開発に重点的に取り組む。UCPとは、「時間帯ごとに与えられた電力需要を満たすように、各設備の起動停止スケジュール及び出力を求めるスケジューリング問題」†5である。UCPはNP完全であり、解法として、「動的計画法、分枝限定法、ラグランジュ緩和法、メタヒューリスティックス」などが適用されている†6。再生可能エネルギー源の系統接続が進むにつれ、「従来の計算手法では効率的なスケーリングが困難になっている」とされる。
†2 科学技術計算用の総合ソフトウェア・Mathematica(マセマティカ)の開発元として有名。創業者スティーブン・ウルフラムは、物理学者・コンピューター科学者であり、セル・オートマトンの研究等で知られている。
†3 Conseil Européen pour la Recherche Nucléaire:欧州原子核研究機構。
†4 量子コンピューティングへのグローバルかつ包括的なアクセスと、人類の利益となるアプリケーションの開発を促進する多国間ガバナンス・イニシアティブ(https://open-quantum-institute.cern/who-we-are/)。パイロット期間中(2024-2026年)、CERNがホスト役を務める。UBS(スイスのユニバーサル・バンク)の支援を受けて、ジュネーブ科学外交先見財団(GESDA)によって設立された。GESDAは、「スイス連邦議会、ジュネーブ州、ジュネーブ市によって2019年に設立された独立した財団」で、「未来の科学的ブレークスルーを予測するための、中立的で信頼できるプラットフォーム」らしい(https://portal.gesda.global/jp/)。
†5 出典:https://www.jstage.jst.go.jp/article/jasmin/2013f/0/2013f_167/_pdf/-char/ja
†6 出典:https://www.iee.jp/pes/termb_090/
❻ インドの量子S/WスタートアップBQP†7は自社ブログ[*144]で、Classiqの量子回路最適化ツール†8について、以下のように評価している:Classiqの量子回路最適化ツールは、構造化行列に対して、「ハードウェア効率の高い低深度†9」のブロック符号化†10を生成する。これは、一般的な偏微分方程式†11を量子コンピューターで解く†12場合、Classiqのツールを使うことで、要求されるハードウェアのリソースを実用的なレベルに留められることを意味している†13
†7 旧社名BosonQ Psi 
†8 Qmodという理解で良い? 
†9 Qiskitの回路最適化と比較して、回路深度を最大100倍削減する、と主張する。
†10 ブロック符号化とは、「一般的な=ユニタリではない」行列(演算子)Aを、より大きなユニタリ行列内に埋め込むことを可能にする、数学的及び量子回路レベルの手法である→†11を、さらに参照。
†11 具体的に言うと[*144]では、2次元ポアソン方程式を扱っている。
†12 量子コンピューターは、線形かつユニタリな問題でなければ扱えない。線形性・非線形性への対処(例えば、カールマン線形化など)は、ここでは触れない。非ユニタリ性(しばしば散逸性とも呼ばれる)を量子コンピューターで扱うアプローチは、3種類あるとされる。㊀ブロック符号化、㊁warp phase変換、㊂ユニタリ線形結合(LCU)/ハミルトニアン・シミュレーションの線形結合(LCHS)。つまり[*144]では、㊀を扱っている(採用している)ということになる。
†13 ちなみに[*144]は、NVIDIA CUDA-Qシミュレーション・プラットフォーム上で実行された(つまり実機を使っていない)。
3⃣ Qedma
 Qedmaは、量子誤り抑制・量子誤り緩和ソフトウェアを開発・提供する量子S/Wスタートアップ。
❶ イスラエル・イノベーション・オーソリティ(IIA)🐾1およびデンマーク・イノベーション基金🐾2の支援を受け、Eurekaネットワーク🐾3の一部として、デンマーク工科大学、コペンハーゲン大学、Molecular Quantum Solutions🐾4、Oxford Ionics🐾5と提携することを発表した(25年6月3日)[*115]。光化学、創薬、材料科学といった分野における重要な課題である「強相関電子系のシミュレーション」を支援するフルスタック量子ソリューションの開発を目指す。
❷ シリーズAでUS$26milを調達したと報道(25年7月3日)[*117]。IBMベンチャーズ(IBMのCVC)も参加している。シードラウンド(2020年)でUS$4.7milを調達済らしい。
🐾1 1984年に設置された首席科学官オフィスを組織改編し、2015年に設立。IIAは、「新ビジネスの構想を有する起業家、新製品開発を進めているスタートアップ、イスラエル国内企業との連携に関心のあるグローバル企業」に、補助金及び公的支援プログラムを提供する独立行政機関。出典:https://www.affrc.maff.go.jp/docs/innovate/attach/pdf/R5_seika_6.pdf
🐾2 デンマーク戦略的研究会議、デンマーク国家高等技術基金およびデンマーク技術・イノベーション評議会が合併して2013年に設立された(14年から投資を開始)。国際的な社会的課題から生まれる新たな社会イノベーションパートナーシップを後押しするとともに、デンマークの企業における新たなソリューションに関するニーズを支援する。出典:https://crds.jst.go.jp/dw/20131113/201311131042/。╏為参考╏日本のQunaSysは同基金から、1,900万デンマーク・クローネ(約4億円)の助成金を獲得している(25年3月)。
🐾3 研究開発とイノベーションにおける国際協力のための世界最大の公的ネットワーク。世界45カ国以上に拠点を置いているが欧州が中心。残念ながら、日本に拠点はない。アジアでは、韓国とシンガポールに拠点あり。
🐾4 2019年に設立されたデンマークの量子S/Wスタートアップ。製薬企業/バイオテック企業/化学企業が研究開発を加速できるように、スパコン及び量子コンピューター上で稼働する、物性計算ツ-ルを提供している。
🐾5 Oxford Ionicsは、米IonQに買収された(25年6月9日)。この影響は、あるだろうか?
4⃣ Quantum X Labs
 米NASDAQ上場企業Viewbixによる買収が成立した(過半数の株主から、書面による同意を得た)とメディアで報道された(26年1月5日。例えば、[*155])。26年1月5日に、PRE14Cファイル✡1が米SEC(米国証券取引委員会)に提出されている[*156]。なお本買収案件は、アーンアウト・ディール。Viewbixは、イスラエルに拠点を置く動画分析・技術企業らしいが、良く分からない。
 Quantum X Labsもイスラエル企業である。事業内容は分かり難いが、量子技術に関するIPを開発して管理することのようである。該当する量子技術は多岐にわたる:㊀量子誤り訂正符号✡2における「機械学習ベース」の復号器、㊁臨床試験データの分析✡3、㊂核磁気共鳴(NMR)ジャイロスコープ✡4、㊃セキュリティ✡5。IPの社会実装は、子会社に任せるというビジネス・モデルのようである。
✡1 株主に議決権行使を求めないケースにおいて、株主に情報を提供する目的で提出される情報開示書類らしい。
✡2 表面符号を明確に否定している(ところが素晴らしい)。ただし、該社の機械学習ベース復号器は、量子誤り訂正符号の符号形式を問わない。言わずもがなであるが、機械学習ベースなので(ノイズモデルを脱分極ノイズに限定する等の非現実的な仮定は置かずに)、実機の現実的なノイズを考慮できる。
✡3 米国特許を申請(25年12月24日)(例えばhttps://techtime.news/2025/12/24/quantum-x-labs/)。特許出願のタイトルは「連続分布関数のための量子マルコフ連鎖モンテカルロ(量子MCMC)サンプリング・ポイントの生成」。臨床データが、ある母集団からのサンプル・データであると見做し、臨床データが従う確率分布関数を量子MCMCで、ロバストに推定するという話であろう。
✡4 NMRジャイロスコープは、核磁気モーメントが印加磁場の周りを回転する際のラーモア周波数のシフトとして回転を感知する。固有技術により、該社のジャイロスコープは、精度が高く(バイアス並びにドリフトが小さい)、消費電力と装置サイズを大幅に削減できる、と主張。26年1月6日に「技術的なブレークスルーを達成した」と発表(https://www.globenewswire.com/news-release/2026/01/06/3213609/0/en/Viewbix-Quantum-X-Labs-Announces-Breakthrough-in-the-Development-of-a-Quantum-Gyroscope-Chip-Technology.html)。
✡5 詳細は開示されていない。

(2) シンガポール
1⃣ Entropica Labs
 再帰的QAOAの適応版という「Ada-RQAOA」を開発し、計算コストを比較指標として、QAOAを凌駕したと主張している。具体的には、❶最小頂点被覆問題、❷最大独立集合問題、❸最大クリーク問題、の3つのNP困難問題にAda-RQAOAを適用した。「Ada-RQAOAは、複数回の再帰的実行の中で最も信頼できると思われる情報のみを用いて解を構成するため」QAOAを凌駕する、としている。
 また、中性原子方式の米Atom Computingとの協業を発表している(23年6月)。これは中性原子方式が、❶~❸を解くのに有利[*11]であるためであろう。
2⃣ Horizon Quantum
❶ 量子コンピューターを所有・運用する初の量子ソフトウェア企業となったことを発表(25年12月3日)[*145]。量子コンピューターは、「米Maybell Quantumの極低温プラットフォーム、イスラエルQuantum Machinesの制御エレクトロニクス、そして米Rigettiの超伝導量子プロセッサ」を組み合わせて自作した。
 ちなみに富士通は、生成AIが自動でコーディングする時代における競争優位の源泉として、量子コンピューターを製造できることをあげている(らしい)。しかし上記例からも分かるように、単なる製造では、それが例え量子コンピューターであっても、競争優位の源泉とはなり得ない。ハードウェア原理主義的な思想・発想に留まるのであれば、量子時代における成長は難しいと思われる。
❷ ハードウェア非依存型高水準オブジェクト指向言語「Beryllium」のリリースを発表(25年12月9日)[*148]。該社の統合開発環境(IDE)であるTriple Alphaを通じて、Berylliumにアクセスできる。Berylliumは、Triple Alphaにおける既存の(チューリング完全である)プログラミング言語Helium(≈BASIC言語)とHydrogen(≈アセンブリ言語)に加わる。

(3) インド 
1⃣ 「富士通10万ドル量子シミュレータ・チャレンジ」にてQkrishi Quantum PrivateとBloq Quantumが『クレカ不正使用検知に対する量子カーネル法』で第3位を獲得[*28]。
👉 Bloq Quantumは、「ユーザーフレンドリーなローコード・インターフェイスにより、量子コンピューティングの導入を簡素化する」ことをミッションとしているらしい。またプレシード・ラウンドで、1300万インドルピー(およそ15万ドル)を調達した(24年8月)[*65]。
2⃣ 先端コンピューティング開発センター(C-DAC)🍛
❶ 印の電子情報技術省(MeitY)傘下のC-DACは、フィンランドQuantroloxと基本合意書を締結したことを発表(25年9月3日)[*129]。印における量子コンピューティング・エコシステムの構築が目的。具体的には、印独自の量子ソフトウェア・スタックの共同開発、様々な量子コンピューティング・プラットフォーム向けのチューニングおよび特性評価ツール開発に重点を置く。
❷ 蘭Quantware(H/Wベンダー:超伝導)と基本合意書を締結したことを発表(25年9月15日)[*133]。(インド)国産の極低温エレクトロニクス及び超伝導量子ハードウェア(プロセッサ)の開発が目的。
🍛 IT及びエレクトロニクス関連分野の研究開発を行う研究開発機関で守備範囲は広い。印における半導体設計エコシステムを育成することも使命とされている。また、米国の量子コンピューター開発スタートアップであるリゲッティ・コンピューティングとも基本合意書を締結している(25年9月2日)[*130]。量子古典ハイブリッド・コンピューティング・システムの共同開発を目的とする。

(4) 豪州
1⃣ Q-CTRL
❶ 英国の中小企業研究イニシアチブ(SBRI)量子触媒ファンド・コンペティションの優勝者として、£1milを獲得した(24年2月5日)[*34]。列車スケジュールにおける量子最適化ソリューションを探索し、英運輸省に提供する。当該ソリューションは、英オックスフォード・クォンタム・サーキット(モダリティ:超伝導方式)のハードウェア上で検証される(予定)。
❑更新❑ Q-CTRLは、列車スケジュールにおける量子最適化ソリューションを探索した結果、「鉄道運行計画🦘1の作成が、特に影響力の大きいユースケースであると特定した」と発表(日付は不明?)[*111]。該社製品Fire Opalの量子誤り抑制技術により、量子コンピューターで解ける「鉄道運行計画作成の規模が、6倍に拡大する」と主張。量子ビット数の増加傾向(具体的には、IBMのロードマップ)を鑑みると、28年には、従来手法(古典的手法)を超えるインパクトを与えられる、と予測している。つまり、「実質的な」量子優位性が28年に実現する、と主張する。
🦘1 鉄道運行計画の主要要素は、駅間経路作成と列車ダイヤ作成である。どちらも、数理的には、最大充足可能性問題(MaxSAT)と呼ばれる最適化問題に変換され(て解かれ)る。
❷ 「ゲート方式量子コンピュータが、離散最適化問題で、量子アニーラよりも優れた性能を発揮した例を初めて示した」論文を発表した(24年6月3日)。詳しくは、こちら
❸ 該社パフォーマンス管理ソフトウェアFire Opalが、4つの量子コンピューティング・プラットフォームに、ネイティブに統合されることを発表(24年9月10日)[*68]⇒Fire Opalネットワーク。4つ=IBM、米Rigetti、英オックスフォード・クォンタム・サーキッツ、豪Diraq。前3社のモダリティは超伝導。
✚ QCentroidが、Fire Opalネットワークに加わったと発表(24年9月24日)[*72]。QCentroidは、Quantum as a Serviceプラットフォーム提供企業。
➍ ネットワークの異常検出タスクにおいて、従来ソルバーに比べて成功率を3倍にした、と発表(24年12月10日)[*88]。ネットワークの異常検出タスクは、最大カット問題という最適化問題に置き換えられる。セットアップは、Q-CTRLの量子誤り抑制ソフトウェアFire Opalと米IonQのH/W(AWS経由のアクセス)。ボリュームは90分間にネットワーク・パケット180万以上。
❺ 米NVIDIAおよび英Oxford Quantum Circuits(H/W:超伝導)と提携し、NVIDIA GPUと高速ライブラリを活用することで、量子誤り抑制タスクの計算コストを、1/50万に削減できることを実証した、と発表(25年3月20日)[*102]。量子回路を最適化すると忠実度が10倍以上向上する(らしい)。しかし、この最適化計算のコストは量子ビット数に対して指数関数的に増加する。GPUを使った並列計算で、計算コストを劇的に下げたという話。
❻ リソース・オーバーヘッドが大きな量子誤り訂正を使わずに、量子計算の忠実度を高められることを実証した[*112]。仕組み自体はオーソドックスである。補助量子ビットを、量子誤り検出用フラグを立てる量子ビットとして使い、フラグ付量子ビットは破棄するという仕組み。「使用する補助量子ビットが少なく、破棄率も低い」プロトコルを開発・実証した、という論文。長距離CNOTゲート実装並びにGHZ状態準備を、対象として、実証した。
❼ 英Oxford Quantum Circuits🦘2、米NVIDIAとともに、量子回路のコンパイルを約600倍高速化するアルゴリズムを開発した、と発表@arXiv[*132](25年9月1日=ver2)。数学的に言うと、部分グラフ同型性判定アルゴリズムを高速化した。なお、部分グラフ同型性判定は、NP完全問題である。従来、部分グラフ同型性判定アルゴリズムとして使われてきた「バックトラッキング探索を用いたアルゴリズム」🦘3は、並列化が困難であった(のでGPUの恩恵を預かれなかった)。
 新しく開発したアルゴリズムΔ-Motifは、驚くべきことに『サブグラフ同型性を、データベース・プリミティブに変換』する。言葉を替えると、Δ-Motifでは、グラフを小さな構成要素(モチーフ)に分解し、(リレーショナル)データベースにおけるデータ操作アルゴリズムを使って、部分グラフ同型性判定を行う。NVIDIA RAPIDS🦘4(及びpandas🦘5)を使用してデータ操作することで、部分グラフ同型性判定を大幅に並列化できた。
🦘2 量子コンピューター開発スタートアップ。モダリティは、超伝導(トランズモン)。
🦘3 代表的には、VF2アルゴリズムが知られている。VF2アルゴリズムの計算量はO(n!)。nは、グラフのノード数。ただし、高度な枝刈りや前処理が組み込まれているため、実際には、十分高速と認識されている。
🦘4 大規模データの高速操作を(も)可能とするオープンソース・ライブラリ。
🦘5 表形式データを効率的に操作できるオープンソース・ライブラリ。
2⃣ Iceberg Quantum
❶ プレシードラウンドでA$2mil(US$1.26mil)を調達した、と発表(25年3月24日)[*104]。Iceberg Quantumは2025年設立で、「量子アーキテクチャ企業」を名乗っている。具体的には、量子低密度パリティ検査(qLDPC)符号を開発するらしい。Psi Quantum(モダリティ:光)とパートナーシップ契約を締結している。
❷ 英オックスフォード・イオニクスとパートナーシップ契約を締結したことを発表(25年7月17日)[*118]。オックスフォード・イオニクスは米IonQにより買収されている(25年6月)。

(5) 中国 
 米NASDAQ上場企業であるWiMi Hologram Cloudは、マルチ・チャネル・データを処理できる量子古典ハイブリッド畳み込みニューラルネットワークのリリースを発表した(26年1月5日)[*157]。浅い量子回路で量子畳み込みを実現したとする。具体的には、{1量子ビット回転ゲート、パラメータ付き制御ゲート、インターリーブ(交互に配置)されたSWAPゲート、弱いエンタングルメント層、データ・チャネル間に相互作用をもたらす量子ゲート}、で量子回路を構成する。ノイズに対する堅牢性を維持しながら、複雑な関数を表現できる、と主張。つまり、より優れた量子特徴量を抽出できる、と主張する。
 なお元々、WiMiは拡張現実(AR)技術を開発する企業。

 ハードウェアはこちら。通信はこちら

Appendix A 汎関数繰り込み群+ニューラルネットワークの衝撃
 伊ボローニャ大准教授・米フラットアイアン研究所[*A-1]計算量子物理学センター客員研究員ドメニコ・ディ・サンテ他は、22年9月21日、次の内容を発表した[*A-2]、[*A-3]:t-t'ハバードモデルに汎関数繰り込み群(FRG)を適用して得られる、10万個の方程式をニューラルネットワークを用いて、4つの方程式に圧縮することに成功した。遠くない将来、この発表のような(内容を把握することが難しい)トピックスであっても、人工知能が解説記事を書いてくれるだろうか?という疑問に答えるために、解説記事を作成した。ネット上で情報収集し"特徴量"を抽出。特徴量を基に、敵対的生成ネットワークを使って解説記事を作成というスタイルで、遠くない将来可能だと感じた。
 繰り込み群は、元々場の量子論から発生した概念である。ウィルソンによって物性物理において導入された後、物理学の幅広い分野において、階層構造を説明する重要な概念となった。高エネルギー領域からスタートし、低エネルギー領域の物理を記述する”有効モデル”を導くことが、繰り込み群の行動指針である。
 ここで、数学的な定義を行う。「粗視化」と「スケール変換」という二つの操作を、繰り込み変換という。繰り込み変換の成す群(正確には、半群)を、繰り込み群という。尚、ややこしいことに、繰り込み群(RG)には、摂動論におけるRGと非摂動論におけるRGがある。さらに、ややこしいことに、後者の呼び名は様々である:ウィルソン繰り込み群、非摂動繰り込み群、厳密繰り込み群、実空間繰り込み群、そして汎関数繰り込み群。
 繰り込み群は「粗視化」を行うことで、低エネルギー領域の有効モデルを得るのであった。粗視化の過程における有効作用の変化は、汎関数微分方程式で記述される。この汎関数微分方程式は、繰り込み群方程式と呼ばれる。繰り込み群方程式の定式化は、3種類が知られている:Wegner-Houghton方程式、Polchinski方程式、そしてWetterich方程式である。前2者は、有効作用にウィルソン有効作用を用いる。一方、Wetterich方程式は、ルジャンドル有効作用(平均有効作用)を用いる。無限小生成子のルジャンドル変換によって作られるためルジャンドル有効作用と呼ばれる。低エネルギー領域では、二つの有効作用は、ニアリーイコールである。
 繰り込み群方程式は汎関数微分方程式であるから、そのままでは厳密に解けない。そこで、まずテイラー展開を行って、無限個の結合した方程式「フロー方程式」の形に変換する。その後で、truncationを行って有限個の方程式に縮小させる。(繰り込み群方程式の文脈で言う)truncationとは、a)有効ポテンシャルを低次で打ち切る、b)高次の頂点関数を無視する、c)頂点関数の運動量依存性を無視する、等を一括りにした近似である。フロー方程式を偏微分方程式系ではなく、常微分方程式系に帰着させることを考えると、Wetterich方程式を繰り込み群方程式の定式化として用いると楽である。汎関数繰り込み群は、1993年Wetterichによって導入された解析手法であり、Wetterich方程式を出発点にする。
 ここでも、若干ややこしいが、繰り込み群方程式をフロー方程式と呼ぶこともある。テイラー展開した結果をフロー方程式と呼ぶほうが、混乱を避けられるだろう。
 冒頭の話題に戻る。ハバードモデルとは、強相関電子系を記述するミニマムモデルである。具体的には、①フェルミ準位近傍(=低エネルギー)にあるd軌道(バンド)のみを取り出して、他のバンドを無視した上で、②本来は長距離である電子間のクーロン相互作用を、短距離に制限して加えた、有効模型である。強相関電子系では、電子間のクーロン斥力が重要であり、最も強く効きそうな最短距離での反発力のみを考慮しているから、ミニマムモデルである。強相関電子系でも、f電子を扱う場合は、周期(的)アンダーソンモデル(アンダーソン格子モデルとも言う)を用いる。不純物模型=アンダーソンモデルにおいて、f電子を周期的に配置した模型が、周期(的)アンダーソンモデルである。
 もっともt-t'ハバードモデルは、正確には最近接格子に加えて、第二近接格子からの相互作用も考慮したハバードモデルである。このt-t'ハバードモデルにFRGを適用し、適当なtruncationを施すと、有限個のフロー方程式(常微分方程式系)が得られる。
 先にあげた論文[*A-2]は、精度を犠牲にしないt-t'ハバードモデルでは、10万個ほどのフロー方程式が必要と考えられていたが、それを4つに激減したという衝撃的な結果を示した。別の意味で10万個も衝撃的であるが、頂点関数の運動量依存性をフルに取り込むと、計算量が10億倍から1兆倍程度増えるという。10万個でも十分マイルドな動的近似である。今後、このNNでフロー方程式の数を減らすというアプローチが、相互作用を長距離にしても成立するかにチャレンジするようである。
 10万が4つに激減したことの、物理的な意味付けは、どのようなものだろうか?・・・AIは、その問題提起まで可能であろう。遠くない将来という時間軸では、物理的な意味まで答えることは、さすがに難しいだろう。

Appendix B キラーアプリと目されているケースでの量子コンピュータQCの利点
【気象・気候分野1】[*A-4]
(1) 気候モデリングと天気予報
 ①課題・・・シミュレーションと予測モデルの複雑さと解像度の増大に、計算ニーズを合致させる。
 ②QCの利点・・・シミュレーションベースで流体力学を解決するより大きな機能は、モデルの改善を促進し、予想される将来の条件をより明確に理解し、緩和と適応計画を改善することができる。
(2) グリッドの安全性と回復力
 ①課題・・・未来の発電設備が堅牢で信頼できることを確実にする。
 ②QCの利点・・・気象モデルと気候モデルの強化により、インフラストラクチャをより安全に配置できる。また、風力発電所などの新しい発電施設の設計を改善するために量子最適化を適用できる。
(3) グリッド管理
 ①課題・・・需要と供給が一致するように、リソースをスケジュールして、ディスパッチ(給電指令による各発電所の出力制御)を実施する。特に、風力発電と太陽光発電等の再生エネルギー由来の配電が増加するにつれて、重要になっている。
 ②QCの利点・・・量子最適化は、費用対効果の高い管理ソリューションの作成に役立つ。また、運転条件を改善する(例えば、交流の最適潮流計算問題を解く)ことにより、消費者価格を下げることができる。
‖参 考:グリッド管理への量子アルゴリズム適用事例‖ 
❚事前整理❚ 
 グリッド管理は、混合整数計画問題(MIP)として定式化される。形式の上では、基数制約(カーディナリティ制約)を課したポートフォリオ最適化と同じである。MIPに対する古典アルゴリズムの第1選択肢は、通常、分枝限定法(ブランチ・バウンド・アプローチ)である。MIPに対する量子アルゴリズムは、計算ステップ数に対して、2次加速を実現できると信じられている。しかし、遅い量子クロック速度をカバーした上で『計算時間で2次加速を実現できるか?』は未解決。加えて、入力(量子状態準備)・出力(読み出し)におけるオーバーヘッド問題も未解決。つまり、エンドツーエンドで量子加速が得られるかは未解決。
❚事  例❚
㊀ 独でQugridsプロジェクト(23年11月1日~)が立ち上がった[*A-15]。再生可能エネルギーの供給を完全にサポートできるように(ディスパッチ)することが目的。ユーリッヒ研究センター、アーヘン工科大学、フラウンホーファー応用情報技術研究所、ミュンスター大学が参加し、ノルトライン=ヴェストファーレン州文化科学省から€3milの資金援助を受ける。
㊁ 英では、リバーレーン(S/W)が主導するエネルギー・グリッド最適化プロジェクトが行われている(フェーズ1:23年10月~12月、フェーズ2:24年1月~)。フェーズ2の契約金額は、£1.2mil。[*35]及び[*36]参照
㊂ 米では、「量子技術が、エネルギー・グリッド近代化に、どのように使用できるか?」を調査するため、オークリッジ国立研究所とIonQ(H/W:トラップイオン)が協力することが発表された(24年4月16日)[*A-20]。ここで言う近代化とは、主に、最適化とセキュリティの強化を指している。
👉 ハイブリッド量子古典コンピューティング・アプローチが、発電機起動停止計画問題(Unit Commitment Problem:UCP)に対処できることを実証した、と発表(25年7月31日)[*A-23]。UCPとは、「時間帯ごとに与えられた電力需要を満たすように、各設備の起動停止スケジュール及び出力を求めるスケジューリング問題」である。UCPはNP完全であり、解法として、「動的計画法、分枝限定法、ラグランジュ緩和法、メタヒューリスティックス」などが適用されている。再生可能エネルギー源の系統接続が進むにつれ、「従来の計算手法では効率的なスケーリングが困難になっている」とされる。今回、「24の時間帯と26の発電機にわたる発電スケジュールに関して、様々なソリューションを発見した」とする。
㊃ 西では、マルチバース(S/W)が、電力網上のバッテリー配置最適化において、量子アルゴリズム・量子インスパイアード・アルゴリズムの優位性を確認したと発表(24年7月11日)[*59(再)]。
㊄ 日本では、グリッド(S/W)と電気通信大学が共同で、グリッド最適化プロジェクトに挑む(24年9月10日[*A-21])。初期仮説検証フェーズの実施期間は2024年7月〜2025年10月で、ステージゲートを通過した場合、1.5年の本格研究フェーズに進む。量子生成モデルでシナリオを大量に(100万通り以上)作り、QAOAアルゴリズムで最適化計算を行う。
㊅ 米インフレクション(旧ColdQuanta、H/W:中性原子)は、量子アルゴリズムを活用することで「グリッド管理の精度と速度を高め、運用コストを削減する」ことを目指すプロジェクトで、US$6.2milを獲得した(25年3月13日)[*A-22]。米エネルギー省のARPA-E(Advanced Research Projects Agency-Energy)が資金を拠出する。米アルゴンヌ国立研究所・米電力研究所(EPRI)・米国立再生可能エネルギー研究所と協力する。
(4) 量子化学
 ①課題・・・テクノロジーの革新を促進するために、膨大な材料の配列に対する分子スケールの特性とプロセスを評価する。
 ②QCの利点・・・量子コンピューティングは、新エネルギー生産(太陽光電池)、ストレージ(バッテリー)技術の発見と開発を加速し、(例えば、炭素回収で)気候変動緩和のための戦略を改善することができる。

【気象・気候分野2】[*A-9]
 マッキンゼーのイノベーション部門シニアエキスパートであるフィリップ・エルンスト(註:現在は量子光方式量子コンピュータ・スタートアップ、米Psi Quantumの事業開発責任者)[*A-10]とマッキンゼー・デュッセルドルフのパートナーであるニコ・モアは、量子コンピュータが地球温暖化に貢献できると主張する。具体的には、以下5つのリューションによって「2035年までに、7ギガトンの二酸化炭素排出量を削減することができる。そして、それは、1.5℃の気温上昇を維持するのに貢献することができる」、と主張する。5は、相当怪しい。
(1) 太陽電池
 ①課題・・・既存の太陽電池は、コストが高く、変換効率も低い(高めたい)。
 ②QCの利点・・・低コストのペロブスカイト太陽電池は、変換効率が低い。量子コンピュータを使うことで、ペロブスカイト太陽電池の変換効率を、理論限界である40%にまで高めることができる(フィリップ・エルンスト)。
|補 遺|
 米オークリッジ国立研究所(ORNL)は、一重項励起子分裂(英語では、Singlet Fission🍞)を示す効果的な量子シミュレーション方法を考案した[*A-12]と発表した(23年7月28日)[*A-13]。一重項励起子分裂(以下、SF)は、特定の有機分子集合体で生じる、一重項励起子から2 つの三重項励起子が生じる特殊な超高速過程である。励起子増幅過程をうまく応用することで、高効率光電変換セルなどが達成できると提案されている[*A-14]。ORNLの動機も太陽電池の変換効率向上である。
🍞 科学の世界では、Fissionは核分裂を意味することが多いが、ここでは異なる。
❚参考❚
 九州大学の研究者が、「キラルな自己組織化が、一重項励起子分裂の効率化につながることを明らかにした」(24年10月9日)[*77]。
(2) グリーン水素及びグリーン・アンモニア
 ①課題・・・グリーン水素及びグリーン・アンモニアは、製造コストが高い。
 ②QCの利点・・・量子コンピュータで製造方法を最適化することにより、プロセスを大幅に効率化し、排出ガス以下のコストに抑えることができる。
(3) 二次電池
 ①課題・・・電池内部の物理及び化学を正確にモデリングできないため、容量増加等の機能向上が難しい(膨大な時間がかかる)。
 ②QCの利点・・・量子コンピュータを使うと詳細なモデリングを行うことができるため、電池内部の化学反応をより詳細に理解することができる。より詳細な理解は、化学的なブレークスルーを通じて、エネルギー密度を高め、バッテリーで貨物自動車を駆動させ、輸送による排出を削減し、電力網で再生可能エネルギーをサポートすることができるようになる。
(4) 低炭素セメント
 ①課題・・・セメントは製造時に大量のCO2を排出する。セメントの主原料である石灰石は焼成する際に熱分解し、全体の60%に相当するCO2を排出する。残りの40%は、クリンカの焼成や粉砕に使われるエネルギーに由来する。
 ②QCの利点・・・低炭素セメントの材料製造のシミュレーションを行うことで、膨大な量の排出源を解決することができる。また、試行錯誤ではなく、正確なモデリングによって、炭素回収のクラッキングが可能になる可能性がある。
(5) メタン
 ①課題・・・牛のげっぷが主要源であるメタンは、強い温室効果を持つ。100年間で比較したときの温暖化係数で28倍、20年間では約84倍の効果をもつ[*A-11]。
 ②QCの利点・・・牛から排出されるメタンをワクチンで減らすことができるという研究結果がある。量子コンピューターがあれば、このワクチンに最適な分子を、解明することができるかもしれない。
‖参考‖ 二酸化炭素の分離・回収
 PsiQuantumと三菱UFJフィナンシャル・グループは三菱化学グループと共同で、フォトクロミック分子の励起状態をシミュレートする共同プロジェクトを開始すると発表した(24年1月25日)[*A-16]。特に、ジアリールエテンに焦点を当て、励起状態特性の高精度推定が、初期世代の誤り耐性量子コンピューターで実現可能かどうかを判断する。

‖参考‖

Appendix C パリティベース量子計算
(1)全体整理
 墺インスブルック大学の研究者は、量子コンピュータの規模拡張性問題を解決する新しい手法を提案した(22年10月27日)。(米物理学会発行の)フィジカルレビューA(及びレビューレターズ)にて発表[*A-5]された論文に基づいて、内容をまとめた。
 量子CPU(QPU)はメモリと計算ユニットとして同時に機能するため、チップ上の任意のqubit間の接続が必要となる。ゲート方式量子コンピューターでは、この「任意のqubit間の接続(≒qubitの全接続)」が、規模拡張性を制限している。物理的に接続する場合(代表的には超伝導方式)、高密度配線が必要であるから、コスト的・エンジニアリング的に負荷が高い。加えて、配線自体ノイズ源となる。そして量子情報は、SWAP操作を介してチップ上=qubit間、を移動していく。これは、大きなオーバーヘッドである。
 提案された手法とは、量子アニーリング用に設計されたLechner-Hauke-Zoller(LHZ)アーキテクチャに基づいた「パリティベースの量子計算」である。つまり、量子インスパイアード技術とも考えられる。パリティベースの量子計算では、各物理qubitは、複数の論理qubitのパリティを表す。このため、パリティベース量子計算のアーキテクチャでは、物理qubitをパリティqubitと呼称している。パリティベース量子計算では、最近隣qubit間の相互作用のみが必要で、SWAPゲートが不要になる。トポロジカル表面符号が、最近隣のqubitのパリティ・チェック(シンドローム測定)のみで、誤りを判別できることのアナロジーと考えれば、腹に落ち易いかもしれない。

(2)①パリティ・マッピング、②ゲート・シーケンス
 ①パリティベース量子計算では、n 個の論理qubitのヒルベルト空間を、K=n(n-1)/2個のパリティqubitのヒルベルト空間に拡張し、論理qubitペアのパリティを符号化する。n個の全結合論理qubitは、K=n(n+1)/2 個のパリティqubitと、K −n個のパリティ制約で表される。パリティ制約は、符号空間のスタビライザーを生成する。ゆえにパリティ制約は、ビット反転エラーの検出が使用することが可能である。
 ②パリティベース量子計算では、ゲート・シーケンスも当然変わる。例えば、Rzはそのままだが、Rxは1量子ゲート操作に加えてCNOTゲート操作が必要になる。これは、デメリットになりそうだが、そうてはないという。CZシーケンスが、並列化した1量子ゲート操作3回で事足りるからである。つまり量子フーリエ変換(QFT)計算が軽くなる。故に、量子位相推定、HHLアルゴリズム、さらにショアのアルゴリズムを実行する場合に有利であると主張している。

(3)量子誤り訂正
 トポロジカル表面符号を使うスタイルとは、異なる。猫符号によるボソニック符号で量子誤り訂正を実施する、仏Alice&Bobのスタイルと似ている。Alice&Bobは、2階建て方式である。そもそもビット反転エラーが抑制されるようにして、位相反転エラーのみを訂正する。そして魔法状態蒸留が不要なため、計算リソース効率が高い。パリティベース量子計算では、位相反転エラーに対してロバストな「物理」qubitを使うという建付けにする(実際、どうするかは不明)。ビット反転エラーは、スタビライザを生成するパリティ制約を測定することで判別するが、一度に複数のエラーを修正することができるため、効率的ということらしい。魔法状態蒸留も不要と思われる(全操作は、単体回転操作とCNOT操作で行い、Tゲートは使用しないため)。

(4)パリティベース量子計算のまとめ
 メリット・・・高密度の配線不要。SWAPゲート不要。QFT計算が軽い。複数のビット反転エラーの同時訂正可能。魔法状態蒸留は不要(そもそも魔法状態が不要)。測定型量子計算に必要なリソース状態を容易に準備できる。
 デメリット・・・パリティベースでない場合に比べて、初期状態の準備に手間を要する(ただし、過大な手間ではないと思われる)。
 不明点・・・位相反転エラーに対するロバストな物理qubitを用意できるのか。一般に頻出するのは位相反転エラーなので、その対処法は重要であろう。

Appendix D ZX計算
 米シカゴ大学のロバート・ランド准教授は、空軍科学研究所から、3年間で45万ドルの助成金を受けた[*A-6]。その対象は、量子プログラムを表現するためのグラフィカルなシステムであるZX-calculus(ZX計算)の形式的検証に関する研究である。形式的検証とは、あるアルゴリズムが意図したとおりに間違いなく実行されることを数学的に証明するプロセスである。量子コンピューティングのソフトウェア開発者は、すでにPythonベースのZX計算ツールであるPyZXを使っているが、このツールの有効性に、数学的証明は行われていない。
(1) ZX図とZX計算[*A-7]
 ZX計算を説明する前に、ZX-diagram(ZX図)を説明する。ZX-図は、量子回路をグラフィカルに表現したもので、テンソルネットワークの一種である。ZX-図は、量子回路ではなく、任意の線形写像を表現することができ、有用な書き換え規則が備わっている。これらの書き換え規則を総称してZX計算と呼ぶ。
(2) ZX計算の利点
 先に述べた「書き換え」を上手く行うことで、量子回路の最適化を行えることが、ZX計算の(最大の)利点である。つまり一言で言えば、ZX計算ツールは、量子計算の最適化を支援することができる(そして、それは計算規模の拡大につながる)。
  さらには、測定型量子計算や格子手術(表面符号で保護された論理量子ビットを用いて、量子計算を行う枠組み)のような非ユニタリー計算モデルについても、扱うことが可能である。
(3) VyZX
 ランド准教授は、既に、定理証明支援系(Coq)で証明可能なZX計算ツール、VyZXを開発している[*A-8]。LEAN(別の定理証明支援系)とCoqに、ZX計算の基礎となる圏論的量子力学とを結びつける形式化した証明を追加する予定。そうすることで、「より信頼性が高く、エレガントで、効率的な量子ソフトウェアを書くことを可能にする検証済み最適化が実現できる」とランド准教授は考えている。

Appendix E CCCによる量子コンピューティング・レポート
(0) はじめに
 コンピューティング・コミュニティ・コンソーシアム(CCC)は2018年11月に、量子コンピューティングに関するレポート[*A-17]を発表した。それから5年が経過したため、同レポートは、2023年5月にアップデートされ、24年1月に新レポート[*A-18]が公開された。
 CCCは、米国国立科学財団(NSF)が、2006年9月、コンピューティング研究協会(CRA)に設立を発注した組織である。CCCは、「(コンピューティング分野における)潜在的に大きな機会の特定、優先事項の設定、そしてコンピューティング分野の大きな課題の設定を念頭に設計されるビジョニング活動をサポートする」ことを目的に設立された[*A-19]。

(1) 構成 
 [*A-18]の構成(目次)は、1緒言、2アプリケーションとアルゴリズム、3誤り耐性と誤り緩和、4ハイブリッド量子古典システム、5ツールとプログラミング言語、6結言、である。
 2は方針を示している(に過ぎない)。3では、誤り訂正について現在地を知らせる内容となっている。タイトルとは対照的に誤り緩和について、特に技術的な情報はない(誤り訂正と組み合わせることの意義などは有り)。LDPC(低密度パリティ検査)符号や、消失量子誤り訂正符号、について言及がある(詳しくは、触れていない)。
 4では、様々なトピックスが議論されているが、「古典的処理に指数関数的な投資をしても、全体コストが下がるのならば、不毛な台地は問題にならないのでは」という”開き直り”は、斬新な感じ。また、量子誤り訂正符号の復号に関して、注意喚起しているところも、5年間の進歩を感じさせる。

(2) ツールとプログラミング言語
 本稿では、 5ツールとプログラミング言語に焦点を当てたい。いくつかのトピックスが議論されている(例えば、5.1は、高級言語の必要性というタイトルであり、誤り耐性量子コンピューター向けの言語のみならず、NISQ用の言語も必要である、と主張されている)が、以下の3点について、主張を整理した。
1⃣  マルチレベル量子中間表現(Intermediate Representation:IR) 
 5.2では、マルチレベルIRが、量子プログラミング言語のコンパイラ(トランスパイラ)でも必要である、と主張されている。そして、マルチレベル量子IR(MLQIR)を活用するための設計哲学が紹介されている。
㊀ 表現力・・・まず、表現力が重要である。IR は、冗長な行列を明示的に記述する必要なく、量子コンピューティング用の大規模な計算ブロックを、効率的に符号化できなければならない。
㊁ 柔軟性・・・IR は汎用性があり、あらゆる量子プログラムをサポートでき、表現できる計算の種類に柔軟性を持たせる必要がある。
㊂ シームレスなコンパイルを容易にするために、高レベルの IR から低レベルの IR への簡単な低レベル化(lowering)プロセスが必要である。  そして、古典的なコンパイラ・フレームワークであるLLVM(Low Level Virtual Machine)の成功を再現することを期待している。LLVMの成功は、学術開発と産業開発の間の相互協力と整理されており、「MLQIRフレームワークは研究を同様にサポートし、産業用途向けに強化されたフォークまたはブランチ(※)を持たなければならない」と主張している。
※ ソフトウェア開発における「フォーク」とは、あるプロジェクトの成果やソフトウェア・パッケージのソースコードから分岐して、別の独立したプロジェクトやソフトウェアを開発することを指す。ブランチは、フォークの1種で、「バグ修正版と、新機能開発版とを分けて開発する」ことを指す。
2⃣ 検証 
 量子コンパイラとツールは、量子プログラムにバグを引き起こす可能性があるとして、バグ回避に形式的検証の実施を提案している。
 証明支援系から SMT(Satisfiable Modulo Theories)ソルバー([*A-17]では、背景理論付きSATと訳されている)までのツールを使用して、プログラムが特定の仕様に一致することを数学的に(形式化数学に基づいて)証明できる。これを、形式的検証と呼んでいる。
 さらに、「現状、量子コンピューティングに形式的検証を適用するアプローチは、主に、回路レベルのツールに焦点を当てている」が、他にも重要な検証対象があると問題提起する。それは、量子パルスを制御する制御ソフトウェアである。当該制御システムは、量子デバイスごとにゼロから設計される傾向があり、バグ、特に同時実行性のバグが頻繁に発生する(ので、検証はより重要である)。
3⃣ ツール設計の重要原則 
 量子コンピューティングの分野に利益をもたらすための長期使用可能なツールの設計を導くための、重要な原則が提示されている。
❶ 階層的多粒度 
 階層的な多粒度とは、量子コンピューティング・システムのさまざまなレベルの抽象化をモデル化し、シミュレートする機能を指す。たとえば、より低い粒度レベルでは、量子ビット エンジニアリングをガイドするために電子設計自動化(EDA)ツールが必要になる場合がある。より高い粒度では、(シミュレーション)ツールは、ハードウェアの結合グラフとノイズ モデルを考慮して、量子回路全体のハードウェアへのマッピングと実行をモデル化できる必要がある。
❷ モジュール性 
 モジュール性とは、さまざまな量子ハードウェアおよびテクノロジ間でコンポーネントを再利用できる性質を指している。 現状の量子コンピューティングは、さまざまな符号化(例: qubit、qudit、qumodeなど)、モダリティ(例: 超伝導、イオントラップ、中性原子)、プログラミング・パラダイム (例: ゲートベース、測定ベース)を含む多様なハードウェア・タイプによって特徴付けられる。この多様性により、この幅広い可能性に対応して最適化できる、モジュール式で柔軟なシミュレーション ツールの開発が必要となる。モジュール性は、量子コンピューティングを実用化に向けて前進させるために不可欠である。

【尾 注】
*0 矢のパートナー、弓に張る弦のストレージである弦巻を意味している。弦巻は、箙に隣接している。
*1 ①量子アニーリング法とQAOA(近似的量子最適化アルゴリズム)とで、ポートフォリオ最適化の比較をBBVA(ビルバオ・ビスカヤ・アルヘンタリア銀行)と共同で行ったところ、QAOAが勝ったと報告している。BBVAはスペインの大手商業銀行で、競合他社と比べて、量子技術への関心は高い。②自動車部品メーカー最大手である独ボッシュの工場で、量子ベースの最適化アルゴリズムを実装し、エネルギー管理・廃棄物管理を含む、全体効率を向上させるPoC(Proof of Concept)を22年7月に終了させたと発表。③自動車部品の良品・不良品を画像判別するケースで、量子アルゴリズムが古典アルゴリズムを上回ったと発表(22年8月9日)。量子アルゴリズムは、量子サポートベクターマシン(QSVM)とQBoost。比較対象とした古典アルゴリズムは、サポートベクターマシンとAdaBoost。指標は適合率(Precision)、再現率(Recall)、F1スコア。スペインIKERLANとの共同研究。なお、QSVMはIBMのNISQマシンを、QBoostはD-Waveのマシンを使用。参照:https://arxiv.org/pdf/2208.04988.pdf ④フィンランドの量子コンピュータ・ベンダーIQMと「金融、エネルギー、化学、物流における量子ベース・アプリケーション向けの統合ソリューションを開発する」ためにパートナーシップを締結したことを発表(22年8月18日)。⑤総合化学メーカーBASF(独)の外国為替取引最適化プロジェクトのパートナーに選ばれたと発表(22年8月23日)。 ⑥ルノーが主導するスペインの自動車産業コンソーシアムに参加すると発表(22年9月6日)。⑦投資資産数の上限制約(基数制約,Cardinality Constraint)を課した、(インデックス追従)ポートフォリオ最適化問題を量子アニーラで解くハイブリッド量子古典的アプローチを開発したと発表した(22年8月24日)[参照:https://arxiv.org/abs/2208.11380]。インデックスは、Nasdaq100とS&P500である。Nasdaq100は、従来の1/4の株式数で、S&P500は従来の1/10で、同じリターンを得られたとする。⑧加モントリオールに拠点を置く人工知能研究機関Milaと量子機械学習分野でパートナーシップを開始(22年10月25日)。対象セクターは、バイオテクノロジーと製薬からスタートする。⑨印テック・マヒンドラ(DXやビジネス・エンジニアリング・サービスのプロバイダー)と「最先端の量子コンピューティング・ソフトウェアを、テック・マヒンドラの顧客に提供する」ため、パートナーシップを締結したと発表(23年8月8日)。
*2 https://www.nature.com/articles/s42256-022-00509-0 
*3 Observing ground-state properties of the Fermi-Hubbard model using a scalable algorithm on a quantum computer https://www.nature.com/articles/s41467-022-33335-4
*4 https://parityqc.com/universal-parity-quantum-computing
*5 Qubitization of Arbitrary Basis Quantum Chemistry Leveraging Sparsity and Low Rank Factorization https://quantum-journal.org/papers/q-2019-12-02-208/
*6 Simulating key properties of lithium-ion batteries with a fault-tolerant quantum computer https://journals.aps.org/pra/abstract/10.1103/PhysRevA.106.032428
*7 Strongly Contracted N-Electron Valence State Perturbation Theory Using Reduced Density Matrices from a Quantum Computer https://arxiv.org/pdf/2210.05702.pdf
*8 Pranav Chandarana et al.、Digitized-Counterdiabatic Quantum Algorithm for Protein Folding、https://arxiv.org/pdf/2212.13511.pdf
*9 arXivにて22年10月公開された論文(Pablo Bermejo et al.、Variational Quantum Continuous Optimization:a Cornerstone of Quantum Mathematical Analysis https://arxiv.org/pdf/2210.03136.pdf)では「NISQで有用な問題を探索した結果、連続変数の関数を最適化するというタスクが見つかった」と主張。該タスクは、有限個で打ち切った場合の級数展開近似誤差を最小化するというタスクに転用できる。近似誤差が最小である級数展開を行えば、積分計算や微分方程式の求解を、単純な計算で実行することが可能となる。なお計算性能は「標準的な古典的計算ソフトに匹敵する」とのこと。量子状態トモグラフィーを適用して、量子ビットのパラメータを推定する点が面白い。
*10 https://www.global.toshiba/jp/company/digitalsolution/news/2023/0612.html
*11 Jonathan Wurtz et al.、Industry applications of neutral-atom quantum computing solving independent set problems、https://arxiv.org/pdf/2205.08500.pdf
*12 https://www.riverlane.com/blog/introducing-the-riverlane-roadmap-three-basic-steps-to-decoder-success
*13 Ben Barber et al.、A real-time, scalable, fast and highly resource efficient decoder for a quantum computer、https://arxiv.org/pdf/2309.05558.pdf
*14 https://co-design.t.u-tokyo.ac.jp/research/quantum-error-correction/
*15 濵村一航、ニューラルネットワークを用いた量子誤り訂正の復号器の開発、https://www.cc.u-tokyo.ac.jp/public/VOL20/No3/15.201805wakate-hamamura.pdf
*16 https://quantinuum.co.jp/n20230914/
*17 ISMAIL YUNUS AKHALWAYA et al.、A MODULAR ENGINE FOR QUANTUM MONTE CARLO INTEGRATION、https://arxiv.org/pdf/2308.06081.pdf
*18 https://terraquantum.swiss/news/hsbc-and-terra-quantum-explore-real-world-applications-of-hybrid-quantum-technologies-in-financial-services
*19 https://terraquantum.swiss/news/terra-quantum-and-cirdan-capital
*20 Nathan Haboury et al.、A supervised hybrid quantum machine learning solution to the emergency escape routing problem、https://arxiv.org/pdf/2307.15682.pdf
*21 Anita Weidinger et al.、Error Mitigation for Quantum Approximate Optimization、https://arxiv.org/pdf/2301.05042.pdf
*22 https://multiversecomputing.com/resources/multiverse-computing-deploys-quantum-technology-to-predict-floods
*23 https://terraquantum.swiss/news/terra-quantum-nvidia-collaborate-to-unlock-unprecedented-business-performance-with-hybrid-quantum-computing
*24 例えば、https://intelligencecommunitynews.com/sandboxaq-unveils-ai-simulation-collaboration-with-nvidia/
*25 https://kipu-quantum.com/kipu-quantum-joins-the-dlr-qci-project-basiq/
*26 https://multiversecomputing.com/resources/multiverse-computing-pioneers-quantum-digital-twin-project-to-boost-green-hydrogen-production
*27 https://www.riverlane.com/press-release/nqcc-rolls-royce-and-riverlane-partner-to-accelerate-materials-discovery
*28 https://www.fujitsu.com/global/about/resources/news/press-releases/2024/0125-01.html
*29 https://kipu-quantum.com/r-cinfo-and-kipu-quantum-design-an-algorithm-for-optimizing-telecommunication-networks-on-quantum-computers/
*30 https://www.riverlane.com/news/riverlane-and-mit-collaborate-for-u-s-department-of-energy-program
*31 ドイツのコンサルティング・ファーム。従業員の90%が、物理学・数学・コンピュータ サイエンス分野(いわゆるSTEM)出身で、50%が博士号を取得している。
*32 https://www.planqc.eu/news/20240129-planqc_and_dfine_remote_access_platform/
*33 https://qci.dlr.de/en/multiverse-computing-and-single-quantum-support-alqu-quantum-sensor-technology/
*34 https://q-ctrl.com/blog/q-ctrl-awarded-ps1-million-funding-in-uk-quantum-catalyst-competition
*35 例えば、https://industrialnews.co.uk/phasecraft-to-develop-quantum-algorithms-to-optimise-energy-grids/
*36 https://www.phasecraft.io/news/phasecraft-quantum-catalyst
*37 https://www.riverlane.com/news/riverlane-and-rigetti-computing-partner-with-oak-ridge-national-laboratory-to-work-to-improve-hpc-quantum-integration
*38 欠番
*39 https://www.riverlane.com/news/rolls-royce-riverlane-and-xanadu-partner-to-win-canada-uk-quantum-computing-bid
*40 QC Ware社のPromethium用ニュース等サイトhttps://www.promethium.qcware.com/blogから、外部サイトhttps://www.prnewswire.com/news-releases/accelerating-the-development-of-new-molecules---promethium-to-empower-ml-models-for-drug-discovery-using-nvidia-quantum-cloud-302090961.htmlに移動する
*41 https://www.softwareq.ca/news
*42 Borja Aizpurua et al.、Tensor Networks for Explainable Machine Learning in Cybersecurity、https://arxiv.org/pdf/2401.00867.pdf
*43 the 57th Hawaii International Conference on System Sciences 2024
*44 Sascha Xu et al.、Quantum Feature Embeddings for Graph Neural Networks、https://www.quasim-project.de/wp-content/uploads/2023/09/Quantum-Feature-Embeddings-for-Graph-Neural-Networks_HICSS2024.pdf
*45 遅すぎて実用性がないという結論は、量子コンピュータに対する「超高速性の期待」に反している。尤もらしい反論は、「量子コンピュータの高速性は漸近的、つまり、問題のサイズが大きくならないと発揮されない」であるが、それが、どのレベルなのか(そして、本当に古典コンピュータが勝てないのか)不明である。機械学習・深層学習の範疇に、存在する保証は無い。
*46 正確には、Physics-Informed量子グラフ・ニューラルネットワークを使用する(らしい)。Zurana Mehrin Ruhi et al.、A Proposal for Physics-Informed Quantum Graph Neural Networks for Simulating Laser Cutting Processes、https://www.quasim-project.de/wp-content/uploads/2023/09/A-Proposal-for-Physics-Informed-Quantum-Graph-Neural-Networks-for-Simulating-Laser-Cutting-Processes_INFORMATIK-2023.pdf
*47 御手洗光祐、最近の展望|量子コンピュータを用いた機械学習、応用物理 第93巻 第1号(2024)、pp.19-23、https://www.jstage.jst.go.jp/article/oubutsu/93/1/93_19/_pdf
*48 https://www.riverlane.com/news/riverlane-awarded-2-1m-by-horizon-europe-to-develop-the-next-generation-of-its-quantum-error-correction-decoder
*49 https://www.riverlane.com/news/riverlane-awarded-darpa-quantum-benchmarking-program-grant
*50 https://www.nict.go.jp/press/2024/05/09-1.html
*51 https://www.riverlane.com/news/riverlane-and-alice-bob-join-forces-to-accelerate-quantum-error-correction
*52 https://www.francequantum.fr/session/49e02406-4909-ef11-96f5-000d3a29980a/aqadoc-distributed-quantum-algorithms-for-the-energy-sector
*53 https://www.quantumherald.com/news/qblox-funding
*54 https://ja.classiq.io/insights/classiq-collaborates-with-bmw-and-nvidia
*55 https://ja.classiq.io/insights/nvidia-rolls-royce-and-classiq-announce-quantum-computing-breakthrough-for-computational-fluid-dynamics-in-jet-engines
*56 https://multiversecomputing.com/resources/eu-funded-ai-boost-project-selects-multiverse-computing-to-develop-and-train-large-scale-ai
*57 https://qunasys.com/news/posts/g5fr1tgucdd
*58 https://www.linkedin.com/pulse/major-breakthrough-quantum-algorithms-qubit-pharmaceuticals-p5tvf ←Qubit Pharmaceuticalsのサイトから直接飛ぶ。
*59 https://multiversecomputing.com/resources/iberdrola-and-multiverse-computing-announce-pilot-project-success-to-optimize-battery
*60 https://kipu-quantum.com/kipu-quantum-acquires-quantum-computing-platform-built-by-anaqor-ag-to-accelerate-development-of-industrially-relevant-quantum-solutions/
*61 https://www.riverlane.com/press-release/riverlane-partners-with-atlantic-quantum-to-advance-quantum-error-correction-on-fluxonium-architecture?types=press
*62 https://www.technologyreview.jp/s/340318/
*63 https://ja.classiq.io/insights/classiq-and-quera-announce-integration-of-neutral-atom-quantum-computers-into-classiq-platform
*64 https://ja.classiq.io/insights/classiq-transforms-quantum-computing-with-qmod-the-first-high-level-language-for-quantum-programming
*65 https://indianstartupnews.com/funding/ai-quantum-software-startup-bloq-quantum-raises-funding-in-a-pre-seed-round-6792165
*66 https://financialpost.com/globe-newswire/infinityq-announces-collaborative-initiative-with-siemens-energy-ventures-to-leverage-quantum-inspired-computing-solutions
*67 https://www.bluequbit.io/bluequbit-quantum-art-receive-bird-foundation-grant
*68 https://q-ctrl.com/blog/q-ctrl-integrates-fire-opal-with-four-leading-quantum-computing-hardware-platforms-to-deliver-unprecedented-capabilities-to-end-users
*69 https://www.ibm.com/quantum/blog/qiskit-functions-catalog
*70 https://qmill.com/en/qmill-raises-4m-in-seed-funding-to-deliver-near-term-industrial-quantum-advantage-via-cutting-edge-algorithms
*71 https://www.qruise.com/news-and-events/news/QM-co-selling
*72 https://q-ctrl.com/blog/q-ctrl-integrates-with-qcentroid-to-enhance-quantum-optimization-workflows-for-customers
*73 https://terraquantum.swiss/news/terra-quantum-and-unilever-collaborate-to-advance-skin-microbiome-research
*74 https://quantumcomputinginc.com/news/press-releases/quantum-computing-inc.-extends-collaborative-agreement-with-los-alamos-national-laboratory
*75 Devanshu Brahmbhatt et al.、An Open-Source Data Storage and Visualization Platform for Collaborative Qubit Control、https://arxiv.org/pdf/2403.14672
*76 https://kipu-quantum.com/quera-computing-and-kipu-quantum-collaborate-to-deliver-cutting-edge-industrial-quantum-solutions-via-planqk-platform/
*77 https://www.kyushu-u.ac.jp/ja/researches/view/1160
*78 https://multiversecomputing.com/resources/multiverse-computing-selected-by-airbus-to-build-gesture-recognition-software-for-fighter-pilots
*79 https://ir.zapata.ai/node/7701/html
*80 https://prtimes.jp/main/html/rd/p/000000022.000117406.html
*81 https://qunasys.com/news/posts/fundraising2024jp
*82 https://ionq.com/news/ansys-and-ionq-are-bringing-the-power-of-quantum-to-the-usd10-billion-dollar
*83 https://multiversecomputing.com/resources/multiverse-computing-launches-singularity-machine-learning-classification-function-in-ibm-s
*84 https://www.nqcc.ac.uk/collaborative-research/
*85 https://qci.dlr.de/en/iqm-germany-supports-qci-quanticom-in-the-simulation-of-strongly-correlated-systems/
*86 Vladyslav Bohun et al.、Scalable and shallow quantum circuits encoding probability distributions informed by asymptotic entanglement analysis、https://arxiv.org/pdf/2412.05202
*87 https://www.riverlane.com/press-release/pasqal-and-riverlane-join-forces-to-achieve-fault-tolerant-quantum-computing
*88 https://q-ctrl.com/blog/enhancing-network-security-with-accenture-federal-services-using-quantum-optimization
*89 https://multiversecomputing.com/resources/multiverse-computing-and-bundesdruckerei-use-quantum-for-data-privacy-and-fraud-detection
*90 https://www.bluequbit.io/seed-funding-for-quantum-advantage
*91 Bernhard Jobst et al.、Efficient MPS representations and quantum circuits from the Fourier modes of classical image data、https://arxiv.org/pdf/2311.07666
 この論文は、第1版が23年11月13日。最新版の第3版が24年11月26日。
*92 https://parityqc.com/parityqc-and-the-university-of-hamburg-launch-project-to-develop-new-quantum-computing-framework-for-personalized-medicine
*93 三宅裕樹、ドイツ各州における政策金融機関の変遷と現状、京都府立大学学術報告(公共政策)第13号(2021年12月)、pp.209~280、https://kpu.repo.nii.ac.jp/record/6286/files/k_13_011.pdf
*94 https://quantrolox.com/news-automated-2-qubit-gate-tuning-in-under-25-minutes/
*95 https://parityqc.com/parity-twine-quantum-algorithm-synthesis-reaching-world-record-efficiency
 論文は、Florian Dreier et al.、Connectivity-aware Synthesis of Quantum Algorithms、https://arxiv.org/pdf/2501.14020
*96 https://www.meetiqm.com/newsroom/blog/iqm-riverlane-and-zurich-instruments-join-forces-to-launch-worlds-first-quantum-error-correction-platform
*97 https://resou.osaka-u.ac.jp/ja/research/2025/20250204_1
*98 とりあえず、ニュースサイト:https://quantumcomputingreport.com/kipu-quantum-and-ibm-introduce-new-optimization-function-in-qiskit-functions-catalog/
*99 https://qunasys.com/en/news/posts/fullmap_en/
*100 https://www.vub.be/en/news/launch-full-map-project-pioneering-future-sus
*101 https://qunasys.com/news/posts/hypertenq_jp/
*102 https://q-ctrl.com/blog/accelerating-quantum-advantage-by-scaling-error-suppression-with-nvidia-and-oqc
*103 https://pr.fujitsu.com/jp/news/2025/03/24.html
*104 https://icebergquantum.substack.com/p/introducing-iceberg-quantum
*105 https://quminex.com/2025/04/15/quminex-uplink/ 下の方に、Pre-seed Investment from QV Studio, and Quantacet, Quantonation.がある。
*106 Unlocking Quantum Advantage with Digital-Analog Quantum Computing(DAQC)、https://kipu-quantum.com/knowledge-hub/blog/unlocking-quantum-advantage-with-digital-analog-quantum-computing-daqc/
*107 https://www.riverlane.com/press-release/riverlane-joins-uk-s-quantum-missions-pilot-to-advance-quantum-error-correction
*108 https://www.classiq.io/insights/classiq-and-wolfram-join-cerns-open-quantum-institute-to-develop-quantum-optimization-for-smart-power-grids
*109 https://www.keysight.com/us/en/about/newsroom/news-releases/2025/0515-pr25-073-keysight-quantum-control-system-embedded-within-fujitsu-and-rikens-world-leading-256-qubit-quantum-computer.html
*110 https://www.prnewswire.com/news-releases/quantum-machines-launches-qualibrate-an-open-source-framework-that-cuts-quantum-computer-calibration-from-hours-to-minutes-302458926.html
*111 https://q-ctrl.com/case-study/accelerating-the-schedule-for-quantum-enhanced-rail
*112 Haoran Liao et al.、Achieving Computational Gains with Quantum Error-Correction Primitives: Generation of Long-Range Entanglement Enhanced by Error Detection、https://journals.aps.org/prxquantum/pdf/10.1103/PRXQuantum.6.020331
*113 https://qunovacomputing.com/news/123
*114 https://www.colibritd.com/blogs-posts/quick-pde
*115 https://www.linkedin.com/posts/qedma_hqc2-quantumcomputing-quantumchemistry-activity-7335645345189629953--1ZB/
*116 https://www.ibm.com/quantum/blog/application-functions-pf2025及びhttps://www.globaldataquantum.com/en/press-release-quantum-computing-to-investment-portfolio-optimization/
*117 https://www.prnewswire.com/news-releases/qedma-raises-26m-with-participation-from-ibm-to-tackle-quantum-computing-errors-and-accelerate-pace-to-quantum-advantage-302497701.html
*118 https://www.iceberg-quantum.com/blog/oxford-ionics-partnership
*119 https://www.riverlane.com/press-release/riverlane-and-oqc-move-toward-ftqc-with-qec-integration
*120 https://resou.osaka-u.ac.jp/ja/research/2025/20250728_1
*121 https://newsroom.kddi.com/news/detail/kddi_nr-680_4047.html
*122 https://www.mitsui.com/jp/ja/topics/2025/1251846_14877.html
*123 https://strangeworks.com/press/strangeworks-acquires-quantagonia-to-create-global-leader-in-applied-ai-optimization-and-quantum-computing
*124 https://kotharcomputing.com/#/press-release
*125 So Hirata、Automated symbolic algebra for quantum chemistry、https://iopscience.iop.org/article/10.1088/1742-6596/46/1/036/pdf
*126 https://qci.dlr.de/en/d-fine-planqc-partner-support-qcmobility-for-more-efficient-and-reliable-rail-transport/
*127 https://qt.eu/news/2025/2025-08-28_eu-gives-unprecedented-access-to-quantum-computers
*128 https://finance.yahoo.com/news/zapata-quantum-completes-first-phase-130000742.html
*129 https://quantrolox.com/news-quantrolox-and-cdac-announce-loi/
*130 https://investors.rigetti.com/news-releases/news-release-details/rigetti-and-indias-centre-development-advanced-computing
*131 https://www.riverlane.com/press-release/riverlane-to-deploy-quantum-error-correction-at-oak-ridge-national-laboratory
*132 Yulun Wang et al.、Δ-Motif: Subgraph Isomorphism at Scale via Data-Centric Parallelism、https://arxiv.org/pdf/2508.21287
*133 https://www.quantware.com/press/quantware-and-c-dac-announce-loi-to-explore-co-development-of-hybrid-quantum-computing-technologies
*134 https://www.qbraid.com/blog-posts/qbraid-awarded-nsf-grant-to-advance-open-source-quantum-software-ecosystem
*135 https://global.fujitsu/ja-jp/pr/news/2025/09/25-02
*136 https://www.phasecraft.io/news/phasecraft-launches-mondrian-quantum-enhanced-optimisation-software-platform
*137 https://qmill.com/en/blog-by-clayton-leite-qmill-sets-a-world-record-in-quantum-circuit-compression
*138 https://www.hpcwire.com/off-the-wire/quantum-elements-launches-ai-native-platform-for-quantum-software-and-hardware-development/#QuantumComputing%20#HPC
*139 https://kotharcomputing.com/#/news/nano-kothar
*140 https://www.keysight.com/us/en/about/newsroom/news-releases/2025/1029_pr25-129-keysight-advances-quantum-engineering-with-new-system-level-simulation-solution.html
*141 https://github.com/Qinara-Inc/Qronos-Benchmark
*142 https://qmill.com/en/another-record-circuit-compression
*143 https://multiversecomputing.com/resources/deepseek-r1-uncensored-full-power-fraction-of-the-size
*144 https://www.bqpsim.com/blogs/vqls-hpc-qc
*145 https://www.horizonquantum.com/updates/news/horizon-quantum-becomes-first-quantum-software-company-to-own-and-operate-a-quantum-computer
*146 https://parityqc.com/parityqc-awarded-contract-by-dlr-to-integrate-quantum-computing-for-next-generation-mobility-solutions
*147 https://algorithmiq.fi/press-release-algorithmiq-and-microsoft-join-forces/
*148 https://www.horizonquantum.com/updates/news/horizon-quantum-to-debut-object-oriented-language-for-programming-quantum-computers
*149 https://www.quantinuum.com/blog/automated-quantum-algorithm-discovery-for-quantum-chemistry
*150 https://www.globenewswire.com/news-release/2025/12/18/3207974/0/en/QubitSolve-Wins-1-2M-NSF-SBIR-Grant-to-Unlock-Faster-More-Affordable-Product-Development-with-Quantum-CFD.html
*151 https://www.iao.fraunhofer.de/en/press-and-media/latest-news/fullstaqd-flagship-project-for-technical-implementation-of-a-comprehensive-quantum-computing-software-stack.html
*152 https://pr.fujitsu.com/jp/news/2025/03/28.html
*153 https://global.fujitsu/ja-jp/technology/research/article/topics/202512-quantum-simulator-challenge
*154 https://qunasys.com/news/posts/quneais_j/
*155 https://www.globenewswire.com/news-release/2026/01/05/3212856/0/en/Viewbix-Inc-Receives-Stockholder-Approval-for-Acquisition-of-Quantum-X-Labs-A-Hub-for-Quantum-Algorithms-Navigation-and-Atomic-Clocks.html
*156 https://app.quotemedia.com/data/downloadFiling?webmasterId=90423&ref=319683925&type=HTML&symbol=VBIX&cdn=3cde755bf944ca688a4d38853ec3d451&companyName=Viewbix+Inc.&formType=PRE+14C&formDescription=Other+preliminary+information+statements&dateFiled=2026-01-05
*157 http://ir.wimiar.com/index.php/News/release_view/id/68
*158 https://investors.zapataquantum.com/news-releases/news-release-details/zapata-and-university-maryland-collaborate-advance-new-paradigm
*159 https://www.haiqu.ai/insights/raise
*160 https://www.fujitsu.com/uk/news/pr/2026/01/fujitsu-and-sc-ventures-announce-roadmap-for-qubitra-technologies.html

*a クランチベース等の2次情報には、誤りが散見されるので、該当組織のWebサイト等で可能な限り確認した。As of 26年1月(適宜アップデートする)
*b フランス国立工芸院, フランス国立科学研究センター, テキサス大オ-スチン校, ソルボンヌ大、ワシントン大
*c https://techtarget.itmedia.co.jp/tt/news/2204/05/news02.html
*d 格子ボルツマン法は、ボルツマン方程式を粗視化したナヴィエ・ストークス方程式ではなく、ボルツマン方程式を直接、離散的に解く手法。ボルツマン・マシンと直接の関係はない。
*e https://arstechnica.com/science/2023/01/companies-are-relying-on-quantum-annealers-for-useful-computations/
*f https://www.entropicalabs.com/post/implementing-real-world-optimisation-use-cases-in-state-of-the-art-quantum-devices
*g https://www.extremetech.com/computing/nvidia-gpus-are-now-running-quantum-jet-engine-simulations

*A-1 "最も賢い億万長者"チャールズ・サイモン(と妻)が設立したサイモンズ財団が設立した研究所。
*A-2 Domenico Di Sante et al.、Deep Learning the Functional Renormalization Group、Phys.Rev.Lett.129,136402 –Published 21 September 2022 (https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.129.136402)
*A-3 https://www.simonsfoundation.org/2022/09/26/artificial-intelligence-reduces-a-100000-equation-quantum-physics-problem-to-only-four-equations/
*A-4 https://eos.org/features/how-quantum-computing-can-tackle-climate-and-energy-challenges
*A-5 M.Fellner et al.、Universal Parity Quantum Computing、PHYSICAL REVIEW LETTERS 129,180503(2022) https://journals.aps.org/prl/pdf/10.1103/PhysRevLett.129.180503
*A-6 https://www.eurekalert.org/news-releases/975028
*A-7 https://pyzx.readthedocs.io/en/latest/faq.html
*A-8 https://arxiv.org/abs/2205.05781
*A-9 https://www.itpro.co.uk/technology/369845/how-quantum-computing-can-fight-climate-change
*A-10 リンクトインのプロフィールを見ると、日本が大好きらしい。独ハンブルク大学で博士号取得(実験物理学)。Psi Quantumは、Qlimateという気候変動に特化した量子ソリューションを提供する子会社を設立しているから、プロモーション臭が、やや漂うか。
*A-11 https://www.nies.go.jp/whatsnew/20200806/20200806.html
*A-12 Daniel Claudino et al.、Modeling Singlet Fission on a Quantum Computer、https://pubs.acs.org/doi/10.1021/acs.jpclett.3c01106?ref=pdf
 なお、上記論文で重要な役割を果たしているPeeters–Devreese–Soldatovエネルギー汎関数については、Daniel Claudino et al.、Improving the accuracy and efficiency of quantum connected moments expansions、https://iopscience.iop.org/article/10.1088/2058-9565/ac0292/ampdfを参照。
*A-13 https://www.ornl.gov/news/researchers-use-commercial-quantum-computer-identify-molecular-candidate-development-more
*A-14 宮田潔志、特集|支部発 話題欄 7| 一重項励起子分裂研究の現状と課題 基礎分子科学と応用可能性の観点から、化学と工業 Vol.75-4 April 2022、https://www.chemistry.or.jp/journal/ci22p274.pdf
*A-15 https://www.fz-juelich.de/en/news/archive/announcements/2023/nrw-researchers-to-exploit-quantum-technologies-for-energy-grids
*A-16 https://www.hpcwire.com/off-the-wire/psiquantum-leads-the-way-in-quantum-computing-for-climate-tech-with-new-partnership-with-mitsubishi-groups/
*A-17 ”公式”和訳版が公開されている。https://www.qmedia.jp/next-step-of-qc/ 
*A-18 5 Year Update to the Next Steps in Quantum Computing Report、https://cccblog.org/wp-content/uploads/2024/01/5-Year-Update-to-the-Next-Steps-in-Quantum-Computing.pdf 
*A-19 NICT(情報通信研究機構)ワシントン事務所、アメリカ合衆国における新世代ネットワークに関する研究開発動向および連邦政府におけるICT 研究開発動向に関する調査、2010年3月、https://www.nict.go.jp/global/lde9n2000000bmhf-att/re1003_2.pdf
*A-20 https://ionq.com/news/oak-ridge-national-laboratory-collaborates-with-ionq-to-drive-critical
*A-21 https://gridpredict.jp/news/20240910
*A-22 https://www.infleqtion.com/news/infleqtion-secures-62m-arpa-e-award-to-advance-quantum-powered-energy-grid-optimization
*A-23 https://ionq.com/news/ionq-partners-with-oak-ridge-national-laboratory-demonstrating-quantum-power

◆参考資料◆
高島宏和、静的近似を超えた汎関数くりこみ群法と2次元ハバード模型への応用 
奥西巧一、Wilson の数値くりこみ群とエネルギースケールの選択性、数理解析研究所講究録第1705巻 2010年 203-211
青木健一、場の理論における非摂動くりこみ群、数理解析研究所講究録1134巻2000年61-69
住淳一、「量子場の理論の新しい展開」 非摂動くりこみ群の異なる定式化の間の関係について
田崎晴明、くりこみ群とはなにか 


お問い合わせ
  

TOP