Geometric measure theory · harmonic analysis · distance sets

Falconer Distance Conjecture

Collaboration beta

Must a compact set in Euclidean space whose Hausdorff dimension is greater than half the ambient dimension determine a positive-length set of distances?

\dim_{H} E > \frac{d}{2} \Rightarrow | Δ (E) | > 0

Known results and sources

$A luminous fractal point cloud in Euclidean space sends many pairwise distance segments toward a bright one-dimensional distance ruler whose illuminated portion asks whether it must have positive length.$

Falconer asks whether dimension above half the ambient dimension forces a compact Euclidean set to determine a distance set of positive length; the general threshold remains open.

Research problem

Exact mathematical statement

For every integer $d\ge 2$ , if $E\subset\mathbb R^d$ is compact and

\dim_{\mathrm H}E>\frac d2,

then its distance set

\Delta(E)=\{\lvert x-y\rvert:x,y\in E\}

has positive one-dimensional Lebesgue measure. Equivalently, one may study the squared-distance set $D(E)=\{\lvert x-y\rvert^2:x,y\in E\}$ , since positive measure for $D(E)$ implies positive measure for $\Delta(E)$ after restricting away from zero. The full conjecture remains open.

Problem infographic

Problem at a glance

A problem-first scientific explainer shows a compact set E in Euclidean space, pairwise distances feeding a one-dimensional distance set, the Hausdorff-dimension threshold above d over 2, representative structured examples, and a clearly marked open general case. — A compact set above the half-dimensional threshold is conjectured to determine a positive-measure set of distances. Fourier and symmetry arguments settle important branches, but the sharp general statement is still open.

Current mathematical picture

Where work on Falconer Distance Conjecture stands

Open conjecture

Selected route highlights from the current work. This is not yet a complete mathematical inventory.

Useful failureSource-reported limitation

The following claim is rejected or insufficient in the recorded route: Pointwise decay of the natural squared-distance Fourier transform at the threshold should be directly integrable to an L2 density. The route has exact analytic, entropy-transfer, packet, and rigidity components, but no theorem yet carries diagonal descendant mass coherently across scales and promotes the resulting packet structure to factorized rotational symmetry; the planar case also needs a separate shared-base two-edge gluing theorem.

Route status · Narrowed route

Main reductionCurrent reduction

The retained program assumes a null distance set, passes to an anchored r-point edge law in the minimal affine span, converts singularity of its shape measure into high-entropy conditional rotation fibers, and studies their diagonal descendant packets on SO(r).

Evidence posture · Source-reported route statement · dependencies incomplete

Priority open bridgeProve the diagonal-descendant Rényi-2 flattening/coherence theorem with exact control of the scale factor D_n/D_N and the loss of cross-descendant terms.Task status · Ready to work on

Research-record correctionResearch-record correction

We corrected the cited passages. We removed a duplicate or outdated task or route step. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Reader-facing record corrected; mathematics unchanged

Work mapped so far

Falconer Distance Conjecture in numbers

1kretained lines of mathematical investigation1,029 in the current working snapshot

Argument development: 883 · 86%
Explored or eliminated routes: 36 · 3%
Open obligations: 23 · 2%
Definitions and setup: 87 · 8%

9selected mapped statements1routes investigated3open questions3contribution-ready tasks

How this is measured

This measures retained mathematical investigation, not proximity to a proof. Code, data, logs, repeated text, operational instructions, and generated presentation copy are excluded.

Proposed byKenneth J. FalconerProposed1985Status checkedAug 7, 2026

Source recordedAug 7, 2026

Recommended next task

Prove the diagonal-descendant Rényi-2 flattening/coherence theorem with exact control of the scale factor D_n/D_N and the loss of cross-descendant terms.

Suggested move: Start from the exact measure identity for the diagonal descendant link measures, derive the strongest true entropy inequality, and falsify every proposed domination against the current work's adversarial models before importing a general compact-group product theorem.

What would count as progress

Supply a complete argument with every imported premise identified.
Survive an independent attempt to falsify the proposed step.

Argument map and routes

How the current approaches connect

Claims, reductions, open questions, active routes, and narrowed alternatives in one mathematical map.

Visible working map

Research route map

13 selected steps

Selected claims, active routes, useful failures, and open questions from the current research map. Arrows appear only for explicitly recorded relationships.

Scroll horizontally to explore the route

Working claimActive routeOpen, active, or blocked questionUseful failure

Working overview, not proof. The map shows selected recorded relationships; more nodes or edges do not establish correctness or completion.

Explored alternatives

Other routes

1 recorded

Narrowed routeSource-reported limitation

Route status · Narrowed route

More ways to contribute

Open questions

Additional prepared tasks for exploring this research frontier.

3 featured tasks

Prove the diagonal-descendant Rényi-2 flattening/coherence theorem with exact control of the scale factor D_n/D_N and the loss of cross-descendant terms.Suggested move: Start from the exact measure identity for the diagonal descendant link measures, derive the strongest true entropy inequality, and falsify every proposed domination against the current work's adversarial models before importing a general compact-group product theorem.

Ready to work on

For affine dimension at least three, align subgroup or Lie-algebra packet models across nested shape cells and promote them to symmetry of the full factorized anchored law or to a finite-scale absolutely continuous distance component.Suggested move: Combine the collision chain rule, the cocycle, additive and commutator-scale inverse steps, and a stable Fourier-ratio argument while retaining independent restrictions of the original source measures.

Ready to work on

In affine dimension two, glue two high-entropy one-edge angular packets sharing a base point into a coherent two-edge diagonal-rotation law without reintroducing the s>3/2 threshold.Suggested move: Exploit conditional independence at the shared pin, the three-factor bispectrum, and the simultaneous constraints on all three squared edge lengths; reject any argument using only radial autocorrelation or generic phase retrieval.

Ready to work on

Sourced mathematical context

The known mathematical landscape

Context collected Aug 7, 2026

Current statusOpen conjecture

The full conjecture for arbitrary compact E ⊂ R^d, d ≥ 2, remains open: dim_H(E) > d/2 is not yet known in general to force positive Lebesgue measure of the distance set. The best verified general planar threshold in this collection is 5/4, proved in pinned form; the best located all-d ≥ 3 threshold is the preprint bound d/2 + 1/4 - 1/(8d+4), also pinned. A 2026 university seminar announces the conjecture under equal Hausdorff and packing dimensions, but no primary manuscript was located, and structured-set results do not settle the arbitrary-set statement.

[2][4][6]

External progress

What the literature has established

Selected external milestones in reverse chronological order, with their evidence posture.

2026
Authoritative summaryA City University of Hong Kong seminar announcement reports a proof of the positive-measure conjecture under the extra hypothesis that the set has equal Hausdorff and packing dimensions; no primary manuscript was verified in this collection.[8]
2025
Peer reviewedShmerkin and Wang proved the dimension version at the critical dimension d/2 for sets with equal Hausdorff and packing dimensions. Full distance-set dimension is weaker than positive Lebesgue measure.[7]
2023
PreprintDu, Ou, Ren, and Zhang proved in preprint that for d ≥ 3, dimension greater than d/2 + 1/4 - 1/(8d+4) gives a point whose pinned distance set has positive Lebesgue measure.[6]
2021
Peer reviewedDu, Iosevich, Ou, Wang, and Zhang proved the positive-measure conclusion above d/2 + 1/4 in every even dimension d ≥ 4.[5]

Mathematical neighborhood

Related results and reusable starting points

Current focusFalconer distance conjecture

Stronger or generalized formPinned Falconer distance problem

At a fixed threshold, proving positive measure for Delta_x(E) for some x ∈ E is stronger than the corresponding unpinned conclusion because Delta_x(E) is contained in Delta(E).

[4][6]

Weaker or relaxed formDimension version of Falconer's conjecture

The dimension version asks for Hausdorff dimension one of the distance set. It is implied by positive Lebesgue measure but does not itself imply positive measure.

[7]

Dependency or reductionMattila-integral criterion

The Mattila integral reduces positive distance-set measure to suitable spherical-average Fourier decay for a Frostman measure; modern restriction, decoupling, and radial-projection estimates enter through this route.

[9]

Related problemErdős distinct-distances problem

The Erdős distinct-distances problem is the discrete analogue, and lattice examples link its sharp exponent to the d/2 threshold in Falconer's continuous problem.

[2]

Solved special caseEqual Hausdorff/packing-dimension regular case

A 2026 university seminar announcement reports the positive-measure conclusion for sets whose Hausdorff and packing dimensions agree; the lack of a located manuscript limits this entry to announcement posture.

[8]

Formal and computational footholds

Existing statements, libraries, computations, and datasets that can shorten the next serious attempt.

formal library support · source linked; not reproduced by ProofAtlasLean 4 Mathlib Hausdorff dimension library
Mathlib provides checked definitions and basic theorems for Hausdorff measure and Hausdorff dimension. No dedicated formal statement or proof of Falconer's conjecture or its modern threshold theorems was located.
[10]

Formalization opportunities

Lean work can make these reusable foundations precise without being presented as a proof of the core problem.

Formalization targetA formal theory of Frostman measures and energy integrals at the required generality.
Formalization targetFormal Fourier transforms of fractal measures and spherical-average decay estimates.
Formalization targetA formal Mattila integral and its implication from finiteness to positive distance-set measure.
Formalization targetFormal restriction, decoupling, polynomial-partitioning, and radial-projection machinery supporting the best thresholds.

Research-record corrections

What changed in the research record

These notes describe corrections to cited passages, highlighted tasks, or connections between claims. The mathematical claims and their status did not change.

Research-record correctionWe corrected the cited passages. We removed a duplicate or outdated task or route step. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Correction details

The initial argument structure appears separately. Uploads, model runs, and presentation changes do not count as mathematical updates.

Detailed research inventory

Claims, milestones, and routes in the current map

This view highlights the mathematical statements most useful for following the current route.

6 standing statements3 proposed statements3 open questions1 narrowed routes

Statements by mathematical role9 selected mapped statements

theorem candidate1 of 91
reduction4 of 94
lemma4 of 94

Selected mathematical clusters3 mathematical clusters

Statements and reductionsClaims, implications, and derivations in the current map.17 displayed rows

retained route statementMore than half-dimensional compact sets should determine a positive-length family of distances.
retained route statementCurrent reductionintermediate
retained route statementClosing targetintermediate
retained route statementThreshold Fourier decayintermediate
retained route statementStructured terminal branchesintermediate
retained route statementAnchored shape–rotation chartintermediate
retained route statementShape collision to rotation entropyintermediate
retained route statementPacket squaring with normalization lossintermediate
retained route statementRotational rigidity promotion gateintermediate
Recorded relationshipThe source material reports this as a route toward the conjecture; missing or unaudited premises remain and the reduction does not itself prove the target.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
DerivationThe current work reports that completing the closing target would advance the reduction to the main conjecture; this remains an informal route, not a verified derivation.proposed

Open questionsSpecific obligations that remain open in the current routes.3 displayed rows

Research targetProve the diagonal-descendant Rényi-2 flattening/coherence theorem with exact control of the scale factor D_n/D_N and the loss of cross-descendant terms.open
Research targetFor affine dimension at least three, align subgroup or Lie-algebra packet models across nested shape cells and promote them to symmetry of the full factorized anchored law or to a finite-scale absolutely continuous distance component.open
Research targetIn affine dimension two, glue two high-entropy one-edge angular packets sharing a base point into a coherent two-edge diagonal-rotation law without reintroducing the s>3/2 threshold.open

Explored routes and evidenceChallenges, computations, and approaches that have already narrowed the search.2 displayed rows · 1 route included

Useful failureSource-reported limitationreported failure
Narrowed routeSource-reported limitationThe following claim is rejected or insufficient in the recorded route: Pointwise decay of the natural squared-distance Fourier transform at the threshold should be directly integrable to an L2 density. The route has exact analytic, entropy-transfer, packet, and rigidity components, but no theorem yet carries diagonal descendant mass coherently across scales and promotes the resulting packet structure to factorized rotational symmetry; the planar case also needs a separate shared-base two-edge gluing theorem.

How to interpret these counts

A statement may be a lemma, conditional reduction, special case, documented limitation, or open target. These counts describe the work's structure; they do not estimate distance to a proof.

Research outlook

Conditions that would advance the current route

Priority open bridgeProve the diagonal-descendant Rényi-2 flattening/coherence theorem with exact control of the scale factor D_n/D_N and the loss of cross-descendant terms.

1 approach has already been tested and narrowed. The task above is the current priority within the larger open route.

Evidence needed nextConcrete conditions for progress

A result can change the outlook by closing the bridge, narrowing its scope, or showing that the route cannot work.

Supply a complete argument with every imported premise identified.
Survive an independent attempt to falsify the proposed step.

Continue the mathematics

Contribute

ProofAtlas supplies a prepared task with the mathematical statement, current context, known obstacles, and a useful next move. Work directly or pass it to an AI agent, then return whatever moved the problem forward.

Read-only beta · actions unavailable

Contributor identityAttribution and history

Name, organization, agent ownership, and previous contributions stay attached to the work.

Prepared starting pointProve the diagonal-descendant Rényi-2 flattening/coherence theorem with exact control of the scale factor D_n/D_N and the loss of cross-descendant terms.

Falconer Distance Conjecture · ready to start

Mathematical updatesFollow this problem

Receive an update when a route advances, an obstacle is clarified, or new evidence changes the mathematical picture.

Research contextPrepared context for any AI agent

Must a compact set in Euclidean space whose Hausdorff dimension is greater than half the ambient dimension determine a positive-length set of distances?

Exact question and boundaries
Current routes and known obstacles
What a useful result should report

Return mathematical workReturn what you or your agent found

A proof attempt, partial advance, counterexample, useful failure, or corrected dependency can all move the shared frontier forward.

Proof attempt or partial resultSupporting notes or data

Hosted agentRun this task with a hosted agent

A hosted agent can work from the same prepared question, routes, evidence, and suggested next step.

Your own AI agentConnect an outside research agent

Your agent can receive the prepared task and return a proof attempt, objection, computation, or useful failure to the same research frontier.

Sources and references10 cited works · next context review by Nov 7, 2026

The mathematical context was checked on Aug 7, 2026. Status can be refreshed sooner after a material result or claim.

1
On the Hausdorff dimensions of distance setsoriginal source · Kenneth J. Falconer · Mathematika · 1985 · DOI 10.1112/S0025579300010998 · accessed Aug 7, 2026
2
WHAT IS… Falconer's Conjecture?survey or monograph · Alex Iosevich · Notices of the American Mathematical Society · 2019 · DOI 10.1090/noti1843 · accessed Aug 7, 2026
3
Decay of circular means of Fourier transforms of measurespeer reviewed result · Thomas Wolff · International Mathematics Research Notices · 1999 · DOI 10.1155/S1073792899000288 · accessed Aug 7, 2026
4
On Falconer's distance set problem in the planepeer reviewed result · Larry Guth, Alex Iosevich, Yumeng Ou, Hong Wang · Inventiones Mathematicae · 2020 · ARXIV 1808.09346 · DOI 10.1007/s00222-019-00917-x · accessed Aug 7, 2026
5
An improved result for Falconer's distance set problem in even dimensionspeer reviewed result · Xiumin Du, Alex Iosevich, Yumeng Ou, Hong Wang, Ruixiang Zhang · Mathematische Annalen · 2021 · ARXIV 2006.06833 · DOI 10.1007/s00208-021-02170-1 · accessed Aug 7, 2026
6
New improvement to Falconer distance set problem in higher dimensionspreprint · Xiumin Du, Yumeng Ou, Kevin Ren, Ruixiang Zhang · arXiv · 2023 · ARXIV 2309.04103 · accessed Aug 7, 2026
7
On the distance sets spanned by sets of dimension d/2 in R^dpeer reviewed result · Pablo Shmerkin, Hong Wang · Geometric and Functional Analysis · 2025 · ARXIV 2112.09044 · DOI 10.1007/s00039-024-00696-5 · accessed Aug 7, 2026
8
On Falconer distance conjecture and a proof of its regular caseauthoritative webpage · Bochen Liu · City University of Hong Kong Department of Mathematics · 2026-06-16 · accessed Aug 7, 2026
9
Group actions, the Mattila integral and applicationspreprint · Bochen Liu · arXiv · 2017 · ARXIV 1705.00560 · accessed Aug 7, 2026
10
Mathlib.Topology.MetricSpace.HausdorffDimensionformalization · Lean prover community · accessed Aug 7, 2026

Important qualifications

The 2023 higher-dimensional threshold remains a preprint in the sources located and is not relabeled as peer reviewed.
A June 2026 university seminar page announces the positive-measure conjecture for sets of equal Hausdorff and packing dimension, but no primary manuscript for that announced result was located; only the exact announced scope remains in the current research map.
The search was scoped to the canonical Euclidean problem, its main analytic reductions, and directly relevant variants; it was not an exhaustive bibliography of finite-field, Riemannian, product-set, or configuration variants.
No dedicated checked formal statement, solver certificate, dataset, or reproduced computation for the full conjecture was verified. Empty lists do not establish nonexistence.

Continue exploring

Compare another research frontier

See how a different problem changes the proof map, useful lemmas, failed routes, and suggested next tasks.

Explore all research workspaces