{"id":"arxiv/2610.29880","url":"https://arxiv.org/abs/2610.29880","tags":["math.NT","math.PR"],"score":0,"title":"On the notion of reasonable functions in Cohen--Lenstra type heuristics","domain":"math.NT","source":"arxiv","authors":["Alex Bartel","Adam Morgan"],"reviews":0,"subject":"math.NT","summary":"We elucidate the notion of \"reasonable functions\" in the context of Cohen--Lenstra heuristics. For a sequence $(x_i)_i$ of independent random variables valued in an infinite discrete probability space $(X,p)$, we investigate for what sets $S$ of functions on $X$ it is true that almost surely, for all $f\\in S$, the average of $f$ on the sequence is equal to its expected value. We show that if $p$ decays sufficiently quickly, as e.g. the Cohen--Lenstra distribution does, then $\\bigcup_{q>1}L^q(X)$ is such a set; while if $p$ decays sufficiently slowly, then not even $\\bigcap_{q<\\infty}L^q(X)$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-21","reactions":{}}