--- title: 'Topological Visibility: A Unified Perspective' url: https://www.emergentmind.com/topics/topological-visibility type: topic --- # Topological Visibility: A Unified Perspective Topological visibility denotes a family of constructions in which visibility is treated not merely as Euclidean line-of-sight but as a topological, proximity-theoretic, graph-theoretic, or boundary-geometric relation. In this literature, visibility can mean closure-based contact in a Delaunay mesh, dual adjacency between visibility graphs and merge trees, compact-core penetration of Kobayashi geodesics, or embedding-respecting visibility representations of nonplanar graphs and graphs on surfaces [1501.02357] [1906.08825] [2101.04159] [1507.08879]. This suggests a unifying viewpoint: visibility becomes “topological” when it is encoded by closure, compactness, homology, duality, or admissible boundary structure rather than by metric straight-line obstruction alone. ## 1. Conceptual range and recurrent patterns Across the cited literature, topological visibility appears in several distinct but structurally related forms. | Setting | Visibility object | Topological content | |---|---|---| | Delaunay meshes | Shared vertices or edges | Wallman proximity and local Leader uniform topology | | Time-series visibility graphs | HVG, NVG, Cross-HV, horizon visibility | Clique complexes, persistent homology, merge-tree duality | | Kobayashi geometry | Geodesics or almost-geodesics between boundary neighborhoods | Compact-core penetration, end compactification, boundary local connectivity | | Graph drawing | Bar-visibility, L-visibility, toroidal/Klein-bottle visibility | Embedding constraints, right-angle crossings, surface identifications | | Polygon spaces | Visibility graphs of polygons | Associahedral subcomplexes and deformation posets | A common pattern is the replacement of raw geometry by an invariant combinatorial or topological datum. In one direction, visibility becomes a proximity relation expressed by closure intersection. In another, visibility edges generate simplicial complexes whose Betti numbers, persistence diagrams, or merge trees summarize multiscale structure. In several complex variables, visibility is a condition on the behavior of geodesics near the boundary, closely tied to compactifications and local connectedness. In graph drawing, visibility is constrained by the topology of embeddings, by the torus or Klein bottle, or by controlled crossing structures [2412.12290] [2406.09376] [2209.00576]. This breadth is not terminological accident. A plausible implication is that “topological visibility” names a transfer principle: one starts with a visibility rule and then studies the induced topology, homotopy type, uniformity, or boundary compactification. ## 2. Proximity-theoretic visibility on Delaunay meshes In proximal Delaunay geometry, visibility is defined on subsets of a Delaunay mesh built from a finite site set \(S \subset \mathbb{R}^2\). A Delaunay edge \(pq\) is characterized by Voronoï regions via \[ V_p \cap V_q = xy \Rightarrow pq \text{ is a Delaunay edge}, \] and a Delaunay triangle is a triangle all of whose edges are Delaunay edges. A Delaunay triangulation region \(D\) is a collection of Delaunay triangles such that every pair of triangles is strongly near, meaning that any two triangles share a common edge. The paper defines visibility \(v\) and strong visibility \(\mathop{v}\limits^{\doublewedge}\) on subsets of such meshes and then identifies them with standard proximity-theoretic notions [1501.02357]. The basic visibility relation is \[ A \ v \ B \iff \exists \text{ triangle vertex } x \in \operatorname{cl}A \cap \operatorname{cl}B. \] Strong visibility is \[ A \ \mathop{v}\limits^{\doublewedge}\ B \iff \exists \text{ triangle edge } pq \text{ common to } A \text{ and } B. \] The crucial theorem is the equivalence \[ A \delta B \iff A v B, \] where \(\delta\) is Wallman proximity: \[ A \ \delta\ B \iff \operatorname{cl}A \cap \operatorname{cl}B \neq \varnothing. \] Accordingly, the visibility relation \(v\) is a Wallman proximity, and the strong visibility relation is also treated as a Wallman proximity [1501.02357]. This identification makes visibility a topological primitive. Closure can be recovered from visibility: \[ x \in \operatorname{cl}A \iff \{x\} \ v \ A. \] The paper further states that a Delaunay triangulation region endowed with \(v\) has a local Leader uniform topology. Concretely, for each \(A \subset D\), \[ \mathcal{N}_v(A) = \{B \subset D : B \ v \ A\} \] is the visibility-based neighborhood family used to generate the local uniform structure. In this framework, visibility is not simply adjacency in a mesh; it is the near relation of a proximity space, with associated closure, boundary, and local uniformity [1501.02357]. The same paper situates this notion against classical polygonal visibility, where two points are visible if the segment joining them stays inside the polygon. The contrast is explicit: classical visibility is unobstructed line-segment visibility, whereas Delaunay visibility is closure-based adjacency via shared vertices or edges. That shift from segment geometry to closure intersection is a central instance of topological visibility. ## 3. Visibility graphs, simplicial topology, and multiscale time-series structure Visibility graphs convert scalar or multivariate data into graph topology. For a univariate series \(\{x_i\}_{i=1}^N\), the horizontal visibility graph (HVG) connects \(i \max\bigl( Z_{\alpha,t}, Z_{\beta,t} \bigr), \quad t_i < t < t_j. \] This produces intra-layer, inter-layer, and all-layer topological measures, together with the novel ratio degree \[ r_i^{\alpha \preceq \beta} = \frac{k_i^{\alpha \prec \beta}}{k_i^{\alpha}}. \] The paper reports that inter-layer edges preserve information about cross-dimension dependencies that would be lost in single-layer or multiplex mappings, but are not sufficient on their own; they complement the information carried by intra-layer edges [2301.02333]. A further branch of this literature studies topological properties of HVGs built from fractional Brownian motion. The clustering coefficient decreases with the Hurst index \(H\), mean shortest-path length increases exponentially with \(H\) for fixed \(N\), the graphs are fractal with box-counting dimension \(d_B\) decreasing with \(H\), and the networks remain assortative [1012.3850]. This suggests that topological visibility can also serve as a coarse geometric encoding of persistence and roughness in stochastic processes. ## 4. Visibility in Kobayashi geometry and boundary topology In several complex variables and hyperbolic complex geometry, visibility is a property of Kobayashi geodesics or almost-geodesics. For a bounded complete hyperbolic domain \(D \subset \mathbb{C}^n\) and distinct boundary points \(p,q \in \partial D\), the pair \(\{p,q\}\) has visible geodesics if there exist disjoint neighborhoods \(U\) of \(p\), \(V\) of \(q\), and a compact set \(K \subset D\) such that every Kobayashi geodesic joining a point of \(U\) to a point of \(V\) intersects \(K\) [2101.04159]. This condition is equivalent to boundedness of the Gromov product at distinct Euclidean boundary points: \[ D\text{ has visibility} \Longleftrightarrow \forall p\neq q\in\partial D,\ \limsup_{(x,y)\to(p,q)} (x|y)_o < \infty \] for a base point \(o \in D\) [2101.04159]. The same paper proves that every Gromov hyperbolic convex domain has the visibility property for any pair of distinct boundary points, and that Goldilocks domains and log-type domains also enjoy visibility. It further introduces localized criteria via \(k\)-points and locally \(\mathbb{C}\)-strictly convex points. A bounded domain with Dini-smooth boundary in which every boundary point is locally \(\mathbb{C}\)-strictly convex has the visibility property [2101.04159]. The 2024 extensions move from bounded domains in \(\mathbb{C}^n\) to domains in arbitrary complex manifolds and explicitly accommodate non-complete Kobayashi metrics by working with \((\lambda,\kappa)\)-almost-geodesics. For a Kobayashi hyperbolic domain \(\Omega \subsetneq X\), a pair of distinct points satisfies visibility if every \((\lambda,\kappa)\)-almost-geodesic joining neighborhoods of the two points enters a fixed compact set; weak visibility restricts to \(\lambda=1\). The paper introduces admissible compactifications \(\overline{\Omega}\), with totally disconnected ideal boundary \({}_\infty \Omega\), and proves that \(\Omega\) is visible iff it is a visibility domain subordinate to any admissible compactification [2406.09376]. A local-global theorem then states that \(\Omega\) is visible iff it is locally visible and hyperbolically embedded in \(X\); the same equivalence holds for weak visibility [2406.09376]. Another theorem shows that if the set of non-visible points is totally disconnected, then the entire domain is visible. The paper also proves a Wolff–Denjoy-type theorem: for a taut, weakly visible domain, any holomorphic self-map either has relatively compact forward orbits or all forward iterates converge locally uniformly to a single ideal boundary point in an admissible compactification [2406.09376]. In planar domains, visibility becomes closely tied to boundary topology. Totally disconnected subsets of the boundary are removable for visibility: if every pair of distinct points in \(\partial\Omega \setminus S\) satisfies visibility and \(S\) is totally disconnected, then \(\Omega\) is a visibility domain [2406.15298]. Under the Boundary Separation Property, a domain is a local (weak) visibility domain iff it is a global (weak) visibility domain [2406.15298]. For hyperbolic simply connected planar domains, \[ \Omega \text{ is a visibility domain} \iff \partial \Omega \text{ is locally connected} \] [2406.15298]. The same paper reformulates the Mandelbrot Local Connectivity conjecture in terms of visibility of the complement domain, and provides broad planar criteria for continuous or homeomorphic extension of conformal and biholomorphic maps up to the boundary. This complex-analytic strand makes topological visibility precise in a different sense from visibility graphs. Here the visible object is the boundary geometry of the domain as seen by the Kobayashi metric, and the governing topological invariants are end compactness, local connectedness, prime-end behavior, and Gromov boundary identification. ## 5. Visibility representations in topological graph drawing In graph drawing, visibility is a representation scheme: vertices are geometric objects, edges are unobstructed horizontal or vertical visibilities, and the topological constraints come from the embedding class of the graph. For IC-plane graphs, where each edge is crossed at most once and no two crossed edges share a vertex, every \(n\)-vertex IC-plane graph admits an L-visibility drawing in \(O(n^2)\) area computable in \(O(n)\) time [1507.08879]. In this model each vertex is an L-shape \[ \ell_v = h_v \cup v_v, \] each edge is a horizontal or vertical visibility segment, and crossings occur only between horizontal and vertical visibilities, hence at right angles. The same construction yields a RAC drawing with at most two bends per edge in \(O(n^2)\) area and \(O(n)\) time [1507.08879]. The construction proceeds through augmentation to empty kites, removal of crossing edges to obtain a planar graph \(P\), \(st\)-orientation of a contracted multigraph, reinsertion of selected edges to form a planar \(P^+\), strong bar-visibility drawing of \(P^+\), and local conversion of bars into L-shapes so that the omitted crossing edges become horizontal visibilities. Topologically, the method translates IC-planarity into visibility constraints: each visibility is crossed at most once and no two crossed visibilities share an endpoint [1507.08879]. On higher-genus surfaces, visibility representations remain possible but must respect the topology of the ambient surface. For a toroidal or Klein-bottle graph, vertices are horizontal segments and edges are vertical segments on a flat surface obtained from a rectangle by side identifications. The paper proves that every toroidal graph without loops has a visibility representation on the rectangular flat torus, and every graph without loops embedded on the Klein bottle has a visibility representation on the rectangular flat Klein bottle [2209.00576]. The core construction reduces the problem to a planar visibility representation on a flat cylinder, builds non-crossing \(s\)-\(t\) path systems, enforces a path-respecting bipolar orientation, and then reinstates wrap-around edges along exclusive columns. For the Klein bottle, additional symmetry of columns is required because top and bottom are identified in opposite directions [2209.00576]. In this literature, topological visibility is neither proximity nor boundary behavior. It is the problem of realizing a graph or surface embedding by visibilities while preserving global topological structure: independent crossings, homotopy of wrap-around edges, and non-orientable identifications. ## 6. Visibility graphs of polygons and associahedral deformation spaces For simple polygons, visibility graphs determine which diagonals are geometrically admissible, and this in turn controls an associahedron-like polytopal complex. Given a simple polygon \(P\), its visibility graph \(V(P)\) has the polygon’s vertices as vertices and edges \((i,j)\) whenever the segment \(ij\) is either a boundary edge or an interior diagonal contained in \(P\). Let \(\pi(P)\) be the poset of convex diagonalizations of \(P\), ordered by adding diagonals. The paper constructs a polytopal complex \(\mathcal{K}_P\) whose face poset is isomorphic to \(\pi(P)\), and proves that \(\mathcal{K}_P\) is a subcomplex of the classical associahedron \(\mathcal{K}_n\) for an \(n\)-gon [0903.2848]. If \(d(P)\) is the minimum number of diagonals required to convexly diagonalize \(P\), then \[ \dim \mathcal{K}_P = n - 3 - d(P). \] If a set of noncrossing diagonals \(\Delta\) divides \(P\) into polygons \(Q_0,\ldots,Q_k\), then \[ \mathcal{K}_P(\Delta)\cong \mathcal{K}_{Q_0}\times\cdots\times\mathcal{K}_{Q_k}, \] and if each \(Q_i\) is convex with \(n_i\) sides, this becomes \[ \mathcal{K}_P(\Delta)\cong \mathcal{K}_{n_0}\times\cdots\times\mathcal{K}_{n_k}. \] The complex \(\mathcal{K}_P\) is connected and, more strongly, contractible [0903.2848]. The same paper introduces a deformation space of polygons organized by visibility graphs. Two polygons are \(V\)-equivalent if they have the same visibility graph, and \(V\)-isotopic if they can be continuously deformed through polygons with fixed visibility graph. The set of \(V\)-isotopy classes forms a deformation poset \(\mathcal{D}\), ordered by one-edge changes in visibility graphs under controlled deformations. The maximal element is the convex polygon; minimal elements are polygons with unique triangulations. This organizes families of subcomplexes \(\mathcal{K}_P\) inside \(\mathcal{K}_n\) by visibility loss or gain [0903.2848]. This polygonal setting is one of the clearest literal realizations of topological visibility. A purely geometric notion—who sees whom inside a polygon—determines a contractible cell complex, a deformation poset of isotopy classes, and a concrete substructure of the associahedron. ## 7. Visibility manifolds and volume-controlled topological complexity In Riemannian geometry, a Hadamard manifold \(X\) satisfies the visibility axiom if for every pair of distinct points \(z,z' \in X(\infty)\), there exists a geodesic \(c:\mathbb{R}\to X\) with \[ c(-\infty)=z', \qquad c(+\infty)=z. \] A complete finite-volume manifold \(M=X/\Gamma\) is then a visibility manifold when its universal cover has this property [1910.06087]. The paper considers the case \[ -1 \le K < 0 \] with no pinching away from \(0\), so curvature may approach zero while visibility still holds. The principal result is an efficient simplicial model for the thick part \(M_+\): there exist constants \(C=C(n)\) and \(D=D(n)\), depending only on dimension, such that the pair \((M_+,\partial M_+)\) is homotopy equivalent to a simplicial pair \((S,S')\) with at most \(C\cdot \mathrm{Vol}(M)\) vertices and vertex degree bounded by \(D\) [1910.06087]. From this, one obtains linear volume bounds for Betti numbers, \[ b_k(M;K) \le E \cdot \mathrm{Vol}(M), \] for some \(E=E(n)\), all \(k\), and every coefficient field \(K\), and torsion bounds \[ \log |\operatorname{tors} H_k(M;\mathbb{Z})| \le F \cdot \mathrm{Vol}(M), \] for some \(F=F(n)\), all \(k\), except the case \(n=3, k=1\) [1910.06087]. The thick–thin decomposition is likewise controlled: the thick part is compact with boundary, the number of thin components is bounded linearly in volume, and each thin component is either a tube, homeomorphic to a \(D^{n-1}\)-bundle over \(S^1\), or a cusp, homeomorphic to \(V\times(0,\infty)\) with strong deformation retraction onto its boundary [1910.06087]. Visibility is used to classify stabilizers of thin components as parabolic or hyperbolic with common fixed data and to construct geodesic flows retracting the thick part onto a shrunken core. This setting pushes topological visibility to a genuinely global scale. Visibility at infinity constrains the topology of the manifold so strongly that both free and torsion homology are controlled by volume. A plausible interpretation is that visibility serves here as a large-scale substitute for pinched negative curvature: it is weak enough to allow curvature approaching \(0\), but still strong enough to suppress uncontrolled topological complexity. Topological visibility is therefore not a single doctrine but a recurrent structural move. Whether in Delaunay meshes, time-series complexes, Kobayashi domains, visibility drawings, polygon spaces, or negatively curved manifolds, the visible relation is promoted to a topological object—proximity, dual complex, admissible boundary relation, embedding constraint, or volume-controlled homotopy model—and then studied through the invariants of topology rather than by line-of-sight geometry alone [1501.02357] [2412.12290] [2406.15298] [1910.06087]. Source: https://www.emergentmind.com/topics/topological-visibility