-
Dynamic Optimal Transport with optimal star shaped graphs
Authors:
Marcello Carioni,
Juliane Krautz,
Jan-F. Pietschmann
Abstract:
We study an optimal transport problem in a compact convex set $Ω\subset\mathbb{R}^d$ where bulk transport is coupled to dynamic optimal transport on a metric graph $ \mathsf{G} = (\mathsf{V},\mathsf{E})$ which is embedded in $Ω$. We prove existence of solutions for fixed graphs. Next, we consider varying graphs, yet only for the case of star-shaped ones. Here, the action functional is augmented by…
▽ More
We study an optimal transport problem in a compact convex set $Ω\subset\mathbb{R}^d$ where bulk transport is coupled to dynamic optimal transport on a metric graph $ \mathsf{G} = (\mathsf{V},\mathsf{E})$ which is embedded in $Ω$. We prove existence of solutions for fixed graphs. Next, we consider varying graphs, yet only for the case of star-shaped ones. Here, the action functional is augmented by an additional penalty that prevents the edges of the graph to overlap. This allows to preserve the graph topology and thus to rely on standard techniques in Calculus of Variations in order to show existence of minimizers.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Sparsity for dynamic inverse problems on Wasserstein curves with bounded variation
Authors:
Marcello Carioni,
Julius Lohmann
Abstract:
We investigate a dynamic inverse problem using a regularization which implements the so-called Wasserstein-$1$ distance. It naturally extends well-known static problems such as lasso or total variation regularized problems to a (temporally) dynamic setting. Further, the decision variables, realized as BV curves, are allowed to exhibit discontinuities, in contrast to the design variables in classic…
▽ More
We investigate a dynamic inverse problem using a regularization which implements the so-called Wasserstein-$1$ distance. It naturally extends well-known static problems such as lasso or total variation regularized problems to a (temporally) dynamic setting. Further, the decision variables, realized as BV curves, are allowed to exhibit discontinuities, in contrast to the design variables in classical optimal transport based regularization techniques. We prove the existence and a characterization of a sparse solution. Further, we use an adaption of the fully-corrective generalized conditional gradient method to experimentally justify that the determination of BV curves in the Wasserstein-$1$ space is numerically implementable.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Dynamic Optimal Transport with Optimal Preferential Paths
Authors:
Marcello Carioni,
Juliane Krautz,
Jan-F. Pietschmann
Abstract:
We study a dynamic optimal transport type problem on a domain that consists of two parts: a compact set $Ω\subset \mathbb{R}^d$ (bulk) and a non-intersecting and sufficiently regular curve $Γ\subset Ω$. On each of them, a Benamou-Brenier type dynamic optimal transport problem is considered, yet with an additional mechanism that allows the exchange (at a cost) of mass between bulk and curve. In the…
▽ More
We study a dynamic optimal transport type problem on a domain that consists of two parts: a compact set $Ω\subset \mathbb{R}^d$ (bulk) and a non-intersecting and sufficiently regular curve $Γ\subset Ω$. On each of them, a Benamou-Brenier type dynamic optimal transport problem is considered, yet with an additional mechanism that allows the exchange (at a cost) of mass between bulk and curve. In the respective actions, we also allow for non-linear mobilities. We first ensure the existence of minimizers by relying on the direct method of calculus of variations and we study the asymptotic properties of the minimizers under changes in the parameters regulating the dynamics in $Ω$ and $Γ$.
Then, we study the case when the curve $Γ$ is also allowed to change, being the main interest in this paper. To this end, the Tangent-Point energy is added to the action functional in order to preserve the regularity properties of the curve and prevent self-intersections. Also in this case, by relying on suitable compactness estimates both for the time-dependent measures and the curve $Γ$, the existence of optimizers is shown.
We extend these analytical findings by numerical simulations based on a primal-dual approach that illustrate the behaviour of geodesics, for fixed and varying curves.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
Perturbation-Aware Distributionally Robust Optimization for Inverse Problems
Authors:
Floor van Maarschalkerwaart,
Subhadip Mukherjee,
Malena Sabaté Landman,
Christoph Brune,
Marcello Carioni
Abstract:
This paper builds on classical distributionally robust optimization techniques to construct a comprehensive framework that can be used for solving inverse problems. Given an estimated distribution of inputs in $X$ and outputs in $Y$, an ambiguity set is constructed by collecting all the perturbations that belong to a prescribed set $K$ and are inside an entropy-regularized Wasserstein ball. By fin…
▽ More
This paper builds on classical distributionally robust optimization techniques to construct a comprehensive framework that can be used for solving inverse problems. Given an estimated distribution of inputs in $X$ and outputs in $Y$, an ambiguity set is constructed by collecting all the perturbations that belong to a prescribed set $K$ and are inside an entropy-regularized Wasserstein ball. By finding the worst-case reconstruction within $K$ one can produce reconstructions that are robust with respect to various types of perturbations: $X$-robustness, $Y|X$-robustness and, more general, targeted robustness depending on noise type, imperfect forward operators and noise anisotropies. After defining the general robust optimization problem, we derive its (weak) dual formulation and we use it to design an efficient algorithm. Finally, we demonstrate the effectiveness of our general framework to solve matrix inversion and deconvolution problems defining $K$ as the set of multivariate Gaussian perturbations in $Y|X$.
△ Less
Submitted 6 March, 2025;
originally announced March 2025.
-
Nonlocal perimeters and variations: Extremality and decomposability for finite and infinite horizons
Authors:
Marcello Carioni,
Leonardo Del Grande,
José A. Iglesias,
Hidde Schönberger
Abstract:
We analyze the extremality and decomposability properties with respect to two types of nonlocal perimeters available in the literature, the Gagliardo perimeter based on the eponymous seminorms and the nonlocal distributional Caccioppoli perimeter, both with finite and infinite interaction ranges. A nonlocal notion of indecomposability associated to these perimeters is introduced, and we prove that…
▽ More
We analyze the extremality and decomposability properties with respect to two types of nonlocal perimeters available in the literature, the Gagliardo perimeter based on the eponymous seminorms and the nonlocal distributional Caccioppoli perimeter, both with finite and infinite interaction ranges. A nonlocal notion of indecomposability associated to these perimeters is introduced, and we prove that in both cases it can be characterized solely in terms of the interaction range or horizon $\varepsilon$. Utilizing this, we show that it is possible to uniquely decompose a set into its $\varepsilon$-connected components, establishing a nonlocal analogue of the decomposition theorem of Ambrosio, Caselles, Masnou and Morel. Moreover, the extreme points of the balls induced by the Gagliardo and nonlocal total variation seminorm are identified, which naturally correspond to the two nonlocal perimeters. Surprisingly, while the extreme points in the former case are normalized indicator functions of $\varepsilon$-simple sets, akin to the classical TV-ball, in the latter case they are instead obtained from a nonlocal transformation applied to the extreme points of the TV-ball. Finally, we explore the nonlocal-to-local transition via a $Γ$-limit as $\varepsilon \rightarrow 0$ for both perimeters, recovering the classical Caccioppoli perimeter.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
A Lipschitz spaces view of infinitely wide shallow neural networks
Authors:
Francesca Bartolucci,
Marcello Carioni,
José A. Iglesias,
Yury Korolev,
Emanuele Naldi,
Stefano Vigogna
Abstract:
We revisit the mean field parametrization of shallow neural networks, using signed measures on unbounded parameter spaces and duality pairings that take into account the regularity and growth of activation functions. This setting directly leads to the use of unbalanced Kantorovich-Rubinstein norms defined by duality with Lipschitz functions, and of spaces of measures dual to those of continuous fu…
▽ More
We revisit the mean field parametrization of shallow neural networks, using signed measures on unbounded parameter spaces and duality pairings that take into account the regularity and growth of activation functions. This setting directly leads to the use of unbalanced Kantorovich-Rubinstein norms defined by duality with Lipschitz functions, and of spaces of measures dual to those of continuous functions with controlled growth. These allow to make transparent the need for total variation and moment bounds or penalization to obtain existence of minimizers of variational formulations, under which we prove a compactness result in strong Kantorovich-Rubinstein norm, and in the absence of which we show several examples demonstrating undesirable behavior. Further, the Kantorovich-Rubinstein setting enables us to combine the advantages of a completely linear parametrization and ensuing reproducing kernel Banach space framework with optimal transport insights. We showcase this synergy with representer theorems and uniform large data limits for empirical risk minimization, and in proposed formulations for distillation and fusion applications.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
-
Exact Sparse Representation Recovery in Signal Demixing and Group BLASSO
Authors:
Marcello Carioni,
Leonardo Del Grande
Abstract:
In this short article we present the theory of sparse representations recovery in convex regularized optimization problems introduced in (Carioni and Del Grande, arXiv:2311.08072, 2023). We focus on the scenario where the unknowns belong to Banach spaces and measurements are taken in Hilbert spaces, exploring the properties of minimizers of optimization problems in such settings. Specifically, we…
▽ More
In this short article we present the theory of sparse representations recovery in convex regularized optimization problems introduced in (Carioni and Del Grande, arXiv:2311.08072, 2023). We focus on the scenario where the unknowns belong to Banach spaces and measurements are taken in Hilbert spaces, exploring the properties of minimizers of optimization problems in such settings. Specifically, we analyze a Tikhonov-regularized convex optimization problem, where $y_0$ are the measured data, $w$ denotes the noise, and $λ$ is the regularization parameter. By introducing a Metric Non-Degenerate Source Condition (MNDSC) and considering sufficiently small $λ$ and $w$, we establish Exact Sparse Representation Recovery (ESRR) for our problems, meaning that the minimizer is unique and precisely recovers the sparse representation of the original data. We then emphasize the practical implications of this theoretical result through two novel applications: signal demixing and super-resolution with Group BLASSO. These applications underscore the broad applicability and significance of our result, showcasing its potential across different domains.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Unsupervised approaches based on optimal transport and convex analysis for inverse problems in imaging
Authors:
Marcello Carioni,
Subhadip Mukherjee,
Hong Ye Tan,
Junqi Tang
Abstract:
Unsupervised deep learning approaches have recently become one of the crucial research areas in imaging owing to their ability to learn expressive and powerful reconstruction operators even when paired high-quality training data is scarcely available. In this chapter, we review theoretically principled unsupervised learning schemes for solving imaging inverse problems, with a particular focus on m…
▽ More
Unsupervised deep learning approaches have recently become one of the crucial research areas in imaging owing to their ability to learn expressive and powerful reconstruction operators even when paired high-quality training data is scarcely available. In this chapter, we review theoretically principled unsupervised learning schemes for solving imaging inverse problems, with a particular focus on methods rooted in optimal transport and convex analysis. We begin by reviewing the optimal transport-based unsupervised approaches such as the cycle-consistency-based models and learned adversarial regularization methods, which have clear probabilistic interpretations. Subsequently, we give an overview of a recent line of works on provably convergent learned optimization algorithms applied to accelerate the solution of imaging inverse problems, alongside their dedicated unsupervised training schemes. We also survey a number of provably convergent plug-and-play algorithms (based on gradient-step deep denoisers), which are among the most important and widely applied unsupervised approaches for imaging problems. At the end of this survey, we provide an overview of a few related unsupervised learning frameworks that complement our focused schemes. Together with a detailed survey, we provide an overview of the key mathematical results that underlie the methods reviewed in the chapter to keep our discussion self-contained.
△ Less
Submitted 29 November, 2023; v1 submitted 15 November, 2023;
originally announced November 2023.
-
A General Theory for Exact Sparse Representation Recovery in Convex Optimization
Authors:
Marcello Carioni,
Leonardo Del Grande
Abstract:
In this paper, we investigate the recovery of the sparse representation of data in general infinite-dimensional optimization problems regularized by convex functionals. We show that it is possible to define a suitable non-degeneracy condition on the minimal-norm dual certificate, extending the well-established non-degeneracy source condition (NDSC) associated with total variation regularized probl…
▽ More
In this paper, we investigate the recovery of the sparse representation of data in general infinite-dimensional optimization problems regularized by convex functionals. We show that it is possible to define a suitable non-degeneracy condition on the minimal-norm dual certificate, extending the well-established non-degeneracy source condition (NDSC) associated with total variation regularized problems in the space of measures, as introduced in (Duval and Peyré, FoCM, 15:1315-1355, 2015). In our general setting, we need to study how the dual certificate is acting, through the duality product, on the set of extreme points of the ball of the regularizer, seen as a metric space. This justifies the name Metric Non-Degenerate Source Condition (MNDSC). More precisely, we impose a second-order condition on the dual certificate, evaluated on curves with values in small neighbourhoods of a given collection of n extreme points. By assuming the validity of the MNDSC, together with the linear independence of the measurements on these extreme points, we establish that, for a suitable choice of regularization parameters and noise levels, the minimizer of the minimization problem is unique and is uniquely represented as a linear combination of n extreme points. The paper concludes by obtaining explicit formulations of the MNDSC for three problems of interest. First, we examine total variation regularized deconvolution problems, showing that the classical NDSC implies our MNDSC, and recovering a result similar to (Duval and Peyré, FoCM, 15:1315-1355, 2015). Then, we consider 1-dimensional BV functions regularized with their BV-seminorm and pairs of measures regularized with their mutual 1-Wasserstein distance. In each case, we provide explicit versions of the MNDSC and formulate specific sparse representation recovery results.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
A sparse optimization approach to infinite infimal convolution regularization
Authors:
Kristian Bredies,
Marcello Carioni,
Martin Holler,
Yury Korolev,
Carola-Bibiane Schönlieb
Abstract:
In this paper we introduce the class of infinite infimal convolution functionals and apply these functionals to the regularization of ill-posed inverse problems. The proposed regularization involves an infimal convolution of a continuously parametrized family of convex, positively one-homogeneous functionals defined on a common Banach space $X$. We show that, under mild assumptions, this functiona…
▽ More
In this paper we introduce the class of infinite infimal convolution functionals and apply these functionals to the regularization of ill-posed inverse problems. The proposed regularization involves an infimal convolution of a continuously parametrized family of convex, positively one-homogeneous functionals defined on a common Banach space $X$. We show that, under mild assumptions, this functional admits an equivalent convex lifting in the space of measures with values in $X$. This reformulation allows us to prove well-posedness of a Tikhonov regularized inverse problem and opens the door to a sparse analysis of the solutions. In the case of finite-dimensional measurements we prove a representer theorem, showing that there exists a solution of the inverse problem that is sparse, in the sense that it can be represented as a linear combination of the extremal points of the ball of the lifted infinite infimal convolution functional. Then, we design a generalized conditional gradient method for computing solutions of the inverse problem without relying on an a priori discretization of the parameter space and of the Banach space $X$. The iterates are constructed as linear combinations of the extremal points of the lifted infinite infimal convolution functional. We prove a sublinear rate of convergence for our algorithm and apply it to denoising of signals and images using, as regularizer, infinite infimal convolutions of fractional-Laplacian-type operators with adaptive orders of smoothness and anisotropies.
△ Less
Submitted 15 December, 2024; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Extremal points and sparse optimization for generalized Kantorovich-Rubinstein norms
Authors:
Marcello Carioni,
José A. Iglesias,
Daniel Walter
Abstract:
A precise characterization of the extremal points of sublevel sets of nonsmooth penalties provides both detailed information about minimizers, and optimality conditions in general classes of minimization problems involving them. Moreover, it enables the application of accelerated generalized conditional gradient methods for their efficient solution. In this manuscript, this program is adapted to t…
▽ More
A precise characterization of the extremal points of sublevel sets of nonsmooth penalties provides both detailed information about minimizers, and optimality conditions in general classes of minimization problems involving them. Moreover, it enables the application of accelerated generalized conditional gradient methods for their efficient solution. In this manuscript, this program is adapted to the minimization of a smooth convex fidelity term which is augmented with an unbalanced transport regularization term given in the form of a generalized Kantorovich-Rubinstein norm for Radon measures. More precisely, we show that the extremal points associated to the latter are given by all Dirac delta functionals supported in the spatial domain as well as certain dipoles, i.e., pairs of Diracs with the same mass but with different signs. Subsequently, this characterization is used to derive precise first-order optimality conditions as well as an efficient solution algorithm for which linear convergence is proved under natural assumptions. This behaviour is also reflected in numerical examples for a model problem.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Regularization Graphs -- A unified framework for variational regularization of inverse problems
Authors:
Kristian Bredies,
Marcello Carioni,
Martin Holler
Abstract:
We introduce and study a mathematical framework for a broad class of regularization functionals for ill-posed inverse problems: Regularization Graphs. Regularization graphs allow to construct functionals using as building blocks linear operators and convex functionals, assembled by means of operators that can be seen as generalizations of classical infimal convolution operators. This class of func…
▽ More
We introduce and study a mathematical framework for a broad class of regularization functionals for ill-posed inverse problems: Regularization Graphs. Regularization graphs allow to construct functionals using as building blocks linear operators and convex functionals, assembled by means of operators that can be seen as generalizations of classical infimal convolution operators. This class of functionals exhaustively covers existing regularization approaches and it is flexible enough to craft new ones in a simple and constructive way. We provide well-posedness and convergence results with the proposed class of functionals in a general setting. Further, we consider a bilevel optimization approach to learn optimal weights for such regularization graphs from training data. We demonstrate that this approach is capable of optimizing the structure and the complexity of a regularization graph, allowing, for example, to automatically select a combination of regularizers that is optimal for given training data.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
Asymptotic linear convergence of fully-corrective generalized conditional gradient methods
Authors:
Kristian Bredies,
Marcello Carioni,
Silvio Fanzon,
Daniel Walter
Abstract:
We propose a fully-corrective generalized conditional gradient method (FC-GCG) for the minimization of the sum of a smooth, convex loss function and a convex one-homogeneous regularizer over a Banach space. The algorithm relies on the mutual update of a finite set $\mathcal{A}_k$ of extremal points of the unit ball of the regularizer and of an iterate $u_k \in \operatorname{cone}(\mathcal{A}_k)$.…
▽ More
We propose a fully-corrective generalized conditional gradient method (FC-GCG) for the minimization of the sum of a smooth, convex loss function and a convex one-homogeneous regularizer over a Banach space. The algorithm relies on the mutual update of a finite set $\mathcal{A}_k$ of extremal points of the unit ball of the regularizer and of an iterate $u_k \in \operatorname{cone}(\mathcal{A}_k)$. Each iteration requires the solution of one linear problem to update $\mathcal{A}_k$ and of one finite dimensional convex minimization problem to update the iterate. Under standard hypotheses on the minimization problem we show that the algorithm converges sublinearly to a solution. Subsequently, imposing additional assumptions on the associated dual variables, this is improved to a linear rate of convergence. The proof of both results relies on two key observations: First, we prove the equivalence of the considered problem to the minimization of a lifted functional over a particular space of Radon measures using Choquet's theorem. Second, the FC-GCG algorithm is connected to a Primal-Dual-Active-point Method (PDAP) on the lifted problem for which we finally derive the desired convergence rates.
△ Less
Submitted 25 January, 2023; v1 submitted 13 October, 2021;
originally announced October 2021.
-
End-to-end reconstruction meets data-driven regularization for inverse problems
Authors:
Subhadip Mukherjee,
Marcello Carioni,
Ozan Öktem,
Carola-Bibiane Schönlieb
Abstract:
We propose an unsupervised approach for learning end-to-end reconstruction operators for ill-posed inverse problems. The proposed method combines the classical variational framework with iterative unrolling, which essentially seeks to minimize a weighted combination of the expected distortion in the measurement space and the Wasserstein-1 distance between the distributions of the reconstruction an…
▽ More
We propose an unsupervised approach for learning end-to-end reconstruction operators for ill-posed inverse problems. The proposed method combines the classical variational framework with iterative unrolling, which essentially seeks to minimize a weighted combination of the expected distortion in the measurement space and the Wasserstein-1 distance between the distributions of the reconstruction and ground-truth. More specifically, the regularizer in the variational setting is parametrized by a deep neural network and learned simultaneously with the unrolled reconstruction operator. The variational problem is then initialized with the reconstruction of the unrolled operator and solved iteratively till convergence. Notably, it takes significantly fewer iterations to converge, thanks to the excellent initialization obtained via the unrolled operator. The resulting approach combines the computational efficiency of end-to-end unrolled reconstruction with the well-posedness and noise-stability guarantees of the variational setting. Moreover, we demonstrate with the example of X-ray computed tomography (CT) that our approach outperforms state-of-the-art unsupervised methods, and that it outperforms or is on par with state-of-the-art supervised learned reconstruction approaches.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
A generalized conditional gradient method for dynamic inverse problems with optimal transport regularization
Authors:
Kristian Bredies,
Marcello Carioni,
Silvio Fanzon,
Francisco Romero
Abstract:
We develop a dynamic generalized conditional gradient method (DGCG) for dynamic inverse problems with optimal transport regularization. We consider the framework introduced in (Bredies and Fanzon, ESAIM: M2AN, 54:2351-2382, 2020), where the objective functional is comprised of a fidelity term, penalizing the pointwise in time discrepancy between the observation and the unknown in time-varying Hilb…
▽ More
We develop a dynamic generalized conditional gradient method (DGCG) for dynamic inverse problems with optimal transport regularization. We consider the framework introduced in (Bredies and Fanzon, ESAIM: M2AN, 54:2351-2382, 2020), where the objective functional is comprised of a fidelity term, penalizing the pointwise in time discrepancy between the observation and the unknown in time-varying Hilbert spaces, and a regularizer keeping track of the dynamics, given by the Benamou-Brenier energy constrained via the homogeneous continuity equation. Employing the characterization of the extremal points of the Benamou-Brenier energy (Bredies et al., arXiv:1907.11589, 2019) we define the atoms of the problem as measures concentrated on absolutely continuous curves in the domain. We propose a dynamic generalization of a conditional gradient method that consists in iteratively adding suitably chosen atoms to the current sparse iterate, and subsequently optimize the coefficients in the resulting linear combination. We prove that the method converges with a sublinear rate to a minimizer of the objective functional. Additionally, we propose heuristic strategies and acceleration steps that allow to implement the algorithm efficiently. Finally, we provide numerical examples that demonstrate the effectiveness of our algorithm and model at reconstructing heavily undersampled dynamic data, together with the presence of noise.
△ Less
Submitted 28 March, 2022; v1 submitted 21 December, 2020;
originally announced December 2020.
-
A superposition principle for the inhomogeneous continuity equation with Hellinger-Kantorovich-regular coefficients
Authors:
Kristian Bredies,
Marcello Carioni,
Silvio Fanzon
Abstract:
We study measure-valued solutions of the inhomogeneous continuity equation $\partial_t ρ_t + {\rm div}(vρ_t) = g ρ_t$ where the coefficients $v$ and $g$ are of low regularity. A new superposition principle is proven for positive measure solutions and coefficients for which the recently-introduced dynamic Hellinger-Kantorovich energy is finite. This principle gives a decomposition of the solution i…
▽ More
We study measure-valued solutions of the inhomogeneous continuity equation $\partial_t ρ_t + {\rm div}(vρ_t) = g ρ_t$ where the coefficients $v$ and $g$ are of low regularity. A new superposition principle is proven for positive measure solutions and coefficients for which the recently-introduced dynamic Hellinger-Kantorovich energy is finite. This principle gives a decomposition of the solution into curves $t \mapsto h(t)δ_{γ(t)}$ that satisfy the characteristic system $\dot γ(t) = v(t, γ(t))$, $\dot h(t) = g(t, γ(t)) h(t)$ in an appropriate sense. In particular, it provides a generalization of existing superposition principles to the low-regularity case of $g$ where characteristics are not unique with respect to $h$. Two applications of this principle are presented. First, uniqueness of minimal total-variation solutions for the inhomogeneous continuity equation is obtained if characteristics are unique up to their possible vanishing time. Second, the extremal points of dynamic Hellinger-Kantorovich-type regularizers are characterized. Such regularizers arise, e.g., in the context of dynamic inverse problems and dynamic optimal transport.
△ Less
Submitted 4 April, 2022; v1 submitted 14 July, 2020;
originally announced July 2020.
-
On the extremal points of the ball of the Benamou-Brenier energy
Authors:
Kristian Bredies,
Marcello Carioni,
Silvio Fanzon,
Francisco Romero
Abstract:
In this paper we characterize the extremal points of the unit ball of the Benamou--Brenier energy and of a coercive generalization of it, both subjected to the homogeneous continuity equation constraint. We prove that extremal points consist of pairs of measures concentrated on absolutely continuous curves which are characteristics of the continuity equation. Then, we apply this result to provide…
▽ More
In this paper we characterize the extremal points of the unit ball of the Benamou--Brenier energy and of a coercive generalization of it, both subjected to the homogeneous continuity equation constraint. We prove that extremal points consist of pairs of measures concentrated on absolutely continuous curves which are characteristics of the continuity equation. Then, we apply this result to provide a representation formula for sparse solutions of dynamic inverse problems with finite dimensional data and optimal-transport based regularization.
△ Less
Submitted 15 October, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
The oriented mailing problem and its convex relaxation
Authors:
Marcello Carioni,
Andrea Marchese,
Annalisa Massaccesi,
Alessandra Pluda,
Riccardo Tione
Abstract:
In this note we introduce a new model for the mailing problem in branched transportation in order to allow the cost functional to take into account the orientation of the moving particles. This gives an effective answer to [Problem 15.9] of the book "Optimal transportation networks" by Bernot, Caselles, and Morel. Moreover we define a convex relaxation in terms of rectifiable currents with group c…
▽ More
In this note we introduce a new model for the mailing problem in branched transportation in order to allow the cost functional to take into account the orientation of the moving particles. This gives an effective answer to [Problem 15.9] of the book "Optimal transportation networks" by Bernot, Caselles, and Morel. Moreover we define a convex relaxation in terms of rectifiable currents with group coefficients. With such approach we provide the problem with a notion of calibration. Using similar techniques we define a convex relaxation and a corresponding notion of calibration for a variant of the Steiner tree problem in which a connectedness constraint is assigned only among a certain partition of a given set of finitely many points.
△ Less
Submitted 29 June, 2020; v1 submitted 17 April, 2019;
originally announced April 2019.
-
External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a $Γ$-development
Authors:
Marcello Carioni,
Julian Fischer,
Anja Schlömerkemper
Abstract:
This paper is concerned with equilibrium configurations of one-dimensional particle system with non-convex nearest-neighbour and next-to-nearest-neighbour interactions and its passage to the continuum. The goal is to derive compactness results for a $Γ$-development of the energy with the novelty that external forces are allowed. In particular, the forces may depend on Lagrangian or Eulerian coordi…
▽ More
This paper is concerned with equilibrium configurations of one-dimensional particle system with non-convex nearest-neighbour and next-to-nearest-neighbour interactions and its passage to the continuum. The goal is to derive compactness results for a $Γ$-development of the energy with the novelty that external forces are allowed. In particular, the forces may depend on Lagrangian or Eulerian coordinates. Our result is based on a new technique for deriving compactness results which are required for calculating the first-order $Γ$-limit: instead of comparing a configuration of $n$ atoms to a global minimizer of the $Γ$-limit, we compare the configuration to a minimizer in some subclass of functions which in some sense are "close to" the configuration. This new technique is required due to the additional presence of forces with non-convex potentials. The paper is complemented with the study of the minimizers of the $Γ$-limit.
△ Less
Submitted 28 August, 2019; v1 submitted 24 November, 2018;
originally announced November 2018.
-
Sparsity of solutions for variational inverse problems with finite-dimensional data
Authors:
Kristian Bredies,
Marcello Carioni
Abstract:
In this paper we characterize sparse solutions for variational problems of the form $\min_{u\in X} φ(u) + F(\mathcal{A} u)$, where $X$ is a locally convex space, $\mathcal{A}$ is a linear continuous operator that maps into a finite dimensional Hilbert space and $φ$ is a seminorm. More precisely, we prove that there exists a minimizer that is `sparse' in the sense that it is represented as a linear…
▽ More
In this paper we characterize sparse solutions for variational problems of the form $\min_{u\in X} φ(u) + F(\mathcal{A} u)$, where $X$ is a locally convex space, $\mathcal{A}$ is a linear continuous operator that maps into a finite dimensional Hilbert space and $φ$ is a seminorm. More precisely, we prove that there exists a minimizer that is `sparse' in the sense that it is represented as a linear combination of the extremal points of the unit ball associated with the regularizer $φ$ (possibly translated by an element in the null space of $φ$). We apply this result to relevant regularizers such as the total variation seminorm and the Radon norm of a scalar linear differential operator. In the first example, we provide a theoretical justification of the so-called staircase effect and in the second one, we recover the result in [31] under weaker hypotheses.
△ Less
Submitted 30 November, 2019; v1 submitted 13 September, 2018;
originally announced September 2018.
-
On different notions of calibrations for minimal partitions and minimal networks in $\mathbb{R}^2$
Authors:
Marcello Carioni,
Alessandra Pluda
Abstract:
Calibrations are a possible tool to validate the minimality of a certain candidate. They have been introduced in the context of minimal surfaces and adapted to the case of Steiner problem in several variants. Our goal is to compare the different notions of calibrations for the Steiner Problem and for planar minimal partitions. The paper is then complemented with remarks on the convexification of t…
▽ More
Calibrations are a possible tool to validate the minimality of a certain candidate. They have been introduced in the context of minimal surfaces and adapted to the case of Steiner problem in several variants. Our goal is to compare the different notions of calibrations for the Steiner Problem and for planar minimal partitions. The paper is then complemented with remarks on the convexification of the problem, on non-existence of calibrations and on calibrations in families.
△ Less
Submitted 11 April, 2019; v1 submitted 29 May, 2018;
originally announced May 2018.
-
Long time behaviour for the reinitialization of the distance function
Authors:
Marcello Carioni
Abstract:
In this article we study the long-time behaviour of a class of non-coercive Hamilton-Jacobi equations, that includes, as a notable example, the so called reinitialization of the distance function. In particular we prove that its viscosity solution converges uniformly as $t\rightarrow +\infty$ to the signed distance function from the zero level set of the initial data.
In this article we study the long-time behaviour of a class of non-coercive Hamilton-Jacobi equations, that includes, as a notable example, the so called reinitialization of the distance function. In particular we prove that its viscosity solution converges uniformly as $t\rightarrow +\infty$ to the signed distance function from the zero level set of the initial data.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Calibrations for minimal networks in a covering space setting
Authors:
Marcello Carioni,
Alessandra Pluda
Abstract:
In this paper we define a notion of calibration for an equivalent approach to the classical Steiner problem in a covering space setting and we give some explicit examples. Moreover we introduce the notion of calibration in families: the idea is to divide the set of competitors in a suitable way, defining an appropriate (and weaker) notion of calibration. Then, calibrating the candidate minimizers…
▽ More
In this paper we define a notion of calibration for an equivalent approach to the classical Steiner problem in a covering space setting and we give some explicit examples. Moreover we introduce the notion of calibration in families: the idea is to divide the set of competitors in a suitable way, defining an appropriate (and weaker) notion of calibration. Then, calibrating the candidate minimizers in each family and comparing their perimeter, it is possible to find the minimizers of the minimization problem. Thanks to this procedure we prove the minimality of the Steiner configurations spanning the vertices of a regular hexagon and of a regular pentagon.
△ Less
Submitted 13 April, 2019; v1 submitted 5 July, 2017;
originally announced July 2017.
-
A Convex Decomposition Formula for the Mumford-Shah Functional in Dimension One
Authors:
Marcello Carioni
Abstract:
We study the convex lift of Mumford-Shah type functionals in the space of rectifiable currents and we prove a generalized coarea formula in dimension one, for finite linear combinations of SBV graphs. We use this result to prove the equivalence between the minimum problems for the Mumford-Shah functional and the lifted one and, as a consequence, we obtain a weak existence result for calibrations i…
▽ More
We study the convex lift of Mumford-Shah type functionals in the space of rectifiable currents and we prove a generalized coarea formula in dimension one, for finite linear combinations of SBV graphs. We use this result to prove the equivalence between the minimum problems for the Mumford-Shah functional and the lifted one and, as a consequence, we obtain a weak existence result for calibrations in one dimension.
△ Less
Submitted 28 September, 2017; v1 submitted 6 October, 2016;
originally announced October 2016.
