Optimization of Bregman Variational Learning Dynamics
Jinho Cha, Youngchul Kim, Jungmin Shin, Jaeyoung Cho, Seon Jin Kim, Junyeol Ryu
TL;DR
This work introduces Bregman--Variational Learning Dynamics (BVLD), a time-varying operator framework that unifies Bayesian updates, mirror descent, and proximal methods under nonstationary environments via $T_t(p)=\arg\min_q\{f_t(q)+D_\psi(q\|p)\}$. It establishes that BVLD operators are $\kappa$-averaged with $\kappa=\mu/(\mu+L)$ in the $D_\psi$ geometry, yielding contraction, Fejér monotonicity, and exponential convergence, and it derives a continuous-time evolution variational inequality (EVI) showing exponential decay of a Bregman energy up to a drift term. The framework is extended to distributionally robust optimization and Pareto/multiobjective variants, with preserved stability and well-posedness, and is complemented by exact, inexact, and inner-quasi-Newton implementations. Empirical analyses on synthetic and real data demonstrate the predicted contraction and drift-resilience, highlighting BVLD's potential for robust adaptive learning, digital twins, and control in nonstationary settings. Overall, BVLD provides a rigorous operator-level foundation for stable, geometry-aware learning under drift, bridging convex analysis, dynamical systems, and robust optimization.
Abstract
We develop a general optimization-theoretic framework for Bregman-Variational Learning Dynamics (BVLD), a new class of operator-based updates that unify Bayesian inference, mirror descent, and proximal learning under time-varying environments. Each update is formulated as a variational optimization problem combining a smooth convex loss f_t with a Bregman divergence D_psi. We prove that the induced operator is averaged, contractive, and exponentially stable in the Bregman geometry. Further, we establish Fejer monotonicity, drift-aware convergence, and continuous-time equivalence via an evolution variational inequality (EVI). Together, these results provide a rigorous analytical foundation for well-posed and stability-guaranteed operator dynamics in nonstationary optimization.
