{"id":"4a88b8f3-82f5-4f09-b174-a48e463188c4","arxiv_id":"1908.00505","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The minimally displaced set of an irreducible automorphism with exponential growth is uniformly locally finite in any deformation space of a free splitting.","lead":"This paper proves that for certain automorphisms of free products of groups, the points in a geometric space that move the least form a locally finite set: each point has only finitely many neighbors that are also minimally displaced. This finiteness makes these special points algorithmically tractable, with consequences for decision problems about automorphisms of free groups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniform local finiteness rests on an unproved transfer of Bestvina's ε-thickness bound to free-product deformation spaces; if the transfer fails, Corollary 6.10 collapses, though Theorem 6.4 survives.","rationale":"The decisive part of the paper is the passage from local finiteness (Theorem 6.4) to the uniform version (Corollary 6.10). I checked the internal critical/regular turn machinery: the finiteness of C∆, the strict displacement increase for regular folds, and the folding-path argument in Proposition 5.4 are internally coherent and do not appear to hide a fatal gap. The genuinely load-bearing point is Lemma 6.9, because it is the only step that converts local finiteness into a bound independent of the simplex. Its proof leans on two results proved elsewhere: Bestvina's ε-thickness theorem, originally in CV_n, and the Sausage Lemma for free products. The Sausage Lemma is cited to the published [11], but the thickness transfer is only asserted by the phrase 'the proof is the same in this context'. Since the deformation spaces here can have infinite vertex groups and non-Grushko splittings, this is a real correctness risk: the constant in the thickness bound could depend on the vertex groups, or the invariant-subforest argument could fail. If Lemma 6.9 fails, uniform local finiteness fails, while non-uniform local finiteness would survive. This matches the reader's weakest assumption, so my pass does not change the CONDITIONAL verdict.","tokens_in":27211,"tokens_out":27320,"duration_ms":315148,"concrete_test":"Re-derive Lemma 6.9 for a non-Grushko free-product deformation space, e.g. G = Z * F_2, using only the Sausage Lemma [11, Thm. 9.10] and train-track expansion, without invoking [2, Prop. 10]. Trace Bestvina's short-loop-to-invariant-subforest argument: if the proof requires the splitting to be Grushko or the vertex groups to be finite, then the constant 1/(3D λ^{3D+1}) is not justified and Corollary 6.10 is unsupported. A computational cross-check would be to take an explicit irreducible φ on G with stretch λ, compute the volume-1 train-track point, and compare its shortest hyperbolic translation length with the claimed thickness bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Corollary 6.10 (uniform local finiteness) depends on Lemma 6.9, whose proof asserts two imported bounds: the ε-thickness statement from Bestvina ([2, Proposition 10], proved in CV_n with the remark 'the proof is the same in this context') and the Sausage Lemma ([11, Theorem 9.10]). No proof of the thickness transfer is supplied for deformation spaces of free products with arbitrary vertex groups (infinite, or non-Grushko factors). The constant C(φ)=3 dim O(G) λ(φ)^{3D+1} is taken verbatim from the CV_n argument, and the application to X∆, the centre of a min simplex, is via candidate loops of simplicial length at most 3. If the shortest hyperbolic translation length at a volume-1 min point can be smaller than 1/C(φ), or if the bound must depend on the vertex groups rather than only on D and λ, then λφ(X∆) is not uniformly bounded along the critical neighbourhood. That kills the uniform cardinality bound on C∆ in Lemma 6.8 and hence Corollary 6.10. Theorem 6.4's local finiteness does not use Lemma 6.9 and would survive.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the action of an irreducible automorphism of a free splitting on the associated deformation space O(G). It introduces the notion of simplex-critical and simplex-regular turns (Definitions 4.4 and 4.22), proves that folding a regular turn strictly increases the displacement function (Proposition 4.19), and then uses a folding-path argument directed by a straight map to show that any simplex adjacent to a minimally displaced simplex and still intersecting the minset is reached by at most 2D(G)^2 critical folds (Theorem 6.4). A uniformity statement is added in Lemma 6.9 and Corollary 6.10, claiming that the minset is uniformly locally finite, hence that the set of train-track points is uniformly locally finite. The main proof is largely self-contained, with a long section of definitions and standard facts from the authors' earlier work on free products.","tokens_in":27458,"tokens_out":11658,"duration_ms":132007,"significance":"If the proof is correct, the paper gives a clean structural description of the minset of an irreducible automorphism: around any simplex meeting the minset there are only finitely many neighbouring simplices that also meet it, with an explicit bound on the number of critical folds. This is relevant for algorithmic applications to reducible automorphisms and to the simplicial bordification of Outer Space. The distinction between critical and regular turns is natural and gives an explicit finite list in Remark 4.24, which is a definite strength. The non-uniform local finiteness theorem is supported by detailed arguments. The uniform version, however, depends on an import of Bestvina's epsilon-thickness theorem and the Sausage Lemma from the Culler-Vogtmann setting to arbitrary free-product deformation spaces; that transfer is asserted but not proved, and it is load-bearing for the uniformity claim.","major_comments":[{"comment":"The uniform bound on λφ(X∆) is the only step that upgrades local finiteness to uniform local finiteness, and its proof is not complete. The text says that the epsilon-thickness statement of [2, Proposition 10] 'is proved there in CV_n, but the proof is the same in this context', and then uses the Sausage Lemma [11, Theorem 9.10] without giving the precise statement or verifying the hypotheses for deformation spaces of free splittings with arbitrary vertex groups, which may be infinite or non-Grushko factors. The constant C(φ)=3 dim O(G) λ(φ)^{3D+1} is taken verbatim from the Culler-Vogtmann argument. Since Corollary 6.10 and the abstract's 'uniformly locally finite' assertion depend directly on Lemma 6.9, this is a load-bearing gap. Please provide a proof of the thickness bound in the free-product deformation space, or a precise citation covering that generality, or restrict the uniformity claim accordingly. The non-uniform Theorem 6.4 would survive in any case.","section":"Section 6, Lemma 6.9"},{"comment":"In the second case of the proof, the quantity C = sup{LX(γ) - LY(p(γ)) : γ ∈ Σ} is asserted to be a maximum by the Bounded Cancellation Lemma and discreteness. Edge lengths in O(G) are arbitrary positive reals, so the set of values is not in general discrete; for rationally independent edge lengths it can be dense. The argument needs to justify attainment instead by observing that, by construction, every γ ∈ Σ crosses exactly one p-illegal turn, so the cancellation amount is a fixed constant determined by that turn. With that observation the maximum is attained and the subsequent surgery argument is valid, but as written this step is not fully justified.","section":"Proposition 5.4"}],"minor_comments":[{"comment":"The remark claims that every result remains true for deformation spaces of non-connected graphs of groups, but no proof or precise reference is supplied for this extension. Either prove the claim or mark it as an expected generalization, since a reader cannot verify it from the material in the paper.","section":"Remark 1.2"},{"comment":"The first estimate says 'the number of turns crossed by an element of A∆' is bounded by λφ(X∆)4D|A∆|; this should say 'by the φ-image of an element of A∆', since otherwise the factor λφ(X∆) is unexplained.","section":"Lemma 6.8"},{"comment":"The displayed main theorem is labelled 'Theorems 6.4 and 6.10', but the second result is Corollary 6.10 and is stated as a corollary. Please correct the cross-reference and the wording in the abstract and introduction.","section":"Introduction and cross-references"},{"comment":"There are several typos and spacing errors: 'unifo rmly' in the abstract, 'emtpy' in Remark 7.24, and 'the the closure' in Definition 7.5. These should be corrected before publication.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on [11] and [12], both by the same authors, and [12] is an arXiv preprint rather than a published article. The editors may wish to confirm the status of [12] and ensure the cited results are accepted. The transfer claimed in Lemma 6.9 is exactly the point that a specialist referee should verify; if it fails, only Theorem 6.4 survives."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague —\n\nThe short version: this paper proves something new and worth knowing. For an irreducible automorphism of a free splitting with λ(φ) > 1, the minimally displaced set Min(φ) is locally finite, and the paper finds a finite list of \"critical\" folds that account for all adjacent min simplices. The local finiteness theorem (Theorem 6.4) looks sound. The uniform version (Corollary 6.10) is the soft spot: it depends on Lemma 6.9, which imports Bestvina's ε-thickness bound from Culler–Vogtmann space with the remark \"the proof is the same in this context.\" No proof is supplied for the transfer to free-product deformation spaces with arbitrary vertex groups. If that transfer fails, Corollary 6.10 does not follow; Theorem 6.4 survives, because it never uses Lemma 6.9.\n\nWhat is actually good: the critical/regular turn decomposition is a real idea. The paper makes a finite list of turns (candidate critical plus illegal turns of a train track map) and shows that folding any regular turn forces you out of the minset. Proposition 4.19 and the folding-path argument in Section 5 give a clean path to local finiteness. The result is effective in the sense that the finite list is explicit, so it has algorithmic consequences for conjugacy and reducibility problems in relative outer automorphism groups.\n\nThe heavy reliance on the authors' own prior work ([11,12]) is not itself a problem—those are published or available, and the new contribution is the turn analysis. But the uniform bound is another matter. Lemma 6.9 asserts two imported bounds: Bestvina's thickness and the Sausage Lemma. The latter comes from [11], but the former is only asserted to extend. In a deformation space with infinite or non-Grushko vertex groups, the thickness constant might depend on the vertex groups, not just on D and λ(φ). The paper gives no argument that it does not. A referee should ask for either a proof of the transfer or a statement of the uniform result as conditional.\n\nWho this is for: geometric group theorists working on outer automorphism groups, deformation spaces, train tracks, and algorithmic questions about Out(F_n) and free products. A serious referee should get this paper; the main theorem deserves testing, and the gap in Lemma 6.9 is local and fixable or excisable.\n\nI would send it to review, and I would ask the referee to focus on Section 6. If I were working in the area, I would cite Theorem 6.4 even if Corollary 6.10 needs a patch.","headline":"A genuinely new local finiteness theorem for minsets of irreducible automorphisms, with the uniform version resting on an unproved transfer of Bestvina's thickness bound.","tokens_in":27980,"tokens_out":3203,"would_cite":true,"duration_ms":33194,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-14T15:51:44.540285+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":1}