Search arXiv⌕ Search

arXiv · 2610.33943

Extrinsic Curvature Estimation by Closest Point Projection of Rays

Abstract

We propose a parametrization-free framework for estimating the second fundamental form and the principal curvatures of a submanifold of $\mathbb{R}^d$. The method uses the closest point projections of a few short random rays and recovers the curvature from the curves that these projections induce on the submanifold, without coordinate charts or local fitting. We analyze the geometry of the induced curves and characterize when they are geodesics. For hypersurfaces, these results give two algorithms with error bounds: a least squares reconstruction of the second fundamental form from the curvatures of the induced curves, and a direct estimate of all principal curvatures from the eigenvalues of a $d\times d$ matrix built from $d$ rays, which needs no normal information and costs $\mathcal{O}(d^3)$ besides the projections. In higher codimension, we can also recover the second fundamental form one normal direction at a time. On point clouds, where the projection becomes a nearest neighbor query, we bound the additional error. Experiments confirm the predicted rates for hypersurfaces in up to $128$ dimensions, for surfaces of codimension up to $98$, and on point clouds, demonstrating the effectiveness of the proposed framework in practice.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Liangchen Liu, Yen-Hsi Richard Tsai. 2026-10-24. Extrinsic Curvature Estimation by Closest Point Projection of Rays. https://arxiv.org/abs/2610.33943

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Characterizations of the plane and the catenoid as capillary minimal surfaces

In this paper, we prove that an immersed annular capillary minimal surface outside the unit ball in $\mathbb{R}^3$ with one complete embedded end and finite total curvature must be either part of the plane or part of the catenoid. The proofs are based on the use of the Weierstrass data through the Hopf differential and associated holomorphic functions. For a planar end, we control the second fundamental form, while for a catenoidal end, we analyze the Gauss map in more detail using the boundary condition. We also prove nonexistence results for annular free boundary minimal surfaces with one end asymptotic to the end of Enneper's surface, under appropriate conditions. Finally, we establish an exterior analogue of Choe's result on capillary minimal surfaces with vertices.

math.DG↗

A characterization of Pfaffian embeddings from (2, 3, 5)- into flat (4, 7)-geometries

Given two smooth manifolds with tangent subbundle distributions, an embedding is Pfaffian if its differential sends the distribution on the source into the distribution on the target. In this paper, we consider the question of existence of Pfaffian embeddings in the specific case where the source is a (2,3,5)-manifold, the target is the 7-dimensional space of isotropic 2-planes in a 6-dimensional symplectic vector space, and the Pfaffian condition is that the derived 3-distribution on the source be mapped into the natural 4-distribution on the target. This is one of the simpler non-trivial cases of the general question on existence of Pfaffian embeddings, but already the answer here requires solution of an interesting differential equation. It turns out that a generic (2,3,5)-manifold does not embed, the first obstruction being the fact that a Pfaffian embeddable (2,3,5)-manifold necessarily has a double root for its Cartan quartic at each point. We determine a complete characterization of embeddable (2,3,5)-manifolds in terms of their associated Cartan geometries, which characterization depends on higher order (non-harmonic) curvature as well.

math.DG↗

Curvature of left-invariant complex Finsler metric on Lie groups

Let $G$ be an even-dimensional connected real Lie group admitting a left-invariant complex structure $J$. Let $\mathfrak g$ be the Lie algebra of $G$, and $\mathfrak g^{1,0}$ the $(1,0)$-part of the complexification $\mathfrak g^{\mathbb{C}}$ of $\mathfrak g$. We derive explicit formulas for the holomorphic sectional curvature and holomorphic bisectional curvature of any left-invariant strongly pseudoconvex complex Finsler metric $F$ on $G$, expressed in terms of the complex Lie algebra $\mathfrak g^{1,0}$. We also obtain a necessary and sufficient condition for $F$ to be a Kähler-Finsler metric (resp. weakly Kähler-Finsler metric). As an application, we prove a rigidity result: if $G$ is a complex Lie group and $F$ is a left-invariant strongly pseudoconvex complex Finsler metric on $G$, then $F$ must be a complex Berwald metric with vanishing holomorphic bisectional curvature; moreover, $F$ is a Kähler-Berwald metric if and only if $G$ is an abelian complex Lie group.

math.DG↗