arXiv ScienceSearch

arXiv subjects

Max von Renesse

Publications and source records attributed to Max von Renesse.

17 recordsLinked to original sources

Dynamical Optimal Transport with $\mathfrak{so}(d)$-Invariance: From Theory to Computation

We introduce a modified Benamou--Brenier (MBB) formulation of optimal transport that incorporates Euclidean invariance at the dynamical level. We establish existence of minimizers for the resulting variational problem and prove its equivalence to a static formulation defining the Procrustes--Wasserstein distance. In the Gaussian setting, we show that this distance admits a closed-form expression, reducing to the Euclidean distance between the vectors of square roots of the ordered eigenvalues of the covariance matrices. On the computational side, we formulate a primal--dual scheme for the discretized problem. We prove a local conditional subsequential convergence result through an abstract analysis of a class of parameter-dependent saddle-point problems and illustrate the method's performance numerically.

math.OC

Neural Feature Geometry Evolves as Discrete Ricci Flow

Deep neural networks learn feature representations via complex geometric transformations of the input data manifold. Despite the models' empirical success across domains, our understanding of neural feature representations is still incomplete. In this work we investigate neural feature geometry through the lens of discrete geometry. Since the input data manifold is typically unobserved, we approximate it using geometric graphs that encode local similarity structure. We provide theoretical results on the evolution of these graphs during training, showing that nonlinear activations play a crucial role in shaping feature geometry in feedforward neural networks. Moreover, we discover that the geometric transformations resemble a discrete Ricci flow on these graphs, suggesting that neural feature geometry evolves analogous to Ricci flow. This connection is supported by experiments on over 20,000 feedforward neural networks trained on binary classification tasks across both synthetic and real-world datasets. We observe that the emergence of class separability corresponds to the emergence of community structure in the associated graph representations, which is known to relate to discrete Ricci flow dynamics. Building on these insights, we introduce a novel framework for locally evaluating geometric transformations through comparison with discrete Ricci flow dynamics. Our results suggest practical design principles, including a geometry-informed early-stopping heuristic and a criterion for selecting network depth.

cs.LG

A gradient flow that is none: Heat flow with Wentzell boundary condition

We establish a representation of the heat flow with Wentzell boundary conditions on smooth domains as gradient descent dynamics for the entropy in a suitably extended Otto manifold of probability measures with additional boundary parts. Yet it is shown that for weak boundary diffusion, the associated Fokker-Planck dynamics cannot be recovered from any entropy-driven metric JKO-Wasserstein scheme, at least if the underlying point metric satisfies certain natural regularity assumptions. This discrepancy is illustrated in competing large-deviation heuristics in the Sanov and Schilder regimes.

math.AP

Dual Block Gradient Ascent for Entropically Regularised Quantum Optimal Transport

We present a block gradient ascent method for solving the quantum optimal transport problem with entropic regularisation similar to the algorithm proposed in [D. Feliciangeli, A. Gerolin, L. Portinale: J. Funct. Anal. 285 (2023), no. 4, 109963] and [E. Caputo, A. Gerolin, N. Monina, L. Portinale: arXiv:2409.03698]. We prove a linear convergence rate based on strong concavity of the dual functional and present some results of numerical experiments of an implementation.

math-ph

Well-Posedness for Dean-Kawasaki Models of Vlasov-Fokker-Planck Type

We consider systems of interacting particles which are described by a second order Langevin equation. The class of equations considered includes the situation where the particle evolution is governed by Hamiltonian dynamics with additional damping and noise satisfying a fluctuation-dissipation relation. Also covered are systems of two equations describing an evolution of interacting agents, as arising in several descriptions of active matter, including models for flocking and swarming. We first show that such particle systems can be represented exactly by so-called equations of fluctuating hydrodynamics, which in this case are stochastic versions of a Vlasov-Fokker-Planck type equation. While the derivation given here is simple, it is a blueprint for the rigorous derivation of equations of fluctuating hydrodynamics. We then show a dichotomy previously known for purely diffusive (first order) systems carries over to the second order setting considered here: Solutions exist for suitable atomic initial data, in which case the solution is, properly scaled, the empirical density describing the particle system. For smooth initial data, however, we prove that no solution exists.

math.AP

A Central Limit Theorem for Modified Massive Arratia Flow

The modified massive Arratia flow is a model for the dynamics of passive particle clusters moving in a random fluid that accounts for the effects of mass aggregation. We show a central limit theorem for the point process associated to the cluster positions when the system is started from a uniform configuration. The critical mixing estimate is obtained by coupling the system to countably many independent Brownian motions.

math.PR

Functional Inequalities for Brownian Motion on Riemannian Manifolds with Sticky-Reflecting Boundary Diffusion

We prove geometric upper bounds for the Poincar\'e and Logarithmic Sobolev constants for Brownian motion on manifolds with sticky reflecting boundary diffusion i.e. extended Wentzell-type boundary condition under general curvature assumptions on the manifold and its boundary. The method is based on an interpolation involving energy interactions between the boundary and the interior of the manifold. As side results we obtain explicit geometric bounds on the first nontrivial Steklov eigenvalue, for the norm of the boundary trace operator on Sobolev functions, and on the boundary trace logarithmic Sobolev constant. The case of Brownian motion with pure sticky reflection is also treated.

math.PR

Adiabatic Approximation of Coarse Grained Second Order Response

We propose estimators for dynamic second order response theory in coarse grained variables for driven out-of-equilibrium subsystems. The error is controlled through the the notion of subsystem spectral gap for the convergence of coarse grained observables.

math.PR

Toric Geometry of Entropic Regularization

Entropic regularization is a method for large-scale linear programming. Geometrically, one traces intersections of the feasible polytope with scaled toric varieties, starting at the Birch point. We compare this to log-barrier methods, with reciprocal linear spaces, starting at the analytic center. We revisit entropic regularization for unbalanced optimal transport, and we develop the use of optimal conic couplings. We compute the degree of the associated toric variety, and we explore algorithms like iterative scaling.

math.OC

Spectral gap estimates for Brownian motion on domains with sticky-reflecting boundary diffusion

Introducing an interpolation method we derive lower bounds for the spectral gap for Brownian motion on general domains with sticky-reflecting boundary diffusion associated to the first nontrivial eigenvalue for the Laplace operator with corresponding Wentzell-type boundary condition. In the manifold case our proofs involve novel applications of the celebrated Reilly formula.

math.PR

Molecules as metric measure spaces with Kato-bounded Ricci curvature

Set $\Psi:=-\log(\tilde{\Psi})$, with $\tilde{\Psi}>0$ the ground state of an arbitrary molecule with $n$ electrons in the infinite mass limit (neglecting spin/statistics). Let $\Sigma\subset \IR^{3n}$ be the set of singularities of the underlying Coulomb potential. We show that the metric measure space $\IMM$ given by $\IR^{3n}$ with its Euclidean distance and the measure $$ \mu(dx)=e^{-2\Psi(x)}dx $$ has a Bakry-Emery-Ricci tensor which is absolutely bounded by the the function $x\mapsto |x-\Sigma|^{-1}$, which we show to be an element of the Kato class induced by $\IMM$. In addition, it is shown $\IMM$ is stochastically complete, that is, the Brownian motion which is induced by a molecule is nonexplosive, and that the heat semigroup of $\IMM$ has the $L^{\infty}$-to-Lipschitz smoothing property. Our proofs reveal a fundamental connection between the above geometric/probabilistic properties and recently obtained derivative estimates for $e^{\Psi}$ by Fournais/S\o rensen, as well as Aizenman/Simon's Harnack inequality for Schr\"odinger operators. Moreover, our results suggest to study general metric measure spaces having a Ricci curvature which is synthetically bounded from below/above by a function in the underlying Kato class.

math.MG

On Dean-Kawasaki Dynamics with Smooth Drift Potential

We consider the Dean-Kawasaki equation with smooth drift interaction potential and show that measure valued solutions exist only in certain parameter regimes in which case they are given by finite Langevin particle systems with mean field interaction.

math.PR

Reversible Coalescing-Fragmentating Wasserstein Dynamics on the Real Line

We introduce a family of reversible fragmentating-coagulating processes of particles of varying size-scaled diffusivity with strictly local interaction on the real line as mathematically rigorous description of colloidal motion of fluids. The associated measure-valued process provides a weak solution to a corrected Dean-Kawasaki equation for supercooled liquids without dissipation. Our construction is based on the introduction and analysis of a fundamentally new family of equilibrium measures for the associated dynamics and their Dirichlet forms. We identify the intrinsic metric as the quadratic Wasserstein distance, which makes the process a non-trivial example of Wasserstein diffusion.

math.PR

Modified Massive Arratia flow and Wasserstein diffusion

Extending previous work [arXiv:1408.0628] by the first author we present a variant of the Arratia flow, which consists of a collection of coalescing Brownian motions starting from every point of the unit interval. The important new feature of the model is that individual particles carry mass which aggregates upon coalescence and which scales the diffusivity of each particle in an inverse proportional way. In this work we relate the induced measure valued process to the Wasserstein diffusion of [arXiv:0704.0704]. First, we present the process as a martingale solution to a SPDE similar to [arXiv:0704.0704]. Second, as our main result we show a Varadhan formula for short times which is governed by the quadratic Wasserstein distance.

math.PR

Weak solutions for a stochastic mean curvature flow of two-dimensional graphs

We study a stochastically perturbed mean curvature flow for graphs in $\mathbb{R}^3$ over the two-dimensional unit-cube subject to periodic boundary conditions. In particular, we establish the existence of a weak martingale solution. The proof is based on energy methods and therefore presents an alternative to the stochastic viscosity solution approach. To overcome difficulties induced by the degeneracy of the mean curvature operator and the multiplicative gradient noise present in the model we employ a three step approximation scheme together with refined stochastic compactness and martingale identification methods.

math.AP

Evolution by mean curvature in sub-Riemannian geometries: A stochastic approach

We study the phenomenon of evolution by horizontal mean curvature flow in sub-Riemannian geometries. We use a stochastic approach to prove the existence of a generalized evolution in these spaces. In particular we show that the value function of suitable family of stochastic control problems solves in the viscosity sense the level set equation for the evolution by horizontal mean curvature flow.

math.AP