論文の概要: From Constraint to Code: DQI-Kit -- A Software Framework for Decoded Quantum Interferometry

• arxiv url: http://arxiv.org/abs/2605.16955v1
• Date: Sat, 16 May 2026 12:14:30 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-19 17:57:47.389736
• Title: From Constraint to Code: DQI-Kit -- A Software Framework for Decoded Quantum Interferometry
• Title（参考訳）: 制約からコードへ:DQI-Kit -- Decoded Quantum Interferometryのためのソフトウェアフレームワーク
• Authors: Simon Thelen, Wolfgang Mauerer,
• Abstract要約: 量子技術による厳密な最適化問題を解くためには、選択された量子アルゴリズムと互換性のある形式にドメインの目的と制約を変換する必要がある。 これはしばしば、現在および将来のアプローチに対する潜在的な量子優位性を制限するか、あるいは危険に晒す非効率性とオーバーヘッドをもたらす。 制約付き最適化問題を自動的にMax-LINSATにエンコードするための統一インターフェースを提供するソフトウェアフレームワークであるDQI-Kitを提案する。
• 参考スコア（独自算出の注目度）: 1.1683938179815823
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Trying to solve hard optimisation problems with quantum techniques requires transformations of domain objectives and constraints into formats compatible with a chosen quantum algorithm. This often introduces inefficiencies and overheads that limit or even endanger potential quantum advantage for current and future approaches. To understand and mitigate these inefficiencies, software toolchains are essential for implementing transformations, analysing overheads and eventually selecting optimal transformation paths. Decoded Quantum Interferometry (DQI) is a novel approach that achieves apparent quantum advantage for certain algebraic optimisation problems. It natively operates on Max-LINSAT, which is unusual for combinatorial optimisation, and creates the need for software solutions that alleviate the burden of manually transforming problems of interest into this format. We present DQI-Kit, a software framework that provides a unified, extensible interface for automatically encoding constrained optimisation problems into Max-LINSAT. Users can describe the various types of objectives and constraints that are common in industrial optimisation problems. Our framework converts these into Max-LINSAT instances via a series of problem transformations and computes an estimate of the expected performance of DQI on these instances. We provide an initial analysis of the implemented transformations, discussing inefficiencies and ways to mitigate them. DQI-Kit is the basis for our ultimate goal of establishing a standardised framework that will enable further investigations to identify practical use cases for which quantum advantage with DQI can be achieved.
• Abstract（参考訳）: 量子技術による厳密な最適化問題を解くためには、選択された量子アルゴリズムと互換性のある形式にドメインの目的と制約を変換する必要がある。 これはしばしば、現在および将来のアプローチに対する潜在的な量子優位性を制限するか、あるいは危険に晒す非効率性とオーバーヘッドをもたらす。 これらの非効率を理解し緩和するためには、ソフトウェアツールチェーンは、トランスフォーメーションの実装、オーバーヘッドの分析、最終的には最適なトランスフォーメーションパスの選択に不可欠である。 Decoded Quantum Interferometry (DQI) は、特定の代数的最適化問題に対して明らかな量子優位性を実現する新しいアプローチである。 これは組合せ最適化では珍しいMax-LINSAT上でネイティブに動作し、興味のある問題をこのフォーマットに手動で変換する負担を軽減するソフトウェアソリューションの必要性が生じる。 我々は,制約付き最適化問題をMax-LINSATに自動的にエンコードするための統一的で拡張可能なインターフェースを提供するソフトウェアフレームワークであるDQI-Kitを提案する。 ユーザーは産業最適化問題に共通する様々な目的や制約を記述できる。 我々のフレームワークは、一連の問題変換を通じてMax-LINSATインスタンスに変換し、これらのインスタンス上でのDQIの期待性能を推定する。 実装されたトランスフォーメーションを最初に分析し、非効率性とそれらを緩和する方法について議論する。 DQI-Kitは、DQIによる量子的優位性を実現するための実用的なユースケースを、さらなる調査を可能にする、標準化されたフレームワークを確立するという、私たちの究極の目標の基盤である。

関連論文リスト

• Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers [2.9730678241643815]
  従来の最適化問題を量子解法に自動的に変換するフレームワークが提案されている。 このフレームワークは、ソリューションの妥当性と品質を分析するための手段を提供する。 これは量子コンピューティングソリューションの自動化に向けた大きな進歩を表している。
  論文  参考訳（メタデータ） (2024-06-18T17:56:10Z)
• Measurement-Based Quantum Approximate Optimization [0.24861619769660645]
  近似最適化のための計測ベースの量子コンピューティングプロトコルに焦点をあてる。 我々は,QUBO問題の広範かつ重要なクラスにQAOAを適用するための測定パターンを導出する。 我々は、より伝統的な量子回路に対する我々のアプローチのリソース要件とトレードオフについて論じる。
  論文  参考訳（メタデータ） (2024-03-18T06:59:23Z)
• A Review on Quantum Approximate Optimization Algorithm and its Variants [47.89542334125886]
  量子近似最適化アルゴリズム(Quantum Approximate Optimization Algorithm、QAOA)は、難解な最適化問題を解くことを目的とした、非常に有望な変分量子アルゴリズムである。 この総合的なレビューは、様々なシナリオにおけるパフォーマンス分析を含む、QAOAの現状の概要を提供する。 我々は,提案アルゴリズムの今後の展望と方向性を探りながら,選択したQAOA拡張と変種の比較研究を行う。
  論文  参考訳（メタデータ） (2023-06-15T15:28:12Z)
• Qubit efficient quantum algorithms for the vehicle routing problem on NISQ processors [48.68474702382697]
  時間窓付き車両ルーティング問題(VRPTW)は、ロジスティクス業界で直面する一般的な最適化問題である。 そこで本研究では,以前に導入した量子ビット符号化方式を用いて,バイナリ変数の数を削減した。
  論文  参考訳（メタデータ） (2023-06-14T13:44:35Z)
• Multiobjective variational quantum optimization for constrained problems: an application to Cash Management [45.82374977939355]
  本稿では,変分量子アルゴリズムを用いた制約付き最適化問題の解法を提案する。 我々は、キャッシュマネジメント問題という、金融の極めて関連性の高い現実世界の問題について、我々の提案を検証した。 実験の結果, 実現したソリューションのコスト, 特に局所最小値の回避に関して, 大幅な改善が見られた。
  論文  参考訳（メタデータ） (2023-02-08T17:09:20Z)
• Prog-QAOA: Framework for resource-efficient quantum optimization through classical programs [0.0]
  現在の量子最適化アルゴリズムでは、元の問題を二進最適化問題として表現し、量子デバイスに適した等価コストハミルトニアンに変換する必要がある。 目的関数を計算し、制約を認証するための古典的プログラムを設計し、後に量子回路にコンパイルする。 我々は、このアイデアをトラベリングセールスマン問題やMax-K$-Cutといった最適化タスクに活用し、関連するすべてのコスト対策に関して最適に近い回路を得る。
  論文  参考訳（メタデータ） (2022-09-07T18:01:01Z)
• Adiabatic Quantum Computing for Multi Object Tracking [170.8716555363907]
  マルチオブジェクト追跡(MOT)は、オブジェクト検出が時間を通して関連付けられているトラッキング・バイ・検出のパラダイムにおいて、最もよくアプローチされる。 これらの最適化問題はNPハードであるため、現在のハードウェア上の小さなインスタンスに対してのみ正確に解決できる。 本手法は,既成整数計画法を用いても,最先端の最適化手法と競合することを示す。
  論文  参考訳（メタデータ） (2022-02-17T18:59:20Z)
• Scaling Quantum Approximate Optimization on Near-term Hardware [49.94954584453379]
  我々は、様々なレベルの接続性を持つハードウェアアーキテクチャのための最適化回路により、期待されるリソース要求のスケーリングを定量化する。 問題の大きさと問題グラフの次数で指数関数的に増大する。 これらの問題は、ハードウェア接続性の向上や、より少ない回路層で高い性能を達成するQAOAの変更によって緩和される可能性がある。
  論文  参考訳（メタデータ） (2022-01-06T21:02:30Z)
• Space-efficient binary optimization for variational computing [68.8204255655161]
  本研究では,トラベリングセールスマン問題に必要なキュービット数を大幅に削減できることを示す。 また、量子ビット効率と回路深さ効率のモデルを円滑に補間する符号化方式を提案する。
  論文  参考訳（メタデータ） (2020-09-15T18:17:27Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。