{"id":"0e52d9e7-1eeb-486c-9489-97fd0fa822f9","arxiv_id":"2607.11731","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Global well-posedness and exponential C^{1} convergence to a translated/dilated conformal sphere hold for the 3D Peskin problem with W^{1,∞} initial data that may contain corners.","lead":"The paper proves that a closed elastic membrane in 3D Stokes flow, starting from rough data that may have corners, instantly becomes smooth and converges exponentially to a round sphere (up to translation, dilation and conformal reparametrization). This settles global well-posedness and asymptotic stability for the 3D Peskin problem at the optimal critical regularity.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader's identification of smallness (1.5) as the sole load-bearing assumption is accurate and complete. All subsequent estimates (nonlinear remainder, modulation ODE invertibility, linear decay on the orthogonal complement, Duhamel bootstrap) close once that smallness is granted, and the paper supplies the necessary spectral and multilinear machinery without gaps. The concrete eigenvalue check is a low-cost verification that the sharp constant a_{2}=8/35 is correctly extracted from the diagonalization; it does not alter the logical structure. No adjustment to the ACCEPT verdict is warranted.","tokens_in":54761,"tokens_out":505,"duration_ms":4062,"concrete_test":"Independently recompute the first positive eigenvalue of -N_{1} on (ker N_{1})^⊥ from the explicit formulas (3.45): a_k = k(k-1)(k+2)/((2k+1)(2k+3)), b_k = (k-1)(k+1)(k+2)/((2k-1)(2k+1)), c_k = (k-1)(k+2)/(2k+1). Confirm that the minimal positive value is exactly a_{2} = 8/35 (attained on the H^{1}_{3} modes). If a different minimal value appears, the claimed sharp rate in Prop. 5.11 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.1) rests on a complete, self-contained chain: spectral diagonalization of N_{1} (Prop. 3.4 + Lem. 3.5), critical multilinear bounds via spectral LP (Lem. 4.1), fixed-point local existence in Z[0,1], structural modulation onto the 10-dimensional conformal manifold (Lem. 5.1), and bootstrap global decay at rate a_{2}/r_∞ (Lem. 5.9 + Prop. 5.11). The only essential restriction is the smallness (1.5) already flagged by the reader; it is used transparently to close the ball and the bootstrap set S and is standard for critical global results. No hidden circularity, free parameters, or unjustified spectral gaps appear. Numerical verification in §7 independently corroborates the sharp rate.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves global well-posedness and asymptotic stability for the three-dimensional Peskin problem (a closed Hookean elastic membrane in incompressible Stokes flow) for small initial data in the critical space W^{1,∞}(S^{2}). Theorem 1.1 states that if ∥Y_{0}∥_{L^∞} + ∥∇Y_{0}∥_{L^∞} ≤ ε ≤ ε_{0}, there is a unique solution on [0,1] in the space Z[0,1] that instantly becomes smooth for t>0 and extends globally, converging exponentially in C^{1} to a translated and dilated conformal sphere S_{r_∞,b_∞,Λ_∞} at rate a_{2}/r_∞ with a_{2}=8/35. The argument proceeds by spectral diagonalization of the linearized operator N_{1} via vector spherical harmonics (Proposition 3.4, Lemma 3.5), critical multilinear estimates with spectral Littlewood-Paley projections (Lemma 4.1), a fixed-point construction of local solutions, structural modulation onto the 10-dimensional manifold of conformal steady states (Lemma 5.1), and a bootstrap yielding global decay (Lemmas 5.6–5.10, Proposition 5.11). Section 7 supplies numerical checks of the sharp rate.","tokens_in":54950,"tokens_out":984,"duration_ms":7796,"significance":"This is a substantial advance for the three-dimensional Peskin problem. Prior rigorous work treated the 2D filament case or local well-posedness of the 3D problem in subcritical Hölder spaces; the present result reaches the optimal Lipschitz class (allowing corners), proves instant desingularization, and obtains global asymptotic stability to the full 10-dimensional conformal manifold generated by SO^{+}(3,1) plus translations and dilations. The spectral framework on S^{2}, the exact identification of ker N_{1} with the Lie algebra of the steady-state manifold, and the sharp rate a_{2}=8/35 are concrete technical contributions. The numerical verification in Section 7 independently corroborates the predicted decay, which strengthens confidence in the analysis. The result is of clear interest to the free-boundary and fluid-structure communities.","major_comments":[],"minor_comments":[{"comment":"In the abstract and Theorem 1.1 the final radius r_∞ is said to be fixed by the conserved enclosed volume; a short explicit formula relating r_∞ to V_{0} (as later in Lemma 5.3) would make the statement self-contained.","section":null},{"comment":"Section 4, display (4.13): the formal multilinear expansion of N_{≥2} is written with coefficients c_{m,k}; a brief remark that the series converges for ∥Y∥_Z small enough (already used later) would clarify the justification of the rearrangement.","section":null},{"comment":"Lemma 5.1 and the subsequent modulation equations introduce many auxiliary symbols (T_{i,q}, Q_i, B(\rho,q,Y), \rho, a, q, v). A short summary table or a single display collecting the final modulated system would improve readability for readers who skip the intermediate calculations.","section":null},{"comment":"Figure 2 (Section 7) shows the expected slopes -8/35 and -16/35, but the caption does not state the value of r_∞ used in the plots; adding “r_∞=1” (as noted in Remark 5.12) would remove any ambiguity.","section":null},{"comment":"A few typographical inconsistencies appear (e.g., “eYk” versus “Ỹk”, occasional missing spaces after commas in multi-line displays). A light copy-edit pass would polish the presentation.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technically dense, but the logical chain is complete and the central claims are supported by explicit spectral computations and standard critical-space arguments. I see no reason to request a major revision; the minor presentation points can be handled at the production stage or by a short revision if the journal prefers. The paper is a natural fit for a top analysis journal."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper closes the natural open problem for the 3D Peskin problem: global well-posedness and asymptotic stability from critical W^{1,\\infty} data on the sphere (allowing corners). The data instantly smooth, and the solution converges exponentially in C^{1} to a translated/dilated conformal sphere at the sharp rate a_{2}/r_\\infty with a_{2}=8/35.\n\nWhat is new is the combination: critical Lipschitz data, full spectral diagonalization of the linearization via vector spherical harmonics (Prop. 3.4 and Lemma 3.5 identify the 10-dimensional kernel exactly with dilations, translations and SO^{+}(3,1)), multilinear estimates controlled by spectral Littlewood-Paley projections on S^{2} (Lemma 4.1), and the structural modulation that decouples the finite-dimensional manifold from a strictly dissipative infinite-dimensional remainder (Lemma 5.1). The bootstrap then yields global existence and the decay (Lemmas 5.9 and Prop. 5.11). The functional framework in §6 is self-contained and careful. Numerics in §7 independently check the rate.\n\nThe only real restriction is the smallness of the initial Lipschitz norm, used transparently to close the fixed-point ball and the bootstrap set. That is standard for critical global results and is not hidden. No free parameters, no circularity, and the citation pattern correctly situates the work relative to the 2D filament theory and the earlier local 3D Hölder results.\n\nThis is for people who work on free-boundary Stokes or immersed-boundary models and care about critical spaces and modulation. The math is complete enough that a serious referee can check the estimates line by line. I would send it to peer review without hesitation and would cite the theorem when I need the 3D critical result.","headline":"Solid critical-space global stability for 3D Peskin: W^{1,\\infty} data with corners, instant smoothing, and sharp exponential C^{1} convergence to the 10-dimensional conformal manifold.","tokens_in":55588,"tokens_out":477,"would_cite":true,"duration_ms":6337,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","76D07","35B40","35R35"],"pacs":[],"model":"grok-4.5","headline":"Small Lipschitz elastic membranes in 3D Stokes flow instantly smooth and converge exponentially to a translated, dilated conformal sphere.","keywords":["3D Peskin problem","fluid-structure interaction","global well-posedness","asymptotic stability","critical regularity","conformal steady states","spectral Littlewood-Paley","Stokes flow"],"falsifier":"Numerically evolve a sequence of initial membranes whose Lipschitz size approaches the threshold ε₀ from below and check whether the measured L^{2} decay rate of the orthogonal perturbation remains asymptotically equal to 8/35 (rescaled by final radius) while the parameter vector decays at twice that rate; any systematic deviation for arbitrarily small data would contradict the claimed sharp rate.","tokens_in":55679,"feed_emoji":"🫧","tokens_out":905,"duration_ms":7499,"temperature":0.7,"pith_summary":"The three-dimensional Peskin problem describes a closed elastic membrane immersed in a viscous Stokes fluid. The paper proves that if the initial membrane is a sufficiently small Lipschitz perturbation of the unit sphere—even one that may contain infinitely many corners—then a unique global solution exists. The parabolic nature of the flow instantly removes the corners, so the membrane is smooth for every positive time. After that, the membrane converges exponentially in the C^{1} topology to a translated and dilated conformal sphere whose radius is fixed by the conserved enclosed volume. The argument works by isolating a ten-dimensional family of conformal steady states and showing that every other deformation is strictly dissipated. The technical engine is a spectral Littlewood-Paley calculus on the sphere that controls the singular multilinear terms generated by the Stokeslet kernel.","feed_headline":"Elastic membranes with corners smooth and settle to spheres","feed_subtitle":"In 3D Stokes flow, small Lipschitz data become smooth instantly and converge exponentially to a conformal sphere.","key_machinery":"Structural decoupling of the ten-dimensional manifold of conformal steady states (generated by SO^{+}(3,1), translations and dilations) from its L^{2}-orthogonal complement, combined with spectral Littlewood-Paley projections that bound the highly singular multilinear operators arising from the Stokeslet nonlinearity.","core_discovery":"For initial data whose L^∞ and Lipschitz norms are smaller than an absolute constant, the 3D Peskin evolution admits a unique global solution that becomes instantly smooth and converges exponentially in C^{1} to a translated, dilated conformal sphere whose final radius is determined by the conserved volume, with leading decay rate a_{2}/r_∞ where a_{2} = 8/35.","pith_inferences":["The same Littlewood-Paley and modulation machinery should extend, after suitable adjustments, to the 3D Peskin problem with nonlinear tension laws or viscosity contrast.","Because the kernel is generated by conformal invariance of the Dirichlet energy, analogous finite-dimensional neutral manifolds are likely to appear in other codimension-one elastic membrane problems whose energy is conformally invariant.","The numerical verification already shows that the predicted rates are visible for moderately large smooth data, suggesting that the smallness threshold may be an artifact of the contraction-mapping argument rather than a genuine dynamical barrier."],"forward_implications":["Near the unit sphere the only steady states of the 3D Peskin problem are the conformal spheres.","Lipschitz (or even cornered) initial data are admissible for global existence and exponential stability.","The leading spectral gap of the linearized operator on the stable complement is exactly a₂ = 8/35, fixing the sharp exponential rate once the final radius is known.","The same spectral framework and modulation scheme apply, with only notational changes, to perturbations of any sphere in the steady-state manifold."],"fun_headline_variants":["Lipschitz membranes desingularize instantly then settle to spheres","3D Peskin data with corners smooth out and converge to conformal spheres","Critical W^{1,∞} membranes become smooth and approach spheres exponentially","Stokes flow erases corners as elastic membranes settle to spheres","Global stability: Peskin membranes reach conformal spheres at critical regularity"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"The initial membrane must be a sufficiently small Lipschitz perturbation of the unit sphere; if that smallness fails, both the local fixed-point construction and the global modulation bootstrap break down.","fun_headline_variants_meta":{"raw":{"variants":["Lipschitz membranes desingularize instantly then settle to spheres","3D Peskin data with corners smooth out and converge to conformal spheres","Critical W^{1,∞} membranes become smooth and approach spheres exponentially","Stokes flow erases corners as elastic membranes settle to spheres","Global stability: Peskin membranes reach conformal spheres at critical regularity"]},"model":"grok-4.5","effort":"low","cost_usd":0.004708,"raw_usage":{"total_tokens":1332,"prompt_tokens":725,"num_sources_used":0,"completion_tokens":90,"cost_in_usd_ticks":47080000,"prompt_tokens_details":{"text_tokens":725,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":517,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":725,"tokens_out":90,"duration_ms":4235,"temperature":1.0,"reasoning_tokens":517,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T03:33:12.834444+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Numerically evolve a sequence of initial membranes whose Lipschitz size approaches the threshold ε₀ from below and check whether the measured L^{2} decay rate of the orthogonal perturbation remains asymptotically equal to 8/35 (rescaled by final radius) while the parameter vector decays at twice that rate; any systematic deviation for arbitrarily small data would contradict the claimed sharp rate.","supporting_citations":[],"review_version":1}