Quantization condition: An eigenfunction on the graph can be defined through its associated 2 | E | plane-wave coefficients. As the eigenfunction is stationary under the quantum evolution a quantization condition for the graph can be written using the evolution operator.