Erdős problem 829

Erdős Problem 829 (open). Let $A \subseteq \mathbb{N}$ be the set of perfect cubes. Is it true that $(1_A \ast 1_A)(n) \ll (\log n)^{O(1)}$ ? That is, does there exist a natural number $C$ such that the number of representations of $n$ as a sum of two cubes is $O((\log n)^C)$ as $n \to \infty$ ?

Sources

The source's own material, retained exactly.

9 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

829.lean

Retained formal statement7 of 9

Mahler proved $(1_A \ast 1_A)(n) \gg (\log n)^{1/4}$ for infinitely many $n$ , where $A$ is the set of perfect cubes.

[Ma35b] Mahler, K., _On the lattice points on curves of genus 1_. Proc. London Math. Soc. (2) (1935), 431-466.

FormalConjectures/ErdosProblems/829.leanErdos829.variants.mahler1 lineExact file

1∃ C > 0, ∃ᶠ (n : ℕ) in Filter.atTop, C * Real.log ↑n ^ (1 / 4) ≤ ↑(AdditiveCombinatorics.sumRep Erdos829.cubes n)

SolvedStatement only, no proof