Kollár–Villarino conjecture on finite Pythagoras numbers and even powers

Less than 1 year old · traced to

Let RR be a commutative ring with identity. For a positive integer mm, let pm(R)p_m(R) denote the least integer kk such that every element of RR expressible as a sum of mmth powers is a sum of at most kk such powers, if such a bound exists; write pm(R)<∞p_m(R)<\infty when this bound exists.

Kollár–Villarino conjecture. The following conditions are equivalent:

  1. p2(R)<∞p_2(R)<\infty.
  2. p2n(R)<∞p_{2n}(R)<\infty for some nn.
  3. p2n(R)<∞p_{2n}(R)<\infty for all nn.

This conjecture concerns whether finiteness of the Pythagoras number is equivalent to finiteness of the numbers of summands required for every even power. The source attributes it to the third author and Vill; no resolution is given here.

References

Primary source

Bartłomiej Bychawski, Bartosz Głowacki and Tomasz Kowalczyk, “Sums of squares on curves and surfaces”, arXiv:2606.22401 (2026).

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.