In briefComputing and visualising Ricci flow: simulations of neckpinches and critical behaviour, pictures of rotationally symmetric flows, and finite-element methods for geometric flows.
∂tg=−2Ric(g)+LWg(Ricci–DeTurck flow, the form solved numerically)
Ricci flow is only weakly parabolic, so it cannot be discretised directly. Numerical work almost always solves the Ricci–DeTurck flow, which adds a Lie-derivative term to make the system strictly parabolic, just as in the short-time existence proof. Symmetry reduces the problem further. Rotationally symmetric metrics on spheres become one-dimensional PDEs, and warped products and cohomogeneity-one metrics become PDEs in one or two variables.
Landmark computations:
Critical behaviour. Garfinkle and Isenberg studied rotationally symmetric "dumbbell" metrics on S3 and found a threshold between flows that pinch a neck and flows that do not, with a degenerate neckpinch at the threshold. This was later proved rigorously.
Visualisation. Rubinstein and Sinclair drew flows of manifolds of revolution, making the formation of necks visible.
Ricci-flat metrics. Headrick and Wiseman used the flow as an algorithm to find Ricci-flat metrics numerically, including on K3 and in black hole physics.
For hypersurface flows, finite-element methods for mean curvature flow are a mature field (Deckelnick–Dziuk–Elliott). In graphics, discrete surface Ricci flow is a standard tool for conformal parameterisation.
Why it matters
Computation has repeatedly guided the theory. Numerical neckpinches suggested which rigorous results to aim for, and simulations of degenerate neckpinches came before the proofs of Angenent, Isenberg and Knopf. Pictures also matter for a site like this one. Most of Ricci flow happens in dimensions no one can see, so a good animation of a symmetric flow is often the first thing that makes the ideas concrete. The curve-shortening animation on the home page is the one-dimensional version.
Where it stands
Current directions include:
structure-preserving and convergent schemes for geometric flows;
numerical study of singularity formation without symmetry;
machine-learning approaches to Ricci-flat and Calabi–Yau metrics;
computer-assisted proofs, where numerics and rigorous error bounds meet.
The recent Lean formalization of the Poincaré proof (see Poincaré conjecture) is a different kind of computation, verifying proofs rather than solutions.
If you are new to this
Foundational papers
The papers the rest of the topic builds on, in reading order. Titles open the paper.
Numerical curve shortening and mean curvature flow, level sets and phase fields, discrete Ricci flow on surfaces and in conformal mapping, rotationally symmetric neckpinches, and what computation has taught about singularities.
We construct a family of integrable 2d sigma models through 4d Chern-Simons theory and show that their classical point-particle reduction corresponds to a Hitchin system. The integrable Hitchin quantisation then provides a natural candidate Hamiltonian for the one-loop reduced dynamics of the sigma models, which coincides with the Perelman operator in all cases examined. This allows us to study the corresponding spectral problems using 4d N=2 gauge theory and 2d conformal field theory methods. For the sausage model, we derive exact quantisation conditions and compute exponentially small corrections essential for the agreement with numerical finite-volume results.
This study develops numerical methods for computing homogeneous and isotropic cosmological models on manifolds with non-trivial spatial topologies. The use of Ricci flow is introduced here to aid in the construction of globally homogeneous initial data on these manifolds. The initial data produced in this way are evolved by solving Einstein's equation numerically to construct homogeneous and isotropic cosmological models on three exemplar manifolds in this study: Seifert-Weber space, the lens space L(5,2), and Sixth-Turn space.
We present a numerical method that constructs geometrically defined coordinates on black-hole horizons, from which the multipole moments are computed without assuming axisymmetry. This method, which we denote the conformal-mapping method (CMM), provides a numerical realization of the conformal construction proposed by Ashtekar et al. in 2022, combining discrete Ricci flow, spectral embedding onto the unit sphere, and Möbius gauge fixing by the vanishing-area-dipole condition. We first test the CMM against analytic Kerr benchmarks, and then apply it to an equal-mass, non-spinning binary black-hole merger. We also compare it with an approximate-symmetry-based method. The CMM allows the multipole moments to be expressed in a fixed reference frame, whereas the symmetry-adapted frame can reorient abruptly when the preferred approximate axis changes. In a frame aligned with the orbital angular momentum, the amplitude of the quadrupole mode grows during inspiral and decays after merger, displaying a qualitative ringdown behavior. These results show that the CMM is a useful tool for studying horizon geometry in dynamical situations where no stable symmetry axis is available.
We study normalized Ricci flow on simply connected homogeneous spaces G/H for which the isotropy representation splits into exactly two equivalent irreducible subrepresentations. We prove that every G-invariant metric evolves to one with positive Ricci curvature, and that the family of G-invariant metrics with positive Ricci curvature is forward-invariant under the flow. The proof relies on the fact that the phase portrait of the family of fixed-volume G-invariant metrics can be explicitly visualized.
We develop a new phase-field (diffuse interface) approximation of multiphase curvature motion with triple junction drag - an important sharp interface model for the evolution of microstructure in polycrystalline materials during heat treatment. This sharp interface model arises as gradient flow for the total length of the interfacial network with respect to a certain metric. Accordingly, we derive our diffuse interface approximation - a coupled system of partial differential equations that is a variant of the Allen-Cahn system - from a variational perspective, in the style of minimizing movements: starting from a discrete in time approximation that entails a convex optimization problem to advance from one time step to the next. In the process, we propose a simple integral expression that counts the number of junctions using the order parameter that appears to be new even for the standard multiphase Allen-Cahn system. The convergence of the resulting flow to the desired sharp interface limit is then verified via the method of matched asymptotic expansions. Numerical convergence studies against both known exact solutions as well as highly accurate benchmark solutions obtained via front tracking provide clear further evidence for this convergence. Moreover, the method retains the most desirable feature of diffuse interface methods: Automatic handling of topological changes in the network of interfaces.
We investigate the stochastic Ricci flow of spherically symmetric perturbations of the Schwarzschild–Anti de Sitter black-hole metric. Elaborating on the Ricci-flow analysis of Headrick and Wiseman, we include a negative cosmological constant through a Ricci-target term and study how the flow is correlated with the thermodynamic heat capacity of the black hole. Numerical simulations show that, in the positive heat-capacity regime, perturbations of the angular sector of the metric relax toward the Schwarzschild–Anti de Sitter fixed point, while in the negative heat-capacity regime they grow under the deterministic Ricci flow. We then introduce a multiplicative stochastic noise and find that sufficiently strong stochasticity can suppress the growth of these perturbations, effectively stabilizing configurations that would otherwise be thermodynamically unstable. Finally, we reformulate the dynamics in terms of an entropy variable evolving on a thermodynamic free-energy landscape, and support the metric-flow results through Monte Carlo simulations and the associated Fokker–Planck equation. These results suggest that stochastic fluctuations can modify the relation between geometric stability under Ricci flow and thermodynamic stability in asymptotically Anti de Sitter black-hole spacetimes.
The paper is concerned with the error analysis of a numerical scheme for the approximation of parametric mean curvature flow. The scheme we study is based on a reparametrization using the DeTurck trick and was proposed by Elliott and Fritz in [15]. In the semidiscrete case, for a spatial discretization by finite elements of order k≥2 we prove an optimal H1-error estimate for the position vector. We present numerical experiments that confirm this error bound and demonstrate that the scheme has good properties with respect to the distribution of mesh points as already observed in [15].
In this paper we propose and study a curvature-based mathematical model for dorsal closure in embryonic drosophila. Using an analysis that mixes maximum-principle and integral-estimates, we establish global existence and convergence for data that mimics the initial geometry of a dorsal closure event. Further, we present a numerical approximation scheme for the flow, establishing stability, consistence, and convergence. We also give sample simulations of the flow with initial configurations that include experimentally observed data.
We investigate the motion of a family of closed curves evolving according to the geometric evolution law on a given two dimensional manifold which is embedded or immersed in the three-dimensional Euclidean space. We derive a system of nonlinear parabolic equations describing the motion of curves belonging to a given two-dimensional manifold. Using the abstract theory of analytic semiflows, we prove the local existence, uniqueness of Hölder smooth solutions to the governing system of nonlinear parabolic equations for the position vector parametrization of evolving curves. We apply the method of flowing finite volumes in combination with the methods of lines for numerical approximation of the governing equations. Qualitative analytical results are illustrated by various numerical experiments.
Simply-connected four-dimensional gradient Ricci solitons that are invariant under a compact cohomogeneity one group action have been studied extensively. However, the special case where the group is SU(2) (the smallest possible example) has received comparatively little attention. The purpose of this article is to give a comprehensive study of simply-connected SU(2)-invariant expanding and shrinking cohomogeneity one gradient Ricci solitons. The first result is the construction of new 3-parameter families of complete SU(2)-invariant asymptotically conical expanding gradient Ricci solitons. New shrinking KählerU(2)-invariant gradient Ricci solitons in dimension 4 with orbifold singularities are also constructed, leading to a classification of such metrics when the base space of the orbifold is a simply-connected smooth manifold. Finally, we highlight numerical evidence that all the compact cohomogeneity one shrinking gradient Ricci solitons are known.
We derive curvature flows in the Heisenberg group by formal asymptotic expansion of a nonlocal mean-field equation under the anisotropic rescaling of the Heisenberg group. This is motivated by the aim of connecting mechanisms at a microscopic (i.e. cellular) level to macroscopic models of image processing through a multiscale approach. The nonlocal equation, which is very similar to the Ermentrout-Cowan equation used in neurobiology, can be derived from an interacting particle model. As sub-Riemannian geometries play an important role in the models of the visual cortex proposed by Petitot and Citti-Sarti, this paper provides a mathematical framework for a rigorous upscaling of models for the visual cortex from the cell level via a mean field equation to curvature flows which are used in image processing. From a pure mathematical point of view, it provides a new approximation and regularization of Heisenberg mean curvature flow. Using the local structure of the rototranslational group, we extend the result to cover the model by Citti and Sarti. Numerically, the parameters in our algorithm interpolate between solving an Ementrout-Cowan type of equation and a Bence-Merriman-Osher algorithm type algorithm for sub-Riemannian mean curvature. We also reproduce some known exact solutions in the Heisenberg case.
For each positive integer g we use variational methods to construct a genus gself-shrinkerΣg in R3 with entropy less than 2 and prismatic symmetry group Dg+1×Z2. For g sufficiently large, the self-shrinker Σg has two graphical asymptotically conical ends and the sequence Σg converges on compact subsets to a plane with multiplicity two as g→∞. Angenent-Chopp-Ilmanen conjectured the existence of such self-shrinkers in 1995 based on numerical experiments. Using these surfaces as initial conditions for large g, we obtain examples of mean curvature flows in R3 with smooth initial non-compact data that evolve non-uniquely after their first singular time.
In this paper, we investigate the stochastic mean curvature flow (SMCF) on networks, a niche area within stochastic processes and geometric analysis. By applying Ito calculus, we analyze the evolution of network structures influenced by random perturbations. We derive a stochastic differential equation (SDE) for the network edges and utilize numerical simulations to study the stability, long-term behavior, and pattern formation in these systems. Our results offer new insights into the dynamics of complex networks under stochastic influences and open pathways for future research in stochastic geometry.
We study possible tangles that can occur in singularities of solutions to plane Curve Shortening Flow. We exhibit solutions in which more complicated tangles with more than one self-intersection disappear into a singular point. It seems that there are many examples of this kind and that a complete classification presents a problem similar to the problem of classifying all knots in R3. As a particular example, we introduce the so-called n-loop curves, which generalize Matt Grayson's Figure-Eight curve, and we conjecture a generalization of the Coiculescu-Schwarz asymptotic bow-tie result, namely, a vanishing n-loop, when rescaled anisotropically to fit a square bounding box, converges to a "squeezed bow-tie," i.e. the curve {(x,y):∣x∣≤1,y=±xn−1}∪{(±1,y):∣y∣≤1}. As evidence in support of the conjecture, we provide a formal asymptotic analysis on one hand, and a numerical simulation for the cases n=3 and n=4 on the other.
Kröncke has shown that the Fubini-Study metric is an unstable generalized stationary solution of Ricci flow [Krö20]. In this paper, we carry out numerical simulations which indicate that Ricci flow solutions originating at unstable perturbations of the Fubini-Study metric develop local singularities modeled by the blowdown soliton discovered in [FIK03].
Wrinkling instabilities of thin elastic sheets can be used to generate periodic structures over a wide range of length scales. Viscosity of the thin elastic sheet or its surrounding medium has been shown to be responsible for dynamic processes. While this has been explored for solid as well as liquid thin elastic sheets we here consider wrinkling of fluid deformable surfaces, which show a solid-fluid duality and have been established as model systems for biomembranes and cellular sheets. We use this hydrodynamic theory and numerically explore the formation of wrinkles and their coarsening, either by a continuous reduction of the enclosed volume or the continuous increase of the surface area. Both lead to almost identical results for wrinkle formation and the coarsening process, for which a universal scaling law for the wavenumber is obtained for a broad range of surface viscosity and rate of change of volume or area. However, for large Reynolds numbers and small changes in volume or area wrinkling can be suppressed and surface hydrodynamics allows for global shape changes following the minimal energy configurations of the Helfrich energy for corresponding reduced volumes.
We revisit the well-known Curve Shortening Flow for immersed curves in the d-dimensional Euclidean space. We exploit a fundamental structure of the problem to derive a new global construction of a solution, that is, a construction that is valid for all times and is insensitive to singularities. The construction is characterized by discretization in time and the approximant, while still exhibiting the possibile formation of finitely many singularities at a finite set of singular times, exists globally and is well behaved and simpler to analyze than a solution of the CSF. A solution of the latter is obtained in the limit. Estimates for a natural (geometric) norm involving length and total absolute curvature allow passage to the limit. Many classical qualitative results about the flow can be recovered by exploiting the simplicity of the approximant and new ones can be proved. The construction also suggests a numerical procedure for the computation of the flow which proves very effective as demonstrated by a series of numerical experiments scattered throughout the paper.
In this paper, we show that the singularity type of solutions to the Käher-Ricci flow on a numerically effective manifold does not depend on the initial metric. More precisely if there exists a type III solution to the Kähler-Ricci flow, then any other solution starting from a different initial metric will also be Type III. This generalises previous results by Y. Zhang for the semi-ample case.