In the continuous setting, we expect product of two oscillating functions to oscillate even more (generically). On a graph G=(V,E), there are only |V| eigenvectors Laplacian L=D−A, so one oscillates ‘the most’. The purpose this short note is point out an interesting phenomenon: if ϕ1,ϕ2 delocalized L corresponding large eigenvalues, then their (pointwise) ϕ1⋅ϕ2 smooth (in sense small Dirichlet ...