非同期再帰型グラフニューラルネットワークにおけるエッジ剪定のスペクトル理論