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

We introduce a new computationally efficient and accurate classical density-functional theory for water and apply it to hydration of hard spheres and inert gas atoms. We find good agreement with molecular dynamics simulations for the…

We construct several examples of compactification of Type IIB theory on orientifolds and discuss their duals. In six dimensions we obtain models with $N=1$ supersymmetry, multiple tensor multiplets, and different gauge groups. In nine…

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

We study subspace concentration of dual curvature measures of convex bodies $K$ satisfying $\gamma (-K)\subseteq K$ for some $\gamma \in (0,1]$. We present upper bounds on the subspace concentration depending on $\gamma$, which, in…

In this short note a new proof of the monotone con- vergence theorem of Lebesgue integral on \sigma-class is given.

Koike (2001) defined the Lipschitz--Killing curvature and established a Chern--Lashof type inequality for equiaffine immersions of arbitrary codimensions. In this paper, we study the equality case. We prove that the total absolute curvature…

We introduce higher order variants of the Yang-Mills functional that involve $(n-2)$th order derivatives of the curvature. We prove coercivity and smoothness of critical points in Uhlenbeck gauge in dimensions $\mathrm{dim}M\le 2n$. These…

For a subspace $X$ of functions from $L_2$ we consider the minimal number $m$ of nodes necessary for the exact discretization of the $L_2$-norm of the functions in $X$. We construct a subspace such that for any exact discretization with $m$…

In this paper, we prove some convergence theorems for the mean curvature flow of closed submanifolds in the unit sphere $\mathbb{S}^{n+d}$ under integral curvature conditions. As a consequence, we obtain several differentiable sphere…

We prove the finiteness of leaps of modules of $m$-integrable derivations for algebras essentially of finite type and, more generally, for schemes essentially of finite type over an algebraically closed field of positive characteristic.…

We make rigorous an old idea of using mean curvature flow to prove a theorem of Richard Hamilton on the compactness of proper hypersurfaces with pinched, bounded curvature.

We prove that a closed immersed plane curve with total curvature $2\pi m$ has entropy at least $m$ times the entropy of the embedded circle, as long as it generates a type I singularity under the curve shortening flow (CSF). We construct…

We study a class of design problems in solid mechanics, leading to a variation on the classical question of equi-dimensional embeddability of Riemannian manifolds. In this general new context, we derive a necessary and sufficient existence…

This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set…

A proof of the continuous martingale convergence theorem is provided. It relies on a classical martingale inequality and the almost sure convergence of a uniformly bounded non-negative super-martingale, after a truncation argument.

In this paper, by using monotonicity formulas for vector bundle-valued $p$-forms satisfying the conservation law, we first obtain general $L^2$ global rigidity theorems for locally conformally flat (LCF) manifolds with constant scalar…

We generalize our theorems in "Mirror Principle I" to a class of balloon manifolds. Many of the results are proved for convex projective manifolds. In a subsequent paper, Mirror Principle III, we will extend the results to projective…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

We give new sufficient conditions for the integrability and unique integrability of continuous tangent sub-bundles on manifolds of arbitrary dimension, generalizing Frobenius' classical Theorem for C^1 sub-bundles. Using these conditions we…

The mean shift (MS) is a non-parametric, density-based, iterative algorithm with prominent usage in clustering and image segmentation. A rigorous proof for the convergence of its mode estimate sequence in full generality remains unknown. In…