H\"older extension for fractional Laplacian

Feng Li

REVIEW 1 major objections 1 minor 1 cited by

H\"older extension for fractional Laplacian

T0 review · 1 major / 1 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2508.12134 v1 pith:7CFBDDRR submitted 2025-08-16 math.AP

Feng Li This is my paper

classification math.AP MSC 35R1135B6531B0535J25

keywords fractionalLaplacianHöldercontinuityglobalregularityboundaryconditionharmonicmeasurefatnessDirichletproblemnonlocalellipticequations

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

I'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.

What 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.

Now 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.

I 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'.

For 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.

My 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.

On a personal note, I wouldn't cite it yet, but I'd put it on my reading list and revisit after the refereeing process.

Best, [Name]

Referee Report

1 major / 1 minor

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.

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 (1)

[Abstract (entire manuscript as provided)] 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.

minor comments (1)

[Title/Abstract] The title contains a LaTeX escape ('H\"older') in the arXiv listing; ensure the final compiled version renders it as 'Hölder'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified from the abstract-only text.

full rationale

The manuscript is available only as an abstract, which contains no equations, no citations, and no derivation steps that could be checked for circularity. The stated proof ingredients—estimates of fractional harmonic measure decay and uniform fractional fatness of the complement—are standard external analytic tools that are not defined in terms of the target conclusion. The claim 'characterize the sharp boundary condition such that the fractional harmonic extensions with Hölder regularity up to the boundary is globally Hölder continuous' is a substantive analytic statement, not a tautology or a renamed known result. With no full text, no self-citation chain, no fitted parameters renamed as predictions, and no ansatz smuggled in via citation can be exhibited. Under the hard rule that circularity must be demonstrated by quoting the paper and showing the specific reduction, the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The central result rests on the geometric-analytic assumptions of fractional fatness and fractional harmonic measure decay, which are external tools used in the proof. No new entities or fitted parameters are evident from the abstract.

assumptions (2)

domain assumption The domain complement is uniformly fractionally fat (u-FFC) and satisfies a fractional harmonic measure decay estimate.
The abstract states the proofs are 'based on estimates of fractional harmonic measure decay and uniform fractional fatness of the complement of the domain.' These are the geometric and analytic hypotheses under which the theorem is claimed.
standard math Standard properties of the fractional Laplacian and fractional harmonic functions.
The result concerns fractional harmonic extensions, so the usual definitions and properties of the fractional Laplacian are taken as background.

how reviews work

0 comments

Cite this review

Pith. "Pith review of H\"older extension for fractional Laplacian." pith.science (2026). https://pith.science/paper/7CFBDDRR

@misc{pith2026250812134,
  author       = {Pith},
  title        = {Pith review of: H\"older extension for fractional Laplacian},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7CFBDDRR}},
  note         = {Machine review of arXiv:2508.12134}
}

read the original abstract

In this note, we characterize the sharp boundary condition such that the fractional harmonic extensions with H\"older regularity up to the boundary is globally H\"older continuous. The proofs are based on estimates of fractional harmonic measure decay and uniform fractional fatness of the complement of the domain.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Substituting Proof of Work in Blockchain with Training-Verified Collaborative Model Computation
cs.CR 2025-08 unverdicted novelty 3.0 of 10

Proposes replacing PoW with centrally verified ML training and a weighted lottery, but the manuscript body is an unrelated math paper.

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.