論文の概要: An extended quantum process algebra (eQPAlg) approach for distributed
quantum systems
- arxiv url: http://arxiv.org/abs/2001.04249v1
- Date: Mon, 6 Jan 2020 11:02:35 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-14 03:16:25.545316
- Title: An extended quantum process algebra (eQPAlg) approach for distributed
quantum systems
- Title（参考訳）: 分散量子システムに対する拡張量子プロセス代数(eqpalg)アプローチ
- Authors: Salman Haider, Dr. Syed Asad Raza Kazmi
- Abstract要約: 我々はプロセス代数を用いて量子システムの通信手順を説明した。
我々の研究の主な目的は、分散量子システム間の通信を正式に表現することである。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: In this work, we have expounded the communication procedure of quantum
systems by means of process algebra. The main objective of our research effort
is to formally represent the communication between distributed quantum systems.
In this new proposed communication model we have ameliorated the existing rules
of Lalire's quantum process algebra QPAlg. We have brought some important
modification in QPAlg by introducing the concept of formally specifying the
Quantum teleportation protocol. We have further introduced the formal
description of protocol by using programs that best explains its working and
satisfies the specification. Examples have been provided to describe the
working of the improved algebra that formally explain the sending and receiving
of both classical as well as quantum data, keeping in mind the principal
features of quantum mechanics.
- Abstract（参考訳）: 本研究では,プロセス代数を用いて量子システムの通信手順を提示する。
我々の研究の主な目的は、分散量子システム間の通信を正式に表現することである。
提案した新しい通信モデルでは、Lalireの量子プロセス代数QPAlgの既存の規則を改善した。
我々は、量子テレポーテーションプロトコルを正式に指定する概念を導入することで、qpalgにいくつかの重要な修正をもたらした。
我々はさらに、その動作を最もよく説明し、仕様を満たすプログラムを使用することで、プロトコルの正式な記述を導入しました。
古典的および量子データの両方の送受信を公式に説明し、量子力学の主要な特徴を念頭に置いて、改良された代数の作用を記述するための例が提供されている。
関連論文リスト
- Formal verification of higher dimensional quantum protocols [0.0]
クイディットを用いた高次元量子プロトコルを検証するために,CQPにおける振る舞い等価性理論を拡張した予備的な結果を示す。
本稿では,CQPにおける振る舞い等価性理論を拡張して,高次元量子プロトコルを立証するための予備的な結果を示す。
論文 参考訳（メタデータ） (2024-09-26T15:53:14Z) - The Quantum Abstract Machine [4.968520732123632]
この研究は、量子通信システムを開発するための概念ツールの必要性によって動機付けられている。
本稿では、よく知られた量子回路に対応する量子抽象機械(QAM)を定義する。
これは、既存の量子通信プロトコルのモデル化と推論にどのように使用されるかの例を通して示す。
論文 参考訳（メタデータ） (2024-02-21T01:55:59Z) - Oblivious Quantum Computation and Delegated Multiparty Quantum
Computation [61.12008553173672]
本稿では、入力量子ビットの秘密性と量子ゲートを識別するプログラムを必要とする新しい計算量子計算法を提案する。
本稿では,この課題に対する2サーバプロトコルを提案する。
また,従来の通信のみを用いて,複数のユーザがサーバにマルチパーティ量子計算を依頼する多パーティ量子計算についても論じる。
論文 参考訳（メタデータ） (2022-11-02T09:01:33Z) - Quantum Semantic Communications for Resource-Efficient Quantum Networking [52.3355619190963]
本稿では、量子機械学習と量子意味表現の進歩を活かした新しい量子意味通信(QSC)フレームワークを提案する。
提案手法は,高い量子セマンティック忠実度を達成しつつ,必要な量子通信資源の約50～75%の削減を実現する。
論文 参考訳（メタデータ） (2022-05-05T03:49:19Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。
本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。
アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文 参考訳（メタデータ） (2021-10-04T12:20:23Z) - Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。
解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
論文 参考訳（メタデータ） (2021-08-30T23:50:05Z) - High-fidelity quantum gates for OAM qudits on quantum memory [0.0]
そこで我々は,軌道角運動量を持つ光モードに基づいて,立方体に対して単一立方体ゲートを実装する手法を提案する。
検討したゲートは単一量子変換の忠実度が極めて高いことを示している。
論文 参考訳（メタデータ） (2021-05-25T19:13:27Z) - Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
53量子ビット量子プロセッサにおける量子スクランブルのダイナミクスを実験的に検討する。
演算子の拡散は効率的な古典的モデルによって捉えられるが、演算子の絡み合いは指数関数的にスケールされた計算資源を必要とする。
論文 参考訳（メタデータ） (2021-01-21T22:18:49Z) - Quantum Consensus: an overview [0.0]
本稿では,量子コンセンサスの公式定義と提案プロトコルについて報告する。
提案は、合意を達成するために使用される量子的特徴に従って分類される。
論文 参考訳（メタデータ） (2021-01-11T21:10:06Z) - Certified Quantum Computation in Isabelle/HOL [1.2730070122798456]
本稿では,Isabelle/HOLを用いた量子アルゴリズムの定式化と量子情報理論の成果について述べる。
我々は、量子回路の行列表現に基づく、イザベルにおける量子コンピューティングのための大規模なライブラリを開発した。
量子ゲーム理論の分野における我々の研究成果について,設計上の選択と報告について論じる。
論文 参考訳（メタデータ） (2020-12-27T11:45:49Z) - Direct Quantum Communications in the Presence of Realistic Noisy
Entanglement [69.25543534545538]
本稿では,現実的な雑音に依拠する新しい量子通信方式を提案する。
性能分析の結果,提案手法は競争力のあるQBER, 利得, 利得を提供することがわかった。
論文 参考訳（メタデータ） (2020-12-22T13:06:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。