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

2 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 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