{"id":"8e470a44-bf02-43e3-95fb-74d87ad3b776","arxiv_id":"2505.02260","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper gives existence conditions, support descriptions, and convergence theorems for weighted minimum α-Green energy measures with external fields.","lead":"This mathematics paper works out when a certain minimum energy problem has a solution for a class of Green kernels, which generalize Riesz kernels to domains with boundaries. Generalists might care because such equilibria appear in electrostatics, heat flow, and probability, and the paper gives exact conditions plus formulas for where the solution lives.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.4's sufficiency for ϑ(D)>1 depends on the imported refined positivity-of-mass principle [30, Thm 5.1], which is neither stated nor proved here; the main equivalence stands or falls with that theorem.","rationale":"The reader's weakest assumption already identifies the reliance on [30, Theorem 5.1], and the present stress-test confirms that this is exactly the load-bearing step in the sufficiency direction of Theorem 2.4. The rest of the proof is internally coherent: the extremal-measure machinery in Section 3, the reduction to the dual field, and the two cases in Section 6 all fit together, and the paper is careful about the earlier gap in [15]. However, the decisive inference for ϑ(D)>1 is currently unverifiable from the manuscript alone because the refined positivity-of-mass principle is not stated, and the paper's own Section 1 only proves the balayage inequality μ^F_g(D)≤μ(D), not the needed comparison of two arbitrary measures supported on F. Since the cited result is in press and not machine-checked, a cautious verdict should be CONDITIONAL on the proposed verification of that implication. If the check passes, an unqualified ACCEPT would be appropriate; if it fails, the main equivalence in Theorem 2.4 is unsupported.","tokens_in":20855,"tokens_out":12594,"duration_ms":150873,"concrete_test":"Obtain the exact statement and proof of [30, Theorem 5.1] and verify the precise implication used in Section 6: for μ,ν∈E^+_g(D) with supp μ,ν⊂F, if U^μ_g ≥ U^ν_g q.e. on F and ω_α(x,R^n\\D;Ω)=0 for every x∈Ω, then μ(D)≥ν(D). Try to derive it from the classical Deny/Riesz positivity-of-mass principle using the balayage identity μ^F_g = μ^{F∪Y}_{κ_α}|_F from (1.18), and check where condition (2.14) enters. If the implication follows from these ingredients, the concern is resolved; if a counterexample or an unstated extra hypothesis emerges, Theorem 2.4 needs to be revised or restricted.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central equivalence in Theorem 2.4 is proved in Section 6. In the only nontrivial case, ϑ^F_g(D)>1, the argument assumes C_ξ≥0 and derives from (3.17) that U^ξ_g ≥ U^{ϑ^F_g}_g q.e. on F; it then invokes 'the refined principle of positivity of mass for gα-potentials as stated in [30, Theorem 5.1]' to conclude ξ(D) ≥ ϑ^F_g(D)>1, contradicting (3.14). This is the decisive step that forces C_ξ<0 and hence ξ(D)=1, i.e. existence. The quoted principle is not stated, and the ordinary positivity-of-mass statement cited at (1.19) gives only μ^F_g(D)≤μ(D) for balayage, not a comparison of two arbitrary finite-energy measures supported on F. Thus the sufficiency half of the 'if and only if' has exactly one external load-bearing assumption. If [30, Thm 5.1] carries an extra hypothesis (regularity of the measures, a restriction on the Y-component of balayage, or an additional connectedness or finiteness condition) not checked in Section 6, the contradiction ξ(D)>1 fails and the theorem does not establish existence for ϑ(D)>1. This is a genuine verification risk because the cited paper is in press and not machine-checked; it is not a demonstrated internal inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Gauss variational (minimum energy with external field) problem for the α-Green kernel g^α_D on a domain D ⊂ R^n, with an external field generated by a fixed bounded measure ϑ concentrated on D \\ F, and with admissible probability measures supported on a relatively closed set F. The central result, Theorem 2.4, gives, under condition (2.14) and connectedness of Ω = D \\ F unless α < 2, an 'if and only if' criterion for existence of a minimizer: existence holds exactly when ϑ(D) ≥ 1, equivalently when ϑ^F_g(D) ≥ 1; in the boundary case ϑ(D)=1 the minimizer is the α-Green balayage ϑ^F_g. The paper also characterizes the support of the minimizer (Theorem 2.5), establishes convergence of minimizers when F is approximated from inside or outside (Theorems 2.6 and 2.7), and treats the special case c_{κα}(Y)=0 with F not α-thin at infinity (Theorem 2.10). The methods rely on perfectness of the α-Green kernel, α-Riesz and α-Green balayage, and a dual extremal problem with a finite-energy balayage. The paper carefully repairs a gap in a prior paper by Fuglede and Zorii (Remark 1.3 and Lemma 1.7).","tokens_in":21153,"tokens_out":8815,"duration_ms":104443,"significance":"If the main results are correct, the paper provides a complete necessary-and-sufficient existence criterion for a large class of weighted α-Green energy problems, thereby going substantially beyond earlier work where only sufficient conditions or compact-set arguments were available. The paper also answers, for this setting, Ohtsuka's open question about the support of the minimizer. The author is careful with assumptions, explicitly identifies a repaired gap in [15], and gives precise statements of the new theorems. The main caveat is that a decisive step in the proof of Theorem 2.4 depends on a 'refined principle of positivity of mass for g^α-potentials' quoted from the author's in-press paper [30, Theorem 5.1] and not stated or proved here. Because that step is load-bearing for the sufficiency half of the main equivalence, the manuscript is not yet fully self-contained at the point where its central claim is established.","major_comments":[{"comment":"The sufficiency half for the case ϑ^F_g(D) > 1 hinges on the 'refined principle of positivity of mass for g^α-potentials' quoted from [30, Theorem 5.1]. After assuming C_ξ ≥ 0, the proof derives U^ξ_g ≥ U^{ϑ^F_g}_g q.e. on F and then invokes that principle to conclude ξ(D) ≥ ϑ^F_g(D) > 1, contradicting (3.14). The ordinary positivity-of-mass principle cited at (1.19) applies only to a measure and its balayage, not to two arbitrary finite-energy measures ξ and ϑ^F_g supported on F with an inequality of their potentials q.e. on F. Since this step is the only one forcing C_ξ < 0, and hence the only one establishing existence when ϑ(D) > 1, the proof is incomplete as written unless the precise statement of [30, Theorem 5.1] is included and it is verified that ξ and ϑ^F_g satisfy all of its hypotheses, especially any regularity, concentration, or extra connectedness or non-thinness conditions beyond (2.14).","section":"Section 6, proof of Theorem 2.4"},{"comment":"Theorem 1.10 is stated as a 'slight improvement' of [30, Theorem 3.7] and its proof is delegated rather than given. This theorem is used essentially in the proof of Theorem 2.4 to conclude ϑ(D) = ϑ^F_g(D) under condition (2.14), and again in the proof of Theorem 2.10. Since [30] is in press and not part of the present manuscript, the exact statement of the cited theorem and a verification that its hypotheses hold for the measure ϑ of this paper (for instance, the condition that ϑ|_F is c_{κα}-absolutely continuous, which is trivial here since ϑ is concentrated on Ω, but should be stated) need to be supplied or the proof of Theorem 1.10 should be included.","section":"Section 1.7 and Section 6, proof of Theorem 2.4"}],"minor_comments":[{"comment":"In the proof of Lemma 3.6, several occurrences of the symbol 'A' (for example 'K ↑ A', 'K ∈ C_A', and 'as K ↑ A') appear to be typos for 'F'; please correct them.","section":"Section 3.2, proof of Lemma 3.6"},{"comment":"The same typo 'K ∈ C_A' appears in the proof of Theorem 2.6 after convergence of the net (λ_{K,f}); it should be 'K ∈ C_F'.","section":"Section 8, proof of Theorem 2.6"},{"comment":"The symbol q is used for the total mass q := ϑ^F_g(D) in the proof of Theorem 2.4, although q was already used in Section 1.1 as a normalization constant for measure classes; consider renaming one of them to avoid confusion.","section":"Section 6, proof of Theorem 2.4"},{"comment":"The phrase 'λ_{F,f} exists ⇐⇒ ϑ(D) ≥ 1, or equivalently λ_{F,f} exists ⇐⇒ ϑ^F_g(D) ≥ 1' is logically compressed; stating the equivalence as a single chain 'λ_{F,f} exists ⇐⇒ ϑ(D) ≥ 1 ⇐⇒ ϑ^F_g(D) ≥ 1' would be clearer.","section":"Theorem 2.4"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious contribution and the main results are plausible, but Theorem 2.4's proof rests on an unstated and unproved theorem from the author's in-press paper [30]. I do not see an internal inconsistency, but the referee cannot verify the decisive positivity-of-mass step from the manuscript alone. Asking the author to state [30, Theorem 5.1] in full and to check its hypotheses in the present application, and similarly for Theorem 1.10, seems necessary before publication. Given that the paper is otherwise carefully written and the repair of the gap in [15] is a genuine strength, I do not recommend rejection; major revision with the cited statements supplied is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is worth engaging with seriously. It extends the author's earlier work on minimum energy problems with external fields from Riesz and general perfect kernels to the α-Green case, and it delivers what it promises: necessary and sufficient existence conditions, support descriptions, and convergence theorems. The support description answers an open question of Ohtsuka, and the paper honestly repairs a gap in an earlier paper (Remark 1.3 and Lemma 1.7), which is a point in its favor. The proofs are detailed and the assumptions are explicit.\n\nThe main soft spot is exactly where the stress-test note lands. Theorem 2.4, the central existence equivalence, is proved in Section 6. In the only nontrivial case, ϑF_gα(D) > 1, the argument uses the refined principle of positivity of mass for α-Green potentials, quoted from the author's in-press paper [30, Theorem 5.1] and not stated or proved here. The ordinary positivity-of-mass statement cited at (1.19) is not enough for the step: it compares a measure to its balayage, not two arbitrary finite-energy measures supported on F. So the sufficiency half of the 'if and only if' has exactly one external load-bearing assumption. If [30, Theorem 5.1] carries an extra hypothesis that is not checked in Section 6, the contradiction ξ(D) > 1 fails and the theorem does not establish existence for ϑ(D) > 1. This is a genuine verification risk, but not a demonstrated internal inconsistency. The rest of the paper does not share this vulnerability: Theorems 2.2 and 2.3 are self-contained given standard balayage facts, and the convergence results in Sections 8–9 follow from the general framework.\n\nOther concerns are minor. The paper leans heavily on the author's own prior results, several recent or in press; that is not a flaw here because the cited results are specific and the reliance is transparent, but it does make independent verification labor-intensive. No machine-checked proofs, no data, which is normal for this kind of analysis. The assumptions in Theorem 2.4 (connectedness unless α < 2, condition (2.14)) are restrictive but clearly stated.\n\nWho is this for? Potential theorists working on Gauss variational problems or balayage. It deserves a serious referee, one who has access to [30] and can check whether the quoted theorem does what Section 6 needs. If that check passes, the paper is a clean, useful contribution.","headline":"Solid extension of the author's own program to α-Green kernels, with a genuinely useful existence criterion, but the 'if and only if' in Theorem 2.4 rests on one imported theorem that is not re-proved here.","tokens_in":21690,"tokens_out":1195,"would_cite":true,"duration_ms":15625,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["31C15"],"pacs":[],"model":"deepseek-v4-flash","headline":"For α-Green kernels, the weighted minimum-energy problem has a minimizer exactly when the external-field measure has total mass at least 1, and at mass 1 the minimizer is the α-Green balayage of that measure onto the constraint set.","keywords":["α-Green kernel","minimum energy problem","external field","Gauss variational problem","α-Green balayage","perfect kernel","α-thinness at infinity","α-harmonic measure"],"falsifier":"Choose a domain $D$ whose complement has zero $\\alpha$-Riesz capacity, an unbounded relatively closed $F\\subset D$ that is not $\\alpha$-thin at infinity, and a bounded $\\vartheta$ on $D\\setminus F$ with $\\vartheta(D)>1$ satisfying the distance condition (2.1). For an exhausting family of compact sets $K\\subset F$, compute the minimizers $\\lambda_{K,f}$ of the compact problems; by Lemma 3.4 these converge strongly and vaguely to the extremal measure $\\xi_{F,f}$. The theorem predicts $\\xi_{F,f}(D)=1$; displaying such a configuration with $\\xi_{F,f}(D)<1$ would refute the equivalence, while the numerical convergence to total mass 1 would confirm it.","tokens_in":20649,"feed_emoji":"","tokens_out":13858,"duration_ms":144535,"temperature":0.7,"pith_summary":"The paper answers, for a large class of external fields, when the Gauss variational problem for $\\alpha$-Green energy has a minimizer. On a domain $D\\subset\\mathbb R^n$ with the $\\alpha$-Green kernel $g^\\alpha_D$, and a relatively closed constraint set $F\\subset D$, the problem is to minimize $I(\\mu)=\\int g^\\alpha_D\\,d(\\mu\\otimes\\mu)-2\\int g^\\alpha_D\\,d(\\vartheta\\otimes\\mu)$ over probability measures of finite energy supported on $F$, where $\\vartheta$ is a fixed measure on $D\\setminus F$. The central result (Theorem 2.4) says that, under a connectedness assumption and condition (2.14) (the vanishing of a certain $\\alpha$-harmonic measure), the minimizer exists if and only if $\\vartheta(D)\\geqslant 1$, equivalently $\\vartheta^F_g(D)\\geqslant 1$; when $\\vartheta(D)=1$, the minimizer is exactly the $\\alpha$-Green balayage of $\\vartheta$ onto $F$. The point worth caring about is that a noncompact weighted-energy problem, previously described as rather difficult, reduces to a single mass check, with explicit information about the solution whenever it exists.","feed_headline":"Weighted α-Green energy minimum exists iff external mass ≥ 1","feed_subtitle":"Existence of the weighted α-Green minimizer collapses to a mass threshold; at mass 1 the solution is explicit balayage.","key_machinery":"The load-bearing object is the $\\alpha$-Green kernel $g^\\alpha_D(x,y):=\\kappa_\\alpha(x,y)-U_{\\kappa_\\alpha}^{(\\varepsilon_x)^Y_{\\kappa_\\alpha}}(y)$, the $\\alpha$-Riesz kernel minus the potential of the balayage of the unit Dirac mass onto the complement of $D$. For $\\alpha\\leqslant2$ this kernel is perfect, meaning the cone of positive finite-energy measures is strongly complete and strong convergence implies vague convergence, so minimizing sequences have strong limits. The argument also uses the $\\alpha$-Green balayage $\\vartheta^F_g$, the measure on $F$ whose $g^\\alpha$-potential reproduces that of $\\vartheta$ quasi-everywhere on $F$, and the extremal measure $\\xi_{F,f}$, the strong limit common to all minimizing sequences. The decisive mechanism is the refined principle of positivity of mass for $\\alpha$-Green potentials: from $U^\\xi_{g^\\alpha}\\geqslant U^{\\vartheta^F_g}_{g^\\alpha}$ quasi-everywhere on $F$ it forces $\\xi(D)\\geqslant\\vartheta^F_g(D)$, and that inequality converts the mass threshold $\\vartheta(D)\\geqslant1$ into existence of the minimizer.","core_discovery":"The core claim is Theorem 2.4: fix $\\alpha\\in(0,n)$ with $\\alpha\\leqslant2$; if $\\alpha=2$, require $\\Omega:=D\\setminus F$ to be connected; and assume the $\\alpha$-harmonic measure condition $\\omega_\\alpha(x,\\mathbb R^n\\setminus D;\\Omega)=0$ for all $x\\in\\Omega$ (condition (2.14)). Then the weighted minimum $\\alpha$-Green energy problem is solvable if and only if $\\vartheta(D)\\geqslant1$, and equivalently if and only if $\\vartheta^F_g(D)\\geqslant1$. In the boundary case $\\vartheta(D)=1$, the unique minimizer is $\\vartheta^F_g$, the $\\alpha$-Green balayage of $\\vartheta$ onto $F$, with weighted equilibrium constant $c_{F,f}=0$ and minimum value $-I_{g^\\alpha}(\\vartheta^F_g)$. The proof routes through the extremal measure $\\xi_{F,f}$: a minimizer exists exactly when $\\xi(D)=1$, and the sufficiency direction pivots on the refined principle of positivity of mass for $\\alpha$-Green potentials, which forces $\\xi(D)\\geqslant\\vartheta^F_g(D)>1$ when $\\vartheta^F_g(D)>1$, contradicting the general bound $\\xi(D)\\leqslant1$.","pith_inferences":["A parallel mass-threshold criterion is natural in the companion $\\alpha$-Riesz problem on unbounded sets, where the paper's reduction indicates that the Riesz balayage mass should replace the Green balayage mass.","Condition (2.14) is stated pointwise on $\\Omega$, while Theorem 1.10 works with $\\mu$-a.e. hypotheses; one could try to weaken (2.14) to $\\vartheta$-a.e., and if the equivalence survives, the criterion would apply to a broader class of external fields.","A deliberate check of the excluded case $\\alpha=2$ with disconnected $\\Omega$ would delimit the theorem: since connectedness enters only through Theorem 1.10, a counterexample there would identify where the boundary condition must be reformulated."],"forward_implications":["Complete threshold criterion: under the stated hypotheses, existence of the minimizer is equivalent to the single scalar condition $\\vartheta(D)\\geqslant1$, with no separate finite-capacity assumption on $F$.","Explicit solution at the threshold: when $\\vartheta(D)=1$, the unique minimizer is the $\\alpha$-Green balayage $\\vartheta^F_g$, with weighted equilibrium constant $c_{F,f}=0$.","Failure below the threshold: if $\\vartheta^F_g(D)<1$, the extremal measure has total mass strictly below 1, so the infimum is not attained by any probability measure on $F$.","Support description: when the solution exists in the cases covered by the support theorem, its support is the reduced kernel $\\check F$ for $\\alpha<2$, and $\\partial_D\\check F$ otherwise.","Stability: approximating $F$ from inside by compact sets, or from outside by decreasing relatively closed sets, makes the minimizers converge strongly and vaguely to $\\lambda_{F,f}$, with the weighted equilibrium constants converging (monotonically under extra balance assumptions)."],"supporting_citations":[{"why":"Supplies the refined principle of positivity of mass for $\\alpha$-Green potentials and the $\\alpha$-Green balayage construction used in the central sufficiency proof.","marker":"[30]"},{"why":"Establishes that the $\\alpha$-Green kernel is perfect and satisfies the Frostman and domination principles, giving the strong-completeness machinery.","marker":"[15]"},{"why":"Provides the weighted-energy variational framework and the alternative characterizations of minimizers used for the dual problem.","marker":"[28]"},{"why":"Gives the necessary and sufficient weighted-potential inequalities that define the solution in Theorem 2.1.","marker":"[21]"},{"why":"Supplies the theory of inner Riesz balayage and the description of balayage supports used for Theorem 2.5.","marker":"[22]"},{"why":"Provides the integral representation of balayage and the thinness-at-infinity criteria underlying the $\\alpha$-harmonic measure results.","marker":"[23]"},{"why":"Lays the general theory of perfect kernels, capacities, and strong completeness on which the whole approach relies.","marker":"[13]"},{"why":"Yields the limiting behavior of Riesz potentials at infinity used to rule out unbounded support in Theorem 2.10.","marker":"[16]"}],"fun_headline_variants":["α-Green energy minimizer exists iff external mass ≥ 1","Weighted α-Green min: solvable only when mass ≥ 1","Mass threshold 1 gates the α-Green minimization problem","At mass 1, balayage solves α-Green minimizer explicitly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the refined principle of positivity of mass for $\\alpha$-Green potentials, quoted from the author's earlier paper and not re-proved here; if that principle fails for the $\\alpha$-Green kernel, the sufficiency direction of the main equivalence ('$\\vartheta(D)\\geqslant1$ implies existence') collapses.","fun_headline_variants_meta":{"raw":{"variants":["α-Green energy minimizer exists iff external mass ≥ 1","Weighted α-Green min: solvable only when mass ≥ 1","Mass threshold 1 gates the α-Green minimization problem","At mass 1, balayage solves α-Green minimizer explicitly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000661,"raw_usage":{"total_tokens":3082,"prompt_tokens":1063,"completion_tokens":2019,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":679,"completion_tokens_details":{"reasoning_tokens":1942}},"tokens_in":679,"tokens_out":2019,"duration_ms":13567,"temperature":1.0,"reasoning_tokens":1942,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:56:30.359002+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a domain $D$ whose complement has zero $\\alpha$-Riesz capacity, an unbounded relatively closed $F\\subset D$ that is not $\\alpha$-thin at infinity, and a bounded $\\vartheta$ on $D\\setminus F$ with $\\vartheta(D)>1$ satisfying the distance condition (2.1). For an exhausting family of compact sets $K\\subset F$, compute the minimizers $\\lambda_{K,f}$ of the compact problems; by Lemma 3.4 these converge strongly and vaguely to the extremal measure $\\xi_{F,f}$. The theorem predicts $\\xi_{F,f}(D)=1$; displaying such a configuration with $\\xi_{F,f}(D)<1$ would refute the equivalence, while the numerical convergence to total mass 1 would confirm it.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the refined principle of positivity of mass for $\\alpha$-Green potentials and the $\\alpha$-Green balayage construction used in the central sufficiency proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that the $\\alpha$-Green kernel is perfect and satisfies the Frostman and domination principles, giving the strong-completeness machinery."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the weighted-energy variational framework and the alternative characterizations of minimizers used for the dual problem."},{"cited_title":"Ukrainian Math","cited_arxiv_id":null,"evidence_quote":"Gives the necessary and sufficient weighted-potential inequalities that define the solution in Theorem 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the theory of inner Riesz balayage and the description of balayage supports used for Theorem 2.5."},{"cited_title":"Potential Anal","cited_arxiv_id":null,"evidence_quote":"Provides the integral representation of balayage and the thinness-at-infinity criteria underlying the $\\alpha$-harmonic measure results."},{"cited_title":"Acta Math","cited_arxiv_id":null,"evidence_quote":"Lays the general theory of perfect kernels, capacities, and strong completeness on which the whole approach relies."},{"cited_title":"Hiroshima Math","cited_arxiv_id":null,"evidence_quote":"Yields the limiting behavior of Riesz potentials at infinity used to rule out unbounded support in Theorem 2.10."}],"review_version":1}