Bowen–Walters inequality without uniform C₀ continuity

Determine whether the Bowen–Walters inequality limsup_{T\to\infty}T^{-1}\log\nu(T)\leq(\phi) remains valid for a geometrically separating flow that is dynamically isolated at infinity when the uniformly C₀ hypothesis is removed.

Background

The paper proves a noncompact version of the Bowen–Walters inequality for flows that are geometrically separating, uniformly C₀, and dynamically isolated at infinity. Here, ν(T)\nu(T) counts distinct periodic orbits with period at most TT, while (ϕ)(\phi) denotes the supremum of the upper-capacity entropies over compact subsets of the phase space.

Uniform C₀ continuity provides uniform control of the spatial displacement caused by small time errors in the piecewise-linear reparametrizations used to compare periodic orbits. The authors explain that without this condition, points near infinity may undergo a fixed spatial displacement in arbitrarily short times, causing the periodic-orbit separation argument to fail. They explicitly leave unresolved whether the inequality itself nevertheless remains true without uniform C₀ continuity; the issue had also been considered in the cited work \cite{ym1}.

References

On the other hand, the uniformly $C_0$ hypothesis is essential to prove Theorem \ref{thmB}. Indeed, it provides uniform control of the spatial displacement caused by the small time errors arising in the piecewise-linear reparametrizations used to compare periodic orbits. Without this assumption, points near infinity may undergo a fixed spatial displacement in arbitrarily short times, and the periodic-orbit separation argument breaks down. We do not know whether the conclusion remains valid without this hypothesis. This problem was considered in .

— Entropy on regular sets and periodic-orbit growth for singular flows  (2609.00626 - Morales, 1 Sep 2026) in Introduction, immediately following Theorem 1 (Noncompact Bowen–Walters inequality)