{"id":"arxiv/2609.10874","url":"https://arxiv.org/abs/2609.10874","tags":["math.OC","math.NA"],"score":0,"title":"A Simple Complexity Lower Bound for Solving $Ax=b$","domain":"math.OC","source":"arxiv","authors":["Ohad Shamir"],"reviews":0,"subject":"math.OC","summary":"In this note, we provide a short and direct proof that approximately solving $Ax=b$ to relative error $\\varepsilon$, where $A$ has condition number $κ$ and unrestricted dimension, requires $Ω(κ\\log(1/\\varepsilon))$ matrix-vector multiplications in the worst case, even for randomized algorithms. This essentially recovers the lower bound of Dereziński, Epperly and Meyer [2026] for this setting, whose elegant and more general approach inspired us to seek a short direct proof. A straightforward reduction implies the classical $Ω(\\sqrtκ\\log(1/\\varepsilon))$ lower bound for optimizing strongly…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}