論文の概要: Oracle Synthesis Based on X-Map Decision Diagrams
- arxiv url: http://arxiv.org/abs/2609.20854v1
- Date: Wed, 26 Aug 2026 07:48:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 05:09:55.68845
- Title: Oracle Synthesis Based on X-Map Decision Diagrams
- Title(参考訳): X-Map決定図に基づくOracleの合成
- Abstract要約: ブール関数に対するX-Map決定図(XMDD)と呼ばれる新しいコンパクト表現を提案する。
本手法は, ほぼすべてのテストケースにおいて, 最先端のアプローチとQiskitよりも優れている。
提案したXMDDベースのフレームワークは、短期およびフォールトトレラント量子コンピューティングにおける実用的なオラクル合成のためのスケーラブルでリソース効率のよいソリューションを提供する。
- 参考スコア(独自算出の注目度): 7.50658267999983
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum oracles act as reversible black-box operators that encode classical Boolean functions into quantum states, enabling efficient function evaluation in quantum superposition. The resource efficiency of oracle implementation is critical to the performance of numerous quantum algorithms. Most state-of-the-art oracle synthesis approaches rely on compact Boolean function representations such as exclusive-sum-of-products (ESOP), yet still suffer from excessive $T$-count and $CX$-count for large-scale functions. In this paper, we propose a novel compact representation named X-Map decision diagram (XMDD) for Boolean functions, which integrates local invertible maps and complement edges to achieve higher compression efficiency. Based on XMDD, we further develop an optimized quantum oracle synthesis algorithm. Extensive experimental results demonstrate that, for Boolean functions with more than seven input variables, our method outperforms the state-of-the-art ESOP-based approach and Qiskit in nearly all test cases, achieving simultaneous reduction in both $T$-count and $CX$-count without an obvious trade-off. Moreover, we show that the performance can be further boosted by employing more optimal variable orderings. The proposed XMDD-based framework provides a scalable and resource-efficient solution for practical oracle synthesis in near-term and fault-tolerant quantum computing.
- Abstract(参考訳): 量子オラクルは古典ブール関数を量子状態に符号化する可逆ブラックボックス演算子として機能し、量子重ね合わせにおける効率的な関数評価を可能にする。
オラクル実装の資源効率は、多数の量子アルゴリズムの性能に不可欠である。
多くの最先端のオラクル合成アプローチは、排他的積 (ESOP) のようなコンパクトなブール関数表現に依存しているが、それでも大規模関数に対する過剰な$T$-countと$CX$-countに悩まされている。
本稿では,局所可逆写像と補間エッジを統合して圧縮効率を向上させる,ブール関数に対するX-Map決定図 (XMDD) という新しいコンパクト表現を提案する。
XMDDに基づいて、最適化された量子オラクル合成アルゴリズムをさらに開発する。
その結果, 入力変数が7つ以上あるブール関数では, ほぼすべてのテストケースにおいて, 最先端のESOPベースのアプローチとQiskitよりも優れており, 明らかなトレードオフのない$T$countと$CX$countの同時削減を実現していることがわかった。
さらに,より最適な変数順序付けを用いることで,性能をさらに向上させることができることを示す。
提案したXMDDベースのフレームワークは、短期およびフォールトトレラント量子コンピューティングにおける実用的なオラクル合成のためのスケーラブルでリソース効率のよいソリューションを提供する。
関連論文リスト
- Modeling and Resource Optimization for Quantum Oracles [6.666331324144536]
オーラクルの形式的記述と正確な量子ゲート複雑性解析を可能にする階層的再帰的合成評価(HRSE)モデルを提案する。
固定量子ビット制約の下でオラクル構造を生成するための適応空間深度トレードオフ(ASDT)アルゴリズムを提案する。
実験の結果、ASDTアルゴリズムは平均量子回路深さをWサイクル法と比較して53.99%削減することが示された。
論文 参考訳(メタデータ) (2026-05-20T16:41:18Z) - BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design [49.50107918295052]
大規模言語モデルに基づくハイパーヒューリスティック(LHH)は、最近、自動設計の効率的な方法として登場した。
この問題に対処するために textbfBEAM (Bi-level Memory-adaptive Algorithmic Evolution) を提案する。
BEAMは既存のLHHよりも著しく優れており、特に最適性ギャップが37.84%減少している。
論文 参考訳(メタデータ) (2026-04-14T15:46:47Z) - An Efficient Quantum Classifier Based on Hamiltonian Representations [50.467930253994155]
量子機械学習(QML)は、量子コンピューティングの利点をデータ駆動タスクに移行しようとする分野である。
入力をパウリ弦の有限集合にマッピングすることで、データ符号化に伴うコストを回避できる効率的な手法を提案する。
我々は、古典的および量子モデルに対して、テキストおよび画像分類タスクに対する我々のアプローチを評価する。
論文 参考訳(メタデータ) (2025-04-13T11:49:53Z) - Almost Optimal Synthesis of Reversible Function in Qudit Model [5.9453200974654195]
我々は,$Theta(d)$(n - 1)$-quditサブ回路を用いて,$A_dn$で偶数置換を合成する方法を提案する。
また,$Oleft(n dn right)$ gatesと1つのアンシラのみを用いた可逆関数の手法を導入する。
論文 参考訳(メタデータ) (2025-01-09T13:44:14Z) - Optimization by Decoded Quantum Interferometry [38.063836468778895]
Decoded Quantum Interferometry (DQI) は、量子フーリエ変換を用いて、復号化問題に対する最適化問題を削減する量子アルゴリズムである。
有限体上の最適適合を近似するために、DQIは既知の古典的アルゴリズムよりも超多項式的なスピードアップを達成する。
論文 参考訳(メタデータ) (2024-08-15T17:47:42Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳(メタデータ) (2022-05-26T20:32:36Z) - Resource Optimisation of Coherently Controlled Quantum Computations with
the PBS-calculus [55.2480439325792]
量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。
我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
論文 参考訳(メタデータ) (2022-02-10T18:59:52Z) - ROS: Resource-constrained Oracle Synthesis for Quantum Computers [0.0]
多くの量子アルゴリズムの中心部分であるオラクル関数に対する完全自動合成フレームワークを提案する。
資源制約付きオラクル合成のためのフレームワーク(ROS)は、ハードウェアリソースの制約に対処するために、各ステップが特別に調整されるLUTベースの階層的手法である。
ROSは、連続する合成ステップを単純化するために設計されたLUTマッパーを組み込み、対応する量子回路で使用されるリソースに応じて各LUTをコスト化する。
論文 参考訳(メタデータ) (2020-05-01T04:11:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。