論文の概要: Resolving CAP Through Automata-Theoretic Economic Design: A Unified Mathematical Framework for Real-Time Partition-Tolerant Systems
- arxiv url: http://arxiv.org/abs/2507.02464v1
- Date: Thu, 03 Jul 2025 09:21:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-07-04 15:37:16.070967
- Title: Resolving CAP Through Automata-Theoretic Economic Design: A Unified Mathematical Framework for Real-Time Partition-Tolerant Systems
- Title（参考訳）: オートマタ理論経済設計によるCAPの解消:リアルタイム分割耐性システムのための統一数学的枠組み
- Authors: Craig S Wright,
- Abstract要約: CAP定理は、一貫性、可用性、および分割耐性の間のトリレンマを主張する。
本稿では,CAPトレードオフを制約最適化問題として再編成する,厳密な自動理論および経済基盤フレームワークを提案する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: The CAP theorem asserts a trilemma between consistency, availability, and partition tolerance. This paper introduces a rigorous automata-theoretic and economically grounded framework that reframes the CAP trade-off as a constraint optimization problem. We model distributed systems as partition-aware state machines and embed economic incentive layers to stabilize consensus behavior across adversarially partitioned networks. By incorporating game-theoretic mechanisms into the global transition semantics, we define provable bounds on convergence, liveness, and correctness. Our results demonstrate that availability and consistency can be simultaneously preserved within bounded epsilon margins, effectively extending the classical CAP limits through formal economic control.
- Abstract（参考訳）: CAP定理は、一貫性、可用性、および分割耐性の間のトリレンマを主張する。
本稿では,CAPトレードオフを制約最適化問題として再編成する,厳密な自動理論および経済基盤フレームワークを提案する。
分散システムをパーティション対応ステートマシンとしてモデル化し、経済的なインセンティブ層を組み込んで、逆分割ネットワーク間のコンセンサス挙動を安定化する。
ゲーム理論のメカニズムをグローバルな遷移セマンティクスに組み込むことで、収束性、生存性、正当性に関する証明可能な境界を定義する。
以上の結果から,有界エプシロンマージン内での可用性と整合性を同時に維持できることが示され,従来のCAP制限を形式的経済制御によって効果的に拡張した。
関連論文リスト
- Institutional Noise, Strategic Deviation, and Intertemporal Collapse: A Formal Model of Miner Behaviour under Protocol Uncertainty [0.0]
本稿では,ブロックチェーンシステムにおけるプロトコル変更性が協調的なマイニング動作をいかに阻害するかを,ゲーム理論の形式的モデルで検証する。
ルールショックを繰り返すゲームフレームワークを用いることで,制度ルールのマイナーな不確実性さえも,時間的嗜好を増大させ,戦略的な逸脱を引き起こすことを示す。
分散型システムにおいて持続可能な協力が実現されるためには, プロトコル設計は, 決定変数ではなく, 憲法上の経済制約として扱う必要があると結論づける。
論文 参考訳（メタデータ） (2025-06-26T04:12:06Z) - Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds [55.2480439325792]
本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。
伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。
本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
論文 参考訳（メタデータ） (2025-06-12T18:35:01Z) - A Unified Theory of Compositionality, Modularity, and Interpretability in Markov Decision Processes [1.3044677039636754]
我々は、新しい報酬のないマルコフ決定プロセスのためのオプションカーネルベルマン方程式(OKBE)を紹介する。
OKBEは、状態時オプションカーネル(STOK)と呼ばれる予測マップを直接構築し、最適化し、ゴールを達成する確率を最大化する。
我々は、報酬-最大化は構成性、モジュラリティ、解釈可能性の性質と矛盾していると主張する。
論文 参考訳（メタデータ） (2025-06-11T08:21:22Z) - NDCG-Consistent Softmax Approximation with Accelerated Convergence [67.10365329542365]
本稿では,ランキングの指標と直接一致した新たな損失定式化を提案する。
提案したRG損失を高効率な Alternating Least Squares (ALS) 最適化手法と統合する。
実世界のデータセットに対する実証的な評価は、我々のアプローチが同等または上位のパフォーマンスを達成することを示す。
論文 参考訳（メタデータ） (2025-06-11T06:59:17Z) - Vairiational Stochastic Games [1.6703448188585752]
本稿では分散型マルチエージェントシステムに適した新しい変分推論フレームワークを提案する。
我々のフレームワークは、非定常性と非整合エージェントの目的によって引き起こされる課題に対処する。
提案した分散アルゴリズムに対する理論的収束保証を示す。
論文 参考訳（メタデータ） (2025-03-08T03:21:23Z) - Polynomial Regret Concentration of UCB for Non-Deterministic State Transitions [18.347534843178355]
本稿ではモンテカルロ木探索(MCTS)の理論的枠組みを非決定論的状態遷移に拡張する。
私たちの主な貢献は、これらの境界が非決定論的環境にも適用され、設定における堅牢なパフォーマンスが保証されることを示すことです。
これにより、自律システムや金融意思決定など、現実的な意思決定問題に対するMCTSの適用性が拡大する。
論文 参考訳（メタデータ） (2025-02-09T15:46:42Z) - Exploiting hidden structures in non-convex games for convergence to Nash
equilibrium [62.88214569402201]
現代の機械学習アプリケーションは、非協調的なナッシュリリアとして定式化することができる。
決定論的環境と決定論的環境の両方に明確な収束保証を提供する。
論文 参考訳（メタデータ） (2023-12-27T15:21:25Z) - Answering Causal Queries at Layer 3 with DiscoSCMs-Embracing
Heterogeneity [0.0]
本稿では, 分散一貫性構造因果モデル (DiscoSCM) フレームワークを, 反事実推論の先駆的アプローチとして提唱する。
論文 参考訳（メタデータ） (2023-09-17T17:01:05Z) - Semantic Probabilistic Layers for Neuro-Symbolic Learning [83.25785999205932]
我々は構造化出力予測(SOP)のための予測層を設計する。
予測が事前に定義されたシンボリック制約のセットと一致していることを保証するため、任意のニューラルネットワークにプラグインすることができる。
我々のセマンティック確率層(SPL)は、構造化された出力空間上で複雑な相関や制約をモデル化することができる。
論文 参考訳（メタデータ） (2022-06-01T12:02:38Z) - Strategyproof and Proportionally Fair Facility Location [77.16035689756859]
簡単な1次元集団決定問題(しばしば施設配置問題と呼ばれる)に焦点を当てる。
比例に基づく様々な強度のフェアネス公理の階層構造を解析する。
各公理に対して、公理と戦略の安全性を満足するメカニズムのファミリーを特徴付ける。
論文 参考訳（メタデータ） (2021-11-02T12:41:32Z) - On dissipative symplectic integration with applications to
gradient-based optimization [77.34726150561087]
本稿では,離散化を体系的に実現する幾何学的枠組みを提案する。
我々は、シンプレクティックな非保守的、特に散逸的なハミルトン系への一般化が、制御された誤差まで収束率を維持することができることを示す。
論文 参考訳（メタデータ） (2020-04-15T00:36:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。