Stephanie Wang
Skip Abstract Section
Skip Supplemental Material SectionAbstract
We describe a new algorithm that solves a classical geometric problem: Find a surface of minimal area bordered by an arbitrarily prescribed boundary curve. Existing numerical methods face challenges due to the non-convexity of the problem. Using a representation of curves and surfaces via differential forms on the ambient space, we reformulate this problem as a convex optimization. This change of variables overcomes many difficulties in previous numerical attempts and allows us to find the global minimum across all possible surface topologies. The new algorithm is based on differential forms on the ambient space and does not require handling meshes. We adopt the Alternating Direction Method of Multiplier (ADMM) to find global minimal surfaces. The resulting algorithm is simple and efficient: it boils down to an alternation between a Fast Fourier Transform (FFT) and a pointwise shrinkage operation. We also show other applications of our solver in geometry processing such as surface reconstruction.
Supplemental Material
- Andreas Arnez, Konrad Polthier, Martin Steffens, and Christian Teitzel. 2007. Touching Soap Films (Springer VideoMATH). Springer-Verlag.Google Scholar
- Moheb Sabry Aziz et al. 2016. Biomimicry as an approach for bio-inspired structure with the aid of computation. Alexandria Engineering Journal 55, 1 (2016), 707--714.Google ScholarCross Ref
- Marcel Berger. 2012. A panoramic view of Riemannian geometry. Springer Science & Business Media.Google Scholar
- Alexander I Bobenko, Tim Hoffmann, and Boris A Springborn. 2006. Minimal surfaces from circle patterns: Geometry from combinatorics. Annals of Mathematics (2006), 231--264.Google Scholar
- Alexander I Bobenko and Ulrich Pinkall. 1994. Discrete isothermic surfaces. Technical Report. SCAN-9412128.Google Scholar
- Kenneth A Brakke. 1992. The surface evolver. Experimental mathematics 1, 2 (1992), 141--165.Google Scholar
- Haïm Brezis and Petru Mironescu. 2019. The Plateau problem from the perspective of optimal transport. Comptes Rendus Mathematique 357, 7 (2019), 597--612.Google ScholarCross Ref
- Blanche Buet, Gian Paolo Leonardi, and Simon Masnou. 2018. Discretization and approximation of surfaces using varifolds. Geometric Flows 3, 1 (2018), 28--56.Google ScholarCross Ref
- Nicolas Charon and Alain Trouvé. 2014. Functional currents: a new mathematical tool to model and analyse functional shapes. Journal of mathematical imaging and vision 48, 3 (2014), 413--431.Google ScholarDigital Library
- David Cohen-Steiner, André Lieutier, and Julien Vuillamy. 2020. Lexicographic optimal homologous chains and applications to point cloud triangulations. In 36th International Symposium on Computational Geometry (SoCG 2020). Schloss Dagstuhl-Leibniz-Zentrum für Informatik.Google Scholar
- Paul Concus. 1967. Numerical solution of the minimal surface equation. Math. Comp. 21, 99 (1967), 340--350.Google ScholarCross Ref
- Keenan Crane, Ulrich Pinkall, and Peter Schröder. 2011. Spin transformations of discrete surfaces. In ACM SIGGRAPH 2011 papers. 1--10.Google ScholarDigital Library
- Mathieu Desbrun, Mark Meyer, Peter Schröder, and Alan H Barr. 1999. Implicit fairing of irregular meshes using diffusion and curvature flow. In Proceedings of the 26th annual conference on Computer graphics and interactive techniques. 317--324.Google ScholarDigital Library
- Tamal K Dey, Anil N Hirani, and Bala Krishnamoorthy. 2011. Optimal homologous cycles, total unimodularity, and linear programming. SIAM J. Comput. 40, 4 (2011), 1026--1044.Google ScholarDigital Library
- Jesse Douglas. 1927. A method of numerical solution of the problem of Plateau. Annals of Mathematics (1927), 180--188.Google Scholar
- Tevian Dray. 1999. The hodge dual operator. Oregon State University report (1999), 1--6.Google Scholar
- Nathan M Dunfield and Anil N Hirani. 2011. The least spanning area of a knot and the optimal bounding chain problem. In Proceedings of the twenty-seventh annual symposium on Computational geometry. 135--144.Google ScholarDigital Library
- Stanley Durrleman, Pierre Fillard, Xavier Pennec, Alain Trouvé, and Nicholas Ayache. 2011. Registration, atlas estimation and variability analysis of white matter fiber bundles modeled as currents. NeuroImage 55, 3 (2011), 1073--1090. Google ScholarCross Ref
- Stanley Durrleman, Xavier Pennec, Alain Trouvé, Paul Thompson, and Nicholas Ayache. 2008. Inferring brain variability from diffeomorphic deformations of currents: an integrative approach. Medical image analysis 12, 5 (2008), 626--637.Google Scholar
- Stanley Durrleman, Xavier Pennec, Alain Trouvé, and Nicholas Ayache. 2009. Statistical models of sets of curves and surfaces based on currents. Medical Image Analysis 13, 5 (2009), 793--808. Includes Special Section on the 12th International Conference on Medical Imaging and Computer Assisted Intervention. Google ScholarCross Ref
- Gerhard Dziuk. 1990. An algorithm for evolutionary surfaces. Numer. Math. 58, 1 (1990), 603--611.Google ScholarDigital Library
- Sharif Elcott, Yiying Tong, Eva Kanso, Peter Schröder, and Mathieu Desbrun. 2007. Stable, circulation-preserving, simplicial fluids. ACM Transactions on Graphics (TOG) 26, 1 (2007), 4--es.Google ScholarDigital Library
- Michele Emmer. 2013. Minimal surfaces and architecture: New forms. Nexus Network Journal 15, 2 (2013), 227.Google ScholarCross Ref
- Myfanwy E Evans and Gerd E Schröder-Turk. 2015. In a material world: Hyperbolic geometry in biological materials. Asia Pacific Mathematics Newsletter 5, 2 (2015), 21--30.Google Scholar
- Herbert Federer and Wendell H Fleming. 1960. Normal and integral currents. Annals of Mathematics (1960), 458--520.Google Scholar
- Harley Flanders. 1963. Differential forms with applications to the physical sciences by harley flanders. Elsevier.Google Scholar
- Wendell H Fleming. 2015. Geometric measure theory at brown in the 1960s.Google Scholar
- Joan Glaunes, Alain Trouvé, and Laurent Younes. 2004. Diffeomorphic matching of distributions: A new approach for unlabelled point-sets and sub-manifolds matching. In Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004., Vol. 2. IEEE, II--II.Google ScholarCross Ref
- Tom Goldstein, Brendan O'Donoghue, Simon Setzer, and Richard Baraniuk. 2014. Fast alternating direction optimization methods. SIAM Journal on Imaging Sciences 7, 3 (2014), 1588--1623.Google ScholarDigital Library
- Allen Hatcher. 2002. Algebraic topology. Cambridge University Press.Google Scholar
- Masahiro Hinata, Masaaki Shimasaki, and Takeshi Kiyono. 1974. Numerical solution of Plateau's problem by a finite element method. Math. Comp. 28, 125 (1974), 45--60.Google Scholar
- Anil Nirmal Hirani. 2003. Discrete exterior calculus. Ph.D. Dissertation. California Institute of Technology.Google ScholarDigital Library
- David Hoffman and Henri Matisse. 1987. The computer-aided discovery of new embedded minimal surfaces. The Mathematical Intelligencer 9, 3 (1987), 8--21.Google ScholarCross Ref
- Cyril Isenberg. 1978. The science of soap films and soap bubbles. Tieto Cleveton, UK.Google Scholar
- Dominic Joyce. 2003. Riemannian holonomy groups and calibrated geometry. In Calabi-Yau Manifolds and Related Geometries. Springer, 1--68.Google Scholar
- Hermann Karcher and Konrad Polthier. 1996. An introduction to minimal surfaces. http://page.mi.fu-berlin.de/polthier/booklet/architecture.htmlGoogle Scholar
- Michael Kazhdan, Matthew Bolitho, and Hugues Hoppe. 2006. Poisson surface reconstruction. In Proceedings of the fourth Eurographics symposium on Geometry processing, Vol. 7.Google ScholarDigital Library
- Michael Kazhdan, Jake Solomon, and Mirela Ben-Chen. 2012. Can mean-curvature flow be modified to be non-singular?. In Computer Graphics Forum, Vol. 31. Wiley Online Library, 1745--1754.Google Scholar
- Jacob JK Kirkensgaard, Myfanwy E Evans, Liliana De Campo, and Stephen T Hyde. 2014. Hierarchical self-assembly of a striped gyroid formed by threaded chiral mesoscale networks. Proceedings of the National Academy of Sciences 111, 4 (2014), 1271--1276.Google ScholarCross Ref
- Antoni A Kosinski. 2013. Differential manifolds. Courier Corporation.Google Scholar
- JL Lagrange. 1762. Essai d'une nouvelle méthode pour déterminer les maxima et les formules des intégrales minimum indéfinies. Œuvres de Lagrange (1867--1892) 1 (1762), 335--362.Google Scholar
- Wai Yeung Lam. 2018. Discrete minimal surfaces: critical points of the area functional from integrable systems. International Mathematics Research Notices 2018, 6 (2018), 1808--1845.Google ScholarCross Ref
- Linhu Li, Ching Hua Lee, and Jiangbin Gong. 2019. Emergence and full 3D-imaging of nodal boundary Seifert surfaces in 4D topological matter. Communications physics 2, 1 (2019), 1--11.Google Scholar
- Thomas Mollenhoff and Daniel Cremers. 2019. Lifting vectorial variational problems: a natural formulation based on geometric measure theory and discrete exterior calculus. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition. 11117--11126.Google ScholarCross Ref
- Frank Morgan. 2016. Geometric measure theory: a beginner's guide. Academic press.Google ScholarCross Ref
- Patrick Mullen, Alexander McKenzie, Yiying Tong, and Mathieu Desbrun. 2007. A variational approach to Eulerian geometry processing. ACM Transactions on Graphics (TOG) 26, 3 (2007), 66--es.Google ScholarDigital Library
- Hao Pan, Yang Liu, Alla Sheffer, Nicholas Vining, Chang-Jian Li, and Wenping Wang. 2015. Flow aligned surfacing of curve networks. ACM Transactions on Graphics (TOG) 34, 4 (2015), 1--10.Google ScholarDigital Library
- Harold Parks. 1977. Explicit determination of area minimizing hypersurfaces. Duke Mathematical Journal 44, 3 (1977), 519--534.Google ScholarCross Ref
- Harold R Parks. 1992. Numerical approximation of parametric oriented area-minimizing hypersurfaces. SIAM journal on scientific and statistical computing 13, 2 (1992), 499--511.Google Scholar
- Harold R Parks and Jon T Pitts. 1997. Computing least area hypersurfaces spanning arbitrary boundaries. SIAM Journal on Scientific Computing 18, 3 (1997), 886--917.Google ScholarDigital Library
- Harold R Parks and Jon T Pitts. 2020. Explicit determination in RN of (N - 1)-dimensional area minimizing surfaces with arbitrary boundaries. The Journal of Geometric Analysis 30, 1 (2020), 601--616.Google ScholarCross Ref
- Ulrich Pinkall and Konrad Polthier. 1993. Computing discrete minimal surfaces and their conjugates. Experimental mathematics 2, 1 (1993), 15--36.Google Scholar
- Joseph Plateau. 1873. Statique expérimentale et théorique des liquides soumis aux seules forces moléculaires. Vol. 1. Gauthier-Villars.Google Scholar
- EV Popov. 1996. On some variational formulations for minimum surface. Transactions of the Canadian Society for Mechanical Engineering 20, 4 (1996), 391--400.Google ScholarCross Ref
- Filippo Santambrogio. 2015. Optimal transport for applied mathematicians. Birkäuser, NY 55, 58-63 (2015), 94.Google Scholar
- Henrik Schumacher and Max Wardetzky. 2019. Variational convergence of discrete minimal surfaces. Numer. Math. 141, 1 (2019), 173--213.Google ScholarDigital Library
- Günter Schwarz. 2006. Hodge Decomposition-A method for solving boundary value problems. Springer.Google Scholar
- Hermann Amandus Schwarz. 1890. Gesammelte mathematische abhandlungen. Berlin J. Springer.Google Scholar
- Stefan Sechelmann and Alexander I Bobenko. 2007. Discrete minimal surfaces, Koebe polyhedra, and Alexandrov's theorem. variational principles, algorithms, and implementation. Ph.D. Dissertation. Citeseer.Google Scholar
- Yousuf Soliman, Dejan Slepčev, and Keenan Crane. 2018. Optimal cone singularities for conformal flattening. ACM Transactions on Graphics (TOG) 37, 4 (2018), 1--17.Google ScholarDigital Library
- Justin Solomon, Raif Rustamov, Leonidas Guibas, and Adrian Butscher. 2014. Earth mover's distances on discrete surfaces. ACM Transactions on Graphics (TOG) 33, 4 (2014), 1--12.Google ScholarDigital Library
- John M Sullivan. 1990. A crystalline approximation theorem for hypersurfaces. ProQuest LLC. Ann Arbor, Thesis (Ph. D.), Princeton University (1990).Google Scholar
- Marc Vaillant and Joan Glaunes. 2005. Surface matching via currents. In Biennial International Conference on Information Processing in Medical Imaging. Springer, 381--392.Google ScholarDigital Library
- H-J Wagner. 1977. A contribution to the numerical approximation of minimal surfaces. Computing 19, 1 (1977), 35--58.Google ScholarCross Ref
- Matthias Weber. 2013. Minimal surface archive. https://minimal.sitehost.iu.edu/archive/index.htmlGoogle Scholar
- Walter L Wilson. 1961. On discrete Dirichlet and Plateau problems. Numer. Math. 3, 1 (1961), 359--373.Google ScholarDigital Library
- Rundong Zhao, Mathieu Desbrun, Guo-Wei Wei, and Yiying Tong. 2019. 3D Hodge decompositions of edge-and face-based vector fields. ACM Transactions on Graphics (TOG) 38, 6 (2019), 1--13.Google ScholarDigital Library
Index Terms
Computing minimal surfaces with differential forms
Recommendations
Classification of polynomial minimal surfaces
AbstractMinimal surfaces are widely applied in Computer-Aided Design and architecture due to their elegant shapes and remarkable geometric properties. On the basis of the theoretical results of Pythagorean hodograph (PH) curves, we provide a ...
Highlights- A one-to-one correspondence between planar PH curves and polynomial minimal surfaces is studied.
Explicit form of parametric polynomial minimal surfaces with arbitrary degree
In this paper, from the viewpoint of geometric modeling in CAD, we propose an explicit parametric form of a class of polynomial minimal surfaces with arbitrary degree, which includes the classical Enneper surface for the cubic case. The proposed new ...
Parametric polynomial minimal surfaces of degree six with isothermal parameter
GMP'08: Proceedings of the 5th international conference on Advances in geometric modeling and processingIn this paper, parametric polynomial minimal surfaces of degree six with isothermal parameter are discussed. We firstly propose the sufficient and necessary condition of a harmonic polynomial parametric surface of degree six being a minimal surface. ...
Comments