arXiv subjects

Jonathan Richard Shewchuk

Publications and source records attributed to Jonathan Richard Shewchuk.

3 recordsLinked to original sources

arXiv2026

Better Sampling Bounds for Restricted Delaunay Triangulations and a Star-Shaped Property for Restricted Voronoi Cells

The restricted Delaunay triangulation of a closed surface $Σ$ and a finite point set $V \subset Σ$ is a subcomplex of the Delaunay tetrahedralization of $V$ whose triangles approximate $Σ$. It is well known that if $V$ is a sufficiently dense sample of a smooth $Σ$, then the union of the restricted Delaunay triangles is homeomorphic to $Σ$. We show that an $ε$-sample with $ε\leq 0.3245$ suffices. By comparison, Dey proves it for a $0.18$-sample; our improved sampling bound reduces the number of sample points required by a factor of $3.25$. More importantly, we improve a related sampling bound of Cheng et al. for Delaunay surface meshing, reducing the number of sample points required by a factor of $21$. The first step of our homeomorphism proof is particularly interesting: we show that for a $0.44$-sample, the restricted Voronoi cell of each site $v \in V$ is homeomorphic to a disk, and the orthogonal projection of the cell onto $T_vΣ$ (the plane tangent to $Σ$ at $v$) is star-shaped.

cs.CG↗

arXiv2024

The Geometry of the Set of Equivalent Linear Neural Networks

We characterize the geometry and topology of the set of all weight vectors for which a linear neural network computes the same linear transformation $W$. This set of weight vectors is called the fiber of $W$ (under the matrix multiplication map), and it is embedded in the Euclidean weight space of all possible weight vectors. The fiber is an algebraic variety that is not necessarily a manifold. We describe a natural way to stratify the fiber--that is, to partition the algebraic variety into a finite set of manifolds of varying dimensions called strata. We call this set of strata the rank stratification. We derive the dimensions of these strata and the relationships by which they adjoin each other. Although the strata are disjoint, their closures are not. Our strata satisfy the frontier condition: if a stratum intersects the closure of another stratum, then the former stratum is a subset of the closure of the latter stratum. Each stratum is a manifold of class $C^\infty$ embedded in weight space, so it has a well-defined tangent space and normal space at every point (weight vector). We show how to determine the subspaces tangent to and normal to a specified stratum at a specified point on the stratum, and we construct elegant bases for those subspaces. To help achieve these goals, we first derive what we call a Fundamental Theorem of Linear Neural Networks, analogous to what Strang calls the Fundamental Theorem of Linear Algebra. We show how to decompose each layer of a linear neural network into a set of subspaces that show how information flows through the neural network. Each stratum of the fiber represents a different pattern by which information flows (or fails to flow) through the neural network. The topology of a stratum depends solely on this decomposition. So does its geometry, up to a linear transformation in weight space.

cs.LG↗

arXiv2019

Approximation Bounds for Interpolation and Normals on Triangulated Surfaces and Manifolds

How good is a triangulation as an approximation of a smooth curved surface or manifold? We provide bounds on the {\em interpolation error}, the error in the position of the surface, and the {\em normal error}, the error in the normal vectors of the surface, as approximated by a piecewise linearly triangulated surface whose vertices lie on the original, smooth surface. The interpolation error is the distance from an arbitrary point on the triangulation to the nearest point on the original, smooth manifold, or vice versa. The normal error is the angle separating the vector (or space) normal to a triangle from the vector (or space) normal to the smooth manifold (measured at a suitable point near the triangle). We also study the {\em normal variation}, the angle separating the normal vectors (or normal spaces) at two different points on a smooth manifold. Our bounds apply to manifolds of any dimension embedded in Euclidean spaces of any dimension, and our interpolation error bounds apply to simplices of any dimension, although our normal error bounds apply only to triangles. These bounds are expressed in terms of the sizes of suitable medial balls (the {\em empty ball size} or {\em local feature size} measured at certain points on the manifold), and have applications in Delaunay triangulation-based algorithms for provably good surface reconstruction and provably good mesh generation. Our bounds have better constants than the prior bounds we know of---and for several results in higher dimensions, our bounds are the first to give explicit constants.

cs.CG↗