{"id":"f38416f3-105d-4b04-8cae-7a4066a33cf5","arxiv_id":"1908.04424","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For any C1 perturbation of a vector field with a sectional hyperbolic set, the number of homoclinic classes inside a fixed neighborhood is uniformly bounded.","lead":"This paper claims that near any sectional hyperbolic set of a vector field, the number of homoclinic classes is uniformly bounded for all nearby vector fields. It extends a prior result on finiteness of attractors and repellers to all homoclinic classes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's pivotal step applies Lemma 2.4, stated for sectional Anosov flows, to perturbations of an arbitrary sectional hyperbolic set without proving the uniform Liao estimates; if this transfer fails, the contradiction near the singularity collapses.","rationale":"The reader's weakest_assumption identifies exactly the unsupported local-to-global transfer of Lemma 2.4. My reading confirms that this is the single most load-bearing gap: every subsequent step in Section 4.1 depends on the existence of a fixed η,T for which all periodic orbits p_n satisfy (1) and (2). The paper offers no proof or reference that such uniform Liao estimates hold for periodic orbits of perturbations of an arbitrary sectional hyperbolic set. Lemma 2.2 is a local structural result with no uniformity stated, and the cited literature concerns sectional Anosov flows or star flows, not local sectional hyperbolic sets. This is not a disagreement with a consensus result; it is an internal gap in the proof. The result may well be true, and a complete proof would likely require a nontrivial star-flow argument or a direct uniform version of Lemma 2.2. As the manuscript stands, the proof is a sketch with its central step unsupported, so the REJECT verdict is appropriate and no adjustment is needed.","tokens_in":8093,"tokens_out":13462,"duration_ms":141481,"concrete_test":"Take a standard sectional hyperbolic set that is not contained in any sectional Anosov flow, such as a geometric Lorenz-like singular-hyperbolic attractor embedded in a compact manifold with additional non-Anosov dynamics outside an isolating neighborhood U. Fix T>0 and compute, along a sequence of periodic orbits γ_n accumulating on the singularity with periods π_n→∞, the scaled linear Poincaré flow products in inequalities (1) and (2): if no single η>0 bounds all products uniformly in n, then Lemma 2.4 does not extend to local sectional hyperbolic sets and the proof's central transfer fails. Alternatively, check the same products on the geometric Lorenz attractor; if the domination constant degrades as orbits approach Sing(X), the uniform estimates are unavailable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive step in Section 4.1 is the sentence: \"From the Lemma 2.4 there exist neighborhood U and numbers η,T > 0 such that each point p_n satisfies the inequalities (1) and (2).\" Lemma 2.4, however, is stated only for sectional Anosov flows: flows whose maximal invariant set is sectional hyperbolic. Here Λ is an arbitrary sectional hyperbolic set, and the continuation Λ_Y is merely the maximal invariant set inside a fixed neighborhood of Λ. The proof supplies no argument that the hyperbolicity of every non-singular compact invariant set in U, given by Lemma 2.2, is uniform in Y and in the invariant set. Lemma 2.2 only asserts that each such set H is hyperbolic saddle-type, with constants that may depend on H and Y. Inequalities (1) and (2) require a uniform exponential estimate for all periodic orbits of all C1-close vector fields, a genuine star-flow/global-Anosov property. The cited references prove such estimates for star flows or sectional Anosov flows, not for local sectional hyperbolic sets. Without the uniform η,T, the subsequent selection of x_n by Poincaré recurrence and the claim that O(x_n) is (η,T)*-contracting have no basis, so Theorem 2.6 cannot be used to build unstable manifolds of size proportional to the flow speed. The contradiction therefore collapses at this unproved transfer.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims Theorem A: for every sectional hyperbolic set Λ of a C1 vector field X on a compact manifold, there exist a C1-neighborhood U of X, a neighborhood U of Λ, and n0∈N such that every Y∈U has at most n0 homoclinic classes contained in U. The proof proceeds by contradiction, assuming infinitely many homoclinic classes for nearby vector fields, using the finiteness of attractors/repellers (Theorem 3.2) to reduce to saddle-type classes, and then analyzing the case where the homoclinic classes accumulate at a singularity. The singularity case is treated with Liao's scaled linear Poincaré flow: the authors assert uniform Liao estimates, select reference points by Poincaré recurrence, obtain local unstable manifolds of size proportional to the flow speed, and derive a contradiction from intersections of these manifolds. Corollary 1.3 for sectional Anosov flows is stated as a direct consequence.","tokens_in":8399,"tokens_out":14910,"duration_ms":158083,"significance":"If Theorem A were established, it would be a meaningful advance: it would upgrade the finiteness of attractors and repellers for sectional hyperbolic sets from [15] to finiteness of all homoclinic classes, robustly under C1 perturbations. This is a natural step toward Palis and Bonatti-type finiteness conjectures and would apply to higher-dimensional singular flows. The paper correctly identifies the relevant tools: sectional hyperbolicity, Liao's scaled linear Poincaré flow, and known finiteness results. However, the proof as written is a two-page sketch with several load-bearing assertions left unjustified. The central claim may be true, but the manuscript does not currently supply a valid proof.","major_comments":[{"comment":"The proof applies Lemma 2.4, which is stated only for sectional Anosov flows, to the periodic orbits p_n of perturbations X_n of a general sectional hyperbolic set Λ. In the present setting Λ_X is only the maximal invariant set of X in a fixed neighborhood U, and Λ_Y is a local continuation; there is no reason that Y is a sectional Anosov flow on the whole manifold. Lemma 2.2 gives hyperbolicity of each non-singular compact invariant set in U, but the constants may depend on the set and on Y, and Lemma 2.2 does not provide the uniform Liao estimates (1)–(2) for all periodic orbits of all Y in a C1-neighborhood. The sentence \"From the Lemma 2.4 ... inequalities (1) and (2)\" is therefore unjustified. Since the uniform η,T are used to obtain the (η,T)*-contractibility of O(x_n) and then local unstable manifolds of size proportional to ||X(x_n)|| via Theorem 2.6, this gap is load-bearing: without it the contradiction near the singularity collapses.","section":"§4.1, application of Lemma 2.4"},{"comment":"The assertion \"L_n is also arbitrarily close to Λ_X. Therefore, we can assume that L_n belongs to Λ_X for all n\" is not valid: L_n is a homoclinic class of X_n and is contained in Λ_{X_n}, not in Λ_X. The two sets are different, and no identification, embedding, or Hausdorff-limit argument is given. A correct proof would need to work with the sets Λ_{X_n} and justify separately that a sequence of periodic points p_n∈L_n has a subsequence converging to a point in Λ_X; as written, the later definition of H and the application of Lemma 3.3 rest on this unjustified replacement.","section":"§4.1, reduction to Λ_X"},{"comment":"The proof does not explain how inequalities (1)–(2), formulated for the unscaled linear Poincaré flow P_t, imply that O(x_n) is eventually (η,T)*-contracting with respect to the scaled flow P*_t, nor which subbundle E is used in Definition 2.5. Moreover, Theorem 2.6 constructs a local stable manifold W^cs for a contracting bundle, whereas the proof claims an unstable manifold W^cu of size proportional to ||X(x_n)||; to obtain that conclusion one must apply the theorem to the complementary expanding subbundle for the time-reversed flow, or prove a separate statement. This transition is a nontrivial part of Liao's theory and cannot be replaced by a one-sentence assertion.","section":"§4.1, from Liao estimates to (η,T)*-contractibility and unstable manifolds"},{"comment":"In the alternative case, the set H = ∩_{t∈R} X_t(U\\B_{δ/2}(Sing(X))) is not shown to be compact or invariant in the sense required by Lemma 2.2 and Lemma 3.3. The intersection of the open sets U\\B_{δ/2}(Sing(X)) under the flow need not be compact, and Lemma 2.2 applies to compact invariant sets. The proof should replace U by a compact isolating neighborhood avoiding the singularities; as written, the applicability of Lemma 3.3 to H is not established.","section":"§4.1, construction of H in the non-singular case"}],"minor_comments":[{"comment":"The phrase \"on this scenary\" contains a typo; it should be \"in this scenario\" or \"in this setting.\"","section":"Abstract"},{"comment":"The sentence \"for each vector field X_n we have at least a sequence of n periodic points p_n^1,...,p_n^n that represents each homoclinic class in Λ_X\" is confusing: these periodic points belong to X_n and their homoclinic classes are contained in Λ_{X_n}, not in Λ_X. The notation should be corrected.","section":"§4.1, paragraph after the contradiction assumption"},{"comment":"The proof does not address periodic orbits of period smaller than the constant T from Lemma 2.4; while these are finite in number for each Y, the argument should state that they can be excluded for large n or handled separately.","section":"§4.1, applications of Lemma 2.4 and Theorem 2.6"},{"comment":"The notation W^cu_{δ||X(x_n)||}(x_n) is introduced without definition. The relation to the manifold W^u(O(x_n)) should be made precise, especially because Theorem 2.6, as stated, gives W^cs rather than W^cu.","section":"§4.1, definition of W^cu"}],"recommendation":"reject","confidential_remarks":"The paper addresses a relevant question and the claimed theorem is plausible, but the proof is a sketch with several load-bearing gaps. The most serious is the misapplication of Lemma 2.4 to local sectional hyperbolic sets; a uniform Liao-estimate statement for this setting is neither proved nor referenced. The reduction \"we can assume L_n belongs to Λ_X\" is also logically incorrect. These are not merely presentation issues. Although a future version might repair the argument by adding substantial new material, the current manuscript does not meet the standard for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe punchline: this note claims a robust uniform bound on the number of homoclinic classes for C1-perturbations of any sectional hyperbolic set. The result is new and natural—it extends the first author's earlier finiteness for attractors/repellers to all homoclinic classes—but the proof as written is a sketch, and one key step is not justified.\n\nWhat is genuinely good: the statement is significant for the finiteness program around Palis and Bonatti, and the reduction to the singular-accumulation case is clean. Lemma 3.3 and the hyperbolic-set case are handled by quoting [15], which is transparent. The singularity case is the real new ingredient, and the scaled linear Poincaré flow setup is appropriate.\n\nThe soft spot is the step where Lemma 2.4 is applied. That lemma is stated for sectional Anosov flows, whose maximal invariant set is sectional hyperbolic. Here Λ is an arbitrary sectional hyperbolic set and the objects are periodic orbits of nearby vector fields inside a fixed neighborhood of Λ. To get inequalities (1) and (2) uniformly for all such orbits, one needs a uniform version of the hyperbolicity of every nonsingular compact invariant set, with constants independent of the perturbation and the orbit. Lemma 2.2 does not provide that; it allows constants depending on H and Y. The difference between a local sectional hyperbolic set and a full sectional Anosov flow is exactly where Liao's star-flow estimates are nontrivial. The paper gives no proof or reference that the local estimates pass to the perturbed periodic orbits. If that transfer fails, the contradiction at the singularity has no footing.\n\nThere are smaller gaps: the Poincaré recurrence step and the \"eventually (η,T)*-contracting\" conclusion are compressed to the point of being unjustified, and Eq. (4) has a typo (the log of the vector field norm is not written correctly). These are minor by comparison.\n\nI think the theorem is plausible and worth pursuing. The proof, however, does not establish it as it stands. A serious referee could help the authors either close the gap or expose a real obstruction.\n\nWho gets value from this? People working on sectional hyperbolic flows and finiteness of homoclinic classes. For them, the note is a useful roadmap. I would not cite it as a proven result until the proof is completed.\n\nMy recommendation: send to peer review rather than desk-reject. The topic matters and the approach is credible, but the submission is clearly preliminary.","headline":"Plausible new result, but the proof's key step needs uniform Liao estimates it does not prove; worth refereeing, not citable yet.","tokens_in":8897,"tokens_out":2918,"would_cite":false,"duration_ms":29044,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37C29","37D30","37D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every sectional hyperbolic set of a $C^1$ vector field on a compact manifold, all sufficiently close vector fields have at most finitely many homoclinic classes in a fixed neighborhood.","keywords":["sectional hyperbolic set","homoclinic class","robust finiteness","linear Poincaré flow","scaled linear Poincaré flow","singular flow","star flow","sectional Anosov flow"],"falsifier":"Choose a sectional hyperbolic set with a singularity and a sequence of periodic orbits converging to that singularity; along each orbit compute the product in inequality (2) for the scaled linear Poincaré flow. If for every fixed $\\eta>0$ one can find such orbits with the stable-product and expansion bound violated, then the uniform estimate the proof relies on is false and the theorem's argument cannot be repaired without a new idea.","tokens_in":7876,"feed_emoji":"🌀","tokens_out":9752,"duration_ms":96939,"temperature":0.7,"pith_summary":"This paper proves a finiteness statement for flows: if $\\Lambda$ is a sectional hyperbolic set—a compact invariant set whose tangent bundle splits into a contracting direction and a sectionally expanding central direction, with hyperbolic singularities—then for every vector field close to the original one, the number of homoclinic classes lying in a fixed neighborhood of $\\Lambda$ is bounded by a constant that does not depend on the perturbation. The result matters because homoclinic classes are the elementary pieces of recurrent dynamics and include attractors and repellers, for which only a weaker finiteness theorem was known. The proof shows that infinitely many classes cannot accumulate away from a singularity, and then that they cannot accumulate at a singularity either, because the periodic orbits of distinct classes would develop intersecting unstable manifolds and become one class.","feed_headline":"Finitely many homoclinic classes survive small flow perturbations","feed_subtitle":"Nearby vector fields inherit a uniform bound, extending earlier finiteness of attractors and repellers.","key_machinery":"The machinery is the scaled linear Poincaré flow, defined by $P^*_t(x)v = \\frac{\\|X(x)\\|}{\\|X(X_t(x))\\|} P_t(x)v$, where $P_t$ is the linear Poincaré flow on the normal bundle; rescaling by the flow speed compensates for the degeneracy of the derivative at singularities. Together with Lemma 2.4—uniform exponential estimates, inherited from the star-flow theory for sectional Anosov flows, on the ratio of contraction in the stable direction to expansion in the unstable direction along long periodic orbits—this yields, through Theorem 2.6, local unstable manifolds whose size is proportional to the speed of the vector field. The proof uses those manifolds to force intersections between unstable manifolds of orbits accumulating at the same singularity, which is the step that collapses distinct homoclinic classes into one.","core_discovery":"The central claim, Theorem A, is that for every sectional hyperbolic set $\\Lambda$ of a $C^1$ vector field on a compact manifold there are a $C^1$ neighborhood of the field, a neighborhood of $\\Lambda$, and an integer $n_0$ such that every field in that neighborhood has at most $n_0$ homoclinic classes contained in that neighborhood. A direct corollary is that every sectional Anosov flow—a flow whose whole maximal invariant set is sectional hyperbolic—has a $C^1$ neighborhood in which the number of homoclinic classes is uniformly bounded. The theorem is established by contradiction: a sequence of perturbations with growing numbers of classes would, by the known finite count for attractors and repellers, consist mostly of saddle-type classes; if their accumulation avoided the singularities the set would be hyperbolic and a standard finiteness result would already contradict the growth, so the classes must accumulate at a singularity. Near that singularity, scaled linear Poincaré flow estimates force the corresponding periodic orbits to have unstable manifolds that intersect, making distinct classes homoclinically related and contradicting their distinctness.","pith_inferences":["A possible reading of the proof is that the real content is a local star-flow property: if uniform contraction and expansion estimates of Lemma 2.4 hold for periodic orbits accumulating at a singularity of any sectional hyperbolic set, then robust finiteness follows by the same geometric argument; verifying that transfer explicitly would give a more general theorem.","The same scaled-Poincaré-flow mechanism might bound the number of homoclinic classes associated to a single singularity, rather than only the total inside a neighborhood, since the intersection argument appears local to each singularity.","A numerical experiment on a sectional hyperbolic set with one singularity could test the result directly: perturb the flow, count homoclinic classes, and check whether two distinct classes ever have periodic orbits approaching the same singularity without a homoclinic or heteroclinic relation; the theorem predicts this cannot happen."],"forward_implications":["Every sectional Anosov flow on a compact manifold has a $C^1$ neighborhood in which all flows have only finitely many homoclinic classes.","The bound is robust: no $C^1$-small perturbation can create an infinite family of homoclinic classes inside a fixed neighborhood of a sectional hyperbolic set.","Finiteness of attractors and repellers on sectional hyperbolic sets follows as a special case, since attractors and repellers are homoclinic classes.","The finiteness holds with no transitivity or nonwandering assumption, in any dimension $n \\geq 3$.","In the sectional hyperbolic setting, the conclusion rules out the coexistence of infinitely many saddle-type homoclinic classes that would otherwise be allowed by general $C^1$-generic phenomena."],"supporting_citations":[{"why":"Supplies the finiteness of attractors and repellers on sectional hyperbolic sets and the argument for the nonsingular case, both used explicitly in the proof.","marker":"[15]"},{"why":"Given as the source of Lemma 2.4, the uniform star-flow estimates for periodic orbits of perturbations used near the singularity.","marker":"[12]"},{"why":"Invoked together with [13] at the point where Lemma 2.4's inequalities are applied to the periodic orbits of the perturbed vector fields.","marker":"[20]"},{"why":"Supplies the scaled linear Poincaré flow and the $(\\eta,T)^*$-contractible orbit machinery used to turn the inequalities into unstable manifolds.","marker":"[13]"},{"why":"Provides the invariant manifold and fiber contraction theory behind stable manifolds and Theorem 2.6.","marker":"[11]"},{"why":"Cited for the three-dimensional version of Lemma 2.2, that nonsingular invariant sets near a sectional hyperbolic set are hyperbolic saddles.","marker":"[18]"},{"why":"Cited for the higher-dimensional sectional hyperbolic splitting behavior used in Lemma 2.2.","marker":"[4]"},{"why":"Defines sectional Anosov flow, which is used in the corollary to Theorem A.","marker":"[16]"}],"fun_headline_variants":["Small perturbations preserve finiteness of homoclinic classes","Uniform bound on homoclinic classes under small perturbations","Sectional hyperbolic sets: homoclinic classes stay finite nearby","Perturbations cannot multiply homoclinic classes infinitely"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's weakest point is its one unproved transfer: a lemma stated for sectional Anosov flows is used to control periodic orbits of perturbations of an arbitrary sectional hyperbolic set; if that local-to-global step fails, the contradiction near the singularity collapses.","fun_headline_variants_meta":{"raw":{"variants":["Small perturbations preserve finiteness of homoclinic classes","Uniform bound on homoclinic classes under small perturbations","Sectional hyperbolic sets: homoclinic classes stay finite nearby","Perturbations cannot multiply homoclinic classes infinitely"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000283,"raw_usage":{"total_tokens":1618,"prompt_tokens":840,"completion_tokens":778,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":456,"completion_tokens_details":{"reasoning_tokens":708}},"tokens_in":456,"tokens_out":778,"duration_ms":7635,"temperature":1.0,"reasoning_tokens":708,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:42:59.416017+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a sectional hyperbolic set with a singularity and a sequence of periodic orbits converging to that singularity; along each orbit compute the product in inequality (2) for the scaled linear Poincaré flow. If for every fixed $\\eta>0$ one can find such orbits with the stable-product and expansion bound violated, then the uniform estimate the proof relies on is false and the theorem's argument cannot be repaired without a new idea.","supporting_citations":[{"cited_title":"Finiteness and existence of attractors and repellers on sectional hyperbolic sets","cited_arxiv_id":null,"evidence_quote":"Supplies the finiteness of attractors and repellers on sectional hyperbolic sets and the argument for the nonsingular case, both used explicitly in the proof."},{"cited_title":"A basic property of a certain class of differential systems","cited_arxiv_id":null,"evidence_quote":"Given as the source of Lemma 2.4, the uniform star-flow estimates for periodic orbits of perturbations used near the singularity."},{"cited_title":"On the singular-hyperbolicity of star flows","cited_arxiv_id":null,"evidence_quote":"Invoked together with [13] at the point where Lemma 2.4's inequalities are applied to the periodic orbits of the perturbed vector fields."},{"cited_title":"On (n , d ) - contractible orbits of vector fields","cited_arxiv_id":null,"evidence_quote":"Supplies the scaled linear Poincaré flow and the $(\\eta,T)^*$-contractible orbit machinery used to turn the inequalities into unstable manifolds."},{"cited_title":"Invariant manifolds , vol","cited_arxiv_id":null,"evidence_quote":"Provides the invariant manifold and fiber contraction theory behind stable manifolds and Theorem 2.6."},{"cited_title":"Singular hyperbolic systems","cited_arxiv_id":null,"evidence_quote":"Cited for the three-dimensional version of Lemma 2.2, that nonsingular invariant sets near a sectional hyperbolic set are hyperbolic saddles."},{"cited_title":"Lectures on sectional-Anosov flows","cited_arxiv_id":null,"evidence_quote":"Cited for the higher-dimensional sectional hyperbolic splitting behavior used in Lemma 2.2."},{"cited_title":"Sectional-hyperbolic systems","cited_arxiv_id":null,"evidence_quote":"Defines sectional Anosov flow, which is used in the corollary to Theorem A."}],"review_version":1}