arXiv research

In this article, we extend Huisken's theorem that convex surfaces flow to round points by mean curvature flow. We construct certain classes of mean convex and non-mean convex hypersurfaces that shrink to round points and use these constructions to create pathological examples of flows. We find a sequence of flows that …

Gradient descent with biased rounding errors converges faster under certain conditions.

We investigate the evolution of closed strictly convex hypersurfaces in $\mathbb{R}^{n+1}$, n=3, for contracting normal velocities, including powers of the mean curvature, of the norm of the second fundamental form, and of the Gauss curvature. We prove convergence to a round point for 2-pinched initial hypersurfaces. I…

A half-geodesic is a closed geodesic realizing the distance between any pair of its points. All geodesics in a round sphere are half-geodesics. Conversely, this note establishes that Riemannian spheres with all geodesics closed and sufficiently many half-geodesics are round.

Gradient descent stagnates in low-precision, but unbiased rounding schemes improve convergence.

Study on manifolds that map to lower dimensions with specific critical points.

Round cylinders are rigid in Ricci shrinkers close to the standard product.

Training of large-scale deep neural networks is often constrained by the available computational resources. We study the effect of limited precision data representation and computation on neural network training. Within the context of low-precision fixed-point computations, we observe the rounding scheme to play a cruc…

Study cohomology rings of 3D manifolds with round fold maps into the plane.

A closed Riemannian manifold is said to have cross blocking if whenever distinct points p and q are at distance less than the diameter, all light rays from p can be shaded away from q with at most two point shades. Similarly, a closed Riemannian manifold is said to have sphere blocking if for each point p, all the ligh…

Study shows how a curve shortens to a half-circle under specific flow.

AdaRound improves post-training quantization of neural networks.

In recent work, the notion of Double Convexity for a foliation of a conical null hypersurface was introduced to give a proof, if satisfied, of the Null Penrose Inequality. Double Convexity constrains the geometry of a Marginally Outer Trapped Surface (MOTS), called a quasi-round MOTS. In the first part of this paper, f…

Sharp chord-arc estimates for curve shortening flow on spheres.

Study shows curvature rigidity of specific metric types.

In this short article, we prove the existence of ancient solutions of the mean curvature flow that for t -> 0 collapse to a round point, but for t -> -infinity become more and more oval: near the center they have asymptotic shrinkers modeled on round cylinders S^j x R^n-j and near the tips they have asymptotic translat…

We construct the ancient solutions of the hypersurface flows in Euclidean spaces studied by B. Andrews in 1994. As time $t \rightarrow 0^-$ the solutions collapse to a round point where $0$ is the singular time. But as $t\rightarrow-\infty$ the solutions become more and more oval. Near the center the appropriately-resc…

The Levy-Gromov inequality states that round spheres have the least isoperimetric profile (normalized by total volume) among Riemannian manifolds with a fixed positive lower bound on the Ricci tensor. In this note we study critical metrics corresponding to the Levy-Gromov inequality and prove that, in two-dimensions, t…

In spectral clustering, one defines a similarity matrix for a collection of data points, transforms the matrix to get the Laplacian matrix, finds the eigenvectors of the Laplacian matrix, and obtains a partition of the data using the leading eigenvectors. The last step is sometimes referred to as rounding, where one ne…

The Green function on spheres in 3D implies the surface is a round sphere.

In this paper the regularity of optimal transportation potentials defined on round spheres is investigated. Specifically, this research generalises the calculations done by Loeper, where he showed that the strong (A3) condition of Trudinger and Wang is satisfied on the round sphere, when the cost-function is the geodes…

Classifies low energy maps from curved surfaces into spheres.

We prove that codimension two surfaces satisfying a nonlinear curvature condition depending on normal curvature are smoothly deformed by mean curvature flow to round points.

Curve shortening flow shrinks curves to points under certain conditions.

We study biharmonic maps and f-biharmonic maps from a round sphere $(S^2, g_0)$, the latter maps are equivalent to biharmonic maps from Riemann spheres $(S^2, f^{-1}g_0)$. We proved that for rotationally symmetric maps between rotationally symmetric spaces, both biharmonicity and f-biharmonicity reduce to a 2nd order l…

We prove a Chern-Lashof type formula computing the expected number of critical points of smooth function on a smooth manifold $M$ randomly chosen from a finite dimensional subspace $V\subset C^\infty(M)$ equipped with a Gaussian probability measure. We then use this formula this formula to find the asymptotics of the e…

Hyperkahler manifolds with round Kahler cones have unique bimeromorphic models.

Quantized neural networks can represent all fixed-point functions under certain conditions.

New techniques improve 16-bit training accuracy without 32-bit units.

Researchers create a family of solitons connecting a cigar to a sphere.

In the 1950's Hopf gave examples of non-round convex 2-spheres in Euclidean 3-space with rotational symmetry that satisfy a linear relationship between their principal curvatures. In this paper we investigate conditions under which evolving a smooth rotationally symmetric sphere by a linear combination of its radii of …

The study identifies unique fluid flow patterns.

The nearly Kähler structures on the 6-sphere, as a twistor bundle sections are researched. We show that for any point of twistor bundle there exists an 1-parametric family of sections, passing through the point, which give nearly Kähler structures on the round sphere. Some properties of those sections are found.

The article extends previous work on contracting convex hypersurfaces by nonhomogeneous curvature functions.

Classifies low-energy harmonic maps from curved surfaces to spheres.

A new decentralized algorithm DESTINY solves optimization over Stiefel manifold with single communication round.

We obtain an infinite family of complete non embedded rotational surfaces in $\mathbb R^3$ whose second fundamental forms have length equal to one at any point. Also we prove that a complete rotational surface with second fundamental form of constant length is either a round sphere, a circular cylinder or, up to a homo…

Nearly $G_2$-structures are unstable under a modified $G_2$-Laplacian co-flow.

The embedded contact homology (ECH) of a 3-manifold with a contact form is a variant of Eliashberg-Givental-Hofer's symplectic field theory, which counts certain embedded J-holomorphic curves in the symplectization. We show that the ECH of T^3 is computed by a combinatorial chain complex which is generated by labeled c…

Improved algorithm reduces communication rounds for distributed online learning.

In this paper we describe a 1-dimensional family of initial conditions Σthat provides reduced periodic solution of the three body problem. This family Σcontains a bifurcation point and extend the periodic solution described in (Perdomo, http://arxiv.org/pdf/1507.01100.pdf). This 1-dimensional family is the union of two…

Study on positive solutions of Yamabe-type equation on spheres.

G. Pipoli and C. Sinestrari considered the mean curvature flow starting from a closed submanifold in the complex projective space. They proved that if the submanifold is of small codimension and satisfies a suitable pinching condition for the second fundamental form, then the flow has two possible behaviors: either the…

We construct embedded closed minimal surfaces in the round three-sphere, resembling two parallel copies of the Clifford torus, joined by m^2 small catenoidal bridges symmetrically arranged along a square lattice of points on the torus.

In this article we study the shape of a compact surface of constant mean curvature of Euclidean space whose boundary is contained in a round sphere. We consider the case that the boundary is prescribed or that the surface meets the sphere with a constant angle. We study under what geometric conditions the surface must …

Study eigenfunctions of Laplacian on sphere with even point removals.

The paper extends Huber's theorem to higher dimensions using n-Laplace equations.

The paper proves rigidity for warped product spaces with degenerate ends.