Skip to main content
. 2021 Jul 16;118(29):e2100473118. doi: 10.1073/pnas.2100473118

Fig. 2.

Fig. 2.

Scalar curvature is accurately estimated by using the Second Fundamental Form and the Gauss–Codazzi equation. (A) A hypothetical manifold (shown in gray) from which data points are sampled (shown as colored dots). The manifold at any given point p (shown in red) can be decomposed into a tangent space TM(p) (the cyan plane) and a normal space NM(p) (the cyan line). Points in the neighborhood around p (shown in green) can be expressed in terms of orthonormal bases for TM(p) and NM(p) (see B). (B) The set of points in the neighborhood of p (shown as green dots in A) are represented here in local tangent (t1,t2) and normal (n1) coordinates, corresponding to orthonormal bases for TM(p) and NM(p), respectively. Coloring corresponds to magnitude in the normal direction. The normal coordinates (n1) can be locally approximated as a quadratic function (the translucent surface) of the tangent coordinates (t1,t2), according to the Second Fundamental Form, hijk. (C) Scalar curvatures computed by using the extrinsic approach for N=104 points uniformly sampled from the two-dimensional hollow unit sphere, S2. The true value is two at all points on the manifold (SI Appendix, Supporting Methods, section D.1.1). (D) Scalar curvatures (S) computed in C are plotted against their associated SEs (σS). Points enclosed by the red lines have a 95% CI, computed as S±2σS, containing the true value of two. (E) As in C, but for N=104 points uniformly sampled from a one-sheet hyperboloid, H22, which is also a two-dimensional manifold. Due to the radial symmetry of the manifold, scalar curvature only varies only along the z direction (SI Appendix, Supporting Methods, section D.1.2). (F) Scalar curvatures (black) computed in E with their associated 95% CIs (shown in gray) plotted as a function of the z coordinates of the data points. The true value is shown as a dashed red line. (G) As in C, but for N=104 points uniformly sampled from a two-dimensional ring torus, T2. T2 is constructed by revolving a circle parameterized by θ, oriented perpendicular to the xy plane, through an angle ϕ around the z axis. The scalar curvature only depends on the value of θ (SI Appendix, Supporting Methods, section D.1.3). (H) Scalar curvatures computed in G with their associated 95% CIs plotted as a function of the θ values of the data points. Colors are as in F. (I) Distribution of computed scalar curvatures for N=104 points uniformly sampled from the d-dimensional unit hypersphere, Sd, for d=2,3,5,7. As with S2, these manifolds are isotropic and have constant scalar curvature. The true values are shown as dashed red lines (SI Appendix, Supporting Methods, section D.1.1).