論文の概要: Generating Compilers for Qubit Mapping and Routing

• arxiv url: http://arxiv.org/abs/2508.10781v1
• Date: Thu, 14 Aug 2025 16:07:07 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-08-15 22:24:48.398061
• Title: Generating Compilers for Qubit Mapping and Routing
• Title（参考訳）: クビットマッピングとルーティングのためのコンパイラ生成
• Authors: Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi,
• Abstract要約: 本稿では、任意の量子アーキテクチャのためのキュービットマッピングとルーティングコンパイラを自動生成するアプローチを提案する。 我々の定式化は自然にQMR問題を特定するためのドメイン固有の言語であるMarolにつながります。 マロールで定義されたQMR問題は、強力なパラメトリック解法で解けることを実証する。
• 参考スコア（独自算出の注目度）: 7.911137391744446
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Quantum computers promise to solve important problems faster than classical computers, potentially unlocking breakthroughs in materials science, chemistry, and beyond. Optimizing compilers are key to realizing this potential, as they minimize expensive resource usage and limit error rates. A critical compilation step is qubit mapping and routing (QMR), which finds mappings from circuit qubits to qubits on a target device and plans instruction execution while satisfying the device's connectivity constraints. The challenge is that the landscape of quantum architectures is incredibly diverse and fast-evolving. Given this diversity, hundreds of papers have addressed the QMR problem for different qubit hardware, connectivity constraints, and quantum error correction schemes. We present an approach for automatically generating qubit mapping and routing compilers for arbitrary quantum architectures. 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 domain-specific language, Marol, for specifying QMR problems-for example, the well-studied NISQ mapping and routing problem requires only 12 lines of Marol. We demonstrate that QMR problems, defined in Marol, can be solved with a powerful parametric solver that can be instantiated for any Marol program. We evaluate our approach through case studies of important QMR problems from prior and recent work, covering noisy and fault-tolerant quantum architectures on all major hardware platforms. Our thorough evaluation shows that generated compilers are competitive with handwritten, specialized compilers in terms of runtime and solution quality. We envision that our approach will simplify development of future quantum compilers as new quantum architectures continue to emerge.
• Abstract（参考訳）: 量子コンピュータは、古典的なコンピュータよりも早く重要な問題を解決し、物質科学、化学などにおけるブレークスルーを解き放つ可能性がある。 高価なリソース使用量を最小限に抑え、エラー率を制限するため、コンパイラを最適化することがこの可能性を実現する鍵となる。 重要なコンパイルステップはqubitマッピングとルーティング(QMR)であり、ターゲットデバイス上のqubitからqubitへのマッピングを見つけ、デバイスの接続制約を満たしながら命令の実行を計画する。 課題は、量子アーキテクチャのランドスケープが驚くほど多様で、急速に進化していることです。 この多様性を考えると、何百もの論文が異なる量子ビットハードウェア、接続制約、量子エラー訂正スキームのQMR問題に対処している。 本稿では、任意の量子アーキテクチャのためのキュービットマッピングとルーティングコンパイラを自動生成するアプローチを提案する。 それぞれのQMR問題は異なるが、抽象的なQMR問題を定式化するために使用する共通コア構造デバイス状態マシンを同定する。 我々の定式化は自然にQMR問題を特定するためのドメイン固有言語であるMarolにつながり、例えば、よく研究されているNISQマッピングとルーティング問題では12行のMarolしか必要としない。 本稿では,QMR問題を任意のMarolプログラムに対してインスタンス化可能な強力なパラメトリックソルバで解くことができることを示す。 我々は,すべての主要ハードウェアプラットフォーム上でのノイズおよびフォールトトレラントな量子アーキテクチャを網羅し,従来および最近の研究から重要なQMR問題のケーススタディを通じて,我々のアプローチを評価する。 我々の徹底的な評価は、生成されたコンパイラは、実行時とソリューションの品質の観点から手書きの特殊なコンパイラと競合していることを示している。 我々は、新しい量子アーキテクチャが出現し続けるにつれて、我々のアプローチが将来の量子コンパイラの開発を簡素化することを期待している。

関連論文リスト

• 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)
• 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)
• 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)
• 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)

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

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