arXiv subjects

Martin Rumpf

Publications and source records attributed to Martin Rumpf.

At least 37 records · Page 2Linked to original sources

arXiv2020

Geometric optimization using nonlinear rotation-invariant coordinates

Geometric optimization problems are at the core of many applications in geometry processing. The choice of a representation fitting an optimization problem can considerably simplify solving the problem. We consider the Nonlinear Rotation-Invariant Coordinates (NRIC) that represent the nodal positions of a discrete triangular surface with fixed combinatorics as a vector that stacks all edge lengths and dihedral angles of the mesh. It is known that this representation associates a unique vector to an equivalence class of nodal positions that differ by a rigid body motion. Moreover, integrability conditions that ensure the existence of nodal positions that match a given vector of edge lengths and dihedral angles have been established. The goal of this paper is to develop the machinery needed to use the NRIC for solving geometric optimization problems. First, we use the integrability conditions to derive an implicit description of the space of discrete surfaces as a submanifold of an Euclidean space and a corresponding description of its tangent spaces. Secondly, we reformulate the integrability conditions using quaternions and provide explicit formulas for their first and second derivatives facilitating the use of Hessians in NRIC-based optimization problems. Lastly, we introduce a fast and robust algorithm that reconstructs nodal positions from almost integrable NRIC. We demonstrate the benefits of this approach on a collection of geometric optimization problems. Comparisons to alternative approaches indicate that NRIC-based optimization is particularly effective for problems involving near-isometric deformations.

math.NA↗

arXiv2020

Convergence of the Time Discrete Metamorphosis Model on Hadamard Manifolds

Continuous image morphing is a classical task in image processing. The metamorphosis model proposed by Trouvé, Younes and coworkers casts this problem in the frame of Riemannian geometry and geodesic paths between images. The associated metric in the space of images incorporates dissipation caused by a viscous flow transporting image intensities and its variations along motion paths. In many applications, images are maps from the image domain into a manifold (e.g. in diffusion tensor imaging (DTI) the manifold of symmetric positive definite matrices with a suitable Riemannian metric). In this paper, we propose a generalized metamorphosis model for manifold-valued images, where the range space is a finite-dimensional Hadamard manifold. A corresponding time discrete version was presented by Neumayer et al. based on the general variational time discretization proposed by Berkels et al. Here, we prove the Mosco--convergence of the time discrete metamorphosis functional to the proposed manifold-valued metamorphosis model, which implies the convergence of time discrete geodesic paths to a geodesic path in the (time continuous) metamorphosis model. In particular, the existence of geodesic paths is established. In fact, images as maps into Hadamard manifold are not only relevant in applications, but it is also shown that the joint convexity of the distance function which characterizes Hadamard manifolds is a crucial ingredient to establish existence of the metamorphosis model.

math.OC↗

arXiv2020

On Material Optimisation for Nonlinearly Elastic Plates and Shells

This paper investigates the optimal distribution of hard and soft material on elastic plates. In the class of isometric deformations stationary points of a Kirchhoff plate functional with incorporated material hardness function are investigated and a compliance cost functional is taken into account. Under symmetry assumptions on the material distribution and the load it is shown that cylindrical solutions are stationary points. Furthermore, it is demonstrated that the optimal design of cylindrically deforming, clamped rectangular plates is non trivial, i.e. with a material distribution which is not just depending on one axial direction on the plate. Analytical results are complemented with numerical optimization results using a suitable finite element discretization and a phase field description of the material phases. Finally, using numerical methods an outlook on the optimal design of non isometrically deforming plates and shells is given.

math.NA↗

arXiv2019

Consistent Curvature Approximation on Riemannian Shape Spaces

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.

math.NA↗

arXiv2019

Geometry of martensite needles in shape memory alloys

We study the geometry of needle-shaped domains in shape-memory alloys. Needle-shaped domains are ubiquitously found in martensites around macroscopic interfaces between regions which are laminated in different directions, or close to macroscopic austenite/twinned-martensite interfaces. Their geometry results from the interplay of the local nonconvexity of the effective energy density with long-range (linear) interactions mediated by the elastic strain field, and is up to now poorly understood. We present a two-dimensional shape optimization model based on finite elasticity and discuss its numerical solution. Our results indicate that the tapering profile of the needles can be understood within finite elasticity, but not with linearized elasticity. The resulting tapering and bending reproduce the main features of experimental observations on NiAl.

physics.comp-ph↗

arXiv2018

Simultaneous elastic shape optimization for a domain splitting in bone tissue engineering

This paper deals with the simulateneous optimization of a subset $\mathcal{O}_0$ of some domain $Ω$ and its complement $\mathcal{O}_1 = Ω\setminus \overline{\mathcal{O}}_0$ both considered as separate elastic objects subject to a set of loading scenarios. If one asks for a configuration which minimizes the maximal elastic cost functional both phases compete for space since elastic shapes usually get mechanically more stable when being enlarged. Such a problem arises in biomechanics where a bioresorbable polymer scaffold is implanted in place of lost bone tissue and in a regeneration phase new bone tissue grows in the scaffold complement via osteogenesis. In fact, the polymer scaffold should be mechanically stable to bear loading in the early stage regeneration phase and at the same time the new bone tissue grown in the complement of this scaffold should as well bear the loading. Here, this optimal subdomain splitting problem with appropriate elastic cost functionals is introduced and existence of optimal two phase configurations is established for a regularized formulation. Furthermore, based on a phase field approximation a finite element discretization is derived. Numerical experiments are presented for the design of optimal periodic scaffold microstructure.

math.NA↗

arXiv2017

Variational time discretization of Riemannian splines

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.

math.NA↗

arXiv2017

Homogenization in magnetic-shape-memory polymer composites

Magnetic-shape-memory materials (e.g. specific NiMnGa alloys) react with a large change of shape to the presence of an external magnetic field. As an alternative for the difficult to manifacture single crystal of these alloys we study composite materials in which small magnetic-shape-memory particles are embedded in a polymer matrix. The macroscopic properties of the composite depend strongly on the geometry of the microstructure and on the characteristics of the particles and the polymer. We present a variational model based on micromagnetism and elasticity, and derive via homogenization an effective macroscopic model under the assumption that the microstructure is periodic. We then study numerically the resulting cell problem, and discuss the effect of the microstructure on the macroscopic material behavior. Our results may be used to optimize the shape of the particles and the microstructure.

math.AP↗

arXiv2017

Branching Structures in Elastic Shape Optimization

Fine scale elastic structures are widespread in nature, for instances in plants or bones, whenever stiffness and low weight are required. These patterns frequently refine towards a Dirichlet boundary to ensure an effective load transfer. The paper discusses the optimization of such supporting structures in a specific class of domain patterns in 2D, which composes of periodic and branching period transitions on subdomain facets. These investigations can be considered as a case study to display examples of optimal branching domain patterns. In explicit, a rectangular domain is decomposed into rectangular subdomains, which share facets with neighbouring subdomains or with facets which split on one side into equally sized facets of two different subdomains. On each subdomain one considers an elastic material phase with stiff elasticity coefficients and an approximate void phase with orders of magnitude softer material. For given load on the outer domain boundary, which is distributed on a prescribed fine scale pattern representing the contact area of the shape, the interior elastic phase is optimized with respect to the compliance cost. The elastic stress is supposed to be continuous on the domain and a stress based finite volume discretization is used for the optimization. If in one direction equally sized subdomains with equal adjacent subdomain topology line up, these subdomains are consider as equal copies including the enforced boundary conditions for the stress and form a locally periodic substructure. An alternating descent algorithm is employed for a discrete characteristic function describing the stiff elastic subset on the subdomains and the solution of the elastic state equation. Numerical experiments are shown for compression and shear load on the boundary of a quadratic domain.

math.NA↗

arXiv2017

Computation of Optimal Transport on Discrete Metric Measure Spaces

In this paper we investigate the numerical approximation of an analogue of the Wasserstein distance for optimal transport on graphs that is defined via a discrete modification of the Benamou--Brenier formula. This approach involves the logarithmic mean of measure densities on adjacent nodes of the graph. For this model a variational time discretization of the probability densities on graph nodes and the momenta on graph edges is proposed. A robust descent algorithm for the action functional is derived, which in particular uses a proximal splitting with an edgewise nonlinear projection on the convex subgraph of the logarithmic mean. Thereby, suitable chosen slack variables avoid a global coupling of probability densities on all graph nodes in the projection step. For the time discrete action functional $Γ$--convergence to the time continuous action is established. Numerical results for a selection of test cases show qualitative and quantitative properties of the optimal transport on graphs. Finally, we use our algorithm to implement a JKO scheme for the gradient flow of the entropy in the discrete transportation distance, which is known to coincide with the underlying Markov semigroup, and test our results against a classical backward Euler discretization of this discrete heat flow.

math.NA↗

arXiv2017

Image Extrapolation for the Time Discrete Metamorphosis Model - Existence and Applications

The space of images can be equipped with a Riemannian metric measuring both the cost of transport of image intensities and the variation of image intensities along motion lines. The resulting metamorphosis model was introduced and analyzed by Trouvé and Younes, and a variational time discretization for the geodesic interpolation was proposed by Berkels et al. In this paper, this time discrete model is expanded and an image extrapolation via a discrete exponential map is consistently derived for the variational time discretization. For a given weakly differentiable initial image and an initial image variation, the exponential map allows to compute a discrete geodesic extrapolation path in the space of images. It is shown that a time step of this shooting method can be formulated in the associated deformations only. For sufficiently small time steps local existence and uniqueness are proved using a suitable fixed point formulation and the implicit function theorem. A spatial Galerkin discretization with cubic splines on coarse meshes for the deformation and piecewise bilinear finite elements on fine meshes for the image intensities are used to derive a fully practical algorithm. Different applications underline the efficiency and stability of the proposed approach.

math.NA↗

arXiv2017

A posteriori modeling error estimates in the optimization of two-scale elastic composite materials

The a posteriori analysis of the discretization error and the modeling error is studied for a compliance cost functional in the context of the optimization of composite elastic materials and a two-scale linearized elasticity model. A mechanically simple, parametrized microscopic supporting structure is chosen and the parameters describing the structure are determined minimizing the compliance objective. An a posteriori error estimate is derived which includes the modeling error caused by the replacement of a nested laminate microstructure by this considerably simpler microstructure. Indeed, nested laminates are known to realize the minimal compliance and provide a benchmark for the quality of the microstructures. To estimate the local difference in the compliance functional the dual weighted residual approach is used. Different numerical experiments show that the resulting adaptive scheme leads to simple parametrized microscopic supporting structures that can compete with the optimal nested laminate construction. The derived a posteriori error indicators allow to verify that the suggested simplified microstructures achieve the optimal value of the compliance up to a few percent. Furthermore, it is shown how discretization error and modeling error can be balanced by choosing an optimal level of grid refinement. Our two scale results with a single scale microstructure can provide guidance towards the design of a producible macroscopic fine scale pattern.

math.NA↗

arXiv2017

Smooth Interpolation of Key Frames in a Riemannian Shell Space

Splines and subdivision curves are flexible tools in the design and manipulation of curves in Euclidean space. In this paper we study generalizations of interpolating splines and subdivision schemes to the Riemannian manifold of shell surfaces in which the associated metric measures both bending and membrane distortion. The shells under consideration are assumed to be represented by Loop subdivision surfaces. This enables the animation of shells via the smooth interpolation of a given set of key frame control meshes. Using a variational time discretization of geodesics efficient numerical implementations can be derived. These are based on a discrete geodesic interpolation, discrete geometric logarithm, discrete exponential map, and discrete parallel transport. With these building blocks at hand discrete Riemannian cardinal splines and three different types of discrete, interpolatory subdivision schemes are defined. Numerical results for two different subdivision shell models underline the potential of this approach in key frame animation.

math.NA↗

arXiv2017

Shape Aware Matching of Implicit Surfaces based on Thin Shell Energies

A shape sensitive, variational approach for the matching of surfaces considered as thin elastic shells is investigated. The elasticity functional to be minimized takes into account two different types of nonlinear energies: a membrane energy measuring the rate of tangential distortion when deforming the reference shell into the template shell, and a bending energy measuring the bending under the deformation in terms of the change of the shape operators from the undeformed into the deformed configuration. The variational method applies to surfaces described as level sets. It is mathematically well-posed and an existence proof of an optimal matching deformation is given. The variational model is implemented using a finite element discretization combined with a narrow band approach on an efficient hierarchical grid structure. For the optimization a regularized nonlinear conjugate gradient scheme and a cascadic multilevel strategy are used. The features of the proposed approach are studied for synthetic test cases and a collection of geometry processing examples.

math.OC↗

arXiv2016

Generalized optimal transport with singular sources

We present a generalized optimal transport model in which the mass-preserving constraint for the $L^2$-Wasserstein distance is relaxed by introducing a source term in the continuity equation. The source term is also incorporated in the path energy by means of its squared $L^2$-norm in time of a functional with linear growth in space. This extension of the original transport model enables local density modulation, which is a desirable feature in applications such as image warping and blending. A key advantage of the use of a functional with linear growth in space is that it allows for singular sources and sinks, which can be supported on points or lines. On a technical level, the $L^2$-norm in time ensures a disintegration of the source in time, which we use to obtain the well-posedness of the model and the existence of geodesic paths. Furthermore, a numerical scheme based on the proximal splitting approach (Papadakis et al., 2014) is presented. We compare our model with the corresponding model involving the $L^2(L^2)$-norm of the source, which merges the metamorphosis approach and the optimal transport approaches in imaging. Selected numerical test cases show strikingly different behaviour.

math.NA↗

arXiv2016

Stochastic Dominance Constraints in Elastic Shape Optimization

This paper deals with shape optimization for elastic materials under stochastic loads. It transfers the paradigm of stochastic dominance, which allows for flexible risk aversion via comparison with benchmark random variables, from finite-dimensional stochastic programming to shape optimization. Rather than handling risk aversion in the objective, this enables risk aversion by including dominance constraints that single out subsets of nonanticipative shapes which compare favorably to a chosen stochastic benchmark. This new class of stochastic shape optimization problems arises by optimizing over such feasible sets. The analytical description is built on risk-averse cost measures. The underlying cost functional is of compliance type plus a perimeter term, in the implementation shapes are represented by a phase field which permits an easy estimate of a regularized perimeter. The analytical description and the numerical implementation of dominance constraints are built on risk-averse measures for the cost functional. A suitable numerical discretization is obtained using finite elements both for the displacement and the phase field function. Different numerical experiments demonstrate the potential of the proposed stochastic shape optimization model and in particular the impact of high variability of forces or probabilities in the different realizations.

math.NA↗

arXiv2016

Material Optimization for Nonlinearly Elastic Planar Beams

We consider the problem of an optimal distribution of soft and hard material for nonlinearly elastic planar beams. We prove that under gravitational force the optimal distribution involves no microstructure and is ordered, and we provide numerical simulations confirming and extending this observation.

math.NA↗

arXiv2016

Optimization of the branching pattern in coherent phase transitions

Branching can be observed at the austenite-martensite interface of martensitic phase transformations. For a model problem, Kohn and Müller studied a branching pattern with optimal scaling of the energy with respect to its parameters. Here, we present finite element simulations that suggest a topologically different class of branching patterns and derive a novel, low dimensional family of patterns. After a geometric optimization within this family, the resulting pattern bears a striking resemblance to our simulation. The novel microstructure admits the same scaling exponents but results in a significantly lower upper energy bound.

math.NA↗