in a sense it doesn't even require four spatial dimensions to make it work, non-euclidean 3D could be enough of an explanation to locally shrink/grow some region of space ..at least, mathematically, idk how physics works there