Fugu-MT 論文翻訳(概要): Quantum Recursive Programming with Quantum Case Statements

論文の概要: Quantum Recursive Programming with Quantum Case Statements

arxiv url: http://arxiv.org/abs/2311.01725v1
Date: Fri, 3 Nov 2023 05:44:52 GMT
ステータス: 処理完了
システム内更新日: 2023-11-06 15:12:40.036883
Title: Quantum Recursive Programming with Quantum Case Statements
Title（参考訳）: 量子ケースステートメントを用いた量子再帰プログラミング
Authors: Mingsheng Ying and Zhicheng Zhang
Abstract要約: このような量子再帰をサポートするための単純なプログラミング言語が定義される。いくつかの量子アルゴリズムがエレガントに量子再帰プログラムとして書けることを示す一連の例を示す。
参考スコア（独自算出の注目度）: 8.320147245667124
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We introduce a novel scheme of quantum recursive programming, in which large unitary transformations, i.e. quantum gates, can be recursively defined using quantum case statements, which are quantum counterparts of conditionals and case statements extensively used in classical programming. A simple programming language for supporting this kind of quantum recursion is defined, and its semantics is formally described. A series of examples are presented to show that some quantum algorithms can be elegantly written as quantum recursive programs.
Abstract（参考訳）: 量子再帰的計画法(quantum recursive programming)では, 古典的プログラミングにおいて広く用いられる条件文やケース文の量子対応である量子ケースステートメントを用いて, 大きなユニタリ変換(quantum gate)を再帰的に定義することができる。このような量子再帰をサポートするための単純なプログラミング言語が定義され、その意味論が正式に記述される。いくつかの量子アルゴリズムがエレガントに量子再帰プログラムとして書けることを示す一連の例を示す。

関連論文リスト

Efficient Quantum Pseudorandomness from Hamiltonian Phase States [41.94295877935867]
我々は、ハミルトニアン相状態(HPS)問題と呼ばれる量子硬度仮定を導入する。我々は、我々の仮定が少なくとも完全に量子的であることを示し、すなわち片方向関数を構成するのに使用できない。仮定とその変形により、多くの擬似ランダム量子プリミティブを効率的に構築できることを示す。
論文参考訳（メタデータ） (2024-10-10T16:10:10Z)
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs [7.042810171786408]
本稿では、量子制御フローをサポートする最初の純粋量子アーキテクチャ(命令セットを含む)である量子レジスタマシンの概念を提案する。本稿では,量子レジスタマシンをベースとして,量子再帰プログラムの包括的な実装プロセスについて述べる。量子アルゴリズムの効率的な実装は、量子アルゴリズムの自動並列化も提供する。
論文参考訳（メタデータ） (2024-08-19T14:48:41Z)
Verification of Recursively Defined Quantum Circuits [7.042810171786408]
本稿では,量子回路の正当性検証のための証明システムを提案する。応用例としては、(多重量子ビット)制御ゲート、(多重量子ビット)GHZを生成する量子回路などがある。
論文参考訳（メタデータ） (2024-04-09T01:35:13Z)
A Case for Synthesis of Recursive Quantum Unitary Programs [9.287571320531457]
量子プログラムは、量子プログラミングに関連する直感的な量子知識のために、コーディングと検証が難しいことで知られている。本稿では、新しい帰納的量子プログラム言語を含む、最初の量子プログラム合成フレームワークであるQ Synthを紹介する。 Q Synthは量子加算器回路、量子固有値反転回路、量子フーリエ変換を含む10個の量子ユニタリプログラムをうまく合成する。
論文参考訳（メタデータ） (2023-11-20T03:01:36Z)
A vertical gate-defined double quantum dot in a strained germanium double quantum well [48.7576911714538]
シリコン-ゲルマニウムヘテロ構造におけるゲート定義量子ドットは、量子計算とシミュレーションのための魅力的なプラットフォームとなっている。ひずみゲルマニウム二重量子井戸におけるゲート定義垂直2重量子ドットの動作を実証する。課題と機会を議論し、量子コンピューティングと量子シミュレーションの潜在的な応用について概説する。
論文参考訳（メタデータ） (2023-05-23T13:42:36Z)
Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
量子回路に関する最初の完全な方程式理論は、最近導入されたばかりである。我々は方程式理論を単純化し、いくつかの規則が残りの規則から導出されることを証明した。完全な方程式理論は、アンシラやクビットの破棄を伴う量子回路に拡張することができる。
論文参考訳（メタデータ） (2023-03-06T13:31:27Z)
Qafny: A Quantum-Program Verifier [39.47005122712576]
本稿では,量子プログラムの自動検証システムであるQafnyを紹介する。 Qafnyの核心は、量子演算を古典的な配列演算に変換する型誘導量子証明システムである。我々はQafnyが量子ウォークアルゴリズム、Groverのアルゴリズム、Shorのアルゴリズムを含む重要な量子アルゴリズムを効率的に検証する方法を示す。
論文参考訳（メタデータ） (2022-11-11T18:50:52Z)
Conventions for Quantum Pseudocode [0.0]
コンベンションは任意の量子アルゴリズムを最低レベルまで提示するために使用することができる。原則として、量子擬似符号の形式的なバージョンは、従来の言語の将来の拡張に使用できる。
論文参考訳（メタデータ） (2022-11-04T16:24:45Z)
No-signalling constrains quantum computation with indefinite causal structure [45.279573215172285]
我々は、不定因果構造を持つ量子計算の定式化を開発する。我々は高階量子マップの計算構造を特徴付ける。計算的および情報理論的な性質を持つこれらの規則は、量子システム間のシグナル伝達関係のより物理的概念によって決定される。
論文参考訳（メタデータ） (2022-02-21T13:43:50Z)
Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文参考訳（メタデータ） (2021-07-05T17:45:41Z)
Compiling quantamorphisms for the IBM Q Experience [0.0]
本稿では,古典的プログラム代数の法則を量子プログラミングに拡張するために貢献する。 IBM Q Experienceで利用可能な量子デバイスにデプロイされるように、正しく構成された量子回路を構築することを目的としている。
論文参考訳（メタデータ） (2020-10-21T13:32:24Z)

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