-
Lessons From Red Teaming 100 Generative AI Products
Authors:
Blake Bullwinkel,
Amanda Minnich,
Shiven Chawla,
Gary Lopez,
Martin Pouliot,
Whitney Maxwell,
Joris de Gruyter,
Katherine Pratt,
Saphir Qi,
Nina Chikanov,
Roman Lutz,
Raja Sekhar Rao Dheekonda,
Bolor-Erdene Jagdagdorj,
Eugenia Kim,
Justin Song,
Keegan Hines,
Daniel Jones,
Giorgio Severi,
Richard Lundeen,
Sam Vaughan,
Victoria Westerhoff,
Pete Bryan,
Ram Shankar Siva Kumar,
Yonatan Zunger,
Chang Kawaguchi
, et al. (1 additional authors not shown)
Abstract:
In recent years, AI red teaming has emerged as a practice for probing the safety and security of generative AI systems. Due to the nascency of the field, there are many open questions about how red teaming operations should be conducted. Based on our experience red teaming over 100 generative AI products at Microsoft, we present our internal threat model ontology and eight main lessons we have lea…
▽ More
In recent years, AI red teaming has emerged as a practice for probing the safety and security of generative AI systems. Due to the nascency of the field, there are many open questions about how red teaming operations should be conducted. Based on our experience red teaming over 100 generative AI products at Microsoft, we present our internal threat model ontology and eight main lessons we have learned:
1. Understand what the system can do and where it is applied
2. You don't have to compute gradients to break an AI system
3. AI red teaming is not safety benchmarking
4. Automation can help cover more of the risk landscape
5. The human element of AI red teaming is crucial
6. Responsible AI harms are pervasive but difficult to measure
7. LLMs amplify existing security risks and introduce new ones
8. The work of securing AI systems will never be complete
By sharing these insights alongside case studies from our operations, we offer practical recommendations aimed at aligning red teaming efforts with real world risks. We also highlight aspects of AI red teaming that we believe are often misunderstood and discuss open questions for the field to consider.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
PyRIT: A Framework for Security Risk Identification and Red Teaming in Generative AI System
Authors:
Gary D. Lopez Munoz,
Amanda J. Minnich,
Roman Lutz,
Richard Lundeen,
Raja Sekhar Rao Dheekonda,
Nina Chikanov,
Bolor-Erdene Jagdagdorj,
Martin Pouliot,
Shiven Chawla,
Whitney Maxwell,
Blake Bullwinkel,
Katherine Pratt,
Joris de Gruyter,
Charlotte Siska,
Pete Bryan,
Tori Westerhoff,
Chang Kawaguchi,
Christian Seifert,
Ram Shankar Siva Kumar,
Yonatan Zunger
Abstract:
Generative Artificial Intelligence (GenAI) is becoming ubiquitous in our daily lives. The increase in computational power and data availability has led to a proliferation of both single- and multi-modal models. As the GenAI ecosystem matures, the need for extensible and model-agnostic risk identification frameworks is growing. To meet this need, we introduce the Python Risk Identification Toolkit…
▽ More
Generative Artificial Intelligence (GenAI) is becoming ubiquitous in our daily lives. The increase in computational power and data availability has led to a proliferation of both single- and multi-modal models. As the GenAI ecosystem matures, the need for extensible and model-agnostic risk identification frameworks is growing. To meet this need, we introduce the Python Risk Identification Toolkit (PyRIT), an open-source framework designed to enhance red teaming efforts in GenAI systems. PyRIT is a model- and platform-agnostic tool that enables red teamers to probe for and identify novel harms, risks, and jailbreaks in multimodal generative AI models. Its composable architecture facilitates the reuse of core building blocks and allows for extensibility to future models and modalities. This paper details the challenges specific to red teaming generative AI systems, the development and features of PyRIT, and its practical applications in real-world scenarios.
△ Less
Submitted 1 October, 2024;
originally announced October 2024.
-
Phi-3 Safety Post-Training: Aligning Language Models with a "Break-Fix" Cycle
Authors:
Emman Haider,
Daniel Perez-Becker,
Thomas Portet,
Piyush Madan,
Amit Garg,
Atabak Ashfaq,
David Majercak,
Wen Wen,
Dongwoo Kim,
Ziyi Yang,
Jianwen Zhang,
Hiteshi Sharma,
Blake Bullwinkel,
Martin Pouliot,
Amanda Minnich,
Shiven Chawla,
Solianna Herrera,
Shahed Warreth,
Maggie Engler,
Gary Lopez,
Nina Chikanov,
Raja Sekhar Rao Dheekonda,
Bolor-Erdene Jagdagdorj,
Roman Lutz,
Richard Lundeen
, et al. (6 additional authors not shown)
Abstract:
Recent innovations in language model training have demonstrated that it is possible to create highly performant models that are small enough to run on a smartphone. As these models are deployed in an increasing number of domains, it is critical to ensure that they are aligned with human preferences and safety considerations. In this report, we present our methodology for safety aligning the Phi-3…
▽ More
Recent innovations in language model training have demonstrated that it is possible to create highly performant models that are small enough to run on a smartphone. As these models are deployed in an increasing number of domains, it is critical to ensure that they are aligned with human preferences and safety considerations. In this report, we present our methodology for safety aligning the Phi-3 series of language models. We utilized a "break-fix" cycle, performing multiple rounds of dataset curation, safety post-training, benchmarking, red teaming, and vulnerability identification to cover a variety of harm areas in both single and multi-turn scenarios. Our results indicate that this approach iteratively improved the performance of the Phi-3 models across a wide range of responsible AI benchmarks. Finally, we include additional red teaming strategies and evaluations that were used to test the safety behavior of Phi-3.5-mini and Phi-3.5-MoE, which were optimized for multilingual capabilities.
△ Less
Submitted 22 August, 2024; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Design and Preliminary Evaluation of a Torso Stabiliser for Individuals with Spinal Cord Injury
Authors:
Rejin John Varghese,
Man-Yan Tong,
Isabella Szczech,
Peter Bryan,
Magnus Aronson-Arminoff,
Dario Farina,
Etienne Burdet
Abstract:
Spinal cord injuries generally result in sensory and mobility impairments, with torso instability being particularly debilitating. Existing torso stabilisers are often rigid and restrictive. We present an early investigation into a non-restrictive 1 degree-of-freedom (DoF) mechanical torso stabiliser inspired by devices such as centrifugal clutches and seat-belt mechanisms. First, the paper presen…
▽ More
Spinal cord injuries generally result in sensory and mobility impairments, with torso instability being particularly debilitating. Existing torso stabilisers are often rigid and restrictive. We present an early investigation into a non-restrictive 1 degree-of-freedom (DoF) mechanical torso stabiliser inspired by devices such as centrifugal clutches and seat-belt mechanisms. First, the paper presents a motion-capture (MoCap) and OpenSim-based kinematic analysis of the cable-based system to understand the requisite device characteristics. The evaluation in simulation resulted in the cable-based device to require 55-60\,cm of unrestricted travel, and to lock at a threshold cable velocity of 80-100\,cm/s. Next, the developed 1-DoF device is introduced. The proposed mechanical device is transparent during activities of daily living, and transitions to compliant blocking when incipient fall is detected. Prototype behaviour was then validated using a MoCap-based kinematic analysis to verify non-restrictive movement, reliable transition to blocking, and compliance of the blocking.
△ Less
Submitted 7 February, 2025; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Sharp distance comparison for curve shortening flow on the round sphere
Authors:
Paul Bryan,
Mat Langford,
Jonathan J. Zhu
Abstract:
We prove that curve shortening flow on the round sphere displays sharp chord-arc improvement, precisely as in the planar setting (Andrews and Bryan, Comm. Anal. Geom., 2011). As in the planar case, the sharp estimate implies control on the curvature, resulting in a direct and efficient proof that simple spherical curves either contract to round points (in finite time) or converge to great circles…
▽ More
We prove that curve shortening flow on the round sphere displays sharp chord-arc improvement, precisely as in the planar setting (Andrews and Bryan, Comm. Anal. Geom., 2011). As in the planar case, the sharp estimate implies control on the curvature, resulting in a direct and efficient proof that simple spherical curves either contract to round points (in finite time) or converge to great circles (in infinite time).
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Deep Unrolled Recovery in Sparse Biological Imaging
Authors:
Yair Ben Sahel,
John P. Bryan,
Brian Cleary,
Samouil L. Farhi,
Yonina C. Eldar
Abstract:
Deep algorithm unrolling has emerged as a powerful model-based approach to develop deep architectures that combine the interpretability of iterative algorithms with the performance gains of supervised deep learning, especially in cases of sparse optimization. This framework is well-suited to applications in biological imaging, where physics-based models exist to describe the measurement process an…
▽ More
Deep algorithm unrolling has emerged as a powerful model-based approach to develop deep architectures that combine the interpretability of iterative algorithms with the performance gains of supervised deep learning, especially in cases of sparse optimization. This framework is well-suited to applications in biological imaging, where physics-based models exist to describe the measurement process and the information to be recovered is often highly structured. Here, we review the method of deep unrolling, and show how it improves source localization in several biological imaging settings.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Constant rank theorems for curvature problems via a viscosity approach
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
An important set of theorems in geometric analysis consists of constant rank theorems for a wide variety of curvature problems. In this paper, for geometric curvature problems in compact and non-compact settings, we provide new proofs which are both elementary and short. Moreover, we employ our method to obtain constant rank theorems for homogeneous and non-homogeneous curvature equations in new g…
▽ More
An important set of theorems in geometric analysis consists of constant rank theorems for a wide variety of curvature problems. In this paper, for geometric curvature problems in compact and non-compact settings, we provide new proofs which are both elementary and short. Moreover, we employ our method to obtain constant rank theorems for homogeneous and non-homogeneous curvature equations in new geometric settings. One of the essential ingredients for our method is a generalization of a differential inequality in a viscosity sense satisfied by the smallest eigenvalue of a linear map (Brendle-Choi-Daskalopoulos, Acta Math. 219(2017): 1-16) to the one for the subtrace. The viscosity approach provides a concise way to work around the well known technical hurdle that eigenvalues are only Lipschitz in general. This paves the way for a simple induction argument.
△ Less
Submitted 14 December, 2020; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Christoffel-Minkowski flows
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
We provide a curvature flow approach to the regular Christoffel-Minkowski problem. The speed of our curvature flow is of an entropy preserving type and contains a global term.
We provide a curvature flow approach to the regular Christoffel-Minkowski problem. The speed of our curvature flow is of an entropy preserving type and contains a global term.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Orlicz-Minkowski flows
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
We study the long-time existence and behavior for a class of anisotropic non-homogeneous Gauss curvature flows whose stationary solutions, if exist, solve the regular Orlicz-Minkowski problems. As an application, we obtain old and new results for the regular even Orlicz-Minkowski problems; the corresponding $L_p$ version is the even $L_p$-Minkowski problem for $p>-n-1$. Moreover, employing a parab…
▽ More
We study the long-time existence and behavior for a class of anisotropic non-homogeneous Gauss curvature flows whose stationary solutions, if exist, solve the regular Orlicz-Minkowski problems. As an application, we obtain old and new results for the regular even Orlicz-Minkowski problems; the corresponding $L_p$ version is the even $L_p$-Minkowski problem for $p>-n-1$. Moreover, employing a parabolic approximation method, we give new proofs of some of the existence results for the general Orlicz-Minkowski problems; the $L_p$ versions are the even $L_p$-Minkowski problem for $p>0$ and the $L_p$-Minkowski problem for $p>1$. In the final section, we use a curvature flow with no global term to solve a class of $L_p$-Christoffel-Minkowski type problems.
△ Less
Submitted 30 April, 2020;
originally announced May 2020.
-
Parabolic approaches to curvature equations
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
We employ curvature flows without global terms to seek strictly convex, spacelike solutions of a broad class of elliptic prescribed curvature equations in the simply connected Riemannian spaceforms and the Lorentzian de Sitter space, where the prescribed function may depend on the position and the normal vector. In particular, in the Euclidean space we solve a class of prescribed curvature measure…
▽ More
We employ curvature flows without global terms to seek strictly convex, spacelike solutions of a broad class of elliptic prescribed curvature equations in the simply connected Riemannian spaceforms and the Lorentzian de Sitter space, where the prescribed function may depend on the position and the normal vector. In particular, in the Euclidean space we solve a class of prescribed curvature measure problems, intermediate $L_p$-Aleksandrov and dual Minkowski problems as well as their counterparts, namely the $L_{p}$-Christoffel-Minkowski type problems. In some cases we do not impose any condition on the anisotropy except positivity, and in the remaining cases our condition resembles the constant rank theorem/convexity principle due to Caffarelli-Guan-Ma (Commun. Pure Appl. Math. 60 (2007), 1769--1791). Our approach does not rely on monotone entropy functionals and it is suitable to treat curvature problems that do not possess variational structures.
△ Less
Submitted 24 October, 2020; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Negatively Curved Three-Manifolds, Hyperbolic Metrics, Isometric Embeddings In Minkowski Space And The Cross Curvature Flow
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
This short note is a mostly expository article examining negatively curved three-manifolds. We look at some rigidity properties related to isometric embeddings into Minkowski space. We also review the Cross Curvature Flow (XCF) as a tool to study the space of negatively curved metrics on hyperbolic three-manifolds, the largest and least understood class of model geometries in Thurston's Geometrisa…
▽ More
This short note is a mostly expository article examining negatively curved three-manifolds. We look at some rigidity properties related to isometric embeddings into Minkowski space. We also review the Cross Curvature Flow (XCF) as a tool to study the space of negatively curved metrics on hyperbolic three-manifolds, the largest and least understood class of model geometries in Thurston's Geometrisation. The relationship between integrability and embedability yields interesting insights, and we show that solutions with fixed Einstein volume are precisely the integrable solutions, answering a question posed by Chow and Hamilton when they introduced the XCF.
△ Less
Submitted 19 June, 2019; v1 submitted 5 June, 2019;
originally announced June 2019.
-
Li-Yau gradient estimates for curvature flows in positively curved manifolds
Authors:
Paul Bryan,
Heiko Kröner,
Julian Scheuer
Abstract:
We prove differential Harnack inequalities for flows of strictly convex hypersurfaces by powers $p$, $0<p<1$, of the mean curvature in Einstein manifolds with a positive lower bound on the sectional curvature. We assume that this lower bound is sufficiently large compared to the derivatives of the curvature tensor of the ambient space and that the mean curvature of the initial hypersurface is suff…
▽ More
We prove differential Harnack inequalities for flows of strictly convex hypersurfaces by powers $p$, $0<p<1$, of the mean curvature in Einstein manifolds with a positive lower bound on the sectional curvature. We assume that this lower bound is sufficiently large compared to the derivatives of the curvature tensor of the ambient space and that the mean curvature of the initial hypersurface is sufficiently large compared to the ambient geometry. We also obtain some new Harnack inequalities for more general curvature flows in the sphere, as well as a monotonicity estimate for the mean curvature flow in non-negatively curved, locally symmetric spaces.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Heat kernels and regularity for rough metrics on smooth manifolds
Authors:
Lashi Bandara,
Paul Bryan
Abstract:
We consider rough metrics on smooth manifolds and corresponding Laplacians induced by such metrics. We demonstrate that globally continuous heat kernels exist and are Hölder continuous locally in space and time. This is done via local parabolic Harnack estimates for weak solutions of operators in divergence form with bounded measurable coefficients in weighted Sobolev spaces.
We consider rough metrics on smooth manifolds and corresponding Laplacians induced by such metrics. We demonstrate that globally continuous heat kernels exist and are Hölder continuous locally in space and time. This is done via local parabolic Harnack estimates for weak solutions of operators in divergence form with bounded measurable coefficients in weighted Sobolev spaces.
△ Less
Submitted 20 July, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
-
Harnack inequalities for curvature flows in Riemannian and Lorentzian manifolds
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
We obtain Harnack estimates for a class of curvature flows in Riemannian manifolds of constant non-negative sectional curvature as well as in the Lorentzian Minkowski and de Sitter spaces. Furthermore, we prove a Harnack estimate with a bonus term for mean curvature flow in locally symmetric Riemannian Einstein manifold of non-negative sectional curvature. Using a concept of "duality" for strictly…
▽ More
We obtain Harnack estimates for a class of curvature flows in Riemannian manifolds of constant non-negative sectional curvature as well as in the Lorentzian Minkowski and de Sitter spaces. Furthermore, we prove a Harnack estimate with a bonus term for mean curvature flow in locally symmetric Riemannian Einstein manifold of non-negative sectional curvature. Using a concept of "duality" for strictly convex hypersurfaces, we also obtain a new type of inequalities, so-called "pseudo"-Harnack inequalities, for expanding flows in the sphere and in the hyperbolic space.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
A unified flow approach to smooth, even $L_p$-Minkowski problems
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
We study long-time existence and asymptotic behaviour for a class of anisotropic, expanding curvature flows. For this we adapt new curvature estimates, which were developed by Guan, Ren and Wang to treat some stationary prescribed curvature problems. As an application we give a unified flow approach to the existence of smooth, even $L_p$-Minkowski problems in $\mathbb{R}^{n+1}$ for $p>-n-1.$
We study long-time existence and asymptotic behaviour for a class of anisotropic, expanding curvature flows. For this we adapt new curvature estimates, which were developed by Guan, Ren and Wang to treat some stationary prescribed curvature problems. As an application we give a unified flow approach to the existence of smooth, even $L_p$-Minkowski problems in $\mathbb{R}^{n+1}$ for $p>-n-1.$
△ Less
Submitted 6 May, 2018; v1 submitted 9 August, 2016;
originally announced August 2016.
-
On the classification of ancient solutions to curvature flows on the sphere
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
We consider the evolution of hypersurfaces on the unit sphere $\mathbb{S}^{n+1}$ by smooth functions of the Weingarten map. We introduce the notion of `quasi-ancient' solutions for flows that do not admit non-trivial, convex, ancient solutions. Such solutions are somewhat analogous to ancient solutions for flows such as the mean curvature flow, or 1-homogeneous flows. The techniques presented here…
▽ More
We consider the evolution of hypersurfaces on the unit sphere $\mathbb{S}^{n+1}$ by smooth functions of the Weingarten map. We introduce the notion of `quasi-ancient' solutions for flows that do not admit non-trivial, convex, ancient solutions. Such solutions are somewhat analogous to ancient solutions for flows such as the mean curvature flow, or 1-homogeneous flows. The techniques presented here allow us to prove that any convex, quasi-ancient solution of a curvature flow which satisfies a backwards in time uniform bound on mean curvature must be stationary or a family of shrinking geodesic spheres. The main tools are geometric, employing the maximum principle, a rigidity result in the sphere and an Alexandrov reflection argument. We emphasize that no homogeneity or convexity/concavity restrictions are placed on the speed, though we do also offer a short classification proof for several such restricted cases.
△ Less
Submitted 6 April, 2017; v1 submitted 6 April, 2016;
originally announced April 2016.
-
Harnack inequalities for evolving hypersurfaces on the sphere
Authors:
Paul Bryan,
Mohammad N. Ivaki,
Julian Scheuer
Abstract:
We prove Harnack inequalities for hypersurfaces flowing on the unit sphere by $p$-powers of a strictly monotone, 1-homogeneous, convex, curvature function $f$, $0<p\leq 1.$ If $f$ is the mean curvature, we obtain stronger Harnack inequalities.
We prove Harnack inequalities for hypersurfaces flowing on the unit sphere by $p$-powers of a strictly monotone, 1-homogeneous, convex, curvature function $f$, $0<p\leq 1.$ If $f$ is the mean curvature, we obtain stronger Harnack inequalities.
△ Less
Submitted 14 August, 2016; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Harnack estimate for mean curvature flow on the sphere
Authors:
Paul Bryan,
Mohammad N. Ivaki
Abstract:
We consider the evolution of hypersurfaces on the unit sphere $\mathbb{S}^{n+1}$ by their mean curvature. We prove a differential Harnack inequality for any weakly convex solution to the mean curvature flow. As an application, by applying an Aleksandrov reflection argument, we classify convex, ancient solutions of the mean curvature flow on the sphere.
We consider the evolution of hypersurfaces on the unit sphere $\mathbb{S}^{n+1}$ by their mean curvature. We prove a differential Harnack inequality for any weakly convex solution to the mean curvature flow. As an application, by applying an Aleksandrov reflection argument, we classify convex, ancient solutions of the mean curvature flow on the sphere.
△ Less
Submitted 6 June, 2019; v1 submitted 12 August, 2015;
originally announced August 2015.
-
Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere
Authors:
Paul Bryan,
Janelle Louie
Abstract:
We prove that the only closed, embedded ancient solutions to the curve shortening flow on $\mathbb{S}^2$ are equators or shrinking circles, starting at an equator at time $t=-\infty$ and collapsing to the north pole at time $t=0$. To obtain the result, we first prove a Harnack inequality for the curve shortening flow on the sphere. Then an application of the Gauss-Bonnet, easily allows us to obtai…
▽ More
We prove that the only closed, embedded ancient solutions to the curve shortening flow on $\mathbb{S}^2$ are equators or shrinking circles, starting at an equator at time $t=-\infty$ and collapsing to the north pole at time $t=0$. To obtain the result, we first prove a Harnack inequality for the curve shortening flow on the sphere. Then an application of the Gauss-Bonnet, easily allows us to obtain curvature bounds for ancient solutions leading to backwards smooth convergence to an equator. To complete the proof, we use an Aleksandrov reflection argument to show that maximal symmetry is preserved under the flow.
△ Less
Submitted 29 August, 2014; v1 submitted 23 August, 2014;
originally announced August 2014.
-
Curvature bounds via an isoperimetric comparison for Ricci flow on surfaces
Authors:
Paul Bryan
Abstract:
A comparison theorem for the isoperimetric profile on the universal cover of surfaces evolving by normalised Ricci flow is proven. For any initial metric, a model comparison is constructed that initially lies below the profile of the initial metric and which converges to the profile of the constant curvature metric. The comparison theorem implies that the evolving metric is bounded below by the mo…
▽ More
A comparison theorem for the isoperimetric profile on the universal cover of surfaces evolving by normalised Ricci flow is proven. For any initial metric, a model comparison is constructed that initially lies below the profile of the initial metric and which converges to the profile of the constant curvature metric. The comparison theorem implies that the evolving metric is bounded below by the model comparison for all time and hence converges to the constant curvature profile. This yields a curvature bound and a bound on the isoperimetric constant, leading to a direct proof that the metric converges to the constant curvature metric.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
-
A comparison theorem for the isoperimetric profile under curve shortening flow
Authors:
Ben Andrews,
Paul Bryan
Abstract:
We prove a comparison theorem for the isoperimetric profiles of simple closed curves evolving by the normalized curve shortening flow: If the isoperimetric profile of the region enclosed by the initial curve is greater than that of some `model' convex region with exactly four vertices and with reflection symmetry in both axes, then the inequality remains true for the isoperimetric profiles of the…
▽ More
We prove a comparison theorem for the isoperimetric profiles of simple closed curves evolving by the normalized curve shortening flow: If the isoperimetric profile of the region enclosed by the initial curve is greater than that of some `model' convex region with exactly four vertices and with reflection symmetry in both axes, then the inequality remains true for the isoperimetric profiles of the evolved regions. We apply this using the Angenent solution as the model region to deduce sharp time-dependent upper bounds on curvature for arbitrary embedded closed curves evolving by the normalized curve shortening flow. A slightly different comparison also gives lower bounds on curvature, and the result is a simple and direct proof of Grayson's theorem without use of any blowup or compactness arguments, Harnack estimates, or classification of self-similar solutions.
△ Less
Submitted 5 April, 2011;
originally announced April 2011.
-
Curvature bounds by isoperimetric comparison for normalized Ricci flow on the two-sphere
Authors:
Ben Andrews,
Paul Bryan
Abstract:
We prove a comparison theorem for the isoperimetric profiles of solutions of the normalized Ricci flow on the two-sphere: If the isoperimetric profile of the initial metric is greater than that of some positively curved axisymmetric metric, then the inequality remains true for the isoperimetric profiles of the evolved metrics. We apply this using the Rosenau solution as the model metric to deduc…
▽ More
We prove a comparison theorem for the isoperimetric profiles of solutions of the normalized Ricci flow on the two-sphere: If the isoperimetric profile of the initial metric is greater than that of some positively curved axisymmetric metric, then the inequality remains true for the isoperimetric profiles of the evolved metrics. We apply this using the Rosenau solution as the model metric to deduce sharp time-dependent curvature bounds for arbitrary solutions of the normalized Ricci flow on the two-sphere. This gives a simple and direct proof of convergence to a constant curvature metric without use of any blowup or compactness arguments, Harnack estimates, or any classification of behaviour near singularities.
△ Less
Submitted 25 August, 2009; v1 submitted 25 August, 2009;
originally announced August 2009.
-
Curvature bound for curve shortening flow via distance comparison and a direct proof of Grayson's theorem
Authors:
Ben Andrews,
Paul Bryan
Abstract:
A new isoperimetric estimate is proved for embedded closed curves evolving by curve shortening flow, normalized to have total length $2π$. The estimate bounds the length of any chord from below in terms of the arc length between its endpoints and elapsed time. Applying the estimate to short segments we deduce directly that the maximum curvature decays exponentially to 1. This gives a self-contai…
▽ More
A new isoperimetric estimate is proved for embedded closed curves evolving by curve shortening flow, normalized to have total length $2π$. The estimate bounds the length of any chord from below in terms of the arc length between its endpoints and elapsed time. Applying the estimate to short segments we deduce directly that the maximum curvature decays exponentially to 1. This gives a self-contained proof of Grayson's theorem which does not require the monotonicity formula or the classification of singularities.
△ Less
Submitted 19 August, 2009;
originally announced August 2009.