測定値の名前が分からない状態から物理法則の言語を発見
Discovering Physical Representation Languages
この論文をやさしく読む
ひとことで言うと
名前の分からない測定値から、物理量の種類や関係を見つけたうえで法則を学ぶ枠組み。
何に役立つ?
匿名のセンサーや複雑な物理系で、法則を学ぶ前に測定の意味を整理する理論に役立つ。
この研究の面白いところ
どこまで観測から一意に回復できるかを証明し、Maxwell系以外のRLC系や不完全な場データでも検証した。
どこまで分かった?
許された実験でも区別できない同値性が残り、完全回復には一定の情報条件が必要である。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
機械が物理法則を発見する前には、測定値が何を表すかを発見しなければならない。観測がどのセルに属するか、示強量か示量量か、どの部門が双対か、違いが単なるゲージかを知る必要がある。そこで、名前のない制御実験から隠れた量の体系を回復する「物理的表現言語の発見」という問題を導入する。同定可能性の理論と、多項式時間の構成的な手順を示す。この手順は、量の担体と微分の系列、測定の種類と向きのねじれ、可逆でない細分化の意味、主・双対のMaxwell図式、許された実験では区別できない同値性を回復する。材料に起因する邪魔な変化を可換子として捉え、細分化によって物理量と座標を分け、表現を回復してから物理法則を選ぶ。認証された有限の実験族について、端から端までの二段階の測定数の上界と、次元、精度、確信度に関して一致するminimaxの率を証明する。盲検のMaxwell実験では、観測が同時に壊れていても、規則的・不規則な担体上の完全な主・相対双対の体系を回復した。独立した不規則なRLC系でも、Maxwellに固有でないことを確認した。担体当たり数万セルまで扱え、非Markov記憶、非線形性、非局所性、複雑な履歴現象などの厳しい条件でも頑健性を調べた。公開FDTD監査では、不完全な場データから匿名の回転構造が現れることと、完全回復に必要な情報条件を示した。人間が与えた物理量の名前のもとで法則を学ぶだけでなく、法則を表せる言語自体を発見することを目指す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20(UTC)
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Before a machine can discover a physical law, it must discover what its measurements are: which observations live on cells, which are intensive or extensive, which sectors are dual, and which distinctions are merely gauge. We introduce physical representation-language discovery, the problem of recovering this hidden ontology directly from anonymous controlled experiments. We give an identifiability theory and constructive polynomial-time procedure that recovers a carrier and differential sequence, measurement types and orientation twist, noninvertible refinement semantics, primal-dual Maxwell diagrams, and the residual equivalences that no permitted experiment can break. The theory turns material nuisance into a commutant, uses refinement to separate quantities from coordinates, and selects physics only after its representation has been recovered. For a certified finite experiment family, we prove an end-to-end two-stage measurement bound and a matching minimax rate in dimension, accuracy, and confidence. Blind Maxwell experiments recover complete primal/relative-dual ontologies on regular and unstructured carriers under jointly corrupted observations; an independent unstructured RLC system demonstrates that the result is not specific to Maxwell. The framework scales to tens of thousands of cells per carrier, while stress audits demonstrate robustness across severe physical regimes - including non-Markovian memory, nonlinearities, nonlocality, and complex constitutive hysteresis. A public FDTD audit demonstrates the emergence of anonymous curl structure from incomplete field data, while characterizing the informational prerequisites for complete recovery. The goal is to move scientific ML from learning laws in a human-supplied language to discovering the language in which laws become expressible, establishing exact theoretical limits on observational identifiability.
arXiv ID: 2609.23381 / 要約の誤りについて