論文の概要: 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)を再帰的に定義することができる。
このような量子再帰をサポートするための単純なプログラミング言語が定義され、その意味論が正式に記述される。
いくつかの量子アルゴリズムがエレガントに量子再帰プログラムとして書けることを示す一連の例を示す。
関連論文リスト
- Quantum Dynamic Programming [0.0]
記憶された中間量子状態を用いて再帰ステップのユニタリをコヒーレントに生成する方法を示す。
量子力学プログラミングは、多数の固定点量子再帰に対して回路深さを指数関数的に減少させる。
我々は、最近提案された対角化のための二重ブラケット量子アルゴリズムに量子力学プログラミングを適用し、シュミット基底における量子状態の鮮明な準備のための新しいプロトコルを得る。
論文 参考訳(メタデータ) (2024-03-14T08:59:22Z) - Dynamic Runtime Assertions in Quantum Ternary Systems [1.5410557873153832]
量子三元系におけるアサーションは、量子二元系よりも困難である。
古典的,絡み合い,重畳状態を示す量子三元回路の設計を提案する。
論文 参考訳(メタデータ) (2023-12-23T17:46:51Z) - 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 process tomography of continuous-variable gates using coherent
states [49.299443295581064]
ボソニックモード超伝導回路におけるコヒーレント状態量子プロセストモグラフィ(csQPT)の使用を実証する。
符号化量子ビット上の変位とSNAP演算を用いて構築した論理量子ゲートを特徴付けることにより,本手法の結果を示す。
論文 参考訳(メタデータ) (2023-03-02T18:08:08Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - 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) - Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。
解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
論文 参考訳(メタデータ) (2021-08-30T23:50:05Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。