Universality of nodal count distribution in large metric graphs

An eigenfunction of the Laplacian on a metric (quantum) graph has an excess number of zeros due to the graph's non-trivial topology. This number, called the nodal surplus, is an integer between 0 and the graph's first Betti number $\beta$. We study the distribution of the nodal surplus values in the countably infinite set of the graph's eigenfunctions. We conjecture that this distribution converges to Gaussian for any sequence of graphs of growing $\beta$. We prove this conjecture for several special graph sequences and test it numerically for a variety of well-known graph families. Accurate computation of the distribution is made possible by a formula expressing the nodal surplus distribution as an integral over a high-dimensional torus.