Abstract:In this work, we introduce two sets of algorithms inspired by the ideas from modern geometry. One is computational conformal geometry method, including harmonic maps, holomorphic 1-forms and Ricci flow. The other one is optimization method using affine normals. In the first part, we focus on conformal geometry. Conformal structure is a natural structure of metric surfaces. The concepts and methods from conformal geometry play important roles for real applications in scientific computing, computer graphics, computer vision and medical imaging fields. This work systematically introduces the concepts, methods for numerically computing conformal structures inspired by conformal geometry. The algorithms are theoretically rigorous and practically efficient. We demonstrate the algorithms by real applications, such as surface matching, global conformal parameterization, conformal brain mapping etc. In the second part, we consider minimization of a real-valued function ƒ over ℝ n+1 and study the choice of the affine normal of the level set hypersurfaces of ƒ as a direction for minimization. The affine normal vector arises in affine differential geometry when answering the question of what hypersurfaces are invariant under unimodular affine transformations. It can be computed at points of a hypersurface from local geometry or, in an alternative description, centers of gravity of slices. In the case where ƒ is quadratic, the line passing through any chosen point parallel to its affine normal will pass through the critical point of ƒ. We study numerical techniques for calculating affine normal directions of level set surfaces of convex ƒ for minimization algorithms.

Quantifier Elimination for Normal Cone Computations

Regular and limiting normal cones for the subdifferential mapping graph of nuclear norm

Efficient and Reliable Self‐Collision Culling Using Unprojected Normal Cones

Gauss–Newton Method for Convex Composite Optimizations on Riemannian Manifolds

Projecting onto a Capped Rotated Second-Order Cone

Computing critical angles between two convex cones

Decomposed quasiconvex optimization with application to generalized cone problems

Efficient Cone Singularity Construction for Conformal Parameterizations

Nonlinear Strict Cone Separation Theorems in Real Normed Spaces

Exploiting cone approximations in an augmented Lagrangian method for conic optimization

Numerical semigroups via projections and via quotients

Adaptive computable approximation to cones of nonnegative quadratic functions

On Degenerate Doubly Nonnegative Projection Problems

Nef and Effective cones of some Quot Schemes

Computing Sparse Integer-Constrained Cones for Conformal Parameterizations.

Computable Representation of the Cone of Nonnegative Quadratic Forms over A General Second-Order Cone and Its Application to Completely Positive Programming

Applying Quantifier Elimination to the Birkhoff Interpolation Problem

Practical Integer-Constrained Cone Construction for Conformal Parameterizations

Quantifier elimination for quartics

Geometric Methods in Engineering Applications