論文の概要: Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
- arxiv url: http://arxiv.org/abs/2604.18276v1
- Date: Mon, 20 Apr 2026 13:51:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-21 21:52:52.913047
- Title: Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
- Title(参考訳): プログラミング抽象化としてのブロックエンコーディング: Eclipse Qrisp BlockEncoding Interface
- Authors: Matic Petrič, René Zander,
- Abstract要約: ブロック符号化は現代の量子アルゴリズムの基本技術である。
本稿では,Eclipse QrispフレームワークのBlockインターフェースについて述べる。
本稿では、コンストラクタ、コアユーティリティ、算術構成、アルゴリズムアプリケーションを含む、インターフェースのソフトウェアアーキテクチャの概要について述べる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Block-encoding is a foundational technique in modern quantum algorithms, enabling the implementation of non-unitary operations by embedding them into larger unitary matrices. While theoretically powerful and essential for advanced protocols like Quantum Singular Value Transformation (QSVT) and Quantum Signal Processing (QSP), the generation of compilable implementations of block-encodings poses a formidable challenge. This work presents the BlockEncoding interface within the Eclipse Qrisp framework, establishing block-encodings as a high-level programming abstraction accessible to a broad scientific audience. Serving as both a technical framework introduction and a hands-on tutorial, this paper explicitly details key underlying concepts abstracted away by the interface, such as block-encoding construction and qubitization, and their practical integration into methods like the Childs-Kothari-Somma (CKS) algorithm. We outline the interface's software architecture, encompassing constructors, core utilities, arithmetic composition, and algorithmic applications such as matrix inversion, polynomial filtering, and Hamiltonian simulation. Through code examples, we demonstrate how this interface simplifies both the practical realization of advanced quantum algorithms and their associated resource estimation.
- Abstract(参考訳): ブロックエンコーディングは、現代の量子アルゴリズムの基本技術であり、より大きなユニタリ行列に埋め込むことで、非ユニタリ演算の実装を可能にする。
QSVT(Quantum Singular Value Transformation)やQSP(Quantum Signal Processing)のような高度なプロトコルには理論的に強力で不可欠であるが、ブロックエンコーディングのコンパイル可能な実装の生成は、非常に難しい課題である。
この作業では、Eclipse Qrispフレームワーク内のBlockEncodingインターフェースを示し、幅広い科学的オーディエンスにアクセスできるハイレベルなプログラミング抽象化としてブロックエンコーディングを確立する。
技術的フレームワークの導入とハンズオンのチュートリアルの両面から,ブロックエンコード構築や量子化といったインターフェースによって抽象化された重要な概念と,Childs-Kothari-Somma (CKS)アルゴリズムなどの手法への実践的統合を詳述する。
本稿では, コンストラクタ, コアユーティリティ, 算術構成, 行列逆変換, 多項式フィルタリング, ハミルトニアンシミュレーションなどのアルゴリズムアプリケーションを含む, インタフェースのソフトウェアアーキテクチャについて概説する。
コード例を通して、このインターフェースは、高度な量子アルゴリズムの実践的実現と関連するリソース推定の両方をいかに単純化するかを示す。
関連論文リスト
- Hermitian Matrix Function Synthesis without Block-Encoding [6.824528644662748]
本稿では,量子ハードウェア上でのエルミート行列の任意の回路を実装するための,新しい,効率的な手法を提案する。
目的のエルミート行列をユニタリ共役の対称結合として表現することにより,ブロック符号化の必要性を回避する。
論文 参考訳(メタデータ) (2025-12-20T07:22:04Z) - Full Quantum Stack: Ket Platform [0.7340017786387767]
エンド・ツー・エンドの量子ソフトウェアスタックを示し、ユーザ向けコードからハードウェア実行までの抽象化の各レイヤを詳述する。
私たちは、アルゴリズム開発のための表現力豊かなPythonベースのインターフェースを提供するKet量子プログラミングプラットフォームで、最も高いレベルから始めます。
我々は,電子回路を物理実現に接続し,キャリブレーションされたマイクロ波パルスによってネイティブゲートがどのように実装されるかを説明する。
論文 参考訳(メタデータ) (2025-09-18T23:14:01Z) - When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
本稿では,コードと推論能力の相関性を測定するために,複雑性に富んだ推論スコア(CIRS)を提案する。
具体的には、抽象構文木を用いて構造情報をエンコードし、論理的複雑性を計算する。
コードはhttps://github.com/zjunlp/EasyInstructのEasyInstructフレームワークに統合される。
論文 参考訳(メタデータ) (2023-08-29T17:22:39Z) - Uncomputation in the Qrisp high-level Quantum Programming Framework [1.299941371793082]
本稿では,Qrispフレームワークにおける非計算回路の自動生成のためのインタフェースについて述べる。
Qrispで未計算回路を合成するアルゴリズムは,Unqompの改良版をベースとしている。
論文 参考訳(メタデータ) (2023-07-21T08:21:03Z) - On efficient quantum block encoding of pseudo-differential operators [6.134067544403308]
ブロック符号化は多くの既存の量子アルゴリズムの中核にある。
本稿では, 擬微分演算子 (PDO) を用いた高密度演算子のリッチファミリーのブロック符号化について述べる。
論文 参考訳(メタデータ) (2023-01-21T07:18:57Z) - The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。
完全に自動化された量子ソフトウェアスタックを開発する必要がある。
この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
論文 参考訳(メタデータ) (2023-01-10T19:00:00Z) - FABLE: Fast Approximate Quantum Circuits for Block-Encodings [0.0]
行列のブロック符号化のための近似量子回路を高速に生成するFABLEを提案する。
FABLE回路は単純な構造であり、1ビットと2ビットのゲートで直接定式化されている。
FABLE回路は圧縮・スパシファイド可能であることを示す。
論文 参考訳(メタデータ) (2022-04-29T21:06:07Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-08T12:49:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。