arxiv: 2605.04403 · v2 · submitted 2026-05-06 · 🧮 math.CV · math.FA

Recognition: 1 theorem link

· Lean Theorem

Circle companions of Hardy spaces of the unit disk

In Sung Hwang, Raul E. Curto, Sumin Kim, Woo Young Lee

Pith reviewed 2026-05-12 03:31 UTC · model grok-4.3

classification 🧮 math.CV math.FA

keywords Hardy spaceunit diskunit circleoperator-valued functionsstrong operator topologyPoisson integralisometric isomorphismboundary values

0 comments

The pith

The Hardy space of operator-valued functions on the unit disk has a circle companion: a space of SOT-measurable functions with integrable norms that maps isometrically via the strong Poisson integral.

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

The authors solve the problem of finding boundary functions on the unit circle that correspond to holomorphic operator-valued functions inside the unit disk. For functions taking values in bounded operators between separable Hilbert spaces, standard L^p spaces on the circle do not work directly because of measurability and norm issues in infinite dimensions. They instead construct a Hardy space whose elements are measurable with respect to the strong operator topology and have integrable operator norms. The strong Poisson integral then supplies the isometric isomorphism between this new circle space and the classical Hardy space on the disk. A reader would care because the construction supplies the missing boundary theory needed to analyze operator-valued analytic functions at their natural limit points on the circle.

Core claim

There exists a Hardy space on the unit circle consisting of strongly operator topology measurable functions whose operator norms are integrable; this space is isometrically isomorphic to the Hardy space on the unit disk with values in B(H,K) via the strong Poisson integral.

What carries the argument

The strong Poisson integral, which recovers the holomorphic function inside the disk from its SOT-measurable boundary function while preserving the operator norm.

If this is right

Analytic properties proved inside the disk transfer directly to boundary values on the circle.
Boundary-value techniques become available for studying B(H,K)-valued Hardy functions without losing isometry.
The construction completes the classical circle-disk correspondence for this class of infinite-dimensional valued functions.

Where Pith is reading between the lines

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

Similar constructions might be tested using the weak operator topology instead of the strong one.
The boundary space could connect to questions about almost-periodic operator functions or ergodic theory on the circle.
The separability assumption might be relaxed by replacing SOT measurability with a weaker notion, though the paper does not pursue this.

Load-bearing premise

The strong Poisson integral defines an isometric isomorphism for the newly constructed space of SOT-measurable operator-valued functions with integrable norms, without further restrictions beyond separability of the Hilbert spaces.

What would settle it

An explicit SOT-measurable function on the circle with integrable operator norm whose strong Poisson integral either fails to land in the disk Hardy space or changes the norm would disprove the claimed isomorphism.

read the original abstract

This paper gives a complete answer to the following problem: Find the circle companion of the Hardy space of the unit disk with values in the space of all bounded linear operators between two separable Hilbert spaces. Classically, the problem asks whether for each function $h$ on the unit {\it disk}, there exists a ``boundary function" $bh$ on the unit {\it circle} such that the mapping $bh\mapsto h$ is an isometric isomorphism between Hardy spaces of the unit circle and the unit disk with values in some Banach space. For the case of bounded linear operator-valued functions, we construct a Hardy space of the unit circle such that its elements are SOT measurable, and their norms are integrable: indeed, this new space is isometrically isomorphic to the Hardy space of the unit disk via a ``strong Poisson integral."

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

They define an SOT-measurable circle space with integrable operator norms and claim it is isometrically isomorphic to the disk Hardy space via strong Poisson integral, but the reverse inequality for the isometry needs explicit verification.

read the letter

The main takeaway is that the authors settle the circle companion problem for Hardy spaces valued in bounded operators between separable Hilbert spaces. They take the circle space to consist of SOT-measurable functions whose operator norms are integrable and assert that the strong Poisson integral supplies an isometric isomorphism with the usual disk version. This extends the classical scalar and vector-valued settings to the operator case, which the abstract indicates had remained open. The construction itself looks reasonable and directly addresses the measurability and integrability requirements that arise once you move beyond scalars. That is the concrete advance here. The potential weakness lies in the isometry. The forward direction is immediate from the triangle inequality: the disk norm is at most the circle L1 norm of the operator norms. The reverse direction, however, can fail when the ranges of the operators point in varying directions, since the norm of an integral is then strictly smaller than the integral of the norms. The abstract gives no extra condition that would force equality, so the full argument must show why cancellation does not occur or why the chosen topology prevents it. If that step is handled cleanly in the paper, the result stands; otherwise the claim needs tightening. This work is aimed at specialists in operator theory and boundary-value problems for analytic functions. A reader already familiar with vector-valued Hardy spaces will see the extension quickly and can judge whether the new space fits their needs. It is worth sending to a serious referee so the isomorphism details can be checked against the literature.

Referee Report

1 major / 2 minor

Summary. The manuscript constructs a Hardy space on the unit circle consisting of SOT-measurable B(H,K)-valued functions (H,K separable Hilbert spaces) whose operator norms are integrable, and asserts that this space is isometrically isomorphic to the classical Hardy space on the unit disk via the strong Poisson integral.

Significance. If the claimed isometric isomorphism is established, the construction supplies a natural boundary-value space for operator-valued Hardy functions, extending the classical scalar and vector-valued theories in a manner that respects the operator norm. This could be useful for questions involving boundary behavior, factorization, or interpolation in the operator setting.

major comments (1)

[Abstract] Abstract (and the definition of the circle space): the strong Poisson integral always satisfies ||h(z)|| ≤ (P_z ∗ ||g||)(z) by the triangle inequality, yielding the contractive embedding of the circle L¹-norm into the disk Hardy norm. The reverse inequality required for isometry does not follow in general when the ranges of g(e^{iθ}) vary with θ, since ||∫ k(θ) g(θ) dθ|| can be strictly smaller than ∫ k(θ) ||g(θ)|| dθ. The manuscript must exhibit either an explicit proof that equality holds for all elements of the constructed space or a restriction on the space that forces equality; without this, the central claim of an isometric isomorphism is not yet supported.

minor comments (2)

Clarify the precise definition of SOT-measurability for B(H,K)-valued functions and confirm that the separability assumption on H and K is used only for measurability, not for any other property.
The abstract refers to a 'complete answer'; the introduction should briefly compare the new construction with existing circle companions for vector-valued or operator-valued Hardy spaces.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for identifying this key point about the isometric property. We address the concern directly below.

read point-by-point responses

Referee: [Abstract] Abstract (and the definition of the circle space): the strong Poisson integral always satisfies ||h(z)|| ≤ (P_z ∗ ||g||)(z) by the triangle inequality, yielding the contractive embedding of the circle L¹-norm into the disk Hardy norm. The reverse inequality required for isometry does not follow in general when the ranges of g(e^{iθ}) vary with θ, since ||∫ k(θ) g(θ) dθ|| can be strictly smaller than ∫ k(θ) ||g(θ)|| dθ. The manuscript must exhibit either an explicit proof that equality holds for all elements of the constructed space or a restriction on the space that forces equality; without this, the central claim of an isometric isomorphism is not yet supported.

Authors: We agree that the one-sided inequality follows immediately from the triangle inequality applied to the strong integral and that the reverse inequality does not hold for arbitrary SOT-measurable operator-valued functions. The manuscript defines the circle space precisely as the set of SOT-measurable B(H,K)-valued functions with integrable operator norms for which the strong Poisson integral reproduces the disk Hardy space isometrically; however, the current text does not supply an explicit verification that ||h(z)|| equals the Poisson integral of ||g|| for every such g. In the revised version we will either (i) add a detailed argument establishing the reverse inequality for the functions in the space (leveraging separability to control measurable selections of attaining vectors where possible) or (ii) impose an explicit restriction on the admissible functions that guarantees equality, and we will verify that the resulting space remains isometrically isomorphic to the disk Hardy space via the strong Poisson integral. revision: yes

Circularity Check

0 steps flagged

No circularity: construction of circle Hardy space via SOT-measurable functions with integrable norms and claimed strong Poisson isometry is self-contained

full rationale

The paper defines the circle companion space directly as the set of SOT-measurable B(H,K)-valued functions whose operator norms are integrable, then asserts that the strong Poisson integral supplies an isometric isomorphism to the disk Hardy space. No step reduces a claimed prediction or first-principles result to its own inputs by construction; the one-sided inequality ||h(z)|| ≤ (P_z * ||g||)(z) follows from the triangle inequality and is not presented as a 'prediction.' No self-citations are load-bearing for the central claim, no uniqueness theorems are imported from the authors' prior work, and no ansatz is smuggled in. The derivation is a standard functional-analytic construction whose validity rests on external properties of the Poisson kernel and Bochner measurability rather than on re-labeling or fitting the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

The central claim rests on the existence and properties of the strong Poisson integral and the definition of the new circle Hardy space; no free parameters or invented entities beyond the new space itself are indicated in the abstract.

invented entities (1)

Strong Poisson integral no independent evidence
purpose: To establish the isometric isomorphism between the new circle Hardy space and the disk Hardy space
Introduced to link the two spaces isometrically for SOT-measurable operator-valued functions

pith-pipeline@v0.9.0 · 5442 in / 1083 out tokens · 40094 ms · 2026-05-12T03:31:56.299513+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation washburn_uniqueness_aczel unclear
the mapping f ↦ Ps[f] is an isometric isomorphism from H^p_sot(T,B(D,E)) onto H^p(D,B(D,E))

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Blasco, Boundary values of functions in vector-valued Hardy spaces and geometry on Banach spaces, J

O. Blasco, Boundary values of functions in vector-valued Hardy spaces and geometry on Banach spaces, J. Funct. Anal. 78 (1988), 346-364

work page 1988
[2]

Bukhvalov, Hardy spaces of vector-valued functions, Zap

A.V. Bukhvalov, Hardy spaces of vector-valued functions, Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Akad. Naul SSSR 65 (1976), 5-16

work page 1976
[3]

Bukhvalov and A.A

A.V. Bukhvalov and A.A. Danilevich, Boundary properties of analytic and harmonic functions with values in a Banach space, Mat Zametki 31 (1982), 203-214; Math. Notes 31 (1982), 104-110

work page 1982
[4]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, The Beurling-Lax-Halmos theorem for infinite multiplicity, J. Funct. Anal. 280 (2021), art. 108884, 101 pp

work page 2021
[5]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, Operator-valued rational functions, J. Funct. Anal. 283 (2022), art. 109640, 23 pp

work page 2022
[6]

Dowling, The analytic Radon-Nikod\'ym property in Lebesgue Bochner function spaces, Proc

P.N. Dowling, The analytic Radon-Nikod\'ym property in Lebesgue Bochner function spaces, Proc. Amer. Math. Soc. 99 (1987), 119-122

work page 1987
[7]

Dowling and G.A

P.N. Dowling and G.A. Edgar, Some characterizations of the analytic Radon-Nikod\'ym property in Banach spaces, J. Funct. Anal. 80 (1988), 349-357

work page 1988
[8]

Edgar, Analytic Martingale convergence, J

G.A. Edgar, Analytic Martingale convergence, J. Funct. Anal. 69 (1986), 268-280

work page 1986
[9]

Hyt\" onen, J

T. Hyt\" onen, J. van Neerven, M. Veraar, and L. Weis, Analysis in Banach Spaces Volume I: Martingales and Littlewood-Paley Theory, Springer, Cham, 2016

work page 2016
[10]

Nikolski, Operators, Functions, and Systems: An Easy Reading Volume I: Hardy, Hankel, and Toeplitz, Mathematical Surveys and Monographs, vol

N.K. Nikolski, Operators, Functions, and Systems: An Easy Reading Volume I: Hardy, Hankel, and Toeplitz, Mathematical Surveys and Monographs, vol. 92, Amer. Math. Soc., Providence, 2002

work page 2002
[11]

Peller, Hankel Operators and Their Applications, Springer, New York, 2003

V. Peller, Hankel Operators and Their Applications, Springer, New York, 2003

work page 2003
[12]

Rudin, Real and Complex Analysis, McGraw-Hill, New York, 1987

W. Rudin, Real and Complex Analysis, McGraw-Hill, New York, 1987

work page 1987