表示
超・人工知能研究所 Super AI Research Lab トップへ超・人工知能研究所AI Research Lab / ぱそ太郎工事中

since
平成38年9月29日

← 検索結果に戻る

LLMの回路案を独立評価器で選別、可逆量子回路の演算数と量子ビット数を削減

LLM-Guided Quantum Circuit Discovery

保存した記事を見るこのブラウザに保存します。無料会員で端末間の同期・フォルダ整理
原論文の図

LLM-Guided Quantum Circuit Discoveryの原論文から掲載した図です。細部はクリックして拡大できます。

原論文の図の説明を読む

Figure S1: The Reed–Solomon decoder. (a) Measured forward Toffoli cost per step: one cycle of the 222-cycle synchronized EEA baseline of Khattar et al. [13] , or one round of our 70-round BM decoder. (b) Locator degree (top) and number of stored discrepancies (bottom) by round, across 20,000 samples drawn from the DQI input distribution, with one sample highlighted; the dashed line is the worst-case degree bound min ⁡ ( r , 35 ) \min(r,35) . The right-hand panels show the final locator-degree distribution and the distribution of maximum discrepancy-stack depth. Inputs in the hatched region need more than the one allocated stack entry and may produce a wrong sign; this occurs with probability 1.0 × 10 − 4 1.0\times 10^{-4} .

出典:LLM-Guided Quantum Circuit Discovery / arXiv ↗

概要

  • LLMが高水準のPython記述で量子回路を提案し、独立した評価器が正しさと資源量を検査する。
  • 異なるアルゴリズム系統を探索し、良い候補の設計を他系統へ共有して局所的な改善に留まることを避ける。
  • 八課題のうち七課題で既存手法よりToffoli数と量子ビット数をともに削減し、残る課題では新しい可逆構成を得たと報告。
補足:編集した模式図で仕組みを確認する

VISUAL EXPLAINER

図でつかむ、LLM-Guided Quantum Circuit Discoveryの仕組み

左から右へ読む
  1. 01回路の要求仕様
  2. 02LLMが候補を記述
  3. 03正しさと資源を独立検査
  4. 04良い構造を反復改善

原論文の説明をもとにした模式図です。処理の細部は省略しています。

研究の背景

量子計算で古典的な関数を実装するときは、通常のプログラムと同じように途中結果を上書きして捨てられない。計算を元へ戻せる可逆性や、補助量子ビットを片付ける処理が必要になり、効率の良い古典手法がそのまま使えるとは限らない。

本研究は、この制約を含む回路設計をLLMと評価器の反復で探索する。言語モデルの説明を正しさの証拠とせず、実行可能な候補の動作と資源を別に測る。単なるゲートの並べ替えを超えた計算構造の発見が対象である。

手法

人が用意した動作仕様から、LLMは高水準Pythonインターフェースで回路を提案する。再利用する関数や制御構造を表せるため、ゲート列を少しずつ変えるだけでなく、アルゴリズム全体の構成を修正できる。評価器は許された演算を使って入力状態を追跡し、正しさと資源コストを返す。

コストはToffoliゲート数と最大量子ビット数の積で順位付けする。Toffoliは量子回路の重要な論理演算で、その数は資源負担の一つの目安になる。異なるアルゴリズム系統を別々に改善し、強い候補を共有することで、一つの初期構造へ探索が固定されるのを避ける。

新規性

LLMを特定の回路部品の選択器に留めず、可逆性を満たす計算の構造を提案する役割へ使う。独立した評価器が各案の動作と資源量を確認できることが、この自由度を支える。

発見された工夫には、分岐ごとの重い演算をデータの入替えと共通演算へ置換することや、逆計算に必要な分岐履歴を現在状態から復元することがある。処理履歴をすべて保存する設計から離れる点が特徴になる。

従来手法との違い

数値計算、化学、最適化、量子シミュレーション、整数論を含む八課題で、既存の資源効率の良い回路と比較した。著者らは七課題でToffoli数と量子ビット数を同時に削減したと報告する。

残る素体上の逆元計算では、新しい可逆アーキテクチャによりdivstepsという古典手法を実用的な資源配分へ移した。演算数だけを最小化した結果と、演算数・ビット数の交換関係を改善した結果を区別する必要がある。

実験結果

評価対象は、古典関数を量子状態に対して可逆的に作用させる回路である。許される演算の性質により、選んだ入力に対する振る舞いを全振幅の大規模シミュレーションなしに追跡でき、資源も数えられる。

一部の設計では、課題が許す小さな失敗確率を利用して稀な入力向けの資源を減らす。したがって改善量を見る際は、完全正確な条件か誤りを許す条件かをそろえる必要がある。すべての改善を無誤り計算の結果として扱うことはできない。

応用の可能性

編集上の応用案 · 論文が実証した用途とは区別しています。

編集上の応用案は、検証可能な計算部品を持つ研究開発での設計探索である。要求仕様と独立した試験器を入力側に用意し、LLMの候補から資源の少ない実装と検証記録を出力する。

量子回路に限れば、既存の算術部品を置き換える前に、補助ビットの後始末や許容誤りの条件も表にする。説明が説得的な候補より、同じ仕様で資源を減らせた候補を専門家が追試する運用が考えられる。

応用先の候補からNauhに相談できます。

導入時の検証

導入時の検証案 · 対象データでの再評価が必要です。

導入時の検証案では、小さな算術課題を選び、既存回路を基準にして同一の正しさ検査と資源計数を適用する。LLMの候補は出力だけでなく、補助状態が期待どおり戻るかも確認する。

小さい入力では網羅検査を行い、大きい入力では境界例と別の検証手段を組み合わせる。探索予算を固定して改善量を記録し、誤りを許す設計は失敗条件を別途評価する。試験での合格と一般の数学的保証を分けて管理する。

限界と課題

本研究で扱う回路と評価器は、効率的に検査できる構造を利用している。任意の量子アルゴリズムや未知の物理問題へ同じ探索がそのまま拡張できるという結果ではない。

編集上の確認点は、Toffoli数と量子ビット数の積が実際の計算基盤の費用をどこまで表すかである。論理回路の資源削減は実機での量子優位の実証とは異なり、誤り訂正や配線、実行深さなどを含めた追加評価が必要になる。

応用先の候補
研究内容と応用案に基づく分類です。業界での導入実績を示すものではありません。

出典

元のタイトル・要旨を確認する(英語)

Discovering state-of-the-art quantum circuits with large language models

Significant efforts are currently being directed toward the implementation of large-scale quantum information processors, but realizing useful quantum advantage also requires the development of efficient quantum algorithms. While for many practical problems the dominant resource costs are associated with a small set of computational primitives, optimizing them in the quantum setting presents unique challenges, including a reversibility constraint absent from ordinary classical computation. Here we introduce an evolutionary framework in which large language models (LLMs) propose circuit designs and an independent evaluator verifies and scores them. We apply this framework to tasks spanning numerical computation, chemistry, optimization, quantum simulation, and number theory. In seven of the eight tasks, the discovered circuits significantly reduce both Toffoli and qubit counts relative to the state of the art. In the eighth, the search discovers a new reversible architecture for prime-field modular inversion. By handling reversibility differently, the architecture makes divsteps -- a classical algorithm previously impractical for reversible integer arithmetic -- viable and substantially improves the Toffoli-qubit trade-off for modular inversion. These results open the door for evaluator-guided LLM co-design of new algorithmic structures for quantum computation.

論文本体の取得範囲に基づく解説。AIが作成した未校閲の記事です。性能の数値は著者の評価条件に依存します。応用例と検証計画は編集上の提案です。収集:2026-10-17