Skip to content

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.[1]

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.

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

  1. Specify the map or parameter family and plane.
  2. Identify the filled compact set and exterior domain.
  3. Normalize the Böttcher/Riemann coordinate near infinity.
  4. Choose an external angle.
  5. Pull back the corresponding radial ray.
  6. Track the angle under the induced degree map.
  7. Determine the ray’s accumulation set.
  8. Claim landing only when the impression is a singleton.
  9. 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.

This entry is a kind of Path.

Path is the broader abstraction this entry instantiates. Boundary, Coordinate Transformation, Representation, Potential, Iteration, and Limit are related.

Relationships to Other Abstractions

Local relationship map for External RayParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.External RayDOMAINPrime abstraction: Path — is a kind ofPathPRIME

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 (98th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

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

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