State of Proof

Mathematical claim · candidate · examination not started

A 1/64 spectral gap for surfaces with (delta=1/2)

Alex Cohen and Semyon Dyatlov.

Source date: 2026-09-24 · Added: 2026-09-27 · Record updated:

Inclusion is not validation. This is an intake record and proposed check plan, not a completed examination or a peer-review decision. Any separate docket states its own exact source and scope.

Candidate · added · 2609.30261

A blue hyperbolic funnel narrows between two glowing fractal-patterned ends, with soft frequency bands at either side.
Conceptual illustration · not a plotted spectral gap or proof certificate

A fractal route to a spectral gap

What it is
A paper claims an essential spectral gap for a specified class of convex co-compact hyperbolic surfaces at (delta=1/2).
Who did it
Alex Cohen and Semyon Dyatlov.
What it could mean
A new uncertainty principle may expose a quantitative barrier between geometric fractal structure and the resonances of these hyperbolic surfaces.

Examination not started

See the check plan

Evidence & validation

From announcement to evidence

Discovery recorded. State of Proof has not yet examined this claim.

  1. Read the original work

    A 1/64 spectral gap for surfaces with (delta=1/2) ↗

    Alex Cohen and Semyon Dyatlov.

  2. See the proposed checks

    Source-lock the surface class, exponent range, essential-resonance convention, and (epsilon) qualification; map the claimed Fractal Uncertainty Principle and cited two-ends input to the spectral-gap conclusion; test no generalization beyond the stated (delta) interval.

  3. No proof docket yet

    A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.

    Explore existing proof dockets →
How validation works →

A fractal boundary and a spectral separation

The funnel suggests convex co-compact hyperbolic geometry; the bright irregular ends suggest the fractal structure named in the paper’s uncertainty-principle route. The bands evoke resonances. This is a conceptual introduction, not a plotted spectral gap, simulation, or proof certificate.

Read the source · Abstract · Fractal Uncertainty Principle and essential spectral gap ↗
What it claims
The inspected abstract supplies a gap formula for a stated interval of (delta), its (delta=1/2) specialization, and names a new Fractal Uncertainty Principle as the route. This is a narrow theorem about convex co-compact hyperbolic surfaces, not a generic claim about physical spectra or engineered systems.
Why this could matter
A fractal route to a spectral gap Some curved surfaces have infinitely many long-lived resonant patterns. This paper claims a definite gap separating the leading behavior from the rest when the surface’s fractal boundary has a specified dimension.
If it holds up
It would add a new Fractal Uncertainty Principle and the stated quantitative spectral-gap result under its exact hyperbolic assumptions.
If it does not
The broken step would clarify whether the uncertainty estimate, its geometric input, or its resonance transfer needs revision.
Impact horizon
Foundational · Spectral theory · Hyperbolic geometry · Fractal analysis
Version
submitted 2026-09-24 17:59:34 UTC
Why we tracked it
a fresh, source-backed spectral-theory theorem with a specific geometric regime and proof-method claim. Intake does not independently establish the new uncertainty principle, its dependence on the cited two-ends Furstenberg theorem, or the spectral-gap transfer.
Highest-risk dependency
The numerical (1/64) value applies only after the paper's exact normalization and (delta=1/2) specialization. A statement about a broader surface class or a physics interpretation would not follow from the inspected abstract.
Available artifacts
arXiv provides PDF, experimental HTML, and TeX source for a 40+ epsilon-page manuscript. The inspected record identifies no formal proof assistant, executable implementation, certificate, or repository. No artifact was downloaded, executed, or replayed.
Current boundary
Intake record only; examination not started.

Back to this paper in Paper Watch · Public records as JSON · Suggest a correction