Understanding Oversmoothing in Diffusion-Based GNNs From the Perspective of Operator Semigroup Theory | Synapse