{"id":"arxiv/2608.21299","url":"https://arxiv.org/abs/2608.21299","tags":["math.DS"],"score":0,"title":"Explicit exposure of Haar measure","domain":"math.DS","source":"arxiv","authors":["Yixuan Huang","Oliver Jenkinson","Zhiqiang Li","Hang Zhao"],"reviews":0,"subject":"math.DS","summary":"We solve the problem, posed some twenty years ago, of explicitly constructing a continuous function whose unique maximizing measure for the doubling map is Lebesgue measure. This is a special case of a more general result: given a nontrivial compact metrizable abelian group and a continuous endomorphism for which normalised Haar measure is ergodic, we explicitly construct a continuous function on the group for which Haar measure is the unique invariant maximizing measure. The function is the uniform limit of a recursively defined sequence of trigonometric polynomials with rational…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}