Scale function vs topological entropy (Q386845): Difference between revisions
From MaRDI portal
Latest revision as of 04:20, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Scale function vs topological entropy |
scientific article |
Statements
Scale function vs topological entropy (English)
0 references
11 December 2013
0 references
The authors prove that the topological entropy of a topological automorphism of a totally disconnected group is an upper bound of the logarithm of the scale function of the group. The scale function of automorphism was introduced by Willis and was calculated for \(p\)-adic Lie groups and linear groups over local fields. The topological entropy defined in the way of \textit{R. L. Adler} et al. [Trans. Am. Math. Soc. 114, 309--319 (1965; Zbl 0127.13102)], as well as Bowen, is a concept amply known. The problem of having a control on the entropy is an interesting and very well developed problem. Let \(G\) be a totally disconnected locally compact group and let \(\phi:G\to G\) be a topological automorphism, the scale function of \(G\) is defined as \[ s_G(\phi)=\min\{[\phi(U):U\cap\phi(U)] : U\in\mathcal B(G)\}, \] where \([H_1 : H_2 ]\) means the index of \(H_1\) in \(H_2\), and \(\mathcal B(G)\) is the set of open compact subgroups of \(G\): One of the authors has obtained a formula for the topological entropy of \(\phi\) in terms of the index of subgroups, let \[ H_{\mathrm{top}}(\phi,U)=\lim_{n\to\infty}\frac{\log[U:U_{-n}]}{n}, \] where \(U_{-n}=\bigcap_{k=-n}^0 \phi^k(U)\), then \[ h_{\mathrm{top}}(\phi)=\sup\{H_{\mathrm{top}}(\phi,U):U\in\mathcal B(G)\}. \] This formula can be used to compare the topological entropy with the scale function. The main result (Theorem 3.1) of the article is \[ s_G(\phi)\leq h_{\mathrm{top}}(\phi). \] An example is provided in which the inequality is strict; this is a Bernoulli space of sequences in \(\mathbb Z(p)\), \(p\) prime, indexed by \(\mathbb Z\). Also it is proved under which conditions it has an equality.
0 references
scale function
0 references
topological entropy
0 references
totally disconnected locally compact group
0 references
automorphism
0 references
0 references
0 references