Searcharxiv⌕ Search

arXiv subjects

Martin Bauer

Publications and source records attributed to Martin Bauer.

At least 145 records · Page 8Linked to original sources
arXiv2015

Weighted Diffeomorphic Density Matching with Applications to Thoracic Image Registration

In this article we study the problem of thoracic image registration, in particular the estimation of complex anatomical deformations associated with the breathing cycle. Using the intimate link between the Riemannian geometry of the space of diffeomorphisms and the space of densities, we develop an image registration framework that incorporates both the fundamental law of conservation of mass as well as spatially varying tissue compressibility properties. By exploiting the geometrical structure, the resulting algorithm is computationally efficient, yet widely general.

math.NA↗
arXiv2015

Second order elastic metrics on the shape space of curves

Second order Sobolev metrics on the space of regular unparametrized planar curves have several desirable completeness properties not present in lower order metrics, but numerics are still largely missing. In this paper, we present algorithms to numerically solve the initial and boundary value problems for geodesics. The combination of these algorithms allows to compute Karcher means in a Riemannian gradient-based optimization scheme. Our framework has the advantage that the constants determining the weights of the zero, first, and second order terms of the metric can be chosen freely. Moreover, due to its generality, it could be applied to more general spaces of mapping. We demonstrate the effectiveness of our approach by analyzing a collection of shapes representing physical objects.

math.DG↗
arXiv2015

Curve Matching with Applications in Medical Imaging

In the recent years, Riemannian shape analysis of curves and surfaces has found several applications in medical image analysis. In this paper we present a numerical discretization of second order Sobolev metrics on the space of regular curves in Euclidean space. This class of metrics has several desirable mathematical properties. We propose numerical solutions for the initial and boundary value problems of finding geodesics. These two methods are combined in a Riemannian gradient-based optimization scheme to compute the Karcher mean. We apply this to a study of the shape variation in HeLa cell nuclei and cycles of cardiac deformations, by computing means and principal modes of variations.

math.DG↗
arXiv2015

Massively Parallel Phase-Field Simulations for Ternary Eutectic Directional Solidification

Microstructures forming during ternary eutectic directional solidification processes have significant influence on the macroscopic mechanical properties of metal alloys. For a realistic simulation, we use the well established thermodynamically consistent phase-field method and improve it with a new grand potential formulation to couple the concentration evolution. This extension is very compute intensive due to a temperature dependent diffusive concentration. We significantly extend previous simulations that have used simpler phase-field models or were performed on smaller domain sizes. The new method has been implemented within the massively parallel HPC framework waLBerla that is designed to exploit current supercomputers efficiently. We apply various optimization techniques, including buffering techniques, explicit SIMD kernel vectorization, and communication hiding. Simulations utilizing up to 262,144 cores have been run on three different supercomputing architectures and weak scalability results are shown. Additionally, a hierarchical, mesh-based data reduction strategy is developed to keep the I/O problem manageable at scale.

cs.DC↗
arXiv2015

Flavor from the Electroweak Scale

We discuss the possibility that flavor hierarchies arise from the electroweak scale in a two Higgs doublet model, in which the two Higgs doublets jointly act as the flavon. Quark masses and mixing angles are explained by effective Yukawa couplings, generated by higher dimensional operators involving quarks and Higgs doublets. Modified Higgs couplings yield important effects on the production cross sections and decay rates of the light Standard Model like Higgs. In addition, flavor changing neutral currents arise at tree-level and lead to strong constraints from meson-antimeson mixing. Remarkably, flavor constraints turn out to prefer a region in parameter space that is in excellent agreement with the one preferred by recent Higgs precision measurements at the Large Hadron Collider (LHC). Direct searches for extra scalars at the LHC lead to further constraints. Precise predictions for the production and decay modes of the additional Higgs bosons are derived, and we present benchmark scenarios for searches at the LHC Run II. Flavor breaking at the electroweak scale as well as strong coupling effects demand a UV completion at the scale of a few TeV, possibly within the reach of the LHC.

hep-ph↗
arXiv2015

Why Use Sobolev Metrics on the Space of Curves

We study reparametrization invariant Sobolev metrics on spaces of regular curves. We discuss their completeness properties and the resulting usability for applications in shape analysis. In particular, we will argue, that the development of efficient numerical methods for higher order Sobolev type metrics is an extremely desirable goal.

math.DG↗
arXiv2015

Landmark-Guided Elastic Shape Analysis of Human Character Motions

Motions of virtual characters in movies or video games are typically generated by recording actors using motion capturing methods. Animations generated this way often need postprocessing, such as improving the periodicity of cyclic animations or generating entirely new motions by interpolation of existing ones. Furthermore, search and classification of recorded motions becomes more and more important as the amount of recorded motion data grows. In this paper, we will apply methods from shape analysis to the processing of animations. More precisely, we will use the by now classical elastic metric model used in shape matching, and extend it by incorporating additional inexact feature point information, which leads to an improved temporal alignment of different animations.

cs.CV↗
arXiv2015

Diffeomorphic density matching by optimal information transport

We address the following problem: given two smooth densities on a manifold, find an optimal diffeomorphism that transforms one density into the other. Our framework builds on connections between the Fisher-Rao information metric on the space of probability densities and right-invariant metrics on the infinite-dimensional manifold of diffeomorphisms. This optimal information transport, and modifications thereof, allows us to construct numerical algorithms for density matching. The algorithms are inherently more efficient than those based on optimal mass transport or diffeomorphic registration. Our methods have applications in medical image registration, texture mapping, image morphing, non-uniform random sampling, and mesh adaptivity. Some of these applications are illustrated in examples.

math.OC↗
arXiv2014

Local and Global Well-posedness of the fractional order EPDiff equation on $\mathbb{R}^{d}$

Of concern is the study of fractional order Sobolev--type metrics on the group of $H^{\infty}$-diffeomorphism of $\mathbb{R}^{d}$ and on its Sobolev completions $\mathcal{D}^{q}(\mathbb{R}^{d})$. It is shown that the $H^{s}$-Sobolev metric induces a strong and smooth Riemannian metric on the Banach manifolds $\mathcal{D}^{s}(\mathbb{R}^{d})$ for $s >1 + \frac{d}{2}$. As a consequence a global well-posedness result of the corresponding geodesic equations, both on the Banach manifold $\mathcal{D}^{s}(\mathbb{R}^{d})$ and on the smooth regular Fréchet-Lie group of all $H^{\infty}$-diffeomorphisms is obtained. In addition a local existence result for the geodesic equation for metrics of order $\frac{1}{2} \leq s < 1 + d/2$ is derived.

math.AP↗
arXiv2014

Soft Collinear Effective Theory for Heavy WIMP Annihilation

In a large class of models for Weakly Interacting Massive Particles (WIMPs), the WIMP mass $M$ lies far above the weak scale $m_W$. This work identifies universal Sudakov-type logarithms $\sim α\log^2 (2\,M/m_W)$ that spoil the naive convergence of perturbation theory for annihilation processes. An effective field theory (EFT) framework is presented, allowing the systematic resummation of these logarithms. Another impact of the large separation of scales is that a long-distance wave-function distortion from electroweak boson exchange leads to observable modifications of the cross section. Careful accounting of momentum regions in the EFT allows the rigorously disentanglement of this so-called Sommerfeld enhancement from the short distance hard annihilation process. The WIMP is modeled as a heavy-particle field, while the light, energetic, final-state electroweak gauge bosons are treated as soft and collinear fields. Hard matching coefficients are computed at renormalization scale $μ\sim 2\,M$, then evolved down to $μ\sim m_W$, where electroweak symmetry breaking is incorporated and the matching onto the relevant quantum mechanical Hamiltonian is performed. The example of an $SU(2)_W$ triplet scalar dark matter candidate annihilating to line photons is used for concreteness, allowing the numerical exploration of the impact of next-to-leading order corrections and log resummation. For $M \simeq 3$ TeV, the resummed Sommerfeld enhanced cross section is reduced by a factor of $\sim 3$ with respect to the tree-level fixed order result.

hep-ph↗
arXiv2014

Optical Flow on Moving Manifolds

Optical flow is a powerful tool for the study and analysis of motion in a sequence of images. In this article we study a Horn-Schunck type spatio-temporal regularization functional for image sequences that have a non-Euclidean, time varying image domain. To that end we construct a Riemannian metric that describes the deformation and structure of this evolving surface. The resulting functional can be seen as natural geometric generalization of previous work by Weickert and Schnörr (2001) and Lefèvre and Baillet (2008) for static image domains. In this work we show the existence and wellposedness of the corresponding optical flow problem and derive necessary and sufficient optimality conditions. We demonstrate the functionality of our approach in a series of experiments using both synthetic and real data.

math.NA↗
arXiv2014

A New Riemannian Setting for Surface Registration

We present a new approach for matching regular surfaces in a Riemannian setting. We use a Sobolev type metric on deformation vector fields which form the tangent bundle to the space of surfaces. In this article we compare our approach with the diffeomorphic matching framework. In the latter approach a deformation is prescribed on the ambient space, which then drags along an embedded surface. In contrast our metric is defined directly on the deformation vector field and can therefore be called an inner metric. We also show how to discretize the corresponding geodesic equation and compute the gradient of the cost functional using finite elements.

math.DG↗
arXiv2014

Metrics on Spaces of Immersions where Horizontality Equals Normality

We study metrics on shape space of immersions that have a particularly simple horizontal bundle. More specifically, we consider reparametrization invariant Sobolev metrics $G$ on the space $\operatorname{Imm}(M,N)$ of immersions of a compact manifold $M$ in a Riemannian manifold $(N,\overline{g})$. The tangent space $T_f\operatorname{Imm}(M,N)$ at each immersion $f$ has two natural splittings: one into components that are tangential/normal to the surface $f$ (with respect to $\overline{g}$) and another one into vertical/horizontal components (with respect to the projection onto the shape space $B_i(M,N)=\operatorname{Imm}(M,N)/\operatorname{Diff}(M)$ of unparametrized immersions and with respect to the metric $G$). The first splitting can be easily calculated numerically, while the second splitting is important because it mirrors the geometry of shape space and geodesics thereon. Motivated by facilitating the numerical calculation of geodesics on shape space, we characterize all metrics $G$ such that the two splittings coincide. In the special case of planar curves, we show that the regularity of curves in the metric completion can be controlled by choosing a strong enough metric within this class. We demonstrate in several examples that our approach allows us to efficiently calculate numerical solutions of the boundary value problem for geodesics on shape space.

math.DG↗
arXiv2014

Light Dark Matter, Naturalness, and the Radiative Origin of the Electroweak Scale

We study classically scale invariant models in which the Standard Model Higgs mass term is replaced in the Lagrangian by a Higgs portal coupling to a complex scalar field of a dark sector. We focus on models that are weakly coupled with the quartic scalar couplings nearly vanishing at the Planck scale. The dark sector contains fermions and scalars charged under dark SU(2) x U(1) gauge interactions. Radiative breaking of the dark gauge group triggers electroweak symmetry breaking through the Higgs portal coupling. Requiring both a Higgs boson mass of 125.5 GeV and stability of the Higgs potential up to the Planck scale implies that the radiative breaking of the dark gauge group occurs at the TeV scale. We present a particular model which features a long-range abelian dark force. The dominant dark matter component is neutral dark fermions, with the correct thermal relic abundance, and in reach of future direct detection experiments. The model also has lighter stable dark fermions charged under the dark force, with observable effects on galactic-scale structure. Collider signatures include a dark sector scalar boson with mass < 250 GeV that decays through mixing with the Higgs boson, and can be detected at the LHC. The Higgs boson, as well as the new scalar, may have significant invisible decays into dark sector particles.

hep-ph↗
arXiv2014

The homogeneous Sobolev metric of order one on diffeomorphism groups on the real line

In this article we study Sobolev metrics of order one on diffeomorphism groups on the real line. We prove that the space $\operatorname{Diff}_{1}(\mathbb R)$ equipped with the homogenous Sobolev metric of order one is a flat space in the sense of Riemannian geometry, as it is isometric to an open subset of a mapping space equipped with the flat $L^2$-metric. Here $\operatorname{Diff}_{1}(\mathbb R)$ denotes the extension of the group of all either compactly supported, rapidly decreasing or $H^\infty$-diffeomorphisms, that allows for a shift towards infinity. In particular this result provides an analytic solution formula for the corresponding geodesic equation, the non-periodic Hunter-Saxton equation. In addition we show that one can obtain a similar result for the two-component Hunter-Saxton equation and discuss the case of the non-homogenous Sobolev one metric which is related to the Camassa-Holm equation.

math.AP↗
arXiv2014

Constructing reparametrization invariant metrics on spaces of plane curves

Metrics on shape space are used to describe deformations that take one shape to another, and to determine a distance between them. We study a family of metrics on the space of curves, that includes several recently proposed metrics, for which the metrics are characterised by mappings into vector spaces where geodesics can be easily computed. This family consists of Sobolev-type Riemannian metrics of order one on the space $\text{Imm}(S^1,\mathbb R^2)$ of parametrized plane curves and the quotient space $\text{Imm}(S^1,\mathbb R^2)/\text{Diff}(S^1)$ of unparametrized curves. For the space of open parametrized curves we find an explicit formula for the geodesic distance and show that the sectional curvatures vanish on the space of parametrized and are non-negative on the space of unparametrized open curves. For the metric, which is induced by the "R-transform", we provide a numerical algorithm that computes geodesics between unparameterised, closed curves, making use of a constrained formulation that is implemented numerically using the RATTLE algorithm. We illustrate the algorithm with some numerical tests that demonstrate it's efficiency and robustness.

math.DG↗
arXiv2013

$R$-transforms for Sobolev $H^2$-metrics on spaces of plane curves

We consider spaces of smooth immersed plane curves (modulo translations and/or rotations), equipped with reparameterization invariant weak Riemannian metrics involving second derivatives. This includes the full $H^2$-metric without zero order terms. We find isometries (called $R$-transforms) from some of these spaces into function spaces with simpler weak Riemannian metrics, and we use this to give explicit formulas for geodesics, geodesic distances, and sectional curvatures. We also show how to utilise the isometries to compute geodesics numerically.

math.DG↗