Researcher profile

William P. Minicozzi II

William P. Minicozzi II contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
20works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2022arXiv

Singularities and diffeomorphisms

Comparing and recognizing metrics can be extraordinarily difficult because of the group of diffeomorphisms. Two metrics, that could even be the same, could look completely different in different coordinates. This is the gauge problem. The general gauge problem is extremely subtle, especially for non-compact spaces. Often it can be avoided if one uses some additional structure of the particular situation. However, in many problems there is no additional structure. Instead we solve the gauge problem directly in great generality. The techniques and ideas apply to many problems. We use them to solve a well-known open problem in Ricci flow. We solve the gauge problem by solving a nonlinear system of PDEs. The PDE produces a diffeomorphism that fixes an appropriate gauge in the spirit of the slice theorem for group actions. We then show optimal bounds for the displacement function of the diffeomorphism.

preprint2021arXiv

Optimal bounds for ancient caloric functions

For any manifold with polynomial volume growth, we show: The dimension of the space of ancient caloric functions with polynomial growth is bounded by the degree of growth times the dimension of harmonic functions with the same growth. As a consequence, we get a sharp bound for the dimension of ancient caloric functions on any space where Yau's 1974 conjecture about polynomial growth harmonic functions holds.

preprint2020arXiv

Parabolic frequency on manifolds

We prove monotonicity of a parabolic frequency on manifolds. This is a parabolic analog of Almgren's frequency function. Remarkably we get monotonicity on all manifolds and no curvature assumption is needed. When the manifold is Euclidean space and the drift operator is the Ornstein-Uhlenbeck operator this can been seen to imply Poon's frequency monotonicity for the ordinary heat equation. Monotonicity of frequency is a parabolic analog of the 19th century Hadamard three circles theorem about log convexity of holomorphic functions on $\CC$. From the monotonicity, we get parabolic unique continuation and backward uniqueness.

preprint2020arXiv

Regularity of elliptic and parabolic systems

We show uniqueness of cylindrical blowups for mean curvature flow in all dimension and all codimension. Cylindrical singularities are known to be the most important; they are the most prevalent in any codimension. Mean curvature flow in higher codimension is a nonlinear parabolic system where many of the methods used for hypersurfaces do not apply and uniqueness of cylindrical blowups remained a major open problem. Our results imply regularity of the singular set for the system.

preprint2016arXiv

Level set method for motion by mean curvature

Modeling of a wide class of physical phenomena, such as crystal growth and flame propagation, leads to tracking fronts moving with curvature-dependent speed. When the speed is the curvature this leads to one of the classical degenerate nonlinear second order differential equations on Euclidean space. One naturally wonders "what is the regularity of solutions?" A priori solutions are only defined in a weak sense, but it turns out that they are always twice differentiable classical solutions. This result is optimal; their second derivative is continuous only in very rigid situations that have a simple geometric interpretation. The proof weaves together analysis and geometry. Without deeply understanding the underlying geometry, it is impossible to prove fine analytical properties.

preprint2015arXiv

Committee ranking

This paper deals with interactions between committee members as they rank a large list of applicants for a given position and eventually reach consensus. We will see that for a natural deterministic model the ranking can be described by solutions of a discrete quasilinear heat equation with time dependent coefficients on a graph. We show first that over time consensus emerges exponentially fast. Second, if there are clusters of members whose views are closer than those of the rest of the committee, then over time the clusters' views become closer at a faster exponential rate than the views of the entire committee. We will also show that the variance of the rankings decays a definite amount, independent of the initial variance, when the influence of the members does not decay too quickly as opinions differ. When the influence between members is exactly a negative power, then the variance is convex and satisfies a three circles theorem.

preprint2015arXiv

Differentiability of the arrival time

For a monotonically advancing front, the arrival time is the time when the front reaches a given point. We show that it is twice differentiable everywhere with uniformly bounded second derivative. It is smooth away from the critical points where the equation is degenerate. We also show that the critical set has finite codimensional two Hausdorff measure. For a monotonically advancing front, the arrival time is equivalent to the level set method; a priori not even differentiable but only satisfies the equation in the viscosity sense. Using that it is twice differentiable and that we can identify the Hessian at critical points, we show that it satisfies the equation in the classical sense. The arrival time has a game theoretic interpretation. For the linear heat equation, there is a game theoretic interpretation that relates to Black-Scholes option pricing. From variations of the Sard and Lojasiewicz theorems, we relate differentiability to whether or not singularities all occur at only finitely many times for flows.

preprint2015arXiv

Lojasiewicz inequalities and applications

In real algebraic geometry, Lojasiewicz's theorem asserts that any integral curve of the gradient flow of an analytic function that has an accumulation point has a unique limit. Lojasiewicz proved this result in the early 1960s as a consequence of his gradient inequality. Many problems in calculus of variations are questions about critical points or gradient flow lines of an infinite dimensional functional. Perhaps surprisingly, even blowups at singularities of many nonlinear PDE's can, in a certain sense, be thought of as limits of infinite dimensional gradient flows of analytic functionals. Thus, the question of uniqueness of blowups can be approached as an infinite dimensional version of Lojasiewicz's theorem. The question of uniqueness of blowups is perhaps the most fundamental question about singularities. This approach to uniqueness was pioneered by Leon Simon thirty years ago for the area functional and many related functionals using an elaborate reduction to a finite dimensional setting where Lojasiewicz's arguments applied. Recently, the authors proved two new infinite dimensional Lojasiewicz inequalities at noncompact singularities where it was well-known that a reduction to Lojasiewicz's arguments is not possible, but instead entirely new techniques are required. As a consequence, the authors settled a major long-standing open question about uniqueness of blowups for mean curvature flow at all generic singularities and for mean convex mean curvature flow at all singularities. Using this, the authors have obtained a rather complete description of the space-time singular set for MCF with generic singularities. In particular, the singular set of a MCF in $\bf{R}^{n+1}$ with only generic singularities is contained in finitely many compact Lipschitz submanifolds of dimension at most $n-1$ together with a set of dimension at most $n-2$.

preprint2015arXiv

Rigidity of generic singularities of mean curvature flow

Shrinkers are special solutions of mean curvature flow (MCF) that evolve by rescaling and model the singularities. While there are infinitely many in each dimension, [CM1] showed that the only generic are round cylinders $\SS^k\times \RR^{n-k}$. We prove here that round cylinders are rigid in a very strong sense. Namely, any other shrinker that is sufficiently close to one of them on a large, but compact, set must itself be a round cylinder. To our knowledge, this is the first general rigidity theorem for singularities of a nonlinear geometric flow. We expect that the techniques and ideas developed here have applications to other flows. Our results hold in all dimensions and do not require any a priori smoothness.

preprint2015arXiv

The singular set of mean curvature flow with generic singularities

A mean curvature flow starting from a closed embedded hypersurface in $R^{n+1}$ must develop singularities. We show that if the flow has only generic singularities, then the space-time singular set is contained in finitely many compact embedded $(n-1)$-dimensional Lipschitz submanifolds plus a set of dimension at most $n-2$. If the initial hypersurface is mean convex, then all singularities are generic and the results apply. In $R^3$ and $R^4$, we show that for almost all times the evolving hypersurface is completely smooth and any connected component of the singular set is entirely contained in a time-slice. For $2$ or $3$-convex hypersurfaces in all dimensions, the same arguments lead to the same conclusion: the flow is completely smooth at almost all times and connected components of the singular set are contained in time-slices. A key technical point is a strong {\emph{parabolic}} Reifenberg property that we show in all dimensions and for all flows with only generic singularities. We also show that the entire flow clears out very rapidly after a generic singularity. These results are essentially optimal.

preprint2014arXiv

Uniqueness of blowups and Lojasiewicz inequalities

Once one knows that singularities occur, one naturally wonders what the singularities are like. For minimal varieties the first answer, already known to Federer-Fleming in 1959, is that they weakly resemble cones. For mean curvature flow, by the combined work of Huisken, Ilmanen, and White, singularities weakly resemble shrinkers. Unfortunately, the simple proofs leave open the possibility that a minimal variety or a mean curvature flow looked at under a microscope will resemble one blowup, but under higher magnification, it might (as far as anyone knows) resemble a completely different blowup. Whether this ever happens is perhaps the most fundamental question about singularities. It is this long standing open question that we settle here for mean curvature flow at all generic singularities and for mean convex mean curvature flow at all singularities.

preprint2012arXiv

Mean curvature flow as a tool to study topology of 4-manifolds

In this paper we will discuss how one may be able to use mean curvature flow to tackle some of the central problems in topology in 4-dimensions. We will be concerned with smooth closed 4-manifolds that can be smoothly embedded as a hypersurface in R^5. We begin with explaining why all closed smooth homotopy spheres can be smoothly embedded. After that we discuss what happens to such a hypersurface under the mean curvature flow. If the hypersurface is in general or generic position before the flow starts, then we explain what singularities can occur under the flow and also why it can be assumed to be in generic position. The mean curvature flow is the negative gradient flow of volume, so any hypersurface flows through hypersurfaces in the direction of steepest descent for volume and eventually becomes extinct in finite time. Before it becomes extinct, topological changes can occur as it goes through singularities. Thus, in some sense, the topology is encoded in the singularities.

preprint2012arXiv

Monotonicity - analytic and geometric implications

In this expository article, we discuss various monotonicity formulas for parabolic and elliptic operators and explain how the analysis of the function spaces and the geometry of the underlining spaces are intertwined. After briefly discussing some of the well-known analytical applications of monotonicity for parabolic operators, we turn to their elliptic counterparts, their geometric meaning, and some geometric consequences.

preprint2012arXiv

Ricci curvature and monotonicity for harmonic functions

In this paper we generalize the monotonicity formulas of [C] for manifolds with nonnegative Ricci curvature. Monotone quantities play a key role in analysis and geometry; see, e.g., [A], [CM1] and [GL] for applications of monotonicity to uniqueness. Among the applications here is that level sets of Green's function on open manifolds with nonnegative Ricci curvature are asymptotically umbilic.

preprint2012arXiv

The round sphere minimizes entropy among closed self-shrinkers

The entropy of a hypersurface is a geometric invariant that measures complexity and is invariant under rigid motions and dilations. It is given by the supremum over all Gaussian integrals with varying centers and scales. It is monotone under mean curvature flow, thus giving a Lyapunov functional. Therefore, the entropy of the initial hypersurface bounds the entropy at all future singularities. We show here that not only does the round sphere have the lowest entropy of any closed singularity, but there is a gap to the second lowest.

preprint2012arXiv

The space of embedded minimal surfaces of fixed genus in a 3-manifold V; Fixed genus

This paper is the fifth and final in a series on embedded minimal surfaces. Following our earlier papers on disks, we prove here two main structure theorems for non-simply connected embedded minimal surfaces of any given fixed genus. The first of these asserts that any such surface without small necks can be obtained by gluing together two oppositely--oriented double spiral staircases. The second gives a pair of pants decomposition of any such surface when there are small necks, cutting the surface along a collection of short curves. After the cutting, we are left with graphical pieces that are defined over a disk with either one or two sub--disks removed (a topological disk with two sub--disks removed is called a pair of pants). Both of these structures occur as different extremes in the two-parameter family of minimal surfaces known as the Riemann examples. The results of [CM3]--[CM6] have already been used by many authors; see, e.g., the surveys [MeP], [P], [Ro] and the introduction in [CM6] for some of these applications. There is much current research on minimal surfaces with infinite topology. Some of the results of the present paper were announced previously and have already been widely used to study infinite topology minimal surfaces; see, e.g., [MeP], [MePRs1], [MePRs2], [MePRs3], and [P].