論文の概要: Local verification cannot detect non-transportability: a cohomological theory of context preservation in agentic reasoning

• arxiv url: http://arxiv.org/abs/2608.11252v1
• Date: Tue, 04 Aug 2026 21:09:50 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-13 19:07:54.308002
• Title: Local verification cannot detect non-transportability: a cohomological theory of context preservation in agentic reasoning
• Title（参考訳）: 非輸送性を検出できない局所的検証--エージェント推論における文脈保存のコホモロジー理論
• Abstract要約: エージェントAIシステムは、生物学的、臨床的、財務的な文脈で定期的に結論を伝達する。 局所的検証の新たなセーフガードは構造的に不完全であることを示す。 不均一な精度で歪みを定量化し、正確性を復元する精密な白紙形状を提供する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Agentic AI systems routinely transport conclusions across biological, clinical and financial contexts, and the emerging safeguard is local verification: checking at each step that the entity is representable in the chosen tool, that parameters are compatible, and that outputs cohere with the plan. We prove this class of safeguard is structurally incomplete. Modelling a covering of context space by its nerve and evidence by a real-valued 1-cochain, an agent chaining evidence performs path integration: its conclusion is path-independent if and only if the cochain is exact, and disagreement between valid reasoning paths is exactly the holonomy of a first Cech cohomology class. Hodge decomposition partitions evidence conflict into a gradient part (calibration), a curl part (local inconsistency, visible at triple overlaps) and a harmonic part. Our central result is that no family of simplex-supported consistency checks can distinguish omega from omega+h for harmonic h, which nonetheless generates non-zero disagreement between valid paths; detection requires a statistic on a cycle basis. The resulting procedure, Ksetra, estimates by coboundary projection and gates abstention on the harmonic component, which we give a mechanism: it arises from effect modification combined with overlap-specific population composition, and vanishes to machine precision when effect modification is absent. The degrees of freedom of an evidence network partition into calibration, coherence and transport, yielding an exact F-test for the existence of a global claim; we quantify its distortion under unequal precision and supply the precision-whitened form that restores exactness. Foreign exchange, where the arbitrage-free null makes the cochain exactly a coboundary, serves as a calibration bench: the test is correctly sized, fires on loop arbitrage, and ignores triangular arbitrage.
• Abstract（参考訳）: エージェントAIシステムは、生物学的、臨床的、財務的な文脈で結論を定期的に伝達し、新たなセーフガードは局所的な検証である: エンティティが選択されたツールで表現可能であること、パラメータが互換性があり、計画と一致していることをチェックする。 我々はこの種類の安全は構造的に不完全であることを証明している。 その神経による文脈空間の被覆と実数値の1-コチェーンによるエビデンスによるエビデンスをモデル化するエージェントチェアリングエビデンス(英語版)はパス積分(英語版)を行う:その結論がパス独立であることと、そのコチェーンが完全であることと、妥当な推論パス間の不一致は、Cechコホモロジークラスのホロノミーである。 ホッジ分解分割は、勾配部分(校正)、カール部分(局所的不整合、三重重重みで見える)、調和部分に矛盾する証拠である。 我々の中心的な結果は、単純なx サポートされた整合性チェックの族が omega+h と omega+h を区別できないことである。 結果として得られたKsetraは、共界射影により推定し、ハーモニック成分に門を留置する機構を与える。これは、重なり合った集団構成と組み合わせた効果修正から発生し、効果修正が欠如しているときに機械の精度に消滅する。 証拠ネットワークの自由度をキャリブレーション、コヒーレンス、輸送に分割し、大域的クレームの存在について正確なFテストを与える。 仲裁自由なヌルがコチェインを正確にコバウンダリにする対外交換は、校正ベンチとして機能する: テストは正しくサイズされ、ループの仲裁で発火し、三角形の仲裁を無視する。

関連論文リスト

• Common-Witness Certificates and Sharp Feature Bounds for Counterfactual Image Auditing [0.0]
  画像エディタは、単一の潜伏説明が完全な出力に合わない場合でも、各可視性制約を別々に満たすことができる。 我々は,この局所的・言語的失敗を,共通の目撃者格と目撃者の神経を用いて定式化する。
  論文  参考訳（メタデータ） (2026-09-03T15:09:52Z)
• TwistedMerge: Certified Higher-Order Diagnostics and Abstention for Model Merging [0.48086260459837454]
  我々は、チェックポイントが局所対象、アライメントマップが遷移、サイクル積が残留する有限降下問題としてマージを定式化する。 提案手法は, 定数エッジのNo-go結果, フリーズ・コンプレックスの3方向およびプレファミリーの誤差制御定理, 比較・複雑感度の精査試験である。 訓練された低ランク適応型監査では, 平均化係数は選択したGLr代表に依存するが, 大域的因子同期と高密度デルタSVDは安定である。
  論文  参考訳（メタデータ） (2026-07-23T03:24:50Z)
• EnTrust: Modeling Inter-Modal Conflict for Trustworthy Multimodal Medical Image Analysis [41.67522319355107]
  EnTrustは、モーダル間紛争を予測の不確実性の主要な原因として扱うフレームワークである。 最強のベースラインに比べてキャリブレーション誤差を40%削減しつつ、最先端のセグメンテーション精度を実現する。
  論文  参考訳（メタデータ） (2026-06-19T12:43:50Z)
• What Accuracy and Gradient Cosine Miss: Evaluating Feedback Alignment via Scale Stability, Reference Validity, and Depth Utility [48.10132234701036]
  本稿では,3つのチェック(スケール安定性,参照妥当性,深度ユーティリティ)に基づく診断評価プロトコルを提案する。 複数のアーキテクチャや手法にまたがって、我々のプロトコルは広い校正マージンを持つ全ての障害を識別する。
  論文  参考訳（メタデータ） (2026-06-19T06:04:17Z)
• Finite Resources False Discovery Rate Control in Structured Hypothesis Spaces [47.16593717985932]
  各仮説が有限個のヌル引き数で証明された場合にのみ、偽発見率を制御するための枠組みを提案する。 構造的ミス特定に頑健な2つの決定ルールを提示するが、正確なFDR制御と統計的パワーの間には明確なトレードオフを提供する。
  論文  参考訳（メタデータ） (2026-06-13T16:56:52Z)
• Controlling False Discovery in Arbitrarily Structured Hypothesis Spaces via Reproducing Kernels [47.16593717985932]
  連続的なドメイン、グラフ、階層を1つのアルゴリズムで統一するフレームワークをカーネル選択のみで導入する。 FDR(False Discovery Rate)を制御するための2つの決定ルールを提供します。 本手法は,高次元実世界のデータセットから得られた空間的位置とタンパク質間相互作用グラフを用いた遺伝子発現タスクの2つの情報源で検証する。
  論文  参考訳（メタデータ） (2026-05-17T17:42:56Z)
• Multi-Agent System Identification with Nonlinear Sheaf Diffusion [0.8895677230505602]
  多エージェントシステムを管理する局所的相互作用法則は、軌道データから回復することが困難である。 このコホモロジーが消滅した場合に限って、制約のない関数クラスから一意に回復できることが示される。
  論文  参考訳（メタデータ） (2026-05-11T20:15:03Z)
• UnGAP: Uncertainty-Guided Affine Prompting for Real-Time Crack Segmentation [16.902729686979303]
  UPFM(Uncertainty-Prompted Feature Modulator)は、単に出力ではなく、アクティブな視覚的プロンプトとして、アレタリック不確実性を扱う。 UnGAPは、より優れたセグメンテーション精度とリアルタイムの推論速度のバランスをとる。
  論文  参考訳（メタデータ） (2026-05-04T09:18:57Z)
• Rare Event Analysis via Stochastic Optimal Control [39.211234628277744]
  本稿では,コミッタ推定を最適制御(SOC)問題とするフレームワークを提案する。 提案手法は,直接的バックプロパゲーション損失と原則付きオフ政治価値マッチング損失の2つの相補的目標を開発する。 ベンチマークシステムでは、既存の手法よりも正確なコミッタ推定、反応速度、平衡定数が得られる。
  論文  参考訳（メタデータ） (2026-04-14T18:34:38Z)
• Partial Causal Structure Learning for Valid Selective Conformal Inference under Interventions [0.0]
  ゲノミクスの実験では、交換可能性はしばしば、対象変数を「影響を受けない」ままにしておく介入のサブセットにのみ保持される。 i)「影響のない」キャリブレーション例の誤分類が、明示的な関数$g(,n)$の汚染分数とキャリブレーションセットサイズを介してどのようにカバレッジを劣化させるか、および (ii) 2つの後続指標$Z_a,i=mathbf1iinmathrmdesc(a)$のみを推定するタスク駆動部分因果学習の定式化。
  論文  参考訳（メタデータ） (2026-03-02T18:58:22Z)
• Operationally induced preferred basis in unitary quantum mechanics [0.0]
  検知器が一元的にモデル化された場合でも、好ましくも好ましくも、測定問題の定値出力面は持続する。 数学的タイプの変化は、グループベースの運動学からセットベースの数え上げまで、構造的に必要不可欠なインターフェイスである「カット」の中核を構成する。
  論文  参考訳（メタデータ） (2026-01-26T17:22:03Z)
• Depth-Sequence Transformer (DST) for Segment-Specific ICA Calcification Mapping on Non-Contrast CT [38.85617601239779]
  従来の3Dモデルは、縮小されたボリュームや分離されたパッチを処理せざるを得ない。 我々は,3次元課題を1次元軸方向に沿ったtextbfParallel Probabilistic Landmark Localizationタスクとして再構成する。 フル解像度CTボリュームを2次元スライスシーケンスとして処理するフレームワークである textbfDepth-Sequence Transformer (DST) を提案する。
  論文  参考訳（メタデータ） (2025-07-10T23:12:12Z)
• Counterfactual Realizability [52.85109506684737]
  本稿では, 正規化可能性の定義, 分布からサンプルを抽出する能力を導入し, 任意の反事実分布が実現可能であるかどうかを判定する完全アルゴリズムを開発する。 本稿では、因果的公正さと因果的強化学習のモチベーション例を用いて、この新たな反ファクト的データ収集フレームワークの意義を説明する。
  論文  参考訳（メタデータ） (2025-03-14T20:54:27Z)
• Causal Discovery via Conditional Independence Testing with Proxy Variables [35.3493980628004]
  潜伏した共同設立者のような未観測変数の存在は、条件付き独立テストにバイアスをもたらす可能性がある。 本研究では,連続変数に対する因果関係の存在を効果的に検証できる仮説テスト手法を提案する。
  論文  参考訳（メタデータ） (2023-05-09T09:08:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。