Monotonicity of the Liouville entropy along the Ricci flow on surfaces

Alena Erchenko; Daniel Mitsutani; Karen Butt; Tristan Humbert

arxiv: 2504.07290 · v3 · pith:C3P4I6JTnew · submitted 2025-04-09 · 🧮 math.DS · math.DG

Monotonicity of the Liouville entropy along the Ricci flow on surfaces

Karen Butt , Alena Erchenko , Tristan Humbert , Daniel Mitsutani This is my paper

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

classification 🧮 math.DS math.DG

keywords Liouville entropyRicci flowgeodesic flownegative curvatureconformal deformationmean root curvaturemonotonicitysurface geometry

0 comments

The pith

The Liouville entropy of geodesic flows on closed surfaces with non-constant negative curvature eventually increases strictly along the normalized Ricci flow.

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

The paper derives a new formula for the rate of change of Liouville entropy under any conformal change of metric on a surface. It then shows this rate is positive when the change follows the normalized Ricci flow, at least once the metric satisfies a 1/6-pinching condition. The result implies that entropy is eventually strictly monotonic along the flow. A separate argument establishes that mean root curvature, a geometric lower bound for the entropy, increases strictly along the same flow from any initial metric of non-constant negative curvature. The work gives a partial answer to a 2004 question of Manning on entropy behavior under Ricci flow.

Core claim

We show that the Liouville entropy of the geodesic flow of a closed surface of non-constant negative curvature is eventually strictly increasing along the normalized Ricci flow (NRF). More precisely, we obtain a new expression for the derivative of the Liouville entropy along an arbitrary conformal deformation in dimension 2, and we prove it is positive in the direction of the NRF for 1/6-pinched metrics. In addition, we show that the mean root curvature, a purely geometric quantity which is a lower bound for the Liouville entropy, is strictly increasing along the NRF starting from any metric of non-constant negative curvature.

What carries the argument

A new explicit formula for the derivative of Liouville entropy under arbitrary conformal deformations of the metric in two dimensions.

If this is right

For 1/6-pinched initial data the Liouville entropy becomes strictly increasing after finite time under the normalized Ricci flow.
Mean root curvature increases strictly along the normalized Ricci flow from every metric of non-constant negative curvature.
The Liouville entropy eventually acts as a strictly monotonic quantity along the flow for all such pinched surfaces.
The result supplies a partial affirmative answer to Manning's 2004 question on entropy monotonicity under Ricci flow.

Where Pith is reading between the lines

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

The monotonicity may extend to other conformal geometric flows on surfaces once the pinching hypothesis is relaxed.
Numerical integration of the Ricci flow on explicit hyperbolic surfaces could provide direct verification of the entropy increase.
The same derivative formula might be used to compare entropy evolution under different normalizations of the Ricci flow.

Load-bearing premise

The starting metric must be 1/6-pinched so that the entropy derivative points in the positive direction of the normalized Ricci flow.

What would settle it

An explicit 1/6-pinched metric on a genus-g surface for which the computed derivative of Liouville entropy along the normalized Ricci flow is zero or negative at some point.

read the original abstract

We show that the Liouville entropy of the geodesic flow of a closed surface of non-constant negative curvature is eventually strictly increasing along the normalized Ricci flow (NRF). More precisely, we obtain a new expression for the derivative of the Liouville entropy along an arbitrary conformal deformation in dimension 2, and we prove it is positive in the direction of the NRF for 1/6-pinched metrics. This partially answers a question of Manning from 2004. In addition, we show that the mean root curvature, a purely geometric quantity which is a lower bound for the Liouville entropy, is strictly increasing along the NRF starting from any metric of non-constant negative curvature.

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

They derive a new explicit formula for the derivative of Liouville entropy under arbitrary conformal deformations in 2D and prove positivity along normalized Ricci flow once the metric is 1/6-pinched, plus monotonicity for mean root curvature from any negative-curvature start.

read the letter

The main thing to know is that this paper supplies a fresh explicit formula for how Liouville entropy changes under any conformal deformation on a surface, then shows the derivative is positive in the normalized Ricci flow direction for 1/6-pinched metrics. That plus the known convergence of the flow to the hyperbolic metric gives eventual strict increase of the entropy. They also prove that mean root curvature, a geometric lower bound for the entropy, increases strictly along the flow from any initial metric of non-constant negative curvature, without needing pinching.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that the Liouville entropy of the geodesic flow on a closed surface of non-constant negative curvature is eventually strictly increasing along the normalized Ricci flow (NRF). It derives a new explicit formula for the derivative of this entropy under arbitrary conformal deformations in dimension 2 and establishes positivity of the derivative when the metric is 1/6-pinched in the NRF direction. The argument invokes the known long-time convergence of the NRF on genus ≥2 surfaces with negative curvature to the hyperbolic metric. Separately, the paper shows that the mean root curvature (a lower bound for the Liouville entropy) is strictly increasing along the NRF from any initial metric of non-constant negative curvature. This partially answers a 2004 question of Manning.

Significance. If the central claims hold, the work strengthens the connection between dynamical invariants and geometric flows on surfaces. The explicit derivative formula under conformal changes supplies a concrete computational tool that may apply to other questions in geometric dynamics. The monotonicity result for mean root curvature, which requires no pinching assumption, is a robust geometric statement that stands independently of the entropy result. Credit is due for the parameter-free character of the derivative expression and for separating the eventual monotonicity (which uses convergence to the 1/6-pinched hyperbolic metric) from the pinching-free monotonicity of the lower bound.

minor comments (3)

The abstract and introduction should include a brief, self-contained definition or standard reference for the 1/6-pinching condition on the curvature, as this is load-bearing for the positivity statement even if it is standard in the literature.
In the section deriving the new entropy derivative formula, verify that all error terms arising from the conformal variation are explicitly bounded or shown to vanish in the limit; the current sketch leaves the size of remainder terms implicit.
Add a short remark clarifying how the 1/6-pinching is preserved or eventually attained under the NRF, even though long-time convergence is cited; this would make the eventual-increase claim fully self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, including the new derivative formula for Liouville entropy under conformal changes and the independent monotonicity result for mean root curvature. We appreciate the recommendation for minor revision and the acknowledgment of the parameter-free character of our expressions as well as the separation between eventual and pinching-free results.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives a new explicit formula for the derivative of the Liouville entropy along arbitrary conformal deformations in dimension 2, then proves positivity of this derivative in the NRF direction precisely when the metric is 1/6-pinched. It invokes the independently established long-time convergence of NRF on closed genus >=2 surfaces with negative curvature to the hyperbolic metric (which satisfies the pinching). A separate monotonicity result for mean root curvature holds from any initial non-constant negative curvature metric without requiring pinching. No step reduces by construction to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain; all load-bearing claims rest on fresh geometric analysis and external convergence theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard domain assumptions from differential geometry and dynamical systems on surfaces; no free parameters or invented entities are indicated in the abstract.

axioms (2)

domain assumption The surface is closed and equipped with a metric of non-constant negative curvature.
This is required for the geodesic flow and Liouville entropy to be well-defined and for the normalized Ricci flow to be considered.
domain assumption The metric satisfies a 1/6-pinching condition on curvature.
Invoked to guarantee that the derivative of the entropy is positive along the NRF direction.

pith-pipeline@v0.9.0 · 5649 in / 1463 out tokens · 73888 ms · 2026-05-22T19:36:32.117724+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We obtain a new expression for the derivative of the Liouville entropy along an arbitrary conformal deformation in dimension 2... d/dε hLiou(ε) = −1/2 ∫ ˙ρ0 ws dm (Theorem D)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

ws satisfies the Riccati equation X(ws) = −(ws)² − K

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.