External Ray¶
A constant-angle curve in an exterior conformal coordinate that approaches a Julia-set or connectedness-locus boundary from infinity and may land at a boundary point.
Core Idea¶
In polynomial complex dynamics, an external ray is the image of a radial ray of fixed angle under an exterior conformal coordinate, typically a Böttcher coordinate. It runs from infinity through the complement of a filled Julia set in the dynamical plane or through the complement of a connectedness locus such as the Mandelbrot set in parameter space. If the curve approaches a unique boundary point, the ray lands there.
The recognition invariant is exterior uniformizing coordinate + constant external angle + curve from infinity + dynamically meaningful boundary approach.
Scope of Application¶
External rays encode boundary access, combinatorial addresses, orbit portraits, wakes, parameter bifurcations, and correspondences between dynamical and parameter planes. Under polynomial iteration, angles transform by multiplication by the degree, allowing symbolic/combinatorial analysis of boundary orbits.
When the relevant Julia set is locally connected, the exterior coordinate often extends continuously to the circle and rays land. In disconnected or non-locally-connected settings, ray branching, multiple accumulation, or nontrivial impressions require refined definitions.
Clarity¶
The plane must be named. A dynamic ray belongs to the variable plane of one map; a parameter ray belongs to the family’s parameter plane. The same external angle can therefore identify related but not identical objects.
The potential level parametrizes distance in the uniformizing coordinate, not Euclidean arclength. Angle identifies the ray; potential locates a point along it.
Manages Complexity¶
External coordinates replace a complicated fractal exterior by polar-like angle and potential coordinates. Boundary questions become combinatorial questions about angles, while equipotentials and rays provide a grid for puzzles and parameter wakes.
Abstract Reasoning¶
- Specify the map or parameter family and plane.
- Identify the filled compact set and exterior domain.
- Normalize the Böttcher/Riemann coordinate near infinity.
- Choose an external angle.
- Pull back the corresponding radial ray.
- Track the angle under the induced degree map.
- Determine the ray’s accumulation set.
- Claim landing only when the impression is a singleton.
- Separate dynamic-plane and parameter-plane conclusions.
Knowledge Transfer¶
The portable structure is a reference path drawn in a simplified exterior coordinate and transported back to a complicated boundary. The proposed immediate parent is Path.
Relationships to Other Abstractions¶
Current abstraction External Ray Domain-specific
Parents (1) — more general patterns this builds on
-
External Ray is a kind of Path Prime
Path is the proposed immediate parent.
Hierarchy path (1) — routes to 1 parentless root
- External Ray → Path → Network → Reservoir-Flux Network → Conservation Laws → Invariance
Neighborhood in Abstraction Space¶
External Ray sits in a sparse region of the domain-specific corpus (97th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Cobordism, Moduli & Geometric Duality (5 abstractions)
Nearest neighbors
- Siegel Disc — 0.80
- Harmonic conjugate — 0.76
- Algebraic cobordism — 0.75
- Ruled Surface — 0.75
- Lyapunov Exponent — 0.74
Computed from structural-signature embeddings · 2026-09-08