Adapted Wasserstein Barycenters of Gaussian Processes
Pith reviewed 2026-05-08 10:14 UTC · model grok-4.3
The pith
The adapted Wasserstein barycenter of Gaussian process laws is itself a Gaussian process.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the adapted Wasserstein barycenter problem for Gaussian process laws admits Gaussian solutions. We derive a characterization of these barycenters in terms of the means and covariance operators of the underlying processes and analyze their existence, uniqueness, and regularity properties under natural assumptions. The Gaussian setting reveals a tractable and structurally rich subclass of adapted transport problems, bridging adapted optimal transport and Bures-Wasserstein geometry.
What carries the argument
The adapted Wasserstein distance, which enforces that transport plans remain compatible with the temporal information flow of the underlying stochastic processes.
If this is right
- The barycenters serve as explicit representatives for collections of Gaussian models in adapted transport.
- The characterization reduces the barycenter computation to operations on means and covariance operators.
- The results identify a tractable subclass that connects adapted optimal transport with Bures-Wasserstein geometry.
- New applications become feasible in stochastic optimization, robust finance, and sequential statistics.
Where Pith is reading between the lines
- The explicit form may allow stable numerical approximation of barycenters even when the original processes are only approximately Gaussian.
- Regularity properties of the barycenter could translate into continuity results when the input covariances are perturbed in operator norm.
- The bridge to Bures-Wasserstein geometry suggests that adapted barycenters inherit some of the Riemannian structure known for finite-dimensional Gaussians.
Load-bearing premise
The Gaussian processes satisfy natural assumptions on their means, covariances, and the adapted Wasserstein space that guarantee existence and uniqueness of the barycenter.
What would settle it
An explicit collection of Gaussian processes for which the adapted Wasserstein barycenter is provably non-Gaussian or fails to be unique would refute the main claims.
Figures
read the original abstract
We investigate barycenters of Gaussian process laws in adapted Wasserstein space. The adapted Wasserstein distance refines classical optimal transport by enforcing compatibility of transport plans with the temporal flow of information, and is therefore well suited for stochastic systems with filtration constraints, as common in stochastic control, mathematical finance and sequential decision problems. Within this framework, we consider weighted Fr\'echet means of Gaussian process laws and prove that the associated barycenter problem admits Gaussian solutions. We derive a characterization of adapted Wasserstein barycenters in terms of the means and covariance operators of the underlying processes, and we analyze their existence, uniqueness, and regularity properties under natural assumptions. The Gaussian setting reveals a tractable and structurally rich subclass of adapted transport problems, bridging adapted optimal transport and Bures--Wasserstein geometry. Our results identify adapted Wasserstein barycenters as natural representatives of collections of Gaussian models and suggest new applications in stochastic optimization, robust finance, and sequential statistics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates barycenters of Gaussian process laws in adapted Wasserstein space. It proves that the barycenter problem admits Gaussian solutions, derives an explicit characterization of these barycenters in terms of the means and covariance operators of the underlying processes, and analyzes existence, uniqueness, and regularity properties under natural assumptions (square-integrable processes with continuous, positive semi-definite covariance kernels adapted to the filtration). The approach reduces the adapted distance to a Bures-type metric on covariance operators while preserving causality of couplings, with existence and uniqueness following from strict convexity of the Fréchet functional.
Significance. If the results hold, the work provides a valuable bridge between adapted optimal transport and Bures-Wasserstein geometry, yielding tractable Gaussian solutions for stochastic systems with filtration constraints. The explicit characterization and regularity analysis (via continuity in trace norm) are strengths that support applications in stochastic optimization, robust finance, and sequential statistics. The reduction to a convex problem on covariance operators is a clean structural insight.
minor comments (2)
- [Abstract] The abstract refers to 'natural assumptions' without listing them; while the full text states them explicitly (square-integrability, continuous positive semi-definite adapted kernels), a one-sentence summary of the key hypotheses in the abstract would improve accessibility.
- [Section 3 (or equivalent on the metric reduction)] In the derivation of the Bures-type reduction, confirm that the causality preservation of couplings is stated as a lemma or proposition with a clear reference to the definition of adapted Wasserstein distance used in the paper.
Simulated Author's Rebuttal
We thank the referee for the positive summary of our manuscript and for recognizing its significance as a bridge between adapted optimal transport and Bures-Wasserstein geometry. The recommendation for minor revision is noted.
Circularity Check
No significant circularity; derivation reduces to independent convexity and metric properties
full rationale
The central result characterizes adapted Wasserstein barycenters of Gaussian process laws via means and covariance operators by reducing the adapted distance to a Bures-type metric on the covariance operators (while preserving causality of couplings) and then invoking strict convexity of the Fréchet functional on the cone of covariance operators. These steps rely on standard properties of the Bures-Wasserstein geometry and Fréchet means that are external to the paper's own fitted quantities or self-definitions; existence, uniqueness, and regularity then follow directly under the stated assumptions on square-integrable processes with continuous positive semi-definite adapted kernels. No load-bearing step collapses to a self-citation chain, ansatz smuggling, or renaming of a known result by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The adapted Wasserstein distance is well-defined on the space of Gaussian process laws
- standard math Gaussian processes are characterized by their mean and covariance operators
Reference graph
Works this paper leans on
-
[1]
The geometry of the adapted bures–wasserstein space.arXiv preprint arXiv:2602.00623,
B. Acciaio, D. Bartl, A. Grass, S. Hou, and G. Pammer. The geometry of the adapted Bures– Wasserstein space.arXiv preprint arXiv:2602.00623, 2026
-
[2]
B. Acciaio, S. Hou, and G. Pammer. Entropic adapted Wasserstein distance on Gaussians.Electronic Communications in Probability, 30:1–14, 2025
work page 2025
-
[3]
B. Acciaio, D. Krˇ sek, and G. Pammer. Multicausal Transport: Barycenters and Dynamic Matching. SIAM Journal on Financial Mathematics, 16(3):1104–1138, 2025
work page 2025
-
[4]
M. Agueh and G. Carlier. Barycenters in the Wasserstein Space.SIAM Journal on Mathematical Analysis, 43(2):904–924, 2011
work page 2011
-
[5]
D. Aldous. Weak convergence and the general theory of processes. Unpublished manuscript, University of California, Berkeley, 1981
work page 1981
- [6]
-
[7]
P. C. ´Alvarez-Esteban, E. Del Barrio, J. Cuesta-Albertos, and C. Matr´ an. A fixed-point approach to barycenters in Wasserstein space.Journal of Mathematical Analysis and Applications, 441(2):744–762, 2016
work page 2016
-
[8]
J. Backhoff, M. Beiglbock, Y. Lin, and A. Zalashko. Causal transport in discrete time and applications. SIAM Journal on Optimization, 27(4):2528–2562, 2017
work page 2017
-
[9]
J. Backhoff-Veraguas, D. Bartl, M. Beiglb¨ ock, and M. Eder. Adapted Wasserstein distances and stability in mathematical finance.Finance and Stochastics, 24(3):601–632, 2020. ADAPTED W ASSERSTEIN BARYCENTERS OF GAUSSIAN PROCESSES 29
work page 2020
- [10]
-
[11]
The Wasserstein space of stochastic processes in continuous time.arXiv preprint arXiv:2501.14135,
D. Bartl, M. Beiglb¨ ock, G. Pammer, S. Schrott, and X. Zhang. The wasserstein space of stochastic processes in continuous time.arXiv preprint arXiv:2501.14135, 2025
-
[12]
D. Bartl and J. Wiesel. Sensitivity of multiperiod optimization problems with respect to the adapted Wasserstein distance.SIAM Journal on Financial Mathematics, 14(2):704–720, 2023
work page 2023
-
[13]
M. Beiglb¨ ock, G. Pammer, and A. Posch. The Knothe–Rosenblatt distance and its induced topology. arXiv preprint arXiv:2312.16515, 2023
- [14]
- [15]
-
[16]
C. Brizzi and L. Portinale. On theq-integrability ofp-Wasserstein barycenters.arXiv preprint arXiv:2602.18293, 2026
-
[17]
P. J. Brockwell and R. A. Davis.Time Series: Theory and Methods. Springer, 2nd edition, 1991
work page 1991
- [18]
- [19]
- [20]
-
[21]
M. Cuturi and A. Doucet. Fast computation of Wasserstein barycenters. InInternational conference on machine learning, pages 685–693. PMLR, 2014
work page 2014
- [22]
- [23]
-
[24]
G. Friesecke.Optimal Transport: a comprehensive introduction to modeling, analysis, simulation, applications. SIAM, 2024
work page 2024
-
[25]
M. Gunasingam and T.-K. L. Wong. Adapted optimal transport between Gaussian processes in dis- crete time.Electronic Communications in Probability, 30:1 – 14, 2025
work page 2025
-
[26]
M. F. Hellwig. Sequential decisions under uncertainty and the maximum theorem.Journal of Mathe- matical Economics, 25(4):443–464, 1996
work page 1996
-
[27]
D. N. Hoover and H. J. Keisler. Adapted probability distributions.Transactions of the American Mathematical Society, 286(1):159–201, 1984
work page 1984
-
[28]
R. A. Horn and C. R. Johnson.Matrix Analysis. Cambridge University Press, 2nd edition, 2013
work page 2013
- [29]
-
[30]
V. Masarotto, V. M. Panaretos, and Y. Zemel. Procrustes metrics on covariance operators and optimal transportation of gaussian processes.Sankhya A, 81(1):172–213, 2019
work page 2019
-
[31]
V. M. Panaretos and Y. Zemel.An invitation to statistics in Wasserstein space. Springer, 2020
work page 2020
-
[32]
B. Pass. Multi-marginal optimal transport: theory and applications.ESAIM: Mathematical Modelling and Numerical Analysis, 49(6):1771–1790, 2015
work page 2015
-
[33]
G. Peyr´ e and M. Cuturi.Computational optimal transport: With applications to data science. Now Foundations and Trends, 2019
work page 2019
-
[34]
G. Peyr´ e, M. Cuturi, and J. Solomon. Gromov-Wasserstein averaging of kernel and distance matrices. InInternational conference on machine learning, pages 2664–2672. PMLR, 2016
work page 2016
-
[35]
G. C. Pflug and A. Pichler.Multistage stochastic optimization, volume 1104. Springer, 2014
work page 2014
-
[36]
G. Puccetti, L. R¨ uschendorf, and S. Vanduffel. On the computation of Wasserstein barycenters.Jour- nal of Multivariate Analysis, 176:104581, 2020. ADAPTED W ASSERSTEIN BARYCENTERS OF GAUSSIAN PROCESSES 30
work page 2020
- [37]
-
[38]
A. Takatsu. Wasserstein geometry of Gaussian measures.Osaka Journal of Mathematics, 48(4):1005– 1026, 2011. (FRANCESCO MATTESINI)DEPARTMENT OF MATHEMATICS, CIT SCHOOL, TECHNI- CAL UNIVERSITY OF MUNICH Email address:FRANCESCO.MATTESINI@TUM.DE (JOHANNES WIESEL)DEPARTMENT OF MATHEMATICS, UNIVERSITY OF COPENHAGEN Email address:WIESEL@MATH.KU.DK
work page 2011
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.