{"id":"arxiv/2607.11404","url":"https://arxiv.org/abs/2607.11404","tags":["math.DS","cs.CC","cs.LO","math-ph"],"score":0,"title":"Computable Ergodic Optimisation","domain":"math.DS","source":"arxiv","authors":["Léopoldine Gayral","Mathieu Hoyrup"],"reviews":0,"subject":"math.DS","summary":"Links between physicals systems and computability properties have been an active field of investigation in recent years. Inspired by a previous work in the context of positive temperature Gibbs measures, we prove here that in the context of zero-temperature ergodic optimisation, for a computable potential and provided with several reasonable assumptions, the maximum ergodic average is a computable real number, and the set of maximising measures is a $Π_1$-computable compact set. Then, in the more specific context of symbolic dynamics, with finite-range interactions on subshifts of finite…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}