論文の概要: Generating Compilers for Qubit Mapping and Routing
- arxiv url: http://arxiv.org/abs/2508.10781v2
- Date: Wed, 29 Oct 2025 18:11:00 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-31 16:05:09.399053
- Title: Generating Compilers for Qubit Mapping and Routing
- Title(参考訳): クビットマッピングとルーティングのためのコンパイラ生成
- Authors: Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi,
- Abstract要約: 量子プロセッサ上で量子回路を評価するには、回路量子ビットからプロセッサ量子ビットへのマッピングを見つける必要がある。
これはqubit mapping and routing(QMR)問題として知られている。
我々は、任意の量子プロセッサのためのキュービットマッピングとルーティングコンパイラを自動生成する別のアプローチを提案する。
- 参考スコア(独自算出の注目度): 5.556304973770941
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: To evaluate a quantum circuit on a quantum processor, one must find a mapping from circuit qubits to processor qubits and plan the instruction execution while satisfying the processor's constraints. This is known as the qubit mapping and routing (QMR) problem. High-quality QMR solutions are key to maximizing the utility of scarce quantum resources and minimizing the probability of logical errors affecting computation. The challenge is that the landscape of quantum processors is incredibly diverse and fast-evolving. Given this diversity, dozens of papers have addressed the QMR problem for different qubit hardware, connectivity constraints, and quantum error correction schemes by a developing a new algorithm for a particular context. We present an alternative approach: automatically generating qubit mapping and routing compilers for arbitrary quantum processors. Though each QMR problem is different, we identify a common core structure-device state machine-that we use to formulate an abstract QMR problem. Our formulation naturally leads to a compact domain-specific language for specifying QMR problems and a powerful parametric algorithm that can be instantiated for any QMR specification. Our thorough evaluation on case studies of important QMR problems shows that generated compilers are competitive with handwritten, specialized compilers in terms of runtime and solution quality.
- Abstract(参考訳): 量子プロセッサ上で量子回路を評価するには、回路量子ビットからプロセッサ量子ビットへのマッピングを見つけ、プロセッサの制約を満たすことなく命令の実行を計画する必要がある。
これはqubit mapping and routing(QMR)問題として知られている。
高品質QMRソリューションは、希少な量子資源の有効性を最大化し、計算に影響を及ぼす論理誤差の確率を最小化する鍵となる。
課題は、量子プロセッサの状況が驚くほど多様で、急速に進化していることだ。
この多様性から、多くの論文が異なる量子ビットハードウェアのQMR問題、接続制約、および特定のコンテキストに対する新しいアルゴリズムの開発による量子エラー補正スキームに対処している。
我々は、任意の量子プロセッサのためのキュービットマッピングとルーティングコンパイラを自動生成する別のアプローチを提案する。
それぞれのQMR問題は異なるが、抽象的なQMR問題を定式化するために使用する共通コア構造デバイス状態マシンを同定する。
我々の定式化は自然にQMR問題を特定するためのコンパクトなドメイン固有言語と、任意のQMR仕様に対してインスタンス化できる強力なパラメトリックアルゴリズムにつながる。
重要なQMR問題に対するケーススタディを徹底的に評価したところ、生成されたコンパイラは、実行時とソリューションの品質の観点から、手書きの特殊なコンパイラと競合することがわかった。
関連論文リスト
- QuantEM: The quantum error management compiler [6.576503649817851]
量子エラー検出(QED)により、オーバーヘッドを大幅に低減して信頼性が向上する。
QEDを任意の量子回路に適用することは、検出サブ回路の手動挿入、アンシラ割り当て、ハードウェア固有のマッピングとスケジューリングを必要とするため、依然として難しい。
我々はQEDコードの任意の量子プログラムへの統合を自動化するために設計されたモジュール型でスケーラブルなコンパイラQuantEMを提案する。
論文 参考訳(メタデータ) (2025-09-19T01:04:15Z) - Evaluating Variational Quantum Circuit Architectures for Distributed Quantum Computing [3.1224202646855894]
我々は分散量子コンピューティング環境での変動量子回路のアーキテクチャ、特に絡み合いパターンを評価する。
計算キュービットと通信キュービットの4つのQPUを用いて8量子ビット回路の実行をシミュレートする。
本研究では,二項分類タスクにおける各種回路の性能を比較し,理想的条件下での学習と雑音条件下での試験を行う。
論文 参考訳(メタデータ) (2025-09-15T14:50:30Z) - Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability [4.2955091080396075]
我々は、幅広い種類の量子コードに対して、フォールトトレラント回路を自動合成する問題に焦点をあてる。
本研究では, 古典回路設計の手法を応用し, 整合性解法などの手法を応用する。
本稿では,回路レベルのノイズシミュレーションを用いて,合成回路の耐故障性を示す。
論文 参考訳(メタデータ) (2025-01-09T19:06:01Z) - Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
超伝導プロセッサのための強化学習型量子コンパイラを開発した。
短絡の新規・ハードウェア対応回路の発見能力を示す。
本研究は,効率的な量子コンパイルのためのハードウェアによるソフトウェア設計を実証する。
論文 参考訳(メタデータ) (2024-06-18T01:49:48Z) - Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。
どの場の量子スピードアップが達成できるかという新たな課題が生じる。
量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文 参考訳(メタデータ) (2024-02-26T09:32:07Z) - QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Hardware Architectures [14.785334649858498]
量子誤り訂正(QEC)符号は、フォールトトレラント量子コンピューティングを実現するために不可欠である。
現在のアプローチでは、QEC回路の特徴を過小評価するか、特定のコードやアーキテクチャに合わせた手動設計に重点を置いている。
これらの課題に対処するQECコード実装のための自動コンパイラであるQECC-Synthを紹介する。
論文 参考訳(メタデータ) (2023-08-12T01:09:20Z) - Qubit efficient quantum algorithms for the vehicle routing problem on
NISQ processors [48.68474702382697]
時間窓付き車両ルーティング問題(VRPTW)は、ロジスティクス業界で直面する一般的な最適化問題である。
そこで本研究では,以前に導入した量子ビット符号化方式を用いて,バイナリ変数の数を削減した。
論文 参考訳(メタデータ) (2023-06-14T13:44:35Z) - Enabling Full-Stack Quantum Computing with Changeable Error-Corrected
Qubits [14.770636234849444]
我々は、変更可能な論理量子ビットに基づくFTQCの大規模設計空間を探索するために、CECQを提案する。
様々な量子プログラムの実験は、CECQの有効性を示す。
論文 参考訳(メタデータ) (2023-05-11T18:14:49Z) - Mapping quantum circuits to modular architectures with QUBO [3.0148208709026005]
マルチコアアーキテクチャでは、アルゴリズムの実行時にコア間の通信量を最小化することが重要である。
問題と解をエンコードする擬似非制約バイナリ最適化手法を初めて提案する。
提案手法は有望な結果を示し,非常に高密度かつ並列化された回路で極めて良好に動作した。
論文 参考訳(メタデータ) (2023-05-11T09:45:47Z) - Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation
on the Gate Level [3.610459670994051]
量子コンピューティングでは、問題インスタンスは量子回路にエンコードされ、特定のプラットフォーム向けにコンパイルされなければならない。
本稿では,繰り返し発生する問題のコンパイルに要する時間を最小限に抑えるための包括的事前コンパイル手法を提案する。
すべての実装は、ミュンヘン量子ツールキットの一部としてGitHubで入手可能だ。
論文 参考訳(メタデータ) (2023-05-08T18:00:00Z) - QNEAT: Natural Evolution of Variational Quantum Circuit Architecture [95.29334926638462]
我々は、ニューラルネットワークの量子対する最も有望な候補として登場した変分量子回路(VQC)に注目した。
有望な結果を示す一方で、バレン高原、重みの周期性、アーキテクチャの選択など、さまざまな問題のために、VQCのトレーニングは困難である。
本稿では,VQCの重みとアーキテクチャの両方を最適化するために,自然進化にインスパイアされた勾配のないアルゴリズムを提案する。
論文 参考訳(メタデータ) (2023-04-14T08:03:20Z) - Majorization-based benchmark of the complexity of quantum processors [105.54048699217668]
我々は、様々な量子プロセッサの動作を数値的にシミュレートし、特徴付ける。
我々は,各デバイスの性能をベンチマークラインと比較することにより,量子複雑性を同定し,評価する。
我々は、回路の出力状態が平均して高い純度である限り、偏化ベースのベンチマークが成り立つことを発見した。
論文 参考訳(メタデータ) (2023-04-10T23:01:10Z) - InQuIR: Intermediate Representation for Interconnected Quantum Computers [0.0]
InQuIRは、分散量子システム上での通信と計算を表現できる表現である。
デッドロックなどの分散プログラムで発生する問題を説明するために,InQuIRで記述した例を挙げる。
また、InQuIR用のソフトウェアツールを提供し、量子回路の計算コストを評価する。
論文 参考訳(メタデータ) (2023-02-01T06:19:23Z) - Adiabatic Quantum Computing for Multi Object Tracking [170.8716555363907]
マルチオブジェクト追跡(MOT)は、オブジェクト検出が時間を通して関連付けられているトラッキング・バイ・検出のパラダイムにおいて、最もよくアプローチされる。
これらの最適化問題はNPハードであるため、現在のハードウェア上の小さなインスタンスに対してのみ正確に解決できる。
本手法は,既成整数計画法を用いても,最先端の最適化手法と競合することを示す。
論文 参考訳(メタデータ) (2022-02-17T18:59:20Z) - A Hybrid Quantum-Classical Algorithm for Robust Fitting [47.42391857319388]
本稿では,ロバストフィッティングのためのハイブリッド量子古典アルゴリズムを提案する。
私たちのコアコントリビューションは、整数プログラムの列を解く、新しい堅牢な適合式である。
実際の量子コンピュータを用いて得られた結果について述べる。
論文 参考訳(メタデータ) (2022-01-25T05:59:24Z) - Scaling Quantum Approximate Optimization on Near-term Hardware [49.94954584453379]
我々は、様々なレベルの接続性を持つハードウェアアーキテクチャのための最適化回路により、期待されるリソース要求のスケーリングを定量化する。
問題の大きさと問題グラフの次数で指数関数的に増大する。
これらの問題は、ハードウェア接続性の向上や、より少ない回路層で高い性能を達成するQAOAの変更によって緩和される可能性がある。
論文 参考訳(メタデータ) (2022-01-06T21:02:30Z) - EQUAL: Improving the Fidelity of Quantum Annealers by Injecting
Controlled Perturbations [3.594638299627403]
既存のゲートベースの量子コンピュータはわずか数十量子ビットで、ほとんどのアプリケーションでは十分ではない。
ハードウェアにおけるノイズと不完全性は、QMIが数千のトライアルで実行されているとしても、QA上の準最適解をもたらす。
EQUALは、制御された摂動をプログラムQMIに追加することにより、QMIのアンサンブルを生成する。
論文 参考訳(メタデータ) (2021-08-24T21:29:59Z) - Sampling electronic structure QUBOs with Ocean and Mukai solvers [44.62475518267084]
最も先進的なD波アドバンテージ量子アニールは5000以上の量子ビットを持つが、全ての量子ビットは少数の近傍に接続される。
量子ビット数の減少を補うためには、qbsolvのような特別なソフトウェアに頼る必要がある。
本研究では,本研究で行ったすべての計算に対して,向浦解法がOcean qbsolvより優れていることを示す。
論文 参考訳(メタデータ) (2021-02-01T23:16:42Z) - Space-efficient binary optimization for variational computing [68.8204255655161]
本研究では,トラベリングセールスマン問題に必要なキュービット数を大幅に削減できることを示す。
また、量子ビット効率と回路深さ効率のモデルを円滑に補間する符号化方式を提案する。
論文 参考訳(メタデータ) (2020-09-15T18:17:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。