-
Riemannian gradient descent for spherical area-preserving map**s
Authors:
Marco Sutti,
Mei-Heng Yueh
Abstract:
We propose a new Riemannian gradient descent method for computing spherical area-preserving map**s of topological spheres using a Riemannian retraction-based framework with theoretically guaranteed convergence. The objective function is based on the stretch energy functional, and the minimization is constrained on a power manifold of unit spheres embedded in 3-dimensional Euclidean space. Numeri…
▽ More
We propose a new Riemannian gradient descent method for computing spherical area-preserving map**s of topological spheres using a Riemannian retraction-based framework with theoretically guaranteed convergence. The objective function is based on the stretch energy functional, and the minimization is constrained on a power manifold of unit spheres embedded in 3-dimensional Euclidean space. Numerical experiments on several mesh models demonstrate the accuracy and stability of the proposed framework. Comparisons with two existing state-of-the-art methods for computing area-preserving map**s demonstrate that our algorithm is both competitive and more efficient. Finally, we present a concrete application to the problem of landmark-aligned surface registration of two brain models.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Convergent Authalic Energy Minimization for Disk Area-Preserving Parameterizations
Authors:
Shu-Yung Liu,
Mei-Heng Yueh
Abstract:
An area-preserving parameterization is a bijective map** that maps a surface onto a specified domain and preserves the local area. This paper formulates the computation of disk area-preserving parameterization as an authalic energy minimization (AEM) problem and proposes a novel preconditioned nonlinear conjugate gradient method for the AEM with guaranteed theoretical convergence. Numerical expe…
▽ More
An area-preserving parameterization is a bijective map** that maps a surface onto a specified domain and preserves the local area. This paper formulates the computation of disk area-preserving parameterization as an authalic energy minimization (AEM) problem and proposes a novel preconditioned nonlinear conjugate gradient method for the AEM with guaranteed theoretical convergence. Numerical experiments indicate that our new approach has significantly improved area-preserving accuracy and computational efficiency compared to another state-of-the-art algorithm. Furthermore, we present an application of surface registration to illustrate the practical utility of area-preserving map**s as parameterizations of surfaces.
△ Less
Submitted 7 November, 2023; v1 submitted 21 July, 2023;
originally announced July 2023.
-
Convergence Analysis of Volumetric Stretch Energy Minimization and its Associated Optimal Mass Transport
Authors:
Tsung-Ming Huang,
Wei-Hung Liao,
Wen-Wei Lin,
Mei-Heng Yueh,
Shing-Tung Yau
Abstract:
The volumetric stretch energy has been widely applied to the computation of volume-/mass-preserving parameterizations of simply connected tetrahedral mesh models. However, this approach still lacks theoretical support. In this paper, we provide the theoretical foundation for volumetric stretch energy minimization (VSEM) to compute volume-/mass-preserving parameterizations. In addition, we develop…
▽ More
The volumetric stretch energy has been widely applied to the computation of volume-/mass-preserving parameterizations of simply connected tetrahedral mesh models. However, this approach still lacks theoretical support. In this paper, we provide the theoretical foundation for volumetric stretch energy minimization (VSEM) to compute volume-/mass-preserving parameterizations. In addition, we develop an associated efficient VSEM algorithm with guaranteed asymptotic R-linear convergence. Furthermore, based on the VSEM algorithm, we propose a projected gradient method for the computation of the volume/mass-preserving optimal mass transport map with a guaranteed convergence rate of $\mathcal{O}(1/m)$, and combined with Nesterov-based acceleration, the guaranteed convergence rate becomes $\mathcal{O}(1/m^2)$. Numerical experiments are presented to justify the theoretical convergence behavior for various examples drawn from known benchmark models. Moreover, these numerical experiments show the effectiveness and accuracy of the proposed algorithm, particularly in the processing of 3D medical MRI brain images.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Convergence Analysis of Dirichlet Energy Minimization for Spherical Conformal Parameterizations
Authors:
Wei-Hung Liao,
Tsung-Ming Huang,
Wen-Wei Lin,
Mei-Heng Yueh
Abstract:
In this paper, we first derive a theoretical basis for spherical conformal parameterizations between a simply connected closed surface $\mathcal{S}$ and a unit sphere $\mathbb{S}^2$ by minimizing the Dirichlet energy on $\overline{\mathbb{C}}$ by stereographic projection. The Dirichlet energy can be rewritten as the sum of the energies associated with the southern and northern hemispheres and can…
▽ More
In this paper, we first derive a theoretical basis for spherical conformal parameterizations between a simply connected closed surface $\mathcal{S}$ and a unit sphere $\mathbb{S}^2$ by minimizing the Dirichlet energy on $\overline{\mathbb{C}}$ by stereographic projection. The Dirichlet energy can be rewritten as the sum of the energies associated with the southern and northern hemispheres and can be decreased under an equivalence relation by alternatingly solving the corresponding Laplacian equations. Based on this theoretical foundation, we develop a modified Dirichlet energy minimization with nonequivalence deflation for the computation of the spherical conformal parameterization between $\mathcal{S}$ and $\mathbb{S}^2$. In addition, under some mild conditions, we verify the asymptotically R-linear convergence of the proposed algorithm. Numerical experiments on various benchmarks confirm that the assumptions for convergence always hold and indicate the efficiency, reliability and robustness of the developed modified Dirichlet energy minimization.
△ Less
Submitted 30 June, 2022;
originally announced June 2022.
-
Theoretical Foundation of the Stretch Energy Minimization for Area-Preserving Map**s
Authors:
Mei-Heng Yueh
Abstract:
The stretch energy is a fully nonlinear energy functional that has been applied to the numerical computation of area-preserving map**s. However, this approach lacks theoretical support and the analysis is complicated due to the full nonlinearity of the functional. In this paper, we provide a theoretical foundation of the stretch energy minimization for the computation of area-preserving map**s…
▽ More
The stretch energy is a fully nonlinear energy functional that has been applied to the numerical computation of area-preserving map**s. However, this approach lacks theoretical support and the analysis is complicated due to the full nonlinearity of the functional. In this paper, we provide a theoretical foundation of the stretch energy minimization for the computation of area-preserving map**s, including a neat formulation of the gradient of the functional, and the proof of the minimizers of the functional being area-preserving map**s. In addition, the geometric interpretation of the stretch energy is also provided to better understand this energy functional. Furthermore, numerical experiments are demonstrated to validate the effectiveness and accuracy of the stretch energy minimization for the computation of square-shaped area-preserving map**s of simplicial surfaces.
△ Less
Submitted 28 May, 2022;
originally announced May 2022.
-
Graph invariants from ideas in physics and number theory
Authors:
An Huang,
Shing-Tung Yau,
Mei-Heng Yueh
Abstract:
We study free scalar field theory on a graph, which gives rise to a modified version of discrete Green's function on a graph studied in \cite{CY}. We show that this gives rise to a graph invariant, which is closely related to the 2-dim Weisfeiler-Lehman algorithm for graph isomorphism testing. We complement this invariant by another type of graph invariants, coming from viewing graphs as quadratic…
▽ More
We study free scalar field theory on a graph, which gives rise to a modified version of discrete Green's function on a graph studied in \cite{CY}. We show that this gives rise to a graph invariant, which is closely related to the 2-dim Weisfeiler-Lehman algorithm for graph isomorphism testing. We complement this invariant by another type of graph invariants, coming from viewing graphs as quadratic forms over the integers. We explain that the combination of these two ideas give rise to an interesting approach to the graph isomorphism problem.
△ Less
Submitted 16 June, 2015; v1 submitted 19 September, 2014;
originally announced September 2014.