論文の概要: Uncomputation in the Qrisp high-level Quantum Programming Framework
- arxiv url: http://arxiv.org/abs/2307.11417v1
- Date: Fri, 21 Jul 2023 08:21:03 GMT
- ステータス: 処理完了
- システム内更新日: 2023-07-24 13:10:44.616743
- Title: Uncomputation in the Qrisp high-level Quantum Programming Framework
- Title（参考訳）: Qrisp高レベル量子プログラミングフレームワークにおける非計算
- Authors: Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock and Manfred
Hauswirth
- Abstract要約: 本稿では,Qrispフレームワークにおける非計算回路の自動生成のためのインタフェースについて述べる。
Qrispで未計算回路を合成するアルゴリズムは,Unqompの改良版をベースとしている。
- 参考スコア（独自算出の注目度）: 1.299941371793082
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Uncomputation is an essential part of reversible computing and plays a vital
role in quantum computing. Using this technique, memory resources can be safely
deallocated without performing a nonreversible deletion process. For the case
of quantum computing, several algorithms depend on this as they require
disentangled states in the course of their execution. Thus, uncomputation is
not only about resource management, but is also required from an algorithmic
point of view. However, synthesizing uncomputation circuits is tedious and can
be automated. In this paper, we describe the interface for automated generation
of uncomputation circuits in our Qrisp framework. Our algorithm for
synthesizing uncomputation circuits in Qrisp is based on an improved version of
"Unqomp", a solution presented by Paradis et. al. Our paper also presents some
improvements to the original algorithm, in order to make it suitable for the
needs of a high-level programming framework. Qrisp itself is a fully
compilable, high-level programming language/framework for gate-based quantum
computers, which abstracts from many of the underlying hardware details.
Qrisp's goal is to support a high-level programming paradigm as known from
classical software development.
- Abstract（参考訳）: 非計算は可逆コンピューティングの重要な部分であり、量子コンピューティングにおいて重要な役割を果たす。
この技術を用いることで、メモリリソースを非可逆的削除処理を行なわずに安全に再配置することができる。
量子コンピューティングの場合、いくつかのアルゴリズムは、実行中に無絡状態を必要とするため、これに依存する。
したがって、非計算はリソース管理だけでなく、アルゴリズムの観点からも必要である。
しかし、非計算回路の合成は退屈で自動化できる。
本稿では,Qrispフレームワークにおける非計算回路の自動生成インタフェースについて述べる。
Qrispで非計算回路を合成するアルゴリズムは、Paradisらによって提案されたソリューションである"Unqomp"の改良版に基づいている。
アル
提案手法は,高レベルプログラミングフレームワークのニーズに適合するため,元のアルゴリズムにいくつかの改良を加えている。
Qrisp自体は、ゲートベースの量子コンピュータのための完全コンパイル可能でハイレベルなプログラミング言語/フレームワークであり、基礎となるハードウェアの詳細の多くを抽象化している。
Qrispの目標は、古典的なソフトウェア開発で知られているハイレベルプログラミングパラダイムをサポートすることである。
関連論文リスト
- Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers [0.52197339162908]
ハイレベルプログラミングパラダイムと量子ハードウェアのギャップを埋めるために設計されたフレームワークであるQrispを紹介する。
Qrispの特長は、プログラムを回路レベルにコンパイルし、既存の物理バックエンドで実行可能にすることである。
論文 参考訳（メタデータ） (2024-06-20T23:40:22Z) - Qwerty: A Basis-Oriented Quantum Programming Language [0.4999814847776098]
Qwertyは、プログラマがゲートよりもより表現力のある量子ビットを操作できる新しい量子プログラミング言語である。
Qwertyは高レベルの量子古典計算のための強力なフレームワークである。
論文 参考訳（メタデータ） (2024-04-19T03:13:43Z) - Modelling the Impact of Quantum Circuit Imperfections on Networks and Computer Applications [0.31908919831471466]
ポスト量子および量子暗号スキームは、7Gネットワークのための実現可能な量子コンピュータアプリケーションである。
これらのアルゴリズムは、Shorアルゴリズムのような量子コンピュータ上で動作する量子検索アルゴリズムの進歩によって妥協された。
論文 参考訳（メタデータ） (2024-03-27T10:00:35Z) - Quantum Algorithmic Gate-Based Computing: Grover Quantum Search
Algorithm Design in Quantum Software Engineering [0.0]
古典的および量子的アルゴリズム(QA)の違いは以下の通りである。
本稿では,古典的コンピュータ上で最も有名なQAであるGroverアルゴリズムをモデル化する実践的アプローチについて述べる。
論文 参考訳（メタデータ） (2023-04-20T15:47:23Z) - The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。
完全に自動化された量子ソフトウェアスタックを開発する必要がある。
この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
論文 参考訳（メタデータ） (2023-01-10T19:00:00Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳（メタデータ） (2022-09-15T14:52:31Z) - A Hybrid Quantum-Classical Algorithm for Robust Fitting [47.42391857319388]
本稿では,ロバストフィッティングのためのハイブリッド量子古典アルゴリズムを提案する。
私たちのコアコントリビューションは、整数プログラムの列を解く、新しい堅牢な適合式である。
実際の量子コンピュータを用いて得られた結果について述べる。
論文 参考訳（メタデータ） (2022-01-25T05:59:24Z) - QuantumCircuitOpt: An Open-source Framework for Provably Optimal Quantum
Circuit Design [0.0]
我々は,任意のユニタリゲートをハードウェアネイティブゲート列に分解する数学的最適化とアルゴリズムを実装した,新しいオープンソースフレームワークQuantumCircuitOptを提案する。
QCOptは、最大4キュービットの回路上で必要ゲート数を最大57%削減し、コモディティコンピューティングハードウェア上では数分未満で実行可能であることを示す。
また、IBMやRigetti、Googleなど、さまざまなハードウェアプラットフォームに基づいて、QCOptパッケージをさまざまな組み込みネイティブゲートセットに適合させる方法も示しています。
論文 参考訳（メタデータ） (2021-11-23T06:45:40Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-08T12:49:07Z) - Space-efficient binary optimization for variational computing [68.8204255655161]
本研究では,トラベリングセールスマン問題に必要なキュービット数を大幅に削減できることを示す。
また、量子ビット効率と回路深さ効率のモデルを円滑に補間する符号化方式を提案する。
論文 参考訳（メタデータ） (2020-09-15T18:17:27Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。
そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
論文 参考訳（メタデータ） (2020-09-02T22:46:47Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。