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

624 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 357: Big Theta Version

Let f(n)f(n) be the maximal kk such that there exist integers 1a1<<akn1 \le a_1 < \dotsc < a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does f(n)f(n) grow? Can we find a (good) explicit function gg such that f=Θ(g)f = \Theta(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Little O Version

Let f(n)f(n) be the maximal kk such that there exist integers 1a1<<akn1 \le a_1 < \dotsc < a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does f(n)f(n) grow? Can we find a (good) explicit function gg such that g=o(f)g = o(f) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Little O Version Symm

Let f(n)f(n) be the maximal kk such that there exist integers 1a1<<akn1 \le a_1 < \dotsc < a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does f(n)f(n) grow? Can we find a (good) explicit function gg such that f=o(g)f = o(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Infinite Set Density

Suppose AA is an infinite set such that all finite sums of consecutive terms of AA are distinct. Then it is conjectured that AA has density 0.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Infinite Set Sum

Suppose AA is an infinite set such that all finite sums of consecutive terms of AA are distinct. Then it is conjectured that the sum k1ak\sum_k \frac{1}{a_k} converges.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Hegyvari

Let g(n)g(n) be the maximal kk such that there exist integers 1a1,,akn1 \le a_1, \dotsc, a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. It is known that (13+o(1))ng(n)(23+o(1))n.\left(\frac 1 3 + o(1) \right)n \leq g(n) \leq \left(\frac 2 3 + o(1) \right)n.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: I

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. Is h(n)=o(n)h(n)=o(n)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Big O Version

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that g=O(h)g = O(h) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Big O Version Symm

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that h=O(g)h = O(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Big Theta Version

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that h=Θ(g)h = \Theta(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Little O Version

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that g=o(h)g = o(h) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Little O Version Symm

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that h=o(g)h = o(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 359: I

Let a1<a2<a_1< a_2 < ⋯ be an infinite sequence of integers such that a1=1a_1=1 and ai+1a_{i+1} is the least integer which is not a sum of consecutive earlier aja_js. Show that ak/ka_k / k \to \infty.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 359: Ii

Let a1<a2<a_1< a_2 < ⋯ be an infinite sequence of integers such that a1=1a_1=1 and ai+1a_{i+1} is the least integer which is not a sum of consecutive earlier aja_js. Show that ak/k1+c0a_k / k ^ {1 + c} \to 0 for any c>0c > 0.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 359: Is Good For 1 Asymptotic

Suppose monotone sequence AA satisfies the following: A 0 = 1 and for all j, A (j + 1) is the smallest natural number that cannot be written as a sum of consecutive terms of A 0, ..., A j. Then it is conjectured that ak klogkloglogka_k ~ \frac{k \log k}{\log \log k}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 361: Big O

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 361: Big Theta

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 361: Small O

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 364

There is no consecutive triple of powerful numbers.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 364: Strong

Erdős [Er76d] conjectured a stronger statement: if nkn_k is the kkth powerful number, then nk+2nk>nkcn_{k+2} - n_k > n_k^c for some constant c>0c > 0.

[Er76d] Erdős, P., Problems and results on number theoretic properties of consecutive integers and related questions. Proceedings of the Fifth Manitoba Conference on Numerical Mathematics (Univ. Manitoba, Winnipeg, Man., 1975) (1976), 25-44.

Source checked Jul 26, 20261 pinned Lean statementInspect problem