論文の概要: Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees
- arxiv url: http://arxiv.org/abs/2603.19165v1
- Date: Thu, 19 Mar 2026 17:19:48 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-20 17:19:06.294769
- Title: Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees
- Title(参考訳): ニューラルPDE解の厳密な誤り証明:経験的残差から解保証まで
- Authors: Amartya Mukherjee, Maxwell Fitzsimmons, David C. Del Rey Fernández, Jun Liu,
- Abstract要約: 物理インフォームドニューラルネットワークは、コロケーション点における残留損失を最小限に抑え、近似解を導出する。
ニューラル近似が解空間のコンパクト部分集合にあるとき、残差誤差が消えることによって真の解への収束が保証されることを示す。
決定論的および確率的収束結果を導出し、残差、境界および初期誤差を明示的な解誤差保証に変換する証明された一般化境界を提供する。
- 参考スコア(独自算出の注目度): 6.335120646343732
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Uncertainty quantification for partial differential equations is traditionally grounded in discretization theory, where solution error is controlled via mesh/grid refinement. Physics-informed neural networks fundamentally depart from this paradigm: they approximate solutions by minimizing residual losses at collocation points, introducing new sources of error arising from optimization, sampling, representation, and overfitting. As a result, the generalization error in the solution space remains an open problem. Our main theoretical contribution establishes generalization bounds that connect residual control to solution-space error. We prove that when neural approximations lie in a compact subset of the solution space, vanishing residual error guarantees convergence to the true solution. We derive deterministic and probabilistic convergence results and provide certified generalization bounds translating residual, boundary, and initial errors into explicit solution error guarantees.
- Abstract(参考訳): 偏微分方程式の不確かさの定量化は、伝統的に離散化理論において基礎を置いており、解誤差はメッシュ/グリッド精製によって制御される。
物理インフォームドニューラルネットワークは、コロケーションポイントでの残留損失を最小限に抑え、最適化、サンプリング、表現、過剰適合から生じる新たなエラー源を導入することで、このパラダイムから根本的に逸脱する。
その結果、解空間における一般化誤差は未解決の問題のままである。
我々の主な理論的貢献は、残差制御と解空間誤差を結びつける一般化境界を確立することである。
ニューラル近似が解空間のコンパクト部分集合にあるとき、残差誤差が消えることによって真の解への収束が保証されることを示す。
決定論的および確率的収束結果を導出し、残差、境界および初期誤差を明示的な解誤差保証に変換する証明された一般化境界を提供する。
関連論文リスト
- Building Trust in PINNs: Error Estimation through Finite Difference Methods [52.92887996882041]
物理インフォームドニューラルネットワーク(PINN)は偏微分方程式(PDE)を解くための柔軟な深層学習手法である
その柔軟性にもかかわらず、PINNは、彼らの予測が真の解決策から逸脱し、彼らの予測品質への信頼を妨げる方法について、限られた洞察を提供する。
本稿では,PINN予測のためのポイントワイズ誤差推定を行うことにより,このギャップに対処する軽量なポストホック手法を提案する。
論文 参考訳(メタデータ) (2026-03-16T16:51:42Z) - Variationally correct operator learning: Reduced basis neural operator with a posteriori error estimation [3.8135482236014133]
PDE-残留損失の最小化は、ニューラル演算子の物理的一貫性を促進するための一般的な戦略である。
本研究は,FOSLS(Fon-order system least-squares)の目的を定式化することによって,変分正しい演算子学習フレームワークを開発する。
本稿では,有限要素の離散化バイアス,ベーストランケーション誤差の低減,ニューラルネットワーク近似誤差,統計的推定誤差の和で総誤差を束縛する厳密な収束解析を提案する。
論文 参考訳(メタデータ) (2025-12-24T18:37:59Z) - The Hidden Cost of Approximation in Online Mirror Descent [56.99972253009168]
オンラインミラー降下(OMD)は、最適化、機械学習、シーケンシャルな意思決定において多くのアルゴリズムの基盤となる基本的なアルゴリズムパラダイムである。
本研究では,不正確なOMDに関する系統的研究を開始し,正規化器の滑らかさと近似誤差に対する頑健さとの複雑な関係を明らかにする。
論文 参考訳(メタデータ) (2025-11-27T10:09:07Z) - Non-Asymptotic Stability and Consistency Guarantees for Physics-Informed Neural Networks via Coercive Operator Analysis [0.0]
物理インフォームドニューラルネットワーク(PINN)の安定性と一貫性を解析するための統一的理論的枠組みを提案する。
PINNは、サンプルコロケーションと境界点上の残留損失を最小限に抑え、偏微分方程式(PDE)の近似解を求める。
我々は、整合性の作用素レベルと変分の概念の両方を形式化し、ソボレフノルムの残留最小化が、穏やかな正則性の下でエネルギーと一様ノルムの収束をもたらすことを証明した。
論文 参考訳(メタデータ) (2025-06-16T14:41:15Z) - Error Feedback under $(L_0,L_1)$-Smoothness: Normalization and Momentum [56.37522020675243]
機械学習の幅広い問題にまたがる正規化誤差フィードバックアルゴリズムに対する収束の最初の証明を提供する。
提案手法では,許容可能なステップサイズが大きくなったため,新しい正規化エラーフィードバックアルゴリズムは,各種タスクにおける非正規化エラーよりも優れていた。
論文 参考訳(メタデータ) (2024-10-22T10:19:27Z) - Modify Training Directions in Function Space to Reduce Generalization
Error [9.821059922409091]
本稿では,ニューラルネットワーク関数空間におけるニューラルタンジェントカーネルとフィッシャー情報行列の固有分解に基づく自然勾配降下法を提案する。
固有分解と統計理論から理論的手法を用いて学習したニューラルネットワーク関数の一般化誤差を明示的に導出する。
論文 参考訳(メタデータ) (2023-07-25T07:11:30Z) - Robust Estimation for Nonparametric Families via Generative Adversarial
Networks [92.64483100338724]
我々は,高次元ロバストな統計問題を解くためにGAN(Generative Adversarial Networks)を設計するためのフレームワークを提供する。
我々の研究は、これらをロバスト平均推定、第二モーメント推定、ロバスト線形回帰に拡張する。
技術面では、提案したGAN損失は、スムーズで一般化されたコルモゴロフ-スミルノフ距離と見なすことができる。
論文 参考訳(メタデータ) (2022-02-02T20:11:33Z) - Error Estimation and Correction from within Neural Network Differential
Equation Solvers [3.04585143845864]
本稿では,ニューラルネットワーク微分方程式解法における誤差推定と補正の戦略について述べる。
提案手法では, 真の解の事前知識を必要とせず, 損失関数と解推定に伴う誤差との明確な関係を求める。
論文 参考訳(メタデータ) (2020-07-09T11:01:44Z) - Neural Control Variates [71.42768823631918]
ニューラルネットワークの集合が、積分のよい近似を見つけるという課題に直面していることを示す。
理論的に最適な分散最小化損失関数を導出し、実際に安定したオンライントレーニングを行うための代替の複合損失を提案する。
具体的には、学習した光場近似が高次バウンスに十分な品質であることを示し、誤差補正を省略し、無視可能な可視バイアスのコストでノイズを劇的に低減できることを示した。
論文 参考訳(メタデータ) (2020-06-02T11:17:55Z) - Approximation Schemes for ReLU Regression [80.33702497406632]
我々はReLU回帰の根本的な問題を考察する。
目的は、未知の分布から引き出された2乗損失に対して、最も適したReLUを出力することである。
論文 参考訳(メタデータ) (2020-05-26T16:26:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。