{"id":"4ca4e7f8-2874-444d-a23c-10a59b7d6357","arxiv_id":"2411.15040","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New regularity and uniqueness criteria for supercritical SQG show that low-frequency modes cannot be too small relative to high-frequency modes in hypothetical blow-up or non-uniqueness scenarios.","lead":"This paper proves new conditions under which solutions to the supercritically dissipative surface quasi-geostrophic equations either stay smooth or are unique. It shows that, in hypothetical blow-up or non-uniqueness scenarios, certain low-frequency modes must remain active, and gives criteria based on the relative size of small and large scales.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3's proof has an invalid algebraic substitution: the low-mode H^s smallness is derived by replacing the total norm with the low-mode norm, so the stated endpoint regularity criterion is not established as written.","rationale":"I read the paper in good faith and focused on the central claim as identified by the reader: Theorem 1.1, which states that sufficiently high-frequency concentration in the initial data allows smooth continuation to a prescribed time. The proof via Proposition 3.1 appears internally consistent: the commutator estimate (2) is applied with admissible parameters (s, t=s-1), the Duhamel term is controlled by the race-track inequality, and the constants in the choice of t and J can absorb the factors needed to keep t below Tmin. I do not find a fatal flaw in Theorems 1.1 and 1.2. The most concrete load-bearing defect I identified is in the proof of Theorem 1.3: the substitution of the definition of J into the Besov estimate yields a denominator involving the full H^s norm, but the manuscript instead writes the low-frequency norm on the right-hand side. This is not a mere typo, because the following ratio estimate used to apply Proposition 3.1 depends on that incorrect identity. The reader's stated weakest assumption, the unverified energy inequalities in Theorems 1.4 and 1.5, is a legitimate caveat, but those theorems are explicitly conditional and the text acknowledges the missing derivation. Since the reader's conditional verdict already reflects the need for corrections, my concern reinforces that conclusion without moving it to a different verdict. A revised version should either repair the proof of Theorem 1.3 or demote it to a conditional statement.","tokens_in":12248,"tokens_out":26761,"duration_ms":250604,"concrete_test":"Rewrite the low-frequency estimate with S = ||Delta_{<J}theta||^2_{\\dot H^s} and T = ||Delta_{>=J}theta||^2_{\\dot H^s}, using ||theta||^2_{\\dot H^s} = S+T and substituting 2^{(2-s+2alpha)J} = C(s,alpha)||theta||_{\\dot H^s}. Verify that the derived bound is S(S+T) <= C(s,alpha)B^2, not S <= C(s,alpha)B^2 S. Then check whether S/T <= gamma/(4C_b) can be deduced from sup B <= epsilon_*; this settles whether Proposition 3.1's hypothesis actually follows in the proof of Theorem 1.3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1.3, after defining J by 2^{(2-s+2alpha)J} = C(s,alpha)||theta(t)||_{\\dot H^s}, the manuscript displays the low-frequency estimate S(t) := ||Delta_{<J}theta(t)||^2_{\\dot H^s} <= C(s,alpha)||theta||^2_{L^infty \\dot B^{2-2alpha}_{2,\\infty}} S(t). This does not follow from the preceding line S(t) <= ||theta||^2_{L^infty \\dot B^{2-2alpha}_{2,\\infty}} 2^{2J(s-2+2alpha)}. Substituting the definition of J gives 2^{2J(s-2+2alpha)} = (C(s,alpha)||theta(t)||_{\\dot H^s})^{-2}, so the correct bound is S(t) <= C(s,alpha) B^2 / ||theta(t)||^2_{\\dot H^s}, where B = ||theta||_{L^infty \\dot B^{2-2alpha}_{2,\\infty}}. The manuscript's displayed inequality would require replacing the total H^s norm in the denominator by the low-frequency norm S(t), which is algebraically inconsistent. The subsequent line, S <= C(s,alpha)B^2/(1-C(s,alpha)B^2) ||Delta_{>=J}theta||^2, relies on this erroneous identity and therefore does not establish the small ratio needed to apply Proposition 3.1. Thus Theorem 1.3's proof has a concrete correctness gap. This does not invalidate the main regularity results Theorems 1.1 and 1.2, nor the explicitly conditional uniqueness statements, but it is a real flaw in a stated theorem.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the supercritically dissipative surface quasi-geostrophic equations (0<α<1/2) and investigates how the relative sizes of low and high Littlewood-Paley frequencies constrain possible blow-up and non-uniqueness. Theorem 1.1 shows that if the initial data is sufficiently concentrated on high frequencies, then the local solution can be continued up to any prescribed time T* with the Ḣ^s norm controlled by twice its initial value. Theorem 1.2 derives a necessary condition for Type I blow-up: low modes must remain active in the sense that the ratio of low-to-high Ḣ^s norms is bounded below along a time-dependent frequency threshold. Theorem 1.3 states an endpoint regularity criterion involving only low modes below a frequency set by the Ḣ^s norm. Theorems 1.4 and 1.5 give conditional uniqueness criteria for Marchand-type weak solutions, assuming energy differential inequalities for the error w=θ1−θ2 that are not derived. The proofs use energy methods and Miura's commutator estimate in place of the mild solution techniques used in prior Navier-Stokes work.","tokens_in":12737,"tokens_out":15774,"duration_ms":123629,"significance":"If the results hold, the paper extends the 'frequency sparseness' approach of Albritton–Bradshaw and Bradshaw from 3D Navier-Stokes to supercritical SQG, where mild-solution estimates are unavailable. The main technical contribution is Proposition 3.1, whose mode-by-mode energy estimate using Miura's commutator inequality is careful and plausible, and it supports Theorems 1.1 and 1.2. The paper is also explicit about the conditional nature of the uniqueness theorems, which is a strength in clarity. However, the proof of Theorem 1.3 contains a specific algebraic error in replacing the full Ḣ^s norm by the low-mode norm, so that theorem is not established as written. The conditional energy inequalities in Theorems 1.4 and 1.5 are stated as assumptions, limiting the reach of the uniqueness conclusions. Overall, the central regularity results appear sound, but the paper requires a correction to the proof of Theorem 1.3 before the full set of claims is reliable.","major_comments":[{"comment":"The displayed inequality ‖Δ_{<J(t)}θ(t)‖²_{Ḣ^s} ≤ C(s,α)‖θ‖²_{L∞(0,T∗; Ḃ^{2−2α}_{2,∞})}‖Δ_{<J(t)}θ(t)‖²_{Ḣ^s} is not a consequence of the preceding estimate. The preceding line gives ‖Δ_{<J}θ(t)‖²_{Ḣ^s} ≤ C‖θ‖²_{L∞(0,T∗; Ḃ^{2−2α}_{2,∞})} 2^{2J(s−2+2α)}, and substituting 2^{(2−s+2α)J} = C(s,α)‖θ(t)‖_{Ḣ^s} yields 2^{2J(s−2+2α)} = C(s,α)‖θ(t)‖_{Ḣ^s}^{-2}. Hence the correct bound has the full Ḣ^s norm in the denominator, not the low-mode norm ‖Δ_{<J}θ(t)‖_{Ḣ^s}. The subsequent inequality involving ‖Δ_{≥J}θ(t)‖² and the application of Proposition 3.1 rely on this erroneous substitution, so the proof of Theorem 1.3 is incomplete as written.","section":"Section 3, proof of Theorem 1.3"},{"comment":"Both uniqueness theorems assume energy differential inequalities for the error w, such as ∂_t‖w_{<J}‖²_{L2} ≤ −2∫(R⊥w·∇θ1 + R⊥θ2·∇w)_{<J} w_{<J} dx in Theorem 1.4, and the paper states only that these are 'reasonable to expect' for Marchand's solutions. No derivation from the weak formulation is provided, and it is not shown that the classes of solutions under consideration actually satisfy these inequalities. Consequently, the uniqueness conclusions are conditional on unverified hypotheses. The authors should either supply a proof of these inequalities for Marchand solutions or reformulate the theorems with the inequalities as explicit standing assumptions and discuss the resulting limitations more prominently.","section":"Section 1.2, Theorems 1.4 and 1.5"}],"minor_comments":[{"comment":"The exponent of T∗ is displayed as '1 + (s−2+sα)/(2α)', but the derivation in the proof of Theorem 1.1 and the application in Theorem 1.2 indicate that the correct exponent should be (s−2+4α)/(2α), equivalently 1 + (s−2+2α)/(2α). This typo should be corrected in both the statement and the proof.","section":"Section 1, Theorem 1.1 and its proof"},{"comment":"The commutator estimate states 'g ∈ Ḣ^s' but the estimate involves the space Ḣ^t; g should be assumed to belong to Ḣ^t, with the constant depending on s and t as written.","section":"Section 2.2, inequality (2)"},{"comment":"In the low-mode estimate, the expression uses ‖Δ_j θ(t_M)‖_{L2} at an escape time t_M, but the argument is being made for an arbitrary time t; this appears to be a typo for θ(t).","section":"Section 3, proof of Theorem 1.3"},{"comment":"In the interpolation step, the term 'C‖∇w‖_q‖w‖_p^i' should read 'C‖∇θ1‖_q‖w‖_p^i'.","section":"Section 4, proof of Theorem 1.5"},{"comment":"There are several typographical issues, including 'la rge' in the abstract and 'does not need to built in' in the paragraph after Theorem 1.2.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The proof of Proposition 3.1 and Theorems 1.1 and 1.2 appear sound and constitute a solid contribution. The flaw in Theorem 1.3 is a concrete algebraic error, but it seems plausibly fixable by a corrected argument that uses the largeness of the high-mode norm near a potential blow-up time; however, as written the theorem is not established. The conditional uniqueness results are clearly labeled but would be considerably strengthened by a derivation of the assumed energy inequalities. I recommend major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis short note moves the frequency-sparseness program from 3D Navier-Stokes to supercritical SQG, replacing the unavailable mild solution estimates with a Littlewood-Paley energy method. That switch is the real contribution, and it works. Proposition 3.1, built on Miura's commutator estimate, is clean and supports Theorems 1.1 and 1.2. Those results, on high-frequency concentration extending the existence time and on Type I blow-up forcing low-mode activity, look correct to me.\n\nThe soft spots are two, and they matter. First, Theorem 1.3's proof has a genuine algebraic error. After defining J via 2^{(2-s+2α)J} = C||θ||_{\\dot H^s}, the displayed bound S(t) ≤ C B^2 S(t) does not follow; substituting the definition gives S(t) ≤ C B^2 / ||θ(t)||^2. The intended rearrangement to bound the low-mode norm by a small multiple of the high-mode norm is not justified by this inequality. This is a stated theorem, so the proof needs repair. The endpoint criterion may be true, but it is not established as written.\n\nSecond, Theorems 1.4 and 1.5 are explicitly conditional: they assume energy inequalities for the error w that are not derived from Marchand's weak formulation. The authors are honest about this—they say these are 'reasonable to expect'—but the uniqueness conclusions are conditional, not unconditional.\n\nThe citation to the prior Navier-Stokes work is appropriate; the adaptation is new and not a repackaging. The paper is a note, and the brevity is fine.\n\nWho is this for? People working on SQG regularity and conditional criteria. It deserves a serious referee: a referee would catch the Theorem 1.3 issue and ask for a correction or a repaired argument. I would send it to review, not desk reject.","headline":"New energy-based frequency-sparseness criteria for supercritical SQG, but Theorem 1.3's proof has a genuine algebraic gap and the uniqueness results are conditional.","tokens_in":13155,"tokens_out":5427,"would_cite":true,"duration_ms":48426,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35B65","35B44"],"pacs":[],"model":"deepseek-v4-flash","headline":"Supercritical SQG blow-up requires active low modes, even when high modes drive the singularity.","keywords":["surface quasi-geostrophic equations","supercritical dissipation","regularity criteria","uniqueness criteria","Littlewood-Paley theory","energy methods","frequency sparseness","Type I blow-up"],"falsifier":"For Theorem 1.2, exhibit a supercritical SQG solution satisfying the Type I bounds whose blow-up occurs with liminf_{t→T_max} ‖Δ_{<J(t)}θ‖_{H^s}/‖Δ_{≥J(t)}θ‖_{H^s} = 0 for J(t) defined by $2^{{2αJ(t)}}$ ∼ (T_max - t)^{-1}; that would violate the lower bound c_* > 0. For Theorem 1.1, construct initial data satisfying the frequency-concentration condition (1) whose solution blows up before the prescribed time T*.","tokens_in":12041,"feed_emoji":"🌊","tokens_out":6729,"duration_ms":58413,"temperature":0.7,"pith_summary":"This paper addresses two open questions for the supercritical surface quasi-geostrophic (SQG) equations: whether solutions can lose smoothness in finite time, and whether weak solutions with the same initial data can be distinct. It shows that both questions are controlled by the relative sizes of small and large scales as measured by Littlewood-Paley frequency blocks. The main regularity theorem states that if the initial data has most of its H^s norm concentrated on very high frequencies, the minimum guaranteed existence time can be extended to any prescribed time. A companion blow-up theorem says that in a Type I singularity the low-frequency part must remain active, so low and high scales cannot be widely separated as blow-up develops. For non-uniqueness, the paper shows the error between two solutions sharing initial data cannot have its activity confined to high modes, and in the dynamic version low modes must be active at every time near t=0.","feed_headline":"Supercritical SQG blow-up needs active low modes","feed_subtitle":"If the initial data is crowded on tiny scales, a supercritical SQG solution can be continued past its predicted lifespan.","key_machinery":"The central object is the Littlewood-Paley decomposition θ = Σ_j Δ_j θ into dyadic frequency blocks. The paper derives a mode-by-mode energy differential inequality: for each block, d/dt ‖θ_j‖_{$L^{2}$} + $λ2^{{2αj}}$‖θ_j‖_{$L^{2}$} ≤ ‖[u,Δ_j]∇θ‖_{$L^{2}$}, where [u,Δ_j] is the commutator between the velocity and the frequency projector. The commutator is controlled by Miura's estimate, which lets the solution at time t be written as a sum of a linearly decaying term I and a time-integrated nonlinear term II. Because the dissipation term $λ2^{{2αj}}$ acts strongly on high modes, concentrating the initial data on high frequencies makes I small at a chosen time, while II is made small by picking that time appropriately; this replaces the unavailable mild solution estimates.","core_discovery":"On the paper's own terms, the discovery is a set of conditional criteria relating frequency-scale balance to regularity and uniqueness. Theorem 1.1 states that for s in (2-2α, 2-α), if the initial data satisfies ‖Δ_{<J}θ0‖_{H^s} ≤ γ/(4C_b)‖Δ_{≥J}θ0‖_{H^s} for J large enough, then the unique strong solution exists on (0,T*) and its H^s norm stays within twice the initial value. Theorem 1.2 turns this around: any Type I blow-up solution must satisfy inf_t ‖Δ_{<J(t)}θ‖_{H^s}/‖Δ_{≥J(t)}θ‖_{H^s} > c_* > 0, where J(t) is tied to the remaining time by $2^{{2αJ(t)}}$ ∼ (T_max - t)^{-1}. Theorems 1.4 and 1.5 apply the same scale-balance idea to non-uniqueness: if the error between two solutions has high modes dominating a fixed low-mode block near t=0, the error must be zero, and a dynamic version forces low modes to be active at all small times. These results extend frequency-scale arguments previously developed for the 3D Navier-Stokes equations, and the proofs use energy methods rather than mild solution theory.","pith_inferences":["The mode-by-mode energy argument in Proposition 3.1 is written generically enough that it could serve as a template for other supercritical dissipative equations where mild solution techniques fail, though the paper does not pursue that transfer.","For self-similar non-uniqueness in supercritical SQG, Theorems 1.4 and 1.5 suggest the error's activity would have to begin at infinitesimally small scales and then propagate to larger scales, mirroring the Navier-Stokes picture that inspired the analysis.","A computational test of Theorem 1.2 is conceivable: in numerical simulations of forced supercritical SQG approaching a suspected singularity, one could track the ratio ‖Δ_{<J(t)}θ‖/‖Δ_{≥J(t)}θ‖ and check whether it stays above the predicted positive bound as t nears T_max."],"forward_implications":["If Theorem 1.1 is correct, then any finite-time singularity developing from smooth data must originate from data whose low-frequency part carries a definite proportion of the H^s norm; data dominated by very small scales yields a longer existence window.","Theorem 1.2 implies that in a Type I blow-up, frequencies around the scale set by 2^{2αJ(t)} ∼ (T_max - t)^{-1} must hold a fixed fraction of the H^s norm at every time leading up to the singularity.","Theorem 1.3 provides an endpoint regularity criterion in which only scales larger than a time-dependent threshold appear, meaning smallness of the low-frequency Besov norm alone is enough to rule out a first blow-up time.","Theorems 1.4 and 1.5 say that in any hypothetical non-uniqueness scenario for supercritical SQG, the error must have both low and high modes active at all small times; an error whose high modes dominate is forced to be zero."],"supporting_citations":[{"why":"Supplies the frequency-sparseness approach and the Duhamel-based argument for Navier-Stokes that this paper adapts to supercritical SQG.","marker":"[1]"},{"why":"Provides the earlier analysis of scale separation in non-uniqueness for Navier-Stokes that Theorems 1.4 and 1.5 extend to SQG.","marker":"[4]"},{"why":"Ju's local well-posedness theorem gives the baseline existence time T_min and the energy bound used in Theorem 1.1.","marker":"[28]"},{"why":"Marchand's weak solutions define the solution class in which the non-uniqueness criteria of Theorems 1.4 and 1.5 are stated.","marker":"[33]"},{"why":"Miura's commutator estimate controls the nonlinear term in the mode energy inequality, the key step in Proposition 3.1.","marker":"[34]"},{"why":"Dong and Pavlović's endpoint regularity criterion in Hölder spaces is the known result against which Theorem 1.3's low-scale-only criterion is compared.","marker":"[18]"}],"fun_headline_variants":["Small low modes guarantee supercritical SQG regularity","SQG blow-up requires active low modes continuously","Low-mode balance governs SQG uniqueness and blow-up","Supercritical SQG conditional criteria hinge on scale balance","High-mode dominance at start ensures SQG uniqueness"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Theorems 1.4 and 1.5 assume a differential energy inequality for the error, such as ∂_t‖w_{<J}‖²_{$L^{2}$} ≤ -2∫(R^⊥w·∇θ_1 + R^⊥θ_2·∇w)_{<J}w_{<J} dx, which the authors do not derive from the weak formulation; the uniqueness conclusions stand only if these inequalities actually hold for Marchand-class solutions.","fun_headline_variants_meta":{"raw":{"variants":["Small low modes guarantee supercritical SQG regularity","SQG blow-up requires active low modes continuously","Low-mode balance governs SQG uniqueness and blow-up","Supercritical SQG conditional criteria hinge on scale balance","High-mode dominance at start ensures SQG uniqueness"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000601,"raw_usage":{"total_tokens":2801,"prompt_tokens":936,"completion_tokens":1865,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":552,"completion_tokens_details":{"reasoning_tokens":1792}},"tokens_in":552,"tokens_out":1865,"duration_ms":16903,"temperature":1.0,"reasoning_tokens":1792,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:33:45.165195+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For Theorem 1.2, exhibit a supercritical SQG solution satisfying the Type I bounds whose blow-up occurs with liminf_{t→T_max} ‖Δ_{<J(t)}θ‖_{H^s}/‖Δ_{≥J(t)}θ‖_{H^s} = 0 for J(t) defined by $2^{{2αJ(t)}}$ ∼ (T_max - t)^{-1}; that would violate the lower bound c_* > 0. For Theorem 1.1, construct initial data satisfying the frequency-concentration condition (1) whose solution blows up before the prescribed time T*.","supporting_citations":[{"cited_title":"Remarks on spars eness and regularity of Navier- Stokes solutions","cited_arxiv_id":null,"evidence_quote":"Supplies the frequency-sparseness approach and the Duhamel-based argument for Navier-Stokes that this paper adapts to supercritical SQG."},{"cited_title":"Remarks on the separation of Navier-S tokes flows","cited_arxiv_id":null,"evidence_quote":"Provides the earlier analysis of scale separation in non-uniqueness for Navier-Stokes that Theorems 1.4 and 1.5 extend to SQG."},{"cited_title":"Existence and uniqueness of the solution to the dissipative 2D quasi-geostrophic equations in the Sobolev space","cited_arxiv_id":null,"evidence_quote":"Ju's local well-posedness theorem gives the baseline existence time T_min and the energy bound used in Theorem 1.1."},{"cited_title":"Existence and regularity of weak solu tions to the quasi-geostrophic equations in the spaces Lp or ˙H −1/2","cited_arxiv_id":null,"evidence_quote":"Marchand's weak solutions define the solution class in which the non-uniqueness criteria of Theorems 1.4 and 1.5 are stated."},{"cited_title":"Dissipative quasi-geostrophic equat ion for large initial data in the critical Sobolev space","cited_arxiv_id":null,"evidence_quote":"Miura's commutator estimate controls the nonlinear term in the mode energy inequality, the key step in Proposition 3.1."},{"cited_title":"Regularity criter ia for the dissipative quasi-geostrophic equations in H¨ older spaces","cited_arxiv_id":null,"evidence_quote":"Dong and Pavlović's endpoint regularity criterion in Hölder spaces is the known result against which Theorem 1.3's low-scale-only criterion is compared."}],"review_version":1}