-
A Bayesian model for dynamic mass reconstruction from PET listmode data
Authors:
Marco Mauritz,
Bernhard Schmitzer,
Benedikt Wirth
Abstract:
Positron emission tomography (PET) is a classical imaging technique to reconstruct the mass distribution of a radioactive material. If the mass distribution is static, this essentially leads to inversion of the X-ray transform. However, if the mass distribution changes temporally, the measurement signals received over time (the so-called listmode data) belong to different spatial configurations. W…
▽ More
Positron emission tomography (PET) is a classical imaging technique to reconstruct the mass distribution of a radioactive material. If the mass distribution is static, this essentially leads to inversion of the X-ray transform. However, if the mass distribution changes temporally, the measurement signals received over time (the so-called listmode data) belong to different spatial configurations. We suggest and analyse a Bayesian approach to solve this dynamic inverse problem that is based on optimal transport regularization of the temporally changing mass distribution. Our focus lies on a rigorous derivation of the Bayesian model and the analysis of its properties, treating both the continuous as well as the discrete (finitely many detectors and time binning) setting.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Parametrizing Product Shape Manifolds by Composite Networks
Authors:
Josua Sassen,
Klaus Hildebrandt,
Martin Rumpf,
Benedikt Wirth
Abstract:
Parametrizations of data manifolds in shape spaces can be computed using the rich toolbox of Riemannian geometry. This, however, often comes with high computational costs, which raises the question if one can learn an efficient neural network approximation. We show that this is indeed possible for shape spaces with a special product structure, namely those smoothly approximable by a direct sum of…
▽ More
Parametrizations of data manifolds in shape spaces can be computed using the rich toolbox of Riemannian geometry. This, however, often comes with high computational costs, which raises the question if one can learn an efficient neural network approximation. We show that this is indeed possible for shape spaces with a special product structure, namely those smoothly approximable by a direct sum of low-dimensional manifolds. Our proposed architecture leverages this structure by separately learning approximations for the low-dimensional factors and a subsequent combination. After develo** the approach as a general framework, we apply it to a shape space of triangular surfaces. Here, typical examples of data manifolds are given through datasets of articulated models and can be factorized, for example, by a Sparse Principal Geodesic Analysis (SPGA). We demonstrate the effectiveness of our proposed approach with experiments on synthetic data as well as manifolds extracted from data via SPGA.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Convergent autoencoder approximation of low bending and low distortion manifold embeddings
Authors:
Juliane Braunsmann,
Marko Rajković,
Martin Rumpf,
Benedikt Wirth
Abstract:
Autoencoders, which consist of an encoder and a decoder, are widely used in machine learning for dimension reduction of high-dimensional data. The encoder embeds the input data manifold into a lower-dimensional latent space, while the decoder represents the inverse map, providing a parametrization of the data manifold by the manifold in latent space. A good regularity and structure of the embedded…
▽ More
Autoencoders, which consist of an encoder and a decoder, are widely used in machine learning for dimension reduction of high-dimensional data. The encoder embeds the input data manifold into a lower-dimensional latent space, while the decoder represents the inverse map, providing a parametrization of the data manifold by the manifold in latent space. A good regularity and structure of the embedded manifold may substantially simplify further data processing tasks such as cluster analysis or data interpolation. We propose and analyze a novel regularization for learning the encoder component of an autoencoder: a loss functional that prefers isometric, extrinsically flat embeddings and allows to train the encoder on its own. To perform the training it is assumed that for pairs of nearby points on the input manifold their local Riemannian distance and their local Riemannian average can be evaluated. The loss functional is computed via Monte Carlo integration with different sampling strategies for pairs of points on the input manifold. Our main theorem identifies a geometric loss functional of the embedding map as the $Γ$-limit of the sampling-dependent loss functionals. Numerical tests, using image data that encodes different explicitly given data manifolds, show that smooth manifold embeddings into latent space are obtained. Due to the promotion of extrinsic flatness, these embeddings are regular enough such that interpolation between not too distant points on the manifold is well approximated by linear interpolation in latent space as one possible postprocessing.
△ Less
Submitted 10 January, 2024; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Exact reconstruction and reconstruction from noisy data with anisotropic total variation
Authors:
Martin Holler,
Benedikt Wirth
Abstract:
It is well-known that point sources with sufficient mutual distance can be reconstructed exactly from finitely many Fourier measurements by solving a convex optimization problem with Tikhonov-regularization (this property is sometimes termed superresolution). In case of noisy measurements one can bound the reconstruction error in unbalanced Wasserstein distances or weak Sobolev-type norms. A natur…
▽ More
It is well-known that point sources with sufficient mutual distance can be reconstructed exactly from finitely many Fourier measurements by solving a convex optimization problem with Tikhonov-regularization (this property is sometimes termed superresolution). In case of noisy measurements one can bound the reconstruction error in unbalanced Wasserstein distances or weak Sobolev-type norms. A natural question is to what other settings the phenomenon of superresolution extends. We here keep the same measurement operator, but replace the regularizer to anisotropic total variation, which is particularly suitable for regularizing piecewise constant images with horizontal and vertical edges. Under sufficient mutual distance between the horizontal and vertical edges we prove exact reconstruction results and $L^1$ error bounds in terms of the measurement noise.
△ Less
Submitted 12 December, 2023; v1 submitted 11 July, 2022;
originally announced July 2022.
-
A non-convex variational model for joint polyenergetic CT reconstruction, sensor denoising and material decomposition
Authors:
Georgios Papanikos,
Benedikt Wirth
Abstract:
Computed Tomography (CT) is widely used in engineering and medicine for imaging the interior of objects, patients, or animals. If the employed X-ray source is monoenergetic, image reconstruction essentially means the inversion of a ray transform. Typical X-ray sources are however polyenergetic (i.e. emit multiple wavelengths, each with different attenuation behaviour), and ignoring this fact may l…
▽ More
Computed Tomography (CT) is widely used in engineering and medicine for imaging the interior of objects, patients, or animals. If the employed X-ray source is monoenergetic, image reconstruction essentially means the inversion of a ray transform. Typical X-ray sources are however polyenergetic (i.e. emit multiple wavelengths, each with different attenuation behaviour), and ignoring this fact may lead to artefacts such as beam hardening. An additional difficulty in some settings represents the occurrence of two different types of noise, the photon counting effect on the detector and the electronic noise generated e.g. by CCD cameras. We propose a novel variational image reconstruction model that takes both noise types and the polyenergetic source into account and moreover decomposes the reconstruction into different materials based on their different attenuation behaviour. In addition to a detailed mathematical analysis of the model we put forward a corresponding iterative algorithm including its convergence analysis. Numerical reconstructions of phantom data illustrate the feasibility of the approach.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
Duality in branched transport and urban planning
Authors:
Julius Lohmann,
Bernhard Schmitzer,
Benedikt Wirth
Abstract:
In recent work arXiv:2109.07820 we have shown the equivalence of the widely used nonconvex (generalized) branched transport problem with a shape optimization problem of a street or railroad network, known as (generalized) urban planning problem. The argument was solely based on an explicit construction and characterization of competitors. In the current article we instead analyse the dual perspect…
▽ More
In recent work arXiv:2109.07820 we have shown the equivalence of the widely used nonconvex (generalized) branched transport problem with a shape optimization problem of a street or railroad network, known as (generalized) urban planning problem. The argument was solely based on an explicit construction and characterization of competitors. In the current article we instead analyse the dual perspective associated with both problems. In more detail, the shape optimization problem involves the Wasserstein distance between two measures with respect to a metric depending on the street network. We show a Kantorovich$\unicode{x2013}$Rubinstein formula for Wasserstein distances on such street networks under mild assumptions. Further, we provide a Beckmann formulation for such Wasserstein distances under assumptions which generalize our previous result in arXiv:2109.07820. As an application we then give an alternative, duality-based proof of the equivalence of both problems under a growth condition on the transportation cost, which reveals that urban planning and branched transport can both be viewed as two bilinearly coupled convex optimization problems.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Dimension reduction, exact recovery, and error estimates for sparse reconstruction in phase space
Authors:
Martin Holler,
Alexander Schlüter,
Benedikt Wirth
Abstract:
An important theme in modern inverse problems is the reconstruction of time-dependent data from only finitely many measurements. To obtain satisfactory reconstruction results in this setting it is essential to strongly exploit temporal consistency between the different measurement times. The strongest consistency can be achieved by reconstructing data directly in phase space, the space of position…
▽ More
An important theme in modern inverse problems is the reconstruction of time-dependent data from only finitely many measurements. To obtain satisfactory reconstruction results in this setting it is essential to strongly exploit temporal consistency between the different measurement times. The strongest consistency can be achieved by reconstructing data directly in phase space, the space of positions and velocities. However, this space is usually too high-dimensional for feasible computations. We introduce a novel dimension reduction technique, based on projections of phase space onto lower-dimensional subspaces, which provably circumvents this curse of dimensionality: Indeed, in the exemplary framework of superresolution we prove that known exact reconstruction results stay true after dimension reduction, and we additionally prove new error estimates of reconstructions from noisy data in optimal transport metrics which are of the same quality as one would obtain in the non-dimension-reduced case.
△ Less
Submitted 13 March, 2024; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Optimal fine-scale structures in compliance minimization for a uniaxial load in three space dimensions
Authors:
Jonas Potthoff,
Benedikt Wirth
Abstract:
We consider the shape and topology optimization problem to design a structure that minimizes a weighted sum of material consumption and (linearly) elastic compliance under a fixed given boundary load. As is well-known, this problem is in general not well-posed since its solution typically requires the use of infinitesimally fine microstructure. Therefore we examine the effect of singularly perturb…
▽ More
We consider the shape and topology optimization problem to design a structure that minimizes a weighted sum of material consumption and (linearly) elastic compliance under a fixed given boundary load. As is well-known, this problem is in general not well-posed since its solution typically requires the use of infinitesimally fine microstructure. Therefore we examine the effect of singularly perturbing the problem by adding the structure perimeter to the cost. For a uniaxial and a shear load in two space dimensions, corresponding energy scaling laws were already derived in the literature. This work now derives the scaling law for the case of a uniaxial load in three space dimensions, which can be considered the simplest three-dimensional setting. In essence, it is expected (and confirmed in this article) that for a uniaxial load the compliance behaves almost like the dissipation in a scalar flux problem so that lower bounds from pattern analysis in superconductors can directly be applied. The upper bounds though require nontrivial modifications of the constructions known from superconductors. Those become necessary since in elasticity one has the additional constraint of torque balance.
△ Less
Submitted 20 June, 2022; v1 submitted 12 November, 2021;
originally announced November 2021.
-
Formulation of branched transport as geometry optimization
Authors:
Julius Lohmann,
Bernhard Schmitzer,
Benedikt Wirth
Abstract:
The branched transport problem, a popular recent variant of optimal transport, is a non-convex and non-smooth variational problem on Radon measures. The so-called urban planning problem, on the contrary, is a shape optimization problem that seeks the optimal geometry of a street or pipe network. We show that the branched transport problem with concave cost function is equivalent to a generalized v…
▽ More
The branched transport problem, a popular recent variant of optimal transport, is a non-convex and non-smooth variational problem on Radon measures. The so-called urban planning problem, on the contrary, is a shape optimization problem that seeks the optimal geometry of a street or pipe network. We show that the branched transport problem with concave cost function is equivalent to a generalized version of the urban planning problem. Apart from unifying these two different models used in the literature, another advantage of the urban planning formulation for branched transport is that it provides a more transparent interpretation of the overall cost by separation into a transport (Wasserstein-1-distance) and a network maintenance term, and it splits the problem into the actual transportation task and a geometry optimization.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Convex relaxation of discrete vector-valued optimization problems
Authors:
Christian Clason,
Carla Tameling,
Benedikt Wirth
Abstract:
We consider a class of infinite-dimensional optimization problems in which a distributed vector-valued variable should pointwise almost everywhere take values from a given finite set $\mathcal{M}\subset\mathbb{R}^m$. Such hybrid discrete--continuous problems occur in, e.g., topology optimization or medical imaging and are challenging due to their lack of weak lower semicontinuity. To circumvent th…
▽ More
We consider a class of infinite-dimensional optimization problems in which a distributed vector-valued variable should pointwise almost everywhere take values from a given finite set $\mathcal{M}\subset\mathbb{R}^m$. Such hybrid discrete--continuous problems occur in, e.g., topology optimization or medical imaging and are challenging due to their lack of weak lower semicontinuity. To circumvent this difficulty, we introduce as a regularization term a convex integral functional with an integrand that has a polyhedral epigraph with vertices corresponding to the values of $\mathcal{M}$; similar to the $L^1$ norm in sparse regularization, this "vector multibang penalty" promotes solutions with the desired structure while allowing the use of tools from convex optimization for the analysis as well as the numerical solution of the resulting problem.
We show well-posedness of the regularized problem and analyze stability properties of its solution in a general setting. We then illustrate the approach for three specific model optimization problems of broader interest: optimal control of the Bloch equation, optimal control of an elastic deformation, and a multimaterial branched transport problem. In the first two cases, we derive explicit characterizations of the penalty and its generalized derivatives for a concrete class of sets $\mathcal{M}$. For the third case, we discuss the algorithmic computation of these derivatives for general sets. These derivatives are then used in a superlinearly convergent semismooth Newton method applied to a sequence of regularized optimization problems.
We illustrate the behavior of this approach for the three model problems with numerical examples.
△ Less
Submitted 24 August, 2021; v1 submitted 23 August, 2021;
originally announced August 2021.
-
Elastic 3D-2D Image Registration
Authors:
Paul Striewski,
Benedikt Wirth
Abstract:
We propose a method to non-rigidly align a three-dimensional (3D) volumetric image with a two-dimensional (2D) planar image representing a projection of the deformed volume. The application in mind comes from biological studies in which 2D intravital microscopy videos of living tissue are recorded, after which the tissue is excised and a more detailed 3D volume microscopy is performed. Coregistrat…
▽ More
We propose a method to non-rigidly align a three-dimensional (3D) volumetric image with a two-dimensional (2D) planar image representing a projection of the deformed volume. The application in mind comes from biological studies in which 2D intravital microscopy videos of living tissue are recorded, after which the tissue is excised and a more detailed 3D volume microscopy is performed. Coregistration of both data sets allows to combine the temporal (but 2D) information with more detailed spatial 3D information.
Our approach is variational and uses a hyperelastic deformation regularization, as is appropriate for biological material. As a particular feature, the out of plane deformation is estimated based on the out of focus blur inside the 2D microscopy image. The approach becomes computationally feasible through the use of a coarse-to-fine optimization strategy and higher order optimization methods.
△ Less
Submitted 9 January, 2021;
originally announced January 2021.
-
Quartic $L^p$-convergence of cubic Riemannian splines
Authors:
Hanne Hardering,
Benedikt Wirth
Abstract:
We prove quartic convergence of cubic spline interpolation for curves into Riemannian manifolds as the grid size of the interpolation grid tends to zero. In contrast to cubic spline interpolation in Euclidean space, where this result is classical, the interpolation operator is no longer linear. Still, concepts from the linear setting may be generalized to the Riemannian case, where we try to use i…
▽ More
We prove quartic convergence of cubic spline interpolation for curves into Riemannian manifolds as the grid size of the interpolation grid tends to zero. In contrast to cubic spline interpolation in Euclidean space, where this result is classical, the interpolation operator is no longer linear. Still, concepts from the linear setting may be generalized to the Riemannian case, where we try to use intrinsic Riemannian formulations and avoid charts as much as possible.
△ Less
Submitted 15 December, 2020;
originally announced December 2020.
-
An adaptive finite element approach for lifted branched transport problems
Authors:
Carolin Dirks,
Benedikt Wirth
Abstract:
We consider so-called branched transport and variants thereof in two space dimensions. In these models one seeks an optimal transportation network for a given mass transportation task. In two space dimensions, they are closely connected to Mumford--Shah-type image processing problems, which in turn can be related to certain higher-dimensional convex optimization problems via so-called functional l…
▽ More
We consider so-called branched transport and variants thereof in two space dimensions. In these models one seeks an optimal transportation network for a given mass transportation task. In two space dimensions, they are closely connected to Mumford--Shah-type image processing problems, which in turn can be related to certain higher-dimensional convex optimization problems via so-called functional lifting. We examine the relation between these different models and exploit it to solve the branched transport model numerically via convex optimization. To this end we develop an efficient numerical treatment based on a specifically designed class of adaptive finite elements. This method allows the computation of finely resolved optimal transportation networks despite the high dimensionality of the convex optimization problem and its complicated set of nonlocal constraints. In particular, by design of the discretization the infinite set of constraints reduces to a finite number of inequalities.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.
-
A mathematical model for cell polarization in zebrafish primordial germ cells
Authors:
Carolin Dirks,
Paul Striewski,
Benedikt Wirth,
Anne Aalto,
Adan Olguin-Olguin,
Erez Raz
Abstract:
Blebs are cell protrusions generated by local membrane-cortex detachments followed by expansion of the plasma membrane. Blebs are formed by some migrating cells, for example primordial germ cells of the zebrafish. While blebs occur randomly at each part of the membrane in unpolarized cells, a polarization process guarantees the occurrence of blebs at a preferential site and thereby facilitates mig…
▽ More
Blebs are cell protrusions generated by local membrane-cortex detachments followed by expansion of the plasma membrane. Blebs are formed by some migrating cells, for example primordial germ cells of the zebrafish. While blebs occur randomly at each part of the membrane in unpolarized cells, a polarization process guarantees the occurrence of blebs at a preferential site and thereby facilitates migration towards a specified direction. Little is known about the factors involved in development and maintenance of a polarized state, yet recent studies revealed the influence of an intracellular flow and the stabilizing role of the membrane-cortex linker molecule Ezrin. Based on this information, we develop and analyse a coupled bulk-surface model describing a potential cellular mechanism by which a bleb could be induced at a controlled site. The model rests upon intracellular Darcy flow and a diffusion-advection-reaction system, describing the temporal evolution from an unpolarized to a stable polarized Ezrin distribution. We prove the well-posedness of the mathematical model and show that simulations qualitatively correspond to experimental observations, suggesting that indeed the interaction of an intracellular flow with membrane proteins can be the cause of the cell polarization.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Consistent Curvature Approximation on Riemannian Shape Spaces
Authors:
Alexander Effland,
Behrend Heeren,
Martin Rumpf,
Benedikt Wirth
Abstract:
We describe how to approximate the Riemann curvature tensor as well as sectional curvatures on possibly infinite-dimensional shape spaces that can be thought of as Riemannian manifolds. To this end, we extend the variational time discretization of geodesic calculus presented in Rumpf and Wirth (2015), which just requires an approximation of the squared Riemannian distance that is typically easy to…
▽ More
We describe how to approximate the Riemann curvature tensor as well as sectional curvatures on possibly infinite-dimensional shape spaces that can be thought of as Riemannian manifolds. To this end, we extend the variational time discretization of geodesic calculus presented in Rumpf and Wirth (2015), which just requires an approximation of the squared Riemannian distance that is typically easy to compute. First we obtain first order discrete covariant derivatives via a Schild's ladder type discretization of parallel transport. Second order discrete covariant derivatives are then computed as nested first order discrete covariant derivatives. These finally give rise to an approximation of the curvature tensor. First and second order consistency are proven for the approximations of the covariant derivative and the curvature tensor. The findings are experimentally validated on two-dimensional surfaces embedded in $\mathbb{R}^3$. Furthermore, as a proof of concept the method is applied to the shape space of triangular meshes, and discrete sectional curvature indicatrices are computed on low-dimensional vector bundles.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Entropic regularization of continuous optimal transport problems
Authors:
Christian Clason,
Dirk A. Lorenz,
Hinrich Mahler,
Benedikt Wirth
Abstract:
We analyze continuous optimal transport problems in the so-called Kantorovich form, where we seek a transport plan between two marginals that are probability measures on compact subsets of Euclidean space. We consider the case of regularization with the negative entropy with respect to the Lebesgue measure, which has attracted attention because it can be solved by the very simple Sinkhorn algorith…
▽ More
We analyze continuous optimal transport problems in the so-called Kantorovich form, where we seek a transport plan between two marginals that are probability measures on compact subsets of Euclidean space. We consider the case of regularization with the negative entropy with respect to the Lebesgue measure, which has attracted attention because it can be solved by the very simple Sinkhorn algorithm. We first analyze the regularized problem in the context of classical Fenchel duality and derive a strong duality result for a predual problem in the space of continuous functions. However, this problem may not admit a minimizer, which prevents obtaining primal-dual optimality conditions. We then show that the primal problem is naturally analyzed in the Orlicz space of functions with finite entropy in the sense that the entropically regularized problem admits a minimizer if and only if the marginals have finite entropy. We then derive a dual problem in the corresponding dual space, for which existence can be shown by purely variational arguments and primal-dual optimality conditions can be derived. For marginals that do not have finite entropy, we finally show Gamma-convergence of the regularized problem with smoothed marginals to the original Kantorovich problem.
△ Less
Submitted 15 June, 2020; v1 submitted 4 June, 2019;
originally announced June 2019.
-
Dynamic Cell Imaging in PET with Optimal Transport Regularization
Authors:
Bernhard Schmitzer,
Klaus P. Schäfers,
Benedikt Wirth
Abstract:
We propose a novel dynamic image reconstruction method from PET listmode data that could be particularly suited to tracking single or small numbers of cells. In contrast to conventional PET reconstruction our method combines the information from all detected events not only to reconstruct the dynamic evolution of the radionuclide distribution, but also to improve the reconstruction at each single…
▽ More
We propose a novel dynamic image reconstruction method from PET listmode data that could be particularly suited to tracking single or small numbers of cells. In contrast to conventional PET reconstruction our method combines the information from all detected events not only to reconstruct the dynamic evolution of the radionuclide distribution, but also to improve the reconstruction at each single time point by enforcing temporal consistency. This is achieved via optimal transport regularization where in principle, among all possible temporally evolving radionuclide distributions consistent with the PET measurement, the one is chosen with least kinetic motion energy. The reconstruction is found by convex optimization so that there is no dependence on the initialization of the method. We study its behaviour on simulated data of a human PET system and demonstrate its robustness even in settings with very low radioactivity. In contrast to previously reported cell tracking algorithms, our technique is oblivious to the number of tracked cells. Without any additional complexity one or multiple cells can be reconstructed, and the model automatically determines the number of particles. For instance, four radiolabelled cells moving at a velocity of 3.1 mm/s and a PET recorded count rate of 1.1 cps (for each cell) could be simultaneously tracked with a tracking accuracy of 5.3 mm inside a simulated human body.
△ Less
Submitted 22 November, 2019; v1 submitted 20 February, 2019;
originally announced February 2019.
-
Green's function for Poisson's equation and the EEG equation with Neumann boundary condition on $n$-balls
Authors:
Benedikt Wirth
Abstract:
We provide an elementary derivation of the Green's function for Poisson's equation with Neumann boundary data on balls of arbitrary dimension, which was recently found in [Sadybekov et al., Eurasian Math. J. 7(2):100-105, 2016]. The underlying idea consists of first computing the Green's function for the electroencephalography (EEG) equation (Poisson's equation with dipole right-hand side) and the…
▽ More
We provide an elementary derivation of the Green's function for Poisson's equation with Neumann boundary data on balls of arbitrary dimension, which was recently found in [Sadybekov et al., Eurasian Math. J. 7(2):100-105, 2016]. The underlying idea consists of first computing the Green's function for the electroencephalography (EEG) equation (Poisson's equation with dipole right-hand side) and then deriving the Green's function for Poisson's equation from that.
△ Less
Submitted 11 February, 2019;
originally announced February 2019.
-
Approximation of rectifiable $1$-currents and weak-$\ast$ relaxation of the $h$-mass
Authors:
Andrea Marchese,
Benedikt Wirth
Abstract:
Based on Smirnov's decomposition theorem we prove that every rectifiable $1$-current $T$ with finite mass $\mathbb{M}(T)$ and finite mass $\mathbb{M}(\partial T)$ of its boundary $\partial T$ can be approximated in mass by a sequence of rectifiable $1$-currents $T_n$ with polyhedral boundary $\partial T_n$ and $\mathbb{M}(\partial T_n)$ no larger than $\mathbb{M}(\partial T)$. Using this result we…
▽ More
Based on Smirnov's decomposition theorem we prove that every rectifiable $1$-current $T$ with finite mass $\mathbb{M}(T)$ and finite mass $\mathbb{M}(\partial T)$ of its boundary $\partial T$ can be approximated in mass by a sequence of rectifiable $1$-currents $T_n$ with polyhedral boundary $\partial T_n$ and $\mathbb{M}(\partial T_n)$ no larger than $\mathbb{M}(\partial T)$. Using this result we can compute the relaxation of the $h$-mass for polyhedral $1$-currents with respect to the joint weak-$\ast$ convergence of currents and their boundaries. We obtain that this relaxation coincides with the usual $h$-mass for normal currents. This shows that the concepts of so-called generalized branched transport and the $h$-mass are equivalent.
△ Less
Submitted 19 October, 2018;
originally announced October 2018.
-
Approximation of the relaxed perimeter functional under a connectedness constraint by phase-fields
Authors:
Patrick Dondl,
Matteo Novaga,
Benedikt Wirth,
Stephan Wojtowytsch
Abstract:
We develop a phase-field approximation of the relaxation of the perimeter functional in the plane under a connectedness constraint based on the classical Modica-Mortola functional and the connectedness constraint of (Dondl, Lemenant, Wojtowytsch 2017). We prove convergence of the approximating energies and present numerical results and applications to image segmentation.
We develop a phase-field approximation of the relaxation of the perimeter functional in the plane under a connectedness constraint based on the classical Modica-Mortola functional and the connectedness constraint of (Dondl, Lemenant, Wojtowytsch 2017). We prove convergence of the approximating energies and present numerical results and applications to image segmentation.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
Semi-discrete unbalanced optimal transport and quantization
Authors:
David P. Bourne,
Bernhard Schmitzer,
Benedikt Wirth
Abstract:
In this paper we study the class of optimal entropy-transport problems introduced by Liero, Mielke and Savaré in Inventiones Mathematicae 211 in 2018. This class of unbalanced transport metrics allows for transport between measures of different total mass, unlike classical optimal transport where both measures must have the same total mass. In particular, we develop the theory for the important su…
▽ More
In this paper we study the class of optimal entropy-transport problems introduced by Liero, Mielke and Savaré in Inventiones Mathematicae 211 in 2018. This class of unbalanced transport metrics allows for transport between measures of different total mass, unlike classical optimal transport where both measures must have the same total mass. In particular, we develop the theory for the important subclass of semi-discrete unbalanced transport problems, where one of the measures is diffuse (absolutely continuous with respect to the Lebesgue measure) and the other is discrete (a sum of Dirac masses). We characterize the optimal solutions and show they can be written in terms of generalized Laguerre diagrams. We use this to develop an efficient method for solving the semi-discrete unbalanced transport problem numerically. As an application we study the unbalanced quantization problem, where one looks for the best approximation of a diffuse measure by a discrete measure with respect to an unbalanced transport metric. We prove a type of crystallization result in two dimensions -- optimality of the triangular lattice -- and compute the asymptotic quantization error as the number of Dirac masses tends to infinity.
△ Less
Submitted 6 August, 2018;
originally announced August 2018.
-
Phase field approximations of branched transportation problems
Authors:
Luca Alberto Davide Ferrari,
Carolin Rossmanith,
Benedikt Wirth
Abstract:
In branched transportation problems mass has to be transported from a given initial distribution to a given final distribution, where the cost of the transport is proportional to the transport distance, but subadditive in the transported mass. As a consequence, mass transport is cheaper the more mass is transported together, which leads to the emergence of hierarchically branching transport networ…
▽ More
In branched transportation problems mass has to be transported from a given initial distribution to a given final distribution, where the cost of the transport is proportional to the transport distance, but subadditive in the transported mass. As a consequence, mass transport is cheaper the more mass is transported together, which leads to the emergence of hierarchically branching transport networks. We here consider transport costs that are piecewise affine in the transported mass with N affine segments, in which case the resulting network can be interpreted as a street network composed of N different types of streets. In two spatial dimensions we propose a phase field approximation of this street network using N phase fields and a function approximating the mass flux through the network. We prove the corresponding $Γ$-convergence and show some numerical simulation results.
△ Less
Submitted 29 May, 2018;
originally announced May 2018.
-
Phase field models for two-dimensional branched transportation problems
Authors:
Benedikt Wirth
Abstract:
We analyse the following inverse problem. Given a nonconvex functional (from a specific, but quite general class) of normal, codimension-1 currents (which in two spatial dimensions can be interpreted as transportation networks), find the potential of a phase field energy which approximates the given functional. We prove existence of a solution as well as its characterization via a linear deconvolu…
▽ More
We analyse the following inverse problem. Given a nonconvex functional (from a specific, but quite general class) of normal, codimension-1 currents (which in two spatial dimensions can be interpreted as transportation networks), find the potential of a phase field energy which approximates the given functional. We prove existence of a solution as well as its characterization via a linear deconvolution problem. We also provide an explicit formula that allows to approximate the solution arbitrarily well in the supremum norm.
△ Less
Submitted 14 May, 2018;
originally announced May 2018.
-
Variational time discretization of Riemannian splines
Authors:
Behrend Heeren,
Martin Rumpf,
Benedikt Wirth
Abstract:
We investigate a generalization of cubic splines to Riemannian manifolds. Spline curves are defined as minimizers of the spline energy - a combination of the Riemannian path energy and the time integral of the squared covariant derivative of the path velocity - under suitable interpolation conditions. A variational time discretization for the spline energy leads to a constrained optimization probl…
▽ More
We investigate a generalization of cubic splines to Riemannian manifolds. Spline curves are defined as minimizers of the spline energy - a combination of the Riemannian path energy and the time integral of the squared covariant derivative of the path velocity - under suitable interpolation conditions. A variational time discretization for the spline energy leads to a constrained optimization problem over discrete paths on the manifold. Existence of continuous and discrete spline curves is established using the direct method in the calculus of variations. Furthermore, the convergence of discrete spline paths to a continuous spline curve follows from the $Γ$-convergence of the discrete to the continuous spline energy. Finally, selected example settings are discussed, including splines on embedded finite-dimensional manifolds, on a high-dimensional manifold of discrete shells with applications in surface processing, and on the infinite-dimensional shape manifold of viscous rods.
△ Less
Submitted 16 November, 2017;
originally announced November 2017.
-
A Sinkhorn-Newton method for entropic optimal transport
Authors:
Christoph Brauer,
Christian Clason,
Dirk Lorenz,
Benedikt Wirth
Abstract:
We consider the entropic regularization of discretized optimal transport and propose to solve its optimality conditions via a logarithmic Newton iteration. We show a quadratic convergence rate and validate numerically that the method compares favorably with the more commonly used Sinkhorn--Knopp algorithm for small regularization strength. We further investigate numerically the robustness of the p…
▽ More
We consider the entropic regularization of discretized optimal transport and propose to solve its optimality conditions via a logarithmic Newton iteration. We show a quadratic convergence rate and validate numerically that the method compares favorably with the more commonly used Sinkhorn--Knopp algorithm for small regularization strength. We further investigate numerically the robustness of the proposed method with respect to parameters such as the mesh size of the discretization.
△ Less
Submitted 9 February, 2018; v1 submitted 18 October, 2017;
originally announced October 2017.
-
Dynamic Models of Wasserstein-1-Type Unbalanced Transport
Authors:
Bernhard Schmitzer,
Benedikt Wirth
Abstract:
We consider a class of convex optimization problems modelling temporal mass transport and mass change between two given mass distributions (the so-called dynamic formulation of unbalanced transport), where we focus on those models for which transport costs are proportional to transport distance. For those models we derive an equivalent, computationally more efficient static formulation, we perform…
▽ More
We consider a class of convex optimization problems modelling temporal mass transport and mass change between two given mass distributions (the so-called dynamic formulation of unbalanced transport), where we focus on those models for which transport costs are proportional to transport distance. For those models we derive an equivalent, computationally more efficient static formulation, we perform a detailed analysis of the model optimizers and the associated optimal mass change and transport, and we examine which static models are generated by a corresponding equivalent dynamic one. Alongside we discuss thoroughly how the employed model formulations relate to other formulations found in the literature.
△ Less
Submitted 12 March, 2018; v1 submitted 12 May, 2017;
originally announced May 2017.
-
General transport problems with branched minimizers as functionals of 1-currents with prescribed boundary
Authors:
Alessio Brancolini,
Benedikt Wirth
Abstract:
A prominent model for transportation networks is branched transport, which seeks the optimal transportation scheme to move material from a given initial to a final distribution. The cost of the scheme encodes a higher transport efficiency the more mass is moved together, which automatically leads to optimal transportation networks with a hierarchical branching structure. The two major existing mod…
▽ More
A prominent model for transportation networks is branched transport, which seeks the optimal transportation scheme to move material from a given initial to a final distribution. The cost of the scheme encodes a higher transport efficiency the more mass is moved together, which automatically leads to optimal transportation networks with a hierarchical branching structure. The two major existing model formulations, either using mass fluxes (vector-valued measures) or patterns (probabilities on the space of particle paths), are rather different. Once their equivalence was established, the analysis of optimal networks could rest on both.
The transportation cost of classical branched transport is a fractional power of the transported mass, and several model properties and proof techniques build on its strict concavity. We generalize the model and its analysis to the most general class of reasonable transportation costs, essentially increasing, subadditive functions. This requires several modifications or new approaches. In particular, for the equivalence between mass flux and pattern formulation it turns out advantageous to resort to a description via 1-currents, an intuition which already Xia exploited. In addition, some already existing arguments are given a more concise and perhaps simpler form. The analysis includes the well-posedness, a metrization and a length space property of the model cost, the equivalence between the different model formulations, as well as a few network properties.
△ Less
Submitted 2 September, 2020; v1 submitted 29 April, 2017;
originally announced May 2017.
-
A Framework for Wasserstein-1-Type Metrics
Authors:
Bernhard Schmitzer,
Benedikt Wirth
Abstract:
We propose a unifying framework for generalising the Wasserstein-1 metric to a discrepancy measure between nonnegative measures of different mass. This generalization inherits the convexity and computational efficiency from the Wasserstein-1 metric, and it includes several previous approaches from the literature as special cases. For various specific instances of the generalized Wasserstein-1 metr…
▽ More
We propose a unifying framework for generalising the Wasserstein-1 metric to a discrepancy measure between nonnegative measures of different mass. This generalization inherits the convexity and computational efficiency from the Wasserstein-1 metric, and it includes several previous approaches from the literature as special cases. For various specific instances of the generalized Wasserstein-1 metric we furthermore demonstrate their usefulness in applications by numerical experiments.
△ Less
Submitted 12 March, 2018; v1 submitted 8 January, 2017;
originally announced January 2017.
-
Vector-valued multibang control of differential equations
Authors:
Christian Clason,
Carla Tameling,
Benedikt Wirth
Abstract:
We consider a class of (ill-posed) optimal control problems in which a distributed vector-valued control is enforced to pointwise take values in a finite set $\mathcal{M}\subset\mathbb{R}^m$. After convex relaxation, one obtains a well-posed optimization problem, which still promotes control values in $\mathcal{M}$. We state the corresponding well-posedness and stability analysis and exemplify the…
▽ More
We consider a class of (ill-posed) optimal control problems in which a distributed vector-valued control is enforced to pointwise take values in a finite set $\mathcal{M}\subset\mathbb{R}^m$. After convex relaxation, one obtains a well-posed optimization problem, which still promotes control values in $\mathcal{M}$. We state the corresponding well-posedness and stability analysis and exemplify the results for two specific cases of quite general interest, optimal control of the Bloch equation and optimal control of an elastic deformation. We finally formulate a semismooth Newton method to numerically solve a regularized version of the optimal control problem and illustrate the behavior of the approach for our example cases.
△ Less
Submitted 15 September, 2017; v1 submitted 23 November, 2016;
originally announced November 2016.
-
Proceedings of the third "international Traveling Workshop on Interactions between Sparse models and Technology" (iTWIST'16)
Authors:
V. Abrol,
O. Absil,
P. -A. Absil,
S. Anthoine,
P. Antoine,
T. Arildsen,
N. Bertin,
F. Bleichrodt,
J. Bobin,
A. Bol,
A. Bonnefoy,
F. Caltagirone,
V. Cambareri,
C. Chenot,
V. Crnojević,
M. Daňková,
K. Degraux,
J. Eisert,
J. M. Fadili,
M. Gabrié,
N. Gac,
D. Giacobello,
A. Gonzalez,
C. A. Gomez Gonzalez,
A. González
, et al. (36 additional authors not shown)
Abstract:
The third edition of the "international - Traveling Workshop on Interactions between Sparse models and Technology" (iTWIST) took place in Aalborg, the 4th largest city in Denmark situated beautifully in the northern part of the country, from the 24th to 26th of August 2016. The workshop venue was at the Aalborg University campus. One implicit objective of this biennial workshop is to foster collab…
▽ More
The third edition of the "international - Traveling Workshop on Interactions between Sparse models and Technology" (iTWIST) took place in Aalborg, the 4th largest city in Denmark situated beautifully in the northern part of the country, from the 24th to 26th of August 2016. The workshop venue was at the Aalborg University campus. One implicit objective of this biennial workshop is to foster collaboration between international scientific teams by disseminating ideas through both specific oral/poster presentations and free discussions. For this third edition, iTWIST'16 gathered about 50 international participants and features 8 invited talks, 12 oral presentations, and 12 posters on the following themes, all related to the theory, application and generalization of the "sparsity paradigm": Sparsity-driven data sensing and processing (e.g., optics, computer vision, genomics, biomedical, digital communication, channel estimation, astronomy); Application of sparse models in non-convex/non-linear inverse problems (e.g., phase retrieval, blind deconvolution, self calibration); Approximate probabilistic inference for sparse problems; Sparse machine learning and inference; "Blind" inverse problems and dictionary learning; Optimization for sparse modelling; Information theory, geometry and randomness; Sparsity? What's next? (Discrete-valued signals; Union of low-dimensional spaces, Cosparsity, mixed/group norm, model-based, low-complexity models, ...); Matrix/manifold sensing/processing (graph, low-rank approximation, ...); Complexity/accuracy tradeoffs in numerical methods/optimization; Electronic/optical compressive sensors (hardware).
△ Less
Submitted 14 September, 2016;
originally announced September 2016.
-
Optimal micropatterns in 2D transport networks and their relation to image inpainting
Authors:
Alessio Brancolini,
Carolin Rossmanith,
Benedikt Wirth
Abstract:
We consider two different variational models of transport networks, the so-called branched transport problem and the urban planning problem. Based on a novel relation to Mumford-Shah image inpainting and techniques developed in that field, we show for a two-dimensional situation that both highly non-convex network optimization tasks can be transformed into a convex variational problem, which may b…
▽ More
We consider two different variational models of transport networks, the so-called branched transport problem and the urban planning problem. Based on a novel relation to Mumford-Shah image inpainting and techniques developed in that field, we show for a two-dimensional situation that both highly non-convex network optimization tasks can be transformed into a convex variational problem, which may be very useful from analytical and numerical perspectives.
As applications of the convex formulation, we use it to perform numerical simulations (to our knowledge this is the first numerical treatment of urban planning), and we prove the lower bound of an energy scaling law which helps better understand optimal networks and their minimal energies.
△ Less
Submitted 21 November, 2016; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Optimal micropatterns in transport networks
Authors:
Alessio Brancolini,
Benedikt Wirth
Abstract:
We consider two variational models for transport networks, an urban planning and a branched transport model, in which the degree of network complexity and ramification is governed by a small parameter $\varepsilon>0$. Smaller $\varepsilon$ leads to finer ramification patterns, and we analyse how optimal network patterns in a particular geometry behave as $\varepsilon\to0$ by proving an energy scal…
▽ More
We consider two variational models for transport networks, an urban planning and a branched transport model, in which the degree of network complexity and ramification is governed by a small parameter $\varepsilon>0$. Smaller $\varepsilon$ leads to finer ramification patterns, and we analyse how optimal network patterns in a particular geometry behave as $\varepsilon\to0$ by proving an energy scaling law. This entails providing constructions of near-optimal networks as well as proving that no other construction can do better.
The motivation of this analysis is twofold. On the one hand, it provides a better understanding of the transport network models; for instance, it reveals qualitative differences in the ramification patterns of urban planning and branched transport. On the other hand, several examples of variational pattern analysis in the literature use an elegant technique based on relaxation and convex duality. Transport networks provide a relatively simple setting to explore variations and refinements of this technique, thereby increasing the scope of its applicability.
△ Less
Submitted 26 November, 2015;
originally announced November 2015.
-
Equivalent formulations for the branched transport and urban planning problems
Authors:
Alessio Brancolini,
Benedikt Wirth
Abstract:
We consider two variational models for transport networks, an urban planning and a branched transport model, in both of which there is a preference for networks that collect and transport lots of mass together rather than transporting all mass particles independently. The strength of this preference determines the ramification patterns and the degree of complexity of optimal networks. Traditionall…
▽ More
We consider two variational models for transport networks, an urban planning and a branched transport model, in both of which there is a preference for networks that collect and transport lots of mass together rather than transporting all mass particles independently. The strength of this preference determines the ramification patterns and the degree of complexity of optimal networks. Traditionally, the models are formulated in very different ways, via cost functionals of the network in case of urban planning or via cost functionals of irrigation patterns or of mass fluxes in case of branched transport. We show here that actually both models can be described by all three types of formulations; in particular, the urban planning can be cast into a Eulerian (flux-based) or a Lagrangian (pattern-based) framework.
△ Less
Submitted 1 June, 2016; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Bézier curves in the space of images
Authors:
Alexander Effland,
Martin Rumpf,
Stefan Simon,
Kirsten Stahn,
Benedikt Wirth
Abstract:
Bézier curves are a widespread tool for the design of curves in Euclidian space. This paper generalizes the notion of Bézier curves to the infinite-dimensional space of images. To this end the space of images is equipped with a Riemannian metric which measures the cost of image transport and intensity variation in the sense of the metamorphosis model by Miller and Younes. Bézier curves are then co…
▽ More
Bézier curves are a widespread tool for the design of curves in Euclidian space. This paper generalizes the notion of Bézier curves to the infinite-dimensional space of images. To this end the space of images is equipped with a Riemannian metric which measures the cost of image transport and intensity variation in the sense of the metamorphosis model by Miller and Younes. Bézier curves are then computed via the Riemannian version of de Casteljau's algorithm, which is based on a hierarchical scheme of convex combination along geodesic curves. Geodesics are approximated using a variational discretization of the Riemannian path energy. This leads to a generalized de Casteljau method to compute suitable discrete Bézier curves in image space. Selected test cases demonstrate qualitative properties of the approach. Furthermore, a Bézier approach for the modulation of face interpolation and shape animation via image sketches is presented.
△ Less
Submitted 9 March, 2015;
originally announced March 2015.
-
Combining $2D$ synchrosqueezed wave packet transform with optimization for crystal image analysis
Authors:
Jianfeng Lu,
Benedikt Wirth,
Haizhao Yang
Abstract:
We develop a variational optimization method for crystal analysis in atomic resolution images, which uses information from a 2D synchrosqueezed transform (SST) as input. The synchrosqueezed transform is applied to extract initial information from atomic crystal images: crystal defects, rotations and the gradient of elastic deformation. The deformation gradient estimate is then improved outside the…
▽ More
We develop a variational optimization method for crystal analysis in atomic resolution images, which uses information from a 2D synchrosqueezed transform (SST) as input. The synchrosqueezed transform is applied to extract initial information from atomic crystal images: crystal defects, rotations and the gradient of elastic deformation. The deformation gradient estimate is then improved outside the identified defect region via a variational approach, to obtain more robust results agreeing better with the physical constraints. The variational model is optimized by a nonlinear projected conjugate gradient method. Both examples of images from computer simulations and imaging experiments are analyzed, with results demonstrating the effectiveness of the proposed method.
△ Less
Submitted 6 May, 2015; v1 submitted 25 January, 2015;
originally announced January 2015.
-
Variational time discretization of geodesic calculus
Authors:
Martin Rumpf,
Benedikt Wirth
Abstract:
We analyze a variational time discretization of geodesic calculus on finite- and certain classes of infinite-dimensional Riemannian manifolds. We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm, discrete exponential maps, and discrete parallel transport, and we prove convergence to their continuous counterparts. The presented analysis is based on the…
▽ More
We analyze a variational time discretization of geodesic calculus on finite- and certain classes of infinite-dimensional Riemannian manifolds. We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm, discrete exponential maps, and discrete parallel transport, and we prove convergence to their continuous counterparts. The presented analysis is based on the direct methods in the calculus of variation, on $Γ$-convergence, and on weighted finite element error estimation. The convergence results of the discrete geodesic calculus are experimentally confirmed for a basic model on a two-dimensional Riemannian manifold.
This provides a theoretical basis for applications in computer vision: In particular, discrete geodesics offer an effective tool for shape morphing and the computation of a distance between shapes, the discrete logarithm allows a linear representation of strongly nonlinear shape variability, the discrete exponential map provides a robust tool for shape extrapolation, and the discrete parallel transport can be used to transfer geometric details from one shape to another. The basic operations are exemplarily illustrated for two different shape spaces, the space of viscous volumetric objects and the space of discrete viscous shells.
△ Less
Submitted 22 March, 2013; v1 submitted 7 October, 2012;
originally announced October 2012.
-
Discrete geodesic calculus in the space of viscous fluidic objects
Authors:
Martin Rumpf,
Benedikt Wirth
Abstract:
Based on a local approximation of the Riemannian distance on a manifold by a computationally cheap dissimilarity measure, a time discrete geodesic calculus is developed, and applications to shape space are explored. The dissimilarity measure is derived from a deformation energy whose Hessian reproduces the underlying Riemannian metric, and it is used to define length and energy of discrete paths i…
▽ More
Based on a local approximation of the Riemannian distance on a manifold by a computationally cheap dissimilarity measure, a time discrete geodesic calculus is developed, and applications to shape space are explored. The dissimilarity measure is derived from a deformation energy whose Hessian reproduces the underlying Riemannian metric, and it is used to define length and energy of discrete paths in shape space. The notion of discrete geodesics defined as energy minimizing paths gives rise to a discrete logarithmic map, a variational definition of a discrete exponential map, and a time discrete parallel transport. This new concept is applied to a shape space in which shapes are considered as boundary contours of physical objects consisting of viscous material. The flexibility and computational efficiency of the approach is demonstrated for topology preserving shape morphing, the representation of paths in shape space via local shape variations as path generators, shape extrapolation via discrete geodesic flow, and the transfer of geometric features.
△ Less
Submitted 2 October, 2012;
originally announced October 2012.