{"id":"906e0d09-fda3-4b5a-99bf-f971c074e6b9","arxiv_id":"1908.01971","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For admissible weights, the paper establishes weighted multipolar Hardy inequalities with optimal constant ((N+k2-2)/2)^2 and derives existence versus instantaneous blow-up for Kolmogorov equations with multipolar inverse-square potentials.","lead":"This paper proves sharp multipolar Hardy inequalities for a broad class of weighted spaces and uses them to find the exact critical strength of several inverse-square singularities in a heat-like equation. It extends earlier single-pole and Gaussian-weighted results, giving a threshold below which positive solutions exist and above which they blow up instantly.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The sharp dichotomy depends on H3, an extra local-singularity hypothesis never verified for the explicit weights (4.1); without it, k2 and the optimal threshold are not tied to the measure, so the scope of the nonexistence result is unquantified.","rationale":"The paper's core Hardy-inequality machinery is internally coherent: the vector-field estimate (Theorem 2.1) and the IMS localization (Theorem 3.1) produce the claimed multipolar inequalities with the stated constant, modulo reliance on the unipolar inequality from [8]. The optimality construction in Theorem 5.1 is standard once H3 is assumed, and the Cabré-Martel reduction in Theorem 6.5 is consistent with the stated weak-solution framework. I found no internal contradiction in these arguments. The load-bearing soft spot is exactly the H3 hypothesis: without it, the constant c_o(N+k2) is not known to be optimal, and the nonexistence threshold in Theorem 6.6(2) is not tied to the measure μ. The paper neither proves H3 for the explicit class (4.1) nor characterizes which k2 values are admissible, so the advertised 'necessary and sufficient' dichotomy has an unquantified scope. This matches the reader's weakest-assumption analysis. Because the issue is a missing verification rather than a demonstrated false step, the conditional verdict remains appropriate; no change is recommended.","tokens_in":17275,"tokens_out":25395,"duration_ms":263233,"concrete_test":"For μ in (4.1), on B(a_i,r0) write μ = C_i(x)|x-a_i|^{-γ} with C_i bounded away from 0 and ∞; then s(a_i)=sup{δ: |x-a_i|^{-δ}∈L1_loc(dμ)}=N-γ, so H3 holds exactly for k2=-γ. Check whether k2=-γ is compatible with the Section 4 verification of H2': the near-pole condition in (4.4) only requires γ+k2≤0, so equality is admissible, but one must verify that the nonlocal terms in (4.4)-(4.6) do not force k2<-γ for some admissible γ∈(-N,N-2), especially for γ<0. If k2=-γ is admissible throughout the stated range, the explicit class is covered and the gap is a missing statement; if not, Theorem 6.6(2) silently excludes part of the class (4.1).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The optimality of c_o(N+k2) and hence the nonexistence half of Theorem 6.6(2) rest on Theorem 5.1, whose proof uses H3: sup{δ : 1/|x-a_i|^δ ∈ L1_loc(dμ)} = N+k2. H3 is introduced only in Section 5 and is not derived from H1-H2'. In fact H2' appears to allow k2 < s-N, where s is the local singularity exponent of μ. For μ roughly |x-a_i|^{-γ} near a pole, H2' gives k2 ≤ -γ, while H3 forces the equality k2 = -γ. If k2 < -γ, then s > N+k2 and the interval for η in Theorem 5.1 can fail for c just above c_o(N+k2) even though the critical threshold for such μ may be c_o(s); the stated necessary-and-sufficient condition would then not be sharp. The paper does not verify H3 for the explicit class (4.1), nor does it determine the admissible range of k2 in Section 4, leaving the applicability of the sharp dichotomy to the motivating examples unquantified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proves weighted multipolar Hardy inequalities for the Kolmogorov operator L = Δ + (∇μ/μ)·∇ on R^N, for weights μ satisfying structural hypotheses H1–H2 or H1–H2′. Two methods are used: a vector-field method (Theorems 2.1 and 2.2) yielding constants below the optimal value, and an IMS-localization method (Theorem 3.1) yielding the full constant co(N+k2)=((N+k2−2)/2)^2 under an additional unipolar inequality imported from the companion paper [8]. Under a further hypothesis H3 on the local L1-singularity of μ at one pole, Theorem 5.1 shows the constant is optimal by a standard test-function argument. The final Section 6 states properties of the semigroup generated by L and, following Cabré–Martel, derives existence of positive exponentially bounded weak solutions to (P) when c≤co(N+k2), and nonexistence when c>co(N+k2) for V=cΣ|x−ai|^{-2} (Theorem 6.6). A class of product-type weights (4.1) is claimed to satisfy the hypotheses.","tokens_in":17514,"tokens_out":14868,"duration_ms":134395,"significance":"If the central results are valid, this is a useful extension of the Baras–Goldstein and Cabré–Martel theory to general invariant measures with multipolar inverse-square potentials, and the IMS adaptation giving the optimal constant in the weighted setting is a substantive contribution. The vector-field and localization computations are internally coherent and easy to follow, and the optimality test family in Theorem 5.1 is the standard one. The paper is less strong as a self-contained work because its key unipolar estimate is deferred to [8] and the sharp dichotomy is stated under hypotheses that omit the extra optimality condition H3.","major_comments":[{"comment":"The hypotheses of Theorem 6.6 are stated as H1–H4, but part (2) is obtained through Theorem 5.1, whose proof requires H3. H3 is introduced only in Section 5, is not listed among the assumptions of Theorem 6.6, and is not shown to be a consequence of H1–H4. For a weight with μ ∼ |x−a_i|^{−γ} near a pole, H2 only forces k2 ≤ −γ, while H3 forces the equality k2 = −γ; if k2 < −γ, the constant co(N+k2) is strictly smaller than the true critical constant and the asserted necessary-and-sufficient dichotomy in part (2) is not justified. The applicability of the nonexistence result to the motivating class (4.1) is therefore unquantified.","section":"Section 6, Theorem 6.6"},{"comment":"The proof of the principal Hardy inequality (Theorem 3.1) relies entirely on the weighted unipolar inequality (3.1) taken from the companion preprint [8], whose exact hypotheses and proof are not reported in this manuscript. Since (3.1) carries the optimal constant co(N+k2) and is the only input that upgrades the vector-field estimate to the full constant, the central estimate is not self-contained. The authors should either include a proof of (3.1) under the stated hypotheses or cite a published version with a precise statement.","section":"Section 3, Eq. (3.1)"},{"comment":"The verification of H2′ for the exemplary weights (4.1) is only sketched by reasoning as in the previous case, and the displayed admissible range for γ appears garbled: two inequalities with the same expression are written consecutively inside a single sentence, and the constants c1, cρ are not cleanly defined. More importantly, no relation between γ and k2 is derived, so it is not determined which weights (4.1) satisfy H3. Without such a determination, the optimality theorem and the nonexistence half of Theorem 6.6 cannot be applied to the paper's own examples.","section":"Section 4, display (4.1)"}],"minor_comments":[{"comment":"The phrase 'constant constant' is a typo; the abstract should read 'the optimality of the constant c_{o,μ}'.","section":"Abstract"},{"comment":"The hypothesis H2 is stated with a fixed β, but the proof then maximizes over β. Please clarify whether H2 is assumed for all β>0 or only for the β used in the maximization, and adjust the wording accordingly.","section":"Section 2, H2"},{"comment":"The constant C1 is defined with ||∇θ||∞ but it is used to bound |∇θ|^2; use ||∇θ||^2∞ or replace it by max(1,||∇θ||∞) to make the inequality valid.","section":"Section 5, Eq. (5.2)"},{"comment":"The symbols cρ, c1, c2, c3, c4 appear with incomplete definitions; please standardize the notation and correct the displayed condition on γ, which is currently hard to parse.","section":"Section 4, equations (4.4)–(4.6)"},{"comment":"In the displayed identity following the comparison with (6.1), 'Vu' should be written as 'V u' to avoid confusion with a single variable.","section":"Section 6, Eq. (6.3)"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is H3: either add it to the statement of Theorem 6.6 or prove it (or a sufficient condition) for the class (4.1). The reliance on [8] should also be resolved. If these points are addressed, the paper would be publishable; otherwise the sharp dichotomy is conditional on an unverified hypothesis."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe paper is worth a look: it proves the first weighted multipolar Hardy inequality for non-Gaussian measures, with the expected constant ((N+k2-2)/2)^2, using an IMS truncation adapted from Bosi–Dolbeault–Esteban. That part is genuine and, as far as I can tell, correct. The vector-field method gives a slightly weaker version under less restrictive hypotheses, which is a nice complement.\n\nThe soft spot is the sharp blow-up dichotomy. The nonexistence half (Theorem 6.6(2)) depends on Theorem 5.1, which requires hypothesis H3: for some pole, sup{δ : |x-a_i|^{-δ} ∈ L1_loc(dμ)} = N+k2. H3 is introduced only in Section 5 and is never verified for the explicit weight class (4.1). For μ ~ |x-a_i|^{-γ} near a pole, H3 forces k2 = -γ. But the verification of H2' in Section 4 only seems to require k2 ≤ -γ, so it is entirely possible that the admissible k2 is strictly smaller. If that happens, the true critical constant for the measure is larger than co(N+k2), and the test function in Theorem 5.1 will not make λ1 = -∞ for every c > co(N+k2). The dichotomy in Theorem 6.6 is then not sharp for the paper's motivating examples.\n\nThere are smaller issues: Proposition 6.1 and Theorem 6.5 are asserted by analogy with [6] rather than proved, and the unipolar inequality from [8] is load-bearing. Those are acceptable if the companion papers are solid, but they leave the present manuscript not fully self-contained.\n\nI do not see a fatal error in the Hardy inequality sections. The optimality proof is standard once H3 is granted. The paper deserves a serious referee, but the authors need to either prove H3 for the explicit weights or state the nonexistence and optimality results as conditional on H3. As written, the abstract overclaims the necessary-and-sufficient dichotomy.\n\nMy advice: send it to review, but flag the H3 issue prominently.\n\nBest,\n[Name]","headline":"Solid weighted multipolar Hardy inequality with the right constant, but the advertised sharp blow-up dichotomy rests on an unverified extra hypothesis (H3) that may not hold for the paper's own examples.","tokens_in":18052,"tokens_out":6182,"would_cite":true,"duration_ms":61767,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K15","35K65","35B25","34G10","47D03"],"pacs":[],"model":"deepseek-v4-flash","headline":"Weighted multipolar Hardy inequalities hold with the sharp constant $((N+k_2-2)/2)^2$, and this same constant separates existence from instantaneous blow-up for Kolmogorov evolution equations with inverse-square potentials.","keywords":["weighted Hardy inequality","multipolar inverse-square potential","optimal constant","Kolmogorov operators","evolution problem","existence versus instantaneous blow-up","partition of unity","weighted Sobolev space"],"falsifier":"Run the Section-5 quotient computation for a two-pole weight of the explicit form (4.1), for instance $\\mu(x)=|x-a_1|^{-\\gamma}|x-a_2|^{-\\gamma}$ with $\\gamma<N-2$, and determine whether the spectral bottom $\\lambda_1(L+V)$ jumps from $-\\infty$ to finite exactly at $c=((N+k_2-2)/2)^2$. A jump at a different value would show the claimed optimal constant is not the true threshold for the advertised weight class.","tokens_in":17081,"feed_emoji":"⚖️","tokens_out":13503,"duration_ms":120653,"temperature":0.7,"pith_summary":"The paper proves weighted multipolar Hardy inequalities for a broad class of weights: $c\\int_{\\mathbb R^N}\\sum_{i=1}^n u^2|x-a_i|^{-2}\\,d\\mu \\le \\int_{\\mathbb R^N}|\\nabla u|^2\\,d\\mu + K\\int_{\\mathbb R^N}u^2\\,d\\mu$ whenever $0<c\\le c_{o,\\mu}$, where $c_{o,\\mu}=((N+k_2-2)/2)^2$. It then shows this constant is optimal and uses that optimality to settle the sharp dichotomy for the evolution problem $\\partial_t u = \\Delta u + (\\nabla\\mu/\\mu)\\cdot\\nabla u + V u$ with $V=c\\sum_i |x-a_i|^{-2}$: below the critical value there is a positive weak solution with an exponential growth bound for every initial datum, and above it no such solution exists. The result matters because it extends the classical Hardy threshold from Lebesgue and Gaussian measures to general weights that may degenerate or blow up at the poles, tying a functional-analytic constant to a dynamical phenomenon.","feed_headline":"Sharp constant solves weighted multipolar Hardy case","feed_subtitle":"The same number decides whether perturbed Kolmogorov equations have positive solutions or blow up instantly.","key_machinery":"The central mechanism is the weighted partition-of-unity localization. A partition of unity subordinate to disjoint balls around the poles decomposes the quadratic form $\\int(|\\nabla\\phi|^2-cV_n\\phi^2)\\,d\\mu$ into one-pole contributions plus a remainder; each one-pole contribution is controlled by a unipolar weighted Hardy inequality with constant $c_{o,\\mu}$, while the remainder is bounded by $k_0+(n+1)c/r_0^2+k_1$ times $\\|\\phi\\|_{L^2_\\mu}^2$. The companion machinery is the spectral bottom $\\lambda_1(L+V)$: the same test functions establish $\\lambda_1=-\\infty$ above the critical constant, and the criterion $\\lambda_1>-\\infty$ is what converts the Hardy inequality into existence of positive exponentially bounded solutions.","core_discovery":"The central claim is that the multipolar Hardy constant for the weighted Sobolev space $H^1_\\mu$ is still the one-pole value $c_{o,\\mu}=((N+k_2-2)/2)^2$, provided the weight satisfies the hypotheses H1–H4 and the local singularity condition H3 at one pole. The proof separates the poles with a partition of unity, reduces each localized term to a unipolar weighted Hardy inequality, and controls the inter-pole remainders by a lower-order $L^2_\\mu$ term whose constant depends on the minimal distance between poles. Optimality is proved by testing powers $(\\varepsilon+|x-a_i|)^\\eta$ concentrated at one pole: for $c>c_{o,\\mu}$ the spectral quotient tends to $-\\infty$, so no inequality of the stated form can hold. Applying the spectral criterion for heat-type equations, the paper concludes that the same constant $c_{o,\\mu}$ is the exact threshold for existence of positive exponentially bounded weak solutions to the perturbed Kolmogorov evolution problem.","pith_inferences":["The optimality proof concentrates at a single pole, so the multipolar threshold is likely governed by the most singular pole; one could check whether poles with weaker singularities only affect the lower-order constant $K$.","Hypothesis H3 is not verified for the explicit weight class (4.1); checking whether the local integrability threshold equals $N+k_2$ for those weights would determine how far the sharp nonexistence dichotomy extends into the paper's advertised examples.","The same spectral criterion could be pushed to potentials with several inverse-square poles of different strengths $c_i$; the natural conjecture is that existence holds exactly when the positive part of the sum stays below the one-pole constant, in analogy with the unweighted multipolar Schrödinger picture, though this paper fixes equal coefficients $c$."],"forward_implications":["For any weight satisfying H1–H4 and any separated pole configuration, the multipolar Hardy inequality holds for all $0<c\\le ((N+k_2-2)/2)^2$, with an explicit lower-order constant depending on $n,r_0,k_0,k_1$.","The Hardy threshold is independent of the number of poles: additional poles change only the remainder constant, not the critical value of $c$.","For $V\\le c\\sum_i |x-a_i|^{-2}$ with $c$ at or below the critical value, the initial-value problem has a positive weak solution satisfying the exponential bound (6.5) for every $u_0\\in L^2_\\mu$.","When H3 also holds and $V=c\\sum_i |x-a_i|^{-2}$ with $c$ above the critical value, no positive weak solution satisfying (6.5) can exist, so the only alternative is instantaneous blow-up."],"supporting_citations":[{"why":"Establishes the classical heat-equation threshold for existence of positive solutions with an inverse-square potential, the dichotomy this paper generalizes to weighted settings.","marker":"[3]"},{"why":"Supplies the partition-of-unity proof of multipolar Hardy inequalities with the optimal constant in the unweighted case.","marker":"[4]"},{"why":"Proves the spectral-bottom criterion linking the finiteness of the bottom of the spectrum to existence of positive exponentially bounded solutions.","marker":"[5]"},{"why":"Provides weighted Hardy inequalities and semigroup properties for single-pole Kolmogorov operators that the proof adapts to the multipolar setting.","marker":"[6]"},{"why":"Gives the previous multipolar weighted Hardy inequalities for Gaussian measures, the result here extended to general weights.","marker":"[7]"},{"why":"States the unipolar weighted Hardy inequality with constant $c_{o,\\mu}$ used at each pole in the partition-of-unity argument.","marker":"[8]"},{"why":"Analyzes positivity of Schrödinger forms with multipolar inverse-square potentials, the qualitative picture the weighted inequality refines.","marker":"[11]"},{"why":"Extends the spectral criterion to Kolmogorov equations perturbed by one inverse-square pole and supplies the solution-estimate method used in Theorem 6.5.","marker":"[12]"}],"fun_headline_variants":["Sharp constant for weighted multipolar Hardy inequality","Optimal constant decides positive solutions for Kolmogorov PDEs","Multipolar Hardy: sharp threshold for blow-up vs survival","Weighted Hardy constant sets exact existence boundary","One number rules multipolar Hardy and Kolmogorov positivity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The sharp nonexistence half rests on Hypothesis H3, introduced in Section 5: at one pole the measure must have precise local integrability threshold $\\sup\\{\\delta: |x-a_i|^{-\\delta}\\in L^1_{\\rm loc}(d\\mu)\\}=N+k_2$. The paper does not show the explicit weight class (4.1) satisfies H3, so the full dichotomy is proved only under this extra condition.","fun_headline_variants_meta":{"raw":{"variants":["Sharp constant for weighted multipolar Hardy inequality","Optimal constant decides positive solutions for Kolmogorov PDEs","Multipolar Hardy: sharp threshold for blow-up vs survival","Weighted Hardy constant sets exact existence boundary","One number rules multipolar Hardy and Kolmogorov positivity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000307,"raw_usage":{"total_tokens":1797,"prompt_tokens":1027,"completion_tokens":770,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":643,"completion_tokens_details":{"reasoning_tokens":694}},"tokens_in":643,"tokens_out":770,"duration_ms":8401,"temperature":1.0,"reasoning_tokens":694,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:58:31.689586+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the Section-5 quotient computation for a two-pole weight of the explicit form (4.1), for instance $\\mu(x)=|x-a_1|^{-\\gamma}|x-a_2|^{-\\gamma}$ with $\\gamma<N-2$, and determine whether the spectral bottom $\\lambda_1(L+V)$ jumps from $-\\infty$ to finite exactly at $c=((N+k_2-2)/2)^2$. A jump at a different value would show the claimed optimal constant is not the true threshold for the advertised weight class.","supporting_citations":[{"cited_title":"Baras, J","cited_arxiv_id":null,"evidence_quote":"Establishes the classical heat-equation threshold for existence of positive solutions with an inverse-square potential, the dichotomy this paper generalizes to weighted settings."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the partition-of-unity proof of multipolar Hardy inequalities with the optimal constant in the unweighted case."},{"cited_title":"Cabr´ e, Y","cited_arxiv_id":null,"evidence_quote":"Proves the spectral-bottom criterion linking the finiteness of the bottom of the spectrum to existence of positive exponentially bounded solutions."},{"cited_title":"Canale, F","cited_arxiv_id":null,"evidence_quote":"Provides weighted Hardy inequalities and semigroup properties for single-pole Kolmogorov operators that the proof adapts to the multipolar setting."},{"cited_title":"Canale, F","cited_arxiv_id":null,"evidence_quote":"Gives the previous multipolar weighted Hardy inequalities for Gaussian measures, the result here extended to general weights."},{"cited_title":"A class of weighted Hardy inequalities and applications to evolution problems","cited_arxiv_id":"1812.03193","evidence_quote":"States the unipolar weighted Hardy inequality with constant $c_{o,\\mu}$ used at each pole in the partition-of-unity argument."},{"cited_title":"Felli, E","cited_arxiv_id":null,"evidence_quote":"Analyzes positivity of Schrödinger forms with multipolar inverse-square potentials, the qualitative picture the weighted inequality refines."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Extends the spectral criterion to Kolmogorov equations perturbed by one inverse-square pole and supplies the solution-estimate method used in Theorem 6.5."}],"review_version":1}