Finite-Time Node Separation in Recurrent Graph Neural Networks with Persistent Gaussian Perturbations
This paper proves almost-sure pairwise noncollision, derive a uniform finite-horizon guarantee, and establish permutation equivariance in distribution for the stochastic dynamics and permutation-invariant graph outputs.