Theory, algorithms, and applications of level set methods for propagating interfaces

We review recent work on level set methods for following the evolution of complex interfaces. These techniques are based on solving initial value partial differential equations for level set functions, using techniques borrowed from hyperbolic conservation laws. Topological changes, corner and cusp development, and accurate determination of geometric properties such as curvature and normal direction are naturally obtained in this setting. The methodology results in robust, accurate, and efficient numerical algorithms for propagating interfaces in highly complex settings. We review the basic theory and approximations, describe a hierarchy of fast methods, including an extremely fast marching level set scheme for monotonically advancing fronts, based on a stationary formulation of the problem, and discuss extensions to multiple interfaces and triple points. Finally, we demonstrate the technique applied to a series of examples from geometry, material science and computer vision, including mean curvature flow, minimal surfaces, grid generation, fluid mechanics, combustion, image processing, computer vision, and etching, deposition and lithography in the microfabrication of electronic components.

[1]  J. Sethian Curvature Flow and Entropy Conditions Applied to Grid Generation , 1994 .

[2]  J. Brackbill,et al.  A continuum method for modeling surface tension , 1992 .

[3]  G. Huisken Flow by mean curvature of convex surfaces into spheres , 1984 .

[4]  P. Ronney,et al.  Simulation of front propagation at large non-dimensional flow disturbance intensities , 1994 .

[5]  J. Sethian AN ANALYSIS OF FLAME PROPAGATION , 1982 .

[6]  T. Cale,et al.  Free molecular transport and deposition in cylindrical features , 1990 .

[7]  Baba C. Vemuri,et al.  Evolutionary Fronts for Topology-Independent Shape Modeling and Recoveery , 1994, ECCV.

[8]  S. Osher,et al.  A Level Set Formulation of Eulerian Interface Capturing Methods for Incompressible Fluid Flows , 1996 .

[9]  L. Greengard,et al.  A fast algorithm for the evaluation of heat potentials , 1990 .

[10]  James A. Sethian,et al.  Image Processing: Flows under Min/Max Curvature and Mean Curvature , 1996, CVGIP Graph. Model. Image Process..

[11]  M. Gage,et al.  The heat equation shrinking convex plane curves , 1986 .

[12]  Maurizio Falcone The minimum time problem and its applications to front propagation , 1994 .

[13]  Michael S. Yeung,et al.  Extension of the Hopkins theory of partially coherent imaging to include thin-film interference effects , 1993, Advanced Lithography.

[14]  Alfred M. Bruckstein,et al.  Shape offsets via level sets , 1993, Comput. Aided Des..

[15]  Krishna C. Saraswat,et al.  Monte Carlo low pressure deposition profile simulations , 1991 .

[16]  L. Talbot,et al.  Flame induced vorticity: Effects of stretch , 1988 .

[17]  S. Osher,et al.  A level set approach for computing solutions to incompressible two-phase flow , 1994 .

[18]  S. Osher,et al.  Motion of multiple junctions: a level set approach , 1994 .

[19]  Jitendra Malik,et al.  Scale-Space and Edge Detection Using Anisotropic Diffusion , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[20]  L. Bronsard,et al.  A numerical method for tracking curve networks moving with curvature motion , 1995 .

[21]  Matthew A. Grayson,et al.  A short note on the evolution of a surface by its mean curvature , 1989 .

[22]  James A. Sethian,et al.  Numerical Methods for Propagating Fronts , 1987 .

[23]  Y. Giga,et al.  Motion of hypersurfaces and geometric equations , 1990 .

[24]  James A. Sethian,et al.  A unified approach to noise removal, image enhancement, and shape recovery , 1996, IEEE Trans. Image Process..

[25]  James A. Sethian,et al.  Flow under Curvature: Singularity Formation, Minimal Surfaces, and Geodesics , 1993, Exp. Math..

[26]  J. Sethian A brief overview of vortex methods , 1990 .

[27]  Anthony J. Yezzi,et al.  Gradient flows and geometric active contour models , 1995, Proceedings of IEEE International Conference on Computer Vision.

[28]  James P. McVittie,et al.  SPEEDIE: a profile simulator for etching and deposition , 1991, Other Conferences.

[29]  P. Lions,et al.  User’s guide to viscosity solutions of second order partial differential equations , 1992, math/9207212.

[30]  C. W. Hirt,et al.  Volume of fluid (VOF) method for the dynamics of free boundaries , 1981 .

[31]  P. Colella,et al.  A second-order projection method for the incompressible navier-stokes equations , 1989 .

[32]  Andrew R. Neureuther,et al.  Three-dimensional simulation of optical lithography , 1991, Other Conferences.

[33]  J. Sethian Numerical algorithms for propagating interfaces: Hamilton-Jacobi equations and conservation laws , 1990 .

[34]  Guillermo Sapiro,et al.  Area and Length Preserving Geometric Invariant Scale-Spaces , 1995, IEEE Trans. Pattern Anal. Mach. Intell..

[35]  James A. Sethian,et al.  THE DERIVATION AND NUMERICAL SOLUTION OF THE EQUATIONS FOR ZERO MACH NUMBER COMBUSTION , 1985 .

[36]  Stanley Osher,et al.  Numerical solution of the high frequency asymptotic expansion for the scalar wave equation , 1995 .

[37]  J. Strain Linear stability of planar solidification fronts , 1988 .

[38]  A. Chorin Flame Advection and Propagation Algorithms , 1989 .

[39]  G. Barles Discontinuous viscosity solutions of first-order Hamilton-Jacobi equations: a guided visit , 1993 .

[40]  David L. Chopp,et al.  Computation of Self-Similar Solutions for Mean Curvature Flow , 1994, Exp. Math..

[41]  D. Chopp Computing Minimal Surfaces via Level Set Curvature Flow , 1993 .

[42]  James A. Sethian,et al.  Vortex methods and vortex motion , 1991 .

[43]  P. Gács,et al.  Algorithms , 1992 .

[44]  P. Lax Hyperbolic Systems of Conservation Laws and the Mathematical Theory of Shock Waves , 1987 .

[45]  G. Barles,et al.  Convergence of approximation schemes for fully nonlinear second order equations , 1991 .

[46]  Patrick M. Knupp,et al.  Fundamentals of Grid Generation , 2020 .

[47]  Baba C. Vemuri,et al.  Shape Modeling with Front Propagation: A Level Set Approach , 1995, IEEE Trans. Pattern Anal. Mach. Intell..

[48]  J. Sethian,et al.  A level set approach to a unified model for etching, deposition, and lithography II: three-dimensional simulations , 1995 .

[49]  E. Rouy,et al.  A viscosity solutions approach to shape-from-shading , 1992 .

[50]  R Malladi,et al.  Image processing via level set curvature flow. , 1995, Proceedings of the National Academy of Sciences of the United States of America.

[51]  T. Cale,et al.  Free molecular transport and deposition in long rectangular trenches , 1990 .

[52]  T. Ilmanen Elliptic regularization and partial regularity for motion by mean curvature , 1994 .

[53]  V. Caselles,et al.  A geometric model for active contours in image processing , 1993 .

[54]  J. Sethian Level set methods : evolving interfaces in geometry, fluid mechanics, computer vision, and materials science , 1996 .

[55]  P. Lions,et al.  Some Properties of Viscosity Solutions of Hamilton-Jacobi Equations. , 1984 .

[56]  James A. Sethian,et al.  Level set and fast marching methods in image processing and computer vision , 1996, Proceedings of 3rd IEEE International Conference on Image Processing.

[57]  I. Katardjiev,et al.  Precision modeling of the mask–substrate evolution during ion etching , 1988 .

[58]  L. Rudin,et al.  Nonlinear total variation based noise removal algorithms , 1992 .

[59]  D. Kinderlehrer,et al.  Morphological Stability of a Particle Growing by Diffusion or Heat Flow , 1963 .

[60]  J. Sethian,et al.  Dynamical behaviour of a premixed turbulent open V-flame , 1995 .

[61]  Andrew R. Neureuther,et al.  3D Lithography, Etching, and Deposition Simulation (Sample-3D) , 1991, 1991 Symposium on VLSI Technology.

[62]  M. Grayson The heat equation shrinks embedded plane curves to round points , 1987 .

[63]  G. Huisken,et al.  Interior estimates for hypersurfaces moving by mean curvature , 1991 .

[64]  J. E. Hilliard,et al.  Free Energy of a Nonuniform System. I. Interfacial Free Energy , 1958 .

[65]  Kenneth A. Brakke,et al.  The motion of a surface by its mean curvature , 2015 .

[66]  P. Lions,et al.  Image selective smoothing and edge detection by nonlinear diffusion. II , 1992 .

[67]  Guy Barles,et al.  Remarks on a flame propagation model , 1985 .

[68]  G. Buttazzo,et al.  Motion by Mean Curvature and Related Topics: Proceedings of the International Conference held at Trento, Italy, 20-24, 1992 , 1994 .

[69]  P. Colella,et al.  Local adaptive mesh refinement for shock hydrodynamics , 1989 .

[70]  J. Taylor,et al.  Overview No. 98 I—Geometric models of crystal growth , 1992 .

[71]  S. Osher,et al.  Computing interface motion in compressible gas dynamics , 1992 .

[72]  A. Chorin Numerical study of slightly viscous flow , 1973, Journal of Fluid Mechanics.

[73]  J. Sethian,et al.  Crystal growth and dendritic solidification , 1992 .

[74]  P. Souganidis Approximation schemes for viscosity solutions of Hamilton-Jacobi equations , 1985 .

[75]  Demetri Terzopoulos,et al.  Constraints on Deformable Models: Recovering 3D Shape and Nonrigid Motion , 1988, Artif. Intell..

[76]  S. Osher,et al.  Uniformly high order accurate essentially non-oscillatory schemes, 111 , 1987 .

[77]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[78]  William H. Press,et al.  Numerical recipes , 1990 .

[79]  L. Rudin,et al.  Feature-oriented image enhancement using shock filters , 1990 .

[80]  J. Sethian Curvature and the evolution of fronts , 1985 .

[81]  L. Evans,et al.  Motion of level sets by mean curvature IV , 1995 .

[82]  James A. Sethian,et al.  A Level Set Approach to a Unified Model for Etching, Deposition, and Lithography I: Algorithms and T , 1995 .

[83]  Laurent D. Cohen,et al.  On active contour models and balloons , 1991, CVGIP Image Underst..

[84]  Yun-Gang Chen,et al.  Uniqueness and existence of viscosity solutions of generalized mean curvature flow equations , 1989 .

[85]  John Strain,et al.  Velocity effects in unstable solidification , 1990 .

[86]  P. Souganidis,et al.  Phase Transitions and Generalized Motion by Mean Curvature , 1992 .

[87]  A. Chorin Numerical Solution of the Navier-Stokes Equations* , 1989 .

[88]  T. Ilmanen Generalized flow of sets by mean curvature on a manifold , 1992 .

[89]  Ron Kimmel Curve Evolution On Surfaces , 1995 .

[90]  J. Sethian,et al.  Projection methods coupled to level set interface techniques , 1992 .

[91]  W. F. Noh,et al.  SLIC (simple line interface calculation). [Usable in 1, 2, or 3 space dimensions] , 1976 .

[92]  J. Sethian Turbulent combustion in open and closed vessels , 1984 .

[93]  L. Evans,et al.  Motion of level sets by mean curvature. II , 1992 .

[94]  J A Sethian,et al.  A fast marching level set method for monotonically advancing fronts. , 1996, Proceedings of the National Academy of Sciences of the United States of America.

[95]  M. Falcone,et al.  An approximation scheme for the minimum time function , 1990 .

[96]  R. LeVeque Numerical methods for conservation laws , 1990 .

[97]  H. Soner,et al.  Level set approach to mean curvature flow in arbitrary codimension , 1996 .

[98]  S. Osher,et al.  Stable and entropy satisfying approximations for transonic flow calculations , 1980 .

[99]  D. Scharfetter,et al.  Numerical Algorithms For Precise Calculation Of Surface Movement In 3-D Topography Simulation , 1993, [Proceedings] 1993 International Workshop on VLSI Process and Device Modeling (1993 VPAD).

[100]  J. Castillo Mathematical Aspects of Numerical Grid Generation , 1991, Frontiers in Applied Mathematics.

[101]  J. Strain A boundary integral approach to unstable solidification , 1989 .

[102]  L. Evans,et al.  Motion of level sets by mean curvature III , 1992 .

[103]  M. Falcone,et al.  Level Sets of Viscosity Solutions: some Applications to Fronts and Rendez-vous Problems , 1994, SIAM J. Appl. Math..

[104]  Yoshikazu Giga,et al.  Global existence of weak solutions for interface equations coupled with diffusion equations , 1992 .

[105]  M. Gage Curve shortening makes convex curves circular , 1984 .

[106]  T. Cale,et al.  A unified line‐of‐sight model of deposition in rectangular trenches , 1990 .

[107]  J. Sethian,et al.  A Fast Level Set Method for Propagating Interfaces , 1995 .