Pith. sign in

REVIEW 4 minor 14 references

Interpolation by positive harmonic functions

T0 review · 0 major / 4 minor · reviewed 2026-08-28 · deepseek-v4-flash

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

Pith's one-line read A separated sequence of points in the unit disc is interpolating for positive harmonic functions exactly when its hyperbolic point counts grow at most like $M2^{\alpha l}$ with $\alpha<1$.

desk verdict Solid main theorem with a flawed side equivalence that needs fixing. read the letter →

arxiv math/0603087 v1 pith:3F5QEXAR submitted 2006-03-03 math.CA

Daniel Blasi , Artur Nicolau This is my paper · ORCID
classification math.CA MSC 30E0531A0531B05
keywords positiveharmonicfunctionsinterpolationhyperbolicdistanceseparatedsequencesdensityconditionmeasureCarleson-typenon-vanishinganalytic
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

The paper establishes a geometric characterization of when a separated sequence of points in the unit disc can interpolate prescribed positive values by positive harmonic functions. The answer is an exponential sparseness condition: the number of sequence points within hyperbolic distance $l$ of a given sequence point must grow no faster than $M2^{\alpha l}$ for some $M>0$ and $\alpha<1$. This condition is shown to be necessary and sufficient for interpolating every value sequence satisfying the natural Harnack-type compatibility condition with a fixed constant $\varepsilon>0$. The result matters because it turns a subtle function-theoretic interpolation problem into a checkable density estimate, and it extends to bounded analytic functions without zeros, with partial analogues in higher dimensions.

What carries the argument

The central object is the exponential density condition (1.3), expressed in the hyperbolic metric $\beta$ normalized so that the base 2 aligns with dyadic decompositions of the disc. The load-bearing mechanism is Lemma 4, a stopping-time construction that associates to each sequence point $z_n$ a boundary set $G_n\subset\partial\mathbb{D}$, all $G_n$ pairwise disjoint, with two harmonic-measure estimates: most of the harmonic measure of $\bigcup_{k\in A(n)}G_k$ from $z_n$ is near 1, while the weighted sum of far-away measures $\sum_{k\notin A(n)}2^{\eta\beta(z_k,z_n)}\omega(z_n,G_k)$ is small. This 'independence' of harmonic measures, together with the Carleson–Garnett theorem for bounded harmonic interpolation, lets the authors assemble the interpolating positive harmonic function.

What would settle it

An explicit falsifying experiment is to compute the weighted harmonic-measure sum in Lemma 4 for the sequence Z2 of Section 4, where $N(k)=2^{n_k}$ points lie on a hyperbolic circle of radius $n_k$; if the sum $\sum_{k\notin A(n)}2^{\eta\beta(z_k,z_n)}\omega(z_n,G_k)$ cannot be made smaller than $\delta$ for any small $\eta$, then Lemma 4 fails and the sufficiency proof collapses.

Watch

Extended reading notes

Core claim

The main theorem states that a separated sequence $\{z_n\}$ in the unit disc is interpolating for the cone $h^+$ of positive harmonic functions if and only if there exist constants $M>0$ and $0<\alpha<1$ such that $$\#\{z_j:\$\beta$(z_j,z_n)\le l\}\le $M2^{{\alpha l}}$$$ for every $n$ and every positive integer $l$, where $\beta$ is the hyperbolic distance in the disc. The necessity follows from a radial-projection estimate for superlevel sets of positive harmonic functions. The sufficiency builds an interpolating function $u\in h^+$ in three steps: Farkas' Lemma reduces the problem to proving two-sided inequalities for every partition of the sequence; a stopping-time construction produces pairwise disjoint boundary sets $G_n$ whose harmonic measures from $z_n$ concentrate on nearby sets; and the Carleson–Garnett interpolation theorem provides a bounded harmonic function that separates the two parts of the partition. Combining these with the Poisson kernel yields the desired interpolant. The paper also proves that the density condition admits several equivalent formulations, including a Carleson-type sum condition, and that the same density condition characterizes interpolation by non-vanishing bounded analytic functions.

Load-bearing premise

The whole sufficiency proof rests on Lemma 4's stopping-time construction producing boundary sets $G_n$ that satisfy both harmonic-measure estimates for every separated sequence with the density condition; if that construction fails, the interpolating function built in Section 3.3 may not take the prescribed values.

Editorial extensions

If this is right

  • Any separated sequence obeying (1.3) interpolates all positive value sequences satisfying (1.2) for some $\varepsilon>0$.
  • The density condition is equivalent to a Carleson-type estimate: $\sum_{z_j\in Q(z_n)}(1-|z_j|)^\alpha \le M(1-|z_n|)^\alpha$ over local boxes, which is a practical check.
  • The same condition characterizes interpolating sequences for the algebra of bounded analytic functions without zeros.
  • Two separated interpolating sequences can be uniformly separated yet fail to merge into an interpolating sequence, so the property is not stable under finite unions.

Reading between the lines

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

  • The sharp role of $\alpha<1$ suggests that at $\alpha=1$, which corresponds to finite unions of separated sequences, interpolation may require the values to satisfy a strictly stronger compatibility condition; an explicit construction interpolating the gap would be a natural test.
  • The Farkas-lemma reduction may work for other cones of functions whose extreme rays are Poisson kernels, yielding similar geometric density criteria in settings where a bounded-interpolation theorem is available.
  • In higher dimensions, the paper's finite-splitting result suggests that a full characterization for $h^+(\mathbb{R}^{d+1}_+)$ will follow if a complete geometric description of interpolating sequences for bounded harmonic functions in $\mathbb{R}^{d+1}_+$ is established; the open step is exactly that Carleson–Garnett analogue.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper characterizes separated sequences {z_n} in the unit disc that are interpolating for the cone h+ of positive harmonic functions, meaning that every sequence of positive values satisfying the Harnack-type compatibility condition with a slack epsilon > 0 is realized as u(z_n)=w_n for some u in h+. Theorem 1 states that such sequences are exactly the separated sequences satisfying the exponential density estimate # {z_j : beta(z_j,z_n) <= l} <= M 2^{alpha l} for some M>0 and 0<alpha<1. The necessity is proved via Hall's lemma and a level-set estimate for positive harmonic functions. The sufficiency is proved in three steps: Farkas's lemma reduces exact interpolation to one-sided interpolation for every partition of the sequence; an elaborate stopping-time construction (Lemma 4) produces pairwise disjoint boundary sets G_n satisfying the harmonic-measure estimates (3.1) and (3.2); and the Carleson-Garnett theorem for bounded harmonic functions, together with the compatibility condition, yields the one-sided interpolants. The paper also states equivalent density conditions, an interpolation theorem for nonvanishing bounded analytic functions, and a partial higher-dimensional extension.

Significance. If the main theorem is correct, it gives a complete geometric description of interpolating sequences for the cone of positive harmonic functions, a natural and nontrivial analogue of the Carleson-Garnett theory. The proof is constructive and uses a genuine interplay of harmonic measure, hyperbolic geometry, and convex analysis; the exponential density condition is sharp and involves no fitted parameters, only existential constants. The paper is honest about its limitations, explicitly noting the lack of a full higher-dimensional result and the use of the Carleson-Garnett theorem as a black box. The necessity direction is clean, and the sufficiency proof, while intricate, is carefully structured around explicit estimates. The main theorem appears sound; the issues I found are in auxiliary claims that are not load-bearing for Theorem 1.

minor comments (4)
  1. [Section 4, Proposition 7(d)] The proof that (c) implies (d) by 'adding up over l' is invalid. From the bound #{z_j in Q(z_n): 2^{-l-1}(1-|z_n|) <= 1-|z_j| <= 2^{-l}(1-|z_n|)} <= M 2^{alpha l}, each point in that annulus contributes at most (2^{-l}(1-|z_n|))^alpha to the sum in (d), so the l-th annulus contributes at most M(1-|z_n|)^alpha, which is not summable over l. Thus the asserted equivalence does not follow; in fact (1.3) does not imply (d) for sequences that attain the maximal exponential growth M 2^{alpha l} in each annulus. This error does not affect the proof of Theorem 1, which uses (1.3) directly, but the claim in the introduction and Proposition 7(d) must be corrected or removed.
  2. [Section 3.2, Lemma 4] Lemma 4 is stated for sequences satisfying only condition (1.3), but the proof of estimate (C) on page 15 uses 'Since the sequence {z_n} is separated' to bound the number of points in each hyperbolic annulus by a constant C4. Condition (1.3) does imply separation for the unit-ball counts, but this implication is not stated or proved. Either restate Lemma 4 with the separation hypothesis, which is all that Theorem 1 needs, or add a short proof that (1.3) implies separatedness.
  3. [Section 3, first paragraph] The sentence 'By a normal families argument, one may assume the sequence {z_n} consists of finitely many points' is asserted without details. Since all finite interpolants share the prescribed value at a fixed base point, Harnack's inequality gives local boundedness and hence normal compactness; please add a sentence making this explicit.
  4. [Section 3.3, page 17] There is a typo in 'L. Carleson ad J. Garnett'; it should read 'L. Carleson and J. Garnett'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1 is derived from independent external results; noted gaps are non-circular proof flaws.

full rationale

The central characterization (Theorem 1) is not circular. Necessity uses only Harnack's inequality, Hall's lemma, and the interpolation definition to force the density estimate (1.3). Sufficiency is built from Farkas' lemma (an external convex-analysis tool), the stopping-time construction of Lemma 4, and the Carleson-Garnett characterization of interpolating sequences for h-infinity, which is an external theorem stated with its hypotheses and not derived from the target result. No parameter is fitted to the data: M and alpha in (1.3) are existential constants, and the interpolation constant epsilon is not tuned after observing the values {w_n}; the values are arbitrary subject to (1.2). The only self-citations ([BN], [DN]) occur in comparisons and related problems, not as load-bearing premises. The proof of Proposition 7(d) has a genuine non-circular gap: 'Adding up over l' does not justify (d) from (c) without additional separation or decay information, and Lemma 4 is stated without separation although part (C) of its proof uses separation to bound the number of points in each hyperbolic annulus. These are correctness issues, not reductions of the theorem to its inputs.

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

The central claim rests on classical external results: Hall's lemma, the Carleson-Garnett theorem, Farkas's lemma, and the Harnack inequality. These are standard and are not invented for this paper. No numerical parameters are fitted to data; the constants M and alpha in condition (1.3) are existential quantifiers in the theorem, and the many auxiliary constants (delta, eta, N, gamma, epsilon) are chosen by the standard 'take constants sufficiently small or large' strategy. No new entities are postulated.

assumptions (5)
  • domain assumption Hall's Lemma: for any set E in the disc, the harmonic measure from the origin of E in D\E is at least a constant times the radial projection measure of E.
    Invoked in Section 2 to prove Lemma 2 and the necessity direction. This is a classical harmonic measure result, cited to [H] and [MS].
  • domain assumption Carleson-Garnett interpolation theorem for bounded harmonic functions h-infinity: a separated sequence satisfying condition (3.11) is interpolating, and the Open Mapping Theorem gives a uniform constant gamma.
    Used in Section 3.3 to construct the separating function h for each partition of the sequence. The paper proves that (1.3) implies (3.11), then invokes this external theorem.
  • standard math Farkas Lemma: a vector lies in a finitely generated cone if and only if it satisfies all linear inequalities dual to the cone generators.
    Used in Section 3.1 (Lemma 3) to reduce exact interpolation to one-sided interpolation on every partition. This is a standard convex analysis result, cited to [HL].
  • standard math Harnack inequality for positive harmonic functions in the unit disc.
    Used throughout, including the definition of the trace space and in Lemma 2 and the necessity proof. A classical result.
  • standard math Normal families compactness for positive harmonic functions normalized at a point.
    Invoked in Section 3 to reduce the interpolation problem to finite sequences. Standard in function theory, not explicitly proved.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Interpolation by positive harmonic functions." pith.science (2026). https://pith.science/paper/3F5QEXAR

@misc{pith2026math0603087,
  author       = {Pith},
  title        = {Pith review of: Interpolation by positive harmonic functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3F5QEXAR}},
  note         = {Machine review of arXiv:math/0603087}
}
read the original abstract

A natural interpolation problem in the cone of positive harmonic functions is considered and the corresponding interpolating sequences are geometrically described.

Figures

Figures reproduced from arXiv: math/0603087 by the authors.

Figure 1
Figure 1. Using Lemma 6 and β(z γ n (k), zn) = γβ(zk, zn) we obtain the following inequalities: (3.7)  1 − |zk| 1 − |zn| C−1γ ≤ 1 − |z γ n (k)| 1 − |zn| ≤  1 − |zk| 1 − |zn| Cγ , where C is a constant depending on M0. So, X zn ∈ 20M0Q(zk) β(zk, zn) ≥ N 1− |z γ n (k)| ≤ (1 − |zk|) Cγ X∞ j=N X zn ∈ 20M0Q(zk) j ≤ β(zn, zk) < j + 1 (1 − |zn|) 1−Cγ . Now, if zn ∈ 20M0Q(zk) and j ≤ β(zn, zk) < j + 1, Lemma 6 tells that 1−|zn| ≤… view at source ↗
Figure 2
Figure 2. The sum is splitted into three parts corre￾sponding to the location of the points zk in the regions (A), (B) or (C) In (A) and (B) we will use the estimate ω(zn, Gk) ≤ C(M0)2−β(zn,zk) and for (C) we will use the constant γ > 0 appearing in the construction of the sets Ek. We first claim that there exists a constant C = C(M0) > 0 such that for points zk in part (A) or (B), that is those verifying either zk ∈ 20M0Q(zn… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Math., 32 (1977), 197--211

    E.\ Amar, Suites d'interpolation harmoniques, J.\ Anal. Math., 32 (1977), 197--211

    work page 1977

  2. [2]

    B.\ Boe & A.\ Nicolau, Interpolation by functions in the Bloch space, J.\ Anal.\ Math., 94 (2004), 171--194

    work page 2004

  3. [3]

    L.\ Carleson, An interpolation problem for bounded analytic functions, Amer.\ J.\ Math., 80 (1958), 921--930

    work page 1958

  4. [4]

    L.\ Carleson, A moment problem and harmonic interpolation, preprint, Institut Mittag-Leffler, 1972

    work page 1972

  5. [5]

    L.\ Carleson & J.\ Garnett, Interpolating sequences and separation properties, J.\ Anal.\ Math., 28 (1975), 273--299

    work page 1975

  6. [6]

    K.\ Dyakonov, Moment problems for bounded functions, Comm.\ Anal.\ Geom., 2(4) (1994), 533--562

    work page 1994

  7. [7]

    K.\ Dyakonov & A.\ Nicolau, Free interpolation by non-vanishing analytic functions, to appear in Trans.\ Amer.\ Math.\ Soc

    work page

  8. [8]

    Math.\ J., 21 (1971/1972), 187--192

    J.\ Garnett, Interpolating sequences for bounded harmonic functions, Indiana Univ. Math.\ J., 21 (1971/1972), 187--192

    work page 1971

Show all 14 references
  1. [9]

    Academic Press, Inc., New York-London, 1981

    J.B.\ Garnett, Bounded Analytic Functions, Pure and Applied Mathematics, 96. Academic Press, Inc., New York-London, 1981

    1981

  2. [10]

    Hall, Sur la mesure harmonique de certains ensembles, Arkiv f\"or Matematik, Astronomi och Fysik, 25A(28) (1937)

    1937

  3. [11]

    Fundamentals, Grundlehren der Mathematischen Wissenschaften 305, Springer-Verlag, Berlin, Heidelberg, New York, 1993

    J.B.\ Hiriart-Urruty & C.\ Lemar\'echal, Convex Analysis and Minimization Algorithms I. Fundamentals, Grundlehren der Mathematischen Wissenschaften 305, Springer-Verlag, Berlin, Heidelberg, New York, 1993

    1993

  4. [12]

    D.E.\ Marshall & C.\ Sundberg, Harmonic measure and radial projection, Trans.\ Amer.\ Math.\ Soc., 316(1) (1989), 81--95

    1989

  5. [13]

    J.G.\ Ratcliffe, Foundations of Hyperbolic Manifolds, Graduate Texts in Mathematics 149 Springer-Verlag, New York, 1994

    1994

  6. [14]

    K.\ Seip, Interpolating and sampling in spaces of analytic functions, University Lectures Series, 33 American Mathematical Society, Providence, RI, 2004

    2004

Pith tools

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