{"id":"a7eb2710-ef5a-4b1a-a9f1-aeaaf60257e3","arxiv_id":"2607.12159","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Nontrivial homothetic self-similar Navier-Stokes solutions are ruled out in 3D by a Liouville theorem; in 2D the only decaying one is the Oseen vortex, with mixed linearized Euler stability.","lead":"A Liouville theorem rules out nontrivial homothetic forward self-similar solutions of 3D incompressible Navier-Stokes under regularity assumptions; in 2D the only decaying one is the Oseen vortex. This closes one singular-limit route to non-uniqueness of Leray-Hopf solutions in the Jia-Šverák program.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"Abstract-only review leaves the regularity threshold and the precise structural definition of homothety uncheckable; those are the load-bearing conditions for the Liouville claim.","rationale":"The Reader correctly flagged that an abstract-only review forces an UNVERDICTED verdict with low confidence. The single most load-bearing concern is exactly the one the Reader identified: the unquantified regularity hypothesis together with the structural definition of homothety. No stronger internal inconsistency can be diagnosed without the proofs, and manufacturing one would violate the good-faith rule. The concrete test simply operationalizes the missing check—reading the actual theorem statements—so that the concern can be settled once the full text appears. Agreement with the Reader is therefore complete; the verdict remains UNVERDICTED.","tokens_in":1949,"tokens_out":497,"duration_ms":4754,"concrete_test":"Obtain the full manuscript (or the arXiv source) and extract the precise statement of the 3-D Liouville theorem: the function space for Ū, the admissible range of eta, and the regularity/decay assumptions on the initial data. Check whether those assumptions are compatible with the mild-solution class used by Jia-Šverák; if the regularity threshold is strictly stronger than what is known for self-similar profiles, the non-existence claim does not close the singular-limit route.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central non-existence claim (3-D Liouville ruling out non-trivial homothetic forward self-similar solutions) rests on two conditions that cannot be verified from the abstract alone: (i) an unquantified “sufficiently regular initial data” hypothesis, and (ii) the structural requirement that both Ū and etaŪ (eta nontrivial) are self-similar profiles. Without the precise function-space setting, the decay/regularity class in which the Liouville theorem is proved, or the exact definition of the homothety parameter eta, it is impossible to decide whether the result actually covers the profiles needed for the Jia-Šverák singular-limit program. The 2-D statement (only the Oseen vortex) and the spectral claims about the linearized Euler operator around it are likewise uncheckable. Because the full text is unavailable, no internal gap can be exhibited, but the load-bearing hypotheses remain opaque.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript studies homothetic forward self-similar solutions of the incompressible Navier–Stokes equations: profiles Ū such that both Ū and βŪ are self-similar for some nontrivial scalar β. The authors assert that these are the only solutions for which a singular-limit argument can establish non-uniqueness of Leray–Hopf solutions along the Jia–Šverák program. In three dimensions they claim a Liouville theorem ruling out nontrivial homothetic solutions for sufficiently regular initial data; in two dimensions the same theorem identifies the Oseen vortex as the unique decaying homothetic solution. Complementary spectral statements are made for the Euler operator linearized about the Oseen vortex (stability) and for another homothetic profile that is said to admit an unstable approximate eigenvalue.","tokens_in":2183,"tokens_out":761,"duration_ms":21832,"significance":"If the three-dimensional Liouville theorem holds in a function class that includes the self-similar profiles contemplated by Jia and Šverák, it would eliminate one principal route to non-uniqueness of Leray–Hopf solutions via self-similar blow-up, a central question in Navier–Stokes regularity theory. The two-dimensional uniqueness result for the Oseen vortex and the claimed spectral stability of the linearized Euler operator would be useful contributions to two-dimensional vortex dynamics. The reported existence of a homothetic profile carrying an unstable approximate eigenvalue is of independent interest for the spectral theory of the Euler equations. The work therefore addresses a load-bearing intersection of self-similar analysis, non-uniqueness, and spectral stability.","major_comments":[{"comment":"The central three-dimensional non-existence claim is conditioned on an unquantified “sufficiently regular initial data” hypothesis. Without an explicit function-space setting (weighted Sobolev, mild-solution, or decay class), it is impossible to decide whether the Liouville theorem covers the profiles required for a Jia–Šverák singular-limit construction. This regularity threshold is load-bearing for the paper’s main claim and must be stated and justified precisely.","section":"Abstract"},{"comment":"Homothety is defined only informally as the requirement that both Ū and βŪ (β nontrivial) be self-similar profiles. The precise relation among the scaling parameters, the admissible range of β, and the ambient function class is not given. Until this structural definition is made rigorous, one cannot verify the further claim that homothetic solutions are the only ones permitting the singular-limit non-uniqueness argument.","section":"Abstract"},{"comment":"The assertion that a discovered homothetic solution admits an “unstable approximate eigenvalue” of the linearized Euler operator lacks a precise spectral definition (approximate point spectrum, numerical-range criterion, or resolvent estimate). Without that definition the spectral claim cannot be assessed, nor can its relation to genuine linear instability be checked.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract is otherwise clearly written; no further presentation issues can be assessed without the full text.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"Only the abstract was supplied for this review; the full manuscript is unavailable. Consequently no proofs, function-space definitions, or spectral constructions can be checked. The load-bearing hypotheses identified above remain opaque, and a definitive accept/revise/reject recommendation is not possible until the complete text is provided. I recommend that the editor obtain the full paper before circulating a final report."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: if the proofs hold, this paper closes the entire homothetic subclass as a vehicle for singular-limit non-uniqueness of Leray-Hopf solutions. That is the only class for which the Jia-Šverák program can even run, so a clean Liouville theorem here is a real within-field advance, even though it does not settle the Clay problem itself.\n\nWhat is new is the 3-D non-existence statement for sufficiently regular data, the 2-D classification that the only decaying homothetic solution is the Oseen vortex, the stability of the linearized Euler operator around that vortex, and the discovery of another homothetic profile that carries an unstable approximate eigenvalue. The abstract is cleanly written and the logical structure is transparent: they isolate the homothetic condition (both Ū and βŪ self-similar for nontrivial β), then prove Liouville under that extra structure. No free parameters or circular normalizations appear.\n\nThe soft spots are exactly the ones the stress-test flags and they are real but not manufactured. “Sufficiently regular” is unquantified in the abstract, and we cannot see the precise function-space setting or the decay class. If that threshold sits above the profiles needed for the singular-limit construction, the non-existence claim misses its target. The same opacity applies to the spectral statements. Because we have only the abstract, soundness cannot be scored higher than provisional; that is not a flaw in the work, just a limit of what we can inspect.\n\nThis is for people already working on self-similar NS, Leray-Hopf non-uniqueness, or spectral theory of the Oseen linearization. A serious referee should see the full manuscript. I would send it out for peer review rather than desk-reject; the claimed results are important enough and formally grounded enough to deserve that time, even if heavy revision on the regularity hypotheses turns out to be needed.","headline":"Abstract-only Liouville claim that kills the whole homothetic class for 3-D forward self-similar NS; potentially decisive for the Jia-Šverák route, but regularity threshold and exact homothety definition remain unchecked.","tokens_in":2760,"tokens_out":513,"would_cite":false,"duration_ms":9201,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","76D05","35B40","35B53"],"pacs":[],"model":"grok-4.5","headline":"A Liouville theorem rules out nontrivial homothetic self-similar Navier-Stokes solutions in 3D","keywords":["Navier-Stokes equations","self-similar solutions","homothetic solutions","Liouville theorem","Oseen vortex","linearized Euler operator","non-uniqueness","Leray-Hopf solutions"],"falsifier":"An explicit nontrivial, sufficiently regular three-dimensional homothetic forward self-similar solution, or a proof that every candidate profile arising in a Jia-Šverák singular-limit construction necessarily fails the regularity or double-self-similarity hypotheses used here.","tokens_in":2851,"feed_emoji":"∞","tokens_out":678,"duration_ms":5479,"temperature":0.7,"pith_summary":"The paper studies a special class of forward self-similar solutions to the incompressible Navier-Stokes equations, called homothetic solutions: profiles Ū for which both Ū itself and a nontrivial scalar multiple βŪ are also self-similar profiles. These are precisely the solutions that would let a singular-limit argument produce non-uniqueness of Leray-Hopf weak solutions, following the Jia-Šverák program. In three dimensions, for sufficiently regular initial data, the authors prove a Liouville theorem that forbids any nontrivial such profiles. In two dimensions the same theorem shows that the only decaying homothetic solution is the classical Oseen vortex. They further establish that the Euler operator linearized about the Oseen vortex is stable, while also exhibiting a different homothetic solution that admits an unstable approximate eigenvalue for the linearized Euler operator. If the three-dimensional non-existence result holds at the regularity needed for the singular-limit construction, it blocks one natural route to non-uniqueness via self-similar blow-up profiles.","feed_headline":"No nontrivial homothetic self-similar Navier-Stokes solutions in 3D","feed_subtitle":"A Liouville theorem blocks one route to non-uniqueness of Leray-Hopf solutions via singular limits","key_machinery":"Homothetic forward self-similar solutions: profiles Ū such that both Ū and βŪ (β nontrivial) are self-similar Navier-Stokes profiles. The Liouville theorems that rule them out (or reduce them to the Oseen vortex) are the central mechanism, together with the spectral analysis of the linearized Euler operator around the Oseen vortex.","core_discovery":"In three space dimensions, sufficiently regular initial data admit no nontrivial homothetic forward self-similar solutions of the incompressible Navier-Stokes equations. In two dimensions the only decaying homothetic solution is the Oseen vortex. The linearized Euler operator about that vortex is stable, yet another homothetic solution carries an unstable approximate eigenvalue.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Liouville theorem bars nontrivial 3D homothetic Navier-Stokes solutions","Only the Oseen vortex is a decaying 2D homothetic solution","3D admits no nontrivial homothetic self-similar Navier-Stokes solutions","Homothetic solutions ruled out in 3D, blocking one non-uniqueness route","No nontrivial 3D homothetic forward self-similar Navier-Stokes profiles"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The non-existence statements require initial data that are regular enough for the Liouville argument to close, and they apply only to solutions that are simultaneously self-similar after two different scalings.","fun_headline_variants_meta":{"raw":{"variants":["Liouville theorem bars nontrivial 3D homothetic Navier-Stokes solutions","Only the Oseen vortex is a decaying 2D homothetic solution","3D admits no nontrivial homothetic self-similar Navier-Stokes solutions","Homothetic solutions ruled out in 3D, blocking one non-uniqueness route","No nontrivial 3D homothetic forward self-similar Navier-Stokes profiles"]},"model":"grok-4.5","effort":"low","cost_usd":0.006334,"raw_usage":{"total_tokens":1607,"prompt_tokens":731,"num_sources_used":0,"completion_tokens":111,"cost_in_usd_ticks":63340000,"prompt_tokens_details":{"text_tokens":731,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":765,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":731,"tokens_out":111,"duration_ms":6399,"temperature":1.0,"reasoning_tokens":765,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-15T01:22:39.253979+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"An explicit nontrivial, sufficiently regular three-dimensional homothetic forward self-similar solution, or a proof that every candidate profile arising in a Jia-Šverák singular-limit construction necessarily fails the regularity or double-self-similarity hypotheses used here.","supporting_citations":[],"review_version":1}