A circle, centered at the origin and with radius chosen so that it has non-empty intersection with the integer lattice $mathbb{Z}^{2}$, gives rise to a probability measure on the unit circle in a natural way. Such measures, and their weak limits, are said to be attainable from lattice points on circles. We investigate the set of attainable measures and show that it contains all extreme points, in the sense of convex geometry, of the set of all probability measures that are invariant under some natural symmetries. Further, the set of attainable measures is closed under convolution, yet there exist symmetric probability measures that are not attainable. To show this, we study the geometry of projections onto a finite number of Fourier coefficients and find that the set of attainable measures has many singularities with a fractal structure. This complicated structure in some sense arises from prime powers - singularities do not occur for circles of radius $sqrt{n}$ if $n$ is square free.
We prove that the Nazarov-Sodin constant, which up to a natural scaling gives the leading order growth for the expected number of nodal components of a random Gaussian field, genuinely depends on the field. We then infer the same for arithmetic random waves, i.e. random toral Laplace eigenfunctions.
Using the spectral multiplicities of the standard torus, we endow the Laplace eigenspaces with Gaussian probability measures. This induces a notion of random Gaussian Laplace eigenfunctions on the torus (arithmetic random waves). We study the distribution of the nodal length of random eigenfunctions for large eigenvalues, and our primary result is that the asymptotics for the variance is non-universal, and is intimately related to the arithmetic of lattice points lying on a circle with radius corresponding to the energy.
