Voronoi Cells in Metric Algebraic Geometry of Plane Curves

Abstract: Voronoi cells of varieties encode many features of their metric geometry. We prove that each Voronoi or Delaunay cell of a plane curve appears as the limit of a sequence of cells obtained from point samples of the curve. We use this result to study metric features of plane curves, including the medial axis, curvature, evolute, bottlenecks, and reach. In each case, we provide algebraic equations defining the object and, where possible, give formulas for the degrees of these algebraic varieties. We show how to identify the desired metric feature from Voronoi or Delaunay cells, and therefore how to approximate it by a finite point sample from the variety.

\section{Introduction}

\emph{Metric algebraic geometry} addresses questions about real algebraic varieties involving distances. For example, given a point $x$ on a real plane algebraic curve $X \subset \mathbb{R}^2$, we may ask for the locus of points which are closer to $x$ than to any other point of $X$. This is called the \emph{Voronoi cell of $X$ at $x$} \cite{voronoi}.
The boundary of a Voronoi cell consists of points which have more than one nearest point to $X$. So we may ask, given a point in $\mathbb{R}^2$, how close must it be to $X$ in order to have a unique nearest point on $X$? This quantity is called the \emph{reach}, and was first defined by \cite{Federer}.

We use Voronoi cells to study metric features of plane curves. The following theorem makes precise the idea behind Figures \ref{fig:voronoi_butterfly} and \ref{fig:delaunay_butterfly}.
\begin{maintheorem}
\label{thm:convergence}
Let $X$ be a compact algebraic curve in $\mathbb{R}^2$ and $\{A_\epsilon\}_{\epsilon \searrow 0}$ be a sequence of finite subsets of $X$ containing all singular points of $X$ such that every point of $X$ is within distance $\epsilon$ of some point in $A_\epsilon$.
\begin{enumerate}
    \item Every Voronoi cell is the Wijsman limit (see Definition \ref{def:wijsman}) of a sequence of Voronoi cells of $\{A_\epsilon\}_{\epsilon \searrow 0}$.
    \item If $X$ is not tangent to any circle in four or more points, then every maximal Delaunay cell is the Hausdorff limit (see Definition \ref{def:hausdorff}) of a sequence of Delaunay cells of $\{A_\epsilon\}_{\epsilon \searrow 0}$.
\end{enumerate}
\end{maintheorem}

\begin{figure}[h]
\centering
\begin{subfigure}{.33\textwidth}
  \centering
  \includegraphics[width=\linewidth]{vtooth1.png}
\end{subfigure}%
\begin{subfigure}{.33\textwidth}
  \centering
  \includegraphics[width=\linewidth]{vtooth2.png}
\end{subfigure}
\begin{subfigure}{.33\textwidth}
  \centering
  \includegraphics[width=\linewidth]{vtooth3.png}
\end{subfigure}
\caption{Voronoi cells of 101, 441, and 1179 points sampled from the butterfly curve \ref{eqn:butterfly}.}
\label{fig:voronoi_butterfly}
\end{figure}

\begin{figure}[h]
\centering
\begin{subfigure}{.33\textwidth}
  \centering
  \includegraphics[width=\linewidth]{dtooth1.png}
\end{subfigure}%
\begin{subfigure}{.33\textwidth}
  \centering
  \includegraphics[width=\linewidth]{dtooth2.png}
\end{subfigure}
\begin{subfigure}{.33\textwidth}
  \centering
  \includegraphics[width=\linewidth]{dtooth3.png}
\end{subfigure}
\caption{Delaunay cells of  101, 441, and  1179 points sampled from the butterfly curve \ref{eqn:butterfly}. The two large triangles correspond to tritangent circles of the curve.}
\label{fig:delaunay_butterfly}
\end{figure}

Voronoi diagrams of finite point sets are widely studied and have seen applications across science and technology, most notably in the natural sciences, health, engineering, informatics, civics and city planning. For example in Victoria, a state in Australia, students are typically assigned to the school to which they live closest. Thus, the catchment zones for schools are given by a Voronoi diagram \cite{VSD}.
Metric features of varieties, such as the medial axis and curvature of a point, can be detected from the Voronoi cells of points sampled densely from a variety.  Computational geometers frequently use Voronoi diagrams to approximate these features and reconstruct varieties \cite{skeletons, skeleton_approx, normal_approximation}.

The reach of an algebraic variety is an invariant that is important in applications of algebraic topology to data science. For example, the reach determines the number of sample points needed for the technique of persistent homology to accurately determine the homology of a variety \cite{NSW}. For an algebraic geometric perspective on the reach, see \cite{BKSW}. The \emph{medial axis} of a variety is the locus of points which have more than one nearest point on $X$. This gives the following definition of the reach.

\begin{figure}[h!]
    \centering
    \includegraphics[height = 2 in]{reach_butterfly.pdf}
    \caption{The reach of the butterfly curve is attained by the maximal curvature point in the lower left wing. The narrowest bottleneck is also shown. This figure is explained in Example \ref{ex:reach}.}
    \label{fig:reach}
\end{figure}

\begin{definition}
The \emph{reach} $\tau(X)$ of an algebraic variety $X \subset \mathbb{R}^n$ is the minimum distance from any point on $X$ to a point on the medial axis of $X$.
\end{definition}

The paper \cite{ACKMRW17} describes how the reach is the minimum of two quantities.
We have
\begin{equation}
\label{eqn:reach_min}
   \tau(X) = \min\left\{ q , \frac{\rho}{2}\right\},
\end{equation}
where $q$ is the minimum radius of curvature (Definition \ref{def:curvature}) of points in $X$ and $\rho$ is the narrowest bottleneck distance (Definition \ref{def:bottleneck_distance}). An example is depicted in Figure \ref{fig:reach}.

The paper is organized as follows. We begin with a systematic treatment in Section \ref{sec:limits} of convergence of Voronoi cells of increasingly dense point samples of a variety. This gives the proof of Theorem \ref{thm:convergence}, split among Theorems \ref{thm:delaunay_convergence} and \ref{thm:voronoi_convergence}, as well as Proposition \ref{prop:singular_convergence}, which treats the singular case separately. Theorem \ref{thm:convergence} is robust because it is not affected by the distribution of the point sample.
Theorem \ref{thm:convergence} provides the theoretical foundations for estimating metric features of a variety from a point sample. We do this for the medial axis (Section~\ref{sec:medial_axis}), curvature and evolute (Section~\ref{sec:evolute}), bottlenecks (Section~\ref{sec:bottlenecks} and reach (Section~\ref{sec:reach}). For each of these metric features, we first give defining equations and where possible a formula for the degree. We then turn our attention to detecting information about a real plane curve $X$ from its Voronoi cells. For each metric feature, we state a theoretical result about how to detect the feature from the Voronoi cells of $X$ or a subset of $X$. Corollaries to Theorem~\ref{thm:convergence} provide convergence results for these features. The overall aim is to give a path to compute the metric features of a plane algebraic curve $X$ from Voronoi cells of dense point samples of $X$. We use the \emph{butterfly curve}
\begin{equation}
\label{eqn:butterfly}
   b(x,y) = x^4 - x^2 y^2 + y^4 - 4 x^2 - 2 y^2 - x - 4 y + 1
\end{equation}
in our examples.
 In computational geometry and data science, these problems are often considered when there is noise in the sample. In this paper we assume that our samples lie precisely on the curve $X$.

\section{Voronoi and Delaunay Cells of Varieties and Their Limits}\label{sec:limits}

Let $X \subset \mathbb{R}^n$ be a real algebraic variety, and let $d(x,y)$ denote the Euclidean distance between two points $x,y \in \mathbb{R}^n$.
\begin{definition}
The \emph{Voronoi cell of $x \in X$} is
$$
Vor_X(x) = \{y \in \mathbb{R}^n\ |\ d(y,x) \leq d(y,x') \text{ for all }x' \in X\}.
$$
\end{definition}
An example of a Voronoi cell is given in Figure \ref{fig:ellipse_ex}.
This is a convex semialgebraic set whose dimension is equal to $codim(X)$ so long as $x$ is a smooth point of $X$. It is contained in the \emph{normal space to $X$ at $x$}:
$$
N_X(x) = \{u \in \mathbb{R}^n \ |\ u-x\text{ is perpendicular to the tangent space of }X\text{ at }x\}.
$$
The topological boundary of the Voronoi cell $Vor_X(x)$ consists of the points in $\mathbb{R}^n$ that have two or more closest points in $X$, one of which is $x$. The collection of boundaries of Voronoi cells is described as follows.
\begin{definition}
\label{def:medial}
The \emph{medial axis} $M(X)$ of an algebraic variety $X \subset \mathbb{R}^n$ is the collection of points in $\mathbb{R}^n$ that have two or more closest points in $X$. An example of the medial axis is given in Figure \ref{fig:ellipse_ex}.
\end{definition}

Let $B(p,r)$ denote the open disc with center $p \in \mathbb{R}^n$ and radius $r > 0$. We say this disc is \emph{inscribed} with respect to $X$ if $X \cap B(p,r) = \emptyset$ and we say it is \emph{maximally inscribed} if no disc containing $B(p,r)$ shares this property.
Each inscribed disc gives a Delaunay cell, defined as follows.

\begin{definition}
Given an inscribed disc $B$ of an algebraic variety $X \subset \mathbb{R}^n$,
the \emph{Delaunay cell $\text{Del}_X(B)$}
is
$
conv(\overline{B} \cap X).
$
An example of a Delaunay cell and the corresponding maximally inscribed disc is given in Figure \ref{fig:ellipse_ex}.
\end{definition}

\begin{figure}[h]
    \centering
    \includegraphics[height=1.5 in]{ellipse_ex.pdf}
    \caption{The ellipse $
(x/2)^2 + y^2 -1 = 0
$
is shown in purple. The Voronoi cell of the red point $(\sqrt{7}/2,3/4)$ is shown in pink. It is a ray starting at the point $(3\sqrt{7}/8,0)$ in the direction $(\sqrt{7}/4,3/2)$. The dark blue line segment between the points $(-1/2, \sqrt{15}/4)$ and $(-1/2, -\sqrt{15}/4)$ is a Delaunay cell defined by the light blue maximally inscribed circle with center $(-3/8,0)$ and radius $\sqrt{61}/8$. The light blue line is the medial axis, which goes from $(-3/2,0)$ to $(3/2,0)$ because the curvature at the points $(-2,0)$ and $(2,0)$ is 2.
}
    \label{fig:ellipse_ex}
\end{figure}

\begin{remark}
For plane curves, the collection of centers of all inscribed spheres which give maximal Delaunay cells (Delaunay cells which are not contained in any other Delaunay cell) is the Euclidean closure of the medial axis. Points of a plane algebraic curve $X$ which are themselves maximal Delaunay cells are points of $X$ with locally maximal curvature. In this case, the maximally inscribed circle is an \emph{osculating circle}, see Definition \ref{def:curvature}.
\end{remark}

We now describe two convex sets whose face structures encode the Delaunay and Voronoi cells of $X$.
We embed $\mathbb{R}^n$ in $\mathbb{R}^{n+1}$ by adding a coordinate. We usually imagine that this last coordinate points vertically upwards.
So, we say that $x \in \mathbb{R}^{n+1}$ is below $y \in \mathbb{R}^{n+1}$ if $x_{n+1} \leq y_{n+1}$ and all other coordinates are the same.
 Let
$$
U = \{ x \in \mathbb{R}^{n+1} \ |\ x_{n+1} = x_1^2 + \cdots + x_n^2 \}
$$
be the \emph{standard paraboloid} in $\mathbb{R}^{n+1}$.
If $p \in \mathbb{R}^n,$ then let $p_U = (p,||p||^2)$ denote its lift to $U$.

Given a convex set $C \subset \mathbb{R}^{n+1}$, a convex subset $F \subset C$ is called a \emph{face} of $C$ if for every $x \in F$ and every $y,z \in C$ such that $x \in conv(y,z),$ we have that $y,z \in F$. We say that a face $F$ is \emph{exposed} if there exists an \emph{exposing hyperplane} $H$ such that $C$ is contained in one closed half space of the hyperplane and such that $F = C \cap H$. We call an exposed face $F$ a  \emph{lower exposed face} of $C$ if the exposing hyperplane lies below $C$.

\begin{definition}
\label{def:lifted_delaunay}
The \emph{Delaunay lift of an algebraic variety $X \subset \mathbb{R}^n$} is the convex set
$$
P^*_X = conv(x_u\ |\ x \in X) + \{(0,\ldots,0,\lambda)\ :\ \lambda \in \mathbb{R}_{\geq 0}\} \subset \mathbb{R}^{n+1},
$$
where we recall that $x_u = (x , || x || ^2)$ and use $+$ to denote the Minkowski sum.
 The Delaunay lift of the butterfly curve is shown in Figure \ref{fig:lifted_delaunay}.
\end{definition}

\begin{figure}[h]
\centering
\begin{minipage}{.55\textwidth}
  \centering
  \includegraphics[width=.8\linewidth]{delaunay_tooth.pdf}
  \captionof{figure}{The Delaunay lift (Definition \ref{def:lifted_delaunay}) of the butterfly curve, viewed from below.}
  \label{fig:lifted_delaunay}
\end{minipage}%
\begin{minipage}{.45\textwidth}
  \centering
  \includegraphics[width=.8\linewidth]{voronoi_tooth.pdf}
  \captionof{figure}{The Voronoi lift (Definition \ref{def:lifted_voronoi}) of the butterfly curve, viewed from below.}
  \label{fig:lifted_voronoi}
\end{minipage}
\end{figure}

We now study how the lower exposed faces of the Delaunay lift $P^*_X$ project to $conv(X)$, and give the Delaunay cells of $X$.

\begin{proposition}
\label{prop:delaunay_faces}
Let $X \subset \mathbb{R}^n$ be an algebraic variety. Let $\pi: \mathbb{R}^{n+1} \rightarrow \mathbb{R}^n$ be the projection onto the first $n$ coordinates. A subset $F \subset P^*_X$ is a lower exposed face if and only if $\pi(F)$ is a Delaunay cell of $X$. Furthermore, if $H_F$ is the hyperplane exposing $F$, then $\pi(U\cap H_F)$ is an inscribed sphere of $X$ and $\pi(F) = \text{Del}_X(\pi(U\cap H_F)).$
\end{proposition}

\begin{proof}
The map from $\mathbb{R}^n \rightarrow \mathbb{R}^{n+1}$ defined by $x \mapsto x_U= (x,||x||^2)$ lifts every sphere in $\mathbb{R}^n$ to the intersection of a hyperplane $H$ with $U$ \cite[Proposition 7.17]{joswig}. Moreover, the projection of the intersection of any hyperplane with
$U$ gives a sphere in $\mathbb{R}^n$ \cite[Proposition 7.17]{joswig}.

Given a Delaunay cell $\text{Del}_X(B)$ for some inscribed sphere $B$, we have that $P^*_X$ lies above the corresponding hyperplane $H$. This is because any points below $H$ would project to points in $X$ lying inside of $B$, contradicting the condition that $X \cap B = \emptyset$ for an inscribed disc $B$. So, $H$ is the exposing hyperplane of the face $(Del_X(B))_U$.

Suppose $F \subset P^*_X$ is a lower exposed face with exposing hyperplane $H_F$. The interior of the sphere $\pi(H_F \cap U)$ contains no points of $X$, because if it did contain a point $x$, then $x_U$ would lie in the lower half-space of $H_F$, which does not intersect $P^*_X$. Then $\pi(H_F\cap U)$ is the inscribed disc corresponding to a Delaunay cell.

Since $\pi(H_F \cap U)$ is a sphere, we have $\text{Del}_X(\pi(U\cap H_F)) = conv(\pi(U\cap H_F)\cap X)$. Let $X_U$ denote the lift of $X$ to $\mathbb{R}^{n+1}$. Then $\pi(U\cap H_F)\cap X = \pi(U\cap H_F\cap X_U) = \pi(H_F \cap X_U),$ and so $\text{Del}_X(\pi(U\cap H_F)) = conv(\pi(H_F \cap X_U)) = \pi(conv(H_F \cap X_U)) = \pi(F)$.
\end{proof}

We may define a convex set whose faces project down to the Voronoi cells as follows. For any point $x \in X$, let $T(x)$ denote the plane in $\mathbb{R}^{n+1}$ through $x_U =  (x,||x||^2)$ tangent to the paraboloid $U$. Let $T(x)^+$ be the closed half-space consisting of all points in $\mathbb{R}^{n+1}$ lying above the plane $T(x)$.
\begin{definition}
\label{def:lifted_voronoi}
The \emph{Voronoi lift of an algebraic variety $X \subset \mathbb{R}^n$} is the convex set
$P_X = \cap_{x \in X} T(x)^+$.
The Voronoi lift of the butterfly curve is shown in Figure \ref{fig:lifted_voronoi}.
\end{definition}

The lower exposed faces of the Voronoi lift $P_X$ project to Voronoi cells of $X$, as we now show.

\begin{proposition}
\label{prop:voronoi_faces}
Let $X \subset \mathbb{R}^n$ be an algebraic variety. Let $\pi: \mathbb{R}^{n+1} \rightarrow \mathbb{R}^n$ be the projection onto the first $n$ coordinates. A subset $F$ of the Voronoi lift $P_X$ is an exposed face of $P_X$ if and only if $\pi(F)$ is a Voronoi cell of $X$. Furthermore, if $H_F$ is the hyperplane exposing $F$ and $H_F \cap U \neq \emptyset$,  then $H_F\cap U$ is a point and
$
\pi(F) = \text{Vor}_X(\pi(U \cap H_F)).
$
\end{proposition}

\begin{proof}
For some point $x \in X$, consider $P_X \cap T(x)$. Let $p \in \mathbb{R}^n$. There exists $p_U' \in T(x)$ with $\pi(p_U) = \pi(p_U')$. The distance from  $p_U$ to the point $p_U'$ is the distance $d_{\mathbb{R}^n}(\pi(p),\pi(x))$ \cite[Lemma 6.11]{joswig}.
Therefore, $P_X \cap T(x)$ consists of those points $p_U'$ for which the distance $d_{\mathbb{R}^n}(p,x)$ is minimal over all $x \in X$. In other words, ${\pi(P_X \cap T(x)) = Vor_X(x)}$.

Suppose $F \subset P_X$ is an exposed face with exposing hyperplane $H_F$ such that $H_F \cap U \neq \emptyset$. Let $p \in H_F \cap U$. Since $U \subset P_X$ we have that $p \in P_X$. Then, $p \in F = H_F \cap P_X$. This implies $H_F$ is the tangent hyperplane to $U$ at the point $p$, so in particular, $p=U \cap H_F$. Since $p$ is on the boundary of $P_x$, we have $\pi(p)\in X$ and $T(\pi(p)) = H_F$. We have $\pi(F)= \pi(P_X \cap T(\pi(p))) =  Vor_X(\pi(p)) = Vor_X(\pi(U \cap H_F))$, where in the second equality we use the result in the preceding paragraph.
\end{proof}

There is a sense in which the Voronoi lift $P_X$ and the Delaunay lift $P^*_X$ are dual. We now describe this relationship. Suppose that $X$  is not contained in any proper linear subspace of $\mathbb{R}^n$. This implies that $P_X$ is pointed, meaning it does not contain a line. Therefore, it is projectively equivalent to a compact set \cite[Theorem 3.36]{joswig}. Embed $\mathbb{R}^{n+1}$ into $\mathbb{P}^{n+1}$ by the map
$$
\iota (x_1, \ldots, x_{n+1}) = (1:x_1 : \cdots : x_{n+1}).
$$
Let $l$ be the transformation of $\mathbb{P}^{n+1}$ defined by the following $(n+2) \times (n+2)$ matrix
$$
\begin{bmatrix}
1 & 0 & \cdots & 0 & 1 \\
0 & 2 & 0 & \cdots & 0 \\
\vdots & 0 & \ddots & 0 & \vdots \\
0 & \cdots & 0 & 2 & 0 \\
-1 & 0 & \cdots & 0 & 1
\end{bmatrix}.
$$
Then by \cite[Lemma 7.1]{joswig} the projective transformation $l$ maps $U$ to the sphere $S \subset \mathbb{R}^{n+1}$. The tangential hyperplane at the north pole $(1: 0 : \cdots : 0 : 1)$ is the image of the hyperplane at infinity. Moreover, the topological closure of $l(P_X)$ is a compact convex body so long as the origin is in the interior of $P^*_X$. In this case, we call the convex body $l(P_X)$ the \emph{Voronoi body}. The Voronoi body is full dimensional and contains the origin in its interior. Its polar dual
$$
l(P_X)^\circ := \left\{ y \in \mathbb{R}^{n+1} \ :\ \sum_{i=1}^n x_i y_i \leq 1\text{ for all } x \in p(P_X)  \right\}
$$
is also full dimensional and has the origin in its interior. If we apply $l^{-1}$ to $l(P_X)^\circ$ we obtain an unbounded polyhedron, which is exactly the Delaunay lift $P^*_X$ of $X$. For more details, see \cite{joswig}.

We now study convergence of Voronoi and Delaunay cells. More precisely, given a real algebraic curve $X$ and a sequence of samplings $A_N \subset X$ with $|A_N| = N$, we show that Voronoi (or Delaunay) cells from the Voronoi (or Delaunay) cells of the $A_N$ limit to Voronoi (or Delaunay) cells of $X$. We begin by introducing two notions of convergence which describe the limits.

The \emph{Hausdorff distance} of two compact sets $B_1$ and  $B_2$ in $\mathbb{R}^n$ is defined as
$$
d_h(B_1,B_2) := \sup \left \{  \adjustlimits \sup_{x \in B_1} \inf_{y \in B_2} d(x,y), \adjustlimits \sup_{y \in B_2} \inf_{x \in B_1} d(x,y) \right \}.
$$
More intuitively, we can define this distance as follows. If an adversary gets to put your ice cream on either set $B_1$ or $B_2$ with the goal of making you go as far as possible, and you get to pick your starting place in the opposite set, then $d_h(B_1,B_2)$ is the farthest the adversary could make you walk in order for you to reach your ice cream.

\begin{definition}
\label{def:hausdorff}
A sequence $\{B_\nu\}_{\nu\in \mathbb{N}}$ of compact sets is \emph{Hausdorff convergent} to $B$ if $d_h(B,B_\nu) \rightarrow 0$ as $\nu \rightarrow \infty$.
Given a point $x \in \mathbb{R}^n$ and a closed set $B \subset \mathbb{R}^n$, define
$$
d_w(x,B) = \inf_{b \in B} d(x,b).
$$
\end{definition}
\begin{definition}
\label{def:wijsman}
A sequence $\{B_\nu\}_{\nu\in \mathbb{N}}$ of compact sets is  \emph{Wijsman convergent} to $B$ if for every $x \in \mathbb{R}^n$, we have that
$$
d_w(x,B_\nu) \rightarrow d_w(x,B).
$$
\end{definition}

An \emph{$\epsilon$-approximation} of a real algebraic variety $X$ is a discrete subset $A_\epsilon \subset X$ such that for all $y\in X$ there exists an $x \in A_\epsilon$ so that $d(y,x) \leq \epsilon$.
By definition, when $X$ is compact a sequence of $\epsilon$-approximations is Hausdorff convergent to $X$, and for all $X$, a sequence of $\epsilon$-approximations is Wijsman convergent to $X$.
We use Wijsman convergence as a variation of Hausdorff convergence which is well suited for unbounded sets. Delaunay cells are always compact, while Voronoi cells may be unbounded.

We now study convergence of Delaunay cells of $X$, and introduce a condition on real algebraic varieties which ensures that the Delaunay cells are simplices.

\begin{definition}
\label{def:generic}
We say that an algebraic variety $X\subset \mathbb{R}^n$ is \emph{Delaunay-generic} if $X$ does not meet any $d$-dimensional inscribed sphere at greater than $d+2$ points.
\end{definition}

\begin{example}
 The standard paraboloid $U$ in any dimension $n+2$ is not Delaunay-generic because it contains $n$-spheres.
\end{example}

Although the focus of this paper is on algebraic curves in $\mathbb{R}^2$, we state the following theorem for curves in $\mathbb{R}^n$ because the proof holds at this level of generality.

\begin{theorem}
\label{thm:delaunay_convergence}
Let $X \subset \mathbb{R}^n$ be a Delaunay-generic compact algebraic curve, and let $\{A_\epsilon\}_{\epsilon \searrow 0}$ be a sequence of $\epsilon$-approximations of $X$. Every maximal Delaunay cell is the Hausdorff limit of a sequence of Delaunay cells of $A_{\epsilon}$.
\end{theorem}
\begin{proof}
Consider a sequence $\{A_\epsilon\}_{\epsilon \searrow 0}$ of $\epsilon$-approximations of $X$, where $\epsilon \searrow 0$ indicates a decreasing sequence of positive real numbers $\epsilon_\nu$ for $\nu \in \mathbb{N}$. We will study the convex sets
$
P^*_{A_{\epsilon}} = conv(a_U\ |\ a \in A_{\epsilon}),
$
where $a \mapsto a_U = (a,||a||^2)$ lifts $a$ to the paraboloid $U$.
The lower faces of $P^*_{A_{\epsilon}}$ project to Delaunay cells of $A_\epsilon$ \cite[Theorem 6.12, Theorem 7.7]{joswig}.

We now apply \cite[Theorem 3.5]{nidhi} to our situation.
This result says the following.
Let $C$ be a curve and $B_\epsilon$ be a sequence of $\epsilon$-approximations of $C$.
Suppose every point on $C$ which is contained in the boundary of $conv(C)$ is an extremal point of $conv(C)$, meaning it is not contained in the open line segment joining any two points of $conv(C)$. Let $F$ be a simplicial face of $conv(C)$ which is an exposed face of $conv(C)$ with a unique exposing hyperplane.
Then $F$ is the Hausdorff limit of a sequence of facets of $conv(B_\epsilon)$. We apply this result in the case when $C= X_U = \{x_U \in \mathbb{R}^{n+1} \ |\ x \in X\}$ and $B_\epsilon = (A_{\epsilon})_U = \{a_U \in \mathbb{R}^{n+1}\ |\ a \in A_{\epsilon}\}$.

Since every point on $U$ is extremal in $conv(U)$ and $conv(X_U) \subset conv(U)$, every point on $X_U$ which is contained in the boundary of $conv(X_U)$ is also extremal in $conv(X_U)$.
A maximal Delaunay cell of $X$ is a simplex because $X$ is Delaunay-generic.
Consider a maximal Delaunay cell of $X$ which is not a vertex. It has a unique description as $Del_X(B)$ for a disc $B$.
Proposition \ref{prop:delaunay_faces} establishes a one-to-one correspondence between such Delaunay cells and lower exposed faces of $P^*_X$, which are uniquely exposed by the hyperplane containing $(\partial \overline{B})_U$.
 In this case, \cite[Theorem 3.5]{nidhi} holds, so the result is proved.

If a maximal Delaunay cell is a vertex, then it is a point $x \in X$. It is then also an extremal point of $conv(X_U)$. Since $conv(B_\epsilon)$ is sequence of compact convex sets converging in the Hausdorff sense to $P_X^*$, by \cite[Lemma 3.1]{nidhi} there exists a sequence of points of $B_\epsilon$ which are extremal points of $conv(B_\epsilon)$ converging to $x_U$. So, their projections are Delaunay cells of $A_\epsilon$ converging to $x$, since every point in a finite point set is a Delaunay cell of that point set.
\end{proof}

We will now study limits of Voronoi cells, using results from \cite{skeletons}, which studies convergence of Voronoi cells of \emph{r-nice sets} (for a definition, see \cite[p. 119]{skeletons}). In the plane, these are open sets whose boundary satisfies some properties. In particular, open sets whose boundaries are an algebraic curve with positive reach $r$ satisfy the $r$-nice condition. For plane curves, having positive reach is equivalent to being smooth.

To study continuity and convergence of closed sets in the plane, Brandt uses the \emph{hit-miss topology} $\mathcal{F}$ on closed subsets of the plane \cite[Section 1-2]{matheron}.
\begin{definition}
\label{def:semicontinuous}
In the hit-miss topology, a sequence $\{F_n\}$ \emph{converges} to $F$ if and only if
\begin{enumerate}
    \item \label{def:upper} for any $p \in F$, there is a sequence $p_n \in F_n$ such that $p_n \rightarrow p$; and
    \item \label{def:lower}
    if there exists a subsequence $p_{n_k} \in F_{n_k}$  converging to a point $p$, then $p \in F$.
\end{enumerate}
Then, to determine if a function with range in $\mathcal{F}$ is continuous, we need to examine the above conditions for sequences of sets obtained by applying the function to countable convergent sequences in $\mathbb{R}^2.$ If all such sequences satisfy (\ref{def:upper}) then the function is \emph{upper-semicontinuous}. If all such sequences satisfy (\ref{def:lower}) then it is \emph{lower-semicontinuous}. If a function satisfies both then it is continuous.
\end{definition}

\begin{lemma}
\label{lem:voronoi}
Let $X \subset \mathbb{R}^2$ be a smooth plane algebraic curve. Then the function $Vor_X: X \rightarrow \mathcal{F}$ sending $x \mapsto Vor_X(x)$ is continuous in the hit-miss topology.
\end{lemma}
\begin{proof}
By \cite[Theorem 2.2]{skeletons}, the Voronoi function $Vor_X:X \rightarrow \mathcal{F}$ is lower semicontinuous. By \cite[Theorem 3.2]{skeletons}, if the curve is $C^2$ and the \emph{skeleton} (locus of centers of maximally inscribed discs) is closed, then the Voronoi function is continuous. A smooth algebraic curve is $C^2$. The skeleton is closed because a smooth curve satisfies the $r$-nice condition, and $r$-nice curves have closed skeletons \cite{skeletons}.
\end{proof}

By \cite[page 10]{matheron}, convergence in the hit-miss topology is equivalent to Wijsman convergence. In what follows, we rephrase the results from \cite{skeletons} in the setting of Wijsman convergence of Voronoi cells of plane curves, and extend it to singular curves.

\begin{theorem}
\label{thm:voronoi_convergence}
Let $X$ be a compact smooth algebraic curve in $\mathbb{R}^2$ and $\{A_\epsilon\}_{\epsilon \searrow 0}$ be a sequence of $\epsilon$-approximations of $X$. Every Voronoi cell is the Wijsman limit of a sequence of Voronoi cells of $A_\epsilon$.
\end{theorem}

\begin{proof}
By Lemma \ref{lem:voronoi}, the function $Vor_X: X \rightarrow \mathcal{F}$ is continuous. Theorem 3.1 from \cite{skeletons} states that in this case, if $x_\epsilon$ is a sequence such that $x_\epsilon \in A_\epsilon$ and $x_\epsilon \rightarrow x$, then $Vor_{A_\epsilon}(x_\epsilon) \rightarrow Vor_X(x)$. Such a sequence must exist because for all $y \in X$, there exists a $y_\epsilon \in A_\epsilon$ such that $d(y,y_\epsilon) \leq \epsilon$.
\end{proof}

We now investigate the structure of Voronoi cells of different types of singular points. In Figure~\ref{fig:singular_varieties}, we give four examples of Proposition \ref{prop:singular_points}. First, we need a glueing lemma.

\begin{lemma}
\label{lem:glueing}
Let $C$ and $D$ be subsets of $\mathbb{R}^2$ containing a point $p \in C \cap D$. Then
$$
Vor_{C \cup D}(p) = Vor_C(p) \cap Vor_D(p).
$$
\end{lemma}
\begin{proof}
A point $x \in Vor_{C \cup D}(p)$ is closer to $p$ than it is to any other point of $C$ or $D$. On the other hand, a point in $Vor_C(p) \cap Vor_D(p)$ is closer to $p$ than it is to any other point of $C$ or $D$.
\end{proof}

\begin{figure}[h]
\centering
\begin{subfigure}{.45\textwidth}
  \centering
  \includegraphics[width=.9\linewidth]{isolated.pdf}
  \caption{$(x^2 + y^2 - x)^2 - (1.5)^2 (x^2 + y^2) = 0$\\ An isolated singularity and its\\
  2-dimensional Voronoi cell. }
\end{subfigure}%
\begin{subfigure}{.45\textwidth}
  \centering
  \includegraphics[width=.9\linewidth]{cusp.pdf}
  \caption{$(x^2 + y^2 - x)^2 -  (x^2 + y^2)= 0$\\
  A cusp and its 2-dimensional Voronoi cell. }
\end{subfigure}
\begin{subfigure}{.45\textwidth}
  \centering
  \includegraphics[width=.9\linewidth]{node.pdf}
  \caption{$(x^2 + y^2 - x)^2 - (0.5)^2 (x^2 + y^2)= 0$\\ A node and its 0-dimensional Voronoi cell. }
\end{subfigure}%
\begin{subfigure}{.45\textwidth}
  \centering
  \includegraphics[width=.8\linewidth]{tacnode.pdf}
  \caption{$x^4 - y^2= 0$\\
  A tacnode and its 1-dimensional Voronoi cell. }
\end{subfigure}
\caption{Four singular varieties with singular point $(0,0)$. In each case the medial axis is blue, the singular point is red, and its Voronoi cell is pink.}
\label{fig:singular_varieties}
\end{figure}

\begin{proposition}
\label{prop:singular_points}
Let $X \subset \mathbb{R}^2$ be a real plane algebraic curve and $p$ be a singular point.
\begin{enumerate}
    \item If $p$ is an isolated point, its Voronoi cell is 2-dimensional;
    \item If $p$ is a node, then its Voronoi cell is 0-dimensional and equal to $p$;
    \item If $p$ is a tacnode, then its Voronoi cell is 1-dimensional.
\end{enumerate}
\end{proposition}
\begin{proof}
\hfill

\begin{enumerate}
    \item Suppose $p$ is an isolated point. Then there is a ball $B(p,r)$ centered at $p$ such that the ball contains no other points of the curve $X$. Therefore, the ball $B(p,r/2)$ is entirely contained in $Vor_X(p)$, so it is 2-dimensional.

\item If $p$ is a node, then we claim that the only point contained in $Vor_X(p)$ is $p$. At $p$, the curve meets in two branches which have distinct tangent directions at $p$. If we treat this as two separate 1-dimensional subsets $X_1$ and $X_2$ and apply Lemma \ref{lem:glueing}, we see that $Vor_X(p) = Vor_{X_1}(p) \cap Vor_{X_2}(p)$. But, since $p$ is a smooth point of $X_1$ and $X_2$, the Voronoi cells $Vor_{X_1}(p)$ and $Vor_{X_2}(p)$ are each contained in their respective normal directions, which are distinct. Therefore, $Vor_{X_1}(p) \cap Vor_{X_2}(p) = p$.

    \item If $p$ is a tacnode, then two or more osculating circles (see Definition \ref{def:curvature}) are tangent at $p$. We can choose $\epsilon > 0$ so that we can separate $X \cap B(p,\epsilon)$ into subsets $X_1, \ldots, X_n$ corresponding to the osculating circles at $p$ such that $Vor_{X_i}(p)$ is a subset of the line from $p$ to the center of the corresponding osculating circle.
    Then, we apply Lemma \ref{lem:glueing}. We have ${Vor_{X\cap B(p,\epsilon)}(p) = \cap_{i=1}^n Vor_{X_i}(p)}$. All of the $Vor_{X_i}(p)$ are contained in the normal line at $p$, so $Vor_{X \cap B(p,\epsilon)}(p)$ is also a subset of this normal line. Since $Vor_X(p)$ is convex, and within $B(p,\epsilon)$ the Voronoi cell is a line segment,  $Vor_X(p)$ is 1-dimensional.
\end{enumerate}
\end{proof}

\begin{example}
\label{ex:cusp_converge}
In this example we illustrate why Theorem \ref{thm:voronoi_convergence} fails when the curve has a singular point. From this example it will be clear that the singular points must be included in the samples $A_\epsilon$, and it turns out that this condition is enough to extend Theorem \ref{thm:voronoi_convergence} to the singular case.

Consider the curve defined by the equation $y^2 = x^3$. In \cite[Remark 2.4]{voronoi} the authors give equations for the Voronoi cell of the cusp at the origin. This region is
$$
Vor_{y^2=x^3}((0,0)) = \{(x,y) \in \mathbb{R}^2 \ : \
27 y^4 + 128 x^3 + 72 x y^2 + 32 x^2 + y^2 + 2 x \leq 0
\}.
$$
In Figure \ref{fig:cuspidal} we give three  $\epsilon$-approximations of the curve and the corresponding Voronoi decompositions. Let $\epsilon = 1/n$. The points in the $\epsilon$-approximation $A_{\epsilon}$ are given by:
$$
A_{\epsilon} = \left \{\left (\frac{j}{n}, \pm \left (\frac{j}{n}\right)^{3/2} \right )\right \}_{j = 1}^{\infty}.
$$
As we can see in Figure \ref{fig:cuspidal}, there is no sequence of cells converging to $Vor_{y^2=x^3}((0,0))$ because the $x$-axis, present due to the symmetrical nature of the sample, always divides the Voronoi cell.

\begin{figure}[h]
    \centering
    \includegraphics[width= \linewidth]{cuspidal.pdf}
    \caption{Some $\epsilon$-approximations of the curve $y^2=x^3$ and their Voronoi diagrams. The Voronoi cell of the cusp $(0,0)$ is shown in pink. This figure is discussed in Example \ref{ex:cusp_converge}.}
    \label{fig:cuspidal}
\end{figure}
\end{example}

We now are able to expand Theorem \ref{thm:voronoi_convergence} to include singular varieties.

\begin{proposition}
\label{prop:singular_convergence}
Let $X \subset \mathbb{R}^2$ be a compact smooth algebraic curve and $\{A_\epsilon\}_{\epsilon \searrow 0}$ a sequence of $\epsilon$-approximations with the singular locus $Sing(X) \subset A_\epsilon$ for all $\epsilon$. Then every Voronoi cell of $X$ is the Wijsman limit of a sequence of Voronoi cells of $A_\epsilon$.
\end{proposition}

\begin{proof}
By \cite[Theorem 2.2]{skeletons}, the Voronoi function is always lower-semicontinuous. So, we must show that condition (\ref{def:upper}) in Definition \ref{def:semicontinuous} holds. That is, we need that for all $p \in X$, there is a sequence $p_\epsilon \in A_\epsilon$ with $p_\epsilon \rightarrow p$ such that for any $x \in Vor_X(p)$ there is an $x_\epsilon \in Vor_{A_\epsilon}(p_\epsilon)$ with $x_\epsilon \rightarrow x$. We distinguish the cases when $p$ is smooth and singular.

If $p$ is a smooth point on $X$, and $x \in Vor_X(p)$, there exists an $\epsilon$ such that $x$ and $p$ are both in the Voronoi cell $Vor_{A_\epsilon}(p_\epsilon)$ for some $p_\epsilon$.

Suppose now that $p \in X$ is a singular point. We wish to show that there is a sequence of Voronoi cells converging to $Vor_X(p)$, and we take the sequence $Vor_{A_\epsilon}(p)$. To establish convergence, it is now enough to show that for all $x \in Vor_X(p)$, there is an $x_\epsilon \in Vor_{A_\epsilon}(p)$ with $x_\epsilon \rightarrow x$. Since $x \in Vor_X(p)$, we have that $x$ is closer to $p$ than it is to any other point in $X$. So, in particular, $x \in Vor_{A_\epsilon}(p)$.

Now we have shown that for each $p \in X$, condition (\ref{def:upper}) in Definition \ref{def:semicontinuous} holds. Therefore, for each $p \in X$, we have sequences of Voronoi cells which are convergent to $Vor_p(X)$ in the hit-miss topology. Since convergence in the hit-miss topology and Wijsman convergence are equivalent, every Voronoi cell of $X$ is the Wijsman limit of a sequence of Voronoi cells of the $A_\epsilon$.
\end{proof}

This concludes the proof of Theorem \ref{thm:convergence}.

\section{Medial Axis}\label{sec:medial_axis}

Let $X = V(F)\subset \mathbb{R}^2$ be a smooth plane algebraic curve.
We now study the medial axis of $X$, as defined in Definition \ref{def:medial}.
The Zariski closure of the medial axis is an algebraic variety which has the same dimension as the medial axis. We can obtain equations in variables $x,y$ for the ideal $I$ of a variety containing the Zariski closure of the medial axis in the following way.

Let $(s,t)$ and $(z,w)$ be two points on $X$. Then, $s,t,z,$ and $ w$ satisfy the equations
\[ F(s,t)=0\ \text{and } \  F(z,w)=0 . \]
If $(x,y)$ is equidistant from $(s,t)$ and $(z,w)$ then
\[ (x-s)^2+(y-t)^2=(x-z)^2+(y-w)^2 . \]
Furthermore, $(x,y)$ must be a critical point of the distance function from both $(s,t)$ and $(z,w)$. Thus we require that the determinants of the following $2 \times 2$ augmented Jacobian matrices vanish:
\begin{equation*}
\begin{bmatrix}
    x-s & y-t\\
    F_s & F_t
\end{bmatrix} ,
\ \ \ \ \
\begin{bmatrix}
    x-z & y-w\\
    F_z & F_w
\end{bmatrix} ,
\end{equation*}
where $F_s,F_t,F_z$ and $F_w$ denote the partial derivatives of $F(s,t)$ and $F(z,w)$, respectively.
Let
\begin{align*}
    I =  \langle &
F(s,t), F(z,w), (x-s)^2+(y-t)^2-(x-z)^2-(y-w)^2,\\
 & (x-s)F_t - (y-t)F_t , (x-z)F_w - (y-w)F_z \rangle.
\end{align*}

Then,
$
J = \left (  I : (s-z,t-w)^\infty \right ) \cap \mathbb{R}[x,y]
$
is an ideal whose variety contains the Zariski closure of the medial axis.

We now study the medial axis from the perspective of Voronoi cells.
It has been observed that an approximation of the medial axis arises as a subset of the Voronoi diagram of finitely many points sampled densely from a curve \cite{medial_approximation}. We now discuss theoretical results given in \cite{skeletons} about the convergence of medial axes.
Let $X$ be a compact smooth plane algebraic curve, and let $A_\epsilon$ be an $\epsilon$-approximation of $X$. A Voronoi cell $Vor_{A_\epsilon}(a_\epsilon)$ for $a_\epsilon \in A_\epsilon$ is polyhedral, meaning it is an intersection of half-spaces.

\begin{definition}
\label{def:short_long_edges}
 For sufficiently small $\epsilon$, exactly two edges of $Vor_{A_\epsilon}(a_\epsilon)$ will intersect $X$ \cite{skeletons}. We call these edges the \emph{long edges} of the Voronoi cell, and all other edges are called \emph{short edges}. An example is given in Figure \ref{fig:short_long}.
\end{definition}

\begin{figure}[h]
    \centering
    \includegraphics[height=2.5in]{short_long.pdf}
    \caption{The long edges (blue) and short edges (red) of Voronoi cells of points sampled from the butterfly curve as in Definition \ref{def:short_long_edges}.}
    \label{fig:short_long}
\end{figure}

In this case, let $\hat{S}_\epsilon(a_\epsilon)$ denote the union of the short edges and vertices of the Voronoi cell $Vor_{A_\epsilon}(a_\epsilon)$. An \emph{$\epsilon$-medial axis approximation} is the set of all short edges
$$
\hat{S}_\epsilon = \bigcup_{p \in A_\epsilon} \hat{S}_\epsilon(p).
$$

\begin{proposition}(\cite[Theorem 3.4]{skeletons})\label{prop:brandt_medial}
Let $X$ be a compact smooth plane algebraic curve. The medial axis approximations $\hat{S}_\epsilon$ converge to the Euclidean closure of the medial axis.
\end{proposition}

\begin{remark}
The medial axis is the union of all endpoints of Voronoi cells $Vor_X(p)$ for $p \in X$. The medial axis is also the union of all centers of maximally inscribed circles of $X$.
\end{remark}

The following corollary shows that the corresponding statements also hold for $\epsilon$-approximations.

\begin{corollary}
Let $\{A_\epsilon\}_{\epsilon \searrow 0}$ be a sequence of $\epsilon$-approximations of a compact smooth algebraic curve ${X \in \mathbb{R}^2}$.
\label{cor:medial_approx}
\begin{enumerate}
    \item The collection of vertices of the Voronoi diagrams of the $A_\epsilon$ converge to the medial axis.
    \item The collection of centers of maximally inscribed discs of the $A_\epsilon$ converge to the medial axis.
\end{enumerate}
\end{corollary}
\begin{proof}
This is a consequence of Theorem \ref{thm:delaunay_convergence}, Theorem \ref{thm:voronoi_convergence}, and Proposition \ref{prop:brandt_medial}.
\end{proof}

\begin{example}
In Figure \ref{fig:trott_medial} we display the centers of maximally inscribed circles, or equivalently circumcenters of the Delaunay triangles, for an $\epsilon$-approximation of the butterfly curve where 898 points were sampled. In Figure \ref{fig:butterfly_v_medial} we show the short edges of Voronoi cells from an $\epsilon$-approximation of the butterfly curve where 101 points were sampled.
\end{example}

\begin{figure}[h]
\centering
\begin{minipage}{.47\textwidth}
  \centering
  \includegraphics[width=\linewidth]{medial_via_delaunay.pdf}
  \captionof{figure}{A medial axis approximation of the butterfly curve obtained from circumcenters of Delaunay triangles, which are shown in red.}
  \label{fig:trott_medial}
\end{minipage}%
\begin{minipage}{.47\textwidth}
  \centering
  \includegraphics[width=\linewidth]{butterfly_medial_v.pdf}
  \captionof{figure}{A medial axis approximation of the butterfly curve obtained from short edges of Voronoi cells, which are shown in red.}
  \label{fig:butterfly_v_medial}
\end{minipage}
\end{figure}

The medial axis plays an important role in applications for understanding the connected components and regions of a shape. As such, it is a very well-studied problem in computational geometry to find approximations of the medial axis from point clouds.
A survey on medial axis computation is given in \cite{medial_survey}.

\section{Curvature and the Evolute}\label{sec:evolute}

Curvature of plane curves, osculating circles and evolutes have interested mathematicians since antiquity. As early as 200 BCE, Apollonius mentioned evolutes in Book V of \textit{Conics} \cite{bce}.
We refer readers to works of Salmon in the 19th century \cite{Salmon1, Salmon2} and to modern lectures by Fuchs and Tabachnikov outlining this history \cite[Chapter 3]{Fuchs}.

We now discuss the minimal radius of curvature of a plane curve. This is one of the two quantities which determines the reach, see Equation \ref{eqn:reach_min}.
There are many ways to define the radius of curvature of a plane curve. We use the definition of Cauchy \cite[91]{cauchy}.

\begin{definition}\label{def:curvature}
Let $X\subset \mathbb{R}^2$ be an algebraic curve and $p \in X$ be a smooth point. The \emph{center of curvature} at $p$ is the intersection of the normal line to $X$ at p and the normal line to $X$ at a point infinitely close to $p$. The \emph{radius of curvature} at $p$ is the distance from $p$ to its center of curvature. The (unsigned) \emph{curvature} is the reciprocal of the radius of curvature.  The \emph{osculating circle} at $p$ is the circle tangent to $X$ at $p$ centered at the center of curvature with radius equal to the radius of curvature.
\end{definition}

Modern mathematicians may feel uncomfortable with the language of ``infinitely close points.'' An alternative definition of center and radius of curvature can be given using envelopes.

\begin{definition}
The \emph{envelope} of a one-parameter family of plane algebraic curves given implicitly by
${F(x,y,t)=0}$
is a curve that touches every member of the family tangentially. The envelope is the variety defined by the ideal
\[ \left \langle \frac{\partial F}{\partial t}, \  F(x,y,t) \right \rangle \cap \mathbb{R}[x,y]. \]
\end{definition}

The envelope of the family of normal lines parametrized by the points of the curve is called its \emph{evolute}.
A generalization of the evolute to all dimensions is called the \emph{ED discriminant}, and is studied in \cite{ed}.
They show that for general smooth plane algebraic curves, the degree of the evolute is
$3d(d-1)$ \cite[Example 7.4]{ed}.

We now derive a formula for the center and radius of curvature of a plane curve at a point. Our derivation follows Salmon \cite[84-98]{Salmon2}. This can be taken as an equivalent definition of center and radius of curvature. The evolute is then the locus of the centers of curvature.

\begin{proposition}\cite[84-86]{Salmon2}
Let $X=V(F(x,y)) \in \mathbb{R}^2$ be a smooth curve of degree $d$. The radius of curvature at a point $(x_0,y_0) \in V(F)$ is given by evaluating the following expression in terms of partial derivatives of $F$ at $(x_0,y_0)$:
\begin{equation}\label{urc}
    R= \frac{ (F_x^2+F_y^2)^{\frac{3}{2}}}{F_{xx}F_{y}^2-2F_{xy}F_xF_y+F_{yy} F_x^2}.
\end{equation}
\end{proposition}

\begin{proof}
The equation of a normal line to $X$ at a point $(x,y) \in X$  in the variables $(\alpha, \beta)$ is
\begin{equation}\label{nl}
    F_y(\alpha-x)-F_x(\beta-y)=0.
\end{equation}

The total derivative of the equation for the normal line is
\begin{equation}\label{td1}
    \left(F_{xy}+F_{yy}\frac{dy}{dx}\right)(\alpha-x_0)-\left(F_{xx}+F_{xy}\frac{dy}{dx}\right)(\beta-y)-F_y+F_x\frac{dy}{dx}=0.
\end{equation}

The total derivative of $F(x,y)$ is
\begin{equation}\label{td2}
    F_x(x_0,y_0)+F_y\frac{dy}{dx} = 0.
\end{equation}

 The equations \ref{nl}, \ref{td1} are a system of two linear equations in the unknowns $\{ \alpha, \beta \}$. We solve this system to obtain expressions for $\alpha$ and $\beta$ in terms of $x$, $y$, and $\frac{dy}{dx}$. We substitute in for $\frac{dy}{dx}$ the expression given by \ref{td2}. The center of curvature of $X$ at a point $(x,y) \in X$ is given by the coordinates $(\alpha, \beta)$, which are now expressions in $x$ and $y$.

 The radius of curvature $R$ at a point $(x,y)$ is its distance to its center of curvature $(\alpha, \beta)$, so we have
$ R=\sqrt{(\alpha-x)^2+(\beta-y)^2}$.
Substituting in the equations for $\alpha$ and $\beta$, we find
 \begin{equation*}
  R= \frac{ (F_x^2+F_y^2)^{\frac{3}{2}}}{F_{xx}F_{y}^2-2F_{xy}F_xF_y+F_{yy} F_x^2}.
 \end{equation*}
 \end{proof}

For curves in projective space, there is a modified formula for the radius of curvature.
 \begin{corollary}\cite[86-87]{Salmon2}
 Let $X=V(F(x,y,z)) \subset \mathbb{P}_{\mathbb{R}}^2$ be a smooth curve of degree $d$ defined by a homogeneous polynomial $F$. The radius of curvature at a point $(x_0,y_0,z_0) \in X$ is given by evaluating the following expression in terms of partial derivatives of $F$ at $(x_0,y_0,z_0)$:
\begin{equation}\label{rc}
      R= \frac{(d-1)^2(F_x^2+F_y^2)^{\frac{3}{2}}}{z^2(F_{xx}F_{yy}F_{zz}-F_{xx}F_{yz}^2-F_{yy}F_{xz}^2-F_{zz}F_{xy}^2+2F_{yz}F_{xz}F_{xy})}.
\end{equation}
 \end{corollary}

 \begin{proof}
For any homogeneous function $F(x,y,z)$ of degree $d$ we have $xF_x+yF_y+zF_z=dF$.
 We use this equation to obtain expressions for $F_x$ and $F_y$. Similarly, we find relations among the second derivatives. We substitute these expressions in to \ref{urc} to obtain our new formula.
 \end{proof}

We now analyze the critical points of curvature of a smooth algebraic curve $X \subset {\mathbb{R}}^2$. If $X$ is a line, then for all $p \in X$ the radius of curvature is infinite and the curvature is $0$. If $X$ is a circle, then all points $p \in X$ have the same radius of curvature, equal to the radius of the circle. Thus the total derivative of the equation for the radius of curvature is identically $0$. We exclude such curves from our analysis by requiring that $X$ be irreducible of degree greater than or equal to $3$.

\begin{definition}
The \emph{degree of critical curvature} of a smooth algebraic curve $X \subset \mathbb{R}^2$ is the degree of the variety obtained by intersecting the Zariski closure $\overline{X} \subset \mathbb{P}_{\mathbb{C}}^2$  with the variety of the total derivative of the equation for the radius of curvature. If $X \subset {\mathbb{R}}^2$ is a smooth, irreducible algebraic curve of degree greater than or equal to $3$, then the intersection consists of finitely many points, the points of critical curvature. Thus the degree of critical curvature of $X$ gives an upper bound for the number of real points of critical curvature of $X$.
\end{definition}

\begin{theorem}
Let $X \subset {\mathbb{R}}^2$ be a smooth, irreducible algebraic curve of degree $d \ge 3$. Then the degree of critical curvature  of $X$ is $6d^2-10d$.
\end{theorem}

\begin{proof}
To simplify notation, let $H=F_{xx}F_{yy}F_{zz}-F_{xx}F_{yz}^2-F_{yy}F_{xz}^2-F_{zz}F_{xy}^2+2F_{yz}F_{xz}F_{xy}.$
We have assumed that the radius of curvature is finite, so $H$ is nonzero.
Dehomogenize Equation \ref{rc} by setting $z=1$.
Then take the total derivative and set the total derivative equal to $0$.
Then divide both sides of the equation by $\frac{(d-1)^2(F_x^2+F_y^2)^{\frac{1}{2}}}{2z^2H}$. We have already shown that the denominator of this fraction is nonzero. The numerator is nonzero as well because $H$ is nonzero implies that $F_x$ and $F_y$ cannot both be zero.
We obtain
\begin{equation}\label{cc}
    (F_x^2+F_y^2)(F_yH_x-F_xH_y)= 3H[(F_{xx}-F_{yy})F_xF_y+F_{xy}(F_y^2-F_x^2) ].
\end{equation}

The degree of $F$ is $d$.  So the degree of Equation \ref{cc} is $6d-10$. We intersect the projective variety defined by the homogenization of Equation \ref{cc} (which has the same degree as the affine variety) with the projectivization of $X$. By B\'{e}zout's Theorem, the degree of critical curvature of the complex projectivization of $X$ is
$6d^2-10d$.
\end{proof}

We remark that the critical points of curvature of $X$ give cusps on the evolute \cite[Lemma 10.1]{Fuchs}.
That is, if a normal line is drawn through a point of critical curvature on a curve, then the normal line will pass through a cusp of the evolute.
In addition, the evolute of a curve of degree $d$ has $d$ cusps at infinity. Thus the evolute of a plane curve of degree $d$ has $6d^2-10d+d=6d^2-9d$ cusps \cite[97]{Salmon2}. In Figure \ref{fig:evolute}, we picture the evolute, the butterfly curve, and the pairs of critical curvature points on the butterfly curve with their corresponding cusp on the evolute.

\begin{figure}[h]
    \centering
    \includegraphics{evolute_approx_17485.pdf}
    \caption{The eleven real points of critical curvature on the butterfly curve, computed in Example \ref{ex:curvature}, joined by green line segments to their centers of curvature. These give cusps on the evolute, which is pictured here in light blue.}
    \label{fig:evolute}
\end{figure}

\begin{example}
\label{ex:curvature}
Consider the butterfly curve. Using the above description, we can compute the 56 points of critical curvature using \texttt{JuliaHomotopyContinuation} \cite{julia}. Twelve of these points are real, and they are plotted in Figure \ref{fig:evolute}. The maximal curvature is approximately $9.65$. This is achieved at the lower left wing of the butterfly.
\end{example}

We now describe how to recover the curvature at a point from the Voronoi cells of a subset of a curve $X$. In applications, Voronoi-based methods are used for obtaining estimates of curvature at a point.
An overview of techniques for estimating curvature of a variety from a point cloud is given in \cite{feature_detection}. Further, there are also  Delaunay-based methods for estimating curvature of a surface in three dimensions \cite{delaunay_curvature}.

\begin{theorem}
\label{thm:curvature}
Let $X$ be a smooth plane curve of degree at least $3$ and $p\in X$ a point.
Let $\delta$ be less than the distance to the critical point of curvature nearest to $p$, and
let $B(p, \delta)$ be a ball of radius $\delta$ centered at $p$. Then
\begin{enumerate}
    \item
    \label{thm:1pt1}
    The Voronoi cell $\text{Vor}_{X \cap B(p, \delta)}(p)$ is a ray. The distance from $p$ to the endpoint of this ray is the radius of curvature of $X$ at $p$.
    \item
    \label{thm:1pt2}
    Consider a sequence of $\epsilon$-approximations $A_\epsilon$ of $X \cap B(p,\delta)$. Let $a_\epsilon$ be the point such that $p \in Vor_{A_\epsilon}(a_\epsilon)$, and let $d_\epsilon$ be the minimum distance from $a_\epsilon$ to a vertex of $Vor_{A_\epsilon}(a_\epsilon)$. Then, the sequence $d_\epsilon$ converges to the radius of curvature of $X$ at $p$.
\end{enumerate}
\end{theorem}
\begin{proof}
The Voronoi cell $\text{Vor}_{X \cap B(p, \delta)}(p)$ is a subset of the line normal to $X \cap B(p, \delta)$ at $p$. This line has an endpoint either at the center of curvature of $p$ or at a point where it intersects the normal space of a distinct point $p'$ in $X\cap B(p,\delta)$. The point where the normals at $p$ and $p'$ intersect is contained in the Voronoi cell with respect to $X \cap B(p, \delta)$ of each of them, so in particular $X \cap B(p,\delta)$ has a nonempty medial axis. This medial axis has an endpoint which corresponds to a point of critical curvature \cite{medial_endpoints}. This contradicts the constraint on $\delta$. Therefore, the endpoint of the Voronoi cell $\text{Vor}_{X \cap B(p, \delta)}(p)$ is the center of curvature of $p$. This concludes the proof of (\ref{thm:1pt1}).

For (\ref{thm:1pt2}), we know that the sequence $Vor_{A_\epsilon}(a_\epsilon)$ is Wijsman convergent to $Vor_{X \cap B(p, \delta)}(p)$ by Theorem \ref{thm:voronoi_convergence}. Denote by $V_\epsilon$ the set of vertices of $Vor_{A_\epsilon}(a_\epsilon)$. By Corollary \ref{cor:medial_approx}, we also have that the sets $V_\epsilon$ are Wijsman convergent to the endpoint of $Vor_{X \cap B(p,\delta)}(p)$, which we call $p'$. By the definition of Wijsman convergence, this means that for any $x \in \mathbb{R}^2$, $d_w(x,V_\epsilon) \rightarrow d_w(x,p')$. By the definition of $d_w$, we have $d_w(p,V_\epsilon) = d_\epsilon$ and $d_w(p,p')$ is the radius of curvature of $p$. This concludes the second part of the proof.
\end{proof}

The evolute $E$ of a plane curve is the locus of all centers of curvature of the curve. Therefore, to find the evolute using Voronoi cells we may splice the curve into sections and apply Theorem~\ref{thm:curvature}.
Let $X$ be compact. Let $C \subset X$ denote the points of locally maximal curvature. Then $X \backslash C$ consists of finitely many components $X = X_1\cup \cdots \cup X_n$. Let $\tau$ denote the reach of $X$, and cover each $X_i$ by balls $B_{i,j}$ of radius less than $\tau$.
Let $E_{i,j}$ denote the collection of vertices of Voronoi cells of $X_i \cap B_{i,j}$. Then by Theorem \ref{thm:curvature},
$
E = \cup_{i,j} \overline{E_{i,j}}.
$
Furthermore, for $\epsilon$-approximations $A_{\epsilon,i,j}$ of $X_i \cap B_{i,j}$, the union over $i,j$ of their Voronoi vertices will converge to $E$ by Theorem \ref{thm:voronoi_convergence}.

\section{Bottlenecks}\label{sec:bottlenecks}

As in the colloquial sense of the word, a bottleneck refers to a narrowing of a variety, or a place where it gets closer to self-intersection.
Consider a smooth algebraic variety $X \subset \mathbb{R}^n$. We define $a\perp b$ by $\sum_{i=1}^na_ib_i=0$ for
$a=(a_1,\dots,a_n),$ $b= (b_1,\dots,b_n) \in \mathbb{R}^n$.
For a point $x \in X$,
let $(T_xX)_0$ denote the embedded tangent space of $X$ translated to
the origin. Then the \emph{Euclidean normal space} of $X$ at $x$ is
defined as $N_xX=\{z \in \mathbb{R}^n:(z-x) \perp (T_xX)_0\}$.

\begin{definition}
\label{def:bottleneck}
A \emph{bottleneck} of a smooth algebraic variety $X \subset \mathbb{R}^n$ is a pair of
distinct points $(x,y) \in X \times X$ such that $\overline{xy} \subseteq N_xX \cap N_yX$, where $\overline{xy}$ is the line spanned by $x$ and $y$.
\end{definition}

We note that bottlenecks are given not only by the narrowest parts of the variety, but also by maximally wide parts of the variety, as our algebraic definition considers all critical points rather than just the minimums.
The bottlenecks of the butterfly curve are shown in Figure \ref{fig:tooth_bottle}.

\begin{definition}
\label{def:bottleneck_distance}
The \emph{narrowest bottleneck distance} $\rho$ of a variety $X \subset \mathbb{R}^n$ is
\[ \rho(X)=\min_{(x,y) \textbf{ a bottleneck}} d(x,y)  \]
where $d(x,y)$ is the Euclidean distance between $x$ and $y$.
\end{definition}

We will now describe the \emph{bottleneck locus} in
$\mathbb{R}^{2n}$ which consists of the bottlenecks of $X$ \cite{DEW}.  Let $(f_1,\dots,f_k)
\subseteq \mathbb{R}[x_1,\dots,x_n]$ be the ideal of $X$. Consider the ring
isomorphism $\phi: \mathbb{R}[x_1,\dots,x_n] \to \mathbb{R}[y_1,\dots,y_n]$ defined by $x_i \mapsto
y_i$ and let $f'_i=\phi(f_i)$. Then $f_i$ and $f_i'$ have gradients
$\nabla f_i$ and $\nabla f'_i$ with respect to $\{x_1,\dots,x_n\}$ and
$\{y_1,\dots,y_n\}$, respectively. The \emph{augmented
  Jacobian} $J$ is the following matrix of size $(k+1) \times n$ with
entries in $R=\mathbb{R}[x_1,\ldots,x_n, y_1,\ldots, y_n]$:
\begin{equation*} \label{eq:augjac}
J =
\begin{bmatrix}
    y-x \\
    \nabla f_1 \\
    \vdots \\
    \nabla f_k
\end{bmatrix} ,
\end{equation*}
where $y-x$ is the row vector $(x_1-y_1,\dots,x_n-y_n)$. Let $N$
denote the ideal in $R$ generated by $(f_1,\dots,f_k)$ and the
$(n-dim(X)+1) \times (n-dim(X)+1)$ minors of $J$. Then the points $(x,y)$ of the
variety defined by $N$ are the points $(x,y) \in X \times X \subset \mathbb{R}^{2n}$ such
that $y \in N_xX$. In the same way we define a matrix $J'$ and an
ideal $N' \subseteq R$ by replacing $f_i$ with $f'_i$ and $\nabla f_i$
with $\nabla f'_i$.

The \emph{bottleneck locus} $B$ is the variety
\begin{equation}
 B = V((N + N'): \langle x-y\rangle ^{\infty}) \subset X \times X \subset \mathbb{R}^{2n}.
\end{equation}
The saturation removes the diagonal, as $(x,y)$ is not a bottleneck if $x=y$.

\begin{figure}[h]
    \centering
    \includegraphics[height = 3.3 in]{bottlenecks.pdf}
    \caption{The real bottleneck pairs of the butterfly curve, computed in Example \ref{ex:bottlenecks}.}
    \label{fig:tooth_bottle}
\end{figure}

Next, we give the bottleneck degree, which is
a measure of the complexity of computing all bottlenecks of an algebraic variety. We refer readers to \cite{Eklund} for a discussion of the numerical algebraic geometry of bottlenecks. Under suitable genericity assumptions described in \cite{DEW}, it coincides with twice the number of bottlenecks of the complexification of $X$. The factor of $2$ is attributed to the fact that in the product $X \times X$, the points $(x,y)$ and $(y,x)$ are distinct, though they correspond to the same pair of points in $X$.

\begin{theorem}[\cite{DEW}]
\label{thm:bottleneck_degree}
Under certain genericity assumptions, the degree of the bottleneck locus of a smooth algebraic curve $X \subset \mathbb{R}^2$ of degree $d$ is
\[ d^4-5d^2+4d. \]
\end{theorem}

A degree formula for the bottleneck locus of varieties of any dimension is provided in \cite{DEW}. The proof applies the double point formula from intersection theory to a map taking the variety to a variety of its normals.

\begin{example}
\label{ex:bottlenecks}
We now compute the bottlenecks for the quartic butterfly curve $b(x,y) = 0$. Theorem~\ref{thm:bottleneck_degree} predicts that there are $192/2 = 96$ bottlenecks. Using the description above and \texttt{JuliaHomotopyContinuation} \cite{julia}, we obtain the 96 bottleneck pairs. Of these, 22 are real. We show them in Figure \ref{fig:tooth_bottle}.

\end{example}

We now study bottlenecks from the perspective of Voronoi cells. For a smooth point $p$ in a algebraic curve $X \subset \mathbb{R}^2$, the Voronoi cell $Vor_X(p)$ is a 1-dimensional subset of the normal line to $X$ at the point $p$. Therefore, the normal direction can be recovered from the Voronoi cell $Vor_X(p)$.
For sufficiently small $\epsilon$, an $\epsilon$-approximation $A_\epsilon$ of $X$ will have Voronoi cells whose long edges approximate the normal direction. More precisely, by Theorem \ref{thm:voronoi_convergence}, if $a_\epsilon \in A_\epsilon$ is the point such that $p \in Vor_{A_\epsilon}(a_\epsilon)$, then the directions of the long edges of $Vor_{A_\epsilon}(a_\epsilon)$ converge to the normal direction at $p$.
We remark here that the problem of estimating normal directions from Voronoi cells is well-studied, and numerous efficient, robust algorithms exist \cite{feature_detection,alliez,amenta}.

As in Definition \ref{def:bottleneck}, two points $x,y \in X$ form a bottleneck if their normal lines coincide. This implies that the line connecting them contains both $Vor_X(x)$ and $Vor_X(y)$.
\begin{definition}

\label{def:bottleneck_candidate}
Let $A_\epsilon$ be an $\epsilon$-approximation of an algebraic curve $X \subset \mathbb{R}^2$. We say a pair $x_\epsilon, y_\epsilon \in A_\epsilon$ is an \emph{approximate bottleneck reach candidate} if the line $\overline{x_\epsilon y_\epsilon}$ joining $x_\epsilon$ and $y_\epsilon$ meets each of $Vor_{A_\epsilon}(x_\epsilon)$ and $Vor_{A_\epsilon}(y_\epsilon)$ at short edges of those cells.
\end{definition}

\begin{figure}[h]
    \centering
    \includegraphics[height = 3.5 in]{narrowest_bottleneck.pdf}
    \caption{The approximate bottleneck reach candidates (see Definition \ref{def:bottleneck_candidate}) of 568 points sampled from the butterfly curve. The narrowest width of an approximate bottleneck reach candidate is approximately $0.495$ while the true narrowest bottleneck width is approximately $0.503$.}
    \label{fig:approx_bottlenecks}
\end{figure}

In Figure \ref{fig:approx_bottlenecks} we show the approximate bottleneck reach candidates for 348 points sampled from the butterfly curve. The following result tells us that if the reach is achieved by a bottleneck pair, then this bottleneck pair is a limit of approximate bottleneck reach candidates.

\begin{theorem}
Let $\{A_\epsilon\}_{\epsilon \searrow 0}$ be a sequence of $\epsilon$-approximations of a smooth algebraic curve $X \subset \mathbb{R}^2$. If $x,y$ is a bottleneck pair of $X$ that achieves the reach, then there are sequences $x_\epsilon, y_\epsilon \in A_\epsilon$ of approximate bottleneck reach candidates converging to $x$ and $y$.
\end{theorem}

\begin{proof}
Consider the line segment $\overline{xy}$ joining $x$ and $y$. Since $x$ and $y$ are a bottleneck pair that achieves the reach, the midpoint of $\overline{xy}$ is on the medial axis of $X$. So $\overline{xy}$ intersects some short edge of two Voronoi cells $Vor_{A_\epsilon}(x_\epsilon)$ and $Vor_{A_\epsilon}(y_\epsilon)$ in a point $v_\epsilon$. Then, $x_\epsilon$ and $y_\epsilon$ form an approximate bottleneck reach candidate by definition. We must then show that the sequence $x_\epsilon$ converges to $x$ and the sequence $y_\epsilon$ converges to $y$.

Since $v_\epsilon$ is in the normal space of $x$,
there exists a neighborhood of $x$ such that
the nearest point of the intersection of this neighborhood and $X$ to $v_\epsilon$ is $x$. So for $\epsilon$ smaller than the radius of this neighborhood, one of the two points in $A_\epsilon$ on either side of $x$ as one moves along $X$ must be the one whose Voronoi cell contains $v_\epsilon$. Since $x_\epsilon$ is the point whose Voronoi cell contains $v_\epsilon$, we have that $x_\epsilon$ is one of the two closest points in $A_\epsilon$ to $x$, meaning that $d(x,x_\epsilon) \leq \epsilon$. Hence, $x_\epsilon$ converges to $x$. Similarly, $y_\epsilon$ converges to $y$.
\end{proof}

\section{Reach}\label{sec:reach}

\begin{example}
\label{ex:reach}
We may find the reach of the butterfly curve by taking the minimum of half the narrowest bottleneck distance and the minimum radius of curvature. This is shown in Figure \ref{fig:reach}. From the computations in Example \ref{ex:bottlenecks}, we find that the narrowest bottleneck distance is approximately $0.251$. Meanwhile, from Example \ref{ex:curvature}, we find that the minimum radius of curvature is approximately $0.104$. Therefore, the reach of the butterfly is approximately $0.104$.
\end{example}

In previous sections, we describe how the reach is the minimum of the minimal radius of curvature and half of the narrowest bottleneck distance. We also give equations for the ideal of the bottlenecks and for the ideal of the critical points of curvature. We now give \texttt{Macaulay 2} \cite{M2} code to compute these ideals for smooth algebraic curves $X \subset \mathbb{R}^2$. Finding the points in these ideals, using for example \texttt{JuliaHomotopyContinuation} \cite{julia}, and taking appropriate minimums gives the reach of $X$.

\begin{verbatim}
R=QQ[x_1,x_2,y_1,y_2]
f= x_1^4 - x_1^2*x_2^2 + x_2^4 - 4*x_1^2 - 2*x_2^2 - x_1 - 4*x_2 + 1
g=sub(f,{x_1=>y_1,x_2=>y_2})
augjacf=det(matrix{{x_1-y_1,x_2-y_2},{diff(x_1,f),diff(x_2,f)}})
augjacg=det(matrix{{y_1-x_1,y_2-x_2},{diff(y_1,g),diff(y_2,g)}})
bottlenecks=saturate(ideal(f,g,augjacf,augjacg),ideal(x_1-y_1,x_2-y_2))
\end{verbatim}

\begin{verbatim}
R=QQ[x,y]
f=x^4 - x^2*y^2 + y^4 - 4*x^2 - 2*y^2 - x - 4*y + 1
num=(diff(x,f))^2 + (diff(y,f))^2
denom=-(diff(y,f))^2*diff(x,diff(x,f)) +
2*diff(x,f)*diff(y,f)*diff(y,diff(x,f)) -
(diff(x,f))^2*diff(y,diff(y,f))
crit=det(matrix({{num*diff(x,denom)- 3/2*denom*diff(x,num),
num*diff(y,denom)-3/2*denom*diff(y,num)},{diff(x,f),diff(y,f)}}))
criticalcurvature=ideal(f,crit)
\end{verbatim}

Alternatively, one can estimate the reach from a point sample. The paper \cite{ACKMRW17} provides a method to do so. We provide a substantially different method that relies upon computing Voronoi and Delaunay cells of points sampled from the curve. We have already discussed how to approximate bottlenecks and curvature using Voronoi cells. This gives the following Voronoi-based Algorithm~\ref{algo:voronoi_reach} for approximating the reach of a curve.

\begin{algorithm}
\caption{Voronoi-Based Reach Estimation}
\label{algo:voronoi_reach}

\begin{algorithmic}
    \REQUIRE $A \subset X$ a finite set of points forming an $\epsilon-$approximation for a compact, smooth algebraic curve $X \subset \mathbb{R}^2$.
    \ENSURE $\tau$, an approximation of the reach.
    \FOR{$a \in A$}
        \STATE Compute an estimate for the curvature $\rho_a$ at $a$ using a technique from \cite{feature_detection}.
    \ENDFOR
    \STATE Set $\rho_{min} = \min_A(\rho_a)$.
    \STATE Set $q$ to be the radius of any disk containing $X$.
    \FOR{$a,b \in A$}
        \IF{$a,b$ form an approximate bottleneck reach candidate as in Definition \ref{def:bottleneck_candidate}}
        \STATE Set $q = \min(q,d(a,b)/2)$
        \ENDIF
    \ENDFOR
 \STATE Set $\tau = \min(q,\rho_{min})$.
\end{algorithmic}
\end{algorithm}

The reach is equivalently defined as the minimum distance to the medial axis, which suggests the following Delaunay-based Algorithm~\ref{algo:delaunay_reach} for estimating the reach. This algorithm is susceptible to sample error, and to give accurate results would require more sophisticated techniques.

\begin{algorithm}
\caption{Delaunay-Based Reach Estimation}
\label{algo:delaunay_reach}
\begin{algorithmic}
    \REQUIRE $A \subset X$ a finite set of points forming an $\epsilon-$approximation for a compact, smooth algebraic curve $X \subset \mathbb{R}^2$.
    \ENSURE $\tau$, an approximation of the reach.
    \STATE Compute a Delaunay triangulation $D$ of $A$.
    \STATE Set $M = \emptyset$.
    \FOR{$T$ a Delaunay triangle of $D$}
        \STATE Set $c_T$ be the circumcenter of the Delaunay triangle $T$.
        \STATE Set $M = M \cup \{c_T\}$.
    \ENDFOR
 \STATE Set $\tau = \min_{c \in M, a\in A} d(a,c)$.
\end{algorithmic}
\end{algorithm}

The approximate methods can be used with curves of higher degree, while the symbolic methods are hard to compute for curves with degrees even as low as $4$, but give a more accurate estimate for the reach. This suggests that more work can be done to develop fast and accurate methods to compute the reach of a variety.

\section*{Acknowledgements}

We thank Paul Breiding, Diego Cifuentes, Yuhan Jiang, Daniel Plaumann, Kristian Ranestad, Rainer Sinn, Bernd Sturmfels, and Sascha Timme for helpful discussions. Research on this project was carried out while the authors were based at the Max Planck Institute for Mathematics in the Sciences (MPI-MiS) in Leipzig, Germany. This material is based upon work supported by the National Science Foundation Graduate Research Fellowship Program under Grant No. DGE 1752814. Any opinions, findings, and
conclusions or recommendations expressed in this material are those of the authors and do not
necessarily reflect the views of the National Science Foundation.

\bibliographystyle{alpha}

Metric Geometry (math.MG); Computational Geometry (cs.CG); Algebraic Geometry (math.AG)


Improved concentration of Laguerre and Jacobi ensembles

Abstract: We consider the asymptotic limits where certain parameters in the definitions of the Laguerre and Jacobi ensembles diverge. In these limits, Dette, Imhof, and Nagel proved that up to a linear transformation, the joint probability distributions of the ensembles become more and more concentrated around the zeros of the Laguerre and Jacobi polynomials, respectively. In this paper, we improve the concentration bounds. Our proofs are similar to those in the original references, but the error analysis is improved and arguably simpler. For the first and second moments of the Jacobi ensemble, we further improve the concentration bounds implied by our aforementioned results.

\section{Introduction}

The Gaussian, Wishart, and Jacobi ensembles are three classical ensembles in random matrix theory. They find numerous applications in physics, statistics, and other branches of applied science. The Gaussian (Wishart) ensemble is also known as the Hermite (Laguerre) ensemble due to its relationship with the Hermite (Laguerre) polynomial.

Of particular interest are the asymptotic limits where certain parameters in the definitions of the ensembles diverge. In these limits, Dette, Imhof, and Nagel \cite{DI07, DN09} proved that up to a linear transformation, the joint probability distributions of the Hermite, Laguerre, and Jacobi ensembles become more and more concentrated around the zeros of the Hermite, Laguerre, and Jacobi polynomials, respectively. These results allow us to transfer knowledge on the zeros of orthogonal polynomials to the corresponding ensembles.

In this paper, we improve the convergence rates of the Laguerre and Jacobi probability distributions to the zeros of the Laguerre and Jacobi polynomials, respectively. Our proofs are similar to those in the original references \cite{DI07, DN09}, but the error analysis is improved and arguably simpler. We also prove the concentration of the first and second moments of the Jacobi ensemble. The last result has found applications in quantum statistical mechanics \cite{HH22TET}.

The rest of this paper is organized as follows. Section \ref{s:r} presents our main results, which are compared with previous results in the literature. Proofs are given in Section \ref{s:p}.

\section{Results} \label{s:r}

Let $n$ be the number of random variables in an ensemble. Let $\beta$ be the Dyson index, which can be an arbitrary positive number.

\subsection{Laguerre ensemble}

We draw $\lambda_1\le\lambda_2\le\cdots\le\lambda_n$ from the Laguerre ensemble.

\begin{definition} [Laguerre ensemble] \label{def:le}
The probability density function of the $\beta$-Laguerre ensemble with parameters
\begin{equation} \label{eq:constr}
\alpha>(n-1)\frac{\beta}{2}
\end{equation}
is
\begin{equation} \label{eq:defl}
f_\textnormal{Lag}(\lambda_1,\lambda_2,\ldots,\lambda_n)\propto{\prod_{1\le i<j\le n}|\lambda_i-\lambda_j|^\beta}\prod_{i=1}^n\lambda_i^{\alpha-\frac{(n-1)\beta}{2}-1}e^{-\lambda_i/2},\quad\lambda_i>0.
\end{equation}
\end{definition}

For certain values of $\beta$, the Laguerre ensemble arises as the probability density function of the eigenvalues of a Wishart matrix $VV^*$, where $V$ is an $n\times \frac{2\alpha}{\beta}$ matrix with real ($\beta=1$), complex ($\beta=2$), or quaternionic ($\beta=4$) entries.  In each case the entries of $V$ are independent standard Gaussian random variables and $V^*$ denotes the conjugate transpose of $V$.

Let
\begin{equation}
    L_n^{(p)}(x):=\sum_{i=0}^n{n+p\choose n-i}\frac{(-x)^i}{i!},\quad p>-1
\end{equation}
be the Laguerre polynomial, whose zeros are all in the interval with endpoints \cite{IL92}
\begin{equation}
2n+p-2\pm\sqrt{1+4(n-1)(n+p-1)\cos^2\frac\pi{n+1}}.
\end{equation}
Let $x_1<x_2<\cdots<x_n$ be the zeros of the Laguerre polynomial $L_n^{(2\alpha/\beta-n)}(x/\beta)$.

We are interested in the limit $\alpha\to+\infty$ but do not assume that $n\to+\infty$. Note that if $\beta$ is a constant, then $n\to+\infty$ implies that $\alpha\to+\infty$; see (\ref{eq:constr}).

\begin{theorem} [Theorem 2.1 in Ref. \cite{DI07}] \label{thm:l1}
There exist positive constants $C_1,C_2$ such that for any $0<\epsilon<1$,
\begin{equation} \label{eq:thm1}
\Pr\left(\frac1{2\alpha}\max_{1\le i\le n}|\lambda_i-x_i|>\epsilon\right)\le C_1ne^{-C_2\alpha\epsilon^4}.
\end{equation}
\end{theorem}

\begin{theorem} [Theorem 2.4 in Ref. \cite{DI07}] \label{thm:l2}
Let $\kappa\ge1$ be a parameter. If
\begin{equation} \label{eq:cond}
n-1+1/\beta\le2\alpha/\beta\le n-1+\kappa\quad\textnormal{and}\quad2\kappa\beta/\alpha<\epsilon<1,
\end{equation}
then there exist positive constants $C_1,C_2,C_3$ such that
\begin{equation} \label{eq:thm2}
\Pr\left(\frac1{2\alpha}\max_{1\le i\le n}|\lambda_i-x_i|>\epsilon\right)\le C_1n(e^{-C_2\alpha\epsilon^2/\kappa}+e^{C_3\kappa^2\beta-C_2\alpha\epsilon^2}).
\end{equation}
\end{theorem}

The original upper bound on $\Pr(\frac1{2a}\max_{1\le i\le n}|\lambda_i-x_i|>\epsilon)$ in Theorem 2.4 of Ref. \cite{DI07} is a complicated expression. The right-hand side of (\ref{eq:thm2}) is its simplification using implicit constants.

If condition (\ref{eq:cond}) is satisfied, (\ref{eq:thm2}) may be an improvement of (\ref{eq:thm1}). In particular, for a constant $\beta$, the right-hand side of (\ref{eq:thm2}) becomes $C'_1ne^{-C'_2\alpha\epsilon^2}$ ($C'_1,C'_2$ are positive constants) if and only if $\kappa$ is upper bounded by a constant.

As the main result of this subsection, Theorem \ref{thm:l3} is an improvement of Theorems \ref{thm:l1}, \ref{thm:l2}.

\begin{theorem} \label{thm:l3}
There exist positive constants $C_1,C_2$ such that for any $\epsilon>0$,
\begin{equation}
\Pr\left(\frac1{2\alpha}\max_{1\le i\le n}|\lambda_i-x_i|>\epsilon\right)\le C_1ne^{-C_2\alpha\epsilon\min\{\epsilon,1\}}.
\end{equation}
\end{theorem}

Let $n\le s$ be two positive integers and $V$ be an $n\times s$ matrix whose elements are independent standard real Gaussian random variables. Then, $VV^T$ is a real Wishart matrix, whose joint eigenvalue distribution is given by (\ref{eq:defl}) with $\beta=1$ and $\alpha=s/2$. Theorem \ref{thm:l3} implies that

\begin{corollary} \label{cor:l}
Let $\lambda_1\le\lambda_2\le\cdots\le\lambda_n$ be the eigenvalues of $VV^T$ and $x_1<x_2<\cdots<x_n$ be the zeros of the Laguerre polynomial $L_n^{(s-n)}(x)$. There exist positive constants $C_1,C_2$ such that for any $\epsilon>0$,
\begin{equation}
\Pr\left(\frac1s\max_{1\le i\le n}|\lambda_i-x_i|>\epsilon\right)\le C_1ne^{-C_2s\epsilon\min\{\epsilon,1\}}.
\end{equation}
\end{corollary}

Analogues of Corollary \ref{cor:l} for complex ($\beta=2$) and quaternionic ($\beta=4$) Wishart matrices also follow directly from Theorem \ref{thm:l3}.

\subsection{Jacobi ensemble}

We draw $\mu_1\le\mu_2\le\cdots\le\mu_n$ from the Jacobi ensemble.

\begin{definition} [Jacobi ensemble] \label{def:je}
The probability density function of the $\beta$-Jacobi ensemble with parameters $a,b>0$ is
\begin{equation}
f_\textnormal{Jac}(\mu_1,\mu_2,\ldots,\mu_n)\propto{\prod_{1\le i<j\le n}|\mu_i-\mu_j|^\beta}\prod_{i=1}^n(1-\mu_i)^{a-1}(1+\mu_i)^{b-1},\quad-1\le\mu_i\le1.
\end{equation}
\end{definition}

The Jacobi ensemble can be interpreted as the probability density function of the eigenvalues of a random matrix ensemble.  In the complex ($\beta=2$) case, let $Q_1$ and $Q_2$ be uniformly random projectors in $\mathbb C^{2n+a+b-2}$ with ranks $n$ and $n+b-1$, respectively. Then, $\frac{1+\mu_1}{2},\frac{1+\mu_2}{2}, \ldots, \frac{1+\mu_n}{2}$ are the non-zero eigenvalues of $Q_1Q_2Q_1$ \cite{Col05}. Equivalently, they are the squared singular values of an $n \times (n+b-1)$ rectangular block within a Haar-random unitary matrix of dimension $2n+a+b-2$.  A random matrix interpretation for general $\beta$ is given in Ref. \cite{KN04}, but it has less of a natural connection to applications.

The Jacobi polynomial is defined as
\begin{equation} \label{eq:jacpoly}
    P_n^{p,q}(y):=\frac{(n+p)!}{(n+p+q)!}\sum_{i=0}^n\frac{(n+p+q+i)!}{i!(n-i)!(p+i)!}\left(\frac{y-1}2\right)^i.
  \end{equation}
It is well known that all zeros of the Jacobi polynomial are in the interval $(-1,1)$. Let $y_1<y_2<\cdots<y_n$ be the zeros of the Jacobi polynomial $P_n^{2a/\beta-1,2b/\beta-1}(y)$.

\subsubsection{Pointwise approximation}

In this subsubsection, we are interested in the limit $a+b\to+\infty$ but do not assume that $\min\{a,b\}\to+\infty$.

\begin{theorem} [Theorem 2.1 in Ref. \cite{DN09}] \label{thm:j1}
There exist positive constants $C_1,C_2$ such that for any $0<\epsilon\le1/2$,
\begin{equation}
\Pr\left(\max_{1\le i\le n}|\mu_i-y_i|>\epsilon\right)\le C_1ne^{-C_2(a+b)\epsilon^4}.
\end{equation}
\end{theorem}

As the main result of this subsubsection, Theorem \ref{thm:j2} is an improvement of Theorem \ref{thm:j1}.

\begin{theorem} \label{thm:j2}
There exist positive constants $C_1,C_2$ such that for any $\epsilon>0$,
\begin{equation}
\Pr\left(\max_{1\le i\le n}|\mu_i-y_i|>\epsilon\right)\le C_1ne^{-C_2(a+b)\epsilon^2}.
\end{equation}
\end{theorem}

Section 3 of Ref. \cite{DN09} presents several applications of Theorem \ref{thm:j1}. Most of them can be improved by using Theorem \ref{thm:j2}. We discuss one of them in detail.

Let $\beta$ and $\gamma:=a/b$ be positive constants. Consider the limit $n\to+\infty$ with $a=\omega(n)$. Let $\delta(\cdot)$ be the Dirac delta. The semicircle law with radius $r$ is a probability distribution on the interval $[-r,r]$ with density function
\begin{equation}
f_\textnormal{SC}(\mu)\propto\sqrt{r^2-\mu^2}.
\end{equation}

\begin{corollary} \label{cor:j}
The empirical distribution
\begin{equation}
f(\mu):=\frac1n\sum_{i=1}^n\delta\left(\mu-\sqrt\frac{a+b}{2abn\beta}\big((a+b)\mu_i+a-b\big)\right)
\end{equation}
of linearly transformed $\mu_i$ converges weakly to the semicircle law with radius $2$ almost surely.
\end{corollary}

For $\omega(n)=a=o(n^2/\ln n)$, Corollary \ref{cor:j} was proved in Example 3.4 of Ref. \cite{DN09} using Theorem \ref{thm:j1}. Using Theorem \ref{thm:j2} instead, the same proof becomes valid for any $a=\omega(n)$.

Corollary \ref{cor:j} appeared as Theorem 2.1 in Ref. \cite{Nag14}.

\subsubsection{Moments}

Theorem \ref{thm:j2} implies the concentration of any smooth multivariable function of $\mu_1,\mu_2,\ldots,\mu_n$. The main result of this subsubsection is tighter concentration bounds for the first and second moments of the Jacobi ensemble.

Let
\begin{equation}
N:=a+b+\beta(n-1).
\end{equation}
Suppose that $\beta=\Theta(1)$ is a positive constant and that $a+b=\Omega(1)$. In this subsubsection, we are interested in the limit $N\to+\infty$. This means that $a+b\to+\infty$ or $n\to+\infty$ or both.

Let
\begin{equation}
M_1:=\frac1n\sum_{i=1}^n\mu_i,\quad M_2:=\frac1n\sum_{i=1}^n(\mu_i-\e M_1)^2
\end{equation}
be the first and shifted second moments of the Jacobi ensemble. Equation (B.7) of Ref. \cite{MRW17} implies that
\begin{equation}
\e M_1=\frac{b-a}N,\quad\e M_2=\frac{\beta n(2a+\beta n)(2b+\beta n)}{2N^3}+O(1/N).
\end{equation}
Indeed, $\e M_2$ can be calculated exactly in closed form. The expression is lengthy and simplifies to the above using the Big-O notation.

\begin{theorem} [concentration of moments] \label{thm:moment}
For any $\epsilon>0$,
\begin{equation}
\Pr(|M_1-\e M_1|>\epsilon)=O(e^{-\Omega(Nn\epsilon^2)}),\quad\Pr(|M_2-\e M_2|>\epsilon)=O(e^{-\Omega(N\epsilon)\min\{N\epsilon,n\}}).\label{eq:20}
\end{equation}
\end{theorem}

Let
\begin{equation}
Y_1:=\frac1n\sum_{i=1}^ny_i,\quad Y_2:=\frac1n\sum_{i=1}^n(y_i-Y_1)^2
\end{equation}
be the mean and variance of the zeros of the Jacobi polynomial. From direct calculation (Appendix \ref{app}) we find that
\begin{equation} \label{eq:app}
Y_1=\frac{b-a}N,\quad Y_2=\frac{\beta(n-1)\big(2a+\beta(n-1)\big)\big(2b+\beta(n-1)\big)}{N^2(2N-\beta)}.
\end{equation}
Hence,
\begin{equation}
\e M_1=Y_1,\quad\e M_2=Y_2+O(1/N).
\end{equation}

\begin{corollary}
For any $\epsilon>0$,
\begin{equation}
\Pr(|M_1-Y_1|>\epsilon)=O(e^{-\Omega(Nn\epsilon^2)}),\quad\Pr(|M_2-Y_2|>\epsilon)=O(e^{-\Omega(N\epsilon)\min\{N\epsilon,n\}}).
\end{equation}
\end{corollary}

\section{Proofs} \label{s:p}

The proofs of Theorems \ref{thm:l3} and \ref{thm:j2} are similar to those of Theorems \ref{thm:l1} and \ref{thm:j1} in Refs. \cite{DI07, DN09}, respectively, but the error analysis is improved and arguably simpler.

The following lemma will be used multiple times.

\begin{lemma} \label{l:diff}
Let $m$ be an integer and $p_i,q_i$ be numbers such that $|p_i-q_i|\le\delta$ for $i=1,2,\ldots,m$. Then,
\begin{equation}
\left|\prod_{i=1}^mp_i-\prod_{i=1}^mq_i\right|\le\delta\sum_{k=0}^{m-1}\prod_{i=1}^{m-k-1}|p_i|\prod_{j=m+1-k}^m|q_j|.
\end{equation}
\end{lemma}

\begin{proof}
\begin{equation}
\left|\prod_{i=1}^mp_i-\prod_{i=1}^mq_i\right|\le\sum_{k=0}^{m-1}\left|\prod_{i=1}^{m-k}p_i\prod_{j=m+1-k}^mq_j-\prod_{i=1}^{m-k-1}p_i\prod_{j=m-k}^mq_j\right|\le\delta\sum_{k=0}^{m-1}\prod_{i=1}^{m-k-1}|p_i|\prod_{j=m+1-k}^m|q_j|.
\end{equation}
\end{proof}

Let $C$ be a positive constant. For notational simplicity, we will reuse $C$ in that its value may be \emph{different} in different expressions or equations.

\subsection{Proof of Theorem \ref{thm:l3}}

Let $X_{2\alpha},X_{2\alpha-\beta},X_{2\alpha-2\beta},\ldots,X_{2\alpha-(n-1)\beta},Y_\beta,Y_{2\beta},\ldots,Y_{(n-1)\beta}$ be independent non-negative random variables with $X_k^2\sim\chi^2_k$ and $Y_l^2\sim\chi^2_l$, where $\chi^2_k$ denotes the chi-square distribution with $k$ degrees of freedom so that
\begin{equation}
\e(X_k^2)=k,\quad\Var(X_k^2)=2k.
\end{equation}
Lemma 1 in Ref. \cite{LM00} implies the tail bound
\begin{equation} \label{eq:ctail}
\Pr(X_k^2>k+\delta)\le e^{-C\min\left\{\frac{\delta^2}k,\delta\right\}},\quad\Pr(X_k^2<k-\delta)\le e^{-\frac{\delta^2}{4k}}
\end{equation}
so that
\begin{equation} \label{eq:ctr}
\Pr(|X_k-\sqrt k|>\delta)\le2e^{-C\delta^2}.
\end{equation}

Let $\mathbf L_{i,j}$ be the element in the $i$th row and $j$th column of a real symmetric $n\times n$ tridiagonal random matrix $\mathbf L$. ``Tridiagonal'' means that $\mathbf L_{i,j}=0$ if $|i-j|>1$. The diagonal and subdiagonal matrix elements are, respectively,
\begin{gather}
\mathbf L_{1,1}=X_{2\alpha}^2,\label{eq:bl1}\\
\mathbf L_{i,i}=X_{2\alpha-(i-1)\beta}^2+Y_{(n+1-i)\beta}^2,\quad i=2,3,\ldots,n,\label{eq:bl2}\\
\mathbf L_{i+1,i}=X_{2\alpha-(i-1)\beta}Y_{(n-i)\beta},\quad i=1,2,\ldots,n-1.\label{eq:al}
\end{gather}
The joint eigenvalue distribution of $\mathbf L$ is given by \cite{DE02} the Laguerre ensemble (Definition \ref{def:le}).

Let $\mathbf L'$ be a real symmetric $n\times n$ tridiagonal deterministic matrix, whose matrix elements are obtained by replacing $X_k^2,Y_l^2$ in Eqs. (\ref{eq:bl1}), (\ref{eq:bl2}) by their expectation values and replacing $X_kY_l$ in Eq. (\ref{eq:al}) by $\sqrt{\e(X_k^2)\e(Y_l^2)}$, i.e.,
\begin{gather}
    \mathbf L'_{1,1}=2\alpha,\\
    \mathbf L'_{i,i}=2\alpha+(n+2-2i)\beta,\quad i=2,3,\ldots,n,\\
    \mathbf L'_{i+1,i}=\sqrt{\big(2\alpha-(i-1)\beta\big)(n-i)\beta},\quad i=1,2,\ldots,n-1.
\end{gather}
The eigenvalues of $\mathbf L'$ are the zeros of the Laguerre polynomial $L_n^{(2a/\beta-n)}(x/\beta)$ \cite{DI07}.

The tail bounds (\ref{eq:ctail}), (\ref{eq:ctr}) imply that
\begin{gather}
\Pr(|\mathbf L_{i,i}-\mathbf L'_{i,i}|>\alpha\epsilon)\le4e^{-C\alpha\epsilon\min\{\epsilon,1\}},\quad\forall i,\label{eq:ctd1}\\
\Pr(|X_k-\sqrt k|>\sqrt{\alpha\epsilon\min\{\epsilon,1\}})\le2e^{-C\alpha\epsilon\min\{\epsilon,1\}},\quad\forall k,\label{eq:ctd2}\\
\Pr(|Y_l-\sqrt l|>\sqrt{\alpha\epsilon\min\{\epsilon,1\}})\le2e^{-C\alpha\epsilon\min\{\epsilon,1\}},\quad\forall l.\label{eq:ctd3}
\end{gather}

Let $\|\cdot\|$ denote the operator norm. Let $\mathbf L_{1,0}=\mathbf L'_{1,0}=\mathbf L_{n+1,n}=\mathbf L'_{n+1,n}:=0$. Using (\ref{eq:ctd1}), (\ref{eq:ctd2}), (\ref{eq:ctd3}) and since
\begin{equation}
    \max_{1\le i\le n}|\lambda_i-x_i|\le\|\mathbf L-\mathbf L'\|\le\max_{1\le i\le n}\{|\mathbf L_{i,i-1}-\mathbf L'_{i,i-1}|+|\mathbf L_{i,i}-\mathbf L'_{i,i}|+|\mathbf L_{i+1,i}-\mathbf L'_{i+1,i}|\},
\end{equation}
it suffices to show that
\begin{equation}
    |\mathbf L_{i+1,i}-\mathbf L'_{i+1,i}|\le C\alpha\epsilon,\quad\forall i
\end{equation}
under the assumptions that
\begin{equation} \label{eq:40}
|X_k-\sqrt k|\le\sqrt{\alpha\epsilon\min\{\epsilon,1\}},\quad|Y_l-\sqrt l|\le\sqrt{\alpha\epsilon\min\{\epsilon,1\}}.
\end{equation}
Indeed, (\ref{eq:40}) and Lemma \ref{l:diff} with $m=2$ imply that for any $k,l\le2\alpha$,
\begin{equation}
|X_kY_l-\sqrt{kl}|\le\sqrt{\alpha\epsilon\min\{\epsilon,1\}}(\sqrt k+\sqrt l+\sqrt{\alpha\epsilon\min\{\epsilon,1\}})\le C\alpha\epsilon.
\end{equation}

\subsection{Proof of Theorem \ref{thm:j2}}

For $k,l>0$, let $Z\sim B(k,l)$ denote a beta-distributed random variable on the interval $[-1,1]$ with probability density function
\begin{equation}
    f_\textnormal{beta}(z)\propto(1-z)^{k-1}(1+z)^{l-1}
\end{equation}
so that
\begin{equation}
    \e Z=\frac{l-k}{k+l}.
\end{equation}
Assume without loss of generality that $k\ge l$. We have the tail bound~\cite{ZZ20}
\begin{equation}
\Pr(Z>\e Z+\delta)\le2e^{-C\min\left\{\frac{k^2\delta^2}{l},k\delta\right\}},\quad\Pr(Z<\e Z-\delta)\le2e^{-\frac{Ck^2\delta^2}{l}}
\end{equation}
so that
\begin{gather}
\Pr(|Z-\e Z|>\delta)\le4e^{-Ck\delta^2},\label{eq:btail1}\\
\Pr(Z>\e Z+2\delta\sqrt{1+\e Z}+\delta^2)\le2e^{-Ck\delta^2}.\label{eq:btail2}
\end{gather}
Furthermore, for $0<\delta<\sqrt{1+\e Z}$,
\begin{equation} \label{eq:btail3}
\Pr(Z<\e Z-2\delta\sqrt{1+\e Z}+\delta^2)\le 2e^{-Ck\delta^2}.
\end{equation}
(\ref{eq:btail2}) and (\ref{eq:btail3}) imply that
\begin{equation} \label{eq:btail4}
\Pr(|\sqrt{1+Z}-\sqrt{1+\e Z}|>\delta)\le4e^{-Ck\delta^2}.
\end{equation}
Similarly,
\begin{equation} \label{eq:btail5}
\Pr(|\sqrt{1-Z}-\sqrt{1-\e Z}|>\delta)\le4e^{-Ck\delta^2}.
\end{equation}

Let $Z_2,Z_3,Z_4,\ldots,Z_{2n}$ be independent random variables with distribution
\begin{equation}
    Z_i\sim
    \begin{cases}
    B\big(a+(2n-i)\beta/4,b+(2n-i)\beta/4\big),\quad\textnormal{even}~i\\
    B\big(a+b+(2n-1-i)\beta/4,(2n+1-i)\beta/4\big),\quad\textnormal{odd}~i
    \end{cases}
\end{equation}
so that
\begin{equation} \label{eq:zm}
    \e Z_i=\frac1{a+b+(n-i/2)\beta}\times
    \begin{cases}
    b-a,\quad\textnormal{even}~i\\
    \beta/2-a-b,\quad\textnormal{odd}~i
    \end{cases}.
\end{equation}
Let $Z_1:=-1$.

Let $\mathbf J_{i,j}$ be the element in the $i$th row and $j$th column of a real symmetric $n\times n$ tridiagonal random matrix $\mathbf J$. The diagonal and subdiagonal matrix elements are, respectively,
\begin{equation} \label{eq:ab}
\mathbf J_{i,i}=(1-Z_{2i-1})Z_{2i}-(1+Z_{2i-1})Z_{2i-2},\quad\mathbf J_{i+1,i}=\sqrt{(1-Z_{2i-1})(1-Z_{2i}^2)(1+Z_{2i+1})}.
\end{equation}
The joint eigenvalue distribution of $\mathbf J/2$ is given by \cite{KN04} the Jacobi ensemble (Definition \ref{def:je}).

Let $\mathbf J'$ be a real symmetric $n\times n$ tridiagonal deterministic matrix, whose matrix elements are obtained by replacing every random variable $Z_i$ in (\ref{eq:ab}) by $\e Z_i$, i.e.,
\begin{gather}
    \mathbf J'_{i,i}=(1-\e Z_{2i-1})\e Z_{2i}-(1+\e Z_{2i-1})\e Z_{2i-2},\label{eq:50}\\
    \mathbf J'_{i+1,i}=\sqrt{(1-\e Z_{2i-1})\big(1-(\e Z_{2i})^2\big)(1+\e Z_{2i+1})}.\label{eq:51}
\end{gather}
The eigenvalues of $\mathbf J'/2$ are the zeros of the Jacobi polynomial $P_n^{2a/\beta-1,2b/\beta-1}(x)$ \cite{DN09}.

Let $\mathbf J_{1,0}=\mathbf J'_{1,0}=\mathbf J_{n+1,n}=\mathbf J'_{n+1,n}:=0$. Using (\ref{eq:btail1}), (\ref{eq:btail4}), (\ref{eq:btail5}) and since
\begin{equation}
    \max_{1\le i\le n}|\mu_i-y_i|\le\|\mathbf J-\mathbf J'\|/2\le\max_{1\le i\le n}\{|\mathbf J_{i,i-1}-\mathbf J'_{i,i-1}|+|\mathbf J_{i,i}-\mathbf J'_{i,i}|+|\mathbf J_{i+1,i}-\mathbf J'_{i+1,i}|\}/2,
\end{equation}
it suffices to show that
\begin{gather}
    |\mathbf J_{i,i}-\mathbf J'_{i,i}|\le C\epsilon,\quad\forall i,\label{eq:top1}\\
    |\mathbf J_{i+1,i}-\mathbf J'_{i+1,i}|\le C\epsilon,\quad\forall i\label{eq:top2}
\end{gather}
under the assumptions that
\begin{gather}
    |Z_i-\e Z_i|\le\epsilon,\quad\forall i,\label{eq:err1}\\
    |\sqrt{1+Z_i}-\sqrt{1+\e Z_i}|\le\epsilon,\quad|\sqrt{1-Z_i}-\sqrt{1-\e Z_i}|\le\epsilon,\quad\forall i.\label{eq:err2}
\end{gather}
(\ref{eq:top1}) follows from (\ref{eq:err1}) and Lemma \ref{l:diff} with $m=2$. (\ref{eq:top2}) follows from (\ref{eq:err2}) and Lemma \ref{l:diff} with $m=4$.

\subsection{Proof of Theorem \ref{thm:moment}}

Since $N=O(\max\{a+b,n\})$, it suffices to prove that
\begin{gather}
\Pr(|M_1-\e M_1|>\epsilon)=O(e^{-\Omega(a+b)n\epsilon^2}),\label{eq:60}\\
\Pr(|M_1-\e M_1|>\epsilon)=O(e^{-\Omega(n^2\epsilon^2)}),\label{eq:61}\\
\Pr(|M_2-\e M_2|>\epsilon)=O(e^{-\Omega(a+b)\epsilon\min\{N\epsilon,n\}}),\label{eq:62}\\
\Pr(|M_2-\e M_2|>\epsilon)=O(e^{-\Omega(n^2\epsilon^2)}).\label{eq:63}
\end{gather}

We follow the proof of Theorem \ref{thm:j2} and use the same notation. We have proved that
\begin{gather}
\Pr(|\mathbf J_{i,i}-\mathbf J'_{i,i}|>\delta)=O(e^{-\Omega(a+b)\delta^2}),\quad\forall i,\label{eq:54}\\
\Pr(|\mathbf J_{i+1,i}-\mathbf J'_{i+1,i}|>\delta)=O(e^{-\Omega(a+b)\delta^2}),\quad\forall i.\label{eq:65}
\end{gather}
Let $I_n$ be the identity matrix of order $n$. A straightforward calculation using (\ref{eq:ab}) yields
\begin{align}
M_1&=\frac1n\tr\frac{\mathbf J}2=\frac1{2n}\sum_{i=1}^n\mathbf J_{i,i}=\frac1{2n}\left(Z_{2n}-\sum_{i=2}^{2n}Z_{i-1}Z_i\right),\label{eq:66}\\
M_2&=\frac1n\tr((\mathbf J/2-Y_1I_n)^2)=\frac1n\sum_{i=1}^n(\mathbf J_{i,i}/2-Y_1)^2+\frac1{2n}\sum_{i=1}^{n-1}\mathbf J_{i+1,i}^2\label{eq:67}\\
&=Y_1^2-2Y_1M_1+\frac12+\frac{2Z_{2n-1}(1-Z_{2n}^2)+Z_2^2+Z_{2n}^2}{4n}+M',\label{eq:68}
\end{align}
where
\begin{equation} \label{eq:defm}
M':=\frac1{4n}\sum_{i=3}^{2n}\big(2Z_{i-2}(Z_{i-1}^2-1)Z_i+Z_{i-1}^2Z_i^2\big).
\end{equation}

We will use the Chernoff bound multiple times.

\begin{lemma} \label{l:c}
Let $W_1,W_2,\ldots,W_n$ be independent real-valued random variables such that
\begin{equation} \label{eq:tail}
\e W_i=0,\quad\Pr(|W_i|>x)=O\left(e^{-\min\left\{\frac xr,\frac{x^2}{s^2}\right\}}\right),\quad\forall i
\end{equation}
for some $r,s>0$. Then,
\begin{equation}
\Pr\left(\left|\frac1n\sum_{i=1}^nW_i\right|>\delta\right)=O\left(e^{-\Omega(n)\min\left\{\frac\delta r,\frac{\delta^2}{r^2+s^2}\right\}}\right).
\end{equation}
\end{lemma}

Each $W_i$ is a subexponential random variable in that its probability distribution satisfies (\ref{eq:tail}). Thus, Lemma \ref{l:c} is the Chernoff bound for subexponential random variables. For $r=0^+$, $W_i$ becomes a sub-Gaussian random variable, and Lemma \ref{l:c} reduces to the Chernoff bound for sub-Gaussian random variables.

\begin{proof} [Proof of Lemma \ref{l:c}]
The tail bound (\ref{eq:tail}) implies that for any $j>0$,
\begin{multline}
\e(|W_i|^j)=\int_0^\infty\Pr(|W_i|^j>x)\,\mathrm dx=\int_0^\infty jx^{j-1}\Pr(|W_i|>x)\,\mathrm dx\\
=\int_0^\infty jx^{j-1}O(e^{-x/r}+e^{-x^2/s^2})\,\mathrm dx=O\big(r^j\Gamma(j+1)+s^j\Gamma(j/2+1)\big),
\end{multline}
where $\Gamma$ is the gamma function. Let $t$ be such that $0<t\le1/(2r)$. Since $\e W_i=0$,
\begin{equation}
\e e^{tW_i}=1+\sum_{j=2}^\infty\frac{t^j\e(W_i^j)}{j!}=1+\sum_{j=2}^\infty O\left((rt)^j+\frac{(st)^j\Gamma(j/2+1)}{j!}\right).
\end{equation}
Using $(st)^j\le(st)^{j-1}+(st)^{j+1}$ for odd $j$,
\begin{multline} \label{eq:mgf}
\e e^{tW_i}=1+\frac{O(rt)^2}{1-rt}+\sum_{j=1}^\infty(st)^{2j}O\left(\frac{\Gamma(j+1/2)}{(2j-1)!}+\frac{j!}{(2j)!}+\frac{\Gamma(j+3/2)}{(2j+1)!}\right)\\
=1+O(rt)^2+O(1)\sum_{j=1}^\infty\frac{(st)^{2j}}{j!}\le e^{c(r^2+s^2)t^2},
\end{multline}
where $c>0$ is a constant. Recall the standard Chernoff argument:
\begin{equation} \label{eq:ca}
\Pr\left(\frac1n\sum_{i=1}^nW_i>\delta\right)=\Pr(e^{t\sum_{i=1}^nW_i}>e^{nt\delta})\le e^{-nt\delta}\e e^{t\sum_{i=1}^nW_i}=\prod_{i=1}^n\e e^{tW_i-t\delta}.
\end{equation}
If $\delta\le c(r^2+s^2)/r$, we choose $t=\frac\delta{2c(r^2+s^2)}$ so that
\begin{equation}
\e e^{tW_i-t\delta}\le e^{-\frac{\delta^2}{4c(r^2+s^2)}}.
\end{equation}
If $\delta>c(r^2+s^2)/r$, we choose $t=1/(2r)$ so that
\begin{equation}
\e e^{tW_i-t\delta}\le e^{\frac{c(r^2+s^2)}{4r^2}-\frac{\delta}{2r}}\le e^{-\frac\delta{4r}}.
\end{equation}
We complete the proof by combining these two cases.
\end{proof}

\begin{lemma} \label{l:c2}
Let $W_1,W_2,\ldots,W_n$ be independent random variables on the interval $[-1,1]$ such that
\begin{equation}
\e W_i=0,\quad\Pr(|W_i|>x)=O\left(e^{-\min\left\{(r+is)x,\frac{(r+is)^3x^2}{r^2}\right\}}\right),\quad\forall i
\end{equation}
for some $r,s=\Omega(1)$. Then,
\begin{equation}
\Pr\left(\left|\frac1n\sum_{i=1}^nW_i\right|>\delta\right)=O(e^{-\Omega(n^2\delta^2)}).
\end{equation}
\end{lemma}

\begin{proof}
For $i\ge(2t-r)/s$, (\ref{eq:mgf}) implies that
\begin{equation}
\e e^{tW_i}=e^{\frac{O(t^2)}{(r+is)^2}+\frac{O(r^2t^2)}{(r+is)^3}}.
\end{equation}
Since $|W_i|\le1$, we trivially have
\begin{equation}
\e e^{tW_i}\le e^t.
\end{equation}
The Chernoff argument (\ref{eq:ca}) implies that
\begin{multline}
\Pr\left(\frac1n\sum_{i=1}^nW_i>\delta\right)\le e^{-nt\delta}\prod_{i=1}^n\e e^{tW_i}\le e^{-nt\delta}\prod_{1\le i<\frac{2t-r}s}e^t\times\prod_{\max\left\{\frac{2t-r}s,1\right\}\le i\le n}e^{\frac{O(t^2)}{(r+is)^2}+\frac{O(r^2t^2)}{(r+is)^3}}\\
\le e^{-nt\delta+O(t^2)+\sum_{i=1}^{+\infty}\frac{O(t^2)}{(r+is)^2}+\frac{O(r^2t^2)}{(r+is)^3}}=e^{O(t^2)-nt\delta}.
\end{multline}
We complete the proof by choosing $t=c'n\delta$ for a sufficiently small constant $c'>0$.
\end{proof}

\begin{proof} [Proof of Eq. (\ref{eq:60})]
Using Eq. (\ref{eq:54}) and Lemma \ref{l:c} with $r=0^+$,
\begin{gather}
\Pr\left(\left|\frac1n\sum_{\textnormal{even}~i}(\mathbf J_{i,i}-\mathbf J'_{i,i})\right|>\epsilon\right)=O(e^{-\Omega(a+b)n\epsilon^2}),\\
\Pr\left(\left|\frac1n\sum_{\textnormal{odd}~i}(\mathbf J_{i,i}-\mathbf J'_{i,i})\right|>\epsilon\right)=O(e^{-\Omega(a+b)n\epsilon^2}).
\end{gather}
Then, Eq. (\ref{eq:60}) follows from Eq. (\ref{eq:66}) and the union bound.
\end{proof}

\begin{proof} [Proof of Eq. (\ref{eq:61})]
The tail bound (\ref{eq:btail1}) implies that
\begin{equation} \label{eq:btail6}
\Pr(|Z_i-\e Z_i|>\delta)=O(e^{-\Omega(a+b+(n-i/2)\beta)\delta^2})
\end{equation}
so that
\begin{equation}
\Pr(|Z_{i-1}Z_i-\e Z_{i-1}\cdot\e Z_i|>\delta)=O\left(e^{-\Omega(a+b+(n-i/2)\beta)\delta\min\left\{\frac{(a+b+(n-i/2)\beta)^2\delta}{(a+b)^2},1\right\}}\right).
\end{equation}
Using Lemma \ref{l:c2},
\begin{gather}
\Pr\left(\left|\frac1n\sum_{\textnormal{even}~i}(Z_{i-1}Z_i-\e Z_{i-1}\cdot\e Z_i)\right|>\epsilon\right)=O(e^{-\Omega(n^2\epsilon^2)}),\\
\Pr\left(\left|\frac1n\sum_{\textnormal{odd}~i}(Z_{i-1}Z_i-\e Z_{i-1}\cdot\e Z_i)\right|>\epsilon\right)=O(e^{-\Omega(n^2\epsilon^2)}).
\end{gather}
Then, Eq. (\ref{eq:61}) follows from Eq. (\ref{eq:66}) and the union bound.
\end{proof}

\begin{proof} [Proof of Eq. (\ref{eq:62})]
Equations (\ref{eq:zm}), (\ref{eq:ab}), (\ref{eq:50}), (\ref{eq:51}) imply that
\begin{gather}
|\mathbf J'_{i,i}/2-Y_1|=O(n/N),\quad|\mathbf J'_{i+1,i}|=O(\sqrt{n/N}),\quad\forall i,\label{eq:59}\\
|\e((\mathbf J_{i,i}/2-Y_1)^2)-(\mathbf J'_{i,i}/2-Y_1)^2|=\frac{O(1)}{a+b},\quad|\e(\mathbf J^2_{i+1,i})-\mathbf J'^2_{i+1,i}|=\frac{O(n)}{(a+b)N},\quad\forall i.\label{eq:71}
\end{gather}
Equations (\ref{eq:54}), (\ref{eq:65}), (\ref{eq:59}) imply that
\begin{gather}
\Pr\big(|(\mathbf J_{i,i}/2-Y_1)^2-(\mathbf J'_{i,i}/2-Y_1)^2|>\delta\big)=O(e^{-\Omega(a+b)\delta\min\{N^2\delta/n^2,1\}}),\quad\forall i,\\
\Pr(|\mathbf J_{i+1,i}^2-\mathbf J'^2_{i+1,i}|>\delta)=O(e^{-\Omega(a+b)\delta\min\{N\delta/n,1\}}),\quad\forall i.
\end{gather}
Using Eq. (\ref{eq:71}),
\begin{gather}
\Pr\big(|(\mathbf J_{i,i}/2-Y_1)^2-\e((\mathbf J_{i,i}/2-Y_1)^2)|>\delta\big)=O(e^{-\Omega(a+b)\delta\min\{N^2\delta/n^2,1\}}),\quad\forall i,\\
\Pr\big(|\mathbf J_{i+1,i}^2-\e(\mathbf J^2_{i+1,i})|>\delta\big)=O(e^{-\Omega(a+b)\delta\min\{N\delta/n,1\}}),\quad\forall i.
\end{gather}
Using Lemma \ref{l:c},
\begin{gather}
\Pr\left(\left|\frac1n\sum_{\textnormal{even}~i}\big((\mathbf J_{i,i}/2-Y_1)^2-\e((\mathbf J_{i,i}/2-Y_1)^2)\big)\right|>\epsilon\right)=O(e^{-\Omega(a+b)\epsilon\min\{N\epsilon,n\}}),\\
\Pr\left(\left|\frac1n\sum_{\textnormal{odd}~i}\big((\mathbf J_{i,i}/2-Y_1)^2-\e((\mathbf J_{i,i}/2-Y_1)^2)\big)\right|>\epsilon\right)=O(e^{-\Omega(a+b)\epsilon\min\{N\epsilon,n\}}),\\
\Pr\left(\left|\frac1n\sum_{\textnormal{even}~i}\big(\mathbf J_{i+1,i}^2-\e(\mathbf J^2_{i+1,i})\big)\right|>\epsilon\right)=O(e^{-\Omega(a+b)\epsilon\min\{N\epsilon,n\}}),\\
\Pr\left(\left|\frac1n\sum_{\textnormal{odd}~i}\big(\mathbf J_{i+1,i}^2-\e(\mathbf J^2_{i+1,i})\big)\right|>\epsilon\right)=O(e^{-\Omega(a+b)\epsilon\min\{N\epsilon,n\}}).
\end{gather}
Then, Eq. (\ref{eq:62}) follows from Eq. (\ref{eq:67}) and the union bound.
\end{proof}

\begin{proof} [Proof of Eq. (\ref{eq:63})]
The tail bound (\ref{eq:btail6}) implies that
\begin{multline}
\Pr\big(|2Z_{i-2}(Z_{i-1}^2-1)Z_i+Z_{i-1}^2Z_i^2-\e(2Z_{i-2}(Z_{i-1}^2-1)Z_i+Z_{i-1}^2Z_i^2)|>\delta\big)\\
=O\left(e^{-\Omega(a+b+(n-i/2)\beta)\delta\min\left\{\frac{(a+b+(n-i/2)\beta)^2\delta}{(a+b)^2},1\right\}}\right).
\end{multline}
Recall the definition (\ref{eq:defm}) of $M'$. It can be proved in the same way as Eq. (\ref{eq:61}) that
\begin{equation} \label{eq:100}
\Pr(|M'-\e M'|>\epsilon)=O(e^{-\Omega(n^2\epsilon^2)}).
\end{equation}
Equation (\ref{eq:63}) follows from Eqs. (\ref{eq:61}), (\ref{eq:68}), (\ref{eq:100}) and the union bound.
\end{proof}

\section*{Acknowledgments}

This material is based upon work supported by the U.S. Department of Energy, Office of Science, National Quantum Information Science Research Centers, Quantum Systems Accelerator.  AWH was also supported by NSF grants CCF-1729369 and PHY-1818914 and NTT (Grant AGMT DTD 9/24/20).

Probability (math.PR); Mathematical Physics (math-ph)