Almost sure Weyl law for quantized tori

We study the eigenvalues of the Toeplitz quantization of complex-valued functions on the torus subject to small random perturbations given by a complex-valued random matrix whose entries are independent copies of a random variable with mean $0$, variance $1$ and bounded fourth moment. We prove that the eigenvalues of the perturbed operator satisfy a Weyl law with probability close to one, which proves in particular a conjecture by T. Christiansen and M. Zworski.