论文

Hodge-de Rham PINNs:用de Rham上同调解决拓扑缺陷场景下的PINN失效

De Rham cohomological architectures for PINNs and PDEs with topological holes

精选理由

PINN遇到带孔洞的偏微分方程就翻车?这篇arXiv论文用Hodge分解和de Rham上同调给出修复方案,还拿Aharonov-Bohm效应做了实验验证。

论文针对传统PINNs在含孔洞、极点、空腔等拓扑病态场景中的失效问题,提出Hodge-de Rham PINNs。方法利用带边界流形的Hodge-Morrey-Friedrichs(HMF)分解对1-form进行参数化,并将其与de Rham上同调(如HMF同构定理)关联。通过在参数化1-form上执行PINN损失,借助Sobolev正则算子和Fréchet微分关系求解基于势的PDE问题。作者在Aharonov-Bohm效应等拓扑不利问题上验证了方法,并给出理论保证。

原文 · arXiv cs.LG

De Rham cohomological architectures for PINNs and PDEs with topological holes

We attempt to alleviate failure modes of classical physics-informed neural networks (PINNs) in scenarios of topological pathologies corresponding to punctures, holes, poles, and voids by introducing de Rham cohomological augmentations, or Hodge-de Rham PINNs. Vanilla PINNs often encounter pitfalls in hole-based settings due to discontinuous interfaces, nonzero closed path integration, path dependence, correspondence to exact forms via the exterior derivative, etc., therefore we absolve traditional failures via parameterizing a 1-form by the Hodge-Morrey-Friedrichs (HMF) decomposition for manifolds with boundary, drawing a connection to de Rham cohomology such as through the HMF isomorphism theorem. 1-forms can act as representations of scalar-valued PDE solutions through integral operator mappings. We propose performing a PINN-based loss on the parameterized 1-form through an associated PDE, which subsequently solves the potential-based PINN problem and moreover remedies the failures of vanilla PINNs via the Sobolev-regular operator under a Fréchet differentiation interconnection. The operator relationship often has a nontrivial closed-form and often requires integration or a case-by-case analysis, which we address thoroughly in our experiments. When an integrability condition is not met on our losses, we can equip exhaustion functions to train the networks. We demonstrate our methods on the Aharonov-Bohm effect, which, to our understanding, is largely nonexistent in PINN literature. We develop theoretical guarantees of our methods and demonstrate our pathological safeguards on a broad selection of topologically-adverse problems, including scenarios of inexact forms, and those of nontrivial harmonics and coexact terms.