Browse
Claims
Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.
ShowingImportancePrizesTopicHarmonic analysis
The branch of analysis concerned with Fourier transforms, oscillatory integrals, restriction estimates, maximal operators, and their open problems. Claims about conjectures, theorems, or techniques in harmonic analysis belong here; claims in unrelated branches of mathematics do not.
Any counterexample to the three-dimensional Kakeya conjecture must be a grainy set.
SupportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Kakeya conjectureWang–Zahl methodimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The Fourier coefficients of the Syracuse random variable mod 3^n at frequencies not divisible by 3 decay faster than any power of n.
VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Number theoryProbabilistic Collatz dynamicsimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Every Kakeya set in R^n has Hausdorff dimension at least (n+2)/2 (Wolff's 1995 bound).
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The Wang–Zahl proof of the three-dimensional Kakeya conjecture can be adapted to prove the conjecture in higher dimensions.
SupportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureimportance · minorImportance 0.30, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Extending the Wang–Zahl method to Kakeya in dimensions four and higher faces primarily technical rather than fundamental obstacles.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureWang–Zahl methodimportance · minorImportance 0.30, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The restriction, Bochner–Riesz, and local smoothing conjectures each imply the Kakeya conjecture.
VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Kakeya conjectureimportance · minorImportance 0.25, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The proof of the three-dimensional Kakeya conjecture is a once-in-a-century mathematical result.
SupportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →evaluativeA judgment of worth or quality against some standard: good, fair, effective.constitution →Kakeya conjectureWang–Zahl methodimportance · minorImportance 0.25, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The three-dimensional Kakeya conjecture was a central open problem in harmonic analysis for about fifty years.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The jump from two to three dimensions is the hardest step in resolving the Kakeya conjecture in all dimensions.
SupportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →evaluativeA judgment of worth or quality against some standard: good, fair, effective.constitution →Kakeya conjectureimportance · minorImportance 0.25, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The Kakeya set conjecture remains open in dimensions four and higher.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Every set of delta-tubes pointing in delta-separated directions satisfies the polynomial Wolff axioms in every dimension.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjecturePolynomial Wolff axiomsConvex Wolff axiomsimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The convex Wolff axioms version of the Kakeya conjecture fails in dimensions four and above.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureConvex Wolff axiomsimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The three-dimensional Kakeya conjecture has been proved: every three-dimensional Kakeya set has dimension three.
VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureimportance · minorImportance 0.30, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
A small-volume union of tubes in R^3 whose points lie in tubes pointing in three quantitatively different directions clusters into rectangular slabs (grains) at an intermediate scale.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Wang–Zahl methodKakeya conjectureimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The local smoothing conjecture for the wave equation implies the Bochner–Riesz conjecture.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Local smoothing conjectureBochner–Riesz conjectureimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The Bochner–Riesz conjecture implies the Fourier restriction conjecture.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Fourier restriction conjectureBochner–Riesz conjectureimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The Fourier restriction conjecture implies the Kakeya conjecture.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureFourier restriction conjectureimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The mathematical community accepts the Wang–Zahl proof of the three-dimensional Kakeya conjecture as correct.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureWang–Zahl methodMathematicsimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Hong Wang and Joshua Zahl posted an arXiv preprint in February 2025 claiming a proof of the three-dimensional Kakeya set conjecture.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Kakeya conjectureWang–Zahl methodimportance · settledImportance 0.12, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Contribute
If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.