Related papers: On Euler's inequality and automated reasoning with…
Solving the so-called geodesic endpoint problem, i.e., finding a geodesic that connects two given points on a manifold, is at the basis of virtually all data processing operations, including averaging, clustering, interpolation and…
There is a remarkable and canonical problem in 3D geometry and topology: To understand existing models of 3D fluid motion or to create new ones that may be useful. We discuss from an algebraic viewpoint the PDE called Euler's equation for…
Kinematic algebras can be realised on geometric spaces and constrain the physical models that can live on these spaces. Different types of kinematic algebras exist and we consider the interplay of these algebras for non-relativistic limits…
Cubic spline interpolation on Euclidean space is a standard topic in numerical analysis, with countless applications in science and technology. In several emerging fields, for example computer vision and quantum control, there is a growing…
Uniformly regular equilibrium problems are natural generalizations of abstract equilibrium prob lems and they are defined over the uniformly prox-regular nonconvex sets. Some new efficient implicit methods for solving uniformly regular…
In fields ranging from computer vision to signal processing and statistics, increasing computational power allows a move from classical linear models to models that incorporate non-linear phenomena. This shift has created interest in…
We study the incompressible Euler equation and prove that the set of weak solutions is path-connected. More precisely, we construct paths of H\"older regularity $C^{1/2}$, valued in $C^0_{t, loc} L^2_x$ endowed with the strong topology. The…
This is a survey article on recent progress of comparison geometry and geometric analysis on Finsler manifolds of weighted Ricci curvature bounded below. Our purpose is two-fold: Give a concise and geometric review on the birth of weighted…
We prove bilinear inequalities for differential operators in $\mathbb{R}^2$. Such type inequalities turned out to be useful for anisotropic embedding theorems for overdetermined systems and the limiting order summation exponent. However,…
Riemannian optimization uses local methods to solve optimization problems whose constraint set is a smooth manifold. A linear step along some descent direction usually leaves the constraints, and hence retraction maps are used to…
Surface extraction from implicit neural representations modelling a single class surface is a well-known task. However, there exist no surface extraction methods from an implicit representation of multiple classes that guarantee topological…
Characterizing shapes of high-dimensional objects via Ricci curvatures plays a critical role in many research areas in mathematics and physics. However, even though several discretizations of Ricci curvatures for discrete combinatorial…
We show how to speed up the computation of isomorphisms of hyperelliptic curves by using covariants. We also obtain new theoretical and practical results concerning models of these curves over their field of moduli.
By the classical Li-Yau inequality, an immersion of a closed surface in $\mathbb{R}^n$ with Willmore energy below $8\pi$ has to be embedded. We discuss analogous results for curves in $\mathbb{R}^2$, involving Euler's elastic energy and…
We consider a modified Euler equation on $\mathbb R^2$. We prove existence of weak global solutions for bounded (and fast decreasing at infinity) initial conditions and construct Gibbs-type measures on function spaces which are…
Modern machine learning increasingly leverages the insight that high-dimensional data often lie near low-dimensional, non-linear manifolds, an idea known as the manifold hypothesis. By explicitly modeling the geometric structure of data…
We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and…
We consider a steady state $v_{0}$ of the Euler equation in a fixed bounded domain in $\mathbf{R}^{n}$. Suppose the linearized Euler equation has an exponential dichotomy of unstable and center-stable subspaces. By rewriting the Euler…
In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidability of the existence of zeros of real elementary functions,…
Understanding dynamics in complex systems is challenging because there are many degrees of freedom, and those that are most important for describing events of interest are often not obvious. The leading eigenfunctions of the transition…