Shortest paths in arbitrary plane domains
Let $\Omega$ be a connected open set in the plane and $\gamma: [0,1] \to \overline{\Omega}$ a path such that $\gamma((0,1)) \subset \Omega$. We show that the path $\gamma$ can be ``pulled tight'' to a unique shortest path which is homotopic to $\gamma$, via a homotopy $h$ with endpoints fixed whose intermediate paths $h_t$, for $t \in [0,1)$, satisfy $h_t((0,1)) \subset \Omega$. We prove this result even in the case when there is no path of finite Euclidean length homotopic to $\gamma$ under such a homotopy. For this purpose, we offer three other natural, equivalent notions of a ``shortest'' path. This work generalizes previous results for simply connected domains with simple closed curve boundaries.
\section{Introduction}
\label{sec:introduction}

Bourgin and Renz \cite{BourginRenz1989} proved that given a simply connected plane domain $\Omega$ with simple closed curve boundary, and given any two points $p,q \in \overline{\Omega}$, there exists a unique \emph{shortest} path in $\overline{\Omega}$ which is the uniform limit of paths which (except possibly for their endpoints $p$ and $q$) are contained in $\Omega$.  If there is a rectifiable such curve (i.e.\ one with finite Euclidean length), then by shortest is meant the one with the smallest Euclidean length.  If not, then by shortest is meant \emph{locally shortest}, which means that every subpath not containing the endpoints $p$ and $q$ is of finite Euclidean length and is shortest among all such paths joining the endpoints of the subpath.  A related result for $1$-dimensional locally connected continua is proved in \cite{CannonConnerZastrow2002}. 

In \cref{thm:main1}, we extend the result of Bourgin and Renz to paths in multiply connected domains with arbitrary boundaries.  Along the way, we characterize the concept of a shortest path in up to four different ways, outlined in the subsections below and stated in \cref{thm:main2}.  To state these concepts and our results precisely, we must fix some terminology and notation regarding paths and homotopies.

For notational convenience, we identify the plane $\mathbb{R}^2$ with the complex numbers $\mathbb{C}$.  Fix a connected open set $\Omega \subset \mathbb{C}$ and points $p,q \in \overline{\Omega}$.  We consider paths whose range is contained in $\Omega$, except that the endpoints of the path may belong to $\partial \Omega$.  For brevity, we use the abbreviation ``e.p.e.''\ to mean ``except possibly at endpoints''.  Formally, a \emph{path in $\Omega$ (e.p.e.)\ joining $p$ and $q$} is a continuous function $\gamma: [0,1] \to \mathbb{C}$ such that $\gamma(0) = p$, $\gamma(1) = q$, and $\gamma(s) \in \Omega$ for all $s \in (0,1)$.  When $p,q \in \partial \Omega$, the existence of such a path is equivalent to the statement that $p$ and $q$ are \emph{accessible} from $\Omega$.


We consider homotopies $h: [0,1] \times [0,1] \to \mathbb{C}$ such that for each $t \in [0,1)$, the path $h_t: [0,1] \to \mathbb{C}$ defined by $h_t(s) = h(s,t)$ is a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$.  Given a path $\gamma$ in $\Omega$ (e.p.e.)\ joining $p$ and $q$, let $\overline{[\gamma]}$ denote the set of all paths homotopic to $\gamma$ under such homotopies.  Note that paths in $\overline{[\gamma]}$ may meet the boundary $\partial \Omega$ in more than just the endpoints.  Let $[\gamma]$ denote the set of all paths in $\Omega$ (e.p.e.)\ which belong to $\overline{[\gamma]}$.  Note that in spite of the notation, $\overline{[\gamma]}$ is not equal to the topological closure of $[\gamma]$ (e.g.\ in the function space).

The main result of this paper is that if $\gamma$ is a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$, then $\overline{[\gamma]}$ contains a unique \emph{shortest} path.  By ``shortest'', we mean any one of the equivalent notions introduced next and collected in \cref{thm:main2} below.

First, if there is a path in $\overline{[\gamma]}$ of finite Euclidean length, then we may consider the path in $\overline{[\gamma]}$ of smallest Euclidean length.

Second, we adapt Bourgin \& Renz's condition of locally shortest as follows:

\begin{defn*}
\label{defn:locally shortest}
Let $\gamma$ be a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$, and let $\lambda \in \overline{[\gamma]}$.
\begin{itemize}
\item Given $0 < s_1 < s_2 < 1$, we define the class $\overline{[\lambda^\gamma_{[s_1,s_2]}]}$ as follows.  Let $h: [0,1] \times [0,1] \to \overline{\Omega}$ be a homotopy such that $h_0 = \gamma$, $h_1 = \lambda$, and for each $t \in [0,1)$, $h_t$ is a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$.  We use the homotopy $h$ to ``pull off'' the path $\lambda {\upharpoonright}_{[s_1,s_2]}$ (e.p.e.)\ from $\partial \Omega$ as follows.  Define the path $\lambda^\gamma_{[s_1,s_2]}: [s_1,s_2] \to \overline{\Omega}$ by
\[ \lambda^\gamma_{[s_1,s_2]}(s) = h(s, 1 - (s-s_1)(s-s_2)) .\]
See \cref{fig:locally shortest}.  Though this path is defined in terms of the homotopy $h$, the class $\overline{[\lambda^\gamma_{[s_1,s_2]}]}$ does not depend on the choice of $h$ (see \cref{cor:locally shortest well-defined} below).
\item A path $\lambda \in \overline{[\gamma]}$ is called \emph{locally shortest} if for any $0 < s_1 < s_2 < 1$, the path $\lambda {\upharpoonright}_{[s_1,s_2]}$ has finite Euclidean length, and this length is smallest among all paths in $\overline{[\lambda^\gamma_{[s_1,s_2]}]}$.
\end{itemize}
\end{defn*}

\begin{figure}
\begin{center}
\includegraphics{LocallyShortest.pdf}
\end{center}

\caption{An illustration of the paths $\gamma$, $\lambda$, and $\lambda^\gamma_{[s_1,s_2]}$, for the definition of a locally shortest path.}
\label{fig:locally shortest}
\end{figure}


Two further notions of ``shortest path'' are given in the next subsections.


\subsection{Efficient paths}
\label{sec:efficient}

As above, fix a connected open set $\Omega \subset \mathbb{C}$ and points $p,q \in \overline{\Omega}$.

\begin{defn*}
\label{defn:efficient}
Let $\gamma$ be a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$.  A path $\lambda \in \overline{[\gamma]}$ is called \emph{efficient} (in $\overline{[\gamma]}$) if the following property holds:
\begin{quote}
Given any $s_1,s_2 \in [0,1]$ with $s_1 < s_2$, let $\lambda'$ be the path defined by $\lambda'(s) = \lambda(s)$ for $s \notin [s_1,s_2]$, and $\lambda' {\upharpoonright}_{[s_1,s_2]}$ parameterizes the straight line segment $\overline{\lambda(s_1) \lambda(s_2)}$ or the constant path if $\lambda(s_1) = \lambda(s_2)$.  If $\lambda' \in \overline{[\gamma]}$, then $\lambda = \lambda'$ (up to reparameterization).
\end{quote}
\end{defn*}

The following is the first main result of this paper.  The proof is in \cref{sec:proof main1}.

\begin{thm}
\label{thm:main1}
Let $\Omega \subset \mathbb{C}$ be a connected open set, let $p,q \in \overline{\Omega}$, and let $\gamma$ be a path in $\Omega$ (except possibly at endpoints) joining $p$ and $q$.  Then $\overline{[\gamma]}$ contains a unique (up to parameterization) efficient path.
\end{thm}


\subsection{Alternative notion of path length}
\label{sec:len}

Instead of the standard Euclidean path length, which can only distinguish between two paths if at least one of them is rectifiable, we can use an alternative notion of path length for which all paths have finite length, and which has other useful properties and many features in common with Euclidean length.  A notion of length with such properties was first introduced in \cite{Morse1936} and further developed in \cite{Silverman1969}.  A simlar notion is given in \cite{CannonConnerZastrow2002}, and the authors of the present paper modified and extended that notion in \cite{HOT2018-1}.

Let $\mathsf{len}$ refer to either the path length function introduced in \cite{HOT2018-1} or in \cite{Morse1936}.  The essential properties of $\mathsf{len}$ are:
\begin{enumerate}
\item $\mathsf{len}(\gamma)$ is finite (in fact $\mathsf{len}(\gamma) < 1$) for any path $\gamma$;
\item $\mathsf{len}(\gamma) = 0$ if and only if $\gamma$ is constant;
\item For any $p,q \in \mathbb{C}$, the straight line segment $\overline{pq}$ has smallest $\mathsf{len}$ length among all paths from $p$ to $q$.  Moreover, if $\gamma$ is a path from $p$ to $q$ which deviates from the straight line segment $\overline{pq}$, or which is not monotone, then $\mathsf{len}(\gamma) > \mathsf{len}(\overline{pq})$;
\item If $\Phi: \mathbb{C} \to \mathbb{C}$ is an isometry, then $\mathsf{len}(\Phi \circ \gamma) = \mathsf{len}(\gamma)$;
\item Given $0 \leq c_1 < c_2 \leq 1$, $\mathsf{len}(\gamma {\upharpoonright}_{[c_1,c_2]}) \leq \mathsf{len}(\gamma)$.  This inequality is strict unless $\gamma$ is constant outside of $[c_1,c_2]$;
\item Given $c \in (0,1)$, $\mathsf{len}(\gamma) \leq \mathsf{len}(\gamma {\upharpoonright}_{[0,c]}) + \mathsf{len}(\gamma {\upharpoonright}_{[c,1]})$.  This inequality is strict unless one of the subpaths is constant;
\item $\mathsf{len}$ is a continuous function from the space of paths (with the uniform metric $d_{\mathrm{sup}}$) to $\mathbb{R}$.
\end{enumerate}


Our second main result is the following.  The proof is in \cref{sec:proof main2}.

\begin{thm}
\label{thm:main2}
Let $\Omega \subset \mathbb{C}$ be a connected open set, let $p,q \in \overline{\Omega}$, and let $\gamma$ be a path in $\Omega$ (except possibly at endpoints) joining $p$ and $q$.  Then for a path $\lambda \in \overline{[\gamma]}$, the following are equivalent:
\begin{enumerate}
\item $\lambda$ is locally shortest;
\item $\lambda$ is efficient; and
\item $\lambda$ has smallest $\mathsf{len}$ length among all paths in $\overline{[\gamma]}$.
\end{enumerate}
Moreover, if $\overline{[\gamma]}$ contains a rectifiable path, then in addition to the above we have
\begin{enumerate}
\setcounter{enumi}{3}
\item $\lambda$ has smallest Euclidean length among all paths in $\overline{[\gamma]}$.
\end{enumerate}
\end{thm}


\subsection*{Ackowledgements}

The authors would like to thank Professor Alexandre Eremenko for educating them on the history of analytic covering maps and the referee of an earlier version of this paper for several helpful comments which helped to clarify some of the arguments.



\section{Preliminaries on bounded analytic covering maps}
\label{sec:covering maps}

Our arguments in Sections \ref{sec:proof main1} and \ref{sec:proof main2} make heavy use of the theory of complex analytic covering maps.  In this section, we collect the results we will use later.

Denote $\mathbb{D} = \{z \in \mathbb{C}: |z| < 1\}$.  It is a standard classical result (see e.g.\ \cite{Ahlfors1973}) that for any connected open set $\Omega \subset \mathbb{C}$ whose complement contains at least two points, and for any $z_0 \in \Omega$, there is a complex analytic covering map $\varphi: \mathbb{D} \to \Omega$ such that $\varphi(0) = z_0$.  Moreover, this covering map $\varphi$ is uniquely determined by the argument of $\varphi'(0)$.

Many of the results below hold only for analytic covering maps $\varphi: \mathbb{D} \to \Omega$ to bounded sets $\Omega$.  For the remainder of this subsection, let $\Omega \subset \mathbb{C}$ be a bounded connected open set, and let $\varphi: \mathbb{D} \to \Omega$ be an analytic covering map.

We first state three classic results about the boundary behavior of $\varphi$.  All of the subsequent results in this section will be derived from these and from standard covering map theory.

\begin{thm}[Fatou \cite{Fatou06}, see e.g.\ {\cite[p.22]{Conway1995}}]
\label{thm:Fatou}
The radial limits $\lim_{r \to 1^-} \varphi(r\alpha)$ exist for all points $\alpha \in \partial \mathbb{D}$ except possibly for a set of linear measure zero in $\partial \mathbb{D}$.
\end{thm}

It can easily be seen that if $\alpha \in \partial \mathbb{D}$ is such that $\lim_{r \to 1^-} \varphi(r\alpha)$ exists, then the limit belongs to $\partial \Omega$.

\begin{thm}[Riesz \cite{Riesz16, Riesz23}, see e.g.\ {\cite[p.22]{Conway1995}}]
\label{thm:Riesz}
For each $z \in \partial \Omega$, the set of points $\alpha \in \partial \mathbb{D}$ for which $\lim_{r\to 1^-} \varphi(r\alpha) = z$ has linear measure zero in $\partial \mathbb{D}$.
\end{thm}

\begin{thm}[Lindel\"{o}f \cite{Lindelof1915}, see e.g.\ {\cite[p.23]{Conway1995}}]
\label{thm:Lindelof}
Let $\widehat{\gamma}: [0,1] \to \overline{\mathbb{D}}$ be a path such that $\widehat{\gamma}([0,1)) \subset \mathbb{D}$ and $\widehat{\gamma}(1) = \alpha \in \partial \mathbb{D}$.  Suppose that $\lim_{t \to 1^-} \varphi \circ \widehat{\gamma}(t)$ exists.  Then the radial limit $\lim_{r\to 1^-} \varphi(r\alpha)$ exists and is equal to $\lim_{t \to 1^-} \varphi \circ \widehat{\gamma}(t)$.
\end{thm}

We define the \emph{extended covering map}
\[ \overline{\varphi}: \mathbb{D} \cup \{\alpha \in \partial \mathbb{D}: \lim_{r \to 1^-} \varphi(r\alpha) \textrm{ exists}\} \to \overline{\Omega} \]
by
\[ \overline{\varphi}(\widehat{z}) = \begin{cases}
\varphi(\widehat{z}) & \textrm{if } \widehat{z} \in \mathbb{D} \\
\lim_{r \to 1^-} \varphi(r\alpha) & \textrm{if } \widehat{z} = \alpha \in \partial \mathbb{D} .
\end{cases} \]
By \cref{thm:Fatou}, this function is defined on $\mathbb{D}$ plus a full measure subset of $\partial \mathbb{D}$.  Note that this function $\overline{\varphi}$ is not necessarily continuous at points where it is defined in $\partial \mathbb{D}$.  It is, however, continuous by definition along each radial segment from the center $0$ of $\mathbb{D}$ to any point $\alpha \in \partial \mathbb{D}$ where it is defined.  In fact, more is true: if $\overline{\varphi}$ is defined at $\alpha$, then its restriction to any \emph{Stolz angle} at $\alpha$ is continuous (see e.g.\ \cite[p.23]{Conway1995}); however, we will not need this concept in this paper.



As a general convention, we will put hats on symbols, as in $\widehat{z}$, $\widehat{A}$, or $\widehat{\gamma}$, to refer to points, subsets, or paths in $\overline{\mathbb{D}}$, and use symbols without hats to refer to points, subsets, or paths in $\overline{\Omega} \subset \mathbb{C}$, with the understanding that if both $z$ and $\widehat{z}$ appear in an argument, they are related by $z = \overline{\varphi}(\widehat{z})$ (and likewise for sets and paths).  If $z = \overline{\varphi}(\widehat{z})$ for points $z \in \overline{\Omega}$ and $\widehat{z} \in \overline{\mathbb{D}}$ (respectively, $A = \overline{\varphi}(\widehat{A})$ for sets $A \subset \overline{\Omega}$ and $\widehat{A} \subset \overline{\mathbb{D}}$), we say $\widehat{z}$ is a \emph{lift} of $z$ (respectively, $\widehat{A}$ is a \emph{lift} of $A$).  Similarly, if $\gamma = \overline{\varphi} \circ \widehat{\gamma}$ for paths $\gamma$ in $\overline{\Omega}$ and $\widehat{\gamma}$ in $\overline{\mathbb{D}}$, we say $\widehat{\gamma}$ is a \emph{lift} of $\gamma$.


The next result about lifts of paths is very similar to classical results for covering maps.  Since our extended map $\overline{\varphi}$ is not necessarily continuous at points in $\partial \mathbb{D}$, it is not a simple consequence of basic covering map theory.  It is proved in \cite{HOT2018-2}, and we also include a proof here to convey the flavor of working with the extended map $\overline{\varphi}$.

\begin{thm}
\label{thm:lift}
Let $p,q \in \overline{\Omega}$, let $z \in \Omega$, and let $\widehat{z} \in \mathbb{D}$ such that $\varphi(\widehat{z}) = z$.
\begin{enumerate}
\item Let $\gamma$ be a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$, and suppose $\gamma(s_0) = z$ for some $s_0 \in [0,1]$.  Then there exists a unique path $\widehat{\gamma}$ in $\mathbb{D}$ (e.p.e.)\ such that $\overline{\varphi} \circ \widehat{\gamma} = \gamma$ and $\widehat{\gamma}(s_0) = \widehat{z}$.
\item Let $h: [0,1] \times [0,1] \to \mathbb{C}$ be a homotopy such that for each $t \in [0,1]$ the path $h_t(s) = h(s,t)$ is a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$, and suppose $h(s_0,0) = z$ for some $s_0 \in [0,1]$.  Then there exists a unique homotopy $\widehat{h}: [0,1] \times [0,1] \to \overline{\mathbb{D}}$ such that $\widehat{h}(s,t) \in \mathbb{D}$ and $\varphi \circ \widehat{h}(s,t) = h(s,t)$ for each $(s,t) \in (0,1) \times [0,1]$, $\widehat{h}(\{0\} \times [0,1])$ is a single point $\widehat{p}$ in $\overline{\mathbb{D}}$ with $\overline{\varphi}(\widehat{p}) = p$, $\widehat{h}(\{1\} \times [0,1])$ is a single point $\widehat{q}$ in $\overline{\mathbb{D}}$ with $\overline{\varphi}(\widehat{q}) = q$, and $\widehat{h}(s_0,0) = \widehat{z}$.
\end{enumerate}
\end{thm}

\begin{proof}
Observe that (1) follows from (2), by using the constant homotopy $h(s,t) = \gamma(s)$ for all $t \in [0,1]$.  Thus it suffices to prove (2).

Since $\varphi$ is a covering map and $h((0,1) \times [0,1]) \subset \Omega$, it follows from standard covering space theory that there is a unique homotopy $\widehat{h}: (0,1) \times [0,1] \to \mathbb{D}$ such that $\varphi \circ \widehat{h}(s,t) = h(s,t)$ for each $(s,t) \in (0,1) \times [0,1]$, and $\widehat{h}(s_0,0) = \widehat{z}$.  It remains to prove that there are points $\widehat{p},\widehat{q} \in \mathbb{D}$ such that defining $\widehat{h}(\{0\} \times [0,1]) = \{\widehat{p}\}$ and $\widehat{h}(\{1\} \times [0,1]) = \{\widehat{q}\}$ makes $\widehat{h}$ into a continuous function from $[0,1] \times [0,1]$ to $\overline{\mathbb{D}}$.  This is immediate if $p$ and $q$ belong to $\Omega$, so we assume $p,q \in \partial \Omega$.

Observe that the set $\widehat{h}((0,\frac{1}{2}] \times [0,1])$ compactifies on a continuum $K \subset \partial \mathbb{D}$.  We need to prove that $K$ is a single point $\{\widehat{p}\}$.  Suppose for a contradication that $K$ contains more than one point.  Then there exists by \cref{thm:Fatou} a set $E$ of positive measure in the interior of $K$ so that for each $\alpha \in E$, the radial limit $\lim_{r \to 1^-} \varphi(r\alpha)$ exists.  Since the set $\widehat{h}((0,\frac{1}{2}] \times [0,1])$ compactifies on $K$ we can choose, for each $\alpha \in E$, a sequence $(s_n,t_n)$ in $(0,\frac{1}{2}] \times [0,1]$ such that $s_n \to 0$ and $\widehat{h}(s_n,t_n) = r_n \alpha$, with $r_n \to 1$.  It follows that the radial limit $\lim_{r \to 1^-} \varphi(r\alpha) = p$ for each $\alpha \in E$, a contradiction with \cref{thm:Riesz}.  Thus $K$ is a single point $\{\widehat{p}\}$, and so we can continuously extend $\widehat{h}$ to $\{0\} \times [0,1]$ by defining $\widehat{h}(\{0\} \times [0,1]) = \{\widehat{p}\}$.  By \cref{thm:Lindelof} it follows that $\overline{\varphi}(\widehat{p}) = p$.

Likewise, by considering $\widehat{h}([\frac{1}{2},1) \times [0,1])$ we obtain by the same argument a point $\widehat{q} \in \overline{\mathbb{D}}$ such that $\widehat{h}$ extends continuously to $\{1\} \times [0,1]$ by defining $\widehat{h}(\{1\} \times [0,1]) = \{\widehat{q}\}$, and $\overline{\varphi}(\widehat{q}) = q$.
\end{proof}


\cref{thm:lift}(2) implies that if $p,q \in \overline{\Omega}$, $\gamma$ is a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$, $\widehat{\gamma}$ is a lift of $\gamma$ with endpoints $\widehat{p},\widehat{q} \in \overline{\mathbb{D}}$, and $\lambda \in [\gamma]$, then there exists a lift $\widehat{\lambda}$ of $\lambda$ with the same endpoints $\widehat{p},\widehat{q}$ as $\widehat{\gamma}$.  We will prove a stronger statement in \cref{thm:class closure lift} below.

The next result follows immediately from \cref{thm:lift}(1).

\begin{cor}
\label{cor:line lift}
Let $L$ be an open arc in $\Omega$ whose closure is an arc with distinct endpoints in $\partial \Omega$.  Let $\widehat{L}$ be a component of $\varphi^{-1}(L)$.  Then $\widehat{L}$ is an open arc in $\mathbb{D}$ whose closure in $\overline{\mathbb{D}}$ is an arc with distinct endpoints in $\partial \mathbb{D}$.
\end{cor}


We next prove a result about the existence of small ``crosscuts'' in $\mathbb{D}$ straddling any point $\alpha \in \partial \mathbb{D}$ for which $\overline{\varphi}(\alpha) \in \partial \Omega$ is not isolated in $\partial \Omega$.  For one-to-one analytic maps $\varphi: \mathbb{D} \to \mathbb{C}$, this result is standard; see e.g.\ \cite{Pommerenke1992}.  We were unable to find a reference for the case of a bounded analytic covering map $\varphi$, so we include a proof for completeness.

\begin{thm}
\label{thm:crosscut}
Let $\alpha \in \partial \mathbb{D}$ be such that the radial limit $\lim_{r \to 1^-} \varphi(r\alpha)$ exists, and let $p \in \partial \Omega$ be the limit.
\begin{enumerate}
\item If $p$ is not isolated in $\partial \Omega$, then for any sufficiently small simple closed curve $S$ in $\mathbb{C}$ containing $p$ in its interior, there is a component $\widehat{S}$ of $\varphi^{-1}(S)$ whose closure is an arc separating $\alpha$ from the center $0$ of $\mathbb{D}$ in $\overline{\mathbb{D}}$.
\item If $p$ is isolated in $\partial \Omega$, then for any sufficiently small simple closed curve $S$ in $\Omega$ containing $p$ in its interior, there is a component $\widehat{S}$ of $\varphi^{-1}(S)$ whose closure is a circle whose intersection with $\partial \mathbb{D}$ is $\{\alpha\}$.
\end{enumerate}
Moreover, in both cases, the diameter of $\widehat{S}$ can be made arbitrarily small by choosing $S$ sufficiently small.
\end{thm}

\begin{proof}
Let $S$ be small enough so that $\varphi(0)$ is not in the closed topological disk bounded by $S$.  Let $r_0 < 1$ be close enough to $1$ so that $\varphi(r\alpha)$ is in the interior of $S$ for all $r \in [r_0,1)$.  The closed (in $\mathbb{D}$) set $\varphi^{-1}(S)$ must separate $r_0 \alpha$ from $0$ in $\mathbb{D}$, since otherwise there would be a path from $0$ to $r_0 \alpha$ which would project to a path in $\Omega$ from $\varphi(0)$ to $\varphi(r_0 \alpha)$ without intersecting $S$, a contradiction.  Therefore, there must be a component $\widehat{S}$ of $\varphi^{-1}(S)$ which separates $r_0 \alpha$ from $0$ in $\mathbb{D}$ (see e.g.\ \cite[p.438 \S 57 III Theorem 1]{Kuratowski1968}).

For (1), suppose that $p$ is not isolated in $\partial \Omega$.  Assume first that $S \cap \partial \Omega \neq \emptyset$.  Let $C$ be the component of $S \cap \Omega$ containing $\varphi(\widehat{S})$.  This $C$ is a path in $\Omega$ (e.p.e.)\ joining two points (not necessarily distinct) $a,b \in \partial \Omega$ with $a \neq p \neq b$.  By \cref{thm:lift} and the fact that $C$ is an open arc in $\Omega$, we have that each component of $\varphi^{-1}(C)$ is an arc in $\mathbb{D}$ joining points $\widehat{a},\widehat{b} \in \partial \mathbb{D}$ at which the radial limits exist and are equal to $a$ and $b$, respectively; in particular, we have $\widehat{a} \neq \alpha \neq \widehat{b}$.  It follows that the closure of $\widehat{S}$ is an arc with endpoints distinct from $\alpha$, which separates $\alpha$ from $0$ in $\overline{\mathbb{D}}$, as desired.

Now choose $\varepsilon_1 > 0$ small enough so that $\varphi(0)$ is not in the closed disk $\overline{B}(p,\varepsilon_1)$ and such that $\partial B(p,\varepsilon_1) \cap \partial \Omega \neq \emptyset$.  Assume that $S \subset B(p,\varepsilon_1)$.  If $S \cap \partial \Omega \neq \emptyset$, then we are done by the previous paragraph; hence, suppose that $S \cap \partial \Omega = \emptyset$.  Choose $\varepsilon_0 > 0$ small enough so that $B(p,\varepsilon_0)$ is contained in the interior of $S$, and such that $\partial B(p,\varepsilon_0) \cap \partial \Omega \neq \emptyset$.  By the previous paragraph, there are components $\widehat{S}_0$ and $\widehat{S}_1$ of $\varphi^{-1}(\partial B(p,\varepsilon_0))$ and $\varphi^{-1}(\partial B(p,\varepsilon_1))$, respectively, which are arcs separating $\alpha$ from $0$.  As above, there is a component $\widehat{S}$ of $\varphi^{-1}(S)$ which separates a tail end of the radial segment at $\alpha$ from $0$ in $\mathbb{D}$, and which separates $\widehat{S}_0$ from $\widehat{S}_1$ in $\mathbb{D}$ (i.e.\ lies between $\widehat{S}_0$ and $\widehat{S}_1$).  This implies the endpoints of the closure of $\widehat{S}$ are distinct, hence the closure of $\widehat{S}$ is an arc, as desired.

For (2), let $S$ be small enough so that $p$ is the only point of $\partial \Omega$ in the closed topological disk bounded by $S$.  As above, we obtain a component $\widehat{S}$ of $\varphi^{-1}(S)$ which separates a tail end of the radial segment at $\alpha$ from $0$ in $\mathbb{D}$.  Since $\varphi$ is a covering map, this $\widehat{S}$ must be an open arc in $\mathbb{D}$ whose two ends both accumulate on continua $K_1$ and $K_2$ in $\partial \mathbb{D}$.

We first argue that $K_1$ and $K_2$ are single points.  Suppose $\beta_1,\beta_2 \in K_1$ with $\beta_1 \neq \beta_2$.  Then by \cref{thm:Fatou} there exists $\beta \in K_1$ between $\beta_1$ and $\beta_2$ where the radial limit $\lim_{r \to 1^-} \varphi(r\beta)$ exists.  However, this radial segment meets $\widehat{S}$ arbitrarily close to $\beta$, hence $\lim_{r \to 1^-} \varphi(r\beta) \notin \partial \Omega$, a contradiction.  Thus $K_1$ is a single point $\{\widehat{a}\}$.  Similarly, $K_2$ is a single point $\{\widehat{b}\}$.

If $\widehat{a} \neq \alpha$, by \cref{thm:Fatou} and \cref{thm:Riesz} we can find $\beta \in \partial \mathbb{D}$ between $\widehat{a}$ and $\alpha$ such that the radial limit $\lim_{r \to 1^-} \varphi(r\beta)$ exists and is different from $p$.  The path $\overline{\varphi}(r\beta)$, $0 \leq r \leq 1$, is homotopic to one which does not enter the interior of $S$.  By \cref{thm:lift}, we can lift this homotopy, to obtain a path from $0$ to $\beta$ in $\mathbb{D}$ which does not meet $\widehat{S}$.  But this is a contradiction since $\widehat{S}$ separates $\beta$ from $0$.  Therefore $\widehat{a} = \alpha$, and likewise $\widehat{b} = \alpha$.  Thus the closure of $\widehat{S}$ is a circle meeting $\partial \mathbb{D}$ at $\alpha$ only, as desired.

For the moreover part, we argue as in the proof of \cref{thm:lift} that if these components $\widehat{S}$ did not converge to $0$ in diameter as the diameter of $S$ is shrunk towards $0$, then they would accumulate on a non-degenerate continuum $K \subset \partial \mathbb{D}$, and we would obtain a contradiction by \cref{thm:Fatou} and \cref{thm:Riesz}.  The details are left to the reader.
\end{proof}


\begin{lem}
\label{lem:large lifts}
Let $S$ be a straight line or round circle in $\mathbb{C}$, and let $\varepsilon > 0$.  Then there are only finitely many lifts of components of $S \cap \Omega$ with diameter at least $\varepsilon$.
\end{lem}

\begin{proof}
Suppose the claim is false, so that there exists $\varepsilon > 0$ and infinitely many lifts $\widehat{S}_n$, $n = 1,2,\ldots$, of components of $S \cap \Omega$ such that the diameter of $\widehat{S}_n$ is at least $\varepsilon$ for each $n$.  These lifts accumulate on a non-degenerate continuum $K \subset \overline{\mathbb{D}}$.

If $K \cap \mathbb{D} \neq \emptyset$, then let $\widehat{z} \in K \cap \mathbb{D}$ and let $\widehat{V}$ be a neighborhood of $\widehat{z}$ which maps one-to-one under $\varphi$ to a small round disk $V \subset \Omega$.  Then $\widehat{V}$ meets infinitely many of the lifts $\widehat{S}_n$.  On the other hand, because $V$ is a round disk contained in $\Omega$ and $S$ is a round circle or straight line, it follows that $V$ can only meet one component of $S \cap \Omega$.  This is a contradiction since $\varphi$ is one-to-one on $\widehat{V}$.

Suppose then that $K \subset \partial \mathbb{D}$.  Then there exists by \cref{thm:Fatou} a set $E$ of positive measure in the interior of $K$ so that for each $\alpha \in E$, the radial limit $\lim_{r \to 1^-} \varphi(r\alpha)$ exists.

If there is a single component $S'$ of $S \cap \Omega$ such that $\varphi(\widehat{S}_n) = S'$ for infinitely many $n$, then it is clear that the radial limit of $\varphi$ at each $\alpha \in E$ must belong to $\overline{S'} \cap \partial \Omega$, which contains at most two points.  But this contradicts \cref{thm:Riesz}.

Therefore we may assume that the components $\varphi(\widehat{S}_n)$ are all distinct, which means their diameters must converge to $0$.  By passing to a subsequence if necessary, we may assume that the components $\varphi(\widehat{S}_n)$ converge to a single point $a \in S \cap \partial \Omega$.  Then it is clear that the radial limit of $\varphi$ at each $\alpha \in E$ must equal $a$, again a contradiction by \cref{thm:Riesz}.
\end{proof}


Recall that the function $\overline{\varphi}$ is not necessarily continuous at points $\alpha \in \partial \mathbb{D}$ where it is defined.  However, the next result shows that the restriction of $\overline{\varphi}$ to the region in between two lifted paths with the same endpoints is continuous.

Given a continuum $X$ in $\mathbb{C}$, the \emph{topological hull} of $X$, denoted $\mathrm{Hull}(X)$, is the smallest simply connected continuum in $\mathbb{C}$ containing $X$.  Equivalently, $\mathrm{Hull}(X)$ is equal to $\mathbb{C} \smallsetminus U$, where $U$ is the unbounded component of $\mathbb{C} \smallsetminus X$.

\begin{lem}
\label{lem:hull continuous}
Suppose $\widehat{\lambda}: [0,1] \to \overline{\mathbb{D}}$ is a path such that $\overline{\varphi} \circ \widehat{\lambda}$ is a path in $\overline{\Omega}$ (i.e.\ is continuous).  Let $X$ be the union of $\widehat{\lambda}([0,1])$ with the two radial segments from the center $0$ of $\mathbb{D}$ to $\widehat{p} = \widehat{\lambda}(0)$ and to $\widehat{q} = \widehat{\lambda}(1)$, and let $\Delta = \mathrm{Hull}(X)$.  Then $\Delta$ is simply connected and locally connected, and the restriction $\overline{\varphi} {\upharpoonright}_\Delta$ is continuous on $\Delta$.
\end{lem}

\begin{proof}
Note that $\Delta$ is simply connected by definition, and it is straightforward to see that the topological hull of any locally connected continuum is locally connected.  Since $\varphi$ is continuous and $\overline{\varphi} = \varphi$ in $\mathbb{D}$, it remains to prove that the restriction of $\overline{\varphi}$ to $\Delta$ is continuous at each point of $\Delta \cap \partial \mathbb{D}$.

Let $\alpha \in \Delta \cap \partial \mathbb{D}$, and suppose for a contradiction that the restriction of $\overline{\varphi}$ to $\Delta$ is not continuous at $\alpha$.  Then there exists $\varepsilon > 0$ and a sequence of points $\langle \widehat{w}_n \rangle_{n=1}^\infty$ in $\Delta$ such that $\widehat{w}_n \to \alpha$, but $|\overline{\varphi}(\alpha) - \varphi(\widehat{w}_n)| \geq \varepsilon$ for all $n$.

Note that since $\Delta \cap \partial \mathbb{D} \subset \widehat{\lambda}([0,1])$ and $\overline{\varphi} \circ \widehat{\lambda}$ is continuous, we have that the restriction of $\overline{\varphi}$ to $\Delta \cap \partial \mathbb{D}$ is continuous.  Hence, we may assume that $\widehat{w}_n \in \Delta \cap \mathbb{D}$ for each $n$.  Moreover, since the restriction of $\overline{\varphi}$ to the radial segment from $0$ to $\alpha$ is continuous, we may also assume that $\widehat{w}_n$ does not belong to this segment for all $n$.

For each $n$, there is a lift $\widehat{C}_n$ of a component of $\Omega \cap \partial B(\overline{\varphi}(\alpha), \varepsilon)$ which separates $\widehat{w}_n$ from $\alpha$ in $\overline{\mathbb{D}}$, where $B(\overline{\varphi}(\alpha), \varepsilon)$ is the open disk centered at $\overline{\varphi}(\alpha)$ of radius $\varepsilon$.  By \cref{thm:crosscut}, this lift $\widehat{C}_n$ is either an arc with endpoints in $\partial \mathbb{D}$, or, in the case that $\overline{\varphi}(\alpha)$ is the only point of $\partial \Omega$ in the closed disk $\overline{B}(\overline{\varphi}(\alpha), \varepsilon)$, a circle with one point on $\partial \mathbb{D}$.  By passing to a subsequence if necessary, we may assume that all of the $\widehat{C}_n$ are distinct, hence they are pairwise disjoint.  According to \cref{lem:large lifts}, the diameters of the lifts $\widehat{C}_n$ converge to $0$ as $n \to \infty$.  Let $X$ be as in the statement of the lemma, and for each $n$ choose a point $\widehat{z}_n \in X \cap C_n$.  Then $\widehat{z}_n \to \alpha$.

Suppose first that there is a subsequence $\widehat{z}_{n_k}$ of $\widehat{z}_n$ such that for each $k$, $\widehat{z}_{n_k}$ belongs to the radial segment from $0$ to $\widehat{p}$.  It follows that $\alpha = \widehat{p}$.  Since $\overline{\varphi}$ is continuous on this radial segment, we have $\varphi(\widehat{z}_{n_k}) \to \overline{\varphi}(\alpha)$ as $k \to \infty$.  But $\varphi(\widehat{z}_n) \in \partial B(\overline{\varphi}(\alpha), \varepsilon)$ for each $n$, so this is a contradiction.  Likewise, we encounter a contradiction if infinitely many of the points $\widehat{z}_n$ belong to the radial segment from $0$ to $\widehat{q}$.

Thus we may assume that all of the points $\widehat{z}_n$ belong to the set $\widehat{\lambda}([0,1])$.  Let $s_n \in [0,1]$ such that $\widehat{z}_n = \widehat{\lambda}(s_n)$.  By passing to a subsequence if necessary, we may assume that $s_n \to s_\infty$, and $\widehat{\lambda}(s_\infty) = \alpha$.  Since $\overline{\varphi} \circ \widehat{\lambda}$ is continuous, it follows that $\overline{\varphi}(\widehat{z}_n) \to \overline{\varphi}(\alpha)$ as $n \to \infty$.  But again this is a contradiction because $\varphi(\widehat{z}_n) \in \partial B(\overline{\varphi}(\alpha), \varepsilon)$ for each $n$.
\end{proof}


In the next result, we characterize paths in $\overline{[\gamma]}$ in terms of lifts.

\begin{thm}
\label{thm:class closure lift}
Let $\gamma$ be a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$, and let $\widehat{\gamma}$ be a lift of $\gamma$ with endpoints $\widehat{p},\widehat{q} \in \overline{\mathbb{D}}$.  If $\lambda \in \overline{[\gamma]}$, then there exists a lift $\widehat{\lambda}$ of $\lambda$ (to $\overline{\mathbb{D}}$) with the same endpoints $\widehat{p},\widehat{q}$.  Conversely, if $\lambda: [0,1] \to \overline{\Omega}$ is a path joining $p$ and $q$ which has a lift $\widehat{\lambda}: [0,1] \to \overline{\mathbb{D}}$ with the same endpoints $\widehat{p},\widehat{q}$, then $\lambda \in \overline{[\gamma]}$.
\end{thm}

\begin{proof}
Let $\lambda \in \overline{[\gamma]}$, and let $h$ be a homotopy such that $h_0 = \gamma$, $h_1 = \lambda$, and $h_t$ is a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$ for each $t \in [0,1)$.  For each $s \in [0,1]$, consider the path $t \mapsto h_t(s)$.  Apply \cref{thm:lift} to obtain a lift $\widehat{h}_t(s)$ such that $\widehat{h}_0(s) = \widehat{\gamma}(s)$.  Define $\widehat{\lambda}: [0,1] \to \overline{\mathbb{D}}$ by $\widehat{\lambda}(s) = \widehat{h}_1(s)$.  By \cref{thm:Lindelof}, we have $\overline{\varphi} \circ \widehat{\lambda}(s) = \lambda(s)$ for all $s \in [0,1]$, and $\widehat{\lambda}(0) = \widehat{p}$ and $\widehat{\lambda}(1) = \widehat{q}$.

It remains to prove that $\widehat{\lambda}$ is continuous.  Let $s \in [0,1]$.  If $\widehat{\lambda}(s) \in \mathbb{D}$, then $\widehat{\lambda}$ is continuous at $s$ by standard covering space theory.  Suppose for a contradiction that $\widehat{\lambda}(s) \in \partial \mathbb{D}$ and $\widehat{\lambda}$ is not continuous at $s$.  We proceed with an argument similar to the one given for \cref{thm:lift}.  The sets $\widehat{h}([s-\frac{1}{n},s+\frac{1}{n}] \times [1-\frac{1}{n},1)$, $n=1,2,\ldots$, accumulate on a non-degenerate continuum $K \subset \partial \mathbb{D}$, which contains, by \cref{thm:Fatou}, a set $E$ of positive measure such that the radial limit $\lim_{r \to 1^-} \varphi(r\alpha)$ exists for each $\alpha \in E$.  We can choose, for each $\alpha \in E$, a sequence $(s_n,t_n)$ converging to $(s,1)$ such that $\widehat{h}(s_n,t_n) = r_n \alpha$, with $r_n \to 1$.  It follows that the radial limit $\lim_{r \to 1^-} \varphi(r\alpha)$ is equal to
\[ \lim_{n \to \infty} \varphi(r_n \alpha) = \lim_{n \to \infty} \varphi \circ \widehat{h}(s_n,t_n) = \lim_{n \to \infty} h(s_n,t_n) = \lambda(s) ,\]
a contradiction with \cref{thm:Riesz}.  Therefore, $\widehat{\lambda}$ is a continuous lift of $\lambda$.

Conversely, suppose $\lambda: [0,1] \to \overline{\Omega}$ is a path joining $p$ and $q$ which has a lift $\widehat{\lambda}: [0,1] \to \overline{\mathbb{D}}$ with the same endpoints $\widehat{p},\widehat{q}$ as $\widehat{\gamma}$.  Let $\widehat{c}$ be the path in $\mathbb{D}$ (e.p.e.)\ such that $\widehat{c}(0) = \widehat{p}$, $\widehat{c}(\frac{1}{2}) = 0$, $\widehat{c}(1) = \widehat{q}$, and $\widehat{c}$ linearly parameterizes the straight segments in between these points.  Let $c = \overline{\varphi} \circ \widehat{c}$.

Let $X = \widehat{\lambda}([0,1]) \cup \widehat{c}([0,1])$, and let $\Delta = \mathrm{Hull}(X)$.  Since $\Delta$ is simply connected, it follows that there is a homotopy $\widehat{h}$ between $\widehat{c}$ and $\widehat{\lambda}$ within $\Delta$, such that $\widehat{h}_0 = \widehat{c}$, $\widehat{h}_1 = \widehat{\lambda}$, and $\widehat{h}_t$ is a path in $\mathbb{D}$ (e.p.e.)\ joining $\widehat{p}$ and $\widehat{q}$ for all $t \in [0,1)$.  Since $\overline{\varphi}$ is continuous on $\Delta$ by \cref{lem:hull continuous}, the composition $\overline{\varphi} \circ \widehat{h}$ is a homotopy between $c$ and $\lambda$ which establishes that $\lambda \in \overline{[c]}$.  By the same reasoning, we can show that $\gamma \in [c]$.  Therefore, $\lambda \in \overline{[\gamma]}$.
\end{proof}


We now have the machinery in place to conclude that the class $\overline{[\lambda^\gamma_{[s_1,s_2]}]}$ described in the definition of a locally shortest path is well-defined.

\begin{cor}
\label{cor:locally shortest well-defined}
Let $\gamma$ be a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$, and let $\widehat{\gamma}$ be a lift of $\gamma$ with endpoints $\widehat{p},\widehat{q} \in \overline{\mathbb{D}}$.  Let $\lambda \in \overline{[\gamma]}$, and let $\widehat{\lambda}$ be a lift of $\lambda$ (to $\overline{\mathbb{D}}$) with the same endpoints $\widehat{p},\widehat{q}$.  Let $0 < s_1 < s_2 < 1$.  A path $\rho$ belongs to $\overline{[\lambda^\gamma_{[s_1,s_2]}]}$ if and only if there is a lift $\widehat{\rho}$ of $\rho$ (to $\overline{\mathbb{D}}$) with endpoints $\widehat{\lambda}(s_1),\widehat{\lambda}(s_2)$.

In particular, the definition of the class $\overline{[\lambda^\gamma_{[s_1,s_2]}]}$ is independent of the choice of homotopy $h$ between $\gamma$ and $\lambda$.
\end{cor}



\section{Proof of \cref{thm:main1}}
\label{sec:proof main1}

Let $\Omega \subset \mathbb{C}$ be a connected open set, $p,q \in \overline{\Omega}$, and let $\gamma$ be a path in $\Omega$ (e.p.e.)\ joining $p$ and $q$.  We may assume that either $p \neq q$, or $\gamma$ is a non-trivial loop, so that $\overline{[\gamma]}$ contains no constant path, since otherwise this is obviously the unique efficient path.

Let $D_\Omega$ be a large round disk in $\mathbb{C}$ which contains the entire path $\gamma([0,1])$.  We may assume, without loss of generality, that $\Omega$ is contained in $D_\Omega$, hence in particular is a bounded subset of $\mathbb{C}$.  Indeed, any efficient path in $\overline{[\gamma]}$ with respect to $\Omega$ also belongs to $\overline{[\gamma]}$ with respect to $\Omega \cap D_\Omega$, and vice versa.  The same goes for the other notions of shortest path used in this paper.  Hence, we assume $\Omega \subset D_\Omega$ for the remainder of this paper.

Let $\varphi: \mathbb{D} \to \Omega$ be an analytic covering map, and let $\overline{\varphi}$ denote the extension of $\varphi$ to those points in $\partial \mathbb{D}$ where the radial limit is defined, as in \cref{sec:covering maps}.  Choose any lift $\widehat{\gamma}: [0,1] \to \overline{\mathbb{D}}$ of $\gamma$ under $\overline{\varphi}$ (see \cref{thm:lift}(1)).  So $\widehat{\gamma}$ is a path in $\mathbb{D}$ (e.p.e.)\ and $\overline{\varphi} \circ \widehat{\gamma} = \gamma$.  Let $\widehat{p} = \widehat{\gamma}(0) \in \overline{\mathbb{D}}$ and $\widehat{q} = \widehat{\gamma}(1) \in \overline{\mathbb{D}}$.  Since $\overline{[\gamma]}$ does not contain a constant path, we have $\widehat{p} \neq \widehat{q}$ (cf.\ \cref{thm:class closure lift}).

In \cref{sec:sequence of approximations} and \cref{sec:convergence} below, we will establish the existence of an efficient path in $\overline{[\gamma]}$ via a recursive construction in which we repeatedly replace subpaths by straight line segments, when doing so does not change the homotopy class.  We begin with some preliminary results in \cref{sec:lifts of lines}.


\subsection{Lifts of lines}
\label{sec:lifts of lines}

Throughout this paper, when we use the word \emph{line} we mean straight line in $\mathbb{C}$.  In this subsection, we consider lines $L$ in $\mathbb{C}$ which intersect $\Omega$, and lifts of closures of components of $L \cap \Omega$ under $\overline{\varphi}$.  By abuse of terminology, any such lift will be called a \emph{lift of $L$}.  For a given line $L$, $L \cap \Omega$ has at most countably many components, and each of these components has at most countably many lifts, each of which is, by \cref{cor:line lift}, an arc in $\overline{\mathbb{D}}$ whose (distinct) endpoints are in $\partial \mathbb{D}$, and which is otherwise contained in $\mathbb{D}$.  Observe that if $\widehat{L}_1$ and $\widehat{L}_2$ are distinct lifts of lines, then $\widehat{L}_1 \cap \widehat{L}_2$ contains at most one point; moreover, if $\widehat{L}_1 \cap \widehat{L}_2 = \{\widehat{z}\}$ for some $\widehat{z} \in \mathbb{D}$, then $\widehat{L}_1$ and $\widehat{L}_2$ cross transversally at $\widehat{z}$.

Our construction later in this section of an efficient path is based on the following reformulation of the definition of an efficient path.

\begin{prop}
\label{prop:efficient characterization}
Let $\lambda \in \overline{[\gamma]}$, and let $\widehat{\lambda}$ be a lift of $\lambda$ (under $\overline{\varphi}$) joining $\widehat{p}$ to $\widehat{q}$.  Then $\lambda$ is an efficient path in $\overline{[\gamma]}$ if and only if for any lift $\widehat{L}$ of a line intersecting $\Omega$, the set $\widehat{\lambda}^{-1}(\widehat{L})$ is connected (possibly empty).
\end{prop}


We next make a detailed study of lifts of lines, focusing on whether they separate $\widehat{p}$ from $\widehat{q}$ in $\overline{\mathbb{D}}$ or not.

\begin{defn*}
Let $L$ be a line which intersects $\Omega$ and which does not contain $p$ or $q$, and let $\widehat{L}$ be a lift of $L$.
\begin{itemize}
\item We call $\widehat{L}$ a \emph{separating lift} if it separates $\widehat{p}$ from $\widehat{q}$ in $\overline{\mathbb{D}}$.  The component of $\mathbb{D} \smallsetminus \widehat{L}$ whose closure contains $\widehat{p}$ is called the \emph{$\widehat{p}$-side} of $\widehat{L}$, and the component of $\mathbb{D} \smallsetminus \widehat{L}$ whose closure contains $\widehat{q}$ is called the \emph{$\widehat{q}$-side} of $\widehat{L}$.
\item We call $\widehat{L}$ a \emph{non-separating lift} if it does not separate $\widehat{p}$ from $\widehat{q}$ in $\overline{\mathbb{D}}$.  The component of $\mathbb{D} \smallsetminus \widehat{L}$ whose closure does not contain $\widehat{p},\widehat{q}$ is called the \emph{shadow} of $\widehat{L}$, denoted $\mathrm{Sh}(\widehat{L})$.
\end{itemize}
\end{defn*}

Given two lines $L_1,L_2$ which intersect $\Omega$, the \emph{distance} between $L_1$ and $L_2$ is the Hausdorff distance between $L_1 \cap \overline{D_\Omega}$ and $L_2 \cap \overline{D_\Omega}$ (recall that $D_\Omega$ is a fixed large disk in $\mathbb{C}$ containing $\Omega$); that is, the infimum of all $\delta > 0$ such that each point of $L_1 \cap \overline{D_\Omega}$ is within $\delta$ of a point in $L_2 \cap \overline{D_\Omega}$, and vice versa.

\begin{defn*}
\begin{itemize}
\item Let $\widehat{V} \subset \mathbb{D}$ be an open set which maps one-to-one under $\varphi$ to an open set $V \subset \Omega$, and let $L$ be a line which intersects $V$.  Let $\varepsilon > 0$, and assume $\varepsilon$ is small enough so that every line $L'$ which is within distance $\varepsilon$ of $L$ must also intersect $V$.  The family of all lifts $\widehat{L}'$, of such lines $L'$, which intersect $\widehat{V}$ will be called a \emph{basic open set of lifts of lines}, and denoted $\widehat{\mathcal{N}}(\widehat{L},\widehat{V},\varepsilon)$.
\item Let $\widehat{z} \in \mathbb{D}$.  We say $\widehat{z}$ is a \emph{stable point} if there exists a basic open set of lifts of lines $\widehat{\mathcal{N}}(\widehat{L},\widehat{V},\varepsilon)$, each element of which is non-separating and contains $\widehat{z}$ in its shadow.
\end{itemize}
\end{defn*}

\begin{lem}
\label{lem:two lifts}
A point $\widehat{z} \in \mathbb{D}$ is a stable point if and only if there are two intersecting non-separating lifts $\widehat{L}_1,\widehat{L}_2$ of distinct lines $L_1,L_2$ such that $\widehat{z}$ is in the shadow of both $\widehat{L}_1$ and $\widehat{L}_2$.

Furthermore, whenever $\widehat{L}_1,\widehat{L}_2$ are intersecting non-separating lifts of distinct lines, the point of intersection of $\widehat{L}_1$ and $\widehat{L}_2$ is also a stable point.
\end{lem}

\begin{proof}
That any stable point has this property is immediate, since any basic open set of lifts of lines clearly contains pairs of distinct intersecting lifts.

Conversely, suppose $\widehat{L}_1,\widehat{L}_2$ are intersecting non-separating lifts of distinct lines $L_1 \supset \varphi(\widehat{L}_1), L_2 \supset \varphi(\widehat{L}_2)$, and let $\widehat{z}$ be any point in the shadow of both $\widehat{L}_1$ and $\widehat{L}_2$.  Let $\widehat{w}$ be the point of intersection of $\widehat{L}_1$ and $\widehat{L}_2$, and let $\widehat{V}$ be a neighborhood of $\widehat{w}$ which maps one-to-one under $\varphi$ to a round disk $V$ centered at $w = \varphi(\widehat{w})$.

\begin{figure}
\begin{center}
\includegraphics{StableCharacterization.pdf}
\end{center}

\caption{The configuration of lines described in the proof of \cref{lem:two lifts}.}
\label{fig:two lifts}
\end{figure}

Consider a line $L$ not containing $w$ which intersects $L_1 \cap V$ and $L_2 \cap V$, and such that the lift $\widehat{L}$ of $L$ which intersects $\widehat{V}$ does not contain any point in the intersection of the shadows of $\widehat{L}_1$ and of $\widehat{L}_2$.  Let $\varepsilon > 0$ be small enough so that any line $L'$ within distance $\varepsilon$ of $L$ has these same properties.  Let $\widehat{L}'$ be an arbitrary element of the basic open set of lifts of lines $\widehat{\mathcal{N}}(\widehat{L},\widehat{V},\varepsilon)$; that is, $\widehat{L}'$ is the lift of a line $L'$ within distance $\varepsilon$ of $L$ such that $\widehat{L} \cap \widehat{V} \neq \emptyset$.  Since $\widehat{L}'$ intersects $\widehat{L}_1$ and $\widehat{L}_2$ inside $\widehat{V}$, it cannot cross them again, and so one endpoint of $\widehat{L}'$ is in the closure of $\mathrm{Sh}(\widehat{L}_1) \smallsetminus \mathrm{Sh}(\widehat{L}_2)$ and the other is in the closure of $\mathrm{Sh}(\widehat{L}_2) \smallsetminus \mathrm{Sh}(\widehat{L}_1)$ (see \cref{fig:two lifts}).  It follows that $\widehat{L}'$ is a non-separating lift and $\mathrm{Sh}(\widehat{L}')$ contains $\mathrm{Sh}(\widehat{L}_1) \cap \mathrm{Sh}(\widehat{L}_2)$ (in particular, it contains the point $\widehat{z}$), as well as the point $\widehat{w}$.  Thus $\widehat{z}$ and $\widehat{w}$ are both stable points.
\end{proof}


\begin{lem}
\label{lem:stable generic}
The set of stable points is a dense open subset of $\mathbb{D}$.

Moreover, except for a countable set of lines, every line $L$ has the property that for each lift $\widehat{L}$ of $L$, the set of stable points in $\widehat{L}$ is a dense open subset of $\widehat{L}$.
\end{lem}

\begin{proof}
It follows immediately from \cref{lem:two lifts} that the set of stable points is open in $\mathbb{D}$.

Now let $\widehat{z} \in \mathbb{D}$, and let $\widehat{V}$ be a neighborhood of $\widehat{z}$.  Suppose $\widehat{z}$ is not a stable point.  By shrinking $\widehat{V}$, we may assume that $\widehat{V}$ maps one-to-one under $\varphi$ to a disk $V$ centered at $z = \varphi(\widehat{z})$.

For a given $\theta \in \mathbb{R}$, let $L(z,\theta)$ denote the straight line through $z$ making angle $\theta$ with the positive real axis.  Let $\widehat{L}(\widehat{z},\theta)$ be the lift containing $\widehat{z}$ of the component of $L(z,\theta) \cap \Omega$ containing $z$.  Denote the endpoints of $\widehat{L}(\widehat{z},\theta)$ by $e^+(\widehat{z},\theta)$ and $e^-(\widehat{z},\theta)$, where $e^+(\widehat{z},\theta)$ corresponds to following the line $L(z,\theta)$ to $\partial \Omega$ in the direction $\theta$ from $z$, and $e^-(\widehat{z},\theta)$ corresponds to following the line $L(z,\theta)$ to $\partial \Omega$ in the direction $\theta + \pi$ from $z$.  As $\theta$ increases, the line $L(z,\theta)$ revolves about the point $z$.  Correspondingly, the lift $\widehat{L}(\widehat{z},\theta)$ ``revolves'' about $\widehat{z}$.  The endpoints of $\widehat{L}(\widehat{z},\theta)$ move monotonically in the circle $\partial \mathbb{D}$, but not necessarily continuously, as $\theta$ increases.

Since $\widehat{z}$ is not stable, by \cref{lem:two lifts} there can be at most one non-separating lift of a line which contains $\widehat{z}$.  It follows that if we consider the line $L(z,\theta)$ and increase $\theta$ to revolve the line about $z$, at some moment the endpoint $e^+(\widehat{z},\theta)$ must cross or ``jump over'' $\widehat{p}$, and at that same moment $e^-(\widehat{z},\theta)$ must cross or ``jump over'' $\widehat{q}$.  That is, there exists $\theta_0$ such that for all $\alpha,\beta$ sufficiently close to $\theta_0$ with $\alpha < \theta_0 < \beta$, we have that $\widehat{p}$ is on the ``left'' side of the arc $\widehat{L}(\widehat{z},\alpha)$ (thinking of this arc as oriented from $e^-(\widehat{z},\alpha)$ to $e^+(\widehat{z},\alpha)$) and $\widehat{q}$ is on the ``right'' side, and $\widehat{p}$ is on the ``right'' side of $\widehat{L}(\widehat{z},\beta)$ and $\widehat{q}$ is on the ``left'' side (see \cref{fig:stable dense}).

Let $\widehat{w}$ be any point in $\widehat{V} \smallsetminus \widehat{L}(\widehat{z},\theta_0)$ and let $w = \varphi(\widehat{w})$.  Let $\alpha,\beta$ be as above and sufficiently close to $\theta_0$ so that the lines $L(w,\alpha)$ and $L(w,\beta)$ do not intersect either of the lines $L(z,\alpha)$ or $L(z,\beta)$ inside $\overline{D_\Omega}$ (recall that $D_\Omega$ is a fixed large disk in $\mathbb{C}$ containing $\Omega$).  This means that the lifts $\widehat{L}(\widehat{w},\alpha)$ and $\widehat{L}(\widehat{w},\beta)$ do not cross either of the lifts $\widehat{L}(\widehat{z},\alpha)$ or $\widehat{L}(\widehat{z},\beta)$.  Because of the locations of $\widehat{p}$ and $\widehat{q}$ with respect to the lines $\widehat{L}(\widehat{z},\alpha)$ and $\widehat{L}(\widehat{z},\beta)$, it follows that $\widehat{L}(\widehat{w},\alpha)$ and $\widehat{L}(\widehat{w},\beta)$ are both non-separating lifts (see \cref{fig:stable dense}).  Hence, by \cref{lem:two lifts}, $\widehat{w}$ is a stable point.  Thus, the set of stable points is dense in $\mathbb{D}$.

\begin{figure}
\begin{center}
\includegraphics{StableDense.pdf}
\end{center}

\caption{The configuration of lines described in the proof of \cref{lem:stable generic}.}
\label{fig:stable dense}
\end{figure}

For the second statement, we may apply the above argument at each $\widehat{z} \in \mathbb{D}$ to obtain a countable cover $\{\widehat{V}_i: i = 1,2,\ldots\}$ of $\mathbb{D}$ by open sets with the property that for each $i$ there is at most one lift of a line, $\widehat{L}_i$, such that every point of $\widehat{V}_i \smallsetminus \widehat{L}_i$ is stable.  Consider the countable family of lines $\{\varphi(\widehat{L}_i): i = 1,2,\ldots\}$.  Let $L$ be any line not in this family, let $\widehat{L}$ be any lift of $L$, and let $\widehat{z} \in \widehat{L}$.  Choose $i$ so that $\widehat{z} \in \widehat{V}_i$.  If $\widehat{z}$ is not stable, it must be the (unique) point of intersection of $\widehat{L}$ and $\widehat{L}_i$, hence every other point in $\widehat{L} \cap \widehat{V}_i$ is stable.  Therefore the set of stable points in $\widehat{L}$ is a dense open subset of $\widehat{L}$.
\end{proof}

We remark that since in the proof of \cref{lem:stable generic} the point $\widehat{w}$ could be chosen on either side of $\widehat{L}(\widehat{z},\theta_0)$, it follows from \cref{prop:efficient characterization} and the proof of \cref{lem:stable generic} that if $\widehat{\gamma}_0$ is a lift of an efficient path in $\overline{[\gamma]}$ with endpoints $\widehat{p}$ and $\widehat{q}$, then $\widehat{\gamma}_0([0,1]) \cap \mathbb{D}$ coincides with the set of non-stable points.  This observation will not be used in the proof of \cref{thm:main1}.


\subsection{Sequence of approximations of the efficient path}
\label{sec:sequence of approximations}

Let $\mathcal{L}$ be a countable dense (in the sense of Hausdorff distanct) family of distinct straight lines which intersect $\Omega$ and do not contain $p$ or $q$, and such that for each lift $\widehat{L}$ of a line $L \in \mathcal{L}$ the set of stable points in $\widehat{L}$ is a dense open subset of $\widehat{L}$ (this is possible by \cref{lem:stable generic}).  Let $\widehat{\mathcal{L}}$ denote the (countable) set of all lifts of lines in $\mathcal{L}$.  We enumerate the elements of this set: $\widehat{\mathcal{L}} = {\langle \widehat{L}_i \rangle}_{i=1}^\infty$.

We construct a sequence of paths $\gamma_i$, $i \geq 1$, by recursion.  To begin, let $\gamma_1 = \gamma$ and $\widehat{\gamma}_1 = \widehat{\gamma}$.  Having defined $\gamma_i$ and its lift $\widehat{\gamma}_i$, we define $\gamma_{i+1}$ and $\widehat{\gamma}_{i+1}$ as follows:

\begin{list}{\textbullet}{\leftmargin=2em \itemindent=0em}
\item If $\widehat{\gamma}_i^{-1}(\widehat{L}_i)$ has cardinality $\leq 1$, then put $\gamma_{i+1} = \gamma_i$ and $\widehat{\gamma}_{i+1} = \widehat{\gamma}_i$.  Otherwise, let $s_1$ and $s_2$ be the smallest and largest (respectively) $s \in [0,1]$ such that $\widehat{\gamma}_i(s) \in \widehat{L}_i$.  Let $\widehat{\gamma}_{i+1}$ be the path in $\mathbb{D}$ (e.p.e.)\ defined by $\widehat{\gamma}_{i+1}(s) = \widehat{\gamma}_i(s)$ for $s \notin [s_1,s_2]$, and $\widehat{\gamma}_{i+1} {\upharpoonright}_{[s_1,s_2]}$ parameterizes the subarc of $\widehat{L}_i$ with endpoints $\widehat{\gamma}_i(s_1)$ and $\widehat{\gamma}_i(s_2)$ (or $\widehat{\gamma}_{i+1} {\upharpoonright}_{[s_1,s_2]}$ is constantly equal to $\widehat{w}$ if $\widehat{\gamma}_i(s_1) = \widehat{\gamma}_i(s_2) = \widehat{w}$).  Let $\gamma_{i+1} = \overline{\varphi} \circ \widehat{\gamma}_{i+1}$.
\end{list}


\begin{lem}
\label{lem:connected intersection}
Let $\widehat{L}$ be a lift of a line $L$.  If $i$ is such that $\widehat{\gamma}_i^{-1}(\widehat{L}) \subset [0,1]$ is connected (respectively, empty), then $\widehat{\gamma}_j^{-1}(\widehat{L})$ is connected (respectively, empty) for all $j \geq i$.

In particular, for all $j > i \geq 1$, $\widehat{\gamma}_j^{-1}(\widehat{L}_i)$ is connected (or empty).
\end{lem}

\begin{proof}
Let $\widehat{L}$ be a lift of a line $L$, and fix $i$.  We will argue that if $\widehat{\gamma}_i^{-1}(\widehat{L}) \subset [0,1]$ is connected (respectively, empty), then $\widehat{\gamma}_{i+1}^{-1}(\widehat{L})$ is connected (respectively, empty).  The claim then follows by induction.  To this end, given the definition of $\widehat{\gamma}_{i+1}$, clearly we may assume $\widehat{L} \neq \widehat{L}_i$, so that either $\widehat{L} \cap \widehat{L}_i \cap \mathbb{D} = \emptyset$ or $\widehat{L}$ and $\widehat{L}_i$ cross transversally in $\mathbb{D}$.

Assume first that $\widehat{\gamma}_i([0,1]) \cap \widehat{L} = \emptyset$.  This means in particular that $\widehat{p},\widehat{q} \notin \widehat{L}$, $\widehat{L}$ is a non-separating lift, and $\widehat{\gamma}_i([0,1])$ is disjoint from the shadow of $\widehat{L}$.  If $\widehat{L}_i$ does not meet $\widehat{L}$ in $\mathbb{D}$, then clearly $\widehat{\gamma}_{i+1}([0,1]) \cap \widehat{L} = \emptyset$ as well.  If $\widehat{L}_i$ meets $\widehat{L}$ in $\mathbb{D}$, then these two lifts cross transversally.  If $\widehat{\gamma}_{i+1}([0,1])$ meets $\widehat{L}$, we must have that $\widehat{\gamma}_{i+1}([s_1,s_2]) \cap \widehat{L} \neq \emptyset$ where $s_1 = \min\{s \in [0,1]: \widehat{\gamma}_i(s) \in \widehat{L}_i\}$ and $s_2 = \max\{s \in [0,1]: \widehat{\gamma}_i(s) \in \widehat{L}_i\}$, since $\widehat{\gamma}_{i+1} = \widehat{\gamma}_i$ outside of $[s_1,s_2]$.  Since $\widehat{\gamma}_{i+1}([s_1,s_2])$ parameterizes a subarc of $\widehat{L}_i$, which crosses $\widehat{L}$ transversally, it follows that either $\widehat{\gamma}_{i+1}(s_1)$ or $\widehat{\gamma}_{i+1}(s_2)$ is in the shadow of $\widehat{L}$.  But $\widehat{\gamma}_{i+1}(s_1) = \widehat{\gamma}_i(s_1)$ and $\widehat{\gamma}_{i+1}(s_2) = \widehat{\gamma}_i(s_2)$, so this contradicts the assumption that $\widehat{\gamma}_i([0,1]) \cap \widehat{L} = \emptyset$.  Thus $\widehat{\gamma}_{i+1}([0,1]) \cap \widehat{L} = \emptyset$, as desired.

Now assume that $\widehat{\gamma}_i([0,1]) \cap \widehat{L} \neq \emptyset$, and $\widehat{\gamma}_i^{-1}(\widehat{L})$ is an interval $[a,b]$ (here we allow the possibility that $a = b$, which means $[a,b] = \{a\}$).  Suppose $\widehat{\gamma}_{i+1}$ is obtained from $\widehat{\gamma}_i$ by replacing the subpath of $\widehat{\gamma}_i$ from $s_1$ to $s_2$ ($0 < s_1 < s_2 < 1$) with a segment of $\widehat{L}_i$.  We leave it to the reader to confirm the following claims:
\begin{itemize}
\item If $s_2 \leq a$, then $\widehat{\gamma}_{i+1}^{-1}(\widehat{L}) = [a,b]$;
\item If $s_1 \leq a \leq s_2 \leq b$, then $\widehat{\gamma}_{i+1}^{-1}(\widehat{L}) = [s_2,b]$;
\item If $s_1 \leq a \leq b \leq s_2$, then $\widehat{\gamma}_{i+1}^{-1}(\widehat{L})$ is either empty (if the section $\widehat{\gamma}_{i+1}([s_1,s_2])$ of $\widehat{L}_i$ does not meet $\widehat{L}$), or consists of the single point where the section $\widehat{\gamma}_{i+1}([s_1,s_2])$ of $\widehat{L}_i$ crosses $\widehat{L}$;
\item It is not possible that $a \leq s_1 < s_2 \leq b$, since $\widehat{L} \neq \widehat{L}_i$ (unless $\widehat{\gamma}_i$ is constant on $[s_1,s_2]$, in which case $\widehat{\gamma}_{i+1} = \widehat{\gamma}_i$);
\item If $a \leq s_1 \leq b \leq s_2$, then $\widehat{\gamma}_{i+1}^{-1}(\widehat{L}) = [a,s_1]$; and
\item If $b \leq s_1$, then $\widehat{\gamma}_{i+1}^{-1}(\widehat{L}) = [a,b]$.
\end{itemize}
In all cases, $\widehat{\gamma}_{i+1}^{-1}(\widehat{L})$ is connected (possibly empty), as desired.
\end{proof}


\subsection{Convergence to the efficient path}
\label{sec:convergence}

For each $n = 1,2,\ldots$, we choose sets $\mathcal{G}_n$ of lines in $\mathcal{L}$ with the following properties:
\begin{itemize}
\item $\mathcal{G}_n$ is a finite subset of $\mathcal{L}$ for each $n$;
\item $\mathcal{G}_n \subset \mathcal{G}_{n+1}$ for each $n$;
\item each component of $\Omega \smallsetminus \bigcup \mathcal{G}_n$ has diameter less than $\frac{1}{n}$; and
\item if $G_1,G_2 \in \mathcal{G}_n$ are distinct lines and $\widehat{G}_1$ and $\widehat{G}_2$ are separating lifts of $G_1$ and $G_2$, respectively, then $\widehat{G}_1$ and $\widehat{G}_2$ are either disjoint or meet in a stable point.
\end{itemize}

Let $\widehat{\mathcal{G}}_n$ be the set of all lifts of lines in $\mathcal{G}_n$.  By \cref{lem:large lifts} only finitely many of the elements of $\widehat{\mathcal{G}}_n$ intersect the original lifted path $\widehat{\gamma}_1$, and among them are those that are separating lifts.  We denote the set of all separating lifts in $\widehat{\mathcal{G}}_n$ by $\widehat{\mathcal{G}}_n^s$.

We define an order $<$ on $\widehat{\mathcal{G}}_n^s$ as follows.  Let $\widehat{G}_1,\widehat{G}_2 \in \widehat{\mathcal{G}}_n^s$ be distinct separating lifts.

First suppose $\widehat{G}_1 \cap \widehat{G}_2 = \emptyset$.  Then $\widehat{G}_1 < \widehat{G}_2$ if $\widehat{G}_2$ is on the $\widehat{q}$-side of $\widehat{G}_1$; otherwise $\widehat{G}_2 < \widehat{G}_1$.

Now suppose $\widehat{G}_1 \cap \widehat{G}_2 = \{\widehat{z}\}$ for some stable point $\widehat{z} \in \mathbb{D}$.  Since $\widehat{z}$ is stable, it follows from density of the family of lines $\mathcal{L}$ that there exists $\widehat{W} \in \widehat{\mathcal{L}}$ such that $\widehat{W}$ is non-separating and contains $\widehat{z}$ in its shadow.  Then $\widehat{G}_1 < \widehat{G}_2$ if $\widehat{G}_2 \smallsetminus \overline{\mathrm{Sh}(\widehat{W})}$ is on the $\widehat{q}$-side of $\widehat{G}_1$; otherwise $\widehat{G}_2 < \widehat{G}_1$.

It is straightforward to see that this relation $<$ is a well-defined linear order on $\widehat{\mathcal{G}}_n^s$.

For each $n = 1,2,\ldots$, choose a finite set $\widehat{\mathcal{W}}_n$ of lifts of lines from $\widehat{\mathcal{L}}$ such that for each pair of distinct intersecting separating lifts $\widehat{G}_1,\widehat{G}_2 \in \widehat{\mathcal{G}}_n^s$ there is a lift $\widehat{W} \in \widehat{\mathcal{W}}_n$ witnessing that $\widehat{G}_1 < \widehat{G}_2$ or that $\widehat{G}_2 < \widehat{G}_1$ (i.e.\ such that $\mathrm{Sh}(\widehat{W})$ contains $\widehat{G}_1 \cap \widehat{G}_2$).  Let $i(n)$ be large enough so that $\widehat{\mathcal{W}}_n \subset \{\widehat{L}_i: i = 1,\ldots,i(n)-1\}$, and also all of the (finitely many) elements of $\widehat{\mathcal{G}}_n$ which intersect the original lifted path $\widehat{\gamma}_1$ are contained in $\{\widehat{L}_i: i = 1,\ldots,i(n)-1\}$.

Take an arbitrary $n$, and let $\widehat{G}_1,\ldots,\widehat{G}_m$ enumerate the elements of $\widehat{\mathcal{G}}_n^s$, listed in $<$ order.  For any $i \geq i(n)$, by \cref{lem:connected intersection} the lifted path $\widehat{\gamma}_i$ does not cross any of the non-separating lifts in $\widehat{\mathcal{G}}_n \cup \widehat{\mathcal{W}}_n$, and has connected intersection with all the lifts that it meets, in particular with the elements of $\widehat{\mathcal{G}}_n^s$.  Thus there are $m+1$ components $\widehat{R}_1,\ldots,\widehat{R}_{m+1}$ of $\mathbb{D} \smallsetminus \bigcup (\widehat{\mathcal{G}}_n \cup \widehat{\mathcal{W}}_n)$ such that for any $i \geq i(n)$, the lifted path $\widehat{\gamma}_i$ starts at $\widehat{p}$ then runs in $\widehat{R}_1$, until it crosses $\widehat{G}_1$ and enters $\widehat{R}_2$, then crosses $\widehat{G}_2$ and enters $\widehat{R}_3$, and so on, until it crosses $\widehat{G}_m$ to enter $\widehat{R}_{m+1}$ and ends at $\widehat{q}$ (see \cref{fig:regions}).

\begin{figure}
\begin{center}
\includegraphics{Regions.pdf}
\end{center}

\caption{An illustration depicting a possible configuration of the lifts of lines $\widehat{G}_k$ and regions $\widehat{R}_k$ in between, as described in \cref{sec:convergence}.  The thick curve represents a path $\widehat{\gamma}_i$ (for $i \geq i(n)$), the dashed arcs represent elements of $\widehat{\mathcal{G}}_n$ (including the separating lifts $\widehat{G}_k$), and the dotted arcs represent elements of $\widehat{\mathcal{W}}_n$.}
\label{fig:regions}
\end{figure}

For each of these regions $\widehat{R}_j$, $\varphi(\widehat{R}_j)$ is contained in a component of $\Omega \smallsetminus \bigcup \mathcal{G}_n$, hence has diameter less than $\frac{1}{n}$.  Therefore, provided we parameterize the path $\gamma_i$ so that if $\widehat{\gamma}_{i(n)}(t) \in \widehat{R}_j$ then $\widehat{\gamma}_i(t) \in \widehat{R}_j$ for all $i \geq i(n)$, we have that $d_{\mathrm{sup}}(\gamma_{i_1},\gamma_{i_2}) < \frac{1}{n}$ for all $i_1,i_2 \geq i(n)$; in fact there is a homotopy between $\gamma_{i_1}$ and $\gamma_{i_2}$ which moves no point more than $\frac{1}{n}$, obtained by moving $\widehat{\gamma}_{i_1}(t)$ to $\widehat{\gamma}_{i_2}(t)$ within the closure of a region $\widehat{R}_j$ which contains $\widehat{\gamma}_{i(n)}(t)$.

We remark that according to \cref{prop:efficient characterization}, if $\lambda \in \overline{[\gamma]}$ is any efficient path, it must follow this same pattern traversing through the (closures of the) regions $\widehat{R}_1,\ldots,\widehat{R}_{m+1}$ in the same monotone order.  Therefore, any two such efficient paths, if parameterized appropriately, are within $\frac{1}{n}$ of each other.  Since $n$ is arbitrary, this establishes that there can be at most one efficient path in $\overline{[\gamma]}$ (up to reparameterization).

It remains to confirm that our construction above yields an efficient path in $\overline{[\gamma]}$.  Since $n$ was arbitrary, we now have that $\langle \gamma_i \rangle_{i=1}^\infty$ is a Cauchy sequence of paths, hence it converges to a path $\gamma_\infty$ from $p$ to $q$.  Moreover, by putting together the (smaller and smaller) homotopies between the paths in this sequence, we have that $\gamma_\infty \in \overline{[\gamma]}$.

\begin{lem}
\label{lem:reduced}
$\gamma_\infty$ is an efficient path in $\overline{[\gamma]}$.
\end{lem}

\begin{proof}
This follows from \cref{prop:efficient characterization}: if $L$ is any line intersecting $\Omega$ which has a lift $\widehat{L}$ such that $\widehat{\gamma}_\infty([0,1]) \cap \widehat{L}$ is not connected, then by density of the family $\mathcal{L}$ it is easy to see there must be a line $L' \in \mathcal{L}$ close to $L$, with a lift $\widehat{L}'$ close to $\widehat{L}$, such that $\widehat{\gamma}_\infty([0,1]) \cap \widehat{L}'$ is also not connected.  But if $\widehat{L}' = \widehat{L}_i$ in the enumeration of $\widehat{\mathcal{L}}$, then for all $j > i$, $\widehat{\gamma}_j([0,1]) \cap \widehat{L}'$ is connected according to \cref{lem:connected intersection}.  Since $\widehat{\gamma}_i \to \widehat{\gamma}_\infty$, the same must be true for $\widehat{\gamma}_\infty$, a contradiction.
\end{proof}

This completes the proof of \cref{thm:main1}.



\section{Proof of \cref{thm:main2}}
\label{sec:proof main2}

Having established the existence of a unique efficient path $\lambda$ in $\overline{[\gamma]}$, we now prove \cref{thm:main2} using \cref{thm:main1} and its proof.  In particular, we observe that in the construction of the efficient path in the proof of \cref{thm:main1}, we started with a path in $[\gamma]$ (such as $\gamma$ itself) and constructed a sequence of paths converging to the efficient path, where each path in the sequence is obtained from the previous one by replacing a subpath with a straight segment.  Such a replacement will always decrease the $\mathsf{len}$ length of the path and also, when finite, the Euclidean length.

It is clear that any path in $\overline{[\gamma]}$ of smallest $\mathsf{len}$ length (or Euclidean length if finite) must be efficient, because replacing a subpath with a straight segment decreases the length.  Thus we have (3) $\Rightarrow$ (2) and (4) $\Rightarrow$ (2).


For (2) $\Rightarrow$ (3), suppose for a contradiction that there is a path $\rho \in \overline{[\gamma]}$ with strictly smaller $\mathsf{len}$ length than the efficient path $\lambda \in \overline{[\gamma]}$.  By continuity of the function $\mathsf{len}$, it follows that there exists $\rho' \in [\gamma]$ whose $\mathsf{len}$ length is also strictly smaller than $\lambda$.  If we follow the construction in the proof of \cref{thm:main1} starting with $\rho'$ instead of $\gamma$, we would then obtain an efficient path in $\overline{[\gamma]}$ of $\mathsf{len}$ length strictly smaller than $\lambda$, contradicting the uniqueness of the efficient path.


For (2) $\Rightarrow$ (4), suppose for a contradiction that there is a path $\rho \in \overline{[\gamma]}$ with finite Euclidean length $E$ which is strictly smaller than the Euclidean length of the efficient path $\lambda \in \overline{[\gamma]}$.  This means there exists $\varepsilon > 0$ and values $0 = s_0 < s_1 < \cdots < s_N = 1$ such that $\sum_{i=1}^N |\lambda(s_i) - \lambda(s_{i-1})| > E + \varepsilon$.  Let $\widehat{\gamma}$ be a lift of $\gamma$ with endpoints $\widehat{p},\widehat{q} \in \overline{\mathbb{D}}$, and let $\widehat{\lambda}$ and $\widehat{\rho}$ be lifts of $\lambda$ and $\rho$ with the same endpoints $\widehat{p},\widehat{q}$.

We will replace sections of the path $\rho$ with straight line segments to obtain a new path $\rho' \in \overline{[\gamma]}$ which goes within $\frac{\varepsilon}{2N}$ of each of the points $\lambda(s_i)$, in order.  To obtain $\rho'$, we proceed as follows.  For each $i = 1,\ldots,N-1$, consider the point $\widehat{\lambda}(s_i) \in \overline{\mathbb{D}}$.
\begin{itemize}
\item If $\widehat{\lambda}(s_i) \in \mathbb{D}$, by \cref{lem:stable generic} we can choose two stable points $\widehat{w}_1,\widehat{w}_2$ in a small neighborhood $\widehat{V}$ of $\widehat{\lambda}(s_i)$ which projects one-to-one under $\varphi$ to a small disk centered at $\lambda(s_i)$ of radius less than $\frac{\varepsilon}{2N}$, so that $\widehat{w}_1$ and $\widehat{w}_2$ are on opposite sides of $\widehat{\lambda}([0,1]) \cap \widehat{V}$.  Let $\widehat{L}_1$ and $\widehat{L}_2$ be non-separating lifts of lines such that $\widehat{w}_1 \in \mathrm{Sh}(\widehat{L}_1)$ and $\widehat{w}_2 \in \mathrm{Sh}(\widehat{L}_2)$.  By \cref{prop:efficient characterization}, $\widehat{\lambda}$ does not cross $\widehat{L}_1$ or $\widehat{L}_2$.  It follows that if we replace the section of $\widehat{\rho}$ between its first and last intersections with $\widehat{L}_1$ with an arc in $\widehat{L}_1$, and likewise for $\widehat{L}_2$, then the resultant path must meet $\widehat{V}$.
\item If $\widehat{\gamma}(s_i) \in \partial \mathbb{D}$, choose an arc $\widehat{A}$ such that $\overline{\varphi}(\widehat{A})$ has diameter less than $\frac{\varepsilon}{2N}$, with endpoints $\widehat{\lambda}(s_i)$ and a stable point $\widehat{w} \in \mathbb{D}$.  Let $\widehat{L}$ be a lift of a line such that $\widehat{w} \in \mathrm{Sh}(\widehat{L})$.  By \cref{prop:efficient characterization}, $\widehat{\lambda}$ does not cross $\widehat{L}$.  It follows that if we replace the section of $\widehat{\rho}$ between its first and last intersections with $\widehat{L}$ with an arc in $\widehat{L}$, then the resultant path must meet $\widehat{A}$.
\end{itemize}

After making the finitely many replacements of subpaths of $\widehat{\rho}$ with segments of lifts of lines as described above, the resultant path $\widehat{\rho}'$ is such that $\rho' = \overline{\varphi} \circ \widehat{\rho}'$ is continuous, and $\rho' \in \overline{[\gamma]}$ by \cref{thm:class closure lift}.  Clearly the Euclidean length of $\rho'$ is not greater than $E$.  On the other hand, by construction, there are values $0 = s_0' < s_1' < \cdots < s_N' = 1$ such that $|\rho'(s_i') - \lambda(s_i)| < \frac{\varepsilon}{2N}$ for each $i = 0,\ldots,N$.  It follows that the Euclidean length of $\rho'$ is at least
\begin{align*}
\sum_{i=1}^N |\rho'(s_i') - \rho'(s_{i-1}')| &> \sum_{i=1}^N \left( |\lambda(s_i) - \lambda(s_{i-1})| - 2 \cdot \frac{\varepsilon}{2N} \right) \\
&= \left( \sum_{i=1}^N |\lambda(s_i) - \lambda(s_{i-1})| \right) - \varepsilon \\
&> (E + \varepsilon) - \varepsilon = E ,
\end{align*}
a contradiction.  Therefore, $\lambda$ has smallest Euclidean length among all paths in $\overline{[\gamma]}$.


The proof that (1) $\Rightarrow$ (2) is straightforward and left to the reader.


Finally, for (2) $\Rightarrow$ (1), let $0 < s_1 < s_2 < 1$ and consider the path $\lambda {\upharpoonright}_{[s_1,s_2]}$.  We claim that there exist $s_1',s_2'$ such that $0 < s_1' \leq s_1 < s_2 \leq s_2' < 1$ and $\widehat{\lambda}(s_1')$ and $\widehat{\lambda}(s_2')$ can be joined by a path in $\overline{\mathbb{D}}$ which projects under $\overline{\varphi}$ to a path of finite Euclidean length.  We rely on the fact that any two points $\widehat{w}_1,\widehat{w}_2 \in \mathbb{D}$ can be joined by a path in $\mathbb{D}$ which projects to a path of finite Euclidean length (e.g.\ a piecewise linear path).  If $\widehat{\lambda}([0,s_1]) \cap \mathbb{D} \neq \emptyset$, then let $0 < s_1' \leq s_1$ be such that $\widehat{\lambda}(s_1') \in \mathbb{D}$, and let $\widehat{w}_1 = \widehat{\lambda}(s_1')$.  If $\widehat{\lambda}([0,s_1]) \subset \partial \mathbb{D}$, we choose $s_1'$ and $\widehat{w}_1$ as follows.  Note that in this case $\lambda(s_1)$ is not isolated in $\partial \Omega$, so we can apply \cref{thm:crosscut} to obtain a component $\widehat{C}_1$ of $\varphi^{-1}(\partial B(\lambda(s_1),\varepsilon))$, for some sufficiently small $\varepsilon > 0$, whose closure is an arc which separates $\widehat{\lambda}(s_1)$ from $\widehat{p}$ in $\overline{\mathbb{D}}$.  In particular, there exists $0 < s_1' < s_1$ such that $\widehat{\lambda}(s_1')$ is in the closure of $\widehat{C}_1$.  Let $\widehat{w}_1$ be any point in $\widehat{C}_1$.  Thus, we have established that there exists $0 < s_1' \leq s_1$ and $\widehat{w}_1 \in \mathbb{D}$ such that either $\widehat{\lambda}(s_1') = \widehat{w}_1$ or $\widehat{\lambda}(s_1')$ can be joined to $\widehat{w}_1$ by a path in $\overline{\mathbb{D}}$ which projects to a circular arc.  By the same reasoning, there exists $s_2 \leq s_2' < 1$ and $\widehat{w}_2 \in \mathbb{D}$ such that either $\widehat{\lambda}(s_2') = \widehat{w}_2$ or $\widehat{\lambda}(s_2')$ can be joined to $\widehat{w}_2$ by a path in $\overline{\mathbb{D}}$ which projects to a circular arc.  It follows that $\widehat{\lambda}(s_1')$ can be joined to $\widehat{\lambda}(s_2')$ by a path in $\overline{\mathbb{D}}$ which projects to a path of finite Euclidean length.  Therefore, by \cref{cor:locally shortest well-defined}, there exists a path of finite Euclidean length in $\overline{[\lambda^\gamma_{[s_1',s_2']}]}$.

Since $\lambda$ is efficient, it follows from \cref{prop:efficient characterization} that $\lambda {\upharpoonright}_{[s_1',s_2']}$ is the efficient path in $\overline{[\lambda^\gamma_{[s_1',s_2']}]}$, hence has smallest Euclidean length in this class according to the implication (2) $\Rightarrow$ (4).  In particular, $\lambda {\upharpoonright}_{[s_1',s_2']}$ has finite Euclidean length in light of the previous paragraph.  This in turn implies that the subpath $\lambda {\upharpoonright}_{[s_1,s_2]}$ has finite Euclidean length.  Again by \cref{prop:efficient characterization}, we have that $\lambda {\upharpoonright}_{[s_1,s_2]}$ is the efficient path in $\overline{[\lambda^\gamma_{[s_1,s_2]}]}$, hence has smallest Euclidean length in this class according to the implication (2) $\Rightarrow$ (4), as required.  Therefore, $\lambda$ is locally shortest.



\bibliographystyle{amsplain}

2019-03-19T01:01:32.000
1903
1903.06737
en
https://arxiv.org/abs/1903.06737
Let $\Omega$ be a connected open set in the plane and $\gamma: [0,1] \to \overline{\Omega}$ a path such that $\gamma((0,1)) \subset \Omega$. We show that the path $\gamma$ can be ``pulled tight'' to a unique shortest path which is homotopic to $\gamma$, via a homotopy $h$ with endpoints fixed whose intermediate paths $h_t$, for $t \in [0,1)$, satisfy $h_t((0,1)) \subset \Omega$. We prove this result even in the case when there is no path of finite Euclidean length homotopic to $\gamma$ under such a homotopy. For this purpose, we offer three other natural, equivalent notions of a ``shortest'' path. This work generalizes previous results for simply connected domains with simple closed curve boundaries.
General Topology (math.GN)
Shortest paths in arbitrary plane domains
Qwen/Qwen-72B
1. YES
2. YES