2009.03797
Monotonicity of Entropy for Unimodal Real Quadratic Rational Maps
Yan Gao
correctmedium confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:55 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves there are no bone-loops in the unimodal region and deduces monotonicity of real entropy by deploying positive transversality in a family normalized by critical values, then deriving a contradiction from the sign of a directional derivative at two successive intersections on a hypothesized bone-loop; see Theorem 1.1 and the argument around equations (3.2)–(3.6) . The candidate’s solution follows the same overall structure (normalization by critical values, positive transversality, density-of-hyperbolicity to locate a PCF point, then a second critical-relation curve), but replaces the paper’s local directional-derivative contradiction with a global algebraic-intersection-number argument. That argument is essentially sound if one explicitly notes the second curve is a closed 1-cycle in the one-point compactification (S^2), but this closure/compactness point is not stated; the paper’s method avoids that subtlety. Hence both are correct and closely related, with the model using a slightly different (but standard) topological contradiction.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions
\textbf{Journal Tier:} strong field
\textbf{Justification:}
A concise and correct proof of absence of bone-loops in the unimodal region is given, leveraging modern positive transversality and a clean normalization. The deduction of entropy monotonicity follows from prior reductions. Minor clarifications would improve precision (terminology and a brief note on finiteness of intersections), but the core argument is solid and of interest to the community studying real slices of moduli spaces of rational maps.