Claims

../

2026_07_15_luo_yang_zhu: For every fixed lambda > 0 and all large n, complex numbers of modulus at least one have a power sum of index between 2 and n + 1 above e^(-lambda n), so no constant C > 1 exists; unreviewed, with only partial Lean support.

2026_08_03_tan_wang_huang_chen: A lower bound exp(-(1 + o(1)) sqrt(n) log n) for the largest power sum of index 2 to n + 1 of n complex numbers of modulus at least one, from a residual bound for polynomials with zeros in the closed unit disk; unreviewed.

---