Gaussian Erdős–Moser equation conjecture

For positive integers kk and mm, let σk(m1)\sigma_k(m-1) denote the sum of the kk-th powers of the Gaussian integers in the relevant Gaussian-integer range, and consider the equation

σk(m1)=(m+mi)k.\sigma_k(m-1)=(m+mi)^k.

Gaussian Erdős–Moser conjecture. The equation above has only the solution (k,m)=(2,3)(k,m)=(2,3):

(1+i)2+(1+2i)2+(2+i)2+(2+2i)2=18i=(3+3i)2.(1+i)^2+(1+2i)^2+(2+i)^2+(2+2i)^2=18i=(3+3i)^2.

This is presented after computations for k,m<100k,m<100 as a conjectural Gaussian analogue of the Erdős–Moser equation; no proof or resolution beyond those computations is given.

Sources & referencesView supporting material

Primary source

Pedro Fortuny Ayuso, Jose Maria Grau and Antonio Oller-Marcen, “A von Staudt-type formula for _z_n[i] z^k”, arXiv:1402.0333 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.