{"id":"5861cacf-65a0-4642-94b3-678b811a917c","arxiv_id":"1908.06276","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Balanced, non-degenerate node configurations on a flat torus produce 1-parameter families of embedded, non-periodic minimal surfaces of infinite genus, with prescribed stacking disorder.","lead":"This paper proves that many patterns of disordered stacking of catenoid necks between flat tori can be realized as smooth embedded minimal surfaces. It gives rigorous mathematical models for twinning defects in periodic minimal surfaces, including surfaces that approach a regular periodic surface exponentially fast at infinity.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Embeddedness proof in §3.7 relies on an unproved exchange of limits in neck annuli; Remark 3.3 defers to [MT12] without a precise lemma, leaving the central existence claim conditional.","rationale":"The reader's formal weakest_assumption was the open non-degeneracy of C≠0 solutions, which is a real limitation for the examples but does not endanger Theorem 1.5 itself: the C=0 case already provides uncountably many balanced, non-degenerate configurations via sequences over the non-degenerate 2-division points. The more load-bearing issue is the embeddedness proof in Section 3.7, which the reader also flagged in the rationale. The paper is otherwise substantial: Section 5 gives a genuine infinite-node construction with smooth dependence in weighted spaces, and the balance equation is derived rather than assumed. The admitted non-rigorous step in Remark 3.3 is precisely where the central conclusion 'embedded stacked minimal surfaces with prescribed neck positions' is established. Because the authors themselves state the computation is not rigorous and only refer to an appendix in another paper without stating a precise lemma, the proof is not fully self-contained. This supports the reader's CONDITIONAL verdict; no adjustment is needed.","tokens_in":28831,"tokens_out":17744,"duration_ms":178367,"concrete_test":"Independently re-derive the neck-displacement estimate in Section 3.7 by expanding ω_t in the annuli A^±_k in the Laurent series indicated in Remark 3.3, following Appendix A of [MT12]. Specifically, compute the contributions of the singular and holomorphic parts to ∫_{w_{k−1}}^{w_k} dX_t and verify that as t → 0 the total tends to (−conj)^k q_k, with a uniform bound in k under Hypothesis 1.2. If the exchange of limits cannot be justified (for example, if a holomorphic term contributes a nonvanishing quantity of order t log t), then Theorem 1.5's embeddedness and neck-position conclusions are unsupported. Alternatively, identify the exact lemma in [MT12] that covers this torus case and confirm its hypotheses hold here.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.7's proof that the constructed surfaces M_t are embedded and that the necks have the prescribed limiting positions p_k rests on the limit (15) for the horizontal differential dX_t, which is only established on the fixed compact domains Omega_{k,r}. The points w_k(t) lie in the neck annuli A^±_k, which degenerate as t approaches 0, so the exchange of limits lim_{t→0} [X_t(w_k(t)) − X_t(w_{k−1}(t))] = q_k is not justified by uniform convergence on Omega_{k,r}. Remark 3.3 explicitly concedes this: 'This computation is not rigorous because the limit (15) only holds in Omega_{k,r}' and defers to Appendix A of [MT12], but no exact lemma is stated and the paper does not verify that the Laurent-series estimates there apply to the present setting of infinitely many tori with alternating moduli (−conj)^k τ. Since Theorem 1.5 asserts embeddedness and that limiting neck positions are prescribed by p, the central existence theorem is not fully proven as written. If the deferred estimate fails or is not uniform in k, the necks could drift horizontally and the claimed geometry would not follow. This is a missing proof rather than a contradiction with established consensus.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs 1-parameter families of embedded, non-periodic, infinite-genus minimal surfaces in T×R that degenerate to the horizontal foliation as t→0. The construction glues one catenoid neck between infinitely many flat tori with alternating moduli, using Weierstrass data and three consecutive implicit-function arguments (§3.3–§3.6) to solve the regularity, period, and balance problems. The balance condition is shown to be equivalent to constancy of G_k = G(q_k; τ), and Theorem 1.5 asserts existence for any balanced, non-degenerate, uniformly separated configuration. Section 2 produces examples from solutions of G(q; τ) = C, including TPMSs and twinning defects; Theorem 1.6 states that eventually periodic configurations are asymptotic to a TPMS. The paper is an extension of Traizet's node-opening scheme from finitely many tori and from the Riemann-sphere setting of [MT12] to infinitely many tori, and it connects the limit equations to Hecke forms, mean-field equations, and Painlevé VI.","tokens_in":29016,"tokens_out":7608,"duration_ms":76686,"significance":"If Theorem 1.5 holds, the paper solves a natural existence problem suggested by crystallographic twinning defects and gives uncountably many infinite-genus embedded minimal surfaces with prescribed stacking disorder. The construction is largely self-contained: the balance equation is derived by residue computation (Propositions 3.5–3.6), the fixed-point construction of the 1-form ω in §5 is explicit and detailed, and the weighted-space asymptotic estimates in §6 give quantitative decay. The examples tie the construction to known TPMS families (oPa, oCLP', o∆, H, rPD) and to prior results on the Hecke form. The main reservation is the embeddedness proof in §3.7, which contains an acknowledged non-rigorous step; this is the reason for recommending major revision rather than acceptance.","major_comments":[{"comment":"The embeddedness and the prescribed neck positions claimed in Theorem 1.5 depend on the limit lim_{t→0}(X_t(w_k(t)) − X_t(w_{k−1}(t))) = q_k, but the proof of (15) is only established on the fixed domains Ω_{k,r}, while w_k(t) lies in the annuli A^±_k, which degenerate as t→0. Remark 3.3 explicitly concedes that this computation is not rigorous and defers to Appendix A of [MT12], yet the paper states no lemma verifying that the Laurent-series estimates there apply to the present setting of infinitely many tori with alternating moduli τ_k = (−conj)^k τ, nor that the resulting estimates are uniform in k. Because the identification of the limiting neck positions is used to locate the convex curves γ^±_k and hence to conclude embeddedness via Shiffman's theorem, this missing exchange-of-limits argument is load-bearing for Theorem 1.5. The gap appears fixable within the authors' framework, but as written the central existence theorem is not fully proven.","section":"§3.7, Eq. (15) and Remark 3.3"},{"comment":"Proposition 2.1 converts the main theorem's non-degeneracy hypothesis into non-singularity of dG at each element of a finite set of solutions of G(q; τ) = C. For C = 0 this is supplied by [CKLW18] and [LW17]. For C ≠ 0, Theorem 2.2 only proves existence and a bound on the number of solutions, and the paper explicitly leaves non-degeneracy open: \"we still need to study the non-degeneracy of the solutions.\" Consequently, the advertised arbitrary stacking of solutions with C ≠ 0 is not yet a theorem, and any example built from a degenerate solution would not satisfy the hypothesis of Theorem 1.5. The C = 0 examples in Sections 2.2–2.3 remain valid, but the scope of the \"rich variety\" claim should be narrowed or the missing non-degeneracy proof supplied.","section":"§2.5, Theorem 2.2 and §2, Proposition 2.1"}],"minor_comments":[{"comment":"The phrase \"where T denotes a flat 2-tori\" should be \"a flat 2-torus\"; the plural usage elsewhere is fine.","section":"Abstract"},{"comment":"In \"which are symptotic, as x3→+∞ and x3→−∞,\" the word \"symptotic\" should be \"asymptotic.\"","section":"Example 5, first bullet"},{"comment":"The list \"elliptic integrals of the first kind, associated first kind, and second kind\" is confusing; K′ is the complementary complete elliptic integral, not a separate \"associated\" kind, and the sentence should be rephrased.","section":"§2.4, after Eq. (4)"},{"comment":"The symbol ≃ in the estimate ∫_{O_k}^{O_{k−1}} ω_t ≃ −2 log t is not defined; please state the precise asymptotic meaning and specify the uniformity in k, since the height-separation argument below depends on that uniformity.","section":"§3.7, height estimate"},{"comment":"Theorem 1.6 states a period N with q_{k+N} = q_k, while the proof in §4 assumes \"periodic with even period N.\" This is harmless because an odd period can be doubled, but the statement or proof should say so explicitly.","section":"Theorem 1.6 and §4"},{"comment":"The figure would be easier to read with labels marking the twin boundary and the horizontal symmetry plane mentioned in the caption.","section":"Figure 1"}],"recommendation":"major_revision","confidential_remarks":"The paper's main novelty — infinite-genus embedded minimal surfaces with arbitrarily prescribed stacking disorder — is genuine, but the incomplete embeddedness proof in §3.7 is the crux. If the authors can replace Remark 3.3 with a precise lemma, for example a uniform-in-k version of [MT12, Appendix A] adapted to the alternating tori, I would recommend acceptance. If not, the theorem should be restated conditionally or the section restructured. The C≠0 non-degeneracy gap in §2.5 should also be addressed, either by proving non-degeneracy or by explicitly restricting the advertised examples to C=0."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this is a real construction paper, not a numerical survey. Chen and Traizet extend node-opening from finitely many tori (Tra08) and infinitely many spheres (MT12) to infinitely many flat tori, and the main theorem gives the first rigorous non-periodic embedded minimal surfaces of infinite genus in T×R with arbitrarily prescribed stacking disorder. On the strength of that alone it deserves a serious referee.\n\nWhat is genuinely new: the class of stacking-disordered surfaces, Theorem 1.6 proving exponential convergence to a TPMS for eventually periodic configurations, and the appearance of the Hecke form in the balance condition. The balance equation is derived from a residue computation inside the construction, not fitted. The weighted-space machinery in Sections 5–6 is detailed and follows the established implicit-function scheme. I did not machine-check every estimate, but the structure is coherent and the prior results it leans on are real. No circularity.\n\nThe soft spots, in proportion. First, Remark 3.3 is an admitted gap: embeddedness and the prescribed limit positions of necks use an exchange of limits in the neck annuli that is not justified by uniform convergence on Omega_{k,r}. The paper defers to Appendix A of [MT12] without stating the exact lemma or verifying its hypotheses for alternating moduli. This is load-bearing: Theorem 1.5 asserts embeddedness and the prescribed p_k. I believe it is patchable — the Laurent-series argument in [MT12] is designed for exactly this situation — but as written the central theorem is conditional. A referee should ask for the missing lemma, not reject outright.\n\nSecond, and more minor: the advertised \"rich variety\" for C≠0 is not fully established. Theorem 2.2 guarantees at least 1 and at most 5 solutions to G(q;tau)=C, but non-degeneracy is left open. For C=0, the paper cites enough non-degenerate solutions, so the main existence theorem already yields uncountably many disordered families. The C≠0 examples are a bonus, flagged as incomplete.\n\nWho this is for: people working in minimal surface construction, and anyone interested in rigorous models of twinning in TPMS. The physics motivation is honest, and the exponential-asymptotic theorem is exactly what \"twinning\" needed. Weakest point is the deferred embeddedness estimate; everything else holds up. Send it to a serious referee. If the gap is patched, I'd accept.","headline":"A substantial and mostly rigorous node-opening construction yielding non-periodic stacked minimal surfaces, with one load-bearing but likely patchable gap in the embeddedness proof and an open non-degeneracy issue for C≠0.","tokens_in":29573,"tokens_out":2648,"would_cite":true,"duration_ms":25979,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Disordered stacking of catenoid necks yields embedded minimal surfaces","keywords":["minimal surfaces","stacking disorder","infinite genus","node-opening construction","Hecke form","twinning defects","Weierstrass data","triply periodic minimal surfaces"],"falsifier":"Compute the Jacobian determinant of G(q;τ) at each solution of G(q;τ)=C for a nonzero C, for example at τ=exp(iπ/3); if a degenerate solution exists and can be placed in a uniformly separated bi-infinite sequence, that marks a configuration where the theorem's non-degeneracy hypothesis genuinely fails, and it would show the C≠0 'rich variety' examples are not covered by the current proof.","tokens_in":28579,"feed_emoji":"📐","tokens_out":8531,"duration_ms":76264,"temperature":0.7,"pith_summary":"The paper proves that embedded minimal surfaces of infinite genus can be built by stacking flat tori in a three-dimensional torus, with one tiny catenoid neck between neighboring layers. The main theorem says that any balanced, non-degenerate, uniformly separated prescription of the neck positions gives a 1-parameter family of such surfaces that converges to the foliation by tori as a parameter goes to zero. This matters because it turns crystallographic observations of stacking faults and twinning defects in triply periodic minimal surfaces into rigorous existence theorems, and because the admissible patterns include completely disordered stacks.","feed_headline":"Disordered stacking of catenoid necks yields embedded minimal surfaces","feed_subtitle":"Every balanced, non-degenerate stacking pattern gives a 1-parameter family of surfaces, including twinning defects.","key_machinery":"The construction is node-opening. At the degenerate limit t=0, the surface is a union of horizontal flat tori T_k in T×R, with the point v_k on T_k identified with the origin on T_{k+1} to form a node; for t>0, small disks are removed and the resulting annuli are glued by z_+ z_- = $t^{2}$, opening a catenoid-like neck. The Gauss map is written with elliptic functions and the height differential is a normalized holomorphic 1-form ω with imaginary periods. Solving the period and regularity problems reduces at t=0 to the balancing condition that the sequence G_k = G(q_k;τ) = ζ(q_k;τ) − ξ(q_k;τ) is constant; the function G is the Hecke form, a translation-invariant combination of the Weierstrass zeta function and a linear correction term. Non-degeneracy means the differential of (q_k) ↦ (G_k) is an isomorphism of ℓ^∞, and the Implicit Function Theorem then converts a balanced non-degenerate pattern into the desired family.","core_discovery":"Theorem 1.5 is the central statement: if a node configuration q is balanced, non-degenerate, and satisfies the uniform separation hypothesis, then T×R contains a 1-parameter family (M_t) of embedded stacked minimal surfaces converging to the horizontal foliation as t→0, with necks asymptotic to catenoids and their limit positions prescribed by q. Theorem 1.6 adds that if one configuration is periodic and a second agrees with it for all sufficiently high levels, then the corresponding surfaces are respectively a triply periodic minimal surface and a surface asymptotic to a translation of that TPMS. The paper thereby reproduces experimentally observed twinning defects as the special case where a periodic stacking pattern changes once and then stays regular.","pith_inferences":["Going beyond the paper: if non-degeneracy of the C≠0 solutions of G(q;τ)=C were established, Theorem 2.2 would provide a five-letter alphabet of layer types, so the disorder space would contain all bi-infinite words over five symbols.","Going beyond the paper: the same design equation could be used computationally — fix a desired stacking pattern, solve G(q;τ)=C for the torus and neck positions, and the theorem guarantees the surface exists arbitrarily close to the foliation limit.","Going beyond the paper: because the paper notes that finitely many necks per layer can be handled in principle, the same construction should produce richer layer defects with several necks per level, paralleling polytypism in close-packed crystals."],"forward_implications":["Any bi-infinite sequence drawn from the solutions of G(q;τ)=C with non-singular differential is a balanced, non-degenerate configuration, so a single level set of G produces many disordered surfaces.","For C=0, every flat torus admits uncountably many such configurations, yielding uncountably many 1-parameter families of non-periodic infinite-genus minimal surfaces.","Periodic configurations recover known triply periodic minimal surfaces, including Schwarz' P (as oPa and oPb), CLP (as oCLP'), the rhombohedral rPD family, the newly constructed o∆ family, and Schwarz' H family.","Configurations that become periodic after finitely many levels give surfaces asymptotic to a translation of the corresponding TPMS, proving that a twinning defect in a periodic minimal surface decays to the perfect TPMS."],"supporting_citations":[{"why":"Introduces the node-opening technique for gluing catenoid necks among planes, which the paper adapts to infinitely many tori.","marker":"[Tra02]"},{"why":"Extends node-opening to finitely many flat tori and supplies the balancing-force formulation and TPMS examples.","marker":"[Tra08]"},{"why":"Extends node-opening to infinitely many Riemann spheres, providing the model for the infinite stack and the embeddedness argument.","marker":"[MT12]"},{"why":"Opens infinitely many nodes with weighted Banach spaces, used here to prove smooth dependence and the asymptotic-to-TPMS behavior.","marker":"[Tra13]"},{"why":"Proves that G(q;τ)=0 has at most one non-trivial solution pair, which classifies the C=0 examples.","marker":"[LW10]"},{"why":"Proves generic non-degeneracy of the trivial solutions of G(q;τ)=0 and connects the Hecke form to Painlevé VI, supplying examples.","marker":"[CKLW18]"},{"why":"Gives the anti-holomorphic dynamics argument for counting solutions of G(q;τ)=0, which the paper adapts to C≠0.","marker":"[BE16]"},{"why":"Provides the foliation-by-convex-curves theorem used to prove embeddedness of the constructed annuli.","marker":"[Shi56]"},{"why":"Supplies uniqueness of minimal annuli bounded by convex curves in parallel planes, used in the convergence to TPMSs.","marker":"[MW91]"}],"fun_headline_variants":["Disordered catenoid stacking builds embedded infinite-genus surfaces","Twinning defects reproduced by stacked catenoid minimal surfaces","1-parameter families of embedded minimal surfaces from stacking disorder","Stacking disorder yields non-periodic embedded minimal surfaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction collapses if the prescribed stacking pattern is a degenerate solution of the design equation G(q;τ)=C, and for C≠0 the paper does not prove that any of its 1 to 5 solutions is non-degenerate.","fun_headline_variants_meta":{"raw":{"variants":["Disordered catenoid stacking builds embedded infinite-genus surfaces","Twinning defects reproduced by stacked catenoid minimal surfaces","1-parameter families of embedded minimal surfaces from stacking disorder","Stacking disorder yields non-periodic embedded minimal surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000682,"raw_usage":{"total_tokens":3020,"prompt_tokens":792,"completion_tokens":2228,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":408,"completion_tokens_details":{"reasoning_tokens":2162}},"tokens_in":408,"tokens_out":2228,"duration_ms":16406,"temperature":1.0,"reasoning_tokens":2162,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:51:34.204376+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Jacobian determinant of G(q;τ) at each solution of G(q;τ)=C for a nonzero C, for example at τ=exp(iπ/3); if a degenerate solution exists and can be placed in a uniformly separated bi-infinite sequence, that marks a configuration where the theorem's non-degeneracy hypothesis genuinely fails, and it would show the C≠0 'rich variety' examples are not covered by the current proof.","supporting_citations":[],"review_version":1}