{"id":"b05efc7b-c578-4d20-ad0f-c9833ed9b352","arxiv_id":"2508.18979","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For complete curves under the elastic flow, planar embeddedness is preserved below an optimal energy threshold near 10.906581, graphicality in any codimension below 8 − 4√2, and every self-intersecting complete planar curve has energy at least 8.","lead":"Bending, stretching curves can tangle or tip over while they evolve. This paper proves exact energy cutoffs that keep complete curves embedded (below about 10.91, in the plane) and graphical (below 8 − 4√2, in any dimension), and identifies the extreme shapes at the boundary.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.2's one-sentence exclusion of |N|≥3/2 minimizers is the pivotal unverified step; if it fails, the pendant threshold E[γP] moves.","rationale":"I reviewed the argument chain leading to Theorem 1.1. The central claim is that the elastic pendant γP is the unique minimizer of the adapted energy E among complete planar curves with rotation number zero and a tangential self-intersection (Theorem 4.7). The proof of Theorem 4.7 splits into two main cases. Case 1 (opposite tangent directions) is a clean concatenation of two semi-infinite arc minimizers (Theorem 3.1) and one compact arc minimizer (Theorem 4.3). The compact arc minimizer is the teardrop, and its derivation via Theorem 4.2 is where the proof becomes fragile. Theorem 4.2's direct method produces a smooth elastica minimizer; the proof then asserts, without demonstration, that its rotation number cannot be 3/2, 5/2, etc., citing [14, Theorem 2.1]. This is not a routine classification detail: it is the only step eliminating entire families of candidate minimizers. If an orbitlike elastica with |N|≥3/2 had smaller scale-invariant LB than the teardrop, then Cauchy–Schwarz in Theorem 4.3 would give a lower energy for the compact arc, lowering E[γP] and invalidating the threshold. The reader's verdict already flags this import; my reading agrees. The rest of the paper is plausible: Theorem 3.1 is a reasonable extension of [13, Theorem 3.7], Lemma 5.2 is explicit and correct, and the direct-method argument in Theorem 5.1 is novel and internally consistent. But the |N|≥3/2 exclusion is the load-bearing external dependency. The proposed concrete test—numerically shooting the elastica branches for higher rotation numbers or checking the hypotheses of [14, Theorem 2.1]—would settle whether this concern lands. Since the reader already issued CONDITIONAL, and my concern is the same one, I recommend no change to the verdict.","tokens_in":20084,"tokens_out":24111,"duration_ms":209159,"concrete_test":"Independently compute the infimum of LB among admissible arcs with |N|=3/2 (and 5/2) by shooting the elastica ODE (e.g., the wavelike/orbitlike family in [9]) with boundary conditions γ(0)=γ(1)=0, ∂sγ(0)=−∂sγ(1)=e1, using the exact parametrization of γT from (4.1). If any branch has LB < L[γT]B[γT], Theorem 4.2 is false. Alternatively, read [14, Theorem 2.1] and verify its hypotheses apply to the direct-method minimizer of Theorem 4.2; if the theorem concerns a different class (e.g., closed curves or different boundary conditions), the one-sentence exclusion is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The sharp threshold in Theorem 1.1 rests on Theorem 4.7, whose key ingredient is Theorem 4.3. The proof of Theorem 4.3 depends on Theorem 4.2, where the global LB-minimizer is shown to have |N|=1/2. The exclusion of |N|≥3/2 is dispatched in one sentence: 'then by the well-known classification of planar elasticae ... the only possibility is an orbitlike elastica with more than one period of the curvature, but this contradicts the minimality [14, Theorem 2.1]' (Section 4, proof of Theorem 4.2). This is the sole argument ruling out all higher-rotation-number arcs; if a k≥1 orbitlike elastica branch had LB < L[γT]B[γT], the value E[γP]=8−4√2+E[ˆγT] would not be the true minimizer and the threshold in Theorem 1.1 would move. The paper does not state the hypotheses of [14, Theorem 2.1] or show they are met by the direct-method minimizer (which is only an LB-minimizer among arcs with γ(0)=γ(1), ∂sγ(0)=−∂sγ(1)=e1, not obviously a 'minimal elastic curve' in the sense of [14]). Without this exclusion, Theorems 4.2, 4.3, 4.7, and hence the embeddedness-preservation and optimality claims in Theorem 1.1 are not self-contained.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the elastic flow (EF) of complete, non-compact curves in Euclidean space, using the adapted elastic energy E = B + D introduced in the authors' prior work. The main results are: (1) Theorem 1.4: if a complete curve in R^n is graphical and E ≤ E(γS)=8−4√2, then graphicality is preserved, and the threshold is optimal; (2) Theorem 1.1: if a planar complete embedded curve has E ≤ E(γP)≈10.906581, then embeddedness is preserved and the flow converges to a line, and the threshold is optimal; (3) Theorem 5.6: a new Li–Yau type inequality for self-intersecting complete planar curves, E ≥ 8, with rigidity for the borderline elastica. The proofs combine variational minimization of E under geometric constraints (semi-infinite arcs, tangential self-intersections, self-intersections) with the energy-decay and well-posedness theory of [12].","tokens_in":20268,"tokens_out":6613,"duration_ms":56999,"significance":"If correct, the paper provides the first optimal energy thresholds for positivity-preservation of a fourth-order geometric flow in the complete, non-compact setting, with explicit extremal shapes (the elastic serpent and the elastic pendant) and optimality via explicit perturbations. The variational characterizations of the teardrop elastica and the pendant are of independent interest, and the Li–Yau inequality for complete curves is a new result. The paper is generally well-written and many computations are explicit and checkable (e.g., Lemma 3.5, Lemma 5.2). However, two load-bearing steps are not fully verified: the exclusion of higher-rotation-number minimizers in Theorem 4.2 and the application of Theorem 4.3 to cuspidal pieces in Lemma 4.9.","major_comments":[{"comment":"The proof excludes minimizers with |N[γ]|≥3/2 by a single sentence: 'then by the well-known classification of planar elasticae ... this contradicts the minimality [14, Theorem 2.1].' This step is load-bearing: it identifies the teardrop as the unique LB-minimizer, which underlies Theorem 4.3, Theorem 4.7, and the sharp threshold in Theorem 1.1. The manuscript does not state the hypotheses of [14, Theorem 2.1] nor verify that the direct-method minimizer (which minimizes LB only among arcs with γ(0)=γ(1), ∂sγ(0)=-∂sγ(1)=e1) is a 'minimal elastic curve' in the sense of [14]. Please provide a full statement and a verification, or give a self-contained proof of the exclusion.","section":"§4, proof of Theorem 4.2"},{"comment":"The proof applies Theorem 4.3 to the compact part γ0 obtained by cutting a figure-eight elastica, but γ0 is described as a 'C^0-closed curve with a cusp.' Theorem 4.3 requires γ∈W^{2,2}(0,1;R^2) with γ(0)=γ(1) and ∂sγ(0)=-∂sγ(1); a cuspidal curve is not an immersion and cannot satisfy the C^1 boundary condition in the usual sense. Since Lemma 4.9 is used in Theorem 4.7 to rule out same-direction self-intersections, this gap must be addressed (e.g., by a regularization argument or a direct estimate for cuspidal loops).","section":"§4, Lemma 4.9"},{"comment":"In the same-direction case with N[γ2]=0, the proof invokes [15, Theorem 1.2] to conclude E[γ2]≥E[γ8] for a closed curve γ2 with N[γ2]=0. The quoted theorem is not stated, and it is not clear that its hypotheses (e.g., curve class, length normalization) are met by γ2 after applying Lemma 2.1. Since this bound is used to prove the strict inequality E[γ]>E[γP], the authors should provide the precise statement and verify the applicability.","section":"§4, proof of Theorem 4.7, Case 2"}],"minor_comments":[{"comment":"The numerical correction C2T≈146.664860 (as opposed to 146.628 in [11]) is stated without derivation. Since this corrects a published value, please include the computation or a precise reference.","section":"§4, Remark 4.4"},{"comment":"The phrase 'the integrand of L and of D agree up to a null Lagrangian' is imprecise; the integrands differ pointwise, while the first variations coincide. Suggest rewording.","section":"§3, proof of Theorem 3.1"},{"comment":"Load-bearing results from [11], [12], [14], and [15] are invoked without stating their exact statements. Consider adding a 'Quoted theorems' subsection to make the manuscript more self-contained.","section":"General"},{"comment":"Typos: 'F ABIAN RUPP' in the author line; '∂xw0(0)=0 for x=1,...,4' in Lemma 3.5 should read '∂^k_x w0(0)=0 for k=1,...,4'.","section":"Throughout"},{"comment":"The cut-and-paste procedure in Lemma 4.9 is central but only described in the figure caption; the text should define the cutting points and the inserted segments precisely, especially because the regularity of the resulting compact part is in question (see major comment).","section":"§4, Figure 5"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' own prior work ([11], [12], [13], [14], [15]) for load-bearing statements. In particular, the pivotal step in Theorem 4.2 invokes [14, Theorem 2.1] without verification of hypotheses, and Theorem 4.1 is quoted from [11]. I recommend that the editor ensure these prior results are carefully scrutinized and, ideally, that the authors provide full statements or self-contained proofs of the imported results. The numerical correction in Remark 4.4 may also warrant a corrigendum to [11]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on Miura-Rupp. The paper does something real: it transplants the authors' closed-curve optimal-threshold program to complete, infinite-length curves using the adapted energy E = B + D, and gets the first sharp embeddedness and graphicality thresholds in that regime. The graphicality threshold 8-4√2 and the embeddedness threshold E[γP] ≈ 10.9066, with the elastic pendant as the unique extremal shape, are new. The Li-Yau type inequality E ≥ 8 for self-intersecting planar complete curves (Theorem 5.6) is a clean addition, and the direct-method argument in Theorem 5.1 with rotation-number control is a genuine piece of work, not a hand-wave. The paper is also honest about what is imported and what remains open (Conjecture 5.9, higher codimension).\n\nThe soft spots are in proportion to how the paper is built. The biggest is Theorem 4.2, where the exclusion of minimizers with |N| ≥ 3/2 is dispatched in one sentence by citing [14, Theorem 2.1]. The stress-test note is right that the hypotheses of that theorem are not stated, and the minimizer from the direct method is only an LB-minimizer under specific boundary conditions, not obviously a 'minimal elastic curve' in the sense of [14]. That is a real gap in self-containedness, but I would not call it fatal: the classification of planar elasticae is well-established, and the authors' prior work [11] already used the same two-teardrop minimality. Still, a referee should ask for a proof or a precise statement of the cited rigidity. The other weak spot is Lemma 4.9, whose cut-and-paste proof leans on a figure and terse description; it's probably right, but it needs more details. Theorem 3.1 is sketched as parallel to [13], which is acceptable for a paper in this line.\n\nThe citation pattern is heavily self-referential, but that's not a flaw when the prior results are formally verified or externally reproducible; here the core imports are from the authors' own published work, and they are clear about it. The numerical chain (E[γP] = 8-4√2+E[γ̂T], C2T ≈ 146.665 vs the printed 146.628) is consistent and the correction is a useful service.\n\nBottom line: this is a paper for people working on higher-order geometric flows and elastic curves. It deserves a serious referee, and I would send it with the specific request to check Theorem 4.2 and Lemma 4.9. I would not desk-reject it.","headline":"Sharp thresholds for complete-curve elastic flow that look right in the main, with one imported-minimality step that deserves referee scrutiny.","tokens_in":21051,"tokens_out":2397,"would_cite":true,"duration_ms":22156,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E40","53A04","49Q10"],"pacs":[],"model":"deepseek-v4-flash","headline":"An energy threshold set by the elastic pendant determines whether the elastic flow of a complete planar curve preserves embeddedness.","keywords":["elastic flow","complete curves","embeddedness","graphicality","energy threshold","adapted elastic energy","Li–Yau inequality","borderline elastica"],"falsifier":"Run the elastic flow numerically from an embedded curve obtained by perturbing the elastic pendant with energy just below E[γP] and check whether any self-intersection appears before convergence; independently, compute the closed two-teardrop quantity L[γ2T]B[γ2T] to verify the imported minimality constant that fixes the pendant energy.","tokens_in":19707,"feed_emoji":"➰","tokens_out":4625,"duration_ms":46518,"temperature":0.7,"pith_summary":"This paper proves that for the elastic flow of complete, infinite-length planar curves, a single energy number decides whether an embedded curve stays embedded for all time. The threshold is the energy of an explicit shape called the elastic pendant, about 10.906581; any embedded initial curve with adapted energy at or below this value remains embedded and converges to a straight line, and the threshold is optimal because slightly more energy allows embeddedness to break. The paper also proves a sharp graphicality threshold, 8−4√2, determined by an 'elastic serpent' shape, valid in every codimension. A companion Li–Yau type inequality says any complete planar self-intersecting curve has energy at least 8, with equality only for the borderline elastica. These results replace maximum-principle arguments, which are unavailable for fourth-order flows, with variational energy comparisons.","feed_headline":"Sharp energy threshold keeps complete elastic curves embedded","feed_subtitle":"Below the elastic pendant's energy, a complete planar curve stays embedded and straightens out.","key_machinery":"The adapted elastic energy E[γ]=B[γ]+D[γ], where D[γ]=½∫|∂sγ−e1|²ds is the direction energy: it is finite for complete curves, equals the usual length up to a null Lagrangian on closed arcs, and decays along the flow. The proof pivots on four variational minimizers: semi-infinite borderline-elastica arcs for a prescribed initial angle (Theorem 3.1), the teardrop elastica for C¹-closed arcs with opposite endpoint tangents (Theorems 4.2–4.3), the elastic pendant for zero-rotation complete curves with a tangential self-intersection (Theorem 4.7), and the borderline elastica for self-intersecting curves in general (Theorem 5.6). These variational characterizations supply energy thresholds that p","core_discovery":"The central discovery is that positivity preservation for the fourth-order elastic flow can be settled by minimizing the adapted elastic energy E=B+D, where D measures deviation of the tangent from a fixed direction, instead of the canonical elastic energy, which is infinite for complete curves. The paper identifies the elastic pendant as the minimizer of E among complete planar curves with zero rotation number and a tangential self-intersection, and shows its energy is the exact threshold: below it, embeddedness is preserved forever; above it, embeddedness can break in finite time. For graphicality, the elastic serpent, built from two reflected arcs of the borderline elastica, gives the sha","pith_inferences":["If the same energy-method transfers to higher codimension, the embeddedness threshold should be the borderline-elastica energy 8 rather than the planar pendant value, as the paper itself suggests; this would mirror the codimension-dependent thresholds already known for closed curves.","The proof structure suggests that embeddedness-breaking for complete planar curves always nucleates as a tangential self-intersection with zero rotation number, so numerical searches near the threshold could focus on one-loop tangential perturbations.","The Li–Yau inequality E≥8 for self-intersecting complete planar curves may extend to all codimensions, but the paper explains why the direct method fails there: semi-infinite arcs alone can have zero energy, so a free-boundary variational problem is needed.","An independent numerical computation of the closed two-teardrop quantity L[γ2T]B[γ2T] would directly test the load-bearing constant behind the pendant threshold."],"forward_implications":["For any embedded complete planar initial curve with E≤E[γP]≈10.906581, the elastic flow remains embedded for all time and converges to a straight line, with all curvature derivatives tending to zero.","The threshold is sharp: for any ε>0 there is an embedded initial curve with E