On the creation of conjugate points for thermostats

James Marshall Reber; Javier Echevarr\'ia Cuesta

arxiv: 2504.17153 · v2 · submitted 2025-04-24 · 🧮 math.DS · math.DG

On the creation of conjugate points for thermostats

Javier Echevarr\'ia Cuesta , James Marshall Reber This is my paper

Pith reviewed 2026-05-22 19:03 UTC · model grok-4.3

classification 🧮 math.DS math.DG

keywords thermostatsconjugate pointsprojective AnosovRiemannian surfacesdynamical systemsunit tangent bundlereversible flows

0 comments

The pith

The C² interior of conjugate-point-free thermostats on closed surfaces is contained in the projectively Anosov class.

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

The paper studies thermostats on closed oriented Riemannian surfaces, where the flow is modified by a smooth function λ on the unit tangent bundle. It shows that any thermostat without conjugate points that can be slightly perturbed in the C² sense while keeping no conjugate points must be projectively Anosov. For reversible thermostats, being projectively Anosov guarantees that the non-wandering set has no conjugate points. This result ties the geometric notion of no focal points to a dynamical hyperbolicity property.

Core claim

The interior in the C² topology of the set of smooth functions λ:SM→ℝ for which the thermostat (M, g, λ) has no conjugate points is a subset of those functions for which the thermostat is projectively Anosov. Moreover, if a reversible thermostat is projectively Anosov, then its non-wandering set contains no conjugate points.

What carries the argument

The projective Anosov property of the thermostat, which provides a form of uniform hyperbolicity for the flow on the unit tangent bundle SM.

If this is right

If the set of no-conjugate-points thermostats has nonempty interior in C², then those interior points are projectively Anosov.
Reversible projectively Anosov thermostats have no conjugate points along their recurrent orbits.
The creation of conjugate points occurs when leaving the projectively Anosov region in the space of λ functions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This implies that conjugate points can be created by small C² perturbations that destroy the projective Anosov property.
It may extend to other flows like magnetic flows or other perturbations of geodesic flows on surfaces.
Examples on the sphere or torus could be checked to see if the boundary cases create conjugate points exactly at the transition to non-Anosov behavior.

Load-bearing premise

The setup requires a closed oriented Riemannian surface with a smooth function λ on its unit tangent bundle to define both conjugate points and the projective Anosov property.

What would settle it

A specific example of a smooth λ where the thermostat has no conjugate points, lies in the C² interior of such functions, but fails to be projectively Anosov would disprove the main inclusion.

read the original abstract

Let $(M, g)$ be a closed oriented Riemannian surface, and let $SM$ be its unit tangent bundle. We show that the interior in the $\mathcal{C}^2$ topology of the set of smooth functions $\lambda:SM\to \mathbb{R}$ for which the thermostat $(M, g, \lambda)$ has no conjugate points is a subset of those functions for which the thermostat is projectively Anosov. Moreover, we prove that if a reversible thermostat is projectively Anosov, then its non-wandering set contains no conjugate points.

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.

Desk Editor's Note private letter to a colleague

The paper gives a clean C²-interior inclusion from no-conjugate-points thermostats to projectively Anosov ones, plus the reversible direction on the non-wandering set.

read the letter

The main thing to know is that the interior in the C² topology of the no-conjugate-points set sits inside the projectively Anosov thermostats, and reversibility lets you conclude no conjugate points on the non-wandering set from the Anosov splitting. Both directions use the standard continuous dependence of the flow and its linearization on λ in C², together with the Jacobi equation for conjugate points and the usual splitting definition for projective Anosov behavior. That is the actual content. The paper does this cleanly for the closed oriented surface case with λ smooth on SM. It organizes the relationship without obvious circularity or invented objects, and the reversible implication follows directly once you have the splitting. The argument structure looks standard but correctly applied to this setting. The result is incremental rather than foundational. It refines known facts about Anosov flows and conjugate points but does not introduce new techniques or settle broader questions about thermostats. The closed-surface and C² assumptions are necessary for the statements but keep the scope narrow. No load-bearing gaps appear in the outline given, though the full proofs would need checking for how the non-wandering set is handled under limits. This is for readers already working on dynamical systems on surfaces, especially those who care about perturbations of geodesic flows or Anosov properties for thermostats. A specialist in that corner would find the two implications useful as a reference. It is coherent on its own terms and shows honest engagement with the literature, so it deserves a serious referee even if the advance stays modest.

Referee Report

0 major / 3 minor

Summary. The manuscript proves two results on thermostats (M, g, λ) where (M, g) is a closed oriented Riemannian surface and λ: SM → ℝ is smooth. The C²-interior of the set of λ for which the thermostat flow has no conjugate points is contained in the set of λ for which the thermostat is projectively Anosov. Separately, if a reversible thermostat is projectively Anosov then its non-wandering set contains no conjugate points. The arguments rely on continuous dependence of the flow and its linearization on λ in the C² topology together with the definition of the projective Anosov splitting over the non-wandering set.

Significance. If the claims hold, the results give a precise stability statement relating the absence of conjugate points to the projective Anosov property for thermostat flows, which generalize geodesic flows. The use of the C² topology and the separate treatment of the reversible case provide concrete information on how these dynamical features persist or fail under perturbation, potentially useful for further work on Anosov-like properties and conjugate-point creation in surface dynamics.

minor comments (3)

[Abstract] The abstract states the two implications cleanly but does not indicate the main technical tool (continuous dependence of the linearized flow on λ in C²); adding one sentence would improve readability for readers scanning the paper.
[Introduction] The definitions of conjugate points (via the Jacobi equation along the thermostat flow) and of the projective Anosov splitting should be recalled explicitly in §1 or §2 with precise references to the tangent bundle splitting over the non-wandering set, even if they are standard.
[Preliminaries] Notation for the unit tangent bundle SM and the thermostat vector field should be fixed consistently from the first appearance onward to avoid minor confusion when the flow and its linearization are discussed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment and accurate summary of the manuscript. We appreciate the recognition of the results' significance in relating the absence of conjugate points to the projectively Anosov property for thermostat flows, as well as the recommendation for minor revision.

read point-by-point responses

Referee: The manuscript proves two results on thermostats (M, g, λ) where (M, g) is a closed oriented Riemannian surface and λ: SM → ℝ is smooth. The C²-interior of the set of λ for which the thermostat flow has no conjugate points is contained in the set of λ for which the thermostat is projectively Anosov. Separately, if a reversible thermostat is projectively Anosov then its non-wandering set contains no conjugate points. The arguments rely on continuous dependence of the flow and its linearization on λ in the C² topology together with the definition of the projective Anosov splitting over the non-wandering set.

Authors: We agree with the referee's summary of the two main results and the methods employed. The proofs indeed rely on the continuous dependence of the flow and its linearization in the C² topology, combined with the definition of the projective Anosov splitting over the non-wandering set. revision: no

Circularity Check

0 steps flagged

No significant circularity detected; derivation is self-contained

full rationale

The paper proves that the C²-interior of the no-conjugate-points set is contained in the projectively Anosov set by a continuity argument: any C²-limit of no-conjugate-point thermostats inherits the projective Anosov splitting via continuous dependence of the flow and its linearization on λ. The reversible case then uses the Anosov splitting plus reversibility to exclude conjugate points on the non-wandering set. Both steps rest on the standard Jacobi equation for conjugate points and the definition of projective Anosov via invariant splitting over the non-wandering set; no step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. The argument is therefore independent of its own outputs and scores 0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard geometric setup of a closed oriented Riemannian surface and its unit tangent bundle together with the usual definitions of conjugate points and projective Anosov flows; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption Let (M, g) be a closed oriented Riemannian surface
This is the base geometric object on which the unit tangent bundle and thermostat are defined.
standard math SM denotes the unit tangent bundle of (M, g)
Standard construction in Riemannian geometry used throughout the statements.

pith-pipeline@v0.9.0 · 5617 in / 1409 out tokens · 57962 ms · 2026-05-22T19:03:25.723731+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Finiteness of Totally Magnetic Hypersurfaces
math.DG 2026-01 unverdicted novelty 6.0

Real-analytic negatively s-curved magnetic systems on closed manifolds have only finitely many closed totally s-magnetic hypersurfaces unless the magnetic form is trivial and the metric is hyperbolic.