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.[1]
The recognition invariant is exterior uniformizing coordinate + constant external angle + curve from infinity + dynamically meaningful boundary approach.
Structural Signature¶
- A polynomial or related holomorphic dynamical family.
- A compact filled set or connectedness locus with an exterior domain.
- A Böttcher/Riemann-type coordinate near infinity.
- A radial half-line in the model exterior disk.
- A fixed angle, usually modulo one.
- Pullback image forming the external ray.
- Green potential increasing toward infinity.
- Equipotentials transverse to the ray.
- Dynamic rays in the dynamical plane.
- Parameter rays in parameter space.
- Angle dynamics, such as multiplication by degree.
- A landing question at the boundary.
- Possible impressions when unique landing is unavailable.
What It Is Not¶
It is rarely a Euclidean straight ray. It is not an internal ray inside an invariant Fatou component, nor an arbitrary curve approaching a fractal. Its coordinate, angle, and external-domain construction are essential.[2]
A ray’s impression need not be a singleton; saying that it lands requires convergence to one boundary point. Landing theorems have hypotheses and should not be generalized from rational angles to every boundary configuration.
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.[3]
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.
Examples¶
Quadratic dynamics. For \(z\mapsto z^2+c\), external angles double modulo one under iteration.[4]
Mandelbrot parameter ray. A constant-angle curve in the exterior uniformization approaches the Mandelbrot boundary; rational-angle landing organizes wakes and special parameters.
Non-example. A hand-drawn line from infinity to a Julia set is not an external ray without the conformal-coordinate construction.
Structural Tensions¶
- Simple radial model versus fractal image.
- Dynamic plane versus parameter plane.
- Unique landing versus nontrivial impression.
- Analytic coordinate versus combinatorial angle.
- Local connectivity assumptions versus general boundaries.
- Geometric curve versus symbolic itinerary.
Structural–Framed Character¶
Coordinate transport, boundary access, path labeling, and landing are structural. Holomorphic maps, Böttcher coordinates, Green functions, Julia sets, and external angles are complex-dynamical frame.
Structural Core vs. Domain Accent¶
The portable core is transporting canonical approach paths from a simple reference domain to a complex boundary. The constitutive accent is the exterior holomorphic coordinate and dynamical angle system.
Instantiates / Related Primes¶
Path is the proposed immediate parent. Boundary, Coordinate Transformation, Representation, Potential, Iteration, and Limit are related.
The prospective queue contains one strict edge to prime:path. No live DAG mutation is authorized.
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.Boundary, Coordinate Transformation, Representation, Potential, Iteration, and Limit are related. The prospective queue contains one strict edge to
prime:path. No live DAG mutation is authorized.
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
Not to Be Confused With¶
- Euclidean radial half-line.
- Internal ray.
- Arbitrary access curve.
- Parameter ray versus dynamic ray.
- Equipotential curve.
- Landing point versus full impression.
- Seifert surface or unrelated geometric ray.
References¶
[1] Adrien Douady and John H. Hubbard, Exploring the Mandelbrot Set: The Orsay Notes, 1984–1985. registry ↩
[2] John Milnor, Dynamics in One Complex Variable, 3rd ed., Princeton University Press, 2006. registry ↩
[3] Lennart Carleson and Theodore W. Gamelin, Complex Dynamics, Springer, 1993. registry ↩
[4] Dierk Schleicher, “On Fibers and Local Connectivity of Mandelbrot and Multibrot Sets,” in Fractal Geometry and Applications, AMS, 2004. registry ↩a ↩b