{"id":"arxiv/2605.22832","url":"https://arxiv.org/abs/2605.22832","tags":["cs.DC","cs.DS","math.CO","math.PR"],"score":0,"title":"Mathematical Foundations for Peer-to-Peer Lattice Computation","domain":"cs.DC","source":"arxiv","authors":["Danil Gorinevski"],"reviews":0,"subject":"cs.DC","summary":"We give structured proofs for five mathematical propositions governing synchronous peer-to-peer computation on a finite grid graph embedded in $\\mathbb{Z}^2$. Proposition 1 gives three lower bounds: a transport-work bound $\\sum_i a_i \\ell_i \\geq W_1(μ,ν)$ attained by every shortest-path schedule; a completion-depth bound $D_{\\min} \\geq r_μ$ attained by non-congesting parallel routing; and a compressive-reduction edge bound $|E'| \\geq \\mathrm{St}_G(\\mathrm{supp}(μ)\\cup\\{x_\\star\\})$. A negative result refutes naive $O(f_{\\text{act}}P^{3/2})$ concentration for sink-trunk loads under corner-sink…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-24","reactions":{}}