{"id":"919678b6-01e2-490a-8220-5d8a357f3db8","arxiv_id":"2411.16414","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Under additional Lebesgue integrability assumptions, every smooth solution of the stationary fractional quasi-geostrophic system in dimensions 2, 3, and 4 with zero forcing is identically zero.","lead":"The paper proves a Liouville-type uniqueness theorem for the stationary fractional quasi-geostrophic equation in dimensions 2, 3, and 4: under certain extra integrability conditions, the only smooth solution with zero forcing is identically zero. It also constructs weak solutions in a homogeneous Sobolev space via fixed-point methods, and the dimension-dependent thresholds are mapped against the fractional power of the Laplacian.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The advertised uniqueness for weak solutions is unsupported for 0<α≤1 (and for 1<α≤(n+2)/3 without L∞) because Theorem 2 assumes smoothness while regularity is left open; the abstract should be narrowed or the gap filled.","rationale":"Agree with the reader that the weakest assumption is the smoothness requirement in Theorem 2. The paper itself flags the limitation in Section 1 and Appendix B. Since the existence theorem produces weak solutions and regularity is open for 0<α≤1, the uniqueness result does not apply to those solutions; the abstract's 'uniqueness of weak solutions' is therefore not supported in that range. The internal proof of Theorem 2 (estimates I1 and I2) appears correct: the interpolation and Hölder computations check out, and the dimension-dependent conditions align with the decay of cutoff terms. The theorem is best read as a conditional Liouville statement for smooth solutions with the stated integrability. The verdict should remain CONDITIONAL, conditional on either proving regularity under the stated assumptions or narrowing the claims to smooth solutions. No fatal flaw found in the estimates; the concern is about scope and presentation.","tokens_in":21770,"tokens_out":24534,"duration_ms":203962,"concrete_test":"Perform an analytical bootstrap for 0<α≤1: let θ∈H^{α/2} be a weak solution of (1.1) with f=0 satisfying the Theorem 2 integrability assumptions. Using θ = (-Δ)^{-α/2} div(A[θ]θ), estimate θ in H^{α/2+δ} via the product law (Lemma 2.3) with the available L^p exponents. If some δ>0 gives a bounded H^{α/2+δ} norm, iterate to smoothness, closing the gap and extending Theorem 2 to weak solutions. If the Hölder/order arithmetic fails (e.g., A[θ]θ lands in L^r with r too small for the Riesz potential of order 1-α to gain regularity), then the smoothness assumption is essential and the abstract should be restricted to smooth solutions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 1 explicitly states after Theorem 2: 'if α is small (in particular when 0 < α ≤ 1), then the regularity of the weak solutions obtained via the Theorem 1 is a completely open problem which is not studied here.' Appendix B proves smoothness only for α>(n+2)/3; for 1<α≤(n+2)/3 it requires an additional L∞ assumption on θ and on A in L∞. Thus Theorem 2's conclusion that the trivial solution is unique applies only to solutions already assumed smooth. The abstract and introduction, however, claim 'uniqueness of weak solutions' and 'the only admissible solution ... is the trivial one' without this caveat. For the parameter ranges where regularity is open, the theorem does not cover the weak solutions whose existence is established in Theorem 1, so the central advertised claim is not established there. This is a genuine scope gap, not a contradiction; the conditional theorem for smooth solutions appears internally correct. A secondary formal gap: the fixed-point theorem used for existence (Theorem 3) is stated for 1<α<2, so Theorem 1's coverage of 0<α≤1 is not justified as written, although the estimates seem adaptable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the stationary fractional quasi-geostrophic system (-Δ)^{α/2}θ + A[θ]·∇θ - f = 0 on R^n for 0<α<2. Theorem 1 claims existence of weak solutions in Ḣ^{α/2}(R^n) for f∈Ḣ^{-α/2}(R^n). Theorem 2, the main result, asserts that for n=2,3,4 and f=0, any smooth solution satisfying additional Lebesgue integrability conditions (close to the critical Sobolev exponent, with dimension-dependent extras for small and large α) must be identically zero. The proof uses a cutoff function, the fractional Leibniz rule, interpolation, and Hölder estimates to show that the localized energy ∫_{B_{R/2}} |(-Δ)^{α/4}θ|^2 vanishes as R→∞. Appendix A constructs weak solutions via a regularized Leray-Schauder argument, and Appendix B develops partial regularity results. The manuscript explicitly acknowledges that regularity for 0<α≤1 is open.","tokens_in":21940,"tokens_out":15544,"duration_ms":126008,"significance":"If the scope gap identified below is resolved, the paper would provide a clean Liouville-type theorem for a fractional transport equation, with explicit dimension-dependent exponents that are tracked carefully through the proof. The argument is self-contained and uses no fitted constants or circular reasoning; the authors are transparent about the smoothness assumption and the open regularity problem. The existence proof is standard, and the dimension-dependent thresholds (n/3 and (n+2)/3) are natural. The main advertised claim, however, is currently stronger than what is proved: the abstract promises uniqueness of weak solutions, while the theorem only covers solutions already assumed smooth in part of the parameter range.","major_comments":[{"comment":"The abstract and introduction advertise uniqueness of weak solutions, but Theorem 2 assumes that θ is smooth. The authors state explicitly after Theorem 2 that for 0<α≤1 the regularity of the weak solutions obtained in Theorem 1 is 'a completely open problem', and Appendix B establishes smoothness only for α>(n+2)/3, with an additional L∞ assumption on θ and on A in the case 1<α≤(n+2)/3. Consequently, for 0<α≤1 (and for 1<α≤(n+2)/3 without that extra assumption) the uniqueness conclusion is not proved for the weak solutions whose existence is claimed; it holds only for solutions that are already assumed smooth. This is a genuine scope gap between the advertised result and the proved theorem; please narrow the abstract and introduction accordingly, or supply a regularity theorem covering the missing range.","section":"Abstract; Section 1 (after Theorem 2); Appendix B"},{"comment":"The existence proof invokes Schaefer's fixed-point theorem (Theorem 3) which is stated only for 1<α<2, while Theorem 1 claims existence for all 0<α<2. The auxiliary estimates in Propositions A.1-A.3 appear adaptable to α≤1 by appropriate choices of the parameters σ and s, but as written the range 0<α≤1 is not covered by the stated fixed-point theorem. Please extend the statement of Theorem 3 (or modify the proof of Theorem 1) so that the full claimed range is justified.","section":"Appendix A, Theorem 3 and Theorem 1"}],"minor_comments":[{"comment":"The sentence 'α − n < 0 since 1 < α < 2 and n ≥ 2' is incorrect in the small-α case covered by Theorem 2; the conclusion α−n<0 follows from 0<α<2 and n≥2, and the text should say so.","section":"Section 3.1, paragraph after Eq. (3.6)"},{"comment":"The Hölder exponent (4n−2ε)/(2α−ε) requires 2α−ε>0, so the proof should state that ε is chosen with 0<ε<2α (and small enough for the exponent to exceed 1); without this, the estimate for |I1| is not valid for α very small.","section":"Section 3.1, Eq. (3.6) and subsequent Hölder application"},{"comment":"The inequality ||A[θ]||_{Ḣ^{α/2}} ≤ C||θ||_{Ḣ^{α/2}} is used without proof; this does not follow directly from (1.2) unless one assumes that A commutes with fractional derivatives (as for the Riesz transforms in the actual SQG model) or includes Sobolev boundedness as an additional hypothesis.","section":"Appendix B, estimate (B.1)"},{"comment":"The phrase 'unique solution' / 'uniqueness of weak solutions' is potentially misleading, since the result is a Liouville theorem stating that zero is the only solution in the class; 'only solution' would be clearer.","section":"Theorem 2 and Abstract"},{"comment":"There are LaTeX artifacts such as '/bracehtipupleft' and '/bracehtipdownright' in Eq. (3.5) and in Appendix A; these should be removed in the final version.","section":"Throughout displayed equations"}],"recommendation":"major_revision","confidential_remarks":"The core estimate for smooth solutions appears sound, and the authors are transparent about the regularity limitations. The main issue is the mismatch between the abstract's 'weak solutions' claim and the smoothness assumption in Theorem 2, together with the formal restriction 1<α<2 in the fixed-point theorem. Both are fixable by revision. I would not recommend rejection; a major revision that narrows the claims and patches the fixed-point statement would bring the paper within the standard for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result is real: a dimension-dependent Liouville theorem for the stationary fractional quasi-geostrophic equation in n=2,3,4, under extra Lebesgue integrability. The cutoff-and-interpolation machinery is standard, but the adaptation to the fractional stationary system is careful, and as far as I can check, the estimates in Section 3 are coherent for smooth solutions. The paper also gives an honest existence proof via the Leray-Schauder/Schaefer scheme, and the a priori energy estimate is clean. This is a useful technical contribution to the Liouville literature for active scalar equations, and it does not overclaim the resolution of the critical open problem with only H-dot^{alpha/2} integrability.\n\nThe soft spot is real and is exactly where the reader's stress-test lands. Theorem 2 assumes theta is smooth, and the paper itself states that regularity for 0<alpha<=1 is a completely open problem. Appendix B proves smoothness only for alpha>(n+2)/3; for 1<alpha<=(n+2)/3 it requires an additional L-infinity hypothesis. So the theorem's conclusion does not cover the weak solutions whose existence is established in Theorem 1 for those ranges. The abstract and introduction nevertheless claim uniqueness of weak solutions, which is misleading. The fix is straightforward: state Theorem 2 as a theorem about smooth (or sufficiently regular) solutions, or add the missing regularity hypotheses. A second, smaller gap: the fixed-point theorem used for existence is stated for 1<alpha<2, so Theorem 1's coverage of 0<alpha<=1 is not rigorously justified as written, although the estimates appear adaptable. There are also minor typos, including a misstatement in the I1 estimate where the text says 'since 1<alpha<2' when the inequality alpha-n<0 actually holds for all alpha<2.\n\nProportionally, these are scope gaps, not signs of a flawed core. The central estimates are defensible and the authors are transparent about the regularity limitations. This paper deserves a serious referee: the result is meaningful, the method is sound for the smooth case, and the required revisions are editorial and mathematical tightening, not a restart. I would recommend sending it to peer review and asking the authors to align the abstract with the theorem's actual hypotheses, fix Theorem 1's range, and clean up the small errors.","headline":"A sound, technically useful Liouville theorem for smooth solutions of the stationary fractional QG system, but the advertised uniqueness for the weak solutions built in Theorem 1 is not established for a substantial part of the parameter range.","tokens_in":22528,"tokens_out":1776,"would_cite":true,"duration_ms":23556,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76D03","35A02","35B65"],"pacs":[],"model":"deepseek-v4-flash","headline":"In dimensions $n=2,3,4$, the unforced stationary fractional quasi-geostrophic system has no nonzero smooth solutions that satisfy the stated near-critical integrability conditions: the only solution is $\\theta\\equiv0$.","keywords":["quasi-geostrophic equation","fractional Laplacian","Liouville-type theorem","uniqueness of weak solutions","stationary problem","Sobolev spaces","critical integrability","dimension dependence"],"falsifier":"Exhibit a single nonzero smooth function $\\theta\\in\\dot H^{\\alpha/2}(\\mathbb{R}^n)$ with $n\\in\\{2,3,4\\}$ that satisfies $(-\\Delta)^{\\alpha/2}\\theta+A[\\theta]\\cdot\\nabla\\theta=0$ and the stated Lebesgue integrability conditions; any such function would falsify the uniqueness theorem. A concrete first calculation would be to test the radial reduction in $n=2$, $\\alpha=1$, where the theorem predicts that no smooth $L^{4-\\epsilon}$ solution exists and the cut-off identity becomes a one-dimensional integral check.","tokens_in":21489,"feed_emoji":"🌊","tokens_out":16993,"duration_ms":145910,"temperature":0.7,"pith_summary":"This paper's aim is a Liouville-type uniqueness theorem for the stationary fractional quasi-geostrophic equation $(-\\Delta)^{\\alpha/2}\\theta + A[\\theta]\\cdot\\nabla\\theta - f=0$ in dimensions $n=2,3,4$, where $A[\\theta]$ is a divergence-free singular-integral vector field that is bounded on $L^p$. The theorem says that when the forcing is zero, a smooth solution lying in the natural energy space $\\dot H^{\\alpha/2}(\\mathbb{R}^n)$ and satisfying certain Lebesgue integrability conditions near the Sobolev-critical $L^{2n/(n-\\alpha)}$ integrability must be the zero solution. The result matters because the existence proof produces weak solutions by a fixed-point argument that carries no uniqueness information, so any theorem that forces the trivial solution clarifies which steady states are possible. The proof tests the equation against $\\theta\\phi_R$ and shows that both the commutator remainder and the boundary term vanish as the cut-off radius $R\\to\\infty$, forcing the dissipation term to vanish. The statement is conditional on smoothness, and the paper explicitly notes that regularity of the weak solutions is open for $0<\\alpha\\le1$ and needs an extra $L^\\infty$ assumption for $1<\\alpha\\le(n+2)/3$.","feed_headline":"Forced-free steady quasi-geostrophic states must be zero","feed_subtitle":"Mild extra decay makes the zero state the only smooth steady solution of the fractional equation.","key_machinery":"The key object is the truncated energy identity obtained by testing (1.1) against $\\theta\\phi_R$, where $\\phi_R$ is a smooth cut-off equal to $1$ on $|x|\\le R/2$ and supported in $|x|\\le R$. It takes the form (3.5): $$\\int_{B_{R/2}} |(-\\$\\Delta$)^{\\$\\alpha$/4}\\$\\theta$|^2\\,dx \\le I_1 + I_2,$$ with $$I_1=\\int_{\\mathbb{R}^n} (-\\$\\Delta$)^{\\$\\alpha$/4}\\$\\theta$\\left[\\big((-\\$\\Delta$)^{\\$\\alpha$/4}\\$\\theta$\\big)\\phi_R - (-\\$\\Delta$)^{\\$\\alpha$/4}(\\$\\theta$\\phi_R)\\right]dx$$ and $$I_2=\\frac12\\int_{\\mathbb{R}^n} (A[\\$\\theta$]\\$theta^{2}$)\\cdot\\nabla\\phi_R\\,dx.$$ The task is to show $I_1,I_2\\to0$ as $R\\to\\infty$. $I_1$ is a commutator remainder controlled by the fractional Leibniz rule (Kato-Ponce) plus complex interpolation, which is where the near-critical space $L^{(2n-\\epsilon)/(n-\\alpha)}$ enters; $I_2$ is a boundary term controlled by H\\\"older inequalities whose admissible exponents change with $n$ and $\\alpha$. The role of the dimension is encoded in those exponent ranges: low-$\\alpha$ requires an improved integrability with parameter $\\nu$, while high-$\\alpha$ in dimensions $2,3$ requires $L^{3n/(n-1)}$.","core_discovery":"The central claim is a dimension-dependent Liouville theorem. Take $n=2,3,4$, $f=0$, and a smooth solution $\\theta\\in\\dot H^{\\alpha/2}(\\mathbb{R}^n)$ of $(-\\Delta)^{\\alpha/2}\\theta + A[\\theta]\\cdot\\nabla\\theta=0$. Assume $\\theta\\in L^{(2n-\\epsilon)/(n-\\alpha)}$ for a small $\\epsilon>0$. The theorem adds: if $0<\\alpha<n/3$, also $\\theta\\in L^{(2n+\\nu)/(n-\\alpha)}$ with $(n-3\\alpha)<\\nu<1+(n-3\\alpha)$; if $(n+2)/3\\le\\alpha<2$ and $n=2,3$, also $\\theta\\in L^{3n/(n-1)}$; in the intermediate regime $n/3\\le\\alpha<(n+2)/3$ (and for $n=4$ with $\\alpha\\ge4/3$), no further hypothesis is needed. Under these conditions the only solution is $\\theta\\equiv0$, meaning a nontrivial steady state must be driven by the forcing.","pith_inferences":["Because the proof uses only the divergence-free condition and the $L^p$-boundedness of $A[\\theta]$, the same cut-off identity should yield analogous Liouville theorems for other stationary fractional transport systems with a divergence-free velocity field.","If the missing regularity for $0<\\alpha\\le1$ is later established, the uniqueness result would automatically extend from smooth solutions to the weak solutions produced by the existence theorem.","The sharpness of the $\\epsilon$ and $\\nu$ conditions could be tested by searching for nonzero steady states at exactly the critical exponent $L^{2n/(n-\\alpha)}$; finding one would show the extra integrability is essential."],"forward_implications":["For $n=2,3,4$ with $f=0$, the only smooth solution in $\\dot H^{\\alpha/2}$ satisfying the stated integrability is zero, so nonzero steady states in this class must be sustained by the forcing.","For $n=2,3$ and $\\alpha\\ge(n+2)/3$, the extra condition reduces to $L^{3n/(n-1)}$, which for $n=3$ is $L^{9/2}$, the critical space appearing in known Liouville theorems for stationary Navier-Stokes.","For the intermediate range $n/3\\le\\alpha<(n+2)/3$ (and for $n=4$, $\\alpha\\ge4/3$), the Sobolev-critical information alone is enough and no additional Lebesgue assumption is required.","The proof of the $I_1$ estimate uses $\\epsilon>0$; the paper leaves open whether the exact critical space $L^{2n/(n-\\alpha)}$ would suffice.","The paper notes the same techniques extend to dimensions $n\\ge5$, so the restriction to $n=2,3,4$ is not a limitation of the method."],"supporting_citations":[{"why":"Supplies the fractional Leibniz rule used to estimate the commutator term $I_1$.","marker":"[17]"},{"why":"Supplies the Kato-Ponce inequality behind the same commutator estimate.","marker":"[11]"},{"why":"Supplies the complex interpolation theorem used to place $\\theta$ between $\\dot H^{\\alpha/2}$ and the near-critical Lebesgue space in the $I_1$ estimate.","marker":"[2]"},{"why":"Provides the Leray-Schauder fixed-point framework for the existence theorem and the Sobolev product rule used in the regularity appendix.","marker":"[15]"}],"fun_headline_variants":["Dimension decides uniqueness for fractional quasi-geostrophic","Forced-free fractional QG: only zero solution","Liouville theorem: trivial state is unique in fractional QG","Dimension-dependent Liouville for stationary fractional QG","Zero state unique for steady quasi-geostrophic under decay"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the solution is smooth; the paper itself leaves regularity open for $0<\\alpha\\le1$ and requires an extra $L^\\infty$ bound for $1<\\alpha\\le(n+2)/3$, so for a large part of the parameter range the theorem does not apply to the weak solutions whose existence was proved.","fun_headline_variants_meta":{"raw":{"variants":["Dimension decides uniqueness for fractional quasi-geostrophic","Forced-free fractional QG: only zero solution","Liouville theorem: trivial state is unique in fractional QG","Dimension-dependent Liouville for stationary fractional QG","Zero state unique for steady quasi-geostrophic under decay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000511,"raw_usage":{"total_tokens":2447,"prompt_tokens":869,"completion_tokens":1578,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":485,"completion_tokens_details":{"reasoning_tokens":1502}},"tokens_in":485,"tokens_out":1578,"duration_ms":11071,"temperature":1.0,"reasoning_tokens":1502,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:09:12.599255+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a single nonzero smooth function $\\theta\\in\\dot H^{\\alpha/2}(\\mathbb{R}^n)$ with $n\\in\\{2,3,4\\}$ that satisfies $(-\\Delta)^{\\alpha/2}\\theta+A[\\theta]\\cdot\\nabla\\theta=0$ and the stated Lebesgue integrability conditions; any such function would falsify the uniqueness theorem. A concrete first calculation would be to test the radial reduction in $n=2$, $\\alpha=1$, where the theorem predicts that no smooth $L^{4-\\epsilon}$ solution exists and the cut-off identity becomes a one-dimensional integral check.","supporting_citations":[{"cited_title":"Naibo and A","cited_arxiv_id":null,"evidence_quote":"Supplies the fractional Leibniz rule used to estimate the commutator term $I_1$."},{"cited_title":"Grafakos and S","cited_arxiv_id":null,"evidence_quote":"Supplies the Kato-Ponce inequality behind the same commutator estimate."},{"cited_title":"Bergh and J","cited_arxiv_id":null,"evidence_quote":"Supplies the complex interpolation theorem used to place $\\theta$ between $\\dot H^{\\alpha/2}$ and the near-critical Lebesgue space in the $I_1$ estimate."},{"cited_title":"Lemari´ e-Rieusset","cited_arxiv_id":null,"evidence_quote":"Provides the Leray-Schauder fixed-point framework for the existence theorem and the Sobolev product rule used in the regularity appendix."}],"review_version":1}