{"id":"5cfa0203-07bd-4e21-86e0-fd82bbb69d2b","arxiv_id":"2508.12134","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper characterizes the sharp boundary condition under which fractional harmonic extensions with boundary Hölder regularity remain globally Hölder continuous.","lead":"This note proves a sharp boundary condition guaranteeing global Hölder continuity for fractional harmonic extensions. The result addresses a boundary regularity question in the theory of the fractional Laplacian.","discovery_kind":"unclear","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; abstract-only review cannot surface a load-bearing concern beyond reliance on the stated harmonic-measure estimates.","rationale":"The reader's verdict is UNVERDICTED with low confidence due to abstract-only information. My stress-test pass similarly cannot identify a specific load-bearing concern because the manuscript text is unavailable. The reader's weakest assumption—that the fractional harmonic measure decay and uniform fractional fatness estimates might fail—is indeed the key uncertainty, but it is an unknown rather than an identified flaw. I agree that the central claim rests on these external analytic hypotheses, but I do not have evidence to elevate this into a concrete attack. Therefore, no adjustment to the verdict is warranted; UNCHANGED is appropriate. The proposed concrete test would be useful once the full text is available, to confirm that the sharpness claim is fully supported and that the hypotheses are met for the intended domains.","tokens_in":512,"tokens_out":1625,"duration_ms":18787,"concrete_test":"Obtain the full manuscript and verify: (1) the fractional harmonic measure decay estimate is proven for the claimed domain class and used correctly in the main theorem; (2) the boundary condition is shown to be necessary, i.e., a counterexample or sharpness argument demonstrates failure of global Hölder continuity when the condition fails; (3) the uniform fractional fatness condition is precisely stated and satisfied by the domains covered by the theorem.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Based on the abstract alone, the central claim is that a sharp boundary condition ensures global Hölder continuity of fractional harmonic extensions, with proofs relying on estimates of fractional harmonic measure decay and uniform fractional fatness of the complement. The validity of the claim depends entirely on these hypotheses holding for the intended class of domains and on the 'sharp' part being proven by a matching necessity result. However, without the full text, no specific technical error, hidden assumption, or internal inconsistency can be identified. The acknowledged dependence on external analytic estimates is a genuine unknown but not a demonstrated flaw. This is an honest non-finding: the available information is too sparse to raise a concrete objection.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript (arXiv:2508.12134) is a short note in mathematical analysis. Its abstract announces a characterization of the sharp boundary condition under which fractional harmonic extensions with Hölder regularity up to the boundary are globally Hölder continuous. The announced proof strategy is based on estimates of fractional harmonic measure decay and uniform fractional fatness of the complement of the domain. The material made available for this review is the abstract only; no theorem statements, definitions, domain classes, or proofs are visible.","tokens_in":623,"tokens_out":1839,"duration_ms":23740,"significance":"If the announced characterization is correct, it would provide a precise and sharp threshold on boundary data for global Hölder continuity of fractional harmonic extensions, which would be a useful result in the theory of the fractional Laplacian and in related potential-theoretic applications. The abstract's formulation is specific enough to be falsifiable, and the stated tools (fractional harmonic measure decay and fractional fatness) are standard external notions. I see no circularity from the abstract. However, because the proof and the exact domain assumptions are not available, the significance can only be assessed provisionally.","major_comments":[{"comment":"The only text available for review is the abstract. The central claim—a sharp boundary condition for global Hölder continuity of fractional harmonic extensions—cannot be verified without the full definitions, the precise class of domains, the statement of the necessity part implied by 'sharp', and the actual estimates of fractional harmonic measure decay and uniform fractional fatness. The reliance on these estimates is stated, but their validity for the intended domain class is not demonstrated in the provided material. This is not an identified error in the manuscript, but it is a load-bearing gap in what can be assessed. My recommendation is therefore uncertain rather than positive or negative.","section":"Abstract (entire manuscript as provided)"}],"minor_comments":[{"comment":"The title contains a LaTeX escape ('H\\\"older') in the arXiv listing; ensure the final compiled version renders it as 'Hölder'.","section":"Title/Abstract"}],"recommendation":"uncertain","confidential_remarks":"This review is based solely on the abstract because no full text was supplied. The result is plausible and the stated proof strategy is credible, but I cannot certify soundness without seeing the argument, especially the harmonic-measure decay estimates and the claimed sharpness (necessity) part. I recommend that the editor obtain the full manuscript before making a decision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nI've looked at the abstract for arXiv:2508.12134. The short version: it claims a sharp boundary condition for global Hölder continuity of fractional harmonic extensions, proved via fractional harmonic measure decay and uniform fractional fatness of the complement. On the face of it, that's a clean, important result for the nonlocal regularity community. If the sharp characterization is backed by a matching necessity proof, it fills a known gap in the literature.\n\nWhat the paper appears to do well is formulate the question precisely and name the right tools. The abstract is admirably terse—no overreach, no vague claims. The result would be a genuine contribution to the subfield of fractional potential theory, though not a paradigm shift beyond it.\n\nNow the caveats. We're working from the abstract alone; there is no way to check the harmonic measure estimates or the actual proof. The 'sharp' claim depends on having both a sufficiency and a necessity argument, and the abstract doesn't state a counterexample or a clean threshold—it just asserts the characterization. That's fine for an abstract, but it means the substantive verification has to happen during peer review.\n\nI don't see a load-bearing flaw from the abstract. The dependence on fractional fatness is a real hypothesis, but it's a standard one. The stress-test note found no concrete objection, and I agree—there's no identified fallacy, just missing information. I also disagree with the reader's 'is_new_result: False'. Not being able to check novelty is not the same as saying the result isn't new; the honest call is 'unknown'.\n\nFor whom is this paper? Researchers working on boundary regularity for nonlocal operators, fractional Laplacians, and potential theory. If the proof is solid, they'd want to know the exact threshold. If it's not, the abstract still points to a plausible conjecture.\n\nMy recommendation: send it to a referee who knows harmonic measure and nonlocal equations. The result is too specific and potentially too important to desk reject without at least one careful read. But don't expect the referee to sign off quickly; they'll need the full argument.\n\nOn a personal note, I wouldn't cite it yet, but I'd put it on my reading list and revisit after the refereeing process.\n\nBest,\n[Name]","headline":"A terse abstract promising a sharp boundary condition for Hölder continuity of fractional harmonic extensions—plausible and worth a referee's look, but impossible to judge from the abstract alone.","tokens_in":1034,"tokens_out":3120,"would_cite":false,"duration_ms":33754,"reading_group":"maybe","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R11","35B65","31B05","35J25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper characterizes the sharp boundary condition that turns fractional harmonic extensions with Hölder regularity up to the boundary into globally Hölder continuous functions.","keywords":["fractional Laplacian","Hölder continuity","global regularity","boundary condition","fractional harmonic measure","fractional fatness","Dirichlet problem","nonlocal elliptic equations"],"falsifier":"Find a bounded domain with a uniformly fractionally fat complement and boundary data satisfying the stated sharp condition whose fractional harmonic extension is not globally Hölder continuous; such a single counterexample would disprove the characterization. Conversely, global Hölder continuity of the extension for data below the threshold would contradict the asserted sharpness.","tokens_in":409,"feed_emoji":"📐","tokens_out":4786,"duration_ms":53248,"temperature":0.7,"pith_summary":"Fractional harmonic extensions are solutions of $(-\\Delta)^s u = 0$ in a domain, with boundary data prescribed on the complement. This paper claims to identify exactly which boundary data—the sharp boundary condition—guarantee that such extensions are globally Hölder continuous when the data are already Hölder regular up to the boundary. If the characterization is correct, it converts a range of sufficient regularity criteria into one precise threshold. The argument rests on two geometric estimates: decay of fractional harmonic measure and uniform fractional fatness of the complement of the domain.","feed_headline":"Fractional extensions stay globally Hölder under sharp boundary rule","feed_subtitle":"A sharp condition on boundary data, not interior smoothness, decides global Hölder regularity of the extension.","key_machinery":"The machinery is the pair consisting of fractional harmonic measure—the nonlocal analogue of harmonic measure that assigns weight to boundary regions according to their influence on a point under $(-\\Delta)^s$—and uniform fractional fatness, a nondegeneracy condition saying that the complement of the domain occupies a definite fraction of every ball at every scale near the boundary. The decay of fractional harmonic measure under this fatness condition is what carries the argument from boundary regularity to global Hölder continuity.","core_discovery":"The paper's central claim is a characterization: for the Dirichlet problem for the fractional Laplacian, global Hölder continuity of the fractional harmonic extension follows exactly when the boundary data satisfy a sharp condition, and this condition is optimal. The mechanism is not the smoothness of the boundary but the geometric control encoded by fractional harmonic measure: on domains whose complements are uniformly fractionally fat, the measure of boundary sets that influence a given point decays at a controlled rate, and this decay converts Hölder regularity of the data up to the boundary into global Hölder continuity of the extension. The word 'sharp' means that relaxing the boundary","pith_inferences":["As an extension of the paper's framework, one could test sharpness by lowering the boundary regularity by one small step and looking for an extension that is Hölder in the interior but not globally Hölder; such a construction would pinpoint where the threshold sits.","The harmonic-measure formulation suggests that an analogous sharp boundary condition may hold for other stable-like nonlocal operators with comparable kernels, although the paper does not address them.","A further step not taken here would be to ask whether uniform fractional fatness is not only sufficient but also necessary for the required decay estimate, which would make the geometric condition intrinsic to the characterization."],"forward_implications":["For every domain whose complement is uniformly fractionally fat, the sharp boundary condition is necessary and sufficient for global Hölder continuity of fractional harmonic extensions.","The characterization gives a checkable geometric criterion: boundary regularity, rather than interior smoothness, determines the global Hölder regularity of the solution.","Because the condition is sharp, data just below the threshold are expected to produce extensions that fail global Hölder continuity.","The proof shows that no additional smoothness of the boundary is needed beyond the fractional fatness and harmonic-measure decay assumptions."],"supporting_citations":[],"fun_headline_variants":["Sharp boundary data guarantee global Hölder for fractional extension","Fractional harmonic measure decay sets global Hölder regularity","Optimal boundary condition yields global Hölder extension","Uniform fractional fatness ensures sharp Hölder continuity","Hölder extension: sharp boundary rule decides global continuity"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The proof goes through only for domains whose complements are uniformly fractionally fat and whose fractional harmonic measure decays at the rates the argument assumes; if a domain fails these geometric estimates, the sharp boundary condition need not force global Hölder continuity.","fun_headline_variants_meta":{"raw":{"variants":["Sharp boundary data guarantee global Hölder for fractional extension","Fractional harmonic measure decay sets global Hölder regularity","Optimal boundary condition yields global Hölder extension","Uniform fractional fatness ensures sharp Hölder continuity","Hölder extension: sharp boundary rule decides global continuity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000386,"raw_usage":{"total_tokens":1770,"prompt_tokens":533,"completion_tokens":1237,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":277,"completion_tokens_details":{"reasoning_tokens":1162}},"tokens_in":277,"tokens_out":1237,"duration_ms":11382,"temperature":1.0,"reasoning_tokens":1162,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T19:34:07.918074+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a bounded domain with a uniformly fractionally fat complement and boundary data satisfying the stated sharp condition whose fractional harmonic extension is not globally Hölder continuous; such a single counterexample would disprove the characterization. Conversely, global Hölder continuity of the extension for data below the threshold would contradict the asserted sharpness.","supporting_citations":[],"review_version":1}