A Additional proofs

By definition, P is an independent between-class random walk matrix. Compare equations 5 and 6. Therefore, the necessary condition for the spectral gap to be 0 is g (0) = g (2). For GPRGNN, GCNII, GNNGuard and ProGNN, we rely on the officially released code. The URL and commit number are presented in Table 2).