論文の概要: Symbolic recovery of PDEs from measurement data
- arxiv url: http://arxiv.org/abs/2602.15603v1
- Date: Tue, 17 Feb 2026 14:20:36 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-18 16:03:18.089388
- Title: Symbolic recovery of PDEs from measurement data
- Title(参考訳): 測定データからのPDEのシンボリックリカバリ
- Authors: Erion Morina, Philipp Scholl, Martin Holler,
- Abstract要約: 本研究では,物理法則の記号表現のための有理関数に基づく既存のニューラルネットワークアーキテクチャについて考察する。
我々の主な貢献は識別可能性の結果であり、ノイズのない完全な測定の限界において、そのような記号ネットワークは最も単純な物理法則を一意に再構築できることを示している。
- 参考スコア(独自算出の注目度): 2.58713822033329
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Models based on partial differential equations (PDEs) are powerful for describing a wide range of complex relationships in the natural sciences. Accurately identifying the PDE model, which represents the underlying physical law, is essential for a proper understanding of the problem. This reconstruction typically relies on indirect and noisy measurements of the system's state and, without specifically tailored methods, rarely yields symbolic expressions, thereby hindering interpretability. In this work, we address this issue by considering existing neural network architectures based on rational functions for the symbolic representation of physical laws. These networks leverage the approximation power of rational functions while also benefiting from their flexibility in representing arithmetic operations. Our main contribution is an identifiability result, showing that, in the limit of noiseless, complete measurements, such symbolic networks can uniquely reconstruct the simplest physical law within the PDE model. Specifically, reconstructed laws remain expressible within the symbolic network architecture, with regularization-minimizing parameterizations promoting interpretability and sparsity in case of $L^1$-regularization. In addition, we provide regularity results for symbolic networks. Empirical validation using the ParFam architecture supports these theoretical findings, providing evidence for the practical reconstructibility of physical laws.
- Abstract(参考訳): 偏微分方程式(PDE)に基づくモデルは、自然科学における幅広い複雑な関係を記述するのに強力である。
基礎となる物理法則を表すPDEモデルを正確に同定することは、問題の適切な理解に不可欠である。
この再構成は通常、システムの状態の間接的および雑音的な測定に依存しており、特別に調整された手法を使わずに、記号表現がほとんど得られず、解釈可能性を妨げる。
本研究では,物理法則の記号表現のための有理関数に基づく既存のニューラルネットワークアーキテクチャを考えることにより,この問題に対処する。
これらのネットワークは有理関数の近似力を生かし、算術演算を表現する柔軟性の恩恵を受ける。
我々の主な貢献は識別可能性の結果であり、ノイズのない完全な測定の限界において、そのような記号ネットワークはPDEモデルの中で最も単純な物理法則を一意に再構築できることを示している。
具体的には、L^1$-regularizationの場合、解釈可能性と空間性を促進する正規化最小化パラメタライゼーションによって、シンボルネットワークアーキテクチャ内で再構成された法則が表現可能である。
さらに,シンボルネットワークに対する正規化結果も提供する。
ParFamアーキテクチャを用いた実証的な検証は、これらの理論的な発見を支持し、物理的法則の実際的な再構成可能性を示す証拠を提供する。
関連論文リスト
- StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance [7.1042217955039675]
StruSRは構造対応のシンボリック回帰フレームワークである。
トレーニングされた物理インフォームドニューラルネットワークを用いて時系列データから構造化された物理先行情報を抽出する。
ベンチマークPDEシステムの実験により、StruSRは収束速度、構造的忠実度、表現解釈可能性を改善した。
論文 参考訳(メタデータ) (2025-10-08T04:37:04Z) - Unveiling the Actual Performance of Neural-based Models for Equation Discovery on Graph Dynamical Systems [45.11208589443806]
グラフのためのKAN(Kolmogorov-Arnold Networks)は、その固有の解釈可能性を活用するように設計されている。
カンは基礎となる記号方程式の同定に成功し、既存の基底線をはるかに上回った。
本研究は,モデル表現性と解釈可能性のトレードオフを明らかにするための実践的ガイドを提供する。
論文 参考訳(メタデータ) (2025-08-25T16:25:50Z) - Why Neural Network Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning [73.18052192964349]
我々は、連続的なニューラルネットワークトレーニングのダイナミックスから、離散的なシンボル構造が自然に現れるかを説明する理論的枠組みを開発する。
ニューラルパラメータを測度空間に上げ、ワッサーシュタイン勾配流としてモデル化することにより、幾何的制約の下では、パラメータ測度 $mu_t$ が2つの同時現象となることを示す。
論文 参考訳(メタデータ) (2025-06-26T22:40:30Z) - Spectral Normalization and Voigt-Reuss net: A universal approach to microstructure-property forecasting with physical guarantees [0.0]
設計プロセスにおける重要なステップは、効果的な機械的、熱的、あるいは一般的には弾性特性の迅速な評価である。
古典的なシミュレーションに基づくアプローチは、例えば有限要素やFFTベースの解法を使うが、かなりの計算資源を必要とする。
本稿では,これらの境界を優先的に適用するスペクトル正規化手法を提案する。
論文 参考訳(メタデータ) (2025-04-01T12:21:57Z) - No Equations Needed: Learning System Dynamics Without Relying on Closed-Form ODEs [56.78271181959529]
本稿では,従来の2段階モデリングプロセスから離れることで,低次元力学系をモデル化する概念シフトを提案する。
最初に閉形式方程式を発見して解析する代わりに、我々のアプローチ、直接意味モデリングは力学系の意味表現を予測する。
私たちのアプローチは、モデリングパイプラインを単純化するだけでなく、結果のモデルの透明性と柔軟性も向上します。
論文 参考訳(メタデータ) (2025-01-30T18:36:48Z) - Systematic Abductive Reasoning via Diverse Relation Representations in Vector-symbolic Architecture [10.27696004820717]
ベクトルシンボリックアーキテクチャ(VSA)における多様な関係表現(Rel-SAR)を持つ体系的帰納的推論モデルを提案する。
記号的推論ポテンシャルを持つ表現を導出するために、様々な種類の原子ベクトルが数値的、周期的、論理的意味論を表すだけでなく、構造化された高次元表現(S)も導入する。
体系的推論のために,これらの関係表現を統合する統一フレームワークにおいて,新しい数値および論理関数を提案し,規則の推論と一般化の実行を行う。
論文 参考訳(メタデータ) (2025-01-21T05:17:08Z) - Semantic Loss Functions for Neuro-Symbolic Structured Prediction [74.18322585177832]
このような構造に関する知識を象徴的に定義した意味的損失をトレーニングに注入する。
記号の配置に非依存であり、それによって表現される意味論にのみ依存する。
識別型ニューラルモデルと生成型ニューラルモデルの両方と組み合わせることができる。
論文 参考訳(メタデータ) (2024-05-12T22:18:25Z) - Discovering Interpretable Physical Models using Symbolic Regression and
Discrete Exterior Calculus [55.2480439325792]
本稿では,記号回帰(SR)と離散指数計算(DEC)を組み合わせて物理モデルの自動発見を行うフレームワークを提案する。
DECは、SRの物理問題への最先端の応用を越えている、場の理論の離散的な類似に対して、ビルディングブロックを提供する。
実験データから連続体物理の3つのモデルを再発見し,本手法の有効性を実証する。
論文 参考訳(メタデータ) (2023-10-10T13:23:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。