論文の概要: Beyond Multimodal Alignment: Certifying Physical Language through Response Substitution and Ordered Execution
- arxiv url: http://arxiv.org/abs/2608.19492v1
- Date: Wed, 19 Aug 2026 23:04:53 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-21 20:28:51.41437
- Title: Beyond Multimodal Alignment: Certifying Physical Language through Response Substitution and Ordered Execution
- Title（参考訳）: マルチモーダルアライメントを超えて:応答置換と命令実行による物理言語認定
- Abstract要約: 運用能力階層とDisjoint-Bridge Operator-Substitution Certificateを導入する。
クラスタハプティックでは、同じ見えない表面の音響および加速度の表現は、間違った表面のペアリングよりも4.5倍近い応答空間である。
次に, 相補的モダリティ盲点を有する制御エラストプラチン系における順行性試験を行った。
- 参考スコア（独自算出の注目度）: 18.546826658944806
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: World models increasingly treat compact multimodal representations as interfaces between perception and physical interaction, yet existing probes do not establish whether different sensors carry the same executable meaning or whether that meaning survives a new action composition. We introduce an operational capability hierarchy and the Disjoint-Bridge Operator-Substitution Certificate (DBOSC), which asks whether independently trained modality compilers enter a frozen response chart interchangeably on evidence outside their training panels. On Cluster Haptic, audio and acceleration representations of the same unseen surface are 4.5x closer in response space than wrong-surface pairings, with the gap holding for all 19 held-out surfaces; unsealing withheld responses confirms that every branch predicts the physics better than the population chart. We then test ordered execution in a controlled elastoplastic system with complementary modality blind spots. At the pre-registered budget, the prerequisite refuses the stack because the frozen executor cannot advance even an exact chart coordinate through a held-out program. At a converged budget, the same rank-three chart executes those programs (oracle NMSE 0.18), fusion improves on both modalities, and 14 of 16 registered checks pass; the two failures arise because a diagonal restriction of the fused information matrix performs as well as the full one. Clearing the gate is a property of the executor, not the chart: an executor emitting whole programs instead of shared per-step dynamics is 38x worse than an entity-blind predictor on the same chart. A matching non-identifiability result explains why compression and fusion alone cannot determine an unseen composition law. These results separate attribute access, response substitution, fusion closure, and ordered execution into distinct, separately testable achievements.
- Abstract（参考訳）: 世界モデルは、知覚と物理的相互作用の間のインターフェースとしてコンパクトなマルチモーダル表現をますます扱うが、既存のプローブでは、異なるセンサーが同じ実行可能な意味を持つかどうか、あるいはその意味が新しいアクション構成を生き残るかどうかを定めていない。
本稿では,動作能力階層とDBOSC(Disjoint-Bridge Operator-Substitution Certificate)を導入する。
クラスタ・ハプティックでは、同じ目に見えない表面の音響および加速度の表現は、間違った表面のペアリングよりも4.5倍近い反応空間であり、すべての19の保持面の隙間は保持されている。
次に, 相補的モダリティ盲点を有する制御エラストプラチン系における順行性試験を行った。
事前登録された予算では、凍結された実行元は保持プログラムを通じて正確なチャート座標でさえ前進できないため、前提条件はスタックを拒否する。
収束予算では、同じランク3チャートがこれらのプログラムを実行し(奇数NMSE 0.18)、両方のモダリティを融合し、16の登録チェックのうち14が通過する。
ステップごとのダイナミックスを共有する代わりにプログラム全体を出力するエグゼキュータは、同じチャート上のエンティティブラインド予測器よりも38倍悪い。
一致する非識別性の結果は、なぜ圧縮と融合だけでは目に見えない合成法則を決定できないのかを説明する。
これらの結果は、属性アクセス、応答置換、融合クロージャと順序づけられた実行を別々にテスト可能な成果に分離する。
関連論文リスト
- Align, Unify, Suppress, Route: A Coherentist View of Transformer Computation [0.0]
コヒーレント主義の確率的構成主義は、コヒーレント主義の解釈理論における変圧器の計算を基礎としている。
5つのアーキテクチャファミリーの15モデルのうち、抑制、統一、ルーティングのウェイトスペースシグネチャは、保持されたアクティベーションレベルの役割尺度と相関する。
明示的な矛盾は14モデルにおいて階層的コヒーレンスプロキシを著しくシフトさせ、共有残差を除去した後、そのギャップは各モデルで予測される方向を持つ。
論文 参考訳（メタデータ） (2026-08-22T16:29:20Z) - A Pre-Specified Construction-Confirmation Test of Operation-Level Causal Transfer Across Finite Isomorphic Symbolic Domains [0.0]
2つの操作間の隠れ状態の違いが、ソース入力毎に別々に推定されているかどうかを問う。
この設計は、入力固有の介入を、不正操作、ノルムマッチングランダム、ノーオップ制御と比較し、個別に分離された確認分割から候補構築を分離する。
論文 参考訳（メタデータ） (2026-08-16T15:37:26Z) - Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation [0.0]
言語理論は実行可能モデルに翻訳するには変数、介入、相互作用に関する選択が必要である。
我々は,理論言語モデルによるプログラムを体系的に変更するかどうかを検証した。
論文 参考訳（メタデータ） (2026-08-10T23:37:47Z) - Evidence-Calibrated Runtime Reconstruction for Agent Skills Across Heterogeneous Coding Agents [0.0]
我々は、異種ハーネス間のスキルライフサイクルステージを再構築するパッシブランタイムインテリジェンスシステムであるスキルインテリジェンスを提案する。
事象の存在は境界忠実性ではなく、複合的正確なスコアは異なる誤りを隠蔽し、モデル説明は決定論的事実を上書きしてはならないことを示す。
論文 参考訳（メタデータ） (2026-08-09T16:18:13Z) - GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation [0.0]
GenOSはプロンプト、コントラクト、ジェネレータ、プログラムを置き換える確率論的操作意味論である。
等価性に適合するカーネルは商類に従属し、商化の可換性は分布拡大や逐次合成と一致することを証明する。
また,音の検証,全変量非拡張性,付加的境界の下でのワークフロー・バイコミットの安全性を確立した。
論文 参考訳（メタデータ） (2026-08-04T12:42:11Z) - Constraint-Driven Synthesis of Hyper Petri Nets [46.9047309711542]
本稿では,ペトリネット(PN)を用いた制約ロボットシステムのモデリングと合成について述べる。
全ての可観測系状態が与えられた論理的制約を満たしつつ、実行可能な遷移意味論と整合性を維持したモデルを構築する方法について検討する。
提案手法では,観測可能な状態に対する明示的な実行セマンティクスを導入する。
論文 参考訳（メタデータ） (2026-07-24T07:57:19Z) - Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents [1.4721615285883427]
本稿では,同時ソフトウェア変更をプリライト入力問題として扱うモデルに依存しない協調アーキテクチャであるClim Planeを提案する。
決定論的制御プレーンは、互換性のある意図をアトミックに認め、宣言された領域に同ファイルの並列性を制約し、未解決の重複をシリアライズし、依存性の無効性を追跡し、曖昧な権限で閉じる。
最初に試みられた突然変異は、現在のアクティブセットに対するアトミックスコープの促進と再許可を引き起こす。
論文 参考訳（メタデータ） (2026-07-24T02:30:50Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - Label-Free Cross-Task LoRA Merging with Null-Space Compression [50.63908869296697]
我々は,ラベルフリーで出力に依存しない手法であるNull-Space Compression (NSC) Mergingを紹介した。
NSCは、従来のメソッドがタスクのサブセットに収まるバランスの取れたゲインを持つ20の異種視覚タスクに対して、最先端のパフォーマンスを達成する。
論文 参考訳（メタデータ） (2026-03-27T11:34:41Z) - Graph Exploration for Effective Multi-agent Q-Learning [46.723361065955544]
本稿では,エージェント間のグラフベース通信を用いたマルチエージェント強化学習(MARL)の探索手法を提案する。
エージェントが受け取った個々の報酬は、他のエージェントのアクションとは独立していると仮定する一方で、そのポリシーは結合されている。
提案手法では,より効率的な爆発行動を実行するために,近隣のエージェントが協調して状態-作用空間の不確かさを推定する。
論文 参考訳（メタデータ） (2023-04-19T10:28:28Z) - QuTE: decentralized multiple testing on sensor networks with false discovery rate control [93.1040521878626]
本稿では、偽発見率(FDR)の証明可能な保証を備えたグラフ上での分散多重仮説検定法を設計する。
異なるエージェントが無向グラフのノードに存在し、各エージェントはそのノードに局所的な1つ以上の仮説に対応するp値を持つ。
各エージェントは、グラフ全体の大域的FDRが予め定義されたレベルで制御されなければならないという共同目的のもと、隣人とのみ通信することで、それぞれのローカル仮説の1つ以上の拒絶を個別に決めなければならない。
論文 参考訳（メタデータ） (2022-10-09T19:48:39Z) - Optimal Clustering with Bandit Feedback [57.672609011609886]
本稿では,バンディットフィードバックを用いたオンラインクラスタリングの問題点について考察する。
これは、NPハード重み付きクラスタリング問題をサブルーチンとして解決する必要性を回避するための、シーケンシャルなテストのための新しい停止規則を含む。
合成および実世界のデータセットの広範なシミュレーションを通して、BOCの性能は下界と一致し、非適応的ベースラインアルゴリズムよりも大幅に優れることを示す。
論文 参考訳（メタデータ） (2022-02-09T06:05:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。