Schrödinger Bridge Over A Compact Connected Lie Group
- URL: http://arxiv.org/abs/2603.14049v2
- Date: Fri, 20 Mar 2026 17:14:13 GMT
- Title: Schrödinger Bridge Over A Compact Connected Lie Group
- Abstract summary: This work studies the Schrdinger bridge problem for the kinematic equation on a compact connected Lie group.<n>We develop a coordinate-free formulation of this optimal control problem that respects the underlying geometric structure of the Lie group.<n>Our results are constructive in that they derive a geometric controller that optimally interpolates probability densities supported over the Lie group.
- Score: 0.13764085113103217
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This work studies the Schrödinger bridge problem for the kinematic equation on a compact connected Lie group. The objective is to steer a controlled diffusion between given initial and terminal densities supported over the Lie group while minimizing the control effort. We develop a coordinate-free formulation of this stochastic optimal control problem that respects the underlying geometric structure of the Lie group, thereby avoiding limitations associated with local parameterizations or embeddings in Euclidean spaces. We establish the existence and uniqueness of solution to the corresponding Schrödinger system. Our results are constructive in that they derive a geometric controller that optimally interpolates probability densities supported over the Lie group. To illustrate the results, we provide numerical examples on $\mathsf{SO}(2)$ and $\mathsf{SO}(3)$. The codes and animations are publicly available at https://github.com/gradslab/SbpLieGroups.git .
Related papers
- On the Equivalence of Stochastic Control and Path Space Formulations for Schrödinger Bridges over Compact Connected Lie Groups [0.1259953341639576]
We establish the equivalence between the numerically optimal control and path space formulations of the Schrdinger bridge problem (SBP)<n>Using the geometric concepts of horizontal lift and anti-development, we derive a Girsanov-type change-of-measure.<n>We illustrate the equivalence to the torus $mathbbT2$.
arXiv Detail & Related papers (2026-09-12T07:08:38Z) - Schrödinger Bridges on Lie Group Manifolds for Probabilistic Intrinsic Generation [8.18074374709342]
We study Schrodinger bridges for kinetic dynamics on Lie group manifold with state X_t = (g_t, xi_t) in G x g.<n> entropy projection determines the conditional law of the unobserved endpoint velocities.<n>Experiments on multiple Lie group manifold datasets validate the feasibility and consistency of our proposed method.
arXiv Detail & Related papers (2026-09-02T07:01:21Z) - Optimal Transportation and Alignment Between Gaussian Measures [80.4634530260329]
Optimal transport (OT) and Gromov-Wasserstein (GW) alignment provide interpretable geometric frameworks for datasets.<n>Because these frameworks are computationally expensive, large-scale applications often rely on closed-form solutions for Gaussian distributions under quadratic cost.<n>This work provides a comprehensive treatment of Gaussian, quadratic cost OT and inner product GW (IGW) alignment, closing several gaps in the literature to broaden applicability.
arXiv Detail & Related papers (2025-12-03T09:01:48Z) - Joint Metric Space Embedding by Unbalanced OT with Gromov-Wasserstein Marginal Penalization [3.7498611358320733]
We propose a new approach for unsupervised alignment of heterogeneous datasets.<n>Our method is based on an unbalanced optimal transport problem with Gromov-Wasserstein marginalization.
arXiv Detail & Related papers (2025-02-11T12:28:47Z) - On lower bounds of the density of planar periodic sets without unit distances [55.2480439325792]
We introduce a novel approach to estimating $m_1(mathbbR2)$ by reformulating the problem as a Maximal Independent Set (MIS) problem on graphs constructed from flat torus.<n>Our experimental results, supported by theoretical justifications of proposed method, demonstrate that for a sufficiently wide range of parameters this approach does not improve the known lower bound.
arXiv Detail & Related papers (2024-11-20T12:07:19Z) - Soft-constrained Schrodinger Bridge: a Stochastic Control Approach [4.922305511803267]
Schr"odinger bridge can be viewed as a continuous-time control problem where the goal is to find an optimally controlled diffusion process.
We propose to generalize this problem by allowing the terminal distribution to differ from the target but penalizing the Kullback-Leibler divergence between the two distributions.
One application is the development of robust generative diffusion models.
arXiv Detail & Related papers (2024-03-04T04:10:24Z) - Global optimality under amenable symmetry constraints [0.5656581242851759]
We show the interplay between convexity, the group, and the underlying vector space, which is typically infinite-dimensional.
We apply this toolkit to the invariant optimality problem.
It yields new results on invariant kernel mean embeddings and risk-optimal invariant couplings.
arXiv Detail & Related papers (2024-02-12T12:38:20Z) - Generalized Schrödinger Bridge Matching [54.171931505066]
Generalized Schr"odinger Bridge (GSB) problem setup is prevalent in many scientific areas both within and without machine learning.
We propose Generalized Schr"odinger Bridge Matching (GSBM), a new matching algorithm inspired by recent advances.
We show that such a generalization can be cast as solving conditional optimal control, for which variational approximations can be used.
arXiv Detail & Related papers (2023-10-03T17:42:11Z) - On the Contraction Coefficient of the Schr\"odinger Bridge for
Stochastic Linear Systems [15.022863946000495]
A popular method to numerically solve the Schr"odinger bridge problems is via contractive fixed point recursions.
We study a priori estimates for the contraction coefficients associated with the convergence of respective Schr"odinger systems.
arXiv Detail & Related papers (2023-09-12T22:24:05Z) - Unveiling the Latent Space Geometry of Push-Forward Generative Models [24.025975236316846]
Many deep generative models are defined as a push-forward of a Gaussian measure by a continuous generator, such as Generative Adversarial Networks (GANs) or Variational Auto-Encoders (VAEs)
This work explores the latent space of such deep generative models.
A key issue with these models is their tendency to output samples outside of the support of the target distribution when learning disconnected distributions.
arXiv Detail & Related papers (2022-07-21T15:29:35Z) - The Franke-Gorini-Kossakowski-Lindblad-Sudarshan (FGKLS) Equation for
Two-Dimensional Systems [62.997667081978825]
Open quantum systems can obey the Franke-Gorini-Kossakowski-Lindblad-Sudarshan (FGKLS) equation.
We exhaustively study the case of a Hilbert space dimension of $2$.
arXiv Detail & Related papers (2022-04-16T07:03:54Z) - The Schr\"odinger Bridge between Gaussian Measures has a Closed Form [101.79851806388699]
We focus on the dynamic formulation of OT, also known as the Schr"odinger bridge (SB) problem.
In this paper, we provide closed-form expressions for SBs between Gaussian measures.
arXiv Detail & Related papers (2022-02-11T15:59:01Z) - Nearly Dimension-Independent Sparse Linear Bandit over Small Action
Spaces via Best Subset Selection [71.9765117768556]
We consider the contextual bandit problem under the high dimensional linear model.
This setting finds essential applications such as personalized recommendation, online advertisement, and personalized medicine.
We propose doubly growing epochs and estimating the parameter using the best subset selection method.
arXiv Detail & Related papers (2020-09-04T04:10:39Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.