{"id":"680a5c53-6b5f-4ea1-af16-a5c27c6d4a04","arxiv_id":"2608.03373","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For degenerate elliptic operators on domains with mixed-dimensional boundaries, L^p solvability of the Dirichlet problem is shown equivalent to Poisson-Dirichlet and Poisson-regularity solvability.","lead":"The paper proves that, for a large class of degenerate elliptic equations on rough domains with mixed-dimensional boundaries, L^p solvability of the homogeneous Dirichlet problem is equivalent to solvability of several inhomogeneous Poisson versions of the problem. The result extends earlier equivalences known only for uniformly elliptic operators on nice boundaries, and adds a new characterization not present even in the classical case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central equivalence in Theorem 1.5 rests on unpublished [FM] elliptic theory; if that adaptation fails, the Green-function and elliptic-measure foundations collapse.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing concern: the foundational elliptic theory in Section 2.2 is outsourced to an unpublished book [FM]. My stress-test confirms that this is the right concern. The internal proofs of Theorem 1.5 are largely coherent and follow the [MPT22] template, with the boundary Poincaré inequality (Theorem 2.5) and Lemma 3.2 as the new technical core. However, the equivalence theorem is not self-contained: the Green function representation theorem (Theorem 2.18) and the boundary Hölder regularity (Proposition 2.15) are used in the arguments for every nontrivial implication of Theorem 1.5, and neither is proved in the paper. The assertion that the [DFM23] results adapt because they 'rely only on a boundary Poincaré inequality' is plausible but unverified, and the paper itself notes that no existing publication covers this exact setting. I also noted secondary issues—the undefined assumption (H6) in Corollaries 4.1 and 4.2, and some notational ambiguities in the Poincaré inequalities—but these do not affect the central equivalence theorem as directly as the missing [FM] foundation. Therefore the reader's CONDITIONAL verdict is appropriate and should not be changed.","tokens_in":39531,"tokens_out":17718,"duration_ms":161416,"concrete_test":"Obtain the relevant chapter of [FM] (or a self-contained appendix of the present paper) and perform a line-by-line dependency check of Propositions 2.14, 2.15, Theorems 2.16, 2.18, and 2.20 against the corresponding arguments in [DFM23], Chapters 11–15. For each step, mark every use of the Harnack chain condition or quantitative connectedness and verify that it can be replaced by an appeal to Theorem 2.5 (the boundary Poincaré inequality) or to the unweighted results in [HKM06]. If any step genuinely requires the Harnack chain condition, Theorem 1.5 is not established under (H1)–(H5) alone.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.5 is a global equivalence statement whose proof depends at many points on foundational elliptic theory that the paper does not prove. Section 2.2 asserts, without proof, the boundary oscillation estimate (Prop. 2.14), boundary Hölder continuity (Prop. 2.15), the Green function and its representation theorem (Thms. 2.16 and 2.18), the elliptic measure construction (Thm. 2.20), and the maximum principle (Lemma 2.24), all in the present no-Harnack-chain, mixed-dimensional setting. The paper states that the corresponding arguments in [DFM23] rely only on a boundary Poincaré inequality, supplied here as Theorem 2.5, and that the details will appear in the unpublished book [FM], currently 'in preparation'. This is not an internal inconsistency, but it is the single most load-bearing assumption: Lemma 3.3, the proof of (i)⇒(iii), (i)⇒(iv), and (iii)⇒(i) in Section 4 all invoke the Green function representation (Thm. 2.18) or boundary Hölder estimates (Prop. 2.15). If the [FM] adaptation is wrong, or if the promised book never appears, Theorem 1.5 has no verifiable foundation. The paper's own statement that no existing work 'perfectly matches our setting' underscores that this is a genuine gap, not a routine citation of a published result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves, under assumptions (H1)-(H5), an equivalence between the L^p-solvability of the homogeneous Dirichlet problem, the solvability of the Poisson-Dirichlet problem (separately for data f and F), and the solvability of the Poisson-regularity problem for the adjoint, for degenerate elliptic operators L=-div(wA∇) on domains whose boundaries may have mixed dimension and without a Harnack chain condition. The main result is Theorem 1.5, with item (iii) claimed as new even in the setting of [MPT22]. The paper also develops tent-space duality results in the appendix and obtains existence of solutions with general data in Corollaries 4.1 and 4.2.","tokens_in":39765,"tokens_out":26677,"duration_ms":245470,"significance":"If correct, Theorem 1.5 gives a substantial generalization of the Mourgoglou-Poggi-Tolsa equivalence to degenerate operators and mixed-dimensional boundaries, and item (iii) is indeed new. The tent-space framework and the self-contained appendix on tent-space duality are valuable and clearly presented. The strength of the paper lies in the clean duality arguments that assemble Theorem 3.1 and Lemma 3.3 into a global equivalence. However, the correctness of the result is currently conditional on two load-bearing issues: the imported elliptic theory from the unpublished book [FM], and an apparent algebraic error in Lemma 2.6 that undermines the proof of the boundary Poincaré inequality.","major_comments":[{"comment":"The foundational elliptic theory is asserted to hold in the present setting by citing [FM], a book in preparation. Specifically, Proposition 2.14 (boundary oscillation), Proposition 2.15 (boundary Hölder continuity), Theorems 2.16 and 2.18 (Green function and representation), Theorem 2.20 (elliptic measure), and Lemma 2.24 (maximum principle) are stated without proof in the no-Harnack-chain, mixed-dimensional setting. This is load-bearing: Lemma 3.3, the proofs of (i)⇒(iii), (iii)⇒(i), and (i)⇒(iv) all invoke Theorem 2.18 or Proposition 2.15. The manuscript states that the arguments of [DFM23] adapt because they rely only on a boundary Poincaré inequality, but those arguments are not provided. As written, the main theorem is conditional on an unavailable reference; the author should either include the missing proofs or restrict the statement to a setting where the cited results are available.","section":"Section 2.2, pp. 12-17"},{"comment":"The identity in (2.33) is algebraically incorrect. From the definition ρ(B)=m(B∩Ω)/(r μ(B∩∂Ω)), one obtains ∫_{B(ξ,λr)∩Ω} g^2 dm = m(B(ξ,λr)) · avg_m = λr ρ(B(ξ,λr)) μ(B(ξ,λr)) · avg_m, so that (∫ g^2 dm)^{1/2} = (λr ρ μ)^{1/2} (avg_m)^{1/2} = μ^{1/2} (avg_μ)^{1/2}. The displayed formula (∫ g^2 dm)^{1/2} = (λrρ)^{-1/2} ( (1/μ) ∫ g^2 dm )^{1/2} would require λrρ μ = 1, which is not an identity. Consequently the inequality (2.32) is not justified and, as stated, fails in the classical case Ω=R^n_+, m=dx, μ=H^{n-1}|_{∂Ω}, g=1, λ=1: the left side behaves like r^{n-1} · r^{n/2}, while the right side behaves like r^{n/2}. Since Lemma 2.6 is used in the proof of the boundary Poincaré inequality (Theorem 2.5), which underlies Theorem 2.8 and much of the subsequent elliptic theory, this is a load-bearing error.","section":"Lemma 2.6, Eq. (2.33)"},{"comment":"In the estimate of the local term u0, the paper uses ∫_{Bx/8} |u0|^2 dm ≲ δ(x)^2 ∫_Ω |∇u0|^2 dm and attributes this to the boundary Poincaré inequality (2.31). However, (2.31) is an L^{2*}-Poincaré inequality; converting it to an L^2 estimate introduces a factor m(B)^{1-2/2*}, which is not uniformly bounded under (H1)-(H5). An L^2-Poincaré estimate with constant r for u∈W0(B∩Ω) is not proved in the paper. The same step is used in the proof of (i)⇒(iv). The argument must be repaired, for example by proving the needed L^2-Poincaré inequality or by replacing the local estimate with a different one.","section":"Section 4.1, proof of (i)⇒(iii) and (i)⇒(iv)"}],"minor_comments":[{"comment":"The statements assume (H1)-(H6), but (H6) is never defined in the paper; presumably (H1)-(H5) is intended.","section":"Corollaries 4.1 and 4.2"},{"comment":"There are several typos: 'wich implies' in the proof of Proposition 2.2, 'de solvability' in Definition 1.3, 'phipher' in reference [KP95], and 'article do not plan' in Section 1.2. These should be corrected.","section":"Throughout"},{"comment":"The statement says g∈L^p(2B) but the proof and statement use L^2 norms; the exponent should be 2.","section":"Lemma 2.6"},{"comment":"The choice ε = C_ρ^{-1} in (1.15) is unusual; the paper would benefit from a remark on why this exponent is natural and how the final constants depend on C_ρ.","section":"Assumption (H4)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript demonstrates a strong command of tent-space techniques and the overall equivalence strategy is appealing. However, the two load-bearing issues -- the reliance on [FM] in preparation and the apparent algebraic error in Lemma 2.6 -- make the present version unsuitable for publication. The author should either supply the missing elliptic theory or cite a published reference with the exact setting, and must correct or replace Lemma 2.6 and the L^2-Poincaré step. If these can be fixed, the result would be a valuable contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Core result is a real extension: Theorem 1.5 moves the Dirichlet/Poisson-Dirichlet/regularity equivalence from the uniformly elliptic, (n-1)-Ahlfors-regular setting of [MPT22] to degenerate w-weighted operators on mixed-dimensional boundaries, and it drops the Harnack chain condition. The new implication (iii) is genuinely new even in the old setting. The proof strategy—tent-space duality plus a boundary Poincaré inequality—is coherent, and Lemma 3.2 is a substantial piece of work: removing quantitative connectedness is exactly where the old arguments needed the most care. The appendix is a genuine service: it makes the tent-space machinery self-contained for this geometry. This is not a paper that hides its argument behind 'by standard methods'; the main line is visible.\n\nThe soft spots are real but curable. The foundational elliptic theory—boundary oscillation, boundary Hölder continuity, Green function representation, elliptic measure construction, maximum principle—is imported from the unpublished book [FM] 'in preparation', with a paragraph asserting that the [DFM23] arguments adapt because they rely on a boundary Poincaré inequality. That adaptation is load-bearing: Lemma 3.3, (i)⇒(iii) and (iii)⇒(i) all invoke the Green representation or boundary Hölder estimates. If the book never appears or the adaptation is wrong, Theorem 1.5 has no verifiable foundation. But the stated basis is plausible, and the boundary Poincaré inequality that supposedly replaces the missing ingredient is actually proved in this paper as Theorem 2.5, so I do not read this as a dealbreaker—just a serious verifiability gap the author needs to close, either by proving the needed statements or by making a draft of [FM] available. The other concrete problem is minor but real: Corollaries 4.1 and 4.2 assume (H6), which is never defined; the statements as printed are formally incomplete. There are also scattered typos ('de solvability', 'definitions an main result') that a copyedit will fix.\n\nOn the citation pattern: it is heavy on the author's group, but the central equivalence is not assumed, and the self-citation points to the very results being extended. I do not see circularity. The reader's stress-test concern about [FM] holds up; the rest of the reader's assessment is fair.\n\nThis paper is for people working on non-smooth boundary value problems, tent spaces, and degenerate elliptic operators; they will get real value from the equivalence and from the boundary Poincaré technique. My recommendation: send it to peer review, with a clear request that the author address the [FM] dependency and define (H6).","headline":"Solid extension of the MPT22 equivalence to degenerate operators and mixed-dimensional boundaries, with one load-bearing unpublished dependency that the author must close.","tokens_in":40365,"tokens_out":3120,"would_cite":true,"duration_ms":33132,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J25","35J70"],"pacs":[],"model":"deepseek-v4-flash","headline":"Dirichlet L^p solvability equals Poisson-Dirichlet solvability.","keywords":["degenerate elliptic operators","Poisson-Dirichlet problem","L^p solvability","tent spaces","mixed-dimensional boundaries","elliptic measure","Green function","boundary Poincaré inequality"],"falsifier":"A concrete way to test the claim is to construct an open set satisfying (H1)-(H5) for which the boundary Poincaré inequality (2.31) or the boundary Hölder estimate (2.44) fails; that would break the elliptic theory on which all the Green-function and elliptic-measure estimates rest. Alternatively, one could look for an operator on such a domain whose elliptic measure satisfies the reverse Hölder inequality (3.56) for some $p$ while the homogeneous Dirichlet estimate (1.24) fails for that $p$; Theorem 3.1 says this cannot happen, so any such example would falsify Theorem 1.5.","tokens_in":39238,"feed_emoji":"📐","tokens_out":8057,"duration_ms":72948,"temperature":0.7,"pith_summary":"This paper aims to prove that, for a broad class of possibly degenerate divergence-form elliptic operators $L=-\\operatorname{div}(wA\\nabla)$ on open sets whose boundaries need not be $(n-1)$-dimensional, the $L^p$-solvability of the homogeneous Dirichlet problem is equivalent to the solvability of the Poisson-Dirichlet problem $Lu=wf-\\operatorname{div}(wF)$ with zero boundary data, and also to the Poisson-regularity problem for the adjoint operator. The setting allows boundaries of mixed dimension and drops the quantitative connectedness condition known as the Harnack chain condition, so the result covers operators such as the Caffarelli-Silvestre extension operator. A reader should care because the equivalence means one can test the hard homogeneous problem by solving the softer inhomogeneous problem, and vice versa, and the paper adds a genuinely new characterization even in the previously studied case: solvability with only the $f$-term already implies everything else.","feed_headline":"Dirichlet L^p solvability equals Poisson-Dirichlet solvability","feed_subtitle":"On mixed-dimensional boundaries, six solvability notions collapse into one.","key_machinery":"The machinery is the elliptic measure $\\{\\omega^x\\}_{x\\in\\Omega}$ together with the Green function $G(x,y)$ of $L$, and the tent-space functionals $\\tilde N$ (non-tangential maximal function of ball averages) and $\\tilde A$ (area function) defined through cones over boundary points, normalized by the measure ratio $\\rho(B)=m(B\\cap\\Omega)/(r\\mu(B\\cap\\partial\\Omega))$. The elliptic measure represents solutions of the homogeneous Dirichlet problem, while the Green function represents solutions of the Poisson-Dirichlet problem as $u(x)=\\int_\\Omega G(x,y)f\\,dm(y)+\\int_\\Omega \\nabla_y G(x,y)\\cdot F(y)\\,dm(y)$. The load-bearing estimate is the boundary Poincaré inequality, which yields boundary Hölder continuity, non-degeneracy of the elliptic measure, and the two Green-function estimates (3.69)-(3.70). Those estimates are what allow the proof to convert homogeneous solvability into inhomogeneous solvability by splitting $f$ or $F$ into a piece supported near the pole of the Green function, a piece near the boundary point, and a far piece controlled by Hölder decay.","core_discovery":"The paper's central claim is Theorem 1.5: under assumptions (H1)-(H5), for any $1<p<\\infty$, the following six statements are equivalent: the $L^p$ solvability of the homogeneous Dirichlet problem $(D_p)$; the solvability of the Poisson-Dirichlet problem $(PD_p)$; $(PD_p)$ with $F=0$; $(PD_p)$ with $f=0$; the Poisson-regularity problem for the adjoint $(PR^*_{p'})$; and $(PR^*_{p'})$ with $F=0$. In other words, the non-tangential maximal estimate for solutions of $Lu=0$ with boundary data in $L^p$ is exactly as strong as the corresponding estimate for solutions of $Lu=wf-\\operatorname{div}(wF)$ with zero boundary values, and exactly as strong as a gradient estimate for the adjoint problem. The proof establishes two intermediate characterizations: $(D_p)$ holds if and only if the elliptic measure satisfies a reverse Hölder inequality with respect to the boundary measure, and if and only if the Green function satisfies the estimates (3.69) and (3.70) involving $\\rho\\nabla G$ and $(\\rho/\\delta)G$. The equivalence then follows by decomposing the interior data into pieces near the pole, near the boundary, and far away.","pith_inferences":["If the foundational elliptic theory holds as claimed, the same equivalence is likely to extend to other boundary conditions, such as Neumann or Robin problems, in this mixed-dimensional setting without connectedness, paralleling recent results in chord-arc domains.","The redundancy of $F$ in characterization (iii) suggests a practical shortcut: to test $L^p$ solvability of an operator numerically or probabilistically, one can probe it with scalar weights $f$ only and ignore vector-valued divergence data.","The measure ratio $\\rho$ and its growth condition (H4) look like the right quantitative replacement for the usual $(n-1)$-dimensional normalization; a natural testable question is whether the theorem survives under a two-sided bound on $\\rho$ or under an interior-only Poincaré inequality, as the paper itself flags."],"forward_implications":["If Theorem 1.5 is right, then for this class of degenerate operators on mixed-dimensional boundaries, verifying the homogeneous Dirichlet problem automatically gives $L^p$ estimates for the inhomogeneous equation $Lu=wf-\\operatorname{div}(wF)$ with zero boundary data.","The new characterization (iii) means that divergence-form data $F$ is redundant for testing solvability: it is enough to test the Poisson-Dirichlet problem with only the $f$-term.","By duality, solvability of the homogeneous Dirichlet problem for $L$ is equivalent to the Poisson-regularity problem for the adjoint $L^*$, so a gradient estimate for the adjoint is the same as a non-tangential estimate for $L$.","Corollaries 4.1 and 4.2 upgrade the equivalence to an existence theorem: under the same conditions, weak solutions exist for general boundary data $g\\in L^p(\\partial\\Omega,\\mu)$ and interior data in the weighted tent spaces, with the expected non-tangential and gradient estimates."],"supporting_citations":[{"why":"Supplies the elliptic theory the paper invokes in the no-Harnack-chain setting: Green function representation, boundary Hölder continuity, elliptic measure properties, and the maximum principle.","marker":"[FM]"},{"why":"Provides the mixed-dimensional elliptic theory and the boundary Poincaré-inequality arguments that the paper adapts after removing the Harnack chain condition.","marker":"[DFM23]"},{"why":"Established the original equivalence between Dirichlet and Poisson-Dirichlet solvability in $(n-1)$-dimensional domains; the paper generalizes its Theorem 1.22.","marker":"[MPT22]"},{"why":"Supplies the characterization of $L^p$ solvability by reverse Hölder inequalities and Green-function estimates that are adapted here.","marker":"[MT24]"},{"why":"Originated the $L^2$ Dirichlet solvability for harmonic measure in Lipschitz domains and the reverse-Hölder perspective.","marker":"[Dah77]"},{"why":"Introduced tent spaces, whose modified versions the paper develops in the appendix.","marker":"[CMS85]"},{"why":"Provides Green-function and elliptic-measure constructions for higher co-dimensional boundaries used in the proofs.","marker":"[DFM21]"},{"why":"Self-improvement of Poincaré-Sobolev inequalities used to obtain the Sobolev exponent $2^*$.","marker":"[HK95]"}],"fun_headline_variants":["Six solvability notions unify on mixed-dimensional boundaries","Lp Dirichlet equals Poisson-Dirichlet on mixed-dim boundaries","Mixed-dim boundaries: all six solvability criteria agree","Poisson-Dirichlet solvability matches Lp Dirichlet on mixed boundaries","Six solvability notions collapse into one on mixed-dim domains"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the standard elliptic theory—the Green function representation, boundary oscillation and Hölder estimates, the elliptic measure and its non-degeneracy, and the maximum principle—is valid in this no-Harnack-chain, mixed-dimensional setting even though the paper only cites it from an unpublished book in preparation and says the arguments adapt from a prior framework because they rely only on a boundary Poincaré inequality. If that adaptation is wrong, or if the cited book never appears, the main theorem lacks its foundation.","fun_headline_variants_meta":{"raw":{"variants":["Six solvability notions unify on mixed-dimensional boundaries","Lp Dirichlet equals Poisson-Dirichlet on mixed-dim boundaries","Mixed-dim boundaries: all six solvability criteria agree","Poisson-Dirichlet solvability matches Lp Dirichlet on mixed boundaries","Six solvability notions collapse into one on mixed-dim domains"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00033,"raw_usage":{"total_tokens":1894,"prompt_tokens":1056,"completion_tokens":838,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":672,"completion_tokens_details":{"reasoning_tokens":763}},"tokens_in":672,"tokens_out":838,"duration_ms":7375,"temperature":1.0,"reasoning_tokens":763,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T00:45:08.290394+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete way to test the claim is to construct an open set satisfying (H1)-(H5) for which the boundary Poincaré inequality (2.31) or the boundary Hölder estimate (2.44) fails; that would break the elliptic theory on which all the Green-function and elliptic-measure estimates rest. Alternatively, one could look for an operator on such a domain whose elliptic measure satisfies the reverse Hölder inequality (3.56) for some $p$ while the homogeneous Dirichlet estimate (1.24) fails for that $p$; Theorem 3.1 says this cannot happen, so any such example would falsify Theorem 1.5.","supporting_citations":[],"review_version":2}