論文の概要: A Mathematical Framework for Causally Structured Dilations and its
Relation to Quantum Self-Testing
- arxiv url: http://arxiv.org/abs/2103.02302v1
- Date: Wed, 3 Mar 2021 10:32:34 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-09 08:10:44.956479
- Title: A Mathematical Framework for Causally Structured Dilations and its
Relation to Quantum Self-Testing
- Title(参考訳): 因果構造拡張の数学的枠組みと量子自己テストとの関係
- Authors: Nicholas Gauguin Houghton-Larsen
- Abstract要約: この論文では、量子セルフテスト [MY98,MY04] を運用用語で再放送する。
入力出力過程は、ある固定理論において因果的に構造化されたチャネルによってモデル化される。
実装は、隠れたサイド計算を形式化した因果的に構造化された拡張によってモデル化される。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The motivation for this thesis was to recast quantum self-testing [MY98,MY04]
in operational terms. The result is a category-theoretic framework for
discussing the following general question: How do different implementations of
the same input-output process compare to each other? In the proposed framework,
an input-output process is modelled by a causally structured channel in some
fixed theory, and its implementations are modelled by causally structured
dilations formalising hidden side-computations. These dilations compare through
a pre-order formalising relative strength of side-computations. Chapter 1
reviews a mathematical model for physical theories as semicartesian symmetric
monoidal categories. Many concrete examples are discussed, in particular
quantum and classical information theory. The key feature is that the model
facilitates the notion of dilations. Chapter 2 is devoted to the study of
dilations. It introduces a handful of simple yet potent axioms about dilations,
one of which (resembling the Purification Postulate [CDP10]) entails a duality
theorem encompassing a large number of classic no-go results for quantum
theory. Chapter 3 considers metric structure on physical theories, introducing
in particular a new metric for quantum channels, the purified diamond distance,
which generalises the purified distance [TCR10,Tom12] and relates to the Bures
distance [KSW08a]. Chapter 4 presents a category-theoretic formalism for
causality in terms of '(constructible) causal channels' and 'contractions'. It
simplifies aspects of the formalisms [CDP09,KU17] and relates to traces in
monoidal categories [JSV96]. The formalism allows for the definition of 'causal
dilations' and the establishment of a non-trivial theory of such dilations.
Chapter 5 realises quantum self-testing from the perspective of chapter 4, thus
pointing towards the first known operational foundation for self-testing.
- Abstract(参考訳): この論文の動機は、量子自己テスト[my98,my04]を運用用語で再キャストすることであった。
その結果、以下の一般的な問題について議論するためのカテゴリ理論のフレームワークである。 同じ入出力プロセスの異なる実装は、どのように互いに比較するのか?
提案フレームワークでは、ある固定理論において、入力出力プロセスは因果的に構造化されたチャネルでモデル化され、その実装は隠れ側計算を形式化した因果的に構造化された拡張によってモデル化される。
これらの拡張は、サイド計算の相対強度を定式化するプレオーダーによって比較される。
第1章は、物理理論の数学的モデルを半カルト対称モノイダル圏としてレビューする。
多くの具体例、特に量子情報理論と古典情報理論が議論されている。
重要な特徴は、モデルが拡張の概念を促進することである。
第2章は辞書の研究に充てられている。
ダイレーションに関する単純だが強力な公理がいくつか導入されており、そのうちの1つ(Purification Postulate [CDP10] を組み立てる)は、量子論の古典的ノーゴー結果を多数含む双対定理を含む。
第3章では物理理論の計量構造を考察し、特に量子チャネルの新しいメートル法、精製されたダイヤモンド距離(TCR10,Tom12)を導入し、バーズ距離(KSW08a)に関連する。
第4章は「(構成可能な)因果経路」と「契約」の観点で因果性に関するカテゴリー論的形式論を提示している。
形式論 [cdp09,ku17] の側面を単純化し、モノイド圏 [jsv96] のトレースに関連付ける。
形式主義は「causal dilation」の定義とそのような拡張の非自明な理論の確立を可能にする。
第5章は、第4章の観点から量子自己テストを実現するため、自己テストのための最初の既知の運用基盤を指す。
関連論文リスト
- Connecting classical finite exchangeability to quantum theory [45.76759085727843]
交換性は確率論と統計学の基本的な概念である。
観測順序が重要でない状況のモデル化を可能にする。
両定理が有限交換可能な列に対して成り立たないことはよく知られている。
論文 参考訳(メタデータ) (2023-06-06T17:15:19Z) - Causal models in string diagrams [0.0]
因果モデル(英語版)の枠組みは、今日多くの科学的領域で適用されている因果推論に対する原則化されたアプローチを提供する。
本稿では,この枠組みを,圏論を用いて形式的に解釈した文字列図形言語に提示する。
因果モデルフレームワークによる因果推論は、最も自然かつ直感的に図式推論として行われることを議論し、実証する。
論文 参考訳(メタデータ) (2023-04-15T21:54:48Z) - A Semantics for Counterfactuals in Quantum Causal Models [0.0]
本稿では,量子因果モデルの枠組みにおいて,逆ファクトクエリの評価のための形式的手法を提案する。
我々はパールの「古典的構造因果モデル」の概念の適切な拡張を定義する。
古典的(確率論的)構造因果モデルは全て、量子構造因果モデルに拡張可能であることを示す。
論文 参考訳(メタデータ) (2023-02-23T05:00:14Z) - General quantum algorithms for Hamiltonian simulation with applications
to a non-Abelian lattice gauge theory [44.99833362998488]
複数の量子数の相関変化からなる相互作用のクラスを効率的にシミュレートできる量子アルゴリズムを導入する。
格子ゲージ理論は、1+1次元のSU(2)ゲージ理論であり、1つのスタッガードフェルミオンに結合する。
これらのアルゴリズムは、アベリアおよび非アベリアゲージ理論と同様に高次元理論にも適用可能であることが示されている。
論文 参考訳(メタデータ) (2022-12-28T18:56:25Z) - Generalized Gleason theorem and finite amount of information for the
context [0.0]
量子プロセスは、測定手順の記述のコンテキストを指定せずに、古典的なプロセスに還元することはできない。
我々は、測定コンテキストに関する情報の量が有限であると仮定して、隠れ変数理論のクラスを考える。
論文 参考訳(メタデータ) (2022-06-23T16:55:50Z) - A Mathematical Framework for Transformations of Physical Processes [0.7614628596146599]
我々は、高次物理学における逐次および平行な合成超写像の存在を、リッチな圏論を用いて定式化できることを観察する。
我々は、高階物理理論の間の構造保存写像の適切な定義を構築するために、リッチなモノイド設定を用いる。
第2の応用では、構造保存写像の定義を用いて、その間の写像を保存する完全かつ忠実な構造を持つリッチモノイダル圏の無限タワーを含む圏が、必然的に閉モノイダル構造につながることを示す。
論文 参考訳(メタデータ) (2022-04-08T22:53:02Z) - Causality in Higher Order Process Theories [0.7614628596146599]
プロセス理論の4つの簡単な公理からHOPTフレームワークを等価に構築する。
次に、HOPTフレームワークを用いて因果関係、決定性、シグナル伝達などの基本的な特徴間の関係を確立する。
論文 参考訳(メタデータ) (2021-07-30T12:36:12Z) - Causal Expectation-Maximisation [70.45873402967297]
ポリツリーグラフを特徴とするモデルにおいても因果推論はNPハードであることを示す。
我々は因果EMアルゴリズムを導入し、分類的表現変数のデータから潜伏変数の不確かさを再構築する。
我々は、反事実境界が構造方程式の知識なしにしばしば計算できるというトレンドのアイデアには、目立たずの制限があるように思える。
論文 参考訳(メタデータ) (2020-11-04T10:25:13Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳(メタデータ) (2020-06-03T17:54:43Z) - Emergence of classical behavior in the early universe [68.8204255655161]
3つの概念は本質的に同値であると仮定され、同じ現象の異なる面を表す。
古典位相空間上の幾何構造のレンズを通して、一般のフリードマン=ルマイト=ロバートソン=ヴァルカー空間で解析する。
分析によれば、 (i) インフレーションは本質的な役割を果たさない; 古典的行動はより一般的に現れる; (ii) 3つの概念は概念的に異なる; 古典性はある意味で現れるが別の意味では生じない。
論文 参考訳(メタデータ) (2020-04-22T16:38:25Z) - From a quantum theory to a classical one [117.44028458220427]
量子対古典的交叉を記述するための形式的アプローチを提示し議論する。
この手法は、1982年にL. Yaffeによって、大きな$N$の量子場理論に取り組むために導入された。
論文 参考訳(メタデータ) (2020-04-01T09:16:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。