Polynomial-scale density conjecture for ideal degree-three Prouhet–Tarry–Escott solutions

From papers

Let N(H)N(H) denote the number of nontrivial ideal degree-three Prouhet–Tarry–Escott solutions of size four and height at most HH, counted up to permutations within each multiset and interchange of the two multisets, with distinct integer translates counted separately.

Polynomial-scale density conjecture. The full counting function satisfies

N(H)=H3+o(1).N(H)=H^{3+o(1)}.

Consequently, since the symmetric solutions satisfy

Nsym(H)=4log23π2H3logH+O(H3),N_{\mathrm{sym}}(H)=\frac{4\log 2}{3\pi^2}H^3\log H+O(H^3),

the symmetric locus accounts for the full solution space up to subpolynomial factors:

Nsym(H)N(H)Ho(1).\frac{N_{\mathrm{sym}}(H)}{N(H)}\geq H^{-o(1)}.

The conjecture predicts that the symmetric locus has the same height exponent as the full solution space, although its literal proportion may tend to zero.

Progress summary

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

Sources & referencesView supporting material

Primary source

Yu-Dai Tsai, Junseok Lee and Fuminobu Takahashi, “Arithmetic Symmetry in Ideal Prouhet-Tarry-Escott Solutions”, arXiv:2606.07735 (2026).

Solutions 0

No solutions have been posted yet.