---
title: Bowen Topological Entropy
url: https://www.emergentmind.com/topics/bowen-topological-entropy
type: topic
---

# Bowen Topological Entropy

Bowen topological entropy is a family of closely related invariants originating in Bowen’s 1973 work on dynamical complexity. In the narrowest usage, it is the metric entropy of a continuous map on a compact metric space defined through Bowen–Dinaburg metrics, spanning sets, or separated sets. In a broader and now standard usage, it is the Carathéodory-type entropy of an arbitrary subset \(Z\) obtained by covering \(Z\) with Bowen balls of variable lengths and extracting the critical exponential covering rate. The literature also extends Bowen entropy to nonautonomous systems, flows, amenable group actions, partially hyperbolic unstable foliations, and multifractal variants, while preserving the central idea that orbit segments, rather than single iterates, determine complexity [1511.02057], [1410.4645], [2512.24606].

## 1. Classical formulations and terminological distinctions

For a continuous map \(f:X\to X\) on a metric space \((X,d)\), the Bowen metric is
\[
d_n(x,y)=\max_{0\le k\le n-1} d(f^k(x),f^k(y)),
\]
and the \((n,\varepsilon)\)-Bowen ball is
\[
B_n(x,\varepsilon)=\{y\in X:d_n(x,y)<\varepsilon\}.
\]
A set is \((n,\varepsilon)\)-spanning if every point is \(d_n\)-close to some point of the set, and \((n,\varepsilon)\)-separated if any two distinct points are \(d_n\)-apart by at least \(\varepsilon\). Bowen’s metric entropy is then
\[
h_d(f)=\lim_{\varepsilon\to 0}\limsup_{n\to\infty}\frac1n\log N_d(f,n,\varepsilon)
      =\lim_{\varepsilon\to 0}\limsup_{n\to\infty}\frac1n\log s_d(f,n,\varepsilon),
\]
where \(N_d\) is the minimal cardinality of an \((n,\varepsilon)\)-spanning set and \(s_d\) is the maximal cardinality of an \((n,\varepsilon)\)-separated set [1711.02562], [1511.02057].

On compact metric spaces this metric entropy agrees with the usual topological entropy. In particular, the Bowen–Dinaburg–Goodman variational principle yields
\[
h_{\mathrm{top}}(f)=h_d(f)=\sup_{\mu\in\mathcal M_f} h_\mu(f)
\]
for any compatible metric \(d\) [1711.02562]. This agreement underlies the common habit of referring to \(h_{\mathrm{top}}(f)\) itself as Bowen topological entropy in compact settings, including work on generalized Bowen–Series boundary maps, where the entropy is computed through separated sets on the compact circle rather than through subset entropy [2101.10271].

A persistent terminological ambiguity is that “Bowen topological entropy” may denote either the global metric entropy of a map on the whole compact space or Bowen’s entropy of a subset \(Z\). The distinction matters because the subset theory is genuinely Carathéodory-dimensional and is designed for noncompact, noninvariant, or dynamically exceptional sets [1410.4645], [1908.08072].

## 2. Bowen entropy of subsets and the Carathéodory construction

For a continuous map \(f\) on a compact metric space and a subset \(Z\subset X\), Bowen’s subset entropy is defined by covering \(Z\) with Bowen balls of variable lengths. One standard form is
\[
M(Z,s,\varepsilon,n)=\inf\Big\{\sum_i e^{-s n_i}: Z\subset \bigcup_i B_{n_i}(x_i,\varepsilon),\ n_i\ge n\Big\},
\]
followed by
\[
m(Z,s,\varepsilon)=\lim_{n\to\infty} M(Z,s,\varepsilon,n), \qquad
m(Z,s)=\lim_{\varepsilon\to 0} m(Z,s,\varepsilon),
\]
and then the critical exponent
\[
h_B(Z,f)=\inf\{s\ge 0:m(Z,s)=0\}
       =\sup\{s\ge 0:m(Z,s)=\infty\}.
\]
This is the standard Bowen entropy of possibly noncompact sets for maps [2512.24606], [1908.08072], [1811.03797], [2508.17800].

The construction is formally analogous to Hausdorff dimension. The weights \(e^{-s n_i}\) play the role of scale weights, but the scales are dynamical lengths measured by orbit agreement rather than geometric diameters. This is why Bowen entropy is often described as a dimension-like invariant of subsets [1410.4645], [1712.06152]. The analogy becomes especially explicit in amenable group actions, where Bowen entropy is defined by weights \(e^{-s|F_n|}\) over Bowen sets indexed by Følner sets, and in nonautonomous systems, where variable-length strings or Bowen balls play the same role [1410.4645], [2206.00714].

Several structural properties survive across these formulations. Bowen entropy is monotone in the subset, and in many settings it is countably stable:
\[
h_B\Big(f,\bigcup_i Z_i\Big)=\sup_i h_B(f,Z_i)
\]
[1811.03797], [1908.08072]. For compact \(f\)-invariant sets it agrees with fixed-length capacity-style formulations, whereas for arbitrary subsets the variable-length covering formulation is essential [1811.03797], [2512.24606]. This distinction is precisely what allows Bowen entropy to detect complexity of irregular, generic, saturated, or leafwise-defined sets that are invisible to invariant-set entropy alone.

## 3. Variational principles, local entropy, and generic points

A major line of development identifies Bowen entropy with measure-theoretic local entropy through variational principles. For amenable group actions, Bowen entropy on a compact subset \(K\) satisfies
\[
h_{\mathrm{top}}(K,\{F_n\})
=
\sup\{h_{\mathrm{loc}}(\{F_n\}):\mu\in\mathcal M(X),\ \mu(K)=1\},
\]
under the growth condition \(\lim_{n\to\infty}|F_n|/\log n=\infty\) [1410.4645]. In the same setting, for an ergodic invariant measure \(\mu\) and a tempered Følner sequence satisfying that growth condition, the set \(G_\mu\) of \(\mu\)-generic points has Bowen entropy exactly equal to the measure entropy:
\[
h^B(G_\mu,\{F_n\})=h_\mu(X,G)
\]
[1602.08242]. This extends Bowen’s classical \(\mathbb Z\)-action result to countable amenable groups.

For continuous flows, a continuous-time Carathéodory construction yields an entropy \(h(\phi,Y)\) on arbitrary subsets \(Y\subset X\), and the paper on flows proves the exact time-one reduction
\[
h(\phi,Y)=h(\phi^1,Y),
\]
more generally \(h(\phi^t,Y)=t\,h(\phi,Y)\) for \(t\ge 0\) [1908.08072]. In that setting Bowen’s inequality takes the form
\[
h(\phi,G_\mu(\phi))\le h_\mu(\phi^1),
\]
with equality for ergodic \(\mu\) [1908.08072]. Thus the entropy of generic points remains governed by local ball-measure asymptotics, exactly as in discrete time.

Nonautonomous systems admit parallel results. For an NDS \((X,f_{1,\infty})\), the Bowen metric is
\[
d_{i,n}(x,y)=\max_{0\le k<n} d(f_i^k(x),f_i^k(y)),
\]
with Bowen balls \(B(x,i,n,\varepsilon)\), and the subset entropy is again defined by a Carathéodory covering construction [2206.00714], [2512.24606]. For nonempty compact \(Z\subset X\),
\[
h_{\mathrm{top}}(f_{1,\infty},Z)
=
\sup\{h_\mu(f_{1,\infty}):\mu\in\mathcal M(X),\ \mu(Z)=1\},
\]
where \(h_\mu(f_{1,\infty})\) is defined from lower local entropy via the nonautonomous Bowen balls [2206.00714]. A neutralized variant replaces \(B_n(x,\varepsilon)\) by \(B_n(x,\varepsilon e^{-n})\); the resulting neutralized Bowen entropy and neutralized weighted Bowen entropy coincide and satisfy a corresponding variational principle in terms of lower neutralized Brin–Katok local entropy and neutralized Katok entropy [2303.10132].

These results collectively show that Bowen entropy is not merely a topological counting invariant. It is the subset-level counterpart of local entropy formulas, and the bridge between the topological size of exceptional sets and the pointwise decay of invariant or noninvariant measures on Bowen balls.

## 4. Extensions: nonautonomous, intermediate, unstable, and multifractal versions

A recent nonautonomous refinement introduces a one-parameter family of intermediate topological entropies that interpolate between Bowen entropy and capacity entropies. For \(\theta\in[0,1]\), admissible covers are restricted so that all strings in a single cover have lengths satisfying
\[
N\le n < N/\theta +1.
\]
At \(\theta=0\) there is no restriction and one recovers Bowen entropy; at \(\theta=1\) only same-length covers are allowed, recovering lower and upper capacity topological entropies [2512.24606]. The resulting lower and upper intermediate entropies satisfy, for \(0<\theta<\phi\le 1\),
\[
\overline h_{\mathrm{top}}(f_{1,\infty},Z,\theta)
\le
\overline h_{\mathrm{top}}(f_{1,\infty},Z,\phi)
\le
(\phi/\theta)\,\overline h_{\mathrm{top}}(f_{1,\infty},Z,\theta),
\]
and similarly for the lower version, implying continuity on \((0,1]\) and possible discontinuity at \(0\) [2512.24606]. In the example built from the shift on \(\Sigma_2\), the intermediate entropies equal \(\log 2\) for every \(\theta\in(0,1]\) while the Bowen entropy at \(\theta=0\) is \(0\), making the discontinuity explicit [2512.24606].

For partially hyperbolic systems, Tian and Wu define unstable Bowen topological entropy by localizing Bowen’s Carathéodory construction to unstable leaves. If \(B_n^u(x,\varepsilon)\) denotes an unstable Bowen ball in the local unstable manifold, then the unstable entropy of \(Z\) is obtained from covers by such sets and can equivalently be written as
\[
h_B^u(f,Z)=\lim_{\delta\to 0}\sup_{x\in M} h_B\bigl(f,W^u(x,\delta)\cap Z\bigr)
\]
[1811.03797]. They prove an unstable entropy distribution principle and a variational principle
\[
h_B^u(f,K)=\sup\{h_\mu^u(f):\mu\in\mathcal M(M),\ \mu(K)=1\}
\]
for nonempty compact \(K\) [1811.03797]. This places Bowen entropy directly inside dimension theory and multifractal analysis for partially hyperbolic dynamics.

A different multifractal extension introduces \((q,\vartheta)\)-Bowen and \((q,\vartheta)\)-packing topological entropies. At \(q=0\), the paper states that the classical Bowen and packing entropies are recovered:
\[
h_{\mathrm{top}}(f,E)=h_{B,0}(f,E), \qquad h_{\mathrm{top}}^{P}(f,E,\varepsilon)=h_{P,0}(f,E,\varepsilon)
\]
in the notation of that work [2502.20906]. The same paper develops measurability properties of these multifractal entropies on hyperspaces and relates \((q,\vartheta)\)-packing entropy to the topological entropy of local-entropy level sets through a Legendre-transform framework [2502.20906].

## 5. Amenable actions, noncompact spaces, and generalized sequence-space formulations

For countable amenable group actions on compact metric spaces, Bowen entropy is defined along a fixed Følner sequence through Bowen metrics
\[
d_F(x,y)=\max_{g\in F} d(gx,gy)
\]
and Carathéodory sums weighted by \(e^{-s|F_n|}\) [1410.4645], [1712.06152], [1602.08242]. Under temperedness and the condition
\[
\lim_{n\to\infty}\frac{|F_n|}{\log n}=+\infty,
\]
the Bowen entropy of the whole space equals the classical topological entropy of the action [1410.4645]. A later paper gives a purely topological proof for tempered Følner sequences, dispensing with the extra growth condition in the whole-space equality and also proving that, for amenable subshifts equipped with the natural Følner-based metric, Hausdorff dimension equals topological entropy [1712.06152].

Noncompact settings require a different caution. In locally compact separable metrizable systems, Bowen metric entropy generally depends on the compatible metric, and the canonical topological entropy is recovered as the minimum over compatible metrics:
\[
\sup_\mu h_\mu(T)=h(T)=\min_d h_d(T)
\]
for any continuous map \(T\) [1511.02057]. This resolves the compact/noncompact asymmetry: on compact spaces \(h_d(T)\) is canonical, whereas on noncompact spaces a fixed choice of \(d\) may overestimate the intrinsic topological entropy [1511.02057]. The Lie-group computation paper sharpens this point by observing that on noncompact Lie groups Bowen’s metric entropy \(h_d(\phi)\) attached to a left-invariant distance can be strictly larger than the actual topological entropy \(h(\phi)\); for \(\phi(z)=z^2\) on \(\mathbb C^\ast\), the paper states \(h(\phi)=\log 2\) while \(h_d(\phi)=2\log 2\) [1711.02562].

A further abstraction replaces orbit sets of a single map by arbitrary subsets of infinite product spaces. For \(S\subset X^{\mathbb N}\), generalized topological entropy is defined by covering \(S\) with \(n\)-cylinders coming from open covers of \(X\), and on compact metric spaces this generalized entropy coincides with Bowen \(\infty\)-entropy [2005.12856]. For a continuous map \(f:X\to X\), if \(\mathrm{Gr}\,f=\{(x,f(x),f^2(x),\ldots):x\in X\}\), then
\[
h_{\mathrm{top}}(f)=H_t(\mathrm{Gr}\,f),
\]
so classical topological entropy is recovered as the sequence-space entropy of the orbit graph [2005.12856]. This formulation isolates the orbit-complexity mechanism behind Bowen’s construction and makes it available for arbitrary sequence sets and even self-similar coding structures.

## 6. Computations, rigidity phenomena, and conceptual scope

Bowen entropy has proved effective both in explicit computations and in rigidity results. For generalized Bowen–Series boundary maps \(f_A\) associated to cocompact torsion-free Fuchsian groups of genus \(g\ge 2\), the classical topological entropy on the compact boundary circle is rigid across all parameters \(A_k\in[P_k,Q_k]\) and equals
\[
h_{\mathrm{top}}(f_A)
=
\log\!\Big(4g-3+\sqrt{(4g-3)^2-1}\Big)
=
\operatorname{arccosh}(4g-3)
\]
[2101.10271]. Here “Bowen topological entropy” refers to the standard compact-space entropy of the map \(f_A\), not subset entropy [2101.10271].

In Lie-group dynamics, the exact topological entropy of a continuous endomorphism \(\phi\) of a Lie group \(G\) is carried entirely by the maximal torus in the center of the maximal connected \(\phi\)-invariant subgroup:
\[
h(\phi)=h\bigl(\phi|_{T(G_\phi)}\bigr)
\]
[1711.02562]. This shows that Bowen’s derivative-based metric formula on a fixed left-invariant metric is not the final answer in the noncompact case; entropy localizes on a compact central torus [1711.02562].

In complex dynamics, Bowen’s definition on noncompact spaces is used to prove that every entire transcendental function has infinite topological entropy:
\[
h(f)=\infty
\]
[2011.02163]. The same paper proves that for a meromorphic map without wandering domains, the entropy of the Fatou set vanishes and all entropy is concentrated on the Julia set [2011.02163]. These results show that Bowen entropy remains meaningful beyond compact or uniformly hyperbolic settings, provided one uses the open-cover or subset-based formulation appropriate to noncompact dynamics.

A common misconception is to treat all notions called “Bowen entropy” as interchangeable. The literature instead supports a three-way distinction. First, on compact metric spaces, Bowen’s separated/spanning-set entropy is the classical topological entropy. Second, Bowen’s subset entropy is a Carathéodory invariant for arbitrary sets and is indispensable for irregular, generic, or multifractal sets. Third, on noncompact spaces, fixed-metric Bowen entropy may be only an upper bound for the canonical topological entropy unless one minimizes over compatible metrics or restricts to the appropriate compact recurrent part [1511.02057], [1711.02562]. Recognizing which of these roles is in play is essential for reading contemporary work on Bowen topological entropy.

Taken together, the modern theory presents Bowen topological entropy as a unifying orbit-complexity formalism. It governs whole-space entropy on compact systems, measures the size of exceptional subsets through variable-length coverings, extends to group actions and nonautonomous dynamics, admits local-entropy variational principles, and supports refined constructions such as intermediate, unstable, neutralized, and multifractal entropies [2512.24606], [2206.00714], [2303.10132], [2502.20906].

Source: https://www.emergentmind.com/topics/bowen-topological-entropy