-
Physics-informed deep learning and compressive collocation for high-dimensional diffusion-reaction equations: practical existence theory and numerics
Authors:
Simone Brugiapaglia,
Nick Dexter,
Samir Karam,
Weiqi Wang
Abstract:
On the forefront of scientific computing, Deep Learning (DL), i.e., machine learning with Deep Neural Networks (DNNs), has emerged a powerful new tool for solving Partial Differential Equations (PDEs). It has been observed that DNNs are particularly well suited to weakening the effect of the curse of dimensionality, a term coined by Richard E. Bellman in the late `50s to describe challenges such a…
▽ More
On the forefront of scientific computing, Deep Learning (DL), i.e., machine learning with Deep Neural Networks (DNNs), has emerged a powerful new tool for solving Partial Differential Equations (PDEs). It has been observed that DNNs are particularly well suited to weakening the effect of the curse of dimensionality, a term coined by Richard E. Bellman in the late `50s to describe challenges such as the exponential dependence of the sample complexity, i.e., the number of samples required to solve an approximation problem, on the dimension of the ambient space. However, although DNNs have been used to solve PDEs since the `90s, the literature underpinning their mathematical efficiency in terms of numerical analysis (i.e., stability, accuracy, and sample complexity), is only recently beginning to emerge. In this paper, we leverage recent advancements in function approximation using sparsity-based techniques and random sampling to develop and analyze an efficient high-dimensional PDE solver based on DL. We show, both theoretically and numerically, that it can compete with a novel stable and accurate compressive spectral collocation method. In particular, we demonstrate a new practical existence theorem, which establishes the existence of a class of trainable DNNs with suitable bounds on the network architecture and a sufficient condition on the sample complexity, with logarithmic or, at worst, linear scaling in dimension, such that the resulting networks stably and accurately approximate a diffusion-reaction PDE with high probability.
△ Less
Submitted 10 June, 2024; v1 submitted 3 June, 2024;
originally announced June 2024.
-
Minimal length product over homology bases of manifolds
Authors:
Florent Balacheff,
Steve Karam,
Hugo Parlier
Abstract:
Minkowski's second theorem can be stated as an inequality for $n$-dimensional flat Finsler tori relating the volume and the minimal product of the lengths of closed geodesics which form a homology basis. In this paper we show how this fundamental result can be promoted to a principle holding for a larger class of Finsler manifolds. This includes manifolds for which first Betti number and dimension…
▽ More
Minkowski's second theorem can be stated as an inequality for $n$-dimensional flat Finsler tori relating the volume and the minimal product of the lengths of closed geodesics which form a homology basis. In this paper we show how this fundamental result can be promoted to a principle holding for a larger class of Finsler manifolds. This includes manifolds for which first Betti number and dimension do no necessarily coincide, a prime example being the case of surfaces. This class of manifolds is described by a non-vanishing condition for the hyperdeterminant reduced modulo $2$ of the multilinear map induced by the fundamental class of the manifold on its first ${\mathbb Z}_2$-cohomology group using the cup product.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Macroscopic Schoen conjecture for manifolds with non-zero simplicial volume
Authors:
Florent Balacheff,
Steve Karam
Abstract:
We prove that given a hyperbolic manifold endowed with an auxiliary Riemannian metric whose sectional curvature is negative and whose volume is sufficiently small in comparison to the hyperbolic one, we can always find for any radius at least $1$ a ball in its universal cover whose volume is bigger than the hyperbolic one. This result is deduced from a non-sharp macroscopic version of a conjecture…
▽ More
We prove that given a hyperbolic manifold endowed with an auxiliary Riemannian metric whose sectional curvature is negative and whose volume is sufficiently small in comparison to the hyperbolic one, we can always find for any radius at least $1$ a ball in its universal cover whose volume is bigger than the hyperbolic one. This result is deduced from a non-sharp macroscopic version of a conjecture by R. Schoen about scalar curvature, whose proof is a variation of an argument due to M. Gromov and based on a smoothing technique. We take the opportunity of this work to present a full account of this technique which involves simplicial volume and deserves to be better known.
△ Less
Submitted 30 November, 2018; v1 submitted 28 September, 2017;
originally announced September 2017.
-
Length product of homologically independent loops for tori
Authors:
Florent Balacheff,
Steve Karam
Abstract:
We prove that any Riemannian torus of dimension $m$ with unit volume admits $m$ homologically independent closed geodesics whose length product is bounded from above by $m^m$.
We prove that any Riemannian torus of dimension $m$ with unit volume admits $m$ homologically independent closed geodesics whose length product is bounded from above by $m^m$.
△ Less
Submitted 22 June, 2015;
originally announced June 2015.
-
Short Homotopically independent loops on surfaces
Authors:
Steve Karam
Abstract:
In this paper, we are interested in short homologically and homotopically independent loops based at the same point on Riemannian surfaces and metric graphs.
First, we show that for every closed Riemannian surface of genus $g \geq 2$ and area normalized to $g$, there are at least $\ceil{\log(2g)+1}$ homotopically independent loops based at the same point of length at most $C\log(g)$, where $C$ i…
▽ More
In this paper, we are interested in short homologically and homotopically independent loops based at the same point on Riemannian surfaces and metric graphs.
First, we show that for every closed Riemannian surface of genus $g \geq 2$ and area normalized to $g$, there are at least $\ceil{\log(2g)+1}$ homotopically independent loops based at the same point of length at most $C\log(g)$, where $C$ is a universal constant. On the one hand, this result substantially improves Theorem $5.4.A$ of M. Gromov in \cite{G1}. On the other hand, it recaptures the result of S. Sabourau on the separating systole in \cite{SS} and refines his proof.
Second, we show that for any two integers $b\geq 2$ with $1\leq n\leq b$, every connected metric graph $Γ$ of first Betti number $b$ and of length $b$ contains at least $n$ homologically independent loops based at the same point and of length at most $24(\log(b)+n)$. In particular, this result extends Bollobàs-Szemerédi-Thomason's $\log(b)$ bound on the homological systole to at least $\log(b)$ homologically independent loops based at the same point. Moreover, we give examples of graphs where this result is optimal.
△ Less
Submitted 4 October, 2013;
originally announced October 2013.
-
Growth of balls in the universal cover of surfaces and graphs
Authors:
Steve Karam
Abstract:
In this paper, we prove uniform lower bounds on the volume growth of balls in the universal covers of Riemannian surfaces and graphs. More precisely, there exists a constant $δ>0$ such that if $(M,hyp)$ is a closed hyperbolic surface and $h$ another metric on $M$ with $\area(M,h)\leq δ\area(M,hyp)$ then for every radius $R\geq 1$ the universal cover of $(M,h)$ contains an $R$-ball with area at lea…
▽ More
In this paper, we prove uniform lower bounds on the volume growth of balls in the universal covers of Riemannian surfaces and graphs. More precisely, there exists a constant $δ>0$ such that if $(M,hyp)$ is a closed hyperbolic surface and $h$ another metric on $M$ with $\area(M,h)\leq δ\area(M,hyp)$ then for every radius $R\geq 1$ the universal cover of $(M,h)$ contains an $R$-ball with area at least the area of an $R$-ball in the hyperbolic plane. This positively answers a question of L. Guth for surfaces. We also prove an analog theorem for graphs.
△ Less
Submitted 16 April, 2013; v1 submitted 12 April, 2013;
originally announced April 2013.
