2211.03908
SOME ASPECTS OF THERMODYNAMIC FORMALISM OF PIECEWISE SMOOTH VECTOR FIELDS
Marco A. C. Florentino, Tiago Carvalho, Jeferson Cassiano
correctmedium confidence
- Category
- Not specified
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper defines pressure for PSVFs via the time-one map on the space of trajectories and proves, for the petals constructions, that P(T1|Ω̂, −β log|det J_med T1|) equals log of the spectral radius of a finite matrix A built from transition weights of a Markov partition; see the definition of pressure and T1 on trajectories and Theorem 1’s statement asserting P = log(ρ(A)) with A irreducible, along with the explicit matrix representation in the proof sketch (A_ij = (med(P_j ∩ φ_Z^{-1}(P_i))/med(P_j))^β) and the conclusion via Perron–Frobenius/RPF formalism . The model solution follows the same scheme: remove a measure-zero singular set, code integer-time itineraries via a finite Markov partition, identify the dual RPF operator with a nonnegative matrix having entries p_{ji}^β, and conclude P = log ρ(A). It adds technical clarifications (e.g., conjugacy between T1 on Ω̂ and φ_Z on a full-measure domain, co-boundary normalization of the geometric potential, and use of Lebesgue invariance under divergence-zero, refractive PSVFs, as noted in the paper’s preliminaries) . Both arguments rely on the same finite-state coding and Perron–Frobenius/RPF mechanism, with the model providing more explicit justifications of steps the paper states succinctly.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The manuscript correctly adapts thermodynamic formalism to selected planar PSVF families and computes pressure via a finite RPF matrix. The conceptual pathway—coding by a finite Markov partition and identifying the RPF operator with a nonnegative matrix—is sound and well-aligned with the literature. Some technical steps (existence of a suitable partition; treatment of singular sets; the precise definition of the time-one map on trajectory space) are asserted rather than fully proved. Clarifying these points would make the contribution solid and citable by specialists.