arXiv research

In this article I describe my recent geometric localization argument dealing with actions of NONcompact groups which provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed in [Sch]. A corresponding problem in the compact group setting was so…

Local-to-global principle for Morse actions on symmetric spaces.

This article provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed by W.Schmid in [Sch]. A corresponding problem in the compact group setting was solved by N.Berline, E.Getzler and M.Vergne in [BGV] by an application of the theory of equiva…

Simplified Obata-Vétois argument for Einstein manifolds with nonnegative scalar curvature.

Localized Kasner-like singularities constructed in spacetime.

Study restricts line arrangements with odd points using topological arguments.

Affine connections become simple spaces locally.

The aim of this paper is to provide new theoretical and computational understanding on two loss regularizations employed in deep learning, known as local entropy and heat regularization. For both regularized losses we introduce variational characterizations that naturally suggest a two-step scheme for their optimizatio…

New method finds closed timelike geodesics on Lorentzian manifolds.

We give a local classification of generalized complex structures. About a point, a generalized complex structure is equivalent to a product of a symplectic manifold with a holomorphic Poisson manifold. We use a Nash-Moser type argument in the style of Conn's linearization theorem.

SpArX creates faithful explanations of neural networks' decision-making.

We obtain $C^2$ a priori estimates for solutions of the nonlinear second-order elliptic equation related to the geometric problem of finding a strictly locally convex hypersurface with prescribed curvature and boundary in a space form. Under the assumption of a strictly locally convex subsolution, we establish existenc…

This paper is devoted to $C^2$ a priori estimates for strictly locally convex radial graphs with prescribed Weingarten curvature and boundary in space forms. By constructing two-step continuity process and applying degree theory arguments, existence results in space forms are established for prescribed Gauss curvature …

EM algorithm converges slowly for weakly identifiable Gaussian mixtures.

We prove Bismut-type formulae for the first and second derivatives of a Feynman-Kac semigroup on a complete Riemannian manifold. We derive local estimates and give bounds on the logarithmic derivatives of the integral kernel. Stationary solutions are also considered. The arguments are based on local martingales, althou…

We introduce an inductive argument for proving birational superrigidity and K-stability of singular Fano complete intersections of index one, using the same types of information from lower dimensions. In particular, we prove that a hypersurface in $\mathbb{P}^{n+1}$ of degree $n+1$ with only ordinary singularities of m…

We provide a formulation for Local Support Vector Machines (LSVMs) that generalizes previous formulations, and brings out the explicit connections to local polynomial learning used in nonparametric estimation literature. We investigate the simplest type of LSVMs called Local Linear Support Vector Machines (LLSVMs). For…

Hyperplanes, hyperspheres and hypercylinders in $\Bbb R^n$ with suitable densities are proved to be weighted minimizing by a calibration argument. Also calibration method is used to prove a weighted minimal hypersurface is weighted area-minimizing locally.

Direct proof shows adaptive gradient descent converges near-linearly for convex functions.

In this paper we consider the local X-ray transform for general flows. We extend the results on the local and global invertibility of the geodesic ray transform proved by Uhlmann and Vasy \cite{UV} to the X-ray transform for a general flow. The key improvement is that our argument for the ellipticity of the conjugated …

Study finds risk sharing without convexity assumptions.

We study an infinite dimensional ASD moduli space over the cylinder. Our main result is the formula of its local mean dimension. A key ingredient of the argument is the notion of non-degenerate ASD connections. We develop its deformation theory and show that there exist sufficiently many non-degenerate ASD connections …

New model improves deep learning robustness against adversarial attacks.

We prove precompactness in an orbifold Cheeger-Gromov sense of complete gradient Ricci shrinkers with a lower bound on their entropy and a local integral Riemann bound. We do not need any pointwise curvature assumptions, volume or diameter bounds. In dimension four, under a technical assumption, we can replace the loca…

New formula for knot invariants simplifies calculations and counts.

We introduce the concept of G2(2)-structure on an orientable 3-manifold M using the setting of generalized geometry of type Bn, study their local deformation by making use of a Moser-type argument, and give a description of the cone of G2(2)-structures.

Local invertibility of ray transforms on convex manifolds.

In this paper, we obtain a positivity result of a quasi-local mass integral as proposed by Shi and Tam in general dimensions. The main argument is based on the monotonicity of a mass integral in a foliation of quasi-spherical metrics and a positive mass type theorem which was proved by Wang and Yau in the three dimensi…

We prove a uniform C^alpha estimate for collapsing Calabi-Yau metrics on the total space of a proper holomorphic submersion over the unit ball in C^m. The usual methods of Calabi, Evans-Krylov, and Caffarelli do not apply to this setting because the background geometry degenerates. We instead rely on blowup arguments a…

High regularity biharmonic wave maps shown to be locally well-posed.

In this paper, we consider three typical problems on a locally finite connected graph. The first one is to study the Bochner formula for the Laplacian operator on a locally finite connected graph. We use the Bochner formula to derive the Bernstein type estimate of the heat equation. The second is to derive the Reilly t…

Study local Weyl law on hyperbolic surfaces, identifying geodesic loops.

A rigidity result for weakly asymptotically hyperbolic manifolds with lower bounds on Ricci curvature is proved without assuming that the manifolds are spin. The argument makes use of a quasi-local mass characterization of Euclidean balls from \cite{Miao} \cite{S_T} and eigenfunction compactification ideas from \cite{Q…

In this expository note, we present a transparent proof of Toponogov's theorem for Alexandrov spaces in the general case, not assuming local compactness of the underlying metric space. More precisely, we show that if M is a complete geodesic metric space such that the Alexandrov triangle comparisons for curvature great…

For an oriented manifold $M$ whose dimension is less than $4$, we use the contractibility of certain complexes associated to its submanifolds to cut $M$ into simpler pieces in order to do local to global arguments. In particular, in these dimensions, we give a different proof of a deep theorem of Thurston in foliation …

We prove a structure theorem for compact aspherical Lorentz manifolds with abundant local symmetry. If M is a compact, aspherical, real-analytic, complete Lorentz manifold such that the isometry group of the universal cover has semisimple identity component, then the local isometry orbits in M are roughly fibers of a f…

Local Lorentzian theorem preserves metrics or makes them flat.

Combines fast evaluation with Bayes consistency in nearest neighbors.

We describe the local conformal geometry of a Lorentzian spin manifold $(M,g)$ admitting a twistor spinor $φ$ with zero. Moreover, we describe the shape of the zero set of $φ$. If $φ$ has isolated zeros then the metric $g$ is locally conformally equivalent to a static monopole. In the other case the zero set consists o…

Square-like quadrilaterals inscribed in space curves proven for finite total curvature.

Floer homology vanishes on certain 3-manifolds formed by knots and their mirrors.

The $c$-curvature of a complete surface with Gauss curvature close to 1 in $C^2$ norm is almost-positive (in the sense of Kim--McCann). Our proof goes by a careful case by case analysis combined with perturbation arguments from the constant curvature case, keeping track of an estimate on the closeness curvature conditi…

This paper investigates the use of methods from partial differential equations and the Calculus of variations to study learning problems that are regularized using graph Laplacians. Graph Laplacians are a powerful, flexible method for capturing local and global geometry in many classes of learning problems, and the tec…

We give a new proof for the local existence of a smooth isometric embedding of a smooth $3$-dimensional Riemannian manifold with nonzero Riemannian curvature tensor into $6$-dimensional Euclidean space. Our proof avoids the sophisticated arguments via microlocal analysis used in earlier proofs. In Part 1, we introduce …

We show that for any convex differentiable loss, a deep linear network has no spurious local minima as long as it is true for the two layer case. This reduction greatly simplifies the study on the existence of spurious local minima in deep linear networks. When applied to the quadratic loss, our result immediately impl…

We present a proof due to Duistermaat that the gradient flow of the norm squared of the moment map defines a deformation retract of the appropriate piece of the manifold onto the zero level set of the moment map. Duistermaat's proof is an adaptation of Lojasiewicz's argument for analytic functions to functions which ar…

Extends topological results for nonpositive curvature spaces.

TACAM improves argument mining by integrating topic and external context.