TY - RPRT TI - An improved double-exponential lower bound for $r_4(5,n)$ AU - Chunchao Fan AU - Mingze Li AU - Qizhong Lin AU - Bo Ning PY - 2026 UR - https://arxiv.org/abs/2605.04105 ID - 2605.04105 ER -