{"id":"arxiv/2603.14831","url":"https://arxiv.org/abs/2603.14831","tags":["math.AT","cs.LG","math.DS"],"score":0,"title":"Neural Networks as Local-to-Global Computations","domain":"math.AT","source":"arxiv","authors":["Vicente Bosca","Robert Ghrist"],"reviews":0,"subject":"math.AT","summary":"We construct a cellular sheaf from any feedforward ReLU neural network by placing one vertex for each intermediate quantity in the forward pass and encoding each computational step - affine transformation, activation, output - as a restriction map on an edge. The restricted coboundary operator on the free coordinates is unitriangular, so its determinant is $1$ and the restricted Laplacian is positive definite for every activation pattern. It follows that the relative cohomology vanishes and the forward pass output is the unique harmonic extension of the boundary data. The sheaf heat equation…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-16","reactions":{}}