Related papers: A rough calculus approach to level sets in the Hei…
In this paper, we develop new first-order method for composite non-convex minimization problems with simple constraints and inexact oracle. The objective function is given as a sum of "`hard"', possibly non-convex part, and "`simple"'…
We characterize constant mean curvature surfaces in the three-dimensional Heisenberg group by a family of flat connections on the trivial bundle $\D \times \GL$ over a simply connected domain $\mathbb{D}$ in the complex plane. In particular…
Using a geometric construction, we solve Plateau's Problem in the Heisenberg group $\mathbb{H}^{1}$ for intrinsic graphs defined on a convex domain $D$, under a smallness condition either on the boundary $\partial D$ or on the Lipschitz…
In this paper we develop an intrinsic formalism to study the topology, smooth structure, and Riemannian geometry of the Wasserstein space of a closed Riemannian manifold. Our formalism allows for a new characterisation of the Weak topology…
Using some basic notions from the theory of Hopf algebras and quasi-shuffle algebras, we introduce rigorously a new family of rough paths: the quasi-geometric rough paths. We discuss their main properties. In particular, we will relate them…
Malliavin Calculus is about Sobolev-type regularity of functionals on Wiener space, the main example being the Ito map obtained by solving stochastic differential equations. Rough path analysis is about strong regularity of solution to…
Considering smooth mappings from input vectors to continuous targets, our goal is to characterise subspaces of the input domain, which are invariant under such mappings. Thus, we want to characterise manifolds implicitly defined by level…
We consider submanifolds of sub-Riemannian Carnot groups with intrinsic $C^1$ regularity ($C^1_H$). Our first main result is an area formula for $C^1_H$ intrinsic graphs; as an application, we deduce density properties for Hausdorff…
We work with non-planar rooted trees which have a label set given by an arbitrary vector space $V$. By equipping $V$ with a complete locally convex topology, we show how a natural topology is induced on the tree algebra over $V$. In this…
The performance of optimization methods is often tied to the spectrum of the objective Hessian. Yet, conventional assumptions, such as smoothness, do often not enable us to make finely-grained convergence statements -- particularly not for…
This paper presents a high-order accurate numerical quadrature algorithm for evaluating integrals over curved surfaces and regions defined implicitly via a level set of a given function restricted to a hyperrectangle. The domain is divided…
We consider controlled differential equations and give new estimates for higher order Euler schemes. Our proofs are inspired by recent work of A. M. Davie who considers first and second order schemes. In order to implement the general case…
In this paper we provide a characterization of intrinsic Lipschitz graphs in the sub-Riemannian Heisenberg groups in terms of their distributional gradients. Moreover, we prove the equivalence of different notions of continuous weak…
We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group…
We answer some enumerative questions about irreducible rational curves on Hirzebruch surfaces, by combining an idea of Kontsevich with the study of the geometry of certain natural parameter spaces. Our formulas generalize Kontsevich's…
We are interested in the challenging problem of modelling densities on Riemannian manifolds with a known symmetry group using normalising flows. This has many potential applications in physical sciences such as molecular dynamics and…
Le Donne and the author introduced the so-called intrinsically Lipschitz sections of a fixed quotient map $\pi$ in the context of metric spaces. Moreover, the author introduced the concept of intrinsic Cheeger energy when the quotient map…
We prove sharp geometric rigidity estimates for isometries on Heisenberg groups. Our main result asserts that every $(1+\varepsilon)$-quasi-isometry on a John domain of the Heisenberg group $\mathbb{H}^n$, $n>1$, is close to some isometry…
We prove a generalisation of Fernique's theorem which applies to a class of (measurable) functionals on abstract Wiener spaces by using the isoperimetric inequality. Our motivation comes from rough path theory where one deals with iterated…
We present a new algorithm for computing integral bases in algebraic function fields of one variable, or equivalently for constructing the normalization of a plane curve. Our basic strategy makes use of the concepts of localization and…