pith. sign in

arxiv: 2604.01077 · v2 · submitted 2026-04-01 · 🧮 math.DS · math.AP

Topological entropy is generically infinite for non-Lipschitz velocity fields

Carl Johan Peter Johansson , Giulia Mescolini This is my paper

Pith reviewed 2026-05-13 21:20 UTC · model grok-4.3

classification 🧮 math.DS math.AP
keywords topological entropyOsgood modulusBaire categoryvelocity fieldsflow mapsnon-Lipschitz continuitydynamical systems
0
0 comments X

The pith

Flow maps from time-periodic non-Lipschitz velocity fields generically have infinite topological entropy.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for any Osgood non-Lipschitz modulus of continuity ω, flow maps generated by time-periodic ω-continuous velocity fields have infinite topological entropy on a comeager set in the Baire category topology. This matters because it shows that the failure of Lipschitz regularity forces chaotic dynamics in a typical sense, distinguishing these systems from smoother Lipschitz flows where entropy can remain finite. The result applies uniformly to every such modulus ω.

Core claim

For any Osgood non-Lipschitz modulus of continuity ω, the flow maps associated with time-periodic ω-continuous velocity fields have infinite topological entropy for a generic (Baire category) set of such fields.

What carries the argument

Baire category topology on the space of time-periodic ω-continuous velocity fields, used to establish that infinite topological entropy holds comeagerly for the induced flow maps.

Load-bearing premise

The velocity fields must be exactly time-periodic and ω-continuous for a fixed non-Lipschitz Osgood modulus ω, with genericity measured in the Baire topology on that space.

What would settle it

Constructing one explicit time-periodic ω-continuous velocity field whose flow map has finite topological entropy would show that infinite entropy fails to hold on a comeager set.

Figures

Figures reproduced from arXiv: 2604.01077 by Carl Johan Peter Johansson, Giulia Mescolini.

Figure 1
Figure 1. Figure 1: Comparison of subsets before and after transformation T with N = 4. T ∈ Homeo(T 2 ) belongs to F if (i) T([−1/4, 1/4]2 ) ⊆ (−1/2, 1/2) × (−1/4, 1/4); (ii) T(Ei) ⊆ D(−1)i for all i = 0, . . . , N. It is clear that there exists a smooth divergence-free (stretching and folding velocity field) b : [0, 1]×T 2 → R 2 with supp(b) ⊆ [0, 1] × B1(0) such that Xb 1 ∈ F. Then by defining bε : [0, 1] × Bε(0) → R 2 as b… view at source ↗
read the original abstract

We prove that for any Osgood non-Lipschitz modulus of continuity $\omega$, flow maps associated with time-periodic $\omega$-continuous velocity fields generically (in the sense of Baire) have infinite topological entropy.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that for any Osgood non-Lipschitz modulus of continuity ω, the flow maps associated to time-periodic velocity fields that are exactly ω-continuous form a comeager set (in the Baire category topology on that function space) whose flows have infinite topological entropy.

Significance. If the central claim holds, the result establishes that infinite topological entropy is typical for flows whose velocity fields satisfy only a fixed non-Lipschitz modulus of continuity, providing a sharp contrast with the Lipschitz case where entropy is controlled. The Baire-category genericity argument, if technically sound, supplies a robust existence statement without parameter tuning and strengthens the link between regularity and dynamical complexity in continuous-time systems.

major comments (2)
  1. [Baire-category construction (likely §3–4)] The construction of the dense set of perturbations (presumably in the section detailing the Baire-category argument) must be shown to remain inside the exact space of ω-continuous fields; adding localized bumps or rescalings risks violating |v(x)−v(y)|≤ω(|x−y|) for the fixed modulus ω, which would only prove genericity in a larger ambient space rather than the claimed one.
  2. [Entropy estimate (likely §5)] The definition of topological entropy for the time-1 map of the flow (or the flow itself) needs an explicit verification that the symbolic dynamics or horseshoes produced by the perturbations are compatible with the time-periodicity and the exact ω-continuity; without this, the entropy lower bound may not transfer back to the original velocity-field class.
minor comments (2)
  1. [Introduction] The notation for the Osgood modulus ω should be introduced with a precise statement of the integral condition that distinguishes it from Lipschitz moduli; a short displayed equation would improve readability.
  2. [Figures] Figure captions (if any) should explicitly label the time-periodic velocity field and the resulting orbit segments used to exhibit the horseshoe.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments, which help clarify the technical requirements of the Baire-category argument. We address each major comment below and will revise the manuscript accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: [Baire-category construction (likely §3–4)] The construction of the dense set of perturbations (presumably in the section detailing the Baire-category argument) must be shown to remain inside the exact space of ω-continuous fields; adding localized bumps or rescalings risks violating |v(x)−v(y)|≤ω(|x−y|) for the fixed modulus ω, which would only prove genericity in a larger ambient space rather than the claimed one.

    Authors: We agree that the perturbations must be shown to preserve exact ω-continuity. In the revised manuscript we will insert a new lemma (in the section containing the Baire-category construction) that verifies the following: for any fixed ω-continuous field v and any sufficiently small, time-periodic bump supported on a ball whose radius is chosen relative to the modulus ω, the perturbed field v + εφ satisfies | (v + εφ)(x) − (v + εφ)(y) | ≤ ω(|x − y|) whenever |x − y| is small. The amplitude ε and the spatial scale of the support are chosen so that the added term is dominated by the modulus increment; this is possible precisely because ω is an Osgood modulus (hence strictly superlinear). The lemma will also confirm that the set of such admissible perturbations remains dense in the ω-continuous topology. We therefore maintain that the dense Gδ set lies inside the claimed function space. revision: yes

  2. Referee: [Entropy estimate (likely §5)] The definition of topological entropy for the time-1 map of the flow (or the flow itself) needs an explicit verification that the symbolic dynamics or horseshoes produced by the perturbations are compatible with the time-periodicity and the exact ω-continuity; without this, the entropy lower bound may not transfer back to the original velocity-field class.

    Authors: We accept that an explicit compatibility check is needed. In the revised Section 5 we will add a short subsection that (i) records that each perturbation is constructed to be time-periodic with the same period as the background field, so the resulting flow remains time-periodic; (ii) verifies that the local horseshoe maps produced by the bumps commute with the time-1 flow in the sense required for the entropy calculation; and (iii) confirms that the ω-continuity of the velocity field is preserved at every stage, so the lower bound on topological entropy for the time-1 map applies directly to the original class. These verifications rely only on the already-established properties of the perturbations and do not require new estimates. revision: yes

Circularity Check

0 steps flagged

No circularity: direct Baire-category existence proof in the exact ω-continuous class

full rationale

The manuscript establishes that the set of time-periodic ω-continuous vector fields whose flows have finite topological entropy is meager in the Baire topology on that space, for any fixed Osgood non-Lipschitz modulus ω. The argument proceeds by exhibiting a dense collection of perturbations that force horseshoes at arbitrarily fine scales while remaining inside the prescribed continuity class; no parameter is fitted to data, no quantity is defined in terms of itself, and no load-bearing step reduces to a prior self-citation or ansatz. The derivation is therefore self-contained and does not collapse to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard Baire category arguments and properties of Osgood moduli in the space of continuous vector fields; no free parameters or invented entities are introduced in the abstract statement.

axioms (2)
  • standard math Baire category theorem applies to the complete metric space of ω-continuous time-periodic velocity fields
    Invoked to establish genericity of the infinite-entropy property.
  • domain assumption Osgood modulus ω is non-Lipschitz and satisfies the standard integral divergence condition
    Used to define the function space in which the result holds.

pith-pipeline@v0.9.0 · 5318 in / 1257 out tokens · 31702 ms · 2026-05-13T21:20:56.889225+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    Constantin, T

    MR4627336 [CDE22] P. Constantin, T. D. Drivas, and T. M. Elgindi,Inviscid limit of vorticity distributions in the Yudovich class, Comm. Pure Appl. Math.75(2022), no. 1, 60–82. MR4373167 [CISS24] G. Crippa, M. Inversi, C. Saffirio, and G. Stefani,Existence and stability of weak solutions of the Vlasov-Poisson system in localised Yudovich spaces, Nonlineari...

    work page arXiv 2022

  2. [2]

    Zizza,An example of a weakly mixingBVvector field which is not strongly mixing, J

    MR158189 [Ziz25] M. Zizza,An example of a weakly mixingBVvector field which is not strongly mixing, J. Evol. Equ.25(2025), no. 2, Paper No. 34, 30. MR4875755 Institute of Mathematics, EPFL, Station 8, 1015 Lausanne, Switzerland Email address:carl.johansson@epfl.ch Institute of Mathematics, EPFL, Station 8, 1015 Lausanne, Switzerland Email address:giulia.m...

    work page 2025