arXiv subjects

Martin Bauer

Publications and source records attributed to Martin Bauer.

At least 19 recordsLinked to original sources

arXiv2026

Metric Geometry of Lebesgue, Wasserstein, and Gromov-Wasserstein Spaces: Submetries, Curvature, and Geodesics

A metric space $Z$ gives rise to three natural classes of infinite-dimensional metric spaces associated to $Z$: $p$-Wasserstein spaces of probability measures on $Z$, nonlinear Lebesgue $L^p$-spaces of $Z$-valued maps, and $p$-Gromov-Wasserstein spaces of $Z$-valued kernels. The latter class, referred to as $Z$-Gromov-Wasserstein ($Z$-GW) spaces, extends the classical Gromov-Wasserstein framework from metric measure spaces to more general, possibly attributed, network-like structures, and unifies many GW-type distances that nowadays play a significant role in metric geometry, data science and machine learning. In this article we develop a unified metric-geometric theory of these three classes of spaces, with a particular focus on the $Z$-GW spaces. Our first main result identifies a fundamental submetry structure linking them: the nonlinear Lebesgue space maps via a submetry onto the $Z$-GW space, which in turn maps via a submetry onto the Wasserstein space. This structure provides a mechanism for transferring geometric information among the three spaces. We apply this framework to geodesics and Alexandrov curvature. For $1<p<\infty$, we prove that geodesicity of $Z$ is equivalent to geodesicity of each of the three associated spaces; in the endpoint case $p=1$, all three associated spaces are geodesic, even when $Z$ is not. We also characterize geodesics in the $Z$-GW space as generalized interpolations, extending a known characterization in the classical setting due to Sturm. Finally, we give a complete classification of Alexandrov curvature bounds for these spaces in terms of the curvature of $Z$. Thus, while the main focus of the paper is a new metric-geometric theory of $Z$-GW spaces, the submetry framework also extends classical theorems for Wasserstein and Gromov-Wasserstein spaces and yields new geometric consequences for nonlinear Lebesgue spaces.

math.MG↗

arXiv2026

On Periodic Geodesics of Half-Lie Groups

A central program in infinite-dimensional Riemannian geometry is to understand which classical finite-dimensional principles remain valid beyond finite dimensions. In this article, we study the existence of periodic geodesics on Hilbert half-Lie groups equipped with strong right-invariant Riemannian metrics. Building on recently established completeness results for this class of infinite-dimensional manifolds, we prove that every nontrivial free homotopy class contains a periodic geodesic whenever the fundamental group is nontrivial. We further establish a Lyusternik-Fet type theorem in this setting. Assuming a Palais-Smale condition modulo right translations and the existence of a nontrivial higher homotopy group, we prove the existence of a nonconstant contractible periodic geodesic. Thus, as in the finite-dimensional setting, both first and higher homotopy information continue to force the existence of periodic geodesics in infinite dimensions. In addition, we describe a reduction principle based on compact finite-dimensional totally geodesic submanifolds and apply our results to groups of Sobolev diffeomorphisms equipped with right-invariant Sobolev metrics.

math.DG↗

arXiv2026

Projected sensitivity of the ANUBIS detector to heavy neutral leptons

Long-Lived Particles (LLPs) are a common feature in various extensions to the Standard Model (SM) that seek to address known limitations. The ANUBIS detector has been proposed to extend the sensitivity of the ATLAS experiment at the LHC to LLPs by instrumenting the ceiling of the ATLAS detector cavern. This article presents the projected sensitivity of ANUBIS to Heavy Neutral Leptons (HNLs). For a minimal Majorana HNL model that only couples to a single flavour of lepton ($e$ or $\mu$) ANUBIS reaches a maximum sensitivity of $|V_{1e}|^2=1.8\times10^{-8}$ and $|V_{1\mu}|^2=1.9\times10^{-8}$ for a HNL mass of $m_{N_1}=6.4$ GeV and 6.3 GeV respectively. This provides complementary coverage to other proposed LLP experiments in the HNL parameter-space, with potential for significant improvement during ANUBIS data-taking through advances in analysis strategies. The results are obtained with SET-ANUBIS, a flexible framework to evaluate the sensitivity of ANUBIS to a variety of LLP models.

hep-ex↗

arXiv2026

Discovering the Axiverse via Fifth Forces

If the Universe is described by string theory or other extensions of the Standard Model, several light, axion-like states are predicted to exist. However, most experiments only search for one of these states. We show that searches for fifth forces can't assume a non-relativistic potential induced by a single axion field. We discuss the strength of the non-relativistic spin-dependent and spin-independent potentials in the most general case of $N_a$ different axions and show how the shape of the potentials can be used to distinguish between different axiverse scenarios.

hep-ph↗

arXiv2026

The Wasserstein--Ebin Metric: A Geometric Lift of Unbalanced Optimal Transport to the space of Riemannian metrics

We introduce dynamic and static formulations that formally extend unbalanced optimal transport from the space of positive densities to the space of Riemannian metrics. The first construction is based on a dynamic variational formulation in which the evolution of a Riemannian metric is driven by transport together with a source term. Choosing the $L^2$-metric to penalize the transport vector field and the Ebin metric to penalize the source component yields a new Riemannian metric on the manifold of Riemannian metrics, which we call the Wasserstein--Ebin metric. Our main result shows that the volume map defines a Riemannian submersion from the Wasserstein--Ebin metric to the Wasserstein--Fisher--Rao metric on the space of smooth densities. In addition, we construct a Riemannian submersion from the automorphism group of the tangent bundle onto the space of Riemannian metrics, providing a generalization of Otto's geometric description for the Wasserstein metric to the setting of the Wasserstein--Ebin metric. To propose a static formulation of unbalanced optimal Riemannian metric transport, we introduce two Kullback--Leibler-type divergences on the space of Riemannian metrics: one inspired by matrix information geometry, and another related, through the volume map, to the classical Kullback--Leibler divergence on densities. Establishing a link between the static and dynamic formulations remains an open direction for future work.

math.DG↗

arXiv2026

Deterministic positioning of circular Bragg gratings using atomic force lithography for high-performance quantum dot light sources

Semiconductor quantum dots (QDs) grown by molecular beam epitaxy are excellent quantum emitters, but their random spatial distribution hinders deterministic coupling to optical microcavities. We demonstrate a room-temperature atomic force microscopy (AFM)-assisted nano-oxidation lithography technique enabling QD positioning with a radial displacement of $51(28)$ nm. Free-standing asymmetric circular Bragg gratings incorporating AFM-positioned GaAs QDs exhibit a $245$-fold photoluminescence enhancement and fine-structure splitting (FSS) comparable to bulk QDs. Polarization-resolved spectroscopy and finite-difference time-domain simulations show robust emission for displacements up to $50$ nm (Stokes parameter $\lvert S \rvert < 0.05$ ). The devices display stable FSS and polarization imbalance below $5 \, \%$ , confirming precise, reproducible alignment and potential for high fidelity devices. This scalable approach enables deterministic integration of high-performance QDs with photonic cavities, advancing practical quantum light sources for quantum information technologies.

cond-mat.mtrl-sci↗

arXiv2026

Free-standing circular Bragg gratings enabling efficient GaAs quantum dot entangled photon pair sources

Deterministic and bright quantum light sources based on scalable semiconductor technologies are a crucial building block for future quantum communication networks. While circular Bragg gratings (CBGs) are highly effective for extracting light from solid-state quantum emitters, conventional architectures rely on complex multi-layer processing or flip-chip bonding, which introduce detrimental strain and limit scalability. Here, we present a fabrication-minimal approach to realize monolithic, free-standing CBG cavities with deterministically positioned single GaAs quantum dots (QDs). By utilizing aspect-ratio-dependent etching (ARDE) in a single-step top-down process, we achieve the necessary vertical structural asymmetry for directional emission without requiring bottom reflectors. Finite-difference time-domain (FDTD) simulations validate this geometry, predicting free-space extraction efficiencies up to $68 \, \%$ and coupling efficiencies of $40 \, \%$ into a lensed single-mode fiber ($\text{NA} = 0.6$). Experimentally, the deterministically coupled QD-CBG devices yield a photoluminescence intensity enhancement of up to $\times 700$ compared to unprocessed planar QDs, reaching integrated count rates of $45 \, MHz$. Furthermore, the suspended membrane architecture effectively relaxes residual strain, significantly reducing the average exciton fine-structure splitting from $7.3 \, \mu eV$ in planar QDs to $1.3 \, \mu eV$ in the CBGs. Interferometric measurements confirm that the fabrication process preserves the optical quality of the emitters, with average coherence times of $70 \, ps$. By bridging optimized FDTD design with precise nanofabrication and robust optical performance, these results establish free-standing GaAs CBGs as a highly scalable platform for bright and coherent entangled photon pair sources.

physics.optics↗

arXiv2026

Oscillating Resonances: Imprints of ultralight dark matter at colliders

In models where ultralight fields constitute dark matter, the misalignment mechanism leads to coherent, low-amplitude oscillations in fundamental constants. This effect arises from effective operators that couple dark matter to Standard Model fields. We present different models that can induce these effective operators by integrating out a mediator field. For mediator masses within the reach of collider searches, an alternative way to discover ultralight dark matter is to search for a resonance. Due to being a mediator to dark matter, the mass of the mediator oscillates. The resonance therefore, should not appear as a single isolated peak, but is smeared out once data is averaged over an oscillation cycle or more. Remarkably, the oscillation period and amplitude are in the range of current and future collider searches, even though constraints from atomic clocks probing variations of the fine-structure constant and the electron mass are very strong. We recast existing searches and projections from Belle II, LHCb and SHiP for an `oscillating resonance', and discuss how the periodicity of the signal can be used to reconstruct the peak from mass-binned data. We further show that time-stamped data would allow to unfold the signal via a fast Fourier transform and determine the significance of the signal for different background levels. The discovery of an oscillating resonance at a collider, with characteristics as predicted in ultralight dark matter scenarios, would constitute a powerful probe of dark matter's underlying nature.

hep-ph↗

arXiv2025

A Benamou-Brenier Proximal Splitting Method for Constrained Unbalanced Optimal Transport

The dynamic formulation of optimal transport, also known as the Benamou-Brenier formulation, has been extended to the unbalanced case by introducing a source term in the continuity equation. When this source term is penalized based on the Fisher-Rao metric, the resulting model is referred to as the Wasserstein-Fisher-Rao (WFR) setting, and allows for the comparison between any two positive measures without the need for equalized total mass. In recent work, we introduced a constrained variant of this model, in which affine integral equality constraints are imposed along the measure path. In the present paper, we propose a further generalization of this framework, which allows for constraints that apply not just to the density path but also to the momentum and source terms, and incorporates affine inequalities in addition to equality constraints. We prove, under suitable assumptions on the constraints, the well-posedness of the resulting class of convex variational problems. The paper is then primarily devoted to developing an effective numerical pipeline that tackles the corresponding constrained optimization problem based on finite difference discretizations and parallel proximal schemes. Our proposed framework encompasses standard balanced and unbalanced optimal transport, as well as a multitude of natural and practically relevant constraints, and we highlight its versatility via several synthetic and real data examples.

math.OC↗

arXiv2025

A Persistent Homology Pipeline for the Analysis of Neural Spike Train Data

In this article, we introduce a Topological Data Analysis (TDA) pipeline for neural spike train data. Understanding how the brain transforms sensory information into perception and behavior requires analyzing coordinated neural population activity. Modern electrophysiology enables simultaneous recording of spike train ensembles, but extracting meaningful information from these datasets remains a central challenge in neuroscience. A fundamental question is how ensembles of neurons discriminate between different stimuli or behavioral states, particularly when individual neurons exhibit weak or no stimulus selectivity, yet their coordinated activity may still contribute to network-level encoding. We describe a TDA framework that identifies stimulus-discriminative structure in spike train ensembles recorded from the mouse insular cortex during presentation of deionized water stimuli at distinct non-nociceptive temperatures. We show that population-level topological signatures effectively differentiate oral thermal stimuli even when individual neurons provide little or no discrimination. These findings demonstrate that ensemble organization can carry perceptually relevant information that standard single-unit analysis may miss. The framework builds on a mathematical representation of spike train ensembles that enables persistent homology to be applied to collections of point processes. At its core is the widely-used Victor-Purpura (VP) distance. Using this metric, we construct persistence-based descriptors that capture multiscale topological features of ensemble geometry. Two key theoretical results support the method: a stability theorem establishing robustness of persistent homology to perturbations in the VP metric parameter, and a probabilistic stability theorem ensuring robustness of topological signatures.

stat.ME↗

arXiv2025

Completeness of reparametrization-invariant Sobolev metrics on the space of surfaces

We study reparametrization-invariant Sobolev-type Riemannian metrics on the space of immersed surfaces and establish conditions ensuring metric and geodesic completeness as well as the existence of minimizing geodesics. This provides the first extension of completeness results for immersed curves, originating from works of Bruveris, Michor, and Mumford, and validates an earlier conjecture of Mumford on completeness properties of general spaces of immersions in this important case. The result is obtained by recasting earlier approaches to completeness on manifolds of mappings as a general completeness criterion for infinite-dimensional Riemannian manifolds that are open subsets of a complete Riemannian manifold and by combining it with geometric estimates based on the Michael--Simon--Sobolev inequality to establish the completeness for specific Sobolev metrics on immersed surfaces. We expect that this approach will be useful for obtaining completeness results for other manifolds of mappings.

math.DG↗

arXiv2025

Temperature-dependent refractive index of AlGaAs for quantum-photonic devices near the bandgap

We present an experimental method to determine the refractive index of $Al_{x}Ga_{1-x}As$ (x = 0.0 - 0.5) from 300 K to 4 K across the 500 - 1100 nm wavelength range. The values are extracted from spectroscopically observed microcavity resonances in thin $Al_{x}Ga_{1-x}As$ membranes embedded between fully and partially reflective gold mirrors. Refined Varshni and Paessler models are used to describe temperature-dependent bandgap shifts and material composition. By tracking resonance shifts and benchmarking against finite-difference time-domain simulations, we derive the dispersive optical response with high precision. This yields a quantitatively improved analytical expression for the refractive index of $Al_{x}Ga_{1-x}As$ matching the experimental results with a coefficient of determination as high as $R^2=0.993$, enabling accurate modeling near the band edge at cryogenic temperatures. The method is straightforward and broadly applicable to other semiconductor systems, offering a valuable tool for the design of micro photonic devices such as quantum light sources.

physics.optics↗

arXiv2025

A Riemannian viewpoint on the Amari-Cencov $\alpha$-connections and Proudman-Johnson equations

We give a new geometric interpretation of the Amari-Cencov $\alpha$-connections $\nabla^{(\alpha)}$ from information geometry: On the space of densities $\operatorname{Dens}_+(M)$, we show that there exist Riemannian metrics $G^\alpha$, which we call $\alpha$-Fisher-Rao metrics, whose Levi-Civita connections are $\nabla^{(\alpha)}$. With the exception of $\alpha=0$ (the Fisher-Rao metric), these metrics are non-invariant to the action of the diffeomorphism group $\operatorname{Diff}(M)$, even though the connections are invariant. This gives a new way of interpreting the geodesics of the $\nabla^{(\alpha)}$ as energy-minimizing curves. On the space of probability densities $\operatorname{Prob}(M)$, we show that the same phenomenon holds for $\alpha\in \{-1,0,1\}$ and that the $\alpha$-connections are not metric otherwise. We show that $\nabla^{(\alpha)}$-geodesics on this space can be interpreted as radial projections of straight lines on appropriate hyper-surfaces, and use this geometric picture to obtain geodesic convexity for any $\alpha\in \mathbb{R}$. In addition, we prove analogous results for appropriate metrics and connections on $\operatorname{Diff}(M)$, which, for the case $M=\mathbb{R}$, imply that the generalized Proudman-Johnson equations on the real line are the Euler-Arnold equations of non-right invariant metrics. Finally, in the finite-dimensional case, we show that $\nabla^{(\alpha)}$ can be metric or non-metric depending on the considered statistical model.

math.DG↗

arXiv2025

Dark matter pair absorption

We present a comprehensive analysis of the sensitivity of atomic transitions to light dark matter pair absorption. Unlike scattering, where only a fraction of the dark matter energy is deposited, pair absorption processes absorb the full mass, and are therefore capable of constraining far lighter dark matter. Spin-flip and fine structure transitions are able to constrain electroweak scale axial-vector couplings for bosonic dark matter with $\mu\mathrm{eV}$ to eV masses, whilst principal quantum number transitions are able to set similar constraints on bosonic dark matter with scalar couplings. Unfortunately, pair absorption is largely insensitive to light fermionic DM due its necessarily tiny density at low masses. We also demonstrate the sensitivity of pair absorption to the cosmic neutrino background, and find that spin-flip transitions can set constraints on the overdensity parameter of $\eta_\nu \lesssim 10^9$ for neutrino masses $m_\nu \lesssim 1\,\mathrm{meV}$, around a hundred times stronger than existing constraints.

hep-ph↗

arXiv2025

Breakdown of smooth solutions to the subcritical EPDiff equation

We consider the EPDiff equation on $\mathbb{R}^n$ with the integer-order homogeneous Sobolev inertia operator $A=(-\Delta)^k$. We prove that for arbitrary radial initial data and a sign condition on the initial momentum, the corresponding radial velocity solution has $C^1$ norm that blows up in finite time whenever $0\le k<n/2+1.$ Our approach is to use Lagrangian coordinates to formulate EPDiff as an ODE on a Banach space, enabling us to use a comparison estimate with the Liouville equation. Along the way we derive the Green function in terms of hypergeometric functions and discuss their properties. This is a step toward proving the general conjecture that the EPDiff equation is globally well-posed for any Sobolev inertia operator of any real order $k$ if and only if $k\ge n/2+1$.

math.AP↗

arXiv2024

Self Supervised Networks for Learning Latent Space Representations of Human Body Scans and Motions

This paper introduces self-supervised neural network models to tackle several fundamental problems in the field of 3D human body analysis and processing. First, we propose VariShaPE (Varifold Shape Parameter Estimator), a novel architecture for the retrieval of latent space representations of body shapes and poses. This network offers a fast and robust method to estimate the embedding of arbitrary unregistered meshes into the latent space. Second, we complement the estimation of latent codes with MoGeN (Motion Geometry Network) a framework that learns the geometry on the latent space itself. This is achieved by lifting the body pose parameter space into a higher dimensional Euclidean space in which body motion mini-sequences from a training set of 4D data can be approximated by simple linear interpolation. Using the SMPL latent space representation we illustrate how the combination of these network models, once trained, can be used to perform a variety of tasks with very limited computational cost. This includes operations such as motion interpolation, extrapolation and transfer as well as random shape and pose generation.

cs.CV↗

arXiv2024

Sobolev Metrics on Spaces of Discrete Regular Curves

Reparametrization invariant Sobolev metrics on spaces of regular curves have been shown to be of importance in the field of mathematical shape analysis. For practical applications, one usually discretizes the space of smooth curves and considers the induced Riemannian metric on a finite dimensional approximation space. Surprisingly, the theoretical properties of the corresponding finite dimensional Riemannian manifolds have not yet been studied in detail, which is the content of the present article. Our main theorem concerns metric and geodesic completeness and mirrors the results of the infinite dimensional setting as obtained by Bruveris, Michor and Mumford.

math.DG↗

arXiv2024

The Z-Gromov-Wasserstein Distance

The Gromov-Wasserstein (GW) distance is a powerful tool for comparing metric measure spaces which has found broad applications in data science and machine learning. Driven by the need to analyze datasets whose objects have increasingly complex structure (such as node and edge-attributed graphs), several variants of GW distance have been introduced in the recent literature. With a view toward establishing a general framework for the theory of GW-like distances, this paper considers a vast generalization of the notion of a metric measure space: for an arbitrary metric space $Z$, we define a $Z$-network to be a measure space endowed with a kernel valued in $Z$. We introduce a method for comparing $Z$-networks by defining a generalization of GW distance, which we refer to as $Z$-Gromov-Wasserstein ($Z$-GW) distance. This construction subsumes many previously known metrics and offers a unified approach to understanding their shared properties. This paper demonstrates that the $Z$-GW distance defines a metric on the space of $Z$-networks which retains desirable properties of $Z$, such as separability, completeness, and geodesicity. Many of these properties were unknown for existing variants of GW distance that fall under our framework. Our focus is on foundational theory, but our results also include computable lower bounds and approximations of the distance which will be useful for practical applications.

math.MG↗