REVIEW 2 major objections 5 minor 45 references
On the mean indices of closed characteristics on dynamically convex star-shaped hypersurfaces in $\mathbb{R}^{2n}$
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read On every dynamically convex star-shaped hypersurface in $\mathbb{R}^{2n}$ with finitely many closed characteristics, at least $\lfloor(n+1)/2\rfloor$ have irrational mean index and at least $\lfloor(n+1)/2\rfloor+1$ have pairwise…
desk verdict Real results for n≥2, but the main theorems are false as stated because they include n=1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Lusternik-Schnirelmann theory for the shift operator $D$ in positive equivariant symplectic homology $SH^{S^1,+}_*(W;\mathbb{Q})$. The shift operator gives a strictly increasing sequence of spectral invariants and a carrier map that assigns to each degree $d$ an orbit $y_d$ with nonzero local equivariant symplectic homology; the index recurrence theorem, with the integer sequences $d_j$ and $k_{ij}$ chosen by the common index jump construction, makes the window $\tilde{L}=[d_j-2,d_j+n]\cap\{n+1,n+3,\dots\}$ consist of distinct prime-orbit iterations. The resonance relation $A_\alpha(x)/\hat{\mu}(x)=\text{const}$ for reoccurring orbits then converts any rationality among mean indices in the window into equality of actions, which contradicts the strict inequality $A_\alpha(y_{d_1})\neq A_\alpha(y_{d_2})$ for $d_1\neq d_2$.
What would settle it
Compute the mean indices and the equivariant local symplectic homology ranks in the window $[d_j-2,d_j+n]$ for an explicit dynamically convex star-shaped hypersurface with finitely many closed orbits, such as an irrational ellipsoid; if a degree in that window is supported by a non-reoccurring orbit, or if fewer than $\lfloor(n+1)/2\rfloor$ of the window's supporting orbits have irrational mean index, the theorem's resonance-based contradiction fails.
Extended reading notes
Core claim
The central discovery is that dynamical convexity plus finiteness forces irrational mean indices in a quantitative way: among the finitely many geometrically distinct prime closed characteristics of $\Sigma$, at least $\lfloor(n+1)/2\rfloor$ have $\hat{\mu}(x)\notin\mathbb{Q}$, and at least $\lfloor(n+1)/2\rfloor+1$ have pairwise irrational mean-index ratios. The proof works by placing an entire window of degrees $[d_j-2,d_j+n]$ inside the image of the carrier map coming from equivariant symplectic homology, with each degree occupied by a different prime orbit's iteration. The extra degree $d_j-2$ is available precisely because a symplectically degenerate maximum would generate infinitely many closed characteristics, contradicting finiteness. Once two such orbits were to have rational-related mean indices, the resonance relation would force their actions to coincide, contradicting the strict monotonicity of spectral invariants.
Load-bearing premise
The load-bearing premise is that the labeling of homology degrees by orbits (the carrier map) can be chosen so that every orbit in the index-jump window is reoccurring, meaning its iterations appear infinitely often, because only then does the resonance relation apply and produce the action contradiction that both theorems use; the paper invokes a known theorem for this choice rather than constructing it.
Editorial extensions
If this is right
- For odd $n$, the previous convex-hypersurface bound of $\lfloor n/2\rfloor$ irrational-mean-index orbits is superseded by $\lfloor(n+1)/2\rfloor$, one more orbit.
- The family of orbits with pairwise irrational mean-index ratios has size $\lfloor(n+1)/2\rfloor+1$, one larger than the earlier convex bound when $n$ is odd.
- Both theorems hold for all dynamically convex star-shaped hypersurfaces, not only strictly convex ones, so the corollaries extend the convex results to a wider class of energy surfaces.
- The bounds are sharp at $n=3$: the harmonic-oscillator example has three prime orbits, with two irrational mean indices and all three pairwise ratios irrational, so no stronger uniform bound is possible in that dimension.
- The finiteness hypothesis is essential: the equal-frequency harmonic oscillator has infinitely many closed characteristics and none with irrational mean index, so the conclusion can fail without it.
Reading between the lines
- The same index-window mechanism should transfer to any contact manifold whose positive equivariant symplectic homology carries a shift operator, spectral invariants, and a resonance relation for reoccurring orbits; the paper works in $\mathbb{R}^{2n}$, but the mechanism is not obviously tied to that embedding.
- Since hyperbolic orbits have rational mean index under the standard conventions, Theorem 1.1 would in particular guarantee $\lfloor(n+1)/2\rfloor$ non-hyperbolic closed characteristics; the paper does not draw this stability conclusion explicitly.
- The dimension parameter should be read as $n\ge2$: for $n=1$, a convex planar energy curve has a single closed characteristic with rational mean index, so the lower bound as written would not hold without that convention.
- Whether the odd-dimensional gain of one orbit persists in higher even dimensions is left open; testing the bounds on irrational ellipsoids in $\mathbb{R}^8$ and $\mathbb{R}^{10}$ would show how close the general estimates are to the actual minimal counts.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies closed characteristics on compact star-shaped hypersurfaces in R^{2n} that are dynamically convex and have only finitely many geometrically distinct closed characteristics. Theorem 1.1 claims that at least floor((n+1)/2) such characteristics have irrational mean index; Theorem 1.2 claims that at least floor((n+1)/2)+1 have pairwise irrational mean-index ratios; Corollaries 1.3 and 1.4 state the corresponding results for strictly convex hypersurfaces. The proofs apply the Lusternik-Schnirelmann theory for the shift operator in equivariant symplectic homology developed by Ginzburg and Gürel, together with the index recurrence theorem, resonance relations, and the symplectically degenerate maximum argument. The claimed improvement over Long-Zhu and Hu-Ou is by one orbit when n is odd, and the paper gives explicit harmonic-oscillator examples to show sharpness for n=3.
Significance. If the statements are restricted to n>=2, the paper is a meaningful contribution: it combines the [GG] Lusternik-Schnirelmann framework with Long-Zhu common-index-jump estimates, and it provides explicit, checkable examples including the sharp n=3 case in Remark 1.6. The proofs are detailed, and their dependence on external results is largely transparent. The principal weakness is that the main theorems as stated are false for n=1, which makes the significance conditional on a corrected n>=2 statement and on filling a gap in the reoccurring-orbit step.
major comments (2)
- [Section 1, Theorems 1.1 and 1.2 and Corollaries 1.3 and 1.4; Remark 1.6] The statements are false for n=1. Take Sigma=E_1(1), the unit circle in R^2. It is strictly convex, hence belongs to H_con(2) and is dynamically convex by Theorem 2.6. By the paper's own Remark 1.6, #T(Sigma)=1 and the unique orbit has mean index \hat i(x_1)=2, which is rational. Therefore Theorem 1.1, which would require at least floor(2/2)=1 orbit with irrational mean index, and Theorem 1.2, which would require two orbits, both fail; Corollaries 1.3 and 1.4 fail for the same example even under the weaker convexity assumption. All main statements and the proof must be restricted to n>=2, and that restriction must be explicit, because for n=1 the formalism with m=n-1 in Section 2 is not the intended setting.
- [Section 3, proof of Theorem 1.1 after Eq. (3.7), and the analogous step in Theorem 1.2] The sentence 'Since the number of prime closed Reeb orbits is finite, we can choose x_d to be reoccurring for all d in \tilde L, cf. Theorem 6.1 of [GG]' is not a complete justification. Proposition 2.3's resonance relation (2.10) applies only to reoccurring orbits, and the equalities (3.8)-(3.9) and (3.24) depend on that relation. The author should prove that the carrier map can be arranged so that every orbit appearing in the common index jump interval is reoccurring, for instance by taking d_j larger than the maximal degree of any non-reoccurring orbit, whose existence follows from assumption (F) and the definition of reoccurring. As written, this is a gap in a load-bearing step of both proofs.
minor comments (5)
- [Section 3, first line] The phrase 'In his section' should be 'In this section'.
- [Abstract and Theorem 1.2] The phrase 'a irrational number' should be 'an irrational number'; the same grammatical issue appears in the abstract and in Theorem 1.2.
- [References] The entries [Eke] and [Eke2] appear to be the same paper with the same title, year, and page range; one of them should be removed or corrected.
- [Theorem 2.4] The phrase 'r integer sequences k_{ij}' is ambiguous; using k_{i,j} or explicitly indicating the index ranges would improve clarity.
- [Section 2, page 6] The word 'differmorphic' should be 'diffeomorphic'.
Circularity Check
No circularity: the main theorems are derived from external index-recurrence and resonance results, not from fitted inputs or self-citations.
full rationale
The proof of Theorems 1.1 and 1.2 rests on Proposition 2.1 (carrier map, Corollary 3.9 of [GG]), Theorem 2.4 (index recurrence, Theorem 5.2 of [GG]), Proposition 2.7 (dynamical convexity bounds, Corollary 5.4 of [GG]), Proposition 2.3 (resonance relation, Theorem 6.4 of [GG]), and the SDM argument of [GHHM]. None of these are the author's own results, and none are fed with the target conclusion. The choice of the integer sequences d_j and k_ij in Theorem 2.4 is a number-theoretic construction taken from [LoZ] (explicitly, eq. (3.12) and Claim 3); it does not encode rationality or irrationality of mean indices. In the proof of Claim 2, the rationality of two mean indices is used only to force equality (3.7), and the contradiction comes from the strict monotonicity of actions in (3.3), an independent input. The author's own prior works [Wan1], [Wan3], [Wan4], and [WHL] appear only as background citations in the introduction or in Remark 1.6 as examples; the proof never reduces to them. Two correctness issues are flagged but are not circularity: (i) as written, Theorems 1.1-1.2 and Corollaries 1.3-1.4 fail for n=1 (e.g., the unit circle in R^2 by Remark 1.6 has one closed characteristic with integer mean index 2, contradicting the required counts); the statements need the hypothesis n>=2. (ii) The assertion 'we can choose x_d to be reoccurring for all d in Ltilde, cf. Theorem 6.1 of [GG]' (Section 3, after Claim 2) is invoked without a detailed proof; if Theorem 6.1 of [GG] does not cover exactly this carrier-map selection, that is a gap in justification, but it is not a reduction-by-definition of the conclusion. No fitted parameter is relabeled as a prediction and no input is defined in terms of the output.
Assumptions & free parameters
assumptions (6)
- domain assumption Existence, monotonicity, and index bounds of the equivariant symplectic homology spectral invariants and carrier map (Proposition 2.1).
- domain assumption Index recurrence theorem with divisibility (Theorem 2.4).
- domain assumption Symplectically degenerate maximum forces infinitely many geometrically distinct closed Reeb orbits.
- domain assumption Resonance relations for reoccurring closed characteristics (Proposition 2.3).
- domain assumption Dynamically convex Reeb flow on strictly convex hypersurfaces (Theorem 2.6).
- domain assumption Long-Zhu common index jump estimates and the vertex Diophantine construction.
Cite this review
Pith. "Pith review of On the mean indices of closed characteristics on dynamically convex star-shaped hypersurfaces in $\mathbb{R}^{2n}$." pith.science (2026). https://pith.science/paper/4P2BXJN4
@misc{pith2026250604546,
author = {Pith},
title = {Pith review of: On the mean indices of closed characteristics on dynamically convex star-shaped hypersurfaces in $\mathbbR^2n$},
year = {2026},
howpublished = {\url{https://pith.science/paper/4P2BXJN4}},
note = {Machine review of arXiv:2506.04546}
}
abstract
In this paper, we prove that for every dynamically convex compact star-shaped hypersurface $\Sigma\subset\mathbb{R}^{2n}$, there exist at least $\lfloor\frac{n+1}{2}\rfloor$ geometrically distinct closed characteristics possessing irrational mean indices provided the number of geometrically distinct closed characteristics on $\Sigma$ is finite, this improves Theorem 1.3 in \cite{LoZ} of Y. Long and C. Zhu by finding one more closed characteristic possessing irrational mean index when $n$ is odd. Moreover, there exist at least $\lfloor\frac{n+1}{2}\rfloor+1$ geometrically distinct closed characteristics such that the ratio of the mean indices of any two of them is a irrational number provided the number of geometrically distinct closed characteristics on $\Sigma$ is finite, this improves Theorem 1.2 in \cite{HuO} of X. Hu and Y. Ou when $n$ is odd. In particular, these estimates are sharp for $n=3$.
Reference graph
Works this paper leans on
-
[1]
M. Abreu and L. Macarini, Multiplicity of periodic orbits for dynamically convex contact forms. J. Fixed Point Theory Appl. 19 (2017) 175-204
work page 2017
-
[2]
H. Berestycki, J. M. Lasry, G. Mancini and B. Ruf, Existence of multiple periodic orbits on starshaped Hamiltonian systems, Comm. Pure. Appl. Math. 38 (1985), 253-289
work page 1985
-
[3]
C ineli, E., Ginzburg,V. and G\" u rel, B.: Closed Orbits of Dynamically Convex Reeb Flows: Towards the HZ- and Multiplicity Conjectures, arXiv:2410.13093
-
[4]
D. Cristofaro-Gardiner and M. Hutchings, From one Reeb orbit to two. J. Diff. Geom. 102 (2016), 25-36
work page 2016
-
[5]
G. Dell'Antonio, B. D'Onofrio and I. Ekeland, Les syst\'em hamiltoniens convexes et pairs ne sont pas ergodiques en general. C. R. Acad. Sci. Paris . Series I. 315 (1992), 1413-1415
work page 1992
-
[6]
H. Duan, Y. Long and W. Wang, The enhanced common index jump theorem for symplectic paths and non-hyperbolic closed geodesics on Finsler manifolds. Calc. Var. Partial Differential Equations 55 (2016), no. 6, Art. 145, 28 pp
work page 2016
-
[7]
H. Duan, H. Liu, Y. Long and W. Wang, Non-hyperbolic closed characteristics on non-degenerate star-shaped hypersurfaces in ^ 2n . Acta Math. Sin., Engl. Ser. 34 (2018), 1-18
work page 2018
-
[8]
Ekeland, An index throry for periodic solutions of convex Hamiltonian systems
I. Ekeland, An index throry for periodic solutions of convex Hamiltonian systems. Proc. Symp. in Pure Math. 45 (1986) 395-423
work page 1986
Show all 45 references
-
[9]
Ekeland, Convexity Methods in Hamiltonian Mechanics
I. Ekeland, Convexity Methods in Hamiltonian Mechanics. Springer-Verlag. Berlin. 1990
1990
-
[10]
Ekeland and H
I. Ekeland and H. Hofer, Convex Hamiltonian energy surfaces and their closed trajectories. Comm. Math. Phys. 113 (1987) 419-467
1987
-
[11]
Ekeland and L
I. Ekeland and L. Lassoued, Multiplicit\'e des trajectoires ferm\'ees d'un syst\'eme hamiltonien sur une hypersurface d'energie convexe. Ann. IHP. Anal. non Lin\'eaire . 4 (1987) 1-29
1987
-
[12]
Ginzburg, The Conley conjecture
V. Ginzburg, The Conley conjecture. Ann. Math. 172 (2010), 1127-1180
2010
-
[13]
Ginzburg and Y
V. Ginzburg and Y. Goren, Iterated index and the mean Euler characteristic. Journal of Topology and Analysis . 7 (2015), 453-481
2015
-
[14]
Ginzburg, D
V. Ginzburg, D. Hein, U. Hryniewicz and L. Macarini, Closed Reeb orbits on the sphere and symplectically degenerate maxima. Acta Math Vietnam . 38 (2013), 55-78
2013
-
[15]
Ginzburg, B
V. Ginzburg, B. G\" u rel, Lusternik-Schnirelmann Theory and Closed Reeb Orbits, Math. Z. 295 (2020), 515-582
2020
-
[16]
Ginzburg, B
V. Ginzburg, B. Gurel and L. Macarini, Multiplicity of closed Reeb orbits on prequantization bundles. Israel J. Math. 228 (2018), no. 1, 407-453
2018
-
[17]
Girardi, Multiple orbits for Hamiltonian systems on starshaped ernergy surfaces with symmetry, Ann
M. Girardi, Multiple orbits for Hamiltonian systems on starshaped ernergy surfaces with symmetry, Ann. IHP. Analyse non lin\'eaire. 1 (1984), 285-294
1984
-
[18]
Gutt and J
J. Gutt and J. Kang, On the minimal number of periodic orbits on some hypersurfaces in ^ 2n . Ann. Inst. Fourier (Grenoble) 66 (2016), 2485-2505
2016
-
[19]
Hingston, Subharmonic solutions of Hamiltonian equations on tori, Ann
N. Hingston, Subharmonic solutions of Hamiltonian equations on tori, Ann. Math. 170 (2009), 525-560
2009
-
[20]
Hu and Y
X. Hu and Y. Long, Closed characteristics on non-degenerate star-shaped hypersurfaces in ^ 2n . Sci. China Ser. A 45 (2002), 1038-1052
2002
-
[21]
Hu and Y
X. Hu and Y. Ou, Stability of closed characteristics on compact convex hypersurfaces in R ^ 2n . J. Fixed Point Theory Appl. 19 (2017), 585-600
2017
-
[22]
Hofer, K
H. Hofer, K. Wysocki and E. Zehnder, The dynamics on three-dimensional strictly convex energy surfaces. Ann. Math. 148 (1998), 197-289
1998
-
[23]
Hofer, K
H. Hofer, K. Wysocki and E. Zehnder, Finite energy foliations of tight three-spheres and Hamiltonian dynamics. Ann. Math. 157 (2003) 125-255
2003
-
[24]
Liu and Y
C. Liu and Y. Long, An optimal inceasing estimate for iterated Maslov-type indices. Chinese Sci. Bull. 42 (1997), 2275-2277
1997
-
[25]
Liu and Y
C. Liu and Y. Long, Hyperbolic characteristics on star-shaped hypersurfaces, Ann. IHP. Analyse non lin\'eaire. 16 (1999), 725-746
1999
-
[26]
Liu and Y
C. Liu and Y. Long, Iteration inequalities of the Maslov-type index theory with applications. J. Diff. Equa. 165 (2000) 355-376
2000
-
[27]
Liu and Y
H. Liu and Y. Long, The existence of two closed characteristics on every compact star-shaped hypersurface in R ^4 . Acta Math. Sin., Engl. Ser. 32 (2016), 40-53
2016
-
[28]
Liu and Y
H. Liu and Y. Long, Resonance identities and stability of symmetric closed characteristics on symmetric compact star-shaped hypersurfaces. Calc. Var. and PDEs. 54 (2015), 3753-3787
2015
-
[29]
H. Liu, Y. Long and W. Wang, Resonance indentities for closed charactersitics on compact star-shaped hypersurfaces in ^ 2n . J. Funct. Anal. 266 (2014), 5598-5638
2014
-
[30]
H. Liu, Y. Long and W. Wang, Non-hyperbolic closed characteristics on symmetric compact convex hypersurfaces in ^ 2n . Advanced Nonlinear Studies. 14 (2014), 531-546
2014
-
[31]
Long, Hyperbolic closed characteristics on compact convex smooth hypersurfaces in R ^ 2n
Y. Long, Hyperbolic closed characteristics on compact convex smooth hypersurfaces in R ^ 2n . J. Diff. Equa. 150 (1998), 227-249
1998
-
[32]
Long, Bott formula of the Maslov-type index theory
Y. Long, Bott formula of the Maslov-type index theory. Pacific J. Math. 187 (1999), 113-149
1999
-
[33]
Long, Precise iteration formulae of the Maslov-type index theory and ellipticity of closed characteristics
Y. Long, Precise iteration formulae of the Maslov-type index theory and ellipticity of closed characteristics. Advances in Math. 154 (2000), 76-131
2000
-
[34]
Long, Index Theory for Symplectic Paths with Applications
Y. Long, Index Theory for Symplectic Paths with Applications. Progress in Math. 207, Birkh\"auser. 2002
2002
-
[35]
Long and C
Y. Long and C. Zhu, Closed characteristics on compact convex hypersurfaces in ^ 2n . Ann. Math. 155 (2002), 317-368
2002
-
[36]
Rabinowitz, Periodic solutions of Hamiltonian systems, Comm
P. Rabinowitz, Periodic solutions of Hamiltonian systems, Comm. Pure. Appl. Math. 31 (1978), 157-184
1978
-
[37]
Szulkin, Morse theory and existence of periodic solutions of convex Hamiltonian systems, Bull
A. Szulkin, Morse theory and existence of periodic solutions of convex Hamiltonian systems, Bull. Soc. Math. France. 116 (1988), 171-197
1988
-
[38]
Viterbo, Une th\'eorie de Morse pour les syst\`emes hamiltoniens \'etoil\'es, C
C. Viterbo, Une th\'eorie de Morse pour les syst\`emes hamiltoniens \'etoil\'es, C. R. Acad. Sci. Paris Ser. I Math. 301 (1985), 487-489
1985
-
[39]
Viterbo, Equivariant Morse theory for starshaped Hamiltonian systems
C. Viterbo, Equivariant Morse theory for starshaped Hamiltonian systems. Trans. Amer. Math. Soc. 311 (1989) 621-655
1989
-
[40]
Wang, Stability of closed characteristics on compact convex hypersurfaces in R ^6
W. Wang, Stability of closed characteristics on compact convex hypersurfaces in R ^6 . J. Eur. Math. Soc. 11 (2009), 575-596
2009
-
[41]
Wang, Irrationally elliptic closed characteristics on compact convex hypersurfaces in ^6
W. Wang, Irrationally elliptic closed characteristics on compact convex hypersurfaces in ^6 . J. Funct. Anal. 267 (2014), no. 3, 799-841
2014
-
[42]
Wang, Existence of closed characteristics on compact convex hypersurfaces in ^ 2n
W. Wang, Existence of closed characteristics on compact convex hypersurfaces in ^ 2n . Calc. Var. and PDEs. 55 (2016), 1-25
2016
-
[43]
Wang, Closed characteristics on compact convex hypersurfaces in ^8
W. Wang, Closed characteristics on compact convex hypersurfaces in ^8 . Adv. Math. 297 (2016), 93-148
2016
-
[44]
W. Wang, X. Hu and Y. Long, Resonance identity, stability and multiplicity of closed characteristics on compact convex hypersurfaces. Duke Math. J. 139 (2007), no. 3, 411-462
2007
-
[45]
Weinstein, Periodic orbits for convex Hamiltonian systems, Ann
A. Weinstein, Periodic orbits for convex Hamiltonian systems, Ann. Math. 108 (1978), 507-518
1978
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.