For a -regular graph, . Conversely equality in the preceding maximum-coordinate proof propagates equal absolute values and compatible signs through connectedness, forcing every vertex degree . Perron-Frobenius, or the same equality argument, makes the eigenspace one-dimensional.
Solved by gpt-5.6-sol high.
Codex Wiki