Skip to content

Erdős problem 477

Does there exist an integer polynomial ff of degree at least two and a set A⊆ZA \subseteq \mathbb{Z} such that every integer has a unique representation n=a+f(k)n = a + f(k)? A manuscript claims the thirteenth powers admit a tiling complement.

Sources

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

477.lean

Retained formal statement1 of 5

Is there a polynomial f:Z→Zf:\mathbb{Z}\to \mathbb{Z} of degree at least 22 and a set A⊂ZA\subset \mathbb{Z} such that for any z∈Zz\in \mathbb{Z} there is exactly one a∈Aa\in A and b∈{f(n):n∈Z}b\in \{ f(n) : n\in\mathbb{Z}\} such that z=a+bz=a+b?

FormalConjectures/ErdosProblems/477.leanErdos477.erdos_4772 linesExact file
True ↔  ∃ f, 2 ≤ f.degree ∧ ∃ A, ∀ (z : ℤ), ∃! ab, ab ∈ A ×ˢ ((fun x => Polynomial.eval x f) '' {n | 0 < n}) ∧ z = ab.1 + ab.2
OpenStatement only, no proof