論文の概要: The Logic of Partitions and Partition Logics: Ore's Correspondence, Contextual Pasting, and Direct-Sum Decompositions
- arxiv url: http://arxiv.org/abs/2608.08931v1
- Date: Sun, 09 Aug 2026 21:45:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-11 19:16:36.998034
- Title: The Logic of Partitions and Partition Logics: Ore's Correspondence, Contextual Pasting, and Direct-Sum Decompositions
- Title（参考訳）: 分割論理と分割論理--オレの対応、文脈ペースト、直和分解
- Abstract要約: 分割論理は異なるレベルで2つの構成を示す。
エルラーマンの直和分解はベクトル空間を与える。
Gleason と Kochen--Specker のアプリケーションは、グローバルなコンテキスト一貫性のバリュエーションを必要とする。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The term ``partition logic'' denotes two constructions at different levels. In automaton and generalized-urn models, selected partitions generate Boolean event algebras whose contextwise union forms a concrete pasted event structure; in Ellerman's framework, whole partitions are classifications governed by refinement and partition operations. For a finite set $U$, Ore's correspondence maps each generator $π$ to its Boolean algebra $\BA(π)$, but it neither identifies the pasted carrier with $\Part(U)$ nor makes pasting a partition operation. It yields $\BA(π\wedgeσ)=\BA(π)\cap\BA(σ)$ and $\BA(π\veeσ)=\langle\BA(π)\cup\BA(σ)\rangle_{\rm BA}$, where $\langle\cdot\rangle_{\rm BA}$ denotes Boolean-algebra generation. Thus meet captures the common event algebra, whereas join gives the ambient Boolean closure. Chinese-lantern, Firefly, and triangular examples distinguish shared events, atomic intertwining, and inherited concrete order. Ellerman's direct-sum decompositions (DSDs) provide a vector-space analogue: component projections of an orthogonal DSD resolve the identity and encode exclusive outcomes, but its components are not equivalence classes of vectors. Gleason and Kochen--Specker applications require globally context-consistent valuations on those projections.
- Abstract（参考訳）: 分割論理」という用語は、異なるレベルの2つの構成を表す。
オートマトンモデルや一般化ルンモデルでは、選択されたパーティションは、コンテキスト結合が具体的なペーストされたイベント構造を形成するブールイベント代数を生成する。
有限集合 $U$ に対して、オレの対応式は各生成元 $π$ をブール代数 $\BA(π)$ に写すが、$\Part(U)$ でペーストされたキャリアを識別することも、パーティション演算を貼り付けることもできない。
これは$\BA(π\wedgeσ)=\BA(π)\cap\BA(σ)$と$\BA(π\veeσ)=\langle\BA(π)\cup\BA(σ)\rangle_{\rm BA}$となり、$\langle\cdot\rangle_{\rm BA}$はブール代数の生成を表す。
したがって、ミートは共通の事象代数を捉え、一方ジョインは周囲のブール閉包を与える。
中国・ランタン、フライヤーフライ、三角形の例は、共有イベント、原子間相互作用、および継承されたコンクリート秩序を区別する。
直交DSDの成分射影はアイデンティティを解決し排他的な結果を符号化するが、その成分はベクトルの同値類ではない。
Gleason と Kochen--Specker のアプリケーションは、これらのプロジェクションにグローバルなコンテキスト一貫性のバリュエーションを必要とする。
関連論文リスト
- Score the Algebra, Not the Span: Dimension Reduction for Transfer Operator Models of Dynamical Systems [48.096969031315744]
弱い相互作用を持つコンポーネントから組み立てられたシステムでは、コンポーネントはモデル化されるよりもモデルから欠落しており、その機能を正確に予測することはできないことを示す。
代わりに、座標が生成する$-algebraをスコアし、製品とパワーが自由になり、コンポーネントのコストがジェネレータによってのみ管理されるようにすることを提案する。
論文 参考訳（メタデータ） (2026-08-19T13:49:51Z) - Entangling Topological Invariants [1.5899159309486681]
分離された占有多重化は、グローバルに一貫したサブシステム構造を持たず、局所的なテンソル積の記述を許容する。
本稿では,2つの候補サブシステムにおける独立基底変化によって生成されるものと,占有された多重関数の遷移関数を比較することで,障害を特徴づける。
論文 参考訳（メタデータ） (2026-08-04T13:18:58Z) - Regularity as seen by Alice and Bob [0.0]
本稿では,異なる出力領域を持つ関数間の正則性特徴付けのための統一モデルを提案する。
ここでは、$* から domain$ への関数を考え、$$ は有限アルファベットであり、$ domain は任意のドメインである。
この枠組みを名詞集合の設定において無限のアルファベットに拡張し、その表現性を原子を持つ単語の言語で調べる。
論文 参考訳（メタデータ） (2026-07-15T12:38:07Z) - SILAGE: Memory-Efficient, Full-Gradient-Free Nonconvex Optimization for Nested Finite Sums [51.49970814177172]
データセットに対する経験的リスクは、自然に$N=nm$全サンプルに類似性を示す。
我々は悲観的な収束分析を避ける分析を提供する。
我々の成果は、既存の最先端の体制を改善した。
論文 参考訳（メタデータ） (2026-06-14T14:11:07Z) - Toward a Theory of Hierarchical Memory for Language Agents [0.07829352305480285]
3つの作用素の観点から統一理論を提案する。
文書階層、会話記憶、エージェント実行トレースにまたがる11の既存システムの分解をインスタンス化する。
論文 参考訳（メタデータ） (2026-03-23T04:35:13Z) - Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding [0.2864713389096699]
我々は、文脈自由文法(CFG)からコンパイルされたプッシュダウンシステム上での自己回帰的次トーケン分布と到達可能性との結合として文法制約デコーディング(GCD)を研究する。
文法の復号コスト等価クラスを定義し、有界書き直し科における最小SAC代表者の存在を証明した。
論文 参考訳（メタデータ） (2026-03-04T11:49:55Z) - Group Representational Position Encoding [66.33026480082025]
グループ行動に基づく位置符号化のための統一的なフレームワークであるGRAPEを提案する。
i)乗法回転 (Multiplicative GRAPE) in $mathrmSO(d)$ と (ii)加法ロジットバイアス (Additive GRAPE) は一般線型群 $mathrmGL$ における一等作用から生じる。
論文 参考訳（メタデータ） (2025-12-08T18:39:13Z) - Horizon-Free and Variance-Dependent Reinforcement Learning for Latent
Markov Decision Processes [62.90204655228324]
我々は,後期マルコフ決定過程(LMDP)における強化学習(RL)の文脈を考慮した後悔の最小化について検討した。
我々は,モデル最適化と値最適化の両手法でインスタンス化できる,新しいモデルベースアルゴリズムフレームワークを設計する。
論文 参考訳（メタデータ） (2022-10-20T21:32:01Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
我々は、Ksubseteq G$ の部分群に基づく境界の体系的な扱いを、バルクの Kokuev 量子倍 D(G)$ モデルで提供する。
境界サイトは$*$-subalgebra $Xisubseteq D(G)$の表現であり、その構造を強い$*$-準ホップ代数として説明する。
治療の応用として、水平方向の$K=G$と垂直方向の$K=e$に基づく境界付きパッチを調査し、量子コンピュータでどのように使用できるかを示す。
論文 参考訳（メタデータ） (2022-08-12T15:05:07Z) - Nonlinear Addition of Qubit States Using Entangled Quaternionic Powers
of Single-Qubit Gates [0.15229257192293197]
すべてのシングルキュービットゲートの群は$U(2)$であり、単位変換は$C2$である。
単位四元数の力と根は、複素数の根に対するデ・モイブルの定理を四元数に拡張することで構成することができる。
テキスト分類の例を示し、重みを表すために分数回転ゲートを使用する。
論文 参考訳（メタデータ） (2022-04-28T21:22:06Z) - Complexity assessments for decidable fragments of Set Theory. III: A
quadratic reduction of constraints over nested sets to Boolean formulae [0.0]
変換は、$x=ysetminus z$, $x neq ysetminus z$, $z =x$ という形のリテラルの結合からなる。
対象言語の式は、集合のブール環にまたがる変数と、等式、非可分性、包含性を指定する差分演算子とレギュレータを含む。
提案した翻訳は2次アルゴリズムの時間複雑度を持ち、どちらもNP完全満足度問題を持つことが知られている2つの言語を橋渡しする。
論文 参考訳（メタデータ） (2021-12-09T09:36:39Z) - Quantum double aspects of surface code models [77.34726150561087]
基礎となる量子double $D(G)$対称性を持つ正方格子上でのフォールトトレラント量子コンピューティングの北エフモデルを再検討する。
有限次元ホップ代数$H$に基づいて、我々の構成がどのように$D(H)$モデルに一般化するかを示す。
論文 参考訳（メタデータ） (2021-06-25T17:03:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。