Geometric Autoencoder Priors for Bayesian Inversion: Learn First Observe Later
2509.19929v1
stat.ML, cs.LG, physics.comp-ph, physics.data-an
2025-09-26
Авторы:
Arnaud Vadeboncoeur, Gregory Duthé, Mark Girolami, Eleni Chatzi
Резюме на русском
#### Контекст
Уравнения Бэльмана-Фока (BFE) — это уравнения оптимального управления, которые получили их название в честь Марка Бэльмана и Романа Фоки. Они играют ключевую роль в оптимальном управлении, анализе систем контроля и динамических моделей. Их важность прослеживается в различных областях, таких как экономика, теория игр, механика, электрические сети и даже биология. Однако, несмотря на их широкое применение, исследования и понимание оптимальных управляющих уравнений BFE все еще представляют собой сложную и актуальную область исследований.
#### Метод
Методология исследований включает в себя:
1. Определение задачи оптимального управления и описание BFE в контексте данной задачи.
2. Разработка алгоритмов решения BFE, включая методы градиентного спуска, методы конечных элементов и другие методы оптимизации.
3. Реализация этих алгоритмов с использованием вычислительных методов, таких как метод численного интегрирования, линейное программирование и другие методы анализа.
4. Доказательство теорем о существовании решений и их свойства, включая устойчивость и оптимальность.
5. Использование моделей и примеров для иллюстрации теоретических положений и результатов.
#### Результаты
На базе проведенных исследований были получены следующие результаты:
1. Доказательство существования и устойчивости решений для различных вариантов задач оптимального управления.
2. Разработка эффективных методов решения BFE, которые позволяют решать задачи с большой точностью и скоростью.
3. Иллюстрация результатов на реальных примерах, включающих модели динамики систем, экономические динамики и другие сложные модели.
4. Доказательство того, что использование BFE может привести к оптимальным решениям в различных областях применения.
5. Наглядная иллюстрация полученных результатов с использованием численных симуляций и визуализации решений.
#### Значимость
Результаты имеют значительное значение в следующих областях:
1. **Оптимальное управление и автоматическое управление**: BFE оказывают ключевое значение в развитии методов оптимальных управляющих систем, которые могут применяться в различных технических и технологических процессах.
2. **Экономика и социальные науки**: BFE могут использоваться для анализа и оптимизации динамики экономических систем и социальных процессов.
3. **Инженерия и технические приложения**: Благодаря BFE можно решать задачи управления динамическими системами в различных областях инженерии, таких как механика, электротехника и биотехнологии.
4. **Теория игр и стратегическо
Abstract
Uncertainty Quantification (UQ) is paramount for inference in engineering
applications. A common inference task is to recover full-field information of
physical systems from a small number of noisy observations, a usually highly
ill-posed problem. Critically, engineering systems often have complicated and
variable geometries prohibiting the use of standard Bayesian UQ. In this work,
we introduce Geometric Autoencoders for Bayesian Inversion (GABI), a framework
for learning geometry-aware generative models of physical responses that serve
as highly informative geometry-conditioned priors for Bayesian inversion.
Following a ''learn first, observe later'' paradigm, GABI distills information
from large datasets of systems with varying geometries, without requiring
knowledge of governing PDEs, boundary conditions, or observation processes,
into a rich latent prior. At inference time, this prior is seamlessly combined
with the likelihood of the specific observation process, yielding a
geometry-adapted posterior distribution. Our proposed framework is architecture
agnostic. A creative use of Approximate Bayesian Computation (ABC) sampling
yields an efficient implementation that utilizes modern GPU hardware. We test
our method on: steady-state heat over rectangular domains; Reynold-Averaged
Navier-Stokes (RANS) flow around airfoils; Helmholtz resonance and source
localization on 3D car bodies; RANS airflow over terrain. We find: the
predictive accuracy to be comparable to deterministic supervised learning
approaches in the restricted setting where supervised learning is applicable;
UQ to be well calibrated and robust on challenging problems with complex
geometries. The method provides a flexible geometry-aware
train-once-use-anywhere foundation model which is independent of any particular
observation process.