{"id":"5c3b1c5c-0a53-47fb-9643-ecb9a80ecc8a","arxiv_id":"2607.22593","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Roughly-prestrained ribbons show a proven shape transition: narrow minimizers equal the reference second fundamental form, wide minimizers deviate whenever its determinant is non-zero.","lead":"This mathematics paper derives one-dimensional limit theories for thin elastic ribbons whose internal prestrain is rough (layer-dependent), generalizing prior smooth analyses. It proves that narrow ribbons adopt the reference bending while wide ribbons deviate when the reference geometry is Gauss-incompatible — a rigorous shape-transition result for experimentally relevant prestrain classes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Wide-regime 'generic' claim rests on P₂(II)=–II; for x2-dependent II22 the 1D functional J0 is not sharp, so the abstract overstates the theorem.","rationale":"The reader's weakest assumption identifies exactly the load-bearing point: the wide-ribbon leg of the central claim is proved only under P₂(II)=–II. My analysis strengthens this from 'missing proof for generic B' to 'the stated J0 is likely not the correct Γ-limit for generic B'. The explicit B with R=diag(1,ηx2) shows a concrete competitor with energy η²/288 while J0 predicts 0; this indicates the Jensen step in the lower-bound proof is not sharp unless the x2-dependence of II22 is absent. Thus the abstract's 'generically' overreaches. However, the paper itself discloses the assumption in Theorem 6.4 and §6, and the narrow-ribbon theorem (Theorem 5.1) is complete and appears sound. The correct disposition is therefore the reader's CONDITIONAL verdict, with the condition expanded to: either prove the wide Γ-limit for generic B (which the example suggests is impossible) or explicitly restrict all wide-regime claims to the P₂(II)=–II class, revising the abstract. Since the reader already chose CONDITIONAL, no verdict change is needed.","tokens_in":33637,"tokens_out":22724,"duration_ms":254517,"concrete_test":"Compute the actual wide Γ-limit for the explicit B(x1,x2,x3) = -x3 diag(1, η x2) on (0,1)×(-1/2,1/2)² with Q2=|·|² and α+=α-=1. Because J_w has no x2 derivative, the w→0 Γ-limit should be the relaxed functional (1/24)∫_S [|M(x')-R(x')|² + (det M)_+ + (det M)_-] dx' over limits M with M11, M12 depending only on x1 and M22∈L²(S). Compare inf of this functional with the paper's J0 over –II. If the inf is positive while J0's inf is 0, then Theorem 6.4's J0 is not the wide Γ-limit for this B, confirming that P₂(II)=–II is necessary and the abstract's 'generically' is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The wide-ribbon shape-transition claim depends on Theorem 6.4, whose recovery half is proved only under P₂(II)=–II (§6). This is not a harmless technical assumption: when the reference second fundamental form II has a genuinely x2-dependent (2,2)-component, the displayed J0 is probably not the Γ-limit. The lower-bound proof applies Jensen to pass from the full limit II(x1,x2) to the x2-average –II; equality in Jensen forces the x2-dependence of the integrand to be trivial. With II22(x2), sequences can beat the averaged functional by letting the limiting II22 track II22. For example, take Q2=|·|², α+=α-=1, and choose B = -x3 diag(1, η x2), so the reference form on S is R = diag(1, η x2) and its midline average is –R = diag(1,0). The cylinder with liming II = diag(1,0) has J_w = (η²/24)∫_{-1/2}^{1/2} x2² dx2 = η²/288, while the claimed J0(–II) for –II=diag(1,0) is 0. Hence the lower bound is not attained and no recovery sequence can realize J0; the effective wide limit must retain the full x2-dependence. The abstract's 'generically' therefore asserts a theorem that is not established and, as stated, fails for this simple B. The narrow-ribbon half (Theorem 5.1) is unaffected.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives one-dimensional Γ-limits for prestrained ribbons with rough prestrain of the form P_{t,w}^{-1}=I+tB(x_1,x_2/w,x_3/t)+o(t), B∈L^∞, starting from three-dimensional nonlinear elasticity. In the narrow regime w^2≪t, Theorem 5.1 proves compactness and Γ-convergence to I_0(–II)=(1/24)∫Q_2(–II−–II)dx_1+C_excess, with explicit formulas for the reference second fundamental form, excess energy, and reference geodesic curvature; the minimizer is –II=–II. In the wide regime, Theorem 6.4 derives a lower bound and a conditional Γ-limit J_0 with a Gauss-incompatibility penalty α^+_Q(det –II)^++α^-_Q(det –II)^-, asserting a shape transition. The wide-recovery statement, however, is proved only under the structural assumption P_2(II)=–II. The paper also contains a plate-limit adaptation from [PG22] in Appendix B and diagonalization arguments in Appendix A.","tokens_in":33966,"tokens_out":10243,"duration_ms":116169,"significance":"If the narrow-ribbon theorem is taken as the main contribution, this is a solid and useful piece of dimension reduction: the formulas for C_excess, –II, and κ_g are explicit in W and B, the proof of Theorem 5.1 is essentially self-contained (compactness via FJM02/FMP12, the MM25 structure lemma, Jensen lower bound, ODE-frame recovery, and diagonalization), and no parameter is fitted. The wide-ribbon result is genuinely conditional: it gives a sharp 1D functional only when P_2(II)=–II, and the abstract's phrase 'generically not the case' is not supported by the theorem as stated. The paper would be publishable if the conditional nature of the wide leg is made prominent and the overreach in the abstract/introduction is corrected.","major_comments":[{"comment":"The wide-ribbon shape-transition claim is not established for general B. Theorem 6.4(ii) requires P_2(II)=–II, and for B with genuinely x_2-dependent II_{22} the displayed J_0 is not the Γ-limit. For example, take Q_2=|·|^2, α^±_Q as in (6.4), and B=-x_3 diag(1, η x_2). Then (4.4) gives II=diag(1, ηx_2), –II=diag(1,0), and P_2(II)≠–II. A cylinder with II_y=diag(1,0) has J_w=(1/24)∫|diag(1,0)−diag(1,ηx_2)|^2 dx'=η^2/288, while J_0(–II)=0. Thus the lower bound of Theorem 6.4(i) is not attained and no recovery sequence can realize J_0. The abstract's 'generically' therefore asserts more than is proved, and the claim fails for this simple B. The authors should either state the wide result as conditional, prove a counterexample/negative result for the general case, or qualify the abstract accordingly.","section":"Abstract; §1.2; Theorem 6.4(ii)"},{"comment":"The recovery-sequence proof is not supplied; it is delegated to [MM25, Proof of Theorem 5.6]. That reference assumes B is independent of x_2, so P_2(II)=–II holds automatically. The present assumption P_2(II)=–II is a different, weaker condition, and it is not immediate that the construction extends verbatim. Since the whole wide leg of the shape-transition claim rests on this recovery step, the manuscript should either reproduce the adapted construction and verify all hypotheses, or explicitly mark it as an open problem and remove the corresponding claims from the abstract and introduction.","section":"Theorem 6.4(ii), §6"}],"minor_comments":[{"comment":"The two occurrences of 'I I' in (5.9) refer to different objects: the associated second fundamental form on the left and the reference form on the right. As printed, the identity is not correct. Please disambiguate the notation (e.g., use A for the associated form and R for the reference form) and write the first term on the right as A−P_2(R), with cross terms justified by orthogonality.","section":"Eq. (5.9)–(5.10)"},{"comment":"The paper uses both C^{(0)}_{excess} (the plate-level excess energy in Theorem 6.2) and C_excess (the wide-ribbon excess energy in (6.3)). The passage from one to the other in the proof of Theorem 6.4(i) is not explained; a sentence clarifying that the difference is exactly the P_2-projection term would help.","section":"§6, Theorem 6.4"},{"comment":"Even if the authors choose to keep the wide result conditional, the abstract should not say 'for wide ribbons this is generically not the case' without at least a parenthetical qualification pointing to the structural assumption. As it stands, the abstract overstates the theorem.","section":"Abstract"},{"comment":"Minor typos and presentation issues: 'straight forward' (p. 17), the subscript/superscript formatting around eKn_3 in the proof of Theorem 5.1, and the repeated use of 'I I' for different tensors in Section 5 make the already dense notation harder to follow.","section":"Various"}],"recommendation":"major_revision","confidential_remarks":"The paper has a solid narrow-ribbon theorem and a genuinely conditional wide-ribbon theorem. The main obstacle to acceptance is the mismatch between the advertised 'generic' shape-transition claim and the hypothesis P_2(II)=–II under which the wide Γ-limit is proved. The counterexample in my major comment is simple enough that the authors should be able to address the overclaim directly; no fairness issue arises if they restrict the statement. I would not recommend rejection, but the wide-regime recovery argument should either be supplied or explicitly labelled as open before the paper is accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The narrow-ribbon half is genuinely good. Theorem 5.1 is a complete Γ-convergence result for rough prestrains B∈L^∞, with explicit compactness, lower bound, and recovery sequence, and the formulas for the reference second fundamental form and the excess energy are clean and free of fitted parameters. That extends Maor–Mora from smooth prestrains to the piecewise-constant, multi-layer case that actually appears in the bilayered sheets and seed-pod experiments, so it is worth taking seriously.\n\nThe wide-ribbon half is where I part ways. Theorem 6.4 is proved only under P2(II)=–II, i.e., the reference second fundamental form is x2-independent, and the recovery sequence is imported from [MM25]. The abstract says 'generically' for wide ribbons without this caveat. That is not a minor omission. For any B whose II22 depends on x2, the displayed J0 is likely not the Γ-limit. The stress-test example is simple and it lands: take B = -x3 diag(1, η x2), so II = diag(1, η x2) and the plate energy for a limiting cylinder with II = diag(1,0) is η²/288, while J0(–II) for –II = diag(1,0) is 0. No recovery sequence can achieve the lower bound, so the claimed wide-limit functional is not sharp. The paper acknowledges the assumption in §6, but the abstract does not, and the 'generically' overstates what is proven.\n\nThe other debt is to the advisor's [MM25]: Lemma 4.6 and the wide recovery argument are used as black boxes. That is a provenance issue rather than a flaw, but it means the autonomous content is a bit less than it first appears.\n\nThe narrow result deserves to be published. The wide claim needs either a proof for generic B or an explicit restriction to the x2-independent case, and the counterexample shows the current J0 cannot be the full wide Γ-limit. I would send this to a competent referee, with the expectation of substantial revision: fix the abstract, restrict the wide theorem honestly, and ideally supply the wide recovery or else a clear counterexample to the general claim. The narrow half could plausibly be extracted and published on its own.","headline":"Solid narrow-ribbon Γ-limit with a real wide-ribbon gap: the abstract overstates what is proven for generic prestrains.","tokens_in":34536,"tokens_out":5554,"would_cite":true,"duration_ms":55088,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49J45","74K10","74K20","74G65"],"pacs":[],"model":"deepseek-v4-flash","headline":"Rough prestrains in elastic ribbons produce a shape transition: narrow minimizers match the reference bending, wide minimizers deviate when the reference form is Gauss-incompatible.","keywords":["shape transition","thin elastic ribbons","prestrain","Gamma-convergence","non-Euclidean elasticity","second fundamental form","dimension reduction","rough prestrain"],"falsifier":"Compute the wide-ribbon Γ-limit for a prestrain B whose (2,2)-component depends on x₂ (so P₂(II)≠IĪ). If a recovery sequence can be built that matches the lower bound including a new term, the shape-transition picture changes; if no such sequence exists, the structural assumption is essential. Alternatively, in an experiment, take a bilayered ribbon with Gauss-incompatible reference form and vary aspect ratio; measuring the midline second fundamental form in the wide regime would confirm deviation, while in the narrow regime it should match the reference form.","tokens_in":33415,"feed_emoji":"📐","tokens_out":5166,"duration_ms":49138,"temperature":0.7,"pith_summary":"This paper derives one-dimensional variational limits for thin elastic ribbons whose internal prestrain is rough (L∞, piecewise-constant across the thickness), starting from three-dimensional nonlinear elasticity via Γ-convergence. It claims that in the narrow-ribbon regime (thickness squared negligible compared to width), the limiting energy is minimized exactly when the ribbon's second fundamental form along the midline equals the reference second fundamental form set by the prestrain. In the wide-ribbon regime (width shrinks after thickness), the limiting energy contains an extra determinant penalty, so minimizers deviate from the reference form whenever that reference form has nonzero determinant — i.e., is Gauss-incompatible with a Euclidean embedding. This proves rigorously a shape-transition phenomenon observed in experiments, and extends prior smooth-prestrain results to physically relevant rough (e.g., multi-layer) geometries. A positive excess energy shows the natural energy scaling is order t.","feed_headline":"Wide ribbons bend away from their reference shape; narrow ones do not","feed_subtitle":"A Gamma-convergence analysis shows the wide-ribbon energy penalizes nonzero determinant, shifting the minimizer.","key_machinery":"The argument rides on a structure theorem for the scaled limiting strain of finite-energy configurations: the 2×2 leading block of the scaled strain has the form x3·II + a matrix whose (1,1)-component is affine in x2 (equivalently, ∂₂²G₁₁=0). This structure, combined with orthogonal projections onto subspaces of matrix fields adapted to the ribbon geometry, yields the reference second fundamental form IĪ and the excess energy C_excess. The wide-ribbon limit is obtained by first taking a plate limit (Γ-convergence to a Kirchhoff-type bending energy) and then letting the width go to zero, where the Gauss equation det II=0 forces the determinant penalty terms with constants α±_Q.","core_discovery":"The central discovery is that the rough-prestrain ribbon energy, scaled by t², Γ-converges to two different one-dimensional theories depending on the relative vanishing of width and thickness. For narrow ribbons (w²≪t), the Γ-limit is I0(II)=1/24∫ Q2(II–IĪ) dx1 + C_excess, whose unique minimizer is II=IĪ, the reference second fundamental form. For wide ribbons, after iterating the limits, the Γ-limit is J0(II)=1/24∫ [Q2(II–IĪ)+α+_Q(det II)⁺+α⁻_Q(det II)⁻] dx1 + C_excess, so whenever det IĪ≠0 the minimizer satisfies |II_min−IĪ|≥c|κ₁|>0 and differs from the reference form. The difference is driven by the determinant penalty terms, which encode the Gauss constraint that a limiting surface'","pith_inferences":["The determinant-penalty mechanism suggests a selection principle: in wide ribbons the Gauss constraint acts as a hard constraint on the limiting shape, while narrow ribbons evade it; this could be tested by comparing measured midline curvatures of ribbons cut from the same prestrain field but with different width-to-thickness ratios.","A natural extension would be to relax the structural assumption P₂(II)=IĪ: one expects the lower bound to hold without it, and the missing piece is a recovery sequence; a counterexample with x2-dependent II22 might reveal whether the limiting energy gains an additional term.","The excess energy decomposition identifies the part of the prestrain that is not simultaneously 'bendable' and 'stretchable'; in materials design, tuning B to make C_excess vanish could suppress shape transitions and yield configuration-independent bending.","The same Γ-convergence framework could be pushed to the intermediate regime w²∼t, which the paper notes is open, to see whether the transition is sharp or smeared over a range of aspect ratios."],"forward_implications":["In the narrow regime, the bending minimizer is exactly the reference second fundamental form, so rough-prestrain ribbons of this geometry do not show shape transitions.","In the wide regime, Gauss-incompatible reference forms (det IĪ≠0) force the midline second fundamental form of minimizers to differ from the reference form by a definite amount, proving a shape transition.","Generically, the excess energy C_excess is positive, which establishes that the natural energy scaling is ε∼t for rough prestrains (as for non-Euclidean plates and rods), not the lower scalings possible for smooth prestrains.","For prestrains of bilayered or piecewise-constant form, C_excess is positive, so the result applies to many experimental multi-layer geometries.","The compactness statements imply approximate minimizers of the 3D energies converge to minimizers of the derived 1D theories."],"fun_headline_variants":["Narrow ribbons match reference shape; wide ribbons deviate","Ribbon width flips energy minimizer, proving shape transition","Wide ribbons fight their reference shape, narrow embrace it","Gamma-convergence shows why wide ribbons bend differently","Shape transition in ribbons depends on width, new proof"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The wide-ribbon result is proven only when the reference bending does not vary with the width coordinate after projection, and its recovery sequence is imported from a prior paper; without that condition the wide-regime limit is not established.","fun_headline_variants_meta":{"raw":{"variants":["Narrow ribbons match reference shape; wide ribbons deviate","Ribbon width flips energy minimizer, proving shape transition","Wide ribbons fight their reference shape, narrow embrace it","Gamma-convergence shows why wide ribbons bend differently","Shape transition in ribbons depends on width, new proof"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000235,"raw_usage":{"total_tokens":1340,"prompt_tokens":751,"completion_tokens":589,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":495,"completion_tokens_details":{"reasoning_tokens":509}},"tokens_in":495,"tokens_out":589,"duration_ms":6302,"temperature":1.0,"reasoning_tokens":509,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T11:43:16.759223+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the wide-ribbon Γ-limit for a prestrain B whose (2,2)-component depends on x₂ (so P₂(II)≠IĪ). If a recovery sequence can be built that matches the lower bound including a new term, the shape-transition picture changes; if no such sequence exists, the structural assumption is essential. Alternatively, in an experiment, take a bilayered ribbon with Gauss-incompatible reference form and vary aspect ratio; measuring the midline second fundamental form in the wide regime would confirm deviation, while in the narrow regime it should match the reference form.","supporting_citations":[],"review_version":1}