The Gap — its place, its shape, its scope

The gap itself, up close — one page, several views, all reading the same feed. The gap is G = 1 − √2·ln 2 = 0.019742 at the doubling cell — but that number is one point on a smooth curve, and the curve has a shape. Here is the point, and here is the shape.

▶In other words — one object, in each domain's language

Everything on this page is one function of one variable — p(L) = L / (2 sinh(L/2)), with L = ln r. Each field below writes it in the coordinate its habits favour, and names it there. These are not analogies: they are the same line, renamed — all true at once. The famous number is where r = 2 lands in every one of them.

meansgeometric-to-logarithmic mean ratio — the Hermite–Hadamard slack (GM ≤ L_log)GM / L_log
quadraturethe midpoint rule's relative error for eₜ — at r = 2 that error is the gap; the trapezoid rule's excess is its over-side twin, T/G → 2 at the wallE, T
samplingacceptance probability of the exponential sampler (Fishman · ziggurat)p
hyperbolic geom.tube radius, and the coefficient S = 1/p — the chord over the hyperbolic argument, one metric, said once: Minkowski arc L, chord 2 sinh(L/2)R, S
the domethe increment of tanh under the squaring map, L ↦ 2L (g = tanh 2x − tanh x, x = L/2)g
number theoryDirichlet eta & Bernoulli moments — the integer sequence a(n)η(s), B₂ₙ
critical phenomenaanomalous dimension & corridor — a bound η ≤ 2G on printed valuesη, R(N)
dynamics / infoa Lyapunov spectrum, an L² norm — ‖(ln 2, ln 2)‖₂ is a spelling of √2·ln 2‖·‖₂
base tencontinued-fraction convergents & unit fractions of the digitsρ
the towera threshold an integer step n crosses (c/G for three targets) — a conversion; states no claimn·G
added 2026-09-09the rows ruled after the first ten — the saddle, the traces, the maps, the cells, the angles
complex analysisthe half-argument made complex, w = L/2: Re(1 − w/sinh w) is harmonic, so its Hessian is ±λ everywhere — a saddle; the wall is the only critical point in |w| < π (±1/3 in w; the value is the coordinate's, the signs are the object's)w, Re f
hyperbolic classesthe trace t = 2 cosh(L/2) and the square's trace t₂ = r + 1/r; its square diag(r, 1/r) is conjugate to an integral matrix exactly when t₂ is an integer — a closed cell; r = 2 has t₂ = 5/2t, t₂
Chebyshev / Lucasthe squaring map t₂ ↦ t₂² − 2 (L ↦ 2L): from the golden cell the Lucas ladder 3, 7, 47, 2207; from r = 2 the ladder 5/2, 17/4, 257/16, … never landsT₂, L₂ₖ
metallic means(m + √(m²+4))/2, norm −1; their squares are the closed cells t₂ = m² + 2 — φ² (chord 1, p = L), (1+√2)² = 3+2√2 (the boundary)φ, δS
the anglesthe Gudermannian θ = gd L (cos θ = 2/t₂) and Lobachevsky's angle of parallelism Π (cos Π = tanh(L/2)); 70.53° = Π(2) = θ(3+2√2)θ, Π

The hidden language is the coordinate: r, b−a, L, L/2, u, s, N, the digits, n — and w, t, t₂, m, θ, Π — one line, fifteen variables. Translating between any two rows is a single substitution. (Distinct from letters that merely collide — the same mark standing for different objects; that is a separate map.) Symbols follow ISO 80000-2; inverse hyperbolic functions are said in words here — "the hyperbolic argument" — and spelled ar- offline. The symbol map is open-ended: new entries may be added when a correspondence is independently derived and verified; existing meanings may not drift silently — a change is dated and recorded.

doubling — the number lives here filled: §4.2 trace/chord cells hollow: other integer ratios

Move across the curve — every cell above the wall has a gap. The famous number is not alone; it is where r = 2 lands.

the cell under the cursor

r2.000
L = ln r0.6931
t₂ = r + 1/r2.500
G (the gap)0.019742
θ = gd L36.87°
Π70.53°
chord 2X0.7071
L from the chord0.6931
base 16r/(r−1)²32.0
partner r′3.000
The object. The gap is the arc (argument L) falling short of the chord (2·sinh(L/2)), in the hyperbola's own metric — arc < chord, so p < 1. Read backwards: L is twice the hyperbolic argument of half the chord — at r = 2, sinh(ln 2 / 2) = 1/(2√2). At golden the chord is exactly 1.
The place. r = 2 is the first integer ratio — the smallest distinction you can draw. The gap there is 0.019742: what one flat sample of the doubling cell fails to keep. The curve is smooth here — the gold is our pointer, not a feature of the function (The complement §4, Figure 1: G is smooth at r = 2; among integer ratios, the base 16r/(r−1)² = 4/X² is a power of two only there).
deficit + (along rapidity) excess − (along rotation) the wall — the only critical point

The gap's own field, Re(1 − w/sinh w), around the wall. Not a valley, not a hill — a saddle: it rises one way and falls the other, and the wall is the single balance point inside |w| < π.

the shape at the wall

along rapidity (real)+1/3
along rotation (imag)−1/3
read here asdeficit / excess
value under cursor0.000
Why it matters. The gap isn't a flat little error — it's the curvature of a saddle. One eigenvalue up (+1/3), one down (−1/3), equal and opposite because the real part of an analytic function is harmonic. The house reads the two directions as deficit and excess (the reading is exact at second order and only there — The complement §4.3); the ±1/3 is the value in the half-argument w = L/2, and changes with the coordinate; its signs do not.
the trace of the ratio the moving point

An oscilloscope of the ratio — two tones, one against the other: x = sin 2πt, y = sin(2π·R·t). A rational R draws a still, closed figure; an irrational one never comes home — it keeps drawing, forever.

the ratio on the scope

R0.980258
nearest simple ratio—
closes afternever
kindtranscendental
The gap you can watch. The ceiling √2·ln 2 is transcendental — so its figure never closes. That refusal to come home is irrationality made visible: p(ln 2) = √2·ln 2 is no fraction a/b. Dial to a rational and watch it snap shut.
ratio R
vol
Two soft sine tones at f and f·R — the picture, heard. A rational R resolves; √2·ln 2 beats forever. (Soft by default; starts on your click.)

The closed-cells instrument — integer-t₂ cells, chord, base, θ, partner. Ported as-is; folds onto the shared feed next.

The conformal-angles reading of sinh w — where angles pass, and where they fold.

The 3-D gap landscape — the surface the curve and the saddle live on.

The experiments bench — the saddle and the golden sliders, with play; the wall’s field beside the 2xy field; cells read as turn angles; a builders’ box. (The scope is the Scope tab.)

Feed. Every value is the closed form the toolbox uses, cross-checked to landmarks.py (25 checks) and closed_cells.py (37 checks) on 2026-09-07 — a ruling in the tool becomes a change here. The curve and its points match The complement, Figure 1 (filled = §4.2 trace/chord cells, hollow = other integer ratios; every value independently recomputed at dps 30 — Opus, 2026-09-06). Fence: the curve, the coordinates and the ±1/3 saddle are computed and classical in form; the framing (place, nature) is the house's reading. — Cairn, who runs on Claude Opus, 📐 & D.B., 2026-09-07
Substrate. This page and the instruments it opens compute in the browser's double precision (IEEE-754 binary64); readouts stop at fifteen digits. They show; the papers verify — every printed value there is computed in exact or arbitrary-precision arithmetic. (Said once, 2026-09-11.)

→ Gap Geometry · the framework  ·  notation follows ISO 80000-2  ·  license