{"id":"arxiv/2605.03917","url":"https://arxiv.org/abs/2605.03917","tags":["math.CA","cs.LG"],"score":0,"title":"Exact ReLU realization of tensor-product refinement iterates","domain":"math.CA","source":"arxiv","authors":["Tsogtgerel Gantumur"],"reviews":0,"subject":"math.CA","summary":"We study scalar dyadic refinement operators on R^2 of the form (Vf)(x,y) = sum_{(j,k) in Z^2} c_{j,k} f(2x-j, 2y-k), where only finitely many mask coefficients c_{j,k} are nonzero. Under a fixed support-window hypothesis, we prove that for every compactly supported continuous piecewise linear seed g:R^2->R, the iterates V^n g admit exact ReLU realizations of fixed width and depth O(n). This gives a first genuinely two-dimensional extension of the exact realization theory for refinement cascades. Using the one-dimensional exact loop-controller framework, the proof transports the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-05","reactions":{}}