論文の概要: Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic

• arxiv url: http://arxiv.org/abs/2006.16350v2
• Date: Tue, 4 Aug 2020 23:26:24 GMT
• ステータス: 処理完了
• システム内更新日: 2023-05-12 03:19:00.149327
• Title: Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic
• Title（参考訳）: 量子資源理論と可変領域様相論理の関手性
• Authors: Patrick Fraser
• Abstract要約: 量子資源理論は、変数領域S4モーダル論理のモデルに関手的に変換される可能性があることを示す。 次に、これらの論理モデルに構造を加えることによって、この関手関係を射影関係に拡張する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum resource theory is a cutting-edge tool used to study practical implementations of quantum mechanical principles under realistic operational constraints. It does this by modelling quantum systems as restricted classes of possible or permissible experimental operations. Modal logic provides a formal tool for studying possibility and impossibility is a completely general logical setting. Here, I show that quantum resource theories may be functorially translated into models of variable-domain S4 modal logic in a way that provides a new class of formal techniques for exploring quantum resource-theoretic problems. I then extend this functorial relationship to an injective one by adding structure to these logical models to reflect the convertibility preorder of resources in the underlying resource theory. I conclude by discussing how this viewpoint may be deployed concretely.
• Abstract（参考訳）: 量子資源理論(Quantum Resource theory)は、現実的な運用制約下での量子力学的原理の実践的な実装を研究するために用いられる最先端のツールである。 これは量子系を可能な、あるいは許容可能な実験演算の制限クラスとしてモデル化することで実現される。 モーダル論理は可能性と不可能性を研究するための形式的なツールを提供する。 ここでは、量子資源理論が、量子資源理論の問題を探索するための新しい形式的手法のクラスを提供する方法として、変数領域S4モーダル論理のモデルに関知的に変換されることを示します。 次に、基礎となる資源理論における資源の可換性事前順序を反映するこれらの論理モデルに構造を加えることによって、この関門関係を射影関係に拡張する。 この視点を具体的にどのように展開するかを議論することで締めくくります。

関連論文リスト

• Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic [0.0]
  量子コンテキストトポス(Quantum Contextual Topos, QCT)は、トポス理論構造に文脈要素を埋め込むことによって従来の量子論理を拡張する新しいフレームワークである。 QCTは古典命題多様論理の形式に対応することを示す。
  論文  参考訳（メタデータ） (2024-09-04T20:16:24Z)
• Investigating the Global Properties of a Resource Theory of Contextuality [0.0]
  量子文脈性に関する資源理論のいくつかの性質について検討する。 この性質は、量子測定の結果を測定対象の集合とは無関係な性質を明らかにするものとして解釈することができないことを保証している。 我々は、いわゆるコストとモノトーンを使用し、参照量子4、280(2020)の結果を一般的な文脈性シナリオに拡張する。
  論文  参考訳（メタデータ） (2022-10-07T00:33:49Z)
• Theory of Quantum Generative Learning Models with Maximum Mean Discrepancy [67.02951777522547]
  量子回路ボルンマシン(QCBM)と量子生成逆ネットワーク(QGAN)の学習可能性について検討する。 まず、QCBMの一般化能力を解析し、量子デバイスがターゲット分布に直接アクセスできる際の優位性を同定する。 次に、QGANの一般化誤差境界が、採用されるAnsatz、クォーディットの数、入力状態に依存することを示す。
  論文  参考訳（メタデータ） (2022-05-10T08:05:59Z)
• Entropic and operational characterizations of dynamic quantum resources [3.2074558838636262]
  一般閉および凸量子資源理論を特徴付ける新しい方法を提案する。 本稿では, 量子条件最小エントロピーの資源論的一般化を提案する。 通信課題における自由チャネルに対するチャネルの運用上の優位性として,適切に定義されたロバスト性に基づく通信路の計測が可能であることを示す。
  論文  参考訳（メタデータ） (2021-12-13T18:58:36Z)
• LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
  本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。 本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。 アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
  論文  参考訳（メタデータ） (2021-10-04T12:20:23Z)
• Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding [58.720142291102135]
  我々は、ほとんどのフォールトトレラント量子コンピュータにおいて、魔法のリソース測度、探索特性を定義する。 我々の定式化は、連続変数量子計算におけるボソニック符号、よく研究されたツールに基づいている。
  論文  参考訳（メタデータ） (2021-09-27T12:56:01Z)
• An introductory review on resource theories of generalized nonclassical light [0.0]
  量子資源理論はおそらく、量子物理学が経験した中でもっとも革命的なフレームワークである。 一般化された量子光学フレームワークは、いくつかの繁栄した現代的アイデアを持ち込もうとしている。
  論文  参考訳（メタデータ） (2021-03-23T05:10:44Z)
• Error mitigation and quantum-assisted simulation in the error corrected regime [77.34726150561087]
  量子コンピューティングの標準的なアプローチは、古典的にシミュレート可能なフォールトトレラントな演算セットを促進するという考え方に基づいている。 量子回路の古典的準確率シミュレーションをどのように促進するかを示す。
  論文  参考訳（メタデータ） (2021-03-12T20:58:41Z)
• Resource theory of imaginarity: Quantification and state conversion [48.7576911714538]
  想像力の資源理論が導入され、量子力学と量子情報理論における複素数の体系的な研究が可能となった。 虚数量化について検討し、幾何学的虚数性と虚数性の堅牢性に着目し、これらのツールを虚数理論における状態変換問題に適用する。 本研究は, 量子物理学における複素数の重要性を明らかにし, 虚数が光学実験における資源であることを証明する。
  論文  参考訳（メタデータ） (2021-03-02T15:30:27Z)
• From a quantum theory to a classical one [117.44028458220427]
  量子対古典的交叉を記述するための形式的アプローチを提示し議論する。 この手法は、1982年にL. Yaffeによって、大きな$N$の量子場理論に取り組むために導入された。
  論文  参考訳（メタデータ） (2020-04-01T09:16:38Z)
• Information-based approach towards a unified resource theory [0.0]
  資源理論は、リソース豊富な状態と、それ以外は到達不可能なタスクの達成に有用なチャネルを特定する。 我々は、量子的不完全性やリアリズムに基づく非局所性といった新しい概念を含む、いくつかの非古典的な側面を包含できる統一的なアプローチを開発する。
  論文  参考訳（メタデータ） (2020-01-21T12:53:24Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。