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

375 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,29)868W(3, 29) \ge 868 from [AKS14, Table 2].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,30)903W(3, 30) \ge 903 from [AKS14, Table 2].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,31)>930W(3, 31) > 930 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,32)>1006W(3, 32) > 1006 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,33)>1063W(3, 33) > 1063 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,34)>1143W(3, 34) > 1143 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,35)>1204W(3, 35) > 1204 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,36)>1257W(3, 36) > 1257 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,37)>1338W(3, 37) > 1338 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,38)>1378W(3, 38) > 1378 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,39)>1418W(3, 39) > 1418 from [AKS14, Table 3].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Green's Open Problem 15

Does there exist a Lipschitz function f:NZf : \mathbb{N} \to \mathbb{Z} whose graph Γ={(n,f(n)):nN}Z2\Gamma = \{(n, f(n)) : n \in \mathbb{N}\} \subseteq \mathbb{Z}^2 is free of 3-term progressions?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 16

What is the largest subset of [N][N] with no solution to x+3y=2z+2wx + 3y = 2z + 2w in distinct integers x,y,z,wx, y, z, w?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 16

From [Ruzsa] f(N)N1/2f(N) \gg N^{1/2}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 16

From [Schoen and Sisask] f(N)Nec(logN)1/7f(N) \ll N \cdot e^{-c(\log N)^{1/7}}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 16

f(N)Nec(logN)1/7f(N) \gg N \cdot e^{-c(\log N)^{1/7}}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 16

From [Yufei Zhao]: Is there a subset of {1,,N}\{1, \ldots, N\} of size N1/3o(1)N^{1/3 - o(1)} with no nontrivial solutions to x+2y+3z=x+2y+3zx + 2y + 3z = x' + 2y' + 3z'?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 18

Suppose that GG is a finite group, and let AG×GA \subset G \times G be a subset of density α\alpha. Is it true that there are αG3\gg_\alpha |G|^3 triples x,y,gx, y, g such that (x,y),(gx,y),(x,gy)(x, y), (gx, y), (x, gy) all lie in AA?

Note: A is taken as α\alpha-dense, i.e. AαG2|A| \ge \alpha |G|^2 [Au16, Question 2]

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 19: Lower

[Ma21] showed that 3.13C3.13 \leq C.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 19: Upper

[Ma21] showed that C4C \leq 4.

Source checked Jul 26, 20261 pinned Lean statementInspect problem