論文の概要: Composable constraints
- arxiv url: http://arxiv.org/abs/2112.06818v1
- Date: Mon, 13 Dec 2021 17:24:47 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-04 16:31:38.695027
- Title: Composable constraints
- Title（参考訳）: 構成制約
- Authors: Matt Wilson, Augustin Vanrietvelde
- Abstract要約: 任意の構成可能な制約符号化を用いて、制約付き圏の等価な概念を構築することができることを示す。
並列合成, コンパクト性, 時間対称性など, 対象のカテゴリ構造を付加して制約の整合性を表現する方法を示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce a notion of compatibility between constraint encoding and
compositional structure. Phrased in the language of category theory, it is
given by a "composable constraint encoding". We show that every composable
constraint encoding can be used to construct an equivalent notion of a
constrained category in which morphisms are supplemented with the constraints
they satisfy. We further describe how to express the compatibility of
constraints with additional categorical structures of their targets, such as
parallel composition, compactness, and time-symmetry. We present a variety of
concrete examples. Some are familiar in the study of quantum protocols and
quantum foundations, such as signalling and sectorial constraints; others arise
by construction from basic categorical notions. We use the language developed
to discuss the notion of intersectability of constraints and the
simplifications it allows for when present, and to show that any time-symmetric
theory of relational constraints admits a faithful notion of intersection.
- Abstract（参考訳）: 制約符号化と構成構造との整合性の概念を導入する。
圏論の言語で説明され、"composable constraint encoding" によって与えられる。
すべての構成可能な制約符号化は、射がそれらを満たす制約を補うような制約付き圏の同値な概念を構築するのに利用できることを示す。
さらに, 並列合成, コンパクト性, 時間対称性など, 目標のカテゴリー構造を追加して制約の適合性を表現する方法について述べる。
我々は様々な具体例を示す。
量子プロトコルや量子基盤の研究に精通している者もおり、例えばシグナルやセクター的制約など、基本的な分類学的な概念から構築することによって生じるものもある。
我々は、制約の解釈可能性の概念とそれが存在するときに許す単純化について議論するために開発された言語を使用し、関係制約の時間対称理論が交叉の忠実な概念を認めることを示す。
関連論文リスト
- Compositional Structures in Neural Embedding and Interaction Decompositions [101.40245125955306]
ニューラルネットワークにおけるベクトル埋め込みにおける線形代数構造間の基本的な対応について述べる。
相互作用分解」の観点から構成構造の特徴づけを導入する。
モデルの表現の中にそのような構造が存在するためには、必要かつ十分な条件を確立する。
論文 参考訳（メタデータ） (2024-07-12T02:39:50Z) - A Canonicalization Perspective on Invariant and Equivariant Learning [54.44572887716977]
フレームの設計について,本質的で完全な視点を提供する正準化の視点を導入する。
フレームと標準形式の間には固有の関係があることが示される。
既存の手法よりも厳密な固有ベクトルのための新しいフレームを設計する。
論文 参考訳（メタデータ） (2024-05-28T17:22:15Z) - Characterizing Hybrid Causal Structures with the Exclusivity Graph
Approach [0.41942958779358674]
グラフ理論の手法を拡張して、ハイブリッドシナリオにおける古典的、量子的、無シグナリング分布を探索する。
提案手法により,古典的,量子的,無シグナリングな動作を同時に区別できる最小のベル的不等式を構築することができることを示す。
この手法は量子ネットワークの研究や量子情報処理への応用のための強力なツールである。
論文 参考訳（メタデータ） (2023-12-29T19:44:38Z) - Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。
最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。
シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文 参考訳（メタデータ） (2023-10-05T07:10:40Z) - Unifying different notions of quantum incompatibility into a strict
hierarchy of resource theories of communication [60.18814584837969]
我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。
我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
論文 参考訳（メタデータ） (2022-11-16T21:33:31Z) - On limitations of learning algorithms in competitive environments [77.34726150561087]
本稿では,競争環境における対戦目標を追求する汎用学習アルゴリズムの概念的限界について論じる。
これらの制限は、競争環境において一般的に存在する不透過性と関連している。
論文 参考訳（メタデータ） (2020-11-25T13:40:08Z) - Orthologics for Cones [5.994412766684843]
本稿では,そのような幾何学的構造の論理について考察する。
閉凸円錐を保った部分モジュラリティ則を持つ最小オルソロジーの拡張を記述する。
この論理は、(凸性/凸性を明らかにする)実現可能なデータ構造と、完全な直交を含む十分な表現性を組み合わせたものである。
論文 参考訳（メタデータ） (2020-08-07T13:28:27Z) - Efficient Generation of Structured Objects with Constrained Adversarial
Networks [25.74932947671932]
GAN(Generative Adversarial Networks)は、分子やゲームマップのような構造化オブジェクトを生成するのに苦労する。
本稿では,モデルに制約を埋め込んだGANの拡張であるConstrained Adversarial Networks (CANs)を提案する。
CANは(高い確率で)有効構造の効率的な推論をサポートし、推論時に学習した制約をオン/オフすることができる。
論文 参考訳（メタデータ） (2020-07-26T19:04:37Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳（メタデータ） (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。