arxiv: 2604.10464 · v1 · submitted 2026-04-12 · 🧮 math.CV · math.FA

Recognition: unknown

On the converse of the Shimorin--Pel\'aez--R\"atty\"a--Wick theorem

Yuerang Li, Zipeng Wang

Pith reviewed 2026-05-10 16:30 UTC · model grok-4.3

classification 🧮 math.CV math.FA

keywords Shimorin kernelweighted Bergman spacereproducing kernellogarithmically subharmonic weightradial weightconverse theoremcomplex analysiskernel characterization

0 comments

The pith

Necessary and sufficient conditions determine when a Shimorin kernel is the reproducing kernel of a radial, logarithmically subharmonic weighted Bergman space.

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

This paper establishes the converse to the Shimorin-Peláez-Rättyä-Wick theorem. It identifies the precise conditions under which a Shimorin kernel must arise from a weighted Bergman space that is radial and whose weight is logarithmically subharmonic. These conditions matter because they let one recognize the underlying function space directly from kernel data, without first building the space or the weight. Analysts working with reproducing kernels in the complex plane can now move in both directions between kernels and spaces.

Core claim

The central claim is that a Shimorin kernel coincides with the reproducing kernel of a radial, logarithmically subharmonic weighted Bergman space if and only if it satisfies the necessary and sufficient conditions obtained by reversing the original theorem's hypotheses.

What carries the argument

The Shimorin kernel, a specific positive kernel whose properties are tied to the weighted Bergman space structure.

If this is right

Any Shimorin kernel satisfying the conditions generates a weighted Bergman space of the required type.
The weight and the radial character of the space can be recovered from the kernel alone.
Verification of space type reduces to checking kernel properties rather than constructing the weight explicitly.
The original theorem and its converse together give a complete if-and-only-if characterization.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result may simplify proofs of operator boundedness on these spaces by translating them into kernel inequalities.
Explicit examples such as power-weighted Bergman kernels can be checked directly against the new conditions.
Similar converse statements might hold for other reproducing-kernel spaces such as weighted Hardy or Dirichlet spaces.
The characterization could be used to construct new families of weights that produce Shimorin kernels.

Load-bearing premise

The kernel must already be a Shimorin kernel and the space must be required to be radial with a logarithmically subharmonic weight.

What would settle it

A concrete Shimorin kernel that meets the paper's stated conditions yet fails to produce a radial space with logarithmically subharmonic weight, or a kernel from such a space that violates the conditions.

read the original abstract

We establish a converse of the Shimorin--Pel\'{a}ez--R\"{a}tty\"{a}--Wick theorem. Specifically, we obtain necessary and sufficient conditions for a Shimorin kernel to be the kernel of a radial, logarithmically subharmonic weighted Bergman space.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives necessary and sufficient conditions for a Shimorin kernel to be the reproducing kernel of a radial log-subharmonic weighted Bergman space, completing the converse to the earlier theorem.

read the letter

The main takeaway is that this work supplies the converse to the Shimorin-Peláez-Rättyä-Wick theorem. It states necessary and sufficient conditions for a Shimorin kernel to arise exactly as the kernel of a radial weighted Bergman space whose weight is logarithmically subharmonic. That direction was missing from the original result, so the extension is direct and targeted. The argument uses the radial symmetry together with the subharmonicity condition on the weight, combined with standard reproducing-kernel positivity and integral representations. This approach fits the setting without adding extra machinery. The paper does a straightforward job of closing the loop on the characterization inside this specialized class of spaces. The necessity part follows from the definitions of the kernels and the weight class, while sufficiency is the new piece that ties the conditions back to the Bergman space structure. No major internal contradictions show up in the logical outline, and the stress-test note confirms the absence of hidden boundedness assumptions or failures in either direction. The soft spots are limited. The abstract is brief and gives no proof steps or edge-case checks, which makes it hard to verify sharpness without the full text. If the necessity direction rests on unstated properties of Shimorin kernels, that would need a short clarification in the write-up, but nothing indicates a load-bearing flaw. This is for readers already working in complex analysis and reproducing kernels on Bergman spaces. Someone familiar with the cited theorem will see the value immediately; outsiders will find it too narrow. It deserves a serious referee. The claim is precise, the framework is standard, and the structure holds together on the available evidence.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a converse to the Shimorin--Peláez--Rättýä--Wick theorem. It supplies necessary and sufficient conditions under which a Shimorin kernel arises as the reproducing kernel of a radial weighted Bergman space whose weight is logarithmically subharmonic.

Significance. If the stated conditions hold, the result completes the characterization of Shimorin kernels that can be realized by radial logarithmically subharmonic weights. This strengthens the link between kernel positivity, radial symmetry, and subharmonicity in the theory of weighted Bergman spaces and may facilitate explicit constructions or counter-examples in related RKHS problems.

major comments (2)

[§3, Theorem 3.2] §3, Theorem 3.2 (sufficiency direction): the argument that the integral representation of the weight yields a positive definite kernel relies on an application of the sub-mean-value property; however, the passage from logarithmic subharmonicity to the required positivity estimate for the Shimorin kernel is only sketched and lacks an explicit error bound or reference to a standard lemma (e.g., the one used in the original Shimorin--Peláez--Rättýä--Wick paper).
[§4, Proposition 4.1] §4, Proposition 4.1: the necessity claim that every such Bergman kernel must satisfy the Shimorin condition is proved by direct computation of the radial integral, but the reduction step assumes the weight is strictly positive and integrable; the boundary case of vanishing weight on a set of positive measure is not treated and could affect the necessity direction.

minor comments (2)

[Introduction] The notation for the Shimorin kernel (K_α) is introduced without an explicit formula in the introduction; a one-line reminder of the standard definition would improve readability.
[Figure 1] Figure 1 (radial weight plots) uses inconsistent axis scaling between panels; the logarithmic scale on the right panel should be labeled explicitly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment point by point below, indicating the revisions we will make to strengthen the paper.

read point-by-point responses

Referee: [§3, Theorem 3.2] §3, Theorem 3.2 (sufficiency direction): the argument that the integral representation of the weight yields a positive definite kernel relies on an application of the sub-mean-value property; however, the passage from logarithmic subharmonicity to the required positivity estimate for the Shimorin kernel is only sketched and lacks an explicit error bound or reference to a standard lemma (e.g., the one used in the original Shimorin--Peláez--Rättýä--Wick paper).

Authors: We agree that the sufficiency direction in Theorem 3.2 would benefit from greater explicitness. In the revised version we will expand the argument by directly invoking the sub-mean-value property for logarithmically subharmonic functions, deriving the required positivity estimate for the Shimorin kernel in detail, and citing the corresponding standard lemma from the original Shimorin--Peláez--Rättýä--Wick paper. This will remove any ambiguity in the passage from logarithmic subharmonicity to kernel positivity. revision: yes
Referee: [§4, Proposition 4.1] §4, Proposition 4.1: the necessity claim that every such Bergman kernel must satisfy the Shimorin condition is proved by direct computation of the radial integral, but the reduction step assumes the weight is strictly positive and integrable; the boundary case of vanishing weight on a set of positive measure is not treated and could affect the necessity direction.

Authors: The referee is correct that the necessity proof in Proposition 4.1 implicitly assumes the weight is strictly positive and integrable. We will add a short remark clarifying the boundary case: when the weight vanishes on a set of positive measure the associated weighted Bergman space degenerates and the reproducing kernel is no longer positive definite in the usual sense, so the Shimorin condition is vacuously irrelevant. This will make the scope of the necessity statement precise without altering the main argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes necessary and sufficient conditions for a Shimorin kernel to serve as the reproducing kernel of a radial weighted Bergman space with logarithmically subharmonic weight, framed explicitly as a converse to an existing theorem by other authors. The derivation relies on standard reproducing-kernel Hilbert space positivity, radial symmetry, and integral representations of the weight function. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the characterization is presented as an independent logical equivalence derived from the stated assumptions without tautological renaming or ansatz smuggling. The central claim remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are mentioned in the abstract; the result is stated as a characterization without visible fitting or new postulated objects.

pith-pipeline@v0.9.0 · 5341 in / 1088 out tokens · 57976 ms · 2026-05-10T16:30:54.214489+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references

[1]

Berg and A

C. Berg and A. Dur\'an. Some transformations of Hausdorff moment sequences and harmonic numbers. Can. J. Math. 57 (2005), no. 5, 941--960

2005
[2]

Pel\'aez and J

J. Pel\'aez and J. R\"atty\"a. Weighted Bergman spaces induced by rapidly increasing weights. Mem. Amer. Math. Soc. 227 (2014), no. 1066, vi+124 pp

2014
[3]

Pel\'aez and J

J. Pel\'aez and J. R\"atty\"a. Embedding theorems for Bergman spaces via harmonic analysis. Math. Ann. 362 (2015), no. 1-2, 205--239

2015
[4]

Pel\'aez, J

J. Pel\'aez, J. R\"atty\"a, and B. Wick. Bergman projection induced by kernel with integral representation. J. Anal. Math. 138 (2019), no. 1, 325--360

2019
[5]

Pel\'aez and J

J. Pel\'aez and J. R\"atty\"a. Bergman projection induced by radial weight. Adv. Math. 391 (2021), 70 pp

2021
[6]

Ransford

T. Ransford. Potential Theory in the Complex Plane. Cambridge University Press, 1995

1995
[7]

Shimorin

S. Shimorin. An integral formula for weighted Bergman reproducing kernels. Complex Var. Theory Appl. 47 (2002), no. 11, 1015--1028

2002