論文の概要: The operadic theory of convexity
- arxiv url: http://arxiv.org/abs/2403.18102v1
- Date: Tue, 26 Mar 2024 21:01:39 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-28 20:55:22.697877
- Title: The operadic theory of convexity
- Title(参考訳): 凸性のオペラ的理論
- Authors: Redi Haderi, Cihan Okay, Walker H. Stern,
- Abstract要約: 我々は、PROP上の代数の観点から凸性を特徴づけ、凸集合の圏上でテンソル積のような対称モノイド構造を確立する。
この構成を、Baez, Fritz, Leinsterのエントロピーのカテゴリー的特徴付けと、単純分布の枠組みにおける量子的文脈性の研究に適用する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal categories, we state and prove a Grothendieck construction for lax $\scr{O}$-monoidal functors into convex sets. We apply this construction to the categorical characterization of entropy of Baez, Fritz, and Leinster, and to the study of quantum contextuality in the framework of simplicial distributions.
- Abstract(参考訳): 本稿では、PROP上の代数の項で凸性を特徴づけ、凸集合の圏上でテンソル積のような対称モノイド構造を確立する。
これら2つの構造と$\scr{O}$-モノイド圏の理論を用いて、ax$\scr{O}$-モノイド関手を凸集合としてグロタンディークの構成を記述し証明する。
この構成を、Baez, Fritz, Leinsterのエントロピーのカテゴリー的特徴付けと、単純分布の枠組みにおける量子的文脈性の研究に適用する。
関連論文リスト
- Classification of qubit cellular automata on hypercubic lattices [45.279573215172285]
我々は、有限深度量子回路として実現可能性の観点から、フォン・ノイマン近傍スキームによる格子上の量子ビットQCAを$mathbb Zs$で分類する。
このような量子回路の最も一般的な構造を示し、その特性化を利用して、進化のいくつかのステップをシミュレートし、1つのセルとその周辺における絡み合いの発生率を評価する。
論文 参考訳(メタデータ) (2024-08-08T14:42:39Z) - Enriching Diagrams with Algebraic Operations [49.1574468325115]
モノイド圏における図式推論を代数演算や方程式で拡張する。
この構造が量子系におけるノイズの図解的推論にどのように利用できるかを示す。
論文 参考訳(メタデータ) (2023-10-17T14:12:39Z) - Entanglement of Sections: The pushout of entangled and parameterized
quantum information [0.0]
最近、フリードマン・アンド・ヘイスティングス (Freedman & Hastings) は、量子エンタングルメント/テンソル構造とパラメータ化/構造を統一する数学的理論を求めた。
我々は、モノイド圏論における関連するプッシュアウト図形の正確な形を作る。
このモデルカテゴリーが線形ホモトピー型理論の線形乗法的断片の分類的意味論としてどのように機能するかを示す。
論文 参考訳(メタデータ) (2023-09-13T18:28:43Z) - Noncommutative integration, quantum mechanics, Tannaka's theorem for
compact groupoids and examples [0.0]
位相群を有限かつコンパクトな設定で考える。
最初の節では、典型的な可観測物の定義を導入し、統計力学と量子力学の文脈でそれらを研究した。
我々は明示的な例を示し、そのうちの1つはいわゆる量子ラチェットである。
論文 参考訳(メタデータ) (2023-03-21T11:18:20Z) - Annihilating Entanglement Between Cones [77.34726150561087]
ローレンツ錐体は、ある種の強いレジリエンス特性を満たす対称基底を持つ唯一の円錐体であることを示す。
我々の証明はローレンツ・コーンの対称性を利用しており、エンタングルメント蒸留のプロトコルに類似した2つの構造を適用している。
論文 参考訳(メタデータ) (2021-10-22T15:02:39Z) - Optimization and Sampling Under Continuous Symmetry: Examples and Lie
Theory [26.555110725656963]
リーアンの定理、リー群、リー代数およびハリシュ・チャンドラ-イッツィ積分の公式の例を示す。
次に、連続対称性を捉えるために必要不可欠な数学的ツールキットである最適化理論を紹介する。
論文 参考訳(メタデータ) (2021-09-02T16:44:44Z) - Crossing with the circle in Dijkgraaf-Witten theory and applications to
topological phases of matter [0.0]
これらの条件を4-3-2-1 Dijkgraaf-Witten理論で計算する。
この理論の格子ハミルトン実現の文脈において、円とトーラスに割り当てられた量子不変量は、欠陥開弦やバルクループのような励起を符号化する。
論文 参考訳(メタデータ) (2021-03-23T17:37:24Z) - Categories of Br\`egman operations and epistemic (co)monads [0.0]
我々は、適切な反射的バナッハ空間の凸閉集合を対象として、非線形後量子推論のための分類的枠組みを構築する。
これはチェンコフの状態空間間の線型正の写像の圏の研究プログラムの非線形凸解析アナログを提供する。
ブレグマン的アプローチは、この設定の特別なケースを提供することを示す。
論文 参考訳(メタデータ) (2021-03-13T23:10:29Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳(メタデータ) (2020-06-03T17:54:43Z) - Geometry from divergence functions and complex structures [0.0]
積 $Mtimes M$ 上の概複素構造 $J$ を任意の並列化可能な統計多様体 $M$ に対して導入する。
次に、$J$を用いて、発散関数からプレシンプレクティック形式と$Mtimes M$上の計量的テンソルを抽出する。
論文 参考訳(メタデータ) (2020-02-07T16:47:18Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。