-
Network Inpainting via Optimal Transport
Authors:
Enrico Facca,
Jan Martin Nordbotten,
Erik Andreas Hanson
Abstract:
In this work, we present a novel tool for reconstructing networks from corrupted images. The reconstructed network is the result of a minimization problem that has a misfit term with respect to the observed data, and a physics-based regularizing term coming from the theory of optimal transport. Through a range of numerical tests, we demonstrate that our suggested approach can effectively rebuild t…
▽ More
In this work, we present a novel tool for reconstructing networks from corrupted images. The reconstructed network is the result of a minimization problem that has a misfit term with respect to the observed data, and a physics-based regularizing term coming from the theory of optimal transport. Through a range of numerical tests, we demonstrate that our suggested approach can effectively rebuild the primary features of damaged networks, even when artifacts are present.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Computing the L1 optimal transport density: a FEM approach
Authors:
Federico Piazzon,
Enrico Facca,
Mario Putti
Abstract:
The $L^1$ optimal transport density $μ^*$ is the unique $L^\infty$ solution of the Monge-Kantorovich equations. It has been recently characterized also as the unique minimizer of the $L^1$ -transport energy functional E. In the present work we develop and we prove convergence of a numerical approxi- mation scheme for $μ^*$ . Our approach relies upon the combination of a FEM- inspired variational a…
▽ More
The $L^1$ optimal transport density $μ^*$ is the unique $L^\infty$ solution of the Monge-Kantorovich equations. It has been recently characterized also as the unique minimizer of the $L^1$ -transport energy functional E. In the present work we develop and we prove convergence of a numerical approxi- mation scheme for $μ^*$ . Our approach relies upon the combination of a FEM- inspired variational approximation of E with a minimization algorithm based on a gradient flow method.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
Efficient preconditioners for solving dynamical optimal transport via interior point methods
Authors:
Enrico Facca,
Gabriele Todeschi,
Andrea Natale,
Michele Benzi
Abstract:
In this paper we address the numerical solution of the quadratic optimal transport problem in its dynamical form, the so-called Benamou-Brenier formulation. When solved using interior point methods, the main computational bottleneck is the solution of large saddle point linear systems arising from the associated Newton-Raphson scheme. The main purpose of this paper is to design efficient precondit…
▽ More
In this paper we address the numerical solution of the quadratic optimal transport problem in its dynamical form, the so-called Benamou-Brenier formulation. When solved using interior point methods, the main computational bottleneck is the solution of large saddle point linear systems arising from the associated Newton-Raphson scheme. The main purpose of this paper is to design efficient preconditioners to solve these linear systems via iterative methods. Among the proposed preconditioners, we introduce one based on the partial commutation of the operators that compose the dual Schur complement of these saddle point linear systems, which we refer as $\boldsymbol{B}\boldsymbol{B}$-preconditioner. A series of numerical tests show that the $\boldsymbol{B}\boldsymbol{B}$-preconditioner is the most efficient among those presented, despite a performance deterioration in the last steps of the interior point method. It is in fact the only one having a CPU-time that scales only slightly worse than linearly with respect to the number of unknowns used to discretize the problem.
△ Less
Submitted 19 January, 2024; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Infrastructure adaptation and emergence of loops in network routing with time-dependent loads
Authors:
Alessandro Lonardi,
Enrico Facca,
Mario Putti,
Caterina De Bacco
Abstract:
Network routing approaches are widely used to study the evolution in time of self-adapting systems. However, few advances have been made for problems where adaptation is governed by time-dependent inputs. In this work we study a dynamical system where the edge conductivities of a network are regulated by time-varying mass loads injected on nodes. Motivated by empirical observations, we assume that…
▽ More
Network routing approaches are widely used to study the evolution in time of self-adapting systems. However, few advances have been made for problems where adaptation is governed by time-dependent inputs. In this work we study a dynamical system where the edge conductivities of a network are regulated by time-varying mass loads injected on nodes. Motivated by empirical observations, we assume that conductivities adapt slowly with respect to the characteristic time of the loads. Furthermore, assuming the loads to be periodic, we derive a dynamics where the evolution of the system is controlled by a matrix obtained with the Fourier coefficients of the input loads. Remarkably, we find a sufficient condition on these coefficients that determines when the resulting network topologies are trees. We show an example of this on the Bordeaux bus network where we tune the input loads to interpolate between loopy and tree topologies. We validate our model on several synthetic networks and provide an expression for long-time solutions of the original conductivities.
△ Less
Submitted 20 February, 2023; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Computing the Cut Locus of a Riemannian Manifold via Optimal Transport
Authors:
Enrico Facca,
Luca Berti,
Francesco Fassó,
Mario Putti
Abstract:
In this paper, we give a new characterization of the cut locus of a point on a compact Riemannian manifold as the zero set of the optimal transport density solution of the Monge-Kantorovich equations, a PDE formulation of the optimal transport problem with cost equal to the geodesic distance. Combining this result with an optimal transport numerical solver based on the so-called dynamical Monge-Ka…
▽ More
In this paper, we give a new characterization of the cut locus of a point on a compact Riemannian manifold as the zero set of the optimal transport density solution of the Monge-Kantorovich equations, a PDE formulation of the optimal transport problem with cost equal to the geodesic distance. Combining this result with an optimal transport numerical solver based on the so-called dynamical Monge-Kantorovich approach, we propose a novel framework for the numerical approximation of the cut locus of a point in a manifold. We show the applicability of the proposed method on a few examples settled on 2d-surfaces embedded in $R^{3}$ and discuss advantages and limitations.
△ Less
Submitted 14 December, 2021; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Numerical Solution of the $L^1$-Optimal Transport Problem on Surfaces
Authors:
Luca Berti,
Enrico Facca,
Mario Putti
Abstract:
In this article we study the numerical solution of the $L^1$-Optimal Transport Problem on 2D surfaces embedded in $R^3$, via the DMK formulation introduced in [FaccaCardinPutti:2018]. We extend from the Euclidean into the Riemannian setting the DMK model and conjecture the equivalence with the solution Monge-Kantorovich equations, a PDE-based formulation of the $L^1$-Optimal Transport Problem.
W…
▽ More
In this article we study the numerical solution of the $L^1$-Optimal Transport Problem on 2D surfaces embedded in $R^3$, via the DMK formulation introduced in [FaccaCardinPutti:2018]. We extend from the Euclidean into the Riemannian setting the DMK model and conjecture the equivalence with the solution Monge-Kantorovich equations, a PDE-based formulation of the $L^1$-Optimal Transport Problem.
We generalize the numerical method proposed in [FaccaCardinPutti:2018,FaccaDaneriCardinPutti:2020] to 2D surfaces embedded in $\REAL^3$ using the Surface Finite Element Model approach to approximate the Laplace-Beltrami equation arising from the model. We test the accuracy and efficiency of the proposed numerical scheme, comparing our approximate solution with respect to an exact solution on a 2D sphere. The results show that the numerical scheme is efficient, robust, and more accurate with respect to other numerical schemes presented in the literature for the solution of ls$L^1$-Optimal Transport Problem on 2D surfaces.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
Fast Iterative Solution of the Optimal Transport Problem on Graphs
Authors:
Enrico Facca,
Michele Benzi
Abstract:
In this paper, we address the numerical solution of the Optimal Transport Problem on undirected weighted graphs, taking the shortest path distance as transport cost. The optimal solution is obtained from the long-time limit of the gradient descent dynamics. Among different time step** procedures for the discretization of this dynamics, a backward Euler time step** scheme combined with the inex…
▽ More
In this paper, we address the numerical solution of the Optimal Transport Problem on undirected weighted graphs, taking the shortest path distance as transport cost. The optimal solution is obtained from the long-time limit of the gradient descent dynamics. Among different time step** procedures for the discretization of this dynamics, a backward Euler time step** scheme combined with the inexact Newton-Raphson method results in a robust and accurate approach for the solution of the Optimal Transport Problem on graphs. It is found experimentally that the algorithm requires solving between $\mathcal{O}(1)$ and $\mathcal{O}(M^{0.36})$ linear systems involving weighted Laplacian matrices, where $M$ is the number of edges. These linear systems are solved via algebraic multigrid methods, resulting in an efficient solver for the Optimal Transport Problem on graphs.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
Transport Energy
Authors:
Enrico Facca,
Federico Piazzon
Abstract:
We introduce the \emph{transport energy} functional $\mathcal E$ (a variant of the Bouchitté-Buttazzo-Seppecher shape optimization functional) and we prove that its unique minimizer is the optimal transport density $μ^*$, i.e., the solution of Monge-Kantorovich equations. We study the gradient flow of $\mathcal E$ showing that $μ^*$ is the unique global attractor of the flow.
We introduce a two…
▽ More
We introduce the \emph{transport energy} functional $\mathcal E$ (a variant of the Bouchitté-Buttazzo-Seppecher shape optimization functional) and we prove that its unique minimizer is the optimal transport density $μ^*$, i.e., the solution of Monge-Kantorovich equations. We study the gradient flow of $\mathcal E$ showing that $μ^*$ is the unique global attractor of the flow.
We introduce a two parameter family $\{\mathcal E_{λ,δ}\}_{λ,δ>0}$ of strictly convex functionals approximating $\mathcal E$ and we prove the convergence of the minimizers $μ_{λ,δ}^*$ of $\mathcal E_{λ,δ}$ to $μ^*$ as we let $δ\to 0^+$ and $λ\to 0^+.$
We derive an evolution system of fully non-linear PDEs as gradient flow of $\mathcal E_{λ,δ}$ in $L^2$, showing existence and uniqueness of solutions. All the trajectories of the flow converge in $W^{1,p}_0$ to the unique minimizer $μ_{λ,δ}^*$ of $\mathcal E_{λ,δ}.$
Finally, we characterize $μ_{λ,δ}^*$ by a non-linear system of PDEs which is a perturbation of Monge-Kantorovich equations by means of a p-Laplacian.
△ Less
Submitted 12 May, 2020; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Convergence of the Non-Uniform Directed Physarum Model
Authors:
Enrico Facca,
Andreas Karrenbauer,
Pavel Kolev,
Kurt Mehlhorn
Abstract:
The directed Physarum dynamics is known to solve positive linear programs: minimize $c^T x$ subject to $Ax = b$ and $x \ge 0$ for a positive cost vector $c$. The directed Physarum dynamics evolves a positive vector $x$ according to the dynamics $\dot{x} = q(x) - x$. Here $q(x)$ is the solution to $Af = b$ that minimizes the "energy" $\sum_i c_i f_i^2/x_i$.
In this paper, we study the non-uniform…
▽ More
The directed Physarum dynamics is known to solve positive linear programs: minimize $c^T x$ subject to $Ax = b$ and $x \ge 0$ for a positive cost vector $c$. The directed Physarum dynamics evolves a positive vector $x$ according to the dynamics $\dot{x} = q(x) - x$. Here $q(x)$ is the solution to $Af = b$ that minimizes the "energy" $\sum_i c_i f_i^2/x_i$.
In this paper, we study the non-uniform directed dynamics $\dot{x} = D(q(x) - x)$, where $D$ is a positive diagonal matrix. The non-uniform dynamics is more complex than the uniform dynamics (with $D$ being the identity matrix), as it allows each component of $x$ to react with different speed to the differences between $q(x)$ and $x$. Our contribution is to show that the non-uniform directed dynamics solves positive linear programs.
△ Less
Submitted 13 February, 2020; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Physarum Dynamics and Optimal Transport for Basis Pursuit
Authors:
Enrico Facca,
Franco Cardin,
Mario Putti
Abstract:
We study the connections between Physarum Dynamics and Dynamic Monge Kantorovich (DMK) Optimal Transport algorithms for the solution of Basis Pursuit problems. We show the equivalence between these two models and unveil their dynamic character by showing existence and uniqueness of the solution for all times and constructing a Lyapunov functional with negative Lie-derivative that drives the large-…
▽ More
We study the connections between Physarum Dynamics and Dynamic Monge Kantorovich (DMK) Optimal Transport algorithms for the solution of Basis Pursuit problems. We show the equivalence between these two models and unveil their dynamic character by showing existence and uniqueness of the solution for all times and constructing a Lyapunov functional with negative Lie-derivative that drives the large-time convergence. We propose a discretization of the equation by means of a combination of implicit time-step** and Newton method yielding an efficient and robust method for the solution of general basis pursuit problems. Several numerical experiments run on literature benchmark problems are used to show the accuracy, efficiency, and robustness of the proposed method.
△ Less
Submitted 26 September, 2020; v1 submitted 31 December, 2018;
originally announced December 2018.
-
Branching structures emerging from a continuous optimal transport model
Authors:
Enrico Facca,
Franco Cardin,
Mario Putti
Abstract:
Recently a Dynamic-Monge-Kantorovich formulation of the PDE-based $L^1$-optimal transport problem was presented. The model considers a diffusion equation enforcing the balance of the transported masses with a time-varying conductivity that volves proportionally to the transported flux. In this paper we present an extension of this model that considers a time derivative of the conductivity that gro…
▽ More
Recently a Dynamic-Monge-Kantorovich formulation of the PDE-based $L^1$-optimal transport problem was presented. The model considers a diffusion equation enforcing the balance of the transported masses with a time-varying conductivity that volves proportionally to the transported flux. In this paper we present an extension of this model that considers a time derivative of the conductivity that grows as a power law of the transport flux with exponent $β>0$. A sub-linear growth ($0<β<1$) penalizes the flux intensity and promotes distributed transport, with equilibrium solutions that are reminiscent of Congested Transport Problems. On the contrary, a super-linear growth ($β>1$) favors flux intensity and promotes concentrated transport, leading to the emergence of steady-state "singular" and "fractal-like" configurations that resemble those of Branched Transport Problems. We derive a numerical discretization of the proposed model that is accurate, efficient, and robust for a wide range of scenarios. For $β>1$ the numerical model is able to reproduce highly irregular and fractal-like formations without any a-priory structural assumption.
△ Less
Submitted 8 May, 2020; v1 submitted 30 November, 2018;
originally announced November 2018.
-
Numerical Solution of Monge-Kantorovich Equations via a dynamic formulation
Authors:
Enrico Facca,
Sara Daneri,
Franco Cardin,
Mario Putti
Abstract:
We propose a biologically inspired dynamic model for the numerical solution of the $L^{1}$-PDE based optimal transportation model.
We propose a biologically inspired dynamic model for the numerical solution of the $L^{1}$-PDE based optimal transportation model.
△ Less
Submitted 28 August, 2018; v1 submitted 20 September, 2017;
originally announced September 2017.
-
Towards a stationary Monge-Kantorovich dynamics: the Physarum Polycephalum experience
Authors:
Enrico Facca,
Franco Cardin,
Mario Putti
Abstract:
In this work we study and expand a model describing the dynamics of a unicellular slime mold, Physarum Polycephalum (PP), which was proposed to simulate the ability of PP to find the shortest path connecting two food sources in a maze. The original model describes the dynamics of the slime mold on a finite dimensional planar graph using a pipe-flow analogy whereby mass transfer occurs because of p…
▽ More
In this work we study and expand a model describing the dynamics of a unicellular slime mold, Physarum Polycephalum (PP), which was proposed to simulate the ability of PP to find the shortest path connecting two food sources in a maze. The original model describes the dynamics of the slime mold on a finite dimensional planar graph using a pipe-flow analogy whereby mass transfer occurs because of pressure differences with a conductivity coefficient that varies with the flow intensity. We propose an extension of this model that abandons the graph structure and moves to a continuous domain. Numerical evidence, shows that the model is capable of describing the slime mold dynamics also for large times, accurately reproducing the PP behavior.
A notable result related to the original model is that it is equivalent to an optimal transportation problem over the graph as time tends to infinity. In our case, we can only conjecture that our extension presents a time-asymptotic equilibrium. This equilibrium point is precisely the solution of the Monge-Kantorovich (MK) equations at the basis of the PDE formulation of optimal transportation problems. Numerical results obtained with our approach, which combines P1 Finite Elements with forward Euler time step**, show that the approximate solution converges at large times to an equilibrium configuration that well compares with the numerical solution of the MK-equations.
△ Less
Submitted 20 October, 2016;
originally announced October 2016.