{"id":"arxiv/2607.18758","url":"https://arxiv.org/abs/2607.18758","tags":["math.NA","cs.DC","cs.IT","cs.MS"],"score":0,"title":"A Second-Moment Theory for Floating-Point Reduction Trees","domain":"math.NA","source":"arxiv","authors":["Piyush Sao","Narasinga Miniskar","Pedro Valero-Lara","Keita Teranishi","Sudip Seal"],"reviews":0,"subject":"math.NA","summary":"Summation error depends on partial-sum order, which standard worst-case bounds omit. To capture this dependence, we derive an exact mean-square error (MSE) recurrence for a binary reduction tree T under conditionally unbiased rounding. With unit roundoff u, the constant-nu model sets the local variance at pre-rounding value x to nu u^2 x^2. Its leading tree-dependent cost for the input vector p is p^T K_T p, where the common-ancestor kernel K_T counts the internal ancestors shared by each pair of leaves. For i.i.d. inputs of mean mu and variance tau^2, this expected cost is tau^2 Lambda_1(T)…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-21","reactions":{}}