# Generic Birkhoff Spectra

**Authors:** Zolt\'an Buczolich, Bal\'azs Maga, Ryo Moore

arXiv: 1905.06001 · 2019-10-31

## TL;DR

This paper studies the typical shapes and properties of Birkhoff spectra for continuous functions on a symbolic space, revealing that generically the spectrum is continuous with infinite derivatives at endpoints, but can also be close to minimal spectra.

## Contribution

It characterizes the generic shape of Birkhoff spectra, showing they are usually continuous with infinite derivatives at endpoints, and provides examples with finite derivatives, advancing understanding of spectral properties.

## Key findings

- For a dense set, the spectrum is not continuous.
- For generic functions, the spectrum is continuous on ℝ.
- Examples exist with finite derivatives at endpoints.

## Abstract

Suppose that $\Omega = \{0, 1\}^ {\mathbb {N}}$ and $ {\sigma}$ is the one-sided shift. The Birkhoff spectrum $ \displaystyle S_{f}( {\alpha})=\dim_{H}\Big \{ {\omega}\in {\Omega}:\lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N f(\sigma^n \omega) = \alpha \Big \},$ where $\dim_{H}$ is the Hausdorff dimension. It is well-known that the support of $S_{f}( {\alpha})$ is a bounded and closed interval $L_f = [\alpha_{f, \min}^*, \alpha_{f, \max}^*]$ and $S_{f}( {\alpha})$ on $L_{f}$ is concave and upper semicontinuous. We are interested in possible shapes/properties of the spectrum, especially for generic/typical $f\in C( {\Omega})$ in the sense of Baire category. For a dense set in $C( {\Omega})$ the spectrum is not continuous on $ {\mathbb {R}}$, though for the generic $f\in C( {\Omega})$ the spectrum is continuous on $ {\mathbb {R}}$, but has infinite one-sided derivatives at the endpoints of $L_{f}$. We give an example of a function which has continuous $S_{f}$ on $ {\mathbb {R}}$, but with finite one-sided derivatives at the endpoints of $L_{f}$. The spectrum of this function can be as close as possible to a "minimal spectrum". We use that if two functions $f$ and $g$ are close in $C( {\Omega})$ then $S_{f}$ and $S_{g}$ are close on $L_{f}$ apart from neighborhoods of the endpoints.

## Full text

_Full body text omitted from this summary view._ Fetch the complete paper as Markdown: https://tomesphere.com/paper/1905.06001/full.md

## Figures

1 figure with captions in the complete paper: https://tomesphere.com/paper/1905.06001/full.md

## References

19 references — full list in the complete paper: https://tomesphere.com/paper/1905.06001/full.md

---
Source: https://tomesphere.com/paper/1905.06001