{"id":"arxiv/2611.07981","url":"https://arxiv.org/abs/2611.07981","tags":["math.NA"],"score":0,"title":"A stability order barrier and SSP bound for Runge--Kutta methods with non-negative coefficients: AI-assisted proofs","domain":"math.NA","source":"arxiv","authors":["Sigal Gottlieb","Zachary Grant","Lior Horesh","Lajos Lóczi","Avraham Shinnar","Barry Trager"],"reviews":0,"subject":"math.NA","summary":"We prove three results about Runge--Kutta methods with non-negative coefficients. First, every $s$-stage implicit Runge--Kutta method of order at least two has SSP coefficient at most $2s$; the bound is sharp and is attained by a known diagonally implicit method, so full implicitness gives no advantage over DIRK at second order. This extends the second-order DIRK result of Kocsis \\& Németh to full coefficient matrices and settles a conjecture of Ketcheson, Macdonald & Gottlieb. These proofs were found with the assistance of AI tools, which uncovered an interesting relationship between the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-05","reactions":{}}