Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
All topics

7 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Harmonic analysis

Erdős Problem 996

Does there exists a positive constant C such that for all f ∈ L²[0,1] and all lacunary sequences n, if ‖f - fₖ‖₂ = O(1 / log log log k ^ C), then for almost every x, lim ∑ k ∈ Finset.range N, f (n k • x)) / N = ∫ t, f t ∂t?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Harmonic analysis

Weak tiling problems

Problem 4.1.* Let ΩR\Omega \subset \mathbb{R} be a finite union of intervals and ν\nu a weak tiling measure for Ω\Omega. Must supp(ν)\mathrm{supp}(\nu) have bounded density?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Harmonic analysis

Weak tiling problems

Problem 4.2.* Let ΩR\Omega \subset \mathbb{R} be a finite union of three or more intervals. If Ω\Omega weakly tiles its complement, must it also tile its complement properly?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Harmonic analysis

Weak tiling problems

Problem 4.3.* Let ΩR\Omega \subset \mathbb{R} be a finite union of intervals and ν\nu a weak tiling measure for Ω\Omega. Must ν\nu be expressible as a convex combination of proper tiling measures?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Harmonic analysis

Fuglede's conjecture in dimensions 1 and 2: Dim 1

Fuglede's conjecture* in one dimension: A bounded subset of ℝ with positive Lebesgue measure is spectral iff it tiles ℝ by translation.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Harmonic analysis

Fuglede's conjecture in dimensions 1 and 2: Dim 2

Fuglede's conjecture* in two dimensions: A bounded subset of ℝ^2 with positive Lebesgue measure is spectral iff it tiles ℝ^2 by translation.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Harmonic analysis

Kakeya problem

The Kakeya set conjecture: Kakeya sets in Rn\mathbb{R}^n have Hausdorff dimension nn.

Source checked Jul 26, 20261 pinned Lean statementInspect problem