  For an n-vertex directed graph $G = (V,E)$, a $\beta$-\emph{shortcut set} $H$
is a set of additional edges $H \subseteq V \times V$ such that $G \cup H$ has
the same transitive closure as $G$, and for every pair $u,v \in V$, there is a
$uv$-path in $G \cup H$ with at most $\beta$ edges. A natural generalization of
shortcut sets to distances is a $(\beta,\epsilon)$-\emph{hopset} $H \subseteq V
\times V$, where the requirement is that $H$ and $G \cup H$ have the same
shortest-path distances, and for every $u,v \in V$, there is a
$(1+\epsilon)$-approximate shortest path in $G \cup H$ with at most $\beta$
edges.
  There is a large literature on the tradeoff between the size of a shortcut
set / hopset and the value of $\beta$. We highlight the most natural point on
this tradeoff: what is the minimum value of $\beta$, such that for any graph
$G$, there exists a $\beta$-shortcut set (or a $(\beta,\epsilon)$-hopset) with
$O(n)$ edges? Not only is this a natural structural question in its own right,
but shortcuts sets / hopsets form the core of many distributed, parallel, and
dynamic algorithms for reachability / shortest paths. Until very recently the
best known upper bound was a folklore construction showing $\beta =
O(n^{1/2})$, but in a breakthrough result Kogan and Parter [SODA 2022] improve
this to $\beta = \tilde{O}(n^{1/3})$ for shortcut sets and $\tilde{O}(n^{2/5})$
for hopsets.
  Our result is to close the gap between shortcut sets and hopsets. That is, we
show that for any graph $G$ and any fixed $\epsilon$ there is a
$(\tilde{O}(n^{1/3}),\epsilon)$ hopset with $O(n)$ edges. More generally, we
achieve a smooth tradeoff between hopset size and $\beta$ which exactly matches
the tradeoff of Kogan and Parter for shortcut sets (up to polylog factors).
  Using a very recent black-box reduction of Kogan and Parter, our new hopset
implies improved bounds for approximate distance preservers.
