Technical Summary: A Local Sinkhorn Framework for Conditional Distribution Reconstruction of Multidimensional Random Fields
1. Problem Statement
The identification of random fields from observational data is a critical challenge in uncertainty quantification (UQ) and scientific machine learning. Many physical systems, such as porous media flow and turbulent transport, are governed by stochastic parameters that result in stochastic responses which deterministic models cannot adequately characterize. The primary objective is not merely to predict the conditional expectation but to reconstruct the entire conditional probability distribution of the stochastic solution.
While deep generative models (e.g., CVAEs, GANs, diffusion models) have shown promise in learning complex distributions, they often fail to preserve the geometric structure of probability measures associated with nearby physical states. Optimal Transport (OT), specifically the Wasserstein metric, offers a physically meaningful distance that remains informative even when distributions have disjoint supports. However, the exact computation of Wasserstein distances involves solving large-scale linear programming problems, which becomes computationally prohibitive for neural network training, particularly in high-dimensional settings. Previous work by the authors introduced a local squared W2 framework to address locality, but the reliance on exact OT computations remained a scalability bottleneck.
2. Methodology
The authors propose a Local Sinkhorn Divergence Framework to train Stochastic Neural Networks (SNNs) for reconstructing multidimensional random fields. The methodology integrates three core components:
A. Stochastic Neural Network (SNN) Architecture
The model employs an SNN where random parameters (representing the uncertainty variable ω) are sampled during forward propagation. This allows the network to generate multiple realizations for a single input location, approximating the conditional distribution μx of the target random field y(x,ω).
B. Local Distribution Matching via Neighborhoods
To handle the conditional nature of the problem without explicit governing equations, the framework utilizes a neighborhood technique. For a given input xi, a neighborhood B(xi,δ) is defined based on a radius δ. Empirical conditional distributions are constructed from samples within this neighborhood. The loss function minimizes the discrepancy between the empirical distributions of the ground truth and the SNN predictions across the entire input domain.
C. Debiased Sinkhorn Divergence
Instead of the exact squared W2 distance, the authors utilize the debiased Sinkhorn divergence (Sε).
- Entropic Regularization: The Sinkhorn algorithm introduces an entropic regularization term (ε) to the OT cost, making the problem differentiable and solvable via iterative matrix scaling rather than linear programming.
- Debiasing: To remove the entropic bias inherent in regularized transport (where Sε(μ,μ)=0), the authors use the definition:
Sε(μ,μ^)=Wε2(μ,μ^)−21Wε2(μ,μ)−21Wε2(μ^,μ^)
- Loss Function: The proposed loss is the averaged Sinkhorn divergence over the input domain:
Sε,δe(yx,y^x)=∫DSε(μx,δe,μ^x,δe)νe(dx)
where μx,δe and μ^x,δe are empirical measures constructed from neighborhood samples.
D. Theoretical Analysis
The paper establishes generalization error bounds for the proposed framework. The analysis reveals a trade-off controlled by the regularization parameter ε and the neighborhood radius δ:
- Bias-Variance Trade-off: A small ε approaches the exact W2 distance (high geometric fidelity) but suffers from slow statistical convergence in high dimensions. A larger ε improves statistical efficiency and computational speed but introduces regularization bias.
- Curse of Dimensionality: The bounds suggest that the entropic regularization term can partially alleviate the curse of dimensionality compared to empirical Wasserstein distances, particularly when the conditional distributions vary smoothly.
3. Key Contributions
- Framework Extension: The authors extend their previous local optimal transport framework from the exact Wasserstein distance to the debiased Sinkhorn divergence. This results in a fully differentiable, scalable, and computationally efficient method for training SNNs.
- Theoretical Guarantees: The paper provides theoretical generalization error bounds that explicitly characterize the trade-off between approximation bias and statistical efficiency. These bounds demonstrate how the regularization parameter influences the convergence rate and the potential to mitigate the curse of dimensionality.
- Empirical Validation: The framework is validated across three distinct numerical examples:
- 1D Conditional Distribution: Reconstruction of a bimodal Gaussian mixture.
- Stochastic Darcy Flow: A multidimensional problem involving permeability fields and spatial correlations.
- Stochastic FitzHugh–Nagumo (FHN) Systems: A network of coupled nonlinear stochastic oscillators.
4. Results
Numerical experiments demonstrate that the Local Sinkhorn framework achieves a superior balance between reconstruction accuracy and computational efficiency:
- Accuracy: In the 1D example, the Local Sinkhorn loss outperformed pointwise regression losses (MSE, MAE) and other distribution-based losses (Energy Distance, MMD, local W2) in reconstructing both conditional means and variances.
- Efficiency: In the stochastic Darcy flow benchmark, the Sinkhorn-based SNN achieved the lowest mean and variance errors among all tested methods (including Heteroscedastic Gaussian Regression, MDN, CVAE, and CNF). Crucially, it reduced training time significantly compared to the local squared W2 approach (308s vs. 500s) while maintaining comparable or better accuracy.
- Dynamical Systems: For the stochastic FHN system, the method successfully reconstructed both the deterministic drift and stochastic diffusion components of the dynamics. The Sinkhorn approach showed lower errors in learned drift and diffusion functions compared to the local W2 baseline, with a modest reduction in training time.
- Robustness: Sensitivity analyses indicated that the method remains stable under varying noise levels and that an intermediate neighborhood radius and regularization parameter provide the optimal trade-off between approximation bias and statistical error.
5. Significance and Claims
The paper claims that the proposed Local Sinkhorn framework offers a practical compromise between geometric fidelity, statistical efficiency, and computational scalability for uncertainty quantification.
- Scalability: By replacing exact OT computations with Sinkhorn divergence, the method overcomes the computational bottleneck that previously limited the application of local optimal transport to multidimensional stochastic systems.
- Geometric Fidelity: Unlike kernel-based methods (e.g., MMD) or likelihood-based models that may struggle with disjoint supports or complex geometries, the Sinkhorn divergence preserves the geometric structure of the underlying probability measures.
- Theoretical Insight: The derived error bounds provide a theoretical justification for using entropic regularization in high-dimensional random field learning, suggesting that proper tuning of ε can mitigate the curse of dimensionality.
- General Applicability: The framework is presented as a versatile tool for probabilistic scientific machine learning, capable of handling stochastic partial differential equations and complex dynamical systems where only scattered observations are available.
The authors conclude that exploiting local neighborhoods with OT-based losses is more critical for performance than increasing the complexity of the conditional generator, and the Local Sinkhorn approach effectively leverages this insight to outperform existing machine-learning-based UQ benchmarks.