  We prove a Vasyunin-type formula for an autocorrelation function arising from
a Nyman-Beurling criterion generalized to a probabilistic framework. This
formula can also be seen as a reciprocity formula for cotangent sums, related
to the ones proven in [BC13], [ABB17].

Number Theory