{"id":"418226f2-4bc0-426b-9a8f-93b6a952f68c","arxiv_id":"2505.19021","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For the critical Hartree equation, positive singular solutions are claimed to be radially symmetric and to converge near the singularity to a blow-up limit, but the key lower-bound proof is missing.","lead":"Mathematicians studied a nonlinear equation used in physics (Hartree/Choquard models of plasmas and polarons) and asked how solutions behave near a point where they blow up. They claim such solutions become asymptotically symmetric and approach a fixed blow-up profile, extending a classical 1989 result to these nonlocal equations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 is not proved in the manuscript: the lower-bound half is deferred to an unstated 'removable classification theorem,' and the stated upper-bound propositions assume stronger integrability than the theorem.","rationale":"The reader's verdict of REJECT is supported by the manuscript's own text. The introduction to Section 4 explicitly delegates the lower-bound estimates to a 'removable classification theorem' connected to a 'Pohozaev invariant,' yet neither is stated, proved, or cited. This is not a matter of exposition: Theorem 1.2 asserts the full asymptotic equivalence u(x)=(1+o(1))u_∞(|x|), which requires both an upper bound and a lower bound, and the lower bound is the part that is missing. The integrability mismatch is a further, concrete obstacle: Propositions 4.6 and 4.7 are proved under u∈L^{(n+2)/(n-2)}, while Theorem 1.2 assumes u∈L^{2*_α}=L^{(n+α)/(n-2)}; for α<2 the latter is weaker, so the propositions do not apply as stated. The symmetry theorem (Theorem 1.1) may be correct, and the upper-bound and asymptotic-radial-symmetry arguments are detailed, but the second main theorem lacks a complete proof in this version. Therefore the reader's rejection remains appropriate, and no verdict change is needed.","tokens_in":37079,"tokens_out":8375,"duration_ms":74892,"concrete_test":"Search the manuscript for the promised removable classification theorem and the definition of the Pohozaev invariant. If they are absent, attempt to complete the proof of Theorem 1.2 by deriving the lower bound from Propositions 4.6 and 4.7; if this derivation is impossible without an additional classification result, the concern lands. As a more restricted check, test the proof of Proposition 4.6 in the case n=3, α=1 with only u∈L^{2*_α}; if the estimate for P_k(y2) in Section 4.2 fails under this weaker integrability, the theorem's hypotheses are insufficient for the stated upper-bound argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 1.2, the asymptotic equivalence u(x)=(1+o(1))u_∞(|x|) as x→0. A proof must supply both a sharp upper bound and a matching lower bound, with the limit profile identified. Section 4 supplies Proposition 4.6 (limsup |x|^{(n-2)/2}u(x)<∞) and Proposition 4.7 (u(x)=average(|x|)(1+O(|x|))), but the passage from these to (1.7) is never written. The text says: \"For the proof of the lower bound estimates, we rely on a removable classification theorem, which is based on the sign of the so-called Pohozaev invariant.\" No such theorem is stated, proved, or cited anywhere in the preprint, and the \"Pohozaev invariant\" is never defined. Thus the lower bound liminf |x|^{(n-2)/2}u(x)>0 — which is necessary to exclude vanishing and to force the normalized sequence to converge to a nonzero blow-up limit u_∞ — is absent. Moreover, Propositions 4.6 and 4.7 assume u∈L^{(n+2)/(n-2)}(B_2), while Theorem 1.2 assumes only u∈L^{2*_α}=L^{(n+α)/(n-2)}(B_R). For α<2 this integrability is strictly weaker, and no argument in the paper upgrades it. So even the upper-bound half is not justified under the theorem's hypotheses. The conclusion (1.7) therefore has no complete derivation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies positive singular solutions of the critical Hartree equation -Δu = (R_α * F(u)) f(u) in punctured domains and in R^n \\ {0}. It claims two main results: Theorem 1.1, asserting that entire singular solutions in R^n \\ {0} are radially symmetric about the origin and monotonically decreasing, and Theorem 1.2, asserting that singular solutions in a punctured ball satisfy u(x) = (1+o(1))u_∞(|x|) as x → 0 for a blow-up limit solution u_∞ of the limit equation. The authors develop an asymptotic integral moving-spheres method, prove an integral representation, and derive a sharp upper bound and asymptotic spherical symmetry for solutions under stronger integrability assumptions.","tokens_in":37435,"tokens_out":14173,"duration_ms":85219,"significance":"If fully established, Theorem 1.2 would be a substantial extension of the Caffarelli–Gidas–Spruck local-asymptotics theory to critical Hartree equations, and the asymptotic integral moving-spheres technique developed in the paper would be of independent interest. The proof of Theorem 1.1 is long and structurally detailed, and the upper-bound part of Theorem 1.2 (Proposition 4.6) and the asymptotic radial symmetry part (Proposition 4.7) are argued in detail. However, the paper's headline Theorem 1.2 is not actually proved: the lower-bound half is deferred to an unstated external theorem, and the final identification of the limit profile is never carried out. As submitted, the central claim is therefore unsupported.","major_comments":[{"comment":"The lower-bound half of Theorem 1.2 is deferred to an unstated 'removable classification theorem, which is based on the sign of the so-called Pohozaev invariant.' No such theorem is stated, proved, or cited anywhere in the manuscript, and the invariant is never defined. The conclusion (1.7) requires a positive lower bound on |x|^{(n-2)/2}u(x) (or an equivalent control) to exclude vanishing and to identify a nonzero blow-up limit; without the missing theorem, the lower bound is simply absent. As a consequence, Theorem 1.2, the paper's headline result, is not proven.","section":"Section 4, after Proposition 4.3"},{"comment":"Both propositions assume u∈C(B*_2)∩L^{(n+2)/(n-2)}(B_2), whereas Theorem 1.2 assumes only u∈L^{2*_α}(B_R)=L^{(n+α)/(n-2)}(B_R). For α∈(0,2) the former integrability is strictly stronger, and the manuscript gives no bootstrap from L^{2*_α} to L^{(n+2)/(n-2)}. Hence even the upper-bound estimate and the asymptotic radial symmetry are not established under the hypotheses of Theorem 1.2.","section":"Propositions 4.6 and 4.7"},{"comment":"The proof of Theorem 1.2 ends with Proposition 4.7; the passage from the upper bound and the spherical-average asymptotics u(x)=ū(|x|)(1+O(|x|)) to the asserted existence of a single blow-up limit profile u_∞∈C^∞(R^n\\{0}) satisfying (1.7) is never written. Since the blow-up procedure in Proposition 4.6 produces a limit only along a subsequence, additional compactness and identification arguments are required, and these are not supplied.","section":"Section 4, end"}],"minor_comments":[{"comment":"The title is typeset as 'HAR TREE EQUA TIONS' instead of 'HARTREE EQUATIONS'.","section":"Title page"},{"comment":"The sentence 'by an earlier result by Chen, Li and Ou [26]' cites reference [26], which is Jin, Li, and Xiong; the intended citation is presumably [9].","section":"Introduction, literature discussion"},{"comment":"The phrase 'and sacling' appears where 'and scaling' is meant.","section":"Section 4.1, after Proposition 4.3"},{"comment":"The statement claims the integral representation (3.11) for x∈R^n, but since u is singular at the origin, the statement should presumably be for x∈R^n\\{0} or should otherwise clarify the meaning at x=0.","section":"Proposition 3.4"}],"recommendation":"reject","confidential_remarks":"The manuscript is not in a publishable state: the main theorem, Theorem 1.2, is not proved because the lower-bound step is deferred to an unstated and uncited 'removable classification theorem' with an undefined Pohozaev invariant, and there is an unaddressed integrability gap between the theorem's assumptions and the propositions used. Should the authors supply the missing theorem and the missing bootstrap, a revised or new submission could be considered, but the current text does not support the central claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: the headline local-asymptotics theorem (1.2) is not proved in this version. The paper's own text, right after Prop 4.3, says the lower bound rests on a 'removable classification theorem' based on the sign of a 'so-called Pohozaev invariant,' but no such theorem is stated, proved, or cited, and the invariant is never defined. Without a lower bound, the limit profile u_∞ is not identified and the (1+o(1)) statement doesn't follow. The stress-test is right about the integrability mismatch too: Props 4.6 and 4.7 assume L^{(n+2)/(n-2)}, while Theorem 1.2 only assumes L^{2*_α}=L^{(n+α)/(n-2)}; for α<2 that's a weaker space, and nothing in the paper upgrades it.\n\nThat said, this is a serious paper with real content. The symmetry result, Theorem 1.1, is argued in detail using an integral moving spheres method adapted to the double-convolution Hartree kernel, and the technical work in Section 3 looks substantial. The upper-bound and asymptotic-radial-symmetry propositions (4.6, 4.7) are also carefully written. If the missing lower-bound machinery works, this would be a meaningful extension of Caffarelli-Gidas-Spruck to the nonlocal critical Hartree setting.\n\nThe citation pattern is fine; external classification results (Theorem B) are used properly, and coauthor self-citations are for relevant prior work, not for the target statement.\n\nSo: the symmetry half deserves a serious referee; the asymptotics half is incomplete. I'd send it to review, but the authors need to supply the removable classification theorem, define the Pohozaev invariant, and either prove the upper-bound propositions under the theorem's actual integrability or state the theorem with stronger assumptions. As it stands, I would not use Theorem 1.2 in my own work.","headline":"Theorem 1.2 is not proven in this version—the lower-bound half is deferred to an unstated removable classification theorem—but the symmetry result and the moving-spheres adaptation are real contributions worth refereeing.","tokens_in":37954,"tokens_out":2768,"would_cite":false,"duration_ms":24927,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J60","35B09","35J30","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Singular solutions to critical Hartree equations are controlled by a single radial blow-up profile near an isolated singularity.","keywords":["critical Hartree equation","isolated singularities","local asymptotics","radial symmetry","integral moving spheres","Kelvin transform","Hardy-Littlewood-Sobolev critical exponent","blow-up limit solution"],"falsifier":"One concrete check: take a positive singular solution of $(P_{n,\\alpha,R})$ in $L^{2^*_\\alpha}(B_R)$ and evaluate $\\liminf_{x\\to 0}|x|^{(n-2)/2}u(x)$; Theorem 1.2 predicts this limit equals the corresponding finite positive value of the limiting profile $u_\\infty$. Finding a solution with $\\liminf=0$ but $\\limsup=\\infty$ would refute (1.7). Alternatively, writing out the announced removable classification theorem and verifying its hypotheses for $L^{2^*_\\alpha}$ solutions would settle whether the lower bound currently follows.","tokens_in":36889,"feed_emoji":"🧮","tokens_out":7546,"duration_ms":65974,"temperature":0.7,"pith_summary":"The paper tries to establish that every positive solution of the critical Hartree equation that blows up at an isolated point behaves, asymptotically, like one universal radial profile: as $x\\to 0$, $u(x)=(1+o(1))u_\\infty(|x|)$, where $u_\\infty$ solves the corresponding equation on the punctured space. The second main claim is that all such blow-up profiles on the whole punctured space are radially symmetric about the singularity and monotonically decreasing. If true, this means that isolated singularities of critical Hartree equations are not wild: their local geometry is pinned by a single function, and the question of whether the singularity is removable or supports periodic Delaunay-type behavior becomes a one-dimensional problem. The work also contributes an asymptotic integral moving-spheres method adapted to double-convolution kernels, presented as a technique of independent interest. A sympathetic reading takes the main theorems as extending the classical analysis of critical semilinear equations with isolated singularities to nonlocal Hartree nonlinearities.","feed_headline":"Hartree singular solutions proven radial, bubble-like near singularity","feed_subtitle":"New asymptotic moving-spheres proof pins down the local shape of solutions to critical Hartree equations at isolated blow-up points.","key_machinery":"The engine is an integral moving-spheres method run in asymptotic form. Solutions of the differential equation are first shown to satisfy an equivalent integral equation $u=R_2*[(R_\\alpha*F(u))f(u)]+h$ locally, with $R_2$ and $R_\\alpha$ the Riesz kernels of the Laplacian and of the Hartree interaction; the technique then compares $u$ with its Kelvin transform $u_{x,\\mu}(z)=(\\mu/|z-x|)^{n-2}u(x+\\mu^2(z-x)/|z-x|^2)$ and uses positivity of the two kernels $K_2$ and $K_\\alpha$ to show the transform stays below $u$ up to the critical radius. In the blow-up argument this comparison is applied to renormalized sequences converging to a classified bubble, forcing a contradiction unless the upper bound holds; the lower bound is meant to follow from a removable-singularity classification theorem governed by the sign of a Pohozaev invariant. The double convolution kernel is the main technical obstacle, and the paper's new estimates control the difference between a solution and its Kelvin transform in the presence of that double convolution.","core_discovery":"On its own terms, the paper's central discovery is Theorem 1.2: if $u\\in C^\\infty(B_R\\setminus\\{0\\})\\cap L^{2^*_\\alpha}(B_R)$ is a positive singular solution of $-\\Delta u=(R_\\alpha*F(u))f(u)$ in the punctured ball $B_R$, then $u(x)=(1+o(1))u_\\infty(|x|)$ as $x\\to 0$ for a blow-up limit solution $u_\\infty$ of the same equation on $\\mathbb{R}^n\\setminus\\{0\\}$. The force of the statement is that the convergence is not along a subsequence but as a full limit with a single limiting profile, so the local blow-up rate $|x|^{(n-2)/2}u(x)$ is asymptotically radial and universal. Complementarily, Theorem 1.1 asserts that any positive singular solution in $C^2(\\mathbb{R}^n\\setminus\\{0\\})\\cap L^{2^*_\\alpha}(\\mathbb{R}^n)$ of the blow-up limit equation is radially symmetric about the origin and decreasing in $|x|$. Together these reduce the classification of isolated singularities to the study of radial solutions and set up the paper's conjecture that refined asymptotics are given by periodic Delaunay solutions with exponentially small error.","pith_inferences":["A likely extension: the same asymptotic moving-spheres scheme should apply to Choquard-type systems and to fractional Hartree equations, where the same double-convolution structure appears with different Riesz kernels. ","If the removable classification theorem implied by the text exists and holds under $L^{2^*_\\alpha}$ integrability, then Theorem 1.2 would also rule out intermediate blow-up profiles, leaving only the bubble profile and periodic Delaunay profiles as candidates. ","The Pohozaev invariant mentioned in Section 4, if properly defined, could give a sign test to distinguish removable singularities from Delaunay-type behavior in explicit radial solutions. ","Refined asymptotics of the type in Conjecture 1.3 would connect Hartree singularities to the constant-scalar-curvature and constant-$Q$-curvature literature, where the same Delaunay family and indicial-root analysis appear. "],"forward_implications":["Theorem 1.2 pins the singularity: any positive solution that blows up at an isolated point has the same leading profile as a solution on the punctured space, up to a factor $1+o(1)$. ","Theorem 1.1 turns the blow-up limit equation into a one-dimensional problem: radial symmetry and monotonicity justify the Emden–Fowler change of variables used for Delaunay-type analysis. ","The upper-bound estimate $|x|^{(n-2)/2}u(x)$ bounded near the origin and the asymptotic radial symmetry result hold for positive solutions of the integral equation under $L^{(n+2)/(n-2)}$ integrability. ","The asymptotic integral moving-spheres technique becomes available for nonlocal critical equations with double-convolution structure, not just for local conformally invariant equations. ","The conjectured refined asymptotics with Delaunay solutions would give the blow-up rate in terms of indicial roots of the linearized operator, completing the classical picture for critical equations with isolated singularities. "],"supporting_citations":[{"why":"Supplies the classical blow-up and asymptotic-symmetry framework for critical semilinear equations that the paper extends to the Hartree case.","marker":"[5]"},{"why":"Provides the integral dual method and local estimates for conformally invariant equations with singular sets, adapted here to Hartree nonlinearities.","marker":"[13]"},{"why":"Develops the integral moving spheres technique and dual representation used to prove radial symmetry of singular solutions.","marker":"[26]"},{"why":"Supplies the asymptotic moving spheres method and Kelvin-transform error estimates used in the blow-up upper-bound argument.","marker":"[27]"},{"why":"Provides the moving spheres framework for conformally invariant integral equations, including the positivity of the Kelvin kernels.","marker":"[32]"},{"why":"Gives the kernel estimates for double-convolution Hartree-type nonlinearities needed in the moving-sphere error terms.","marker":"[10]"},{"why":"Establishes the isolated-singularity and integrability framework for Choquard equations used to handle the Riesz convolution $R_\\alpha*F(u)$.","marker":"[6]"},{"why":"Contains the moving-spheres dichotomy lemmas (identity versus constant) used to force the contradiction in the blow-up limit.","marker":"[33]"}],"fun_headline_variants":["Singular Hartree solutions proven radial, bubble-like","Critical Hartree singularities are radial, bubble-like","Punctured Hartree solutions match bubble limit","Hartree blow-up shape: radial bubble limit proven","Radial symmetry proven for Hartree blow-up solutions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The lower-bound half of Theorem 1.2 depends on a removable-singularity classification theorem, based on the sign of a Pohozaev invariant, that the paper mentions but neither states, proves, nor cites, and whose hypotheses may require stronger integrability than the $L^{2^*_\\alpha}$ assumption of the theorem.","fun_headline_variants_meta":{"raw":{"variants":["Singular Hartree solutions proven radial, bubble-like","Critical Hartree singularities are radial, bubble-like","Punctured Hartree solutions match bubble limit","Hartree blow-up shape: radial bubble limit proven","Radial symmetry proven for Hartree blow-up solutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000599,"raw_usage":{"total_tokens":2852,"prompt_tokens":1049,"completion_tokens":1803,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":665,"completion_tokens_details":{"reasoning_tokens":1728}},"tokens_in":665,"tokens_out":1803,"duration_ms":11774,"temperature":1.0,"reasoning_tokens":1728,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:21:41.475618+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete check: take a positive singular solution of $(P_{n,\\alpha,R})$ in $L^{2^*_\\alpha}(B_R)$ and evaluate $\\liminf_{x\\to 0}|x|^{(n-2)/2}u(x)$; Theorem 1.2 predicts this limit equals the corresponding finite positive value of the limiting profile $u_\\infty$. Finding a solution with $\\liminf=0$ but $\\limsup=\\infty$ would refute (1.7). Alternatively, writing out the announced removable classification theorem and verifying its hypotheses for $L^{2^*_\\alpha}$ solutions would settle whether the lower bound currently follows.","supporting_citations":[{"cited_title":"Caffarelli, B","cited_arxiv_id":null,"evidence_quote":"Supplies the classical blow-up and asymptotic-symmetry framework for critical semilinear equations that the paper extends to the Hartree case."},{"cited_title":"Du and H","cited_arxiv_id":null,"evidence_quote":"Provides the integral dual method and local estimates for conformally invariant equations with singular sets, adapted here to Hartree nonlinearities."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Develops the integral moving spheres technique and dual representation used to prove radial symmetry of singular solutions."},{"cited_title":"Jin and J","cited_arxiv_id":null,"evidence_quote":"Supplies the asymptotic moving spheres method and Kelvin-transform error estimates used in the blow-up upper-bound argument."},{"cited_title":"Li, Remark on some conformally invariant integral equations: the method of moving spheres,J","cited_arxiv_id":null,"evidence_quote":"Provides the moving spheres framework for conformally invariant integral equations, including the positivity of the Kelvin kernels."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the kernel estimates for double-convolution Hartree-type nonlinearities needed in the moving-sphere error terms."},{"cited_title":"Chen and F","cited_arxiv_id":null,"evidence_quote":"Establishes the isolated-singularity and integrability framework for Choquard equations used to handle the Riesz convolution $R_\\alpha*F(u)$."},{"cited_title":"Li and L","cited_arxiv_id":null,"evidence_quote":"Contains the moving-spheres dichotomy lemmas (identity versus constant) used to force the contradiction in the blow-up limit."}],"review_version":1}