論文の概要: HUGR: A Quantum-Classical Intermediate Representation
- arxiv url: http://arxiv.org/abs/2510.11420v1
- Date: Mon, 13 Oct 2025 13:55:54 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-14 18:06:30.39099
- Title: HUGR: A Quantum-Classical Intermediate Representation
- Title（参考訳）: HUGR:量子古典中間表現
- Authors: Mark Koch, Agustín Borgna, Seyon Sivarajah, Alan Lawrence, Alec Edgington, Douglas Wilson, Craig Roy, Luca Mondada, Lukas Heidemann, Ross Duncan,
- Abstract要約: Hierarchical Unified Graph Representation (HUGR) は、混合量子古典プログラムのためのグラフベースの中間表現である。
グラフベースの構造はマシンフレンドリで、強力なパターンマッチングベースのコンパイル技術をサポートしている。
HUGRの完全な仕様とリファレンス実装はオープンソースであり、オンラインで利用可能である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high expressivity and extensibility to capture the capabilities of near-term and forthcoming quantum computing devices, as well as new and evolving abstractions from novel quantum programming paradigms. The graph based structure is machine-friendly and supports powerful pattern matching based compilation techniques. Inspired by MLIR, HUGR's extensibility further allows compilation tooling to reason about programs at multiple levels of abstraction, lowering smoothly between them. Safety guarantees in the structure including strict, static typing and linear quantum types allow rapid development of compilation tooling without fear of program invalidation. A full specification of HUGR and reference implementation are open-source and available online.
- Abstract（参考訳）: 混合量子古典プログラムのための新しいグラフに基づく中間表現である階層統一グラフ表現(HUGR)を導入する。
HUGRの設計は、近未来の量子コンピューティングデバイスの能力を捉えるための高い表現性と拡張性、および新しい量子プログラミングパラダイムから新しく進化した抽象化を特徴としている。
グラフベースの構造はマシンフレンドリで、強力なパターンマッチングベースのコンパイル技術をサポートしている。
MLIRにインスパイアされたHUGRの拡張性により、コンパイルツールはさらに、複数の抽象化レベルにおけるプログラムの推論を可能にし、それら間でスムーズに低下する。
厳密で静的な型付けと線形量子型を含む構造における安全性保証は、プログラムの無効化を恐れることなく、コンパイルツールの迅速な開発を可能にする。
HUGRの完全な仕様とリファレンス実装はオープンソースであり、オンラインで利用可能である。
関連論文リスト
- A purely Quantum Generative Modeling through Unitary Scrambling and Collapse [6.647966634235082]
量子スクランブルと崩壊生成モデル(Quantum Scrambling and Collapse Generative Model, QGen)は、古典的な依存関係を排除する純粋量子パラダイムである。
本研究では,学習をトラクタブルなサブプロブレムに分解し,バレンプラトーを緩和する測定に基づく学習原理を導入する。
経験的に、QGenは、有限ショットサンプリングの下で堅牢性を維持しながら、一致したパラメータ予算の下で古典的およびハイブリッド的ベースラインを上回っている。
論文 参考訳（メタデータ） (2025-06-12T11:00:21Z) - RGL: A Graph-Centric, Modular Framework for Efficient Retrieval-Augmented Generation on Graphs [58.10503898336799]
完全なRAGパイプラインをシームレスに統合するモジュラーフレームワークであるRAG-on-Graphs Library(RGL)を紹介した。
RGLは、さまざまなグラフフォーマットをサポートし、必須コンポーネントの最適化実装を統合することで、重要な課題に対処する。
評価の結果,RGLはプロトタイピングプロセスの高速化だけでなく,グラフベースRAGシステムの性能や適用性の向上も図っている。
論文 参考訳（メタデータ） (2025-03-25T03:21:48Z) - Co-Designing Eigen- and Singular-value Transformation Oracles: From Algorithmic Applications to Hardware Compilation [5.932361510369811]
我々は、ハイブリッド離散/連続変数(qubit/qumode)ハードウェア上で効率的に実装できる量子固有値変換オラクルのファミリーを共同設計する。
エンド・ツー・エンドのコンパイル -- 短期および大規模の量子プロセッサの両方に適用できる。
論文 参考訳（メタデータ） (2025-02-22T01:29:14Z) - Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers [0.52197339162908]
ハイレベルプログラミングパラダイムと量子ハードウェアのギャップを埋めるために設計されたフレームワークであるQrispを紹介する。
Qrispの特長は、プログラムを回路レベルにコンパイルし、既存の物理バックエンドで実行可能にすることである。
論文 参考訳（メタデータ） (2024-06-20T23:40:22Z) - Enabling Retargetable Optimizing Compilers for Quantum Accelerators via
a Multi-Level Intermediate Representation [78.8942067357231]
我々は、最適化され、再ターゲット可能で、事前コンパイルが可能なマルチレベル量子古典中間表現(IR)を提案する。
ゲートベースのOpenQASM 3言語全体をサポートし、共通量子プログラミングパターンのカスタム拡張と構文の改善を提供します。
私たちの研究は、通常のPythonのアプローチよりも1000倍高速で、スタンドアロンの量子言語コンパイラよりも5～10倍高速なコンパイル時間を実現しています。
論文 参考訳（メタデータ） (2021-09-01T17:29:47Z) - A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。
我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。
我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
論文 参考訳（メタデータ） (2021-01-27T13:00:39Z) - Amortized Probabilistic Detection of Communities in Graphs [39.56798207634738]
そこで我々は,アモータイズされたコミュニティ検出のためのシンプルなフレームワークを提案する。
我々はGNNの表現力と最近のアモータイズクラスタリングの手法を組み合わせる。
我々は、合成および実データセットに関するフレームワークから、いくつかのモデルを評価する。
論文 参考訳（メタデータ） (2020-10-29T16:18:48Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-08T12:49:07Z) - Extending XACC for Quantum Optimal Control [70.19683407682642]
量子コンピューティングベンダーは、直接パルスレベルの量子制御のためのアプリケーションプログラミングをオープンにし始めている。
本稿では,XACCシステムレベルの量子古典ソフトウェアフレームワークの拡張について述べる。
この拡張により、デジタル量子回路表現を等価なパルスシーケンスに変換することができる。
論文 参考訳（メタデータ） (2020-06-04T13:13:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。