論文の概要: Constructor Theory as Process Theory
- arxiv url: http://arxiv.org/abs/2401.05364v1
- Date: Thu, 14 Dec 2023 12:58:55 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-15 08:57:08.021105
- Title: Constructor Theory as Process Theory
- Title（参考訳）: プロセス理論としてのコンストラクタ理論
- Authors: Stefano Gogioso (Hashberg Ltd), Vincent Wang-Ma\'scianica (Quantinuum
Ltd), Muhammad Hamza Waseem (Quantinuum Ltd), Carlo Maria Scandolo
(University of Calgary), Bob Coecke (Quantinuum Ltd)
- Abstract要約: プロセス理論のキャンバス内でコンストラクタ理論の基本概念を定式化する方法を示す。
我々は、コンストラクタ理論がプロセス理論文学のより広い体系とどのように関係しているかという疑問に答える。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Constructor theory is a meta-theoretic approach that seeks to characterise
concrete theories of physics in terms of the (im)possibility to implement
certain abstract "tasks" by means of physical processes. Process theory, on the
other hand, pursues analogous characterisation goals in terms of the
compositional structure of said processes, concretely presented through the
lens of (symmetric monoidal) category theory. In this work, we show how to
formulate fundamental notions of constructor theory within the canvas of
process theory. Specifically, we exploit the functorial interplay between the
symmetric monoidal structure of the category of sets and relations, where the
abstract tasks live, and that of symmetric monoidal categories from physics,
where concrete processes can be found to implement said tasks. Through this, we
answer the question of how constructor theory relates to the broader body of
process-theoretic literature, and provide the impetus for future collaborative
work between the fields.
- Abstract（参考訳）: コンストラクタ理論(英: constructor theory)は、物理過程によって抽象的な「タスク」を実装する(im)可能性の観点から、具体的な物理学理論を特徴づけようとするメタ理論的アプローチである。
一方、プロセス理論は、上記のプロセスの構成構造の観点から類似のキャラクタリゼーション目標を追求し、具体的には(対称モノイド)圏論のレンズを通して提示される。
本稿では,プロセス理論におけるコンストラクタ理論の基本概念を定式化する方法について述べる。
具体的には、集合の圏の対称モノイド構造と抽象的なタスクが存在する関係と、そのタスクを具体的プロセスで実装できる物理学からの対称モノイドの圏との間の関手的相互作用を利用する。
これを通じて, コンストラクタ理論がプロセス理論文学のより広範な体系とどのように関係するかという疑問に答え, フィールド間の将来の協調作業への効果を提供する。
関連論文リスト
- Learning Discrete Concepts in Latent Hierarchical Models [73.01229236386148]
自然の高次元データから学習する概念は、ヒューマンアライメントと解釈可能な機械学習モデルの構築の可能性を秘めている。
我々は概念を階層的因果モデルを通して関連付けられた離散潜在因果変数として定式化する。
我々は、理論的な主張を合成データ実験で裏付ける。
論文 参考訳（メタデータ） (2024-06-01T18:01:03Z) - Pregeometry, Formal Language and Constructivist Foundations of Physics [0.0]
我々は、量子幾何学の新しい概念と既存の概念が基礎となる前幾何学構造のメタ物理について論じる。
我々は、形式言語、特にホモトピー型理論の枠組みが前幾何学理論の概念的構成要素を提供することを示す証拠に注意を向ける。
論文 参考訳（メタデータ） (2023-11-07T13:19:29Z) - Provable Compositional Generalization for Object-Centric Learning [55.658215686626484]
既知の概念の新規な構成に一般化する学習表現は、人間と機械の知覚のギャップを埋めるのに不可欠である。
本稿では,デコーダの構造的仮定を満足し,エンコーダとデコーダの整合性を強制するオートエンコーダが,構成を確実に一般化するオブジェクト中心表現を学習することを示す。
論文 参考訳（メタデータ） (2023-10-09T01:18:07Z) - The Generative Programs Framework [0.0]
任意の量的物理理論は、生成プログラムの形式で表すことができると論じる。
これらのグラフは「存在論的優先関係の符号化」と解釈でき、存在論的優先関係は因果関係の適切な一般化である。
論文 参考訳（メタデータ） (2023-07-21T00:57:05Z) - A Category-theoretical Meta-analysis of Definitions of Disentanglement [97.34033555407403]
データの変化の要因を識別することは、機械学習の基本的な概念である。
本稿では,既存の乱れの定義をメタ分析する。
論文 参考訳（メタデータ） (2023-05-11T15:24:20Z) - A Mathematical Framework for Transformations of Physical Processes [0.7614628596146599]
我々は、高次物理学における逐次および平行な合成超写像の存在を、リッチな圏論を用いて定式化できることを観察する。
我々は、高階物理理論の間の構造保存写像の適切な定義を構築するために、リッチなモノイド設定を用いる。
第2の応用では、構造保存写像の定義を用いて、その間の写像を保存する完全かつ忠実な構造を持つリッチモノイダル圏の無限タワーを含む圏が、必然的に閉モノイダル構造につながることを示す。
論文 参考訳（メタデータ） (2022-04-08T22:53:02Z) - Operational Theories as Structural Realism [0.0]
我々は、量子力学の操作的公理は、構造的リアリズムの新たな形態として解釈されるかもしれないと論じる。
構造的リアリズムの哲学に対するこの解釈の結果と、運用理論の将来について論じる。
論文 参考訳（メタデータ） (2022-01-23T17:00:58Z) - Quantum Simulation of Conformal Field Theory [77.34726150561087]
共形場の理論の力学をシミュレートする量子アルゴリズムについて述べる。
近似誤差の完全な解析は、短期適用可能性を示している。
論文 参考訳（メタデータ） (2021-09-29T06:44:33Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳（メタデータ） (2021-01-13T15:22:01Z) - Self-adjointness in Quantum Mechanics: a pedagogical path [77.34726150561087]
本稿では、量子可観測体を単にエルミート作用素ではなく、必然的に自己共役として出現させることを目的とする。
推論の行の中心となるコアの隣では、観測可能な正式なアクションに関連付けるために、ドメインの非自明な宣言が必要である。
論文 参考訳（メタデータ） (2020-12-28T21:19:33Z) - Unscrambling the omelette of causation and inference: The framework of
causal-inferential theories [0.0]
プロセス理論形式論を用いた因果推論理論の概念を導入する。
この型で運用理論と現実主義理論の考え方をリキャストすることで、実験の現実主義的説明が操作的説明を超えたものを提供するものを明らかにする。
因果関係と推論の概念がそれらの従来の(古典的な)解釈と異なるような現実主義因果推論理論の公理を特定できるならば、本質的な量子的リアリズムの概念を定義する手段がある。
論文 参考訳（メタデータ） (2020-09-07T17:58:22Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。