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.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1817
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Complex Dynamics → Mathematics
Aliases: Dynamic ray, Parameter ray, Douady–Hubbard external ray

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.

How would you explain it like I'm…

Paths From Far Away

Picture a funny-shaped blob drawn on a giant sheet of paper. Now imagine paths that start very far away and come in toward the blob, each one keeping its own fixed direction on a special magic map. If a path ends up touching just one spot on the blob's edge, we say it lands there. These paths are called external rays.

Rays From Infinity

Some math pictures, like the Mandelbrot set and Julia sets, have incredibly twisty edges. Mathematicians use a special coordinate system that makes the outside of such a shape look like the outside of a simple disk. In that system, they draw a straight ray from far away at one fixed angle. Brought back to the real picture, the ray becomes a curve coming in from infinity toward the shape. If the curve ends at exactly one point on the edge, we say the ray lands there.

Fixed-Angle Rays from Infinity

In complex dynamics, which studies repeating polynomial maps on complex numbers, an external ray is a curve running from infinity toward a filled Julia set or the Mandelbrot set. It is built using a conformal coordinate (typically a Böttcher coordinate) that straightens out the region outside the set so it looks like the outside of a disk. In that straightened picture, the ray is just a straight line at a fixed angle; mapping back gives the curved external ray. The angle labels the ray. If the ray approaches exactly one boundary point, it is said to land there. A random curve toward the set doesn't count; it must come from this coordinate with a constant angle.

In polynomial complex dynamics, an external ray is the preimage, under an exterior uniformizing coordinate, of a radial line of constant angle. Typically the coordinate is the Böttcher coordinate, which conformally identifies the complement of a filled Julia set (in the dynamical plane) or of a connectedness locus such as the Mandelbrot set (in parameter space) with the exterior of a disk. The ray therefore runs from infinity through that complement, carrying a fixed external angle. If it accumulates at a unique boundary point, it is said to land at that point. The identifying features are four together: the exterior conformal coordinate, the constant angle, the curve from infinity, and the dynamically meaningful approach to the boundary. Landing behavior lets one use angles to organize and describe the intricate boundary structure.

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) — outgoing typed relations

External Ray is a kind of Path Prime

Path is the broader abstraction this entry instantiates.

Hierarchy path (1) — routes to 1 parentless root

External Ray → is a kind of Path → presupposes Network

Neighborhood in Abstraction Space¶

External Ray sits in a sparse region of the domain-specific corpus (98^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Siegel Disc — 0.80
Harmonic conjugate — 0.76
Zeros and Poles — 0.76
Behnke–Stein Open Riemann Surface Theorem — 0.75
Algebraic cobordism — 0.75

Computed from structural-signature embeddings · 2026-10-25