arXiv subjects

Martin Bauer

Publications and source records attributed to Martin Bauer.

At least 109 records · Page 6Linked to original sources

arXiv2018

Semi-invariant Riemannian metrics in hydrodynamics

Many models in mathematical physics are given as non-linear partial differential equation of hydrodynamic type; the incompressible Euler, KdV, and Camassa--Holm equations are well-studied examples.A beautiful approach to well-posedness is to go from the Eulerian to a Lagrangian description.Geometrically it corresponds to a geodesic initial value problem on the infinite-dimensional group of diffeomorphisms with a right invariant Riemannian metric. By establishing regularity properties of the Riemannian spray one can then obtain local, and sometimes global, existence and uniqueness results. There are, however, many hydrodynamic-type equations, notably shallow water models and compressible Euler equations, where the underlying infinite-dimensional Riemannian structure is not fully right invariant, but still semi-invariant with respect to the subgroup of volume preserving diffeomorphisms. Here we study such metrics. For semi-invariant metrics of Sobolev $H^k$-type we give local and some global well-posedness results for the geodesic initial value problem. We also give results in the presence of a potential functional (corresponding to the fluid's internal energy). Our study reveals many pitfalls in going from fully right invariant to semi-invariant Sobolev metrics; the regularity requirements, for example, are higher. Nevertheless the key results, such as no loss or gain in regularity along geodesics, can be adopted.

math.AP↗

arXiv2018

A relaxed approach for curve matching with elastic metrics

In this paper we study a class of Riemannian metrics on the space of unparametrized curves and develop a method to compute geodesics with given boundary conditions. It extends previous works on this topic in several important ways. The model and resulting matching algorithm integrate within one common setting both the family of $H^2$-metrics with constant coefficients and scale-invariant $H^2$-metrics on both open and closed immersed curves. These families include as particular cases the class of first-order elastic metrics. An essential difference with prior approaches is the way that boundary constraints are dealt with. By leveraging varifold-based similarity metrics we propose a relaxed variational formulation for the matching problem that avoids the necessity of optimizing over the reparametrization group. Furthermore, we show that we can also quotient out finite-dimensional similarity groups such as translation, rotation and scaling groups. The different properties and advantages are illustrated through numerical examples in which we also provide a comparison with related diffeomorphic methods used in shape registration.

math.DG↗

arXiv2018

Metric Registration of Curves and Surfaces using Optimal Control

This paper presents an overview of recent developments in the analysis of shapes such as curves and surfaces through Riemannian metrics. We show that several constructions of metrics on spaces of submanifolds can be unified through the prism of Riemannian submersions, with shape space metrics being induced from metrics defined on the top spaces. Computing the resulting Riemannian distances involves solving geodesic matching problems with boundary conditions. To deal efficiently with such variational problems, one can rely on an auxiliary family of "chordal" distances to simplify the treatment of boundary conditions, which we use to come up with a relaxed inexact formulation of the matching problem. This also allows to turn shape matching into optimal control problems and give a common framework to address them in practice. We then specify our analysis to the cases of intrinsic shape metrics defined using invariant Sobolev metrics on parametrized immersions, outer shape metrics induced from metrics on diffeomorphism groups of the ambient space and finally a recent hybrid model that combines those two approaches.

math.DG↗

arXiv2018

Higgs Pair Production as a Signal of Enhanced Yukawa Couplings

We present a non-trivial correlation between the enhancement of the Higgs-fermion couplings and the Higgs pair production cross section in two Higgs doublet models with a flavour symmetry. This symmetry suppresses flavour-changing neutral couplings of the Higgs boson and allows for a partial explanation of the hierarchy in the Yukawa sector. After taking into account the constraints from electroweak precision measurements, Higgs coupling strength measurements, and unitarity and perturbativity bounds, we identify an interesting region of parameter space leading to enhanced Yukawa couplings as well as enhanced di-Higgs gluon fusion production at the LHC reach. This effect is visible in both the resonant and non-resonant contributions to the Higgs pair production cross section. We encourage dedicated searches based on differential distributions as a novel way to indirectly probe enhanced Higgs couplings to light fermions.

hep-ph↗

arXiv2018

An improved lattice Boltzmann D3Q19 method based on an alternative equilibrium discretization

Lattice Boltzmann simulations of three-dimensional, isothermal hydrodynamics often use either the D3Q19 or the D3Q27 velocity sets. While both models correctly approximate Navier-Stokes in the continuum limit, the D3Q19 model is computationally less expensive but has some known deficiencies regarding Galilean invariance, especially for high Reynolds number flows. In this work we present a novel methodology to construct lattice Boltzmann equilibria for hydrodynamics directly from the continuous Maxwellian equilibrium. While our new approach reproduces the well known LBM equilibrium for D2Q9 and D3Q27 lattice models, it yields a different equilibrium formulation for the D3Q19 stencil. This newly proposed formulation is shown to be more accurate than the widely used second order equilibrium, while having the same computation costs. We present a steady state Chapman-Enskog analysis of the standard and the improved D3Q19 model and conduct numerical experiments that demonstrate the superior accuracy of our newly developed D3Q19 equilibrium.

physics.comp-ph↗

arXiv2018

Dark Matter in Anomaly-Free Gauge Extensions

A consistent model for vector mediators to dark matter needs to be anomaly-free and include a scalar mode from mass generation. For the leading U(1) extensions we review the structure and constraints, including kinetic mixing at loop level. The thermal relic density suggests that the vector and scalar masses are similar. For the LHC we combine a $Z'$ shape analysis with mono-jets. For the latter, we find that a shape analysis offers significant improvement over existing cut-and-count approaches. Direct detection limits strongly constrain the kinetic mixing angle and we propose a $\ell^+\ell^- E_T$ search strategy based on the scalar mediator.

hep-ph↗

arXiv2018

Standards-Based Worldwide Semantic Interoperability for IoT

Global IoT services (GIoTS) are combining locally available IoT resources with Cloud-based services. They are targeting world-wide services. GIoTS require interoperability between the locally installed heterogeneous IoT systems. Semantic processing is an important technology to enable data mediation as well as knowledge-based processing. This paper explains a system architecture for achieving world-wide semantic interoperability using international standards like oneM2M and the OMA NGSI-9/10 context interfaces (as used in the European Future Internet Platform FIWARE). Semantics also enables the use of Knowledge-based Semantic Processing Agents. Furthermore, we explain how semantic verification enables the testing of such complex systems.

cs.DC↗

arXiv2018

Diffeomorphic density registration

In this book chapter we study the Riemannian Geometry of the density registration problem: Given two densities (not necessarily probability densities) defined on a smooth finite dimensional manifold find a diffeomorphism which transforms one to the other. This problem is motivated by the medical imaging application of tracking organ motion due to respiration in Thoracic CT imaging where the fundamental physical property of conservation of mass naturally leads to modeling CT attenuation as a density. We will study the intimate link between the Riemannian metrics on the space of diffeomorphisms and those on the space of densities. We finally develop novel computationally efficient algorithms and demonstrate there applicability for registering RCCT thoracic imaging.

math.OC↗

arXiv2018

Strong Solutions of Mean-Field Stochastic Differential Equations with irregular drift

We investigate existence and uniqueness of strong solutions of mean-field stochastic differential equations with irregular drift coefficients. Our direct construction of strong solutions is mainly based on a compactness criterion employing Malliavin Calculus together with some local time calculus. Furthermore, we establish regularity properties of the solutions such as Malliavin differentiablility as well as Sobolev differentiability in the initial condition. Using this properties we formulate an extension of the Bismut-Elworthy-Li formula to mean-field stochastic differential equations to get a probabilistic representation of the first order derivative of an expectation functional with respect to the initial condition.

math.PR↗

arXiv2018

A Scalable and Extensible Checkpointing Scheme for Massively Parallel Simulations

Realistic simulations in engineering or in the materials sciences can consume enormous computing resources and thus require the use of massively parallel supercomputers. The probability of a failure increases both with the runtime and with the number of system components. For future exascale systems it is therefore considered critical that strategies are developed to make software resilient against failures. In this article, we present a scalable, distributed, diskless, and resilient checkpointing scheme that can create and recover snapshots of a partitioned simulation domain. We demonstrate the efficiency and scalability of the checkpoint strategy for simulations with up to $40$ billion computational cells executing on more than $400$ billion floating point values. A checkpoint creation is shown to require only a few seconds and the new checkpointing scheme scales almost perfectly up to more than $260\,000$ ($2^{18}$) processes. To recover from a diskless checkpoint during runtime, we realize the recovery algorithms using ULFM MPI. The checkpointing mechanism is fully integrated in a state-of-the-art high-performance multi-physics simulation framework. We demonstrate the efficiency and robustness of the method with a realistic phase-field simulation originating in the material sciences and with a lattice Boltzmann method implementation.

cs.DC↗

arXiv2017

Universal Properties of Pseudoscalar Mediators

We discuss universal signals of consistent models of pseudoscalar mediators for collider searches for Dark Matter. Keeping only the degrees of freedom that can not be decoupled due to consistency conditions, we present a universality class of simplified models with pseudoscalar mediators and renormalizable couplings to Standard Model fields. We compute stability and perturbativity constraints, constraints from electroweak precision measurements, collider searches for new heavy particles as well as constraints from relic density measurements and indirect detection experiments searching for signals of Dark Matter annihilation into photons. We find that the mono-$Z$ final state is the strongest, universal signal of this class of models, with additional signatures present in the different ultraviolet completions that can be used to distinguish between them.

hep-ph↗

arXiv2017

Comparing Curves in Homogeneous Spaces

Of concern is the study of the space of curves in homogeneous spaces. Motivated by applications in shape analysis we identify two curves if they only differ by their parametrization and/or a rigid motion. For curves in Euclidean space the Square-Root-Velocity-Function (SRVF) allows to define and efficiently compute a distance on this infinite dimensional quotient space. In this article we present a generalization of the SRVF to curves in homogeneous spaces. We prove that, under mild conditions on the curves, there always exist optimal reparametrizations realizing the quotient distance and demonstrate the efficiency of our framework in selected numerical examples.

math.DG↗

arXiv2017

Collider Probes of Axion-Like Particles

Axion-like particles (ALPs), which are gauge-singlets under the Standard Model (SM), appear in many well-motivated extensions of the SM. Describing the interactions of ALPs with SM fields by means of an effective Lagrangian, we discuss ALP decays into SM particles at one-loop order, including for the first time a calculation of the $a\toπππ$ decay rates for ALP masses below a few GeV. We argue that, if the ALP couples to at least some SM particles with couplings of order $(0.01-1) \mbox{TeV}^{-1}$, its mass must be above 1 MeV. Taking into account the possibility of a macroscopic ALP decay length, we show that large regions of so far unconstrained parameter space can be explored by searches for the exotic, on-shell Higgs and $Z$ decays $h\to Za$, $h\to aa$ and $Z\toγa$ in Run-2 of the LHC with an integrated luminosity of 300 fb$^{-1}$. This includes the parameter space in which ALPs can explain the anomalous magnetic moment of the muon. Considering subsequent ALP decays into photons and charged leptons, we show that the LHC provides unprecedented sensitivity to the ALP-photon and ALP-lepton couplings in the mass region above a few MeV, even if the relevant ALP couplings are loop suppressed and the $a\toγγ$ and $a\to\ell^+\ell^-$ branching ratios are significantly less than 1. We also discuss constraints on the ALP parameter space from electroweak precision tests.

hep-ph↗

arXiv2017

Soliton solutions for the elastic metric on spaces of curves

In this article we investigate a first order reparametrization-invariant Sobolev metric on the space of immersed curves. Motivated by applications in shape analysis where discretizations of this infinite-dimensional space are needed, we extend this metric to the space of Lipschitz curves, establish the wellposedness of the geodesic equation thereon, and show that the space of piecewise linear curves is a totally geodesic submanifold. Thus, piecewise linear curves are natural finite elements for the discretization of the geodesic equation. Interestingly, geodesics in this space can be seen as soliton solutions of the geodesic equation, which were not known to exist for reparametrization-invariant Sobolev metrics on spaces of curves.

math.DG↗

arXiv2017

On Geodesic Completeness for Riemannian Metrics on Smooth Probability Densities

The geometric approach to optimal transport and information theory has triggered the interpretation of probability densities as an infinite-dimensional Riemannian manifold. The most studied Riemannian structures are Otto's metric, yielding the $L^2$-Wasserstein distance of optimal mass transport, and the Fisher--Rao metric, predominant in the theory of information geometry. On the space of smooth probability densities, none of these Riemannian metrics are geodesically complete---a property desirable for example in imaging applications. That is, the existence interval for solutions to the geodesic flow equations cannot be extended to the whole real line. Here we study a class of Hamilton--Jacobi-like partial differential equations arising as geodesic flow equations for higher-order Sobolev type metrics on the space of smooth probability densities. We give order conditions for global existence and uniqueness, thereby providing geodesic completeness. The system we study is an interesting example of a flow equation with loss of derivatives, which is well-posed in the smooth category, yet non-parabolic and fully non-linear. On a more general note, the paper establishes a link between geometric analysis on the space of probability densities and analysis of Euler-Arnold equations in topological hydrodynamics.

math.AP↗

arXiv2017

The Square Root Velocity Framework for Curves in a Homogeneous Space

In this paper we study the shape space of curves with values in a homogeneous space $M = G/K$, where $G$ is a Lie group and $K$ is a compact Lie subgroup. We generalize the square root velocity framework to obtain a reparametrization invariant metric on the space of curves in $M$. By identifying curves in $M$ with their horizontal lifts in $G$, geodesics then can be computed. We can also mod out by reparametrizations and by rigid motions of $M$. In each of these quotient spaces, we can compute Karcher means, geodesics, and perform principal component analysis. We present numerical examples including the analysis of a set of hurricane paths.

math.DG↗

arXiv2017

Simplified dark matter models with two Higgs doublets: I. Pseudoscalar mediators

We study a new class of renormalisable simplified models for dark matter searches at the LHC that are based on two Higgs doublet models with an additional pseudoscalar mediator. In contrast to the spin-0 simplified models employed in analyses of Run I data these models are self-consistent, unitary and bounds from Higgs physics typically pose no constraints. Predictions for various missing transverse energy ($E_{T, \rm miss}$) searches are discussed and the reach of the 13 TeV LHC is explored. It is found that the proposed models provide a rich spectrum of complementary observables that lead to non-trivial constraints. We emphasise in this context the sensitivity of the $t\bar t + E_{T, \rm miss}$, mono-$Z$ and mono-Higgs channels, which yield stronger limits than mono-jet searches in large parts of the parameter space. Constraints from spin-0 resonance searches, electroweak precision measurements and flavour observables are also derived and shown to provide further important handles to constraint and to test the considered dark matter models.

hep-ph↗

arXiv2017

LHC as an Axion Factory: Probing an Axion Explanation for $(g-2)_μ$ with Exotic Higgs Decays

We argue that a large region of so far unconstrained parameter space for axion-like particles (ALPs), where their couplings to the Standard Model are of order $(0.01\!-\!1)\,\mbox{TeV}^{-1}$, can be explored by searches for the exotic Higgs decays $h\to Za$ and $h\to aa$ in Run-2 of the LHC. Almost the complete region in which ALPs can explain the anomalous magnetic moment of the muon can be probed by searches for these decays with subsequent decay $a\toγγ$, even if the relevant couplings are loop suppressed and the $a\toγγ$ branching ratio is less than~1.

hep-ph↗