Table of Contents
Fetching ...

An efficient second-order cone programming approach for dynamic optimal transport on staggered grid discretization

Liang Chen, Youyicun Lin, Yuxuan Zhou

TL;DR

The paper tackles efficient numerical solution of dynamic optimal transport with quadratic cost on staggered grids. It develops an exact SOCP reformulation of the discretized DOT problem and solves it with an inexact proximal ALM that leverages diagonalized linear systems and SOC projections, achieving substantial speedups and robustness. The approach scales to large 3D grids, handles Dirac measures and irregular domains, and is released as open-source software. Together, these advances enable reliable, high-precision DOT computations for complex applications in Wasserstein geometry and related areas.

Abstract

This paper proposes an efficient numerical method based on second-order cone programming (SOCP) to solve dynamic optimal transport (DOT) problems with quadratic cost on staggered grid discretization. By properly reformulating discretized DOT problems into a linear SOCP, the proposed method eliminates the interpolation matrices and thus avoids solving a series of cubic equations and linear systems induced by interpolation. Then, by taking advantage of the SOCP reformulation, we can solve them efficiently by a computationally highly economical implementation of an inexact decomposition-based proximal augmented Lagrangian method. Moreover, we have made the proposed approach an open-source software package. Numerical experiments on various DOT problems suggest that the proposed approach performs significantly more efficiently than state-of-the-art software packages. In addition, it exhibits prominent robustness to problems with non-negative measures.

An efficient second-order cone programming approach for dynamic optimal transport on staggered grid discretization

TL;DR

The paper tackles efficient numerical solution of dynamic optimal transport with quadratic cost on staggered grids. It develops an exact SOCP reformulation of the discretized DOT problem and solves it with an inexact proximal ALM that leverages diagonalized linear systems and SOC projections, achieving substantial speedups and robustness. The approach scales to large 3D grids, handles Dirac measures and irregular domains, and is released as open-source software. Together, these advances enable reliable, high-precision DOT computations for complex applications in Wasserstein geometry and related areas.

Abstract

This paper proposes an efficient numerical method based on second-order cone programming (SOCP) to solve dynamic optimal transport (DOT) problems with quadratic cost on staggered grid discretization. By properly reformulating discretized DOT problems into a linear SOCP, the proposed method eliminates the interpolation matrices and thus avoids solving a series of cubic equations and linear systems induced by interpolation. Then, by taking advantage of the SOCP reformulation, we can solve them efficiently by a computationally highly economical implementation of an inexact decomposition-based proximal augmented Lagrangian method. Moreover, we have made the proposed approach an open-source software package. Numerical experiments on various DOT problems suggest that the proposed approach performs significantly more efficiently than state-of-the-art software packages. In addition, it exhibits prominent robustness to problems with non-negative measures.
Paper Structure (20 sections, 4 theorems, 89 equations, 4 figures, 7 tables, 2 algorithms)

This paper contains 20 sections, 4 theorems, 89 equations, 4 figures, 7 tables, 2 algorithms.

Key Result

Proposition 3.1

The solution set to the KKT system eq:kkt-dual is nonempty, i.e., the solution sets to both eq:opt-disdualori and eq:kkt-dualy are nonempty.

Figures (4)

  • Figure 1: The upper row features images from the Classic Images category, and the bottom row features images from the Shapes category.
  • Figure 2: Measures in \ref{['example7']} and numerical results
  • Figure 3: Densities in \ref{['example-heart']} and \ref{['example6']}
  • Figure 4: Numerical results on comparing the efficiency for \ref{['example-heart']} and \ref{['example6']}

Theorems & Definitions (22)

  • Remark 2.1
  • Proposition 3.1
  • proof
  • Proposition 3.2
  • proof
  • Remark 3.1
  • Proposition 3.3
  • proof
  • Remark 4.1
  • Theorem 4.1
  • ...and 12 more