{"id":"arxiv/2611.06954","url":"https://arxiv.org/abs/2611.06954","tags":["cs.GR","math.AP"],"score":0,"title":"Certified folding-free deformable image registration: A whole-cell Jacobian certificate and a sequential variational solver","domain":"cs.GR","source":"arxiv","authors":["Baihan Zhao","Zicong Zhou","Guojun Liao"],"reviews":0,"subject":"cs.GR","summary":"Registration maps propagate labels, measure local volume change, and map results back through their inverses; requiring invertibility. Voxelwise checks can miss folds between grid points. We study the canonical continuous extension of a nodal displacement field by trilinear interpolation and give a test that proves its Jacobian determinant positive in every grid cell or rejects the map. The test is rigorous under IEEE 754 binary64 arithmetic (correct rounding, no contraction). With a fixed boundary, certification implies a bi-Lipschitz homeomorphism of the image domain. We introduce SeqVP,…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}