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.
1 topic

7 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openarXiv · Functional analysis

Banach-Mazur Rotation Problem

The Banach--Mazur rotation problem asks whether every separable Banach space whose group of linear isometric equivalences acts transitively on the unit sphere is linearly isometric to a Hilbert space.

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 openGreen's Open Problems · Functional analysis

Ben Green's Open Problem 54

Let KRnK \subset \mathbb{R}^n be a balanced compact set (that is, λKK\lambda K \subseteq K whenever λ1|\lambda| \leq 1) and suppose that the normalised Gaussian measure γn(K)0.99\gamma_n(K) \geq 0.99. Does 10K10K contain a compact convex set CC with γn(C)0.01\gamma_n(C) \geq 0.01?

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