論文の概要: Dagger linear logic and categorical quantum mechanics
- arxiv url: http://arxiv.org/abs/2303.14231v1
- Date: Fri, 24 Mar 2023 18:52:50 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-28 21:17:22.447332
- Title: Dagger linear logic and categorical quantum mechanics
- Title(参考訳): ダガー線形論理とカテゴリー量子力学
- Authors: Priyaa Varshinee Srinivasan
- Abstract要約: この論文は、非コンパクト乗法的ダガー線形論理の分類的証明理論を発展させている。
カテゴリー量子力学(CQM)への応用に関する研究
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This thesis develops the categorical proof theory for the non-compact
multiplicative dagger linear logic, and investigates its applications to
Categorical Quantum Mechanics (CQM). The existing frameworks of CQM are
categorical proof theories of compact dagger linear logic, and are motivated by
the interpretation of quantum systems in the category of finite dimensional
Hilbert spaces. This thesis describes a new non-compact framework called Mixed
Unitary Categories which can accommodate infinite dimensional systems, and
develops models for the framework. To this end, it builds on linearly
distributive categories, and $*$-autonomous categories which are categorical
proof theories of (non-compact) multiplicative linear logic. The proof theory
of non-compact dagger-linear logic is obtained from the basic setting of an LDC
by adding a dagger functor satisfying appropriate coherences to give a
dagger-LDC. From every (isomix) dagger-LDC one can extract a canonical "unitary
core" which up to equivalence is the traditional CQM framework of
dagger-monoidal categories. This leads to the framework of Mixed Unitary
Categories (MUCs): every MUC contains a (compact) unitary core which is
extended by a (non-compact) isomix dagger-LDC. Various models of MUCs based on
Finiteness Spaces, Chu spaces, Hopf modules, etc., are developed in this
thesis. This thesis also generalizes the key algebraic structures of CQM, such
as observables, measurement, and complementarity, to MUC framework.
Furthermore, using the MUC framework, this thesis establishes a connection
between the complementary observables of quantum mechanics and the exponential
modalities of linear logic.
- Abstract(参考訳): この論文は非コンパクトな乗法ダガー線形論理の圏論的証明理論を発展させ、圏論的量子力学(cqm)への応用を研究する。
既存の CQM のフレームワークはコンパクトダガー線型論理の分類的証明理論であり、有限次元ヒルベルト空間の圏における量子系の解釈によって動機付けられる。
この論文では、無限次元のシステムに対応可能なMixed Unitary Categoriesと呼ばれる新しい非コンパクトフレームワークを説明し、フレームワークのモデルを開発する。
この目的のために、線形分布圏と(非コンパクトな)乗法線形論理の分類的証明理論である$*$-自己同型圏の上に構築される。
非コンパクトなダガー線形論理の証明理論は、ダガー-LDCを与える適切なコヒーレンスを満たすダガー関手を追加することにより、LCCの基本設定から得られる。
すべての (isomix) dagger-ldc から、同値まで標準の "unitary core" を抽出することができ、これはdagger-monoidal categoryの伝統的な cqm フレームワークである。
これは混合ユニタリカテゴリ(MUC)のフレームワークにつながります: すべてのMUCは(コンパクトでない)ユニタリコアを含み、(非コンパクトな)アイソミックスダガー-LDCで拡張されます。
本論文では, 有限性空間, チュ空間, ホップモジュールなどに基づく MUC の様々なモデルを開発した。
この論文はまた、可観測性、測定、相補性といったCQMの重要な代数構造をMUCフレームワークに一般化する。
さらに、MUCフレームワークを用いて、この論文は量子力学の相補的な可観測性と線形論理の指数的モジュラリティとの間の接続を確立する。
関連論文リスト
- Tensor product random matrix theory [39.58317527488534]
相関量子系の進化に対する実時間場理論のアプローチを導入する。
初期積状態から最大エントロピーエルゴード状態まで、そのようなクロスオーバーダイナミクスの全範囲について述べる。
論文 参考訳(メタデータ) (2024-04-16T21:40:57Z) - A Profunctorial Semantics for Quantum Supermaps [0.0]
図形のブラックボックスの一般化は、コンクリートネットワーク上のコプレシーブの圏における射として、プロファンクター光学のより広い分野に置かれる。
これらの分解定理の核心には、ヨネダ補題と表現可能性の概念があることが示される。
論文 参考訳(メタデータ) (2024-02-05T13:35:03Z) - Applications of flow models to the generation of correlated lattice QCD ensembles [69.18453821764075]
機械学習された正規化フローは、格子量子場理論の文脈で、異なる作用パラメータで格子ゲージ場の統計的に相関したアンサンブルを生成するために用いられる。
本研究は,これらの相関を可観測物の計算における分散低減に活用する方法を実証する。
論文 参考訳(メタデータ) (2024-01-19T18:33:52Z) - Machine learning detects terminal singularities [49.1574468325115]
Q-ファノ多様体は、Q-階数終端特異点を持つ正の曲線形状である。
その重要性にもかかわらず、Q-Fanoの分類は未だ不明である。
本稿では,この分類を理解するために機械学習を用いることを実証する。
論文 参考訳(メタデータ) (2023-10-31T13:51:24Z) - Entanglement of Sections: The pushout of entangled and parameterized
quantum information [0.0]
最近、フリードマン・アンド・ヘイスティングス (Freedman & Hastings) は、量子エンタングルメント/テンソル構造とパラメータ化/構造を統一する数学的理論を求めた。
我々は、モノイド圏論における関連するプッシュアウト図形の正確な形を作る。
このモデルカテゴリーが線形ホモトピー型理論の線形乗法的断片の分類的意味論としてどのように機能するかを示す。
論文 参考訳(メタデータ) (2023-09-13T18:28:43Z) - The Lindstrom's Characterizability of Abstract Logic Systems for
Analytic Structures Based on Measures [0.0]
我々はリンドストロームの特徴化プログラムを無限論理系のクラスに拡張する。
特に、Hajekの積分論理は、新しいタイプのHajekの満足度を持つ抽象論理として再定義されている。
論文 参考訳(メタデータ) (2023-02-26T21:48:25Z) - Sequential measurements, TQFTs, and TQNNs [0.0]
スケールフリーアーキテクチャで汎用量子情報を実装する新しい手法を提案する。
システムの境界となるホログラフィック画面から導出される測定演算子によって導出される有限ビット列が、観測結果をどのように捉えているかを示す。
解析を拡張して、トポロジカル量子ニューラルネットワーク(TQNN)を開発し、量子ニューラルネットワーク2-複素方程式の関手進化による機械学習を可能にする。
論文 参考訳(メタデータ) (2022-05-26T06:37:57Z) - A Unifying and Canonical Description of Measure-Preserving Diffusions [60.59592461429012]
ユークリッド空間における測度保存拡散の完全なレシピは、最近、いくつかのMCMCアルゴリズムを単一のフレームワークに統合した。
我々は、この構成を任意の多様体に改善し一般化する幾何学理論を開発する。
論文 参考訳(メタデータ) (2021-05-06T17:36:55Z) - A Mathematical Framework for Causally Structured Dilations and its
Relation to Quantum Self-Testing [0.0]
この論文では、量子セルフテスト [MY98,MY04] を運用用語で再放送する。
入力出力過程は、ある固定理論において因果的に構造化されたチャネルによってモデル化される。
実装は、隠れたサイド計算を形式化した因果的に構造化された拡張によってモデル化される。
論文 参考訳(メタデータ) (2021-03-03T10:32:34Z) - Quantum Relativity of Subsystems [58.720142291102135]
異なる参照フレームパースペクティブは、サブシステム観測可能代数の異なる集合を誘導し、ゲージ不変でフレーム依存的なサブシステムと絡み合いの概念をもたらすことを示す。
そのような QRF パースペクティブは、運動力学ヒルベルト空間と可観測代数の対応するテンソル分解性の観点から、サブシステム間の区別を継承しない。
この条件はQRFの選択に関係しているため、サブシステムの局所性の概念はフレーム依存である。
論文 参考訳(メタデータ) (2021-03-01T19:00:01Z) - Tensor network models of AdS/qCFT [69.6561021616688]
準周期共形場理論(qCFT)の概念を導入する。
離散ホログラフィーのパラダイムに属するものとして,qCFTが最適であることを示す。
論文 参考訳(メタデータ) (2020-04-08T18:00:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。