{"id":"1ee34664-f2af-4227-8d50-9a0a678bbe45","arxiv_id":"2607.09619","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.5,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Type-I rotated backwards self-similar (and discretely self-similar) solutions of 3D Navier-Stokes must vanish when the rotation parameter is extreme and, for discrete cases, the scaling factor is near 1.","lead":"Rotated Type-I self-similar solutions of 3D Navier-Stokes are shown to be trivial when the rotation speed α is sufficiently small or large. The result partially answers Perelman's question and rules out a class of candidate finite-time singularities.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper’s central claim (Thm 1.4) is a clean quantitative Liouville theorem for rotated self-similar profiles under an a-priori Type-I bound whose constant is declared independent of the rotation speed. Every subsequent estimate (adjoint kernel, local enstrophy control, near-axisymmetry for large |α|) is derived from that single constant and is written out in full. The reader correctly isolates the modeling hypothesis rather than an internal inconsistency; once the hypothesis is granted, the argument holds. No further load-bearing concern surfaces on a second pass. Verdict remains ACCEPT.","tokens_in":36690,"tokens_out":412,"duration_ms":6095,"concrete_test":"Re-derive the Gaussian lower bound of Lemma 5.5 for the limiting weight w by the barrier method of §5, using only the Type-I bound (1.9) and the C^{2} estimates (2.1); confirm that the constants m,M remain finite and independent of α.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest-assumption note (α-independence of C_{U,0}) is correctly flagged as an explicit modeling hypothesis (Remark 1.3), not a hidden gap. Under that hypothesis the weighted-L^{2} argument is self-contained: the adjoint weight w of L^* is constructed with Gaussian bounds depending only on C_{U,0} (Prop. 5.1), the local-enstrophy threshold R̄=√(8 C_{U,1}) is likewise α-free (Prop. 3.1), and both the small-α identity (5.4) and the large-α bound |α|∥RU∥_{L^{2}_µ}≪1 (Prop. 6.5) close without further input. No circularity, missing estimate, or regime where the constants blow up appears in the written argument.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies backwards rotated self-similar (RSS) and rotated discretely self-similar (RDSS) solutions of the 3D incompressible Navier-Stokes equations. Under a Type-I bound |U(y)| ≤ C_{U,0}/(1+|y|) (equivalently |u| ≤ C_{U,0}/(|x|+√(-t))), it proves Liouville theorems: for RSS profiles solving (1.8), there exist thresholds 0<α_=α_(C_{U,0})≪1 and 1≪ᾱ=ᾱ(C_{U,0})<∞ such that |α|<α_ or |α|>ᾱ forces U≡0 (Theorem 1.4); analogous statements hold for RDSS profiles of (1.14) when |α| is extreme and the discrete factor λ is sufficiently close to 1 (Theorem 1.7, recovering the DSS case of Chae–Wolf as a special case). The proofs replace the classical maximum principle for the Bernoulli head pressure (which fails for α\neq0) by a quantitative weighted-L^{2} framework: an adjoint weight w in ker(L*) with Gaussian bounds is constructed via principal eigenfunctions and barriers (Prop. 5.1), a local-enstrophy smallness criterion is established (Prop. 3.1), and for large |α| the profile is shown to be nearly axisymmetric in a weighted sense (Prop. 6.5).","tokens_in":36904,"tokens_out":1025,"duration_ms":10980,"significance":"The work partially resolves Perelman’s conjecture on rotated self-similar singularities by ruling out nontrivial Type-I RSS solutions for both small and large rotation speeds, and extends the same conclusion to the larger RDSS class when the discrete period is small. The method is genuinely new: it is quantitative, independent of any maximum principle for the head pressure, and yields explicit (C_{U,0}-dependent) thresholds. The construction of the adjoint weight with uniform Gaussian bounds, the reduction of triviality to small local enstrophy, and the large-α control of the rotation operator R via weighted L^{2}_µ estimates are technically solid contributions that should be of lasting interest in the regularity theory of Navier-Stokes. The paper also recovers and quantifies the Chae–Wolf DSS result as a byproduct.","major_comments":[],"minor_comments":[{"comment":"In the large-α argument of §6.5 the integral bound “≤100” after (6.21) is left as a numerical claim; a short explicit evaluation (or a reference to a standard Gaussian integral) would make the constant M' fully transparent.","section":null},{"comment":"The dependence of the thresholds α_, ᾱ, λ_ on C_{U,0} is stated to exist but never written out; even a schematic expression (e.g., α_ ∼ m e^{-(3/8)R̄^{2}} C_E^{-1} M^{-1} C_Ω^{-2}) would help the reader track the quantitative nature of the result.","section":null},{"comment":"Lemma 2.1 asserts α-independence of C_{U,1}, C_{U,2}, C_{P,0} by an interior-regularity argument; a one-sentence reminder that the initial datum at t=-1 is rotation-free (s=0) would make the independence completely immediate.","section":null},{"comment":"A few typographical inconsistencies appear (e.g., “Růžička” vs. “Růžička”, occasional missing spaces around “|α|”). These are purely cosmetic.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a clean, self-contained analysis paper that meets the standards of a top journal in the field. The reader’s and skeptic’s assessments agree that there are no load-bearing gaps; the only modeling hypothesis (C_{U,0} independent of α) is stated explicitly and is natural for the problem. I see no reason for further delay."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper settles Perelman's rotated self-similar question for |α| very small or very large (and the corresponding discrete cases when λ is close to 1). That is the real news: the classical Nečas–Růžička–Šverák / Tsai non-existence for α=0 is extended to nontrivial rotation, and the argument is quantitative.\n\nWhat is new is the method. They build a positive weight w in the kernel of the L^{2}-adjoint of the non-self-adjoint operator L = −Δ + (U + y/2)·∇ by taking principal eigenfunctions on large balls, barrier estimates, and Harnack, then pass to the limit. The resulting Gaussian bounds depend only on the Type-I constant C_{U,0}. Multiplying the Bernoulli identity by this weight immediately gives a weighted enstrophy bound that is O(|α|) when α is small, or O(ε) when |α| is large (after showing that RU is small in the Gaussian L^{2}_µ norm). A separate local-enstrophy argument then forces U ≡ 0. The same framework recovers Chae–Wolf for DSS and handles RDSS. The construction works even for α=0 and never needs a maximum principle for the head pressure—the previous obstruction.\n\nThe estimates look carefully written: pressure and derivative bounds independent of α, the angular Poincaré inequality, the decomposition into axisymmetric and fluctuating parts, and the absorption arguments all close. The only modeling hypothesis worth flagging is the explicit assumption that C_{U,0} itself does not grow with |α| (Remark 1.3). Under that hypothesis the constants stay under control; if it failed the thresholds would move. That is stated up front, not hidden. Intermediate α remains open, as the authors note.\n\nThis is for people working on self-similar or Type-I singularities in 3D Navier–Stokes. The math is solid, the citations are the right ones, and there is no circularity. I would send it to referees without hesitation and would cite the weighted-L^{2} idea myself.","headline":"Clean quantitative Liouville theorems for rotated self-similar NS profiles at extreme α, via a new weighted-L^{2} method that sidesteps the Bernoulli maximum principle.","tokens_in":37544,"tokens_out":637,"would_cite":true,"duration_ms":9716,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","76D05","35B44","35B53"],"pacs":[],"model":"grok-4.5","headline":"Rotated Type-I self-similar Navier-Stokes profiles are trivial when the rotation rate is either very small or very large.","keywords":["Navier-Stokes","self-similar solutions","rotated self-similar","Type I blow-up","Liouville theorem","weighted energy estimates","discretely self-similar"],"falsifier":"Exhibit a non-zero C^{2} solution of the rotated Leray system that obeys the Type-I pointwise bound |U(y)| ≤ C/(1+|y|) for a rotation rate whose absolute value is either smaller than the paper’s lower threshold or larger than its upper threshold (both thresholds depending only on C).","tokens_in":37568,"feed_emoji":"🌀","tokens_out":929,"duration_ms":8198,"temperature":0.7,"pith_summary":"The paper asks whether smooth solutions of the 3D incompressible Navier-Stokes equations that blow up at a Type-I rate can be invariant under the combined action of parabolic scaling and steady rotation about a fixed axis. Classical Liouville theorems already rule out ordinary (non-rotating) self-similar blow-ups. Here the authors show that the same conclusion holds for the rotated family whenever the angular speed is either sufficiently small or sufficiently large relative to the Type-I constant. The same vanishing statement is obtained for the larger class of rotated discretely self-similar solutions, provided the discrete scaling factor is close enough to 1. The argument replaces the classical maximum principle for the Bernoulli head pressure (which fails once rotation is present) by a quantitative weighted-L^{2} enstrophy estimate that works uniformly for extreme rotation rates.","feed_headline":"Rotation kills Type-I Navier-Stokes blow-ups at extreme rates","feed_subtitle":"Self-similar profiles that spin too slowly or too fast must vanish under the classical size bound.","key_machinery":"A strictly positive Gaussian weight lying in the kernel of the L^{2}-adjoint of the non-self-adjoint elliptic operator L = −∆ + (U + ½ y)·∇. Multiplication of the Bernoulli identity by this weight converts the Type-I bound into a small local enstrophy estimate that forces the velocity to be identically zero.","core_discovery":"Any smooth Type-I solution of 3D Navier-Stokes that is rotated self-similar (or rotated discretely self-similar with scaling factor near 1) must vanish identically once the rotation parameter lies outside a compact interval that depends only on the Type-I constant.","pith_inferences":["The intermediate-rotation regime left open by the paper is the only remaining window in which a Type-I rotated self-similar singularity could still exist.","Because the weight is constructed from the adjoint of a non-self-adjoint operator, the same technique may adapt to other non-variational blow-up problems where maximum principles are unavailable.","If a future construction produces a non-trivial profile at moderate rotation, the paper’s thresholds give an a-priori lower bound on how large the Type-I constant of that profile must be."],"forward_implications":["Perelman’s conjecture on the non-existence of Type-I rotated self-similar singularities is settled for all sufficiently small and all sufficiently large angular speeds.","Any putative Type-I singularity that is invariant under simultaneous scaling and rotation must have its angular speed confined to a compact interval determined solely by the Type-I constant.","The same vanishing theorems hold for the larger class of rotated discretely self-similar solutions once the discrete scaling factor is close enough to 1.","The weighted-L^{2} method supplies an explicit, quantitative bound on local enstrophy that is independent of whether the Bernoulli head pressure satisfies a maximum principle."],"fun_headline_variants":["Extreme rotation rates force Type-I rotated self-similar NS solutions to vanish","Type-I RSS Navier-Stokes profiles vanish outside a compact α interval","Too-slow or too-fast spin kills Type-I rotated self-similar blow-ups","Extreme α trivializes Type-I rotated backwards self-similar solutions","Type-I rotated self-similar 3D NS solutions must vanish at extreme spin"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The Type-I constant that controls the size of the solution is assumed independent of the rotation rate; if that constant were allowed to grow with rotation, the small- and large-rotation regimes would no longer be controllable.","fun_headline_variants_meta":{"raw":{"variants":["Extreme rotation rates force Type-I rotated self-similar NS solutions to vanish","Type-I RSS Navier-Stokes profiles vanish outside a compact α interval","Too-slow or too-fast spin kills Type-I rotated self-similar blow-ups","Extreme α trivializes Type-I rotated backwards self-similar solutions","Type-I rotated self-similar 3D NS solutions must vanish at extreme spin"]},"model":"grok-4.5","effort":"low","cost_usd":0.007376,"raw_usage":{"total_tokens":1848,"prompt_tokens":832,"num_sources_used":0,"completion_tokens":107,"cost_in_usd_ticks":73760000,"prompt_tokens_details":{"text_tokens":832,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":909,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":832,"tokens_out":107,"duration_ms":8569,"temperature":1.0,"reasoning_tokens":909,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T01:40:51.797331+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a non-zero C^{2} solution of the rotated Leray system that obeys the Type-I pointwise bound |U(y)| ≤ C/(1+|y|) for a rotation rate whose absolute value is either smaller than the paper’s lower threshold or larger than its upper threshold (both thresholds depending only on C).","supporting_citations":[],"review_version":1}