# On the prevalence of the periodicity of maximizing measures

## TL;DR

This paper demonstrates that for a specific dynamical system, the property that maximizing measures are supported on periodic orbits is common among Lipschitz functions, supporting conjectures in ergodic optimization.

## Contribution

It proves the prevalence of the periodicity property for maximizing measures in Lipschitz functions on the full shift, strengthening previous results and confirming experimental predictions.

## Key findings

- Property $ ext{ extbackslash mathscr ext{P}}_T$ is prevalent in Lipschitz functions.
- Supports the Hunt--Ott conjectures in ergodic optimization.
- Strengthens prior results by extending the class of functions and metrics.

## Abstract

For a continuous map $T: X\rightarrow X$ on a compact metric space $(X,d)$, we say that a function $f: X \rightarrow \mathbb{R}$ has the property $\mathscr{P}_T$ if its time averages along forward orbits of $T$ are maximized at a periodic orbit. In this paper, we prove that for the one-side full shift of two symbols, the property $\mathscr{P}_T$ is prevalent (in the sense of Hunt--Sauer--Yorke) in spaces of Lipschitz functions with respect to metrics with mildly fast decaying rate on the diameters of cylinder sets. This result is a strengthening of \cite[Theorem~A]{BZ16}, confirms the prediction mentioned in the ICM proceeding contribution of J. Bochi (\cite[Seciton 1]{Boc18}) suggested by experimental evidence, and is another step towards the Hunt--Ott conjectures in the area of ergodic optimization.