論文の概要: Certifying information flow in multi-agent behaviours
- arxiv url: http://arxiv.org/abs/2610.23631v1
- Date: Fri, 16 Oct 2026 15:35:52 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-20 00:56:07.993026
- Title: Certifying information flow in multi-agent behaviours
- Title(参考訳): マルチエージェント動作における情報フローの認定
- Abstract要約: 本稿では,複数のエージェントの入力・出力動作を,宣言された通信スケジュールによって生成することができるかを検討する。
達成可能な行動のアフィン殻が、その等式によって正確に記述されていることを証明した。
本研究では,2エージェントと3エージェントの1ビット放送および中継階層,および局所ポリトープの低次投影に適用する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We study which input-output behaviours of several agents can be produced by a declared communication schedule, that is, a fixed sequence of senders, recipients, message alphabets, and output times, together with shared randomness. Since a schedule admits only finitely many deterministic protocols, membership is a linear program, and an infeasible target is excluded by a separating inequality. Under explicit operational assumptions, we prove that the affine hull of the achievable behaviours is described exactly by the equalities stating that each joint output statistic depends only on the inputs that can reach the agents involved, so that a violated equality identifies both the statistic and the missing input. One binary message per event already attains this affine hull, so message capacity restricts which behaviours are achievable without being visible to any equality. We apply the result to one-bit broadcast and relay hierarchies for two and three agents, and to low-order projections of the local polytope.
- Abstract(参考訳): 本研究では,送信者,受信者,メッセージアルファベット,出力時間の固定シーケンスを共有ランダム性とともに宣言した通信スケジュールによって,複数のエージェントの入力出力動作を生成することができるかを検討する。
スケジュールは有限個の決定論的プロトコルしか認めないので、メンバシップは線形プログラムであり、非実用的ターゲットは分離不等式によって除外される。
明示的な操作仮定の下では、達成可能な動作のアフィン殻が、各関節出力統計値が関係するエージェントに到達可能な入力にのみ依存していることを示す等式によって正確に記述されていることを証明し、破れた等式が統計値と欠落した入力の両方を識別する。
イベント毎に1つのバイナリメッセージは、すでにこのアフィンの船体を達成しているため、メッセージキャパシティは、どの振る舞いが等しく見えずに達成できるかを制限している。
本研究は,2エージェントと3エージェントの1ビット放送および中継階層,および局所ポリトープの低次投影に適用する。
関連論文リスト
- Making two action heads agree: coordination mechanisms and a runtime collapse certificate for flow-matching policies [13.05465000489116]
フローマッチングポリシは、予測された各動きをジョイントとエンドエフェクタ空間にデコードする。
マルチモーダルタスクでは、独立してサンプリングされた枝は異なる有効なモードを選択することができ、誤警報を引き起こす。
2つの枝の調整方法とコストについて検討する。
論文 参考訳(メタデータ) (2026-08-16T13:57:36Z) - GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation [0.0]
GenOSはプロンプト、コントラクト、ジェネレータ、プログラムを置き換える確率論的操作意味論である。
等価性に適合するカーネルは商類に従属し、商化の可換性は分布拡大や逐次合成と一致することを証明する。
また,音の検証,全変量非拡張性,付加的境界の下でのワークフロー・バイコミットの安全性を確立した。
論文 参考訳(メタデータ) (2026-08-04T12:42:11Z) - When AI Agents Commit: Cognitive Serializability Across Data, Evidence, Policy, and Authority [2.124730017640531]
自律的なエージェントは、データベースの読み込み、証拠の回収、政策、信条、委任された権威から突然変異を導き出す。
トランザクション処理は、提案が実行可能なコントラクトを満たすかどうかを決定する。
Cognitive Serializabilityは、不変の実行可能な定義、レジストリ由来の権限計画、シールされたガードファーストコミットトランザクション、封筒後エンベロープ、証人限定の権限を組み合わせたものだ。
論文 参考訳(メタデータ) (2026-07-28T19:36:23Z) - Decoding in Order-Agnostic Language Models: Chain-Rule Deviation and Uniform Spreading [0.6916773850242582]
順序に依存しない言語モデル(OALM)は任意の条件セットの下でマスク付きトークンを予測するために訓練される。
学習条件はコヒーレントな関節分布の正確な分解ではないことを示す。
信頼性トレースの形状に基づく相補的診断を提案する。
論文 参考訳(メタデータ) (2026-05-31T04:25:36Z) - Fairness with Exponential Weights [4.368185344922342]
特定のアプリケーションにおける識別を除去する必要性から、Hedgeの効率的な実装を等価な文脈的帯域幅問題に対して効率的に変換できるメタアルゴリズムを開発した。
統計的に同値な任意のアルゴリズムに対して、結果のアルゴリズムは、それぞれ独立に保護された特性に対してExp4の対応するインスタンスを実行するのと同じ後悔境界を持つ。
論文 参考訳(メタデータ) (2024-11-06T22:25:56Z) - Token-Level Adversarial Prompt Detection Based on Perplexity Measures
and Contextual Information [67.78183175605761]
大規模言語モデルは、敵の迅速な攻撃に影響を受けやすい。
この脆弱性は、LLMの堅牢性と信頼性に関する重要な懸念を浮き彫りにしている。
トークンレベルで敵のプロンプトを検出するための新しい手法を提案する。
論文 参考訳(メタデータ) (2023-11-20T03:17:21Z) - Non-Asymptotic Performance of Social Machine Learning Under Limited Data [45.48644055449902]
本稿では,社会機械学習フレームワークに関連付けられた誤りの確率について検討する。
これは、ラベルのないデータのストリームを分散的に分類する問題に対処する。
論文 参考訳(メタデータ) (2023-06-15T17:42:14Z) - Neighbour Consistency Guided Pseudo-Label Refinement for Unsupervised
Person Re-Identification [80.98291772215154]
教師なしの人物再識別(ReID)は、アノテーションを使わずに人物検索のための識別的アイデンティティの特徴を学習することを目的としている。
近年の進歩はクラスタリングに基づく擬似ラベルを活用することで実現されている。
本稿では, Pseudo Label Refinement フレームワークを提案する。
論文 参考訳(メタデータ) (2022-11-30T09:39:57Z) - Nested Counterfactual Identification from Arbitrary Surrogate
Experiments [95.48089725859298]
観測と実験の任意の組み合わせからネスト反事実の同定について検討した。
具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
論文 参考訳(メタデータ) (2021-07-07T12:51:04Z) - Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。
我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。
まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
論文 参考訳(メタデータ) (2020-08-19T16:04:34Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。