---
title: Understanding REACH in Geometry, Control & More
url: https://www.emergentmind.com/topics/reach
type: topic
---

# Understanding REACH in Geometry, Control & More

In current research literature, **“reach”** and **“REACH”** denote several distinct concepts. In geometry and manifold learning, reach is the largest radius for which nearby points admit a unique nearest-point projection onto a set [2110.12208]. In control, verification, and graph algorithms, closely related terminology refers to reachability, reach sets, or reach-avoid sets [2008.10932]. In other domains, **REACH** is an acronym, notably the **Radio Experiment for the Analysis of Cosmic Hydrogen** in global 21-cm cosmology [2210.07409], **Relevance-based Explanation and Architectural Compression for cHannel estimators** in vehicular communications [2606.11857], and the **Room-Environment dataset Annotated with Chest cameras for Hand pose estimation** in computer vision [2605.22231].

## 1. Terminological scope

The term spans several mature research traditions. In some of them it names a geometric regularity parameter; in others it denotes algorithmic reachability or serves as a project acronym.

| Research area | Meaning of “reach” / “REACH” | Representative source |
|---|---|---|
| Geometric measure theory, manifold learning | Unique-projection radius and regularity parameter of a set or manifold | [2110.12208] |
| Autoencoders | Local certificate for whether a latent code corresponds to a unique nearest-point projection onto the decoder manifold | [2206.01552] |
| Graph algorithms | Static reachability indexing in directed graphs, as in O’Reach | [2008.10932] |
| Control and formal methods | Reach sets, reachset conformance, and reach-avoid sets | [2109.00595] |
| Radio cosmology | Radio Experiment for the Analysis of Cosmic Hydrogen | [2210.07409] |
| Communications and computer vision | Acronyms for an interpretability/compression framework and a room-scale hand-pose dataset/model | [2606.11857] |

A useful distinction follows from this taxonomy. **Geometric reach** concerns uniqueness of projection and regularity. **Reachability** concerns existence of paths, trajectories, or controllers. Acronymic uses of **REACH** are domain-specific and formally unrelated, even when the names overlap.

## 2. Geometric reach in analysis and manifold inference

For a compact set or manifold \(M \subset \mathbb{R}^D\), reach is the largest radius up to which the nearest-point projection remains unique. One formal definition is
\[
\operatorname{reach}(M,x)=\sup\{r>0:\mathring{\mathcal B}(x,r)\subset \operatorname{Unp}(M)\},
\qquad
\operatorname{reach}(M)=\inf_{x\in M}\operatorname{reach}(M,x),
\]
where \(\operatorname{Unp}(M)\) is the set of points with a unique closest point on \(M\) [2110.12208]. Equivalent viewpoints used in recent work include distance to the medial axis, chord-versus-geodesic distortion, and tangent-space or curvature characterizations [2412.04906].

This geometric parameter controls both **local curvature** and **global self-avoidance**. The literature repeatedly emphasizes that the reach may be limited either by a local curvature obstruction or by a global bottleneck. In Federer-style formulas, it can be written through tangent-space deviation; in metric form, it is the largest \(r\) such that
\[
d_M(a,b)\le 2r\arcsin\!\frac{|a-b|}{2r}
\]
for all sufficiently short chords \(|a-b|<2r\) [2412.04906]. This connects reach directly to intrinsic-versus-extrinsic metric distortion, which is why it appears in manifold reconstruction, topological inference, and metric learning [2207.06074].

Positive reach has strong regularity consequences. A closed embedded topological manifold has positive reach if and only if it can locally be written as the graph of a \(C^{1,1}\) function from the tangent space to the normal space [2412.04906]. The same work gives an optimal tangent-variation bound: the Lipschitz constant of the tangent-space map is exactly the reciprocal of the local reach. It also states that the reach decomposes as
\[
rch(M)=\min(rch_{glob.}(M),\,rch_{loc.}(M)),
\]
so the attained value is either a bottleneck-type global obstruction or a local one [2412.04906].

Statistical work on the topic has developed several estimation regimes. “Estimating the Reach of a Manifold” introduced a plug-in estimator based on Federer’s formula in an oracle setting with known tangent spaces and showed that reach estimation differs in difficulty depending on whether the true obstruction is a bottleneck or local curvature [1705.04565]. “Universally consistent estimation of the reach” proposed a graph-based estimator that is consistent under the minimal assumption of positive reach and also proved that one cannot determine from a finite sample whether the reach of a support is zero or not [2110.12208]. “Optimal Reach Estimation and Metric Learning” then derived optimal nonasymptotic bounds, with adaptive rates depending on whether the reach is curvature-dominated or bottleneck-dominated, and coupled this with optimal geodesic metric estimation [2207.06074].

In highly structured algebraic settings, the reach can even be computed exactly. For the Segre–Veronese variety intersected with the unit sphere, the reach is
\[
\tau=
\begin{cases}
\frac{\pi}{4}, & d\le 5,\\[0.3em]
\sqrt{\frac{d}{2(d-1)}}, & d>5,
\end{cases}
\]
where \(d=d_1+\cdots+d_r\) is the total degree; notably, the result depends on the total degree and not on the individual dimensions \(n_i\) [2307.04224].

## 3. Reach in autoencoder geometry

In representation learning, reach has been used to formalize when an autoencoder’s latent code corresponds to a trustworthy geometric projection. For an encoder \(g_\psi:\mathbb{R}^D\to\mathbb{R}^d\) and decoder \(f_\phi:\mathbb{R}^d\to\mathbb{R}^D\), the decoder spans the manifold
\[
M=f(\mathbb{R}^d).
\]
For a fixed decoder, the mathematically optimal encoder is the nearest-point projection onto \(M\),
\[
g_{\text{optimal}}(x)=\operatorname{proj}_M(x)=\arg\min_z \|x-f(z)\|^2,
\]
but this projection need not be unique [2206.01552].

The key issue is that an encoder network always outputs a single latent vector, whereas the true nearest-point projection can have infinitely many values. The relevant geometric object is therefore
\[
\operatorname{Unp}(M)=\{x\in\mathbb{R}^D: x \text{ has a unique nearest point in } M\},
\]
the region in which a unique latent representation can be trusted [2206.01552].

The same paper uses Federer’s reach and then introduces a local refinement, the **pointwise normal reach**. With
\[
R(x,y)=
\begin{cases}
\frac{\|x-y\|^2}{2\|P_{N_xM}(y-x)\|}, & y-x\notin T_xM,\\
\infty, & \text{otherwise},
\end{cases}
\qquad
r_N(x)=\inf_{y\in M}R(x,y),
\]
it proves that
\[
B_{r_N(x)}(x)\cap N_xM \subset \operatorname{Unp}(M).
\]
This makes \(r_N(x)\) a local uniqueness certificate rather than a global worst-case certificate [2206.01552].

A practical decision rule follows. If a reconstruction \(f(z)\) of an observation \(x\) satisfies
\[
\|x-f(z)\|<r_{\max}(f(z)),
\]
then the optimal encoder exists in the sense of a unique latent representation. Using the bound \(r_{\max}(f(z))\le r_N(f(z))\), the paper proposes the conservative criterion
\[
\|x-f(z)\|\ge r_N(f(z)) \Rightarrow x \text{ may not have a unique nearest point.}
\]
Thus reconstruction quality alone does not certify uniqueness of the code [2206.01552].

To make the quantity computable, the paper replaces the infimum over the manifold by a minimum over a finite sample \(S\subset M\):
\[
\hat r_N(x)=\min_{y\in S}\frac{\|y-x\|^2}{2\left\|\left(I-J(J^\top J)^{-1}J^\top\right)(y-x)\right\|},
\]
where \(J\) is the decoder Jacobian at \(x\). This estimator is an upper bound, \(\hat r_N(x)\ge r_N(x)\), and is differentiable, which enables its use as a regularizer [2206.01552].

The proposed penalty is
\[
\mathcal R(x)=\mathrm{Softplus}\!\left(\|f(g(x))-x\|-\hat r_N(f(g(x)))\right),
\]
leading to the full objective
\[
\mathcal L=\sum_{n=1}^N \|f(g(x_n))-x_n\|^2+\lambda\sum_{n=1}^N \mathcal R(x_n).
\]
Empirically, the paper reports that many trained autoencoders produce latent representations that are not guaranteed to be unique; on CelebA, almost all validation samples lie outside the pointwise normal reach, while on MNIST the regularizer increases the fraction of points inside reach with only a slight reconstruction penalty [2206.01552].

## 4. Reachability, reach sets, and reach-avoid

In graph algorithms, **reachability** is the problem of deciding whether a directed path exists from \(s\) to \(t\). O’Reach addresses the static version by combining enhanced topological-order-based pruning with a static version of supportive vertices. It computes \(t\) extended topological orderings, stores high/max or low/min indices, and supplements them with full in- and out-reachability summaries for \(k\) supportive vertices. The resulting index is linear in space, answers a large fraction of queries in constant time, and can also serve as a preprocessor for earlier methods such as PReaCH, PPL, IP, or BFL [2008.10932].

In continuous and hybrid dynamical systems, **reach sets** denote attainable-state sets under dynamics and uncertainty. For integrator chains in Brunovský normal form with box-valued inputs, the forward reach set factorizes across blocks and admits an exact support function, exact boundary parameterizations, and implicit algebraic boundary equations given by vanishing Hankel determinants. These sets are shown to be semialgebraic translated zonoids, which makes them benchmark objects for reachability algorithms [2109.00595]. For large affine systems, decomposition methods have been proposed that perform set operations in low-dimensional blocks while retaining full-dimensional matrix operations; the dense-time case was demonstrated with more than \(10{,}000\) variables [1801.09526].

The notion of **reachset conformance** plays a different role in formal robotics. A model is reachset conformant when all measured outputs of the implementation are enclosed by the reachable output sets of the abstract model; this is presented as necessary and sufficient for transferring safety properties. For robotic contact tasks, recent work extends this idea from continuous systems to hybrid automata with linear dynamics, nondeterministic flows, measurement error, and uncertain resets, with zonotopes used for \(\mathcal W\), \(\mathcal V\), and transition uncertainty \(\mathcal Q_q\) [2410.10391]. In a related but older control tradition, **reach control** decomposes a safe polytope into simplices and synthesizes piecewise affine feedback laws that prevent trajectories from crossing restricted facets while forcing exit through designated facets; a quadrocopter experiment showed safe and robust maneuvers without a predefined open-loop reference trajectory [1610.02385].

A closely related concept is the **reach-avoid set**, the set of states from which a controller can reach a target while remaining in a safe set beforehand. For deterministic systems in unknown environments, the controlled reach-avoid set
\[
\mathcal R=
\left\{\mathbf{x}_0\in\mathcal C \mid \exists \pi,\exists k:
\boldsymbol{\phi}^{\pi}_{\mathbf{x}_0}(k)\in\mathcal X_r
\ \wedge\
\bigwedge_{l=0}^k \boldsymbol{\phi}^{\pi}_{\mathbf{x}_0}(l)\in\mathcal C
\right\}
\]
acts as a barrier separating feasible from infeasible initial states, motivating inner-approximation and online controller synthesis methods [2304.11550]. In model predictive control, reach-avoid analysis has been used to replace discrete terminal samples by a continuous reach-avoid set \(\mathcal R=\{x\in\mathcal X\mid v(x)>0\}\) derived from a guidance-barrier function, thereby removing integer variables from the online problem [2305.08712]. For Bayesian neural network dynamics, probabilistic reach-avoid verification and synthesis have been built around backward recursion, interval propagation, and conservative lower bounds on the probability of satisfying a finite-horizon reach-avoid specification [2310.01951].

Symbolic verification uses the same language at a different abstraction level. A decision-diagram operation named **REACH** computes the reflexive-transitive closure \(S.R^*\) directly, without requiring the transition relation to be partitioned as in saturation. Sequential and parallel versions were given for both BDDs and MDDs, and the method often outperforms saturation on weakly local transition relations [2212.03684]. In flight safety, the **backward reachable tube** plays the central role: the unsafe helicopter operating region after engine failure is defined as the complement of the BRT, and a grid-free trajectory-optimization reformulation was used to compute both safe operating envelopes and autonomous autorotation landings for a nonlinear helicopter model [2005.07875].

## 5. REACH in global 21-cm cosmology

In radio astronomy, **REACH** is the **Radio Experiment for the Analysis of Cosmic Hydrogen**, a ground-based global 21-cm radiometer experiment designed to detect the sky-averaged neutral-hydrogen signal from the Cosmic Dawn and the Epoch of Reionization [2210.07409]. It targets the band **50–170 MHz**, corresponding approximately to **redshift \(28\) to \(7.5\)**, and is explicitly motivated by the need to separate a very faint cosmological signal from much brighter foregrounds and instrumental spectral structure [2210.07409].

The experiment’s design emphasizes joint modeling rather than simple foreground subtraction. REACH Phase I uses two independent radiometers observing simultaneously in the same sky region but with different antennas: a **hexagonal dipole** covering **50–130 MHz** and a **conical log-spiral antenna** covering **50–170 MHz**. The instrument also includes an ultra-wideband receiver, a digital backend based on the **SKA1-LOW TPM FPGA board**, high-resolution **6 kHz** channels for RFI excision, and an in-field calibrator using a compact VNA and the noise-waves formalism [2210.07409].

Methodologically, the experiment is built around Bayesian joint inference of the cosmological signal, the beam-convolved foreground sky, and instrumental systematics. The measured spectrum is modeled through the sky decomposition
\[
T_\mathrm{sky}(\Omega,\nu,t)=T_\mathrm{g}(\nu)+T_\mathrm{f}(\Omega,\nu,t)+N_\mathrm{sky}(\Omega,\nu,t),
\]
and the corresponding observation
\[
T_\mathrm{obs}(\nu,t)=\int T_\mathrm{sky}(\Omega,\nu,t)D(\Omega,\nu)\,d\Omega + N_{T_\mathrm{obs}}.
\]
Nested sampling with **PolyChord** is used because the parameter space is degenerate and multimodal [2210.07409].

Subsequent work has used simulated REACH observations to assess foreground recovery and component-separated mapping across the same **50–170 MHz** band. In that framework the sky is divided into **\(N_{\rm reg}=10\)** regions, the anchor map is the **2008 Global Sky Model** at **230 MHz**, and the data model is
\[
T_{\rm data}(\nu)=\bar T_{\rm fg}(\nu,\boldsymbol{\theta}_{\rm fg})+T_{21,\rm true}(\nu)+n(\nu).
\]
The injected global 21-cm signal is a Gaussian absorption feature with \(f_0=85\) MHz, \(\sigma=15\) MHz, and \(A=0.155\) K [2607.00299].

That study tests four foreground families of increasing complexity: a pure synchrotron power law, a variable-amplitude power law, a curved power law, and a synchrotron-plus-free-free model with a fixed free-free spectral index of **2.1**. Its central conclusion is that the model complexity must match the true sky complexity: simple models are best for simple skies, whereas richer skies require curvature, amplitude freedom, or separate synchrotron and free-free components. The trade-off is stronger parameter degeneracy, especially \(\beta\)–\(c\) anti-correlation in the curved model and \(A_{\rm sync}\)–\(A_{\rm ff}\) trade-offs in the component model [2607.00299].

The same simulations indicate that REACH can function as both a cosmology experiment and a low-frequency Galactic mapping experiment. Synchrotron is recovered well across the sky, while free-free recovery is limited because it is subdominant, has lower signal-to-noise, and is not well aligned with the original percentile-based region split. Modified regioning strategies, especially a **mixed split** using synchrotron-informed regions for synchrotron parameters and free-free-informed regions for free-free parameters, yield lower foreground RMSE, improved 21-cm recovery, and better component separation [2607.00299].

## 6. REACH as an acronym in communications and computer vision

In vehicular communications, **REACH** stands for **Relevance-based Explanation and Architectural Compression for cHannel estimators**. It is a gradient-based interpretability framework for IEEE 802.11p multi-channel vehicular channel estimation, designed to explain why mixed-SNR multi-channel training improves out-of-distribution generalization and to use that explanation for architecture compression [2606.11857]. Applied to the DPA-RDCNN estimator, REACH performs attribution at two levels. At the input level, it identifies **1,020 of 5,200 features**, or **19.6%** of the input, as consistently relevant across all six channel models. At the filter level, it classifies the \(1280\) filters into **23.8% universal**, **58.0% environment-specific**, and **18.1% redundant**, thereby motivating width reduction rather than block pruning [2606.11857].

The compression results are quantitative. With width \(K'=160\), the compact model achieves **60.2% parameter reduction**, **60.4% FLOP reduction**, and **\(+0.58 \pm 0.36\) dB** NMSE degradation; the paper also reports that OOD generalization degrades more slowly than within-distribution performance under increasing compression [2606.11857]. A plausible implication is that the framework’s main scientific value is not only compression but a representational account of why a single shared internal filter structure generalizes across channel conditions.

In computer vision, **REACH** means **Room-Environment dataset Annotated with Chest cameras for Hand pose estimation** and also names the associated model **REACH-Net** [2605.22231]. The dataset targets room-scale, far-view hand-pose estimation from fixed cameras at room corners, where hands are often about **20–25 pixels** wide and heavily occluded. It contains **50 participants**, **1M frames** from fixed cameras, and **540K frames** of close hand imagery from concealed chest cameras. Annotation is produced with **two GoPro 12 fisheye cameras** mounted on a chest strap under a jacket, together with ceiling **ArUco markers**, **MediaPipe**, **HaMeR**, and triangulated wrist keypoints [2605.22231].

REACH-Net is a Transformer-based multiview autoregressive architecture built to exploit hand-body coordination, multiview geometry, and temporal continuity. The published implementation uses a **6-layer** Pose Encoder with **8 attention heads** and hidden dimension **256**, and a **6-layer encoder-decoder** REACH-Net Transformer with **4 attention heads** and hidden dimension **1024**. Training uses **AdamW**, learning rate \(2\times 10^{-5}\), weight decay \(1\times 10^{-4}\), and a two-stage schedule of **60k** plus **60k** iterations [2605.22231].

On the benchmark defined by the paper, REACH-Net outperforms the compared baselines. It achieves **PA-MPJPE = 14.47 mm** and **joint angle error = 14.48°**, compared with **14.88 mm** and **16.35°** for ArcticNet-LSTM and **16.01 mm** and **24.31°** for HaMeR. It is also best across the Near, Medium, and Distant evaluation bins, with **12.96**, **13.44**, and **14.86** mm PA-MPJPE, respectively [2605.22231].

Across these literatures, the shared label conceals very different formal objects. In geometry, reach is a quantitative certificate of unique projection and regularity. In algorithms and control, reachability concerns paths, reachable states, or safe target attainment. In astronomy, communications, and computer vision, **REACH** names specific instruments, frameworks, or datasets whose technical meanings are fixed by their domains rather than by a common mathematical definition.

Source: https://www.emergentmind.com/topics/reach