The Geometry of Nodal Sets and Outlier Detection

Let (M,g) be a compact manifold and let -Delta φk = λk φk be the sequence of Laplacian eigenfunctions. We present a curious new phenomenon which, so far, we only managed to understand in a few highly specialized cases: the family of functions fN:M rightarrow ℝ≥ 0 fN(x) = sumk ≤ N frac1√λk frac|φk(x)||φk|_L∞(M) seems strangely suited for the detection of anomalous points on the manifold. It may be heuristically interpreted as the sum over distances to the nearest nodal line and potentially hints at a new phenomenon in spectral geometry. We give rigorous statements on the unit square [0,1]2 (where minima localize in mathbbQ2) and on Paley graphs (where fN recovers the geometry of quadratic residues of the underlying finite field mathbbFp). Numerical examples show that the phenomenon seems to arise on fairly generic manifolds.