Related papers: Minding's Theorem for Low Degrees of Differentiabi…

We study the Darboux equation, a fundamental PDE arising in the theory of isometric immersions of two-dimensional Riemannian manifolds into $\mathbb{R}^3$, in the low-regularity regime. We introduce a notion of weak solution for $u\in…

In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of…

We study the second Huber theorem in dimensions 2 and 4. In dimension 2, we prove a new version assuming that the Gauss curvature lies in a negative Sobolev space using Coulomb frames. In dimension $4$, given a metric having a pointwise…

For a compact K\"{a}hler-Einstein manifold $M$ of dimension $n\ge 2$, we explicitly write the expression $-c_1^n(M)+\frac{2(n+1)}{n}c_2(M)c_1^{n-2}(M)$ in the form of certain integral on the holomorphic sectional curvature and its average…

Bayesian methods are appealing in their flexibility in modeling complex data and ability in capturing uncertainty in parameters. However, when Bayes' rule does not result in tractable closed-form, most approximate inference algorithms lack…

We show that string/M theory compactifications to maximally symmetric space-times using manifolds whose scalar curvature is everywhere negative, must have significant warping, large stringy corrections, or both.

Inspired by the recent work [MRT21], we prove a non-universal non-central Moderate Deviation principle for the nodal length of arithmetic random waves (Gaussian Laplace eigenfunctions on the standard flat torus) both on the whole manifold…

We show that the existence of disintegration for cylindrical measures follows from a general disintegration theorem for countably additive measures.

We show that gradient descent converges to a local minimizer, almost surely with random initialization. This is proved by applying the Stable Manifold Theorem from dynamical systems theory.

We show how to use the arguments of [CM2] to get a stronger effective version of uniqueness of blowups that has a number of consequences.

We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems…

Mean curvature flow evolves isometrically immersed base manifolds $M$ in the direction of their mean curvatures in an ambient manifold $\bar{M}$. If the base manifold $M$ is compact, the short time existence and uniqueness of the mean…

When the swimming of micro-organisms is viewed from the string and membrane theories coupled to the velocity field of the fluid, a number of interesting results are derived; 1) importance of the area (or volume) preserving algebra, 2)…

We prove that a sequence of possibly branched, weak immersions of the two-sphere $S^2$ into an arbitrary compact riemannian manifold $(M^m,h)$ with uniformly bounded area and uniformly bounded $L^2-$norm of the second fundamental form…

Motivated by the limiting behavior of an explicit class of compact ancient curve shortening flows, we prove codimension bounds for ancient mean curvature flows by their tangent flow at $-\infty$, generalizing a theorem for cylinders in…

In this paper we give a pinching theorem of the Simon conjecture in the case s=3 and also give a new proof of the cases s=1 and s=2 by some Simons-type integral inequalities.

This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…

It was pointed out to us that the proof of a crucial lemma (Lemma 5.3) in the paper is incorrect. Thus the approximation theorem (Theorem 0.1) for L^2 torsion of an amenable covering of a finite simplicial complex remains unproved. However,…

Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…

Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.