arxiv: 2604.26722 · v2 · submitted 2026-04-29 · 🧮 math.FA · math.CA· math.CV

Recognition: unknown

Recovering Product BMO from Schatten Hankel operators

Karl-Mikael Perfekt, Konstantinos Bampouras

Pith reviewed 2026-05-07 12:35 UTC · model grok-4.3

classification 🧮 math.FA math.CAmath.CV

keywords Hankel operatorsSchatten classesproduct Hardy spaceproduct BMONehari theoremoperator theory

0 comments

The pith

If a small Hankel operator on the product Hardy space belongs to a Schatten class then its symbol is in product BMO.

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

This paper proves that small Hankel operators on the product Hardy space which lie in a Schatten class S^p for any finite p must have symbols in the product BMO space. This means the conclusion from Nehari's theorem about the symbol being in BMO can be reached from the weaker Schatten condition rather than from operator boundedness. Readers interested in operator theory and harmonic analysis would care because it gives a method to recover the regularity of the symbol directly from the Schatten norm of the operator. The product structure requires the small version of the Hankel operator for this to work.

Core claim

We prove that if a small Hankel operator on the product Hardy space belongs to some Schatten class S^p, p < ∞, then it has a symbol in product BMO. In other words, the conclusion of Nehari's theorem holds under the hypothesis that the operator belongs to a Schatten class.

What carries the argument

Small Hankel operators on the product Hardy space, where membership in Schatten class S^p for finite p recovers a symbol in product BMO.

If this is right

The symbol must have bounded mean oscillation measured in the product sense.
Nehari-type symbol recovery works from Schatten p-norm finiteness for every finite p.
The result applies only to the small Hankel operator, not the big version, in the product setting.
One can conclude symbol existence in product BMO without first proving the operator is bounded.

Where Pith is reading between the lines

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

Schatten classes may act as an intermediate scale that connects to other multi-parameter spaces like product Besov or Triebel-Lizorkin classes.
Numerical checks on finite grids approximating the product Hardy space could test the sharpness of the Schatten-to-BMO transition.
The technique might adapt to related operators such as Toeplitz or commutators in the same product Hardy setting.

Load-bearing premise

The operator must be a small Hankel operator on the product Hardy space.

What would settle it

A concrete small Hankel operator that lies in some S^p for finite p but has a symbol outside product BMO would disprove the claim.

read the original abstract

We prove that if a small Hankel operator on the product Hardy space belongs to some Schatten class $S^p$, $p < \infty$, then it has a symbol in product BMO. In other words, the conclusion of Nehari's theorem holds under the hypothesis that the operator belongs to a Schatten class.

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 shows that small Hankel operators on product Hardy space in S^p for p finite have symbols in product BMO, a scoped extension of Nehari.

read the letter

The main result is that if a small Hankel operator on the product Hardy space sits in some Schatten class S^p with p finite, then its symbol belongs to product BMO. This is a direct but limited version of the classical Nehari theorem, adapted to the product setting and using the Schatten hypothesis instead of plain boundedness. The scoping to small operators and finite p is deliberate and consistent with known distinctions in the area. The paper does well by keeping the claim precise and by focusing on the product structure without overreaching into big Hankel operators or infinite p. The abstract and stress-test note indicate no internal contradictions or hidden assumptions that would break the argument on its own terms. The citation pattern looks standard for this corner of harmonic analysis. Soft spots are mostly about scope and verification. The result does not cover big Hankel operators, where the symbol recovery might require different conditions, and it stops at p finite, so it leaves open questions about the endpoint or other classes. Without the full proof details in front of me, I cannot check the product estimates or how they manage the iterated BMO norms, but nothing in the stated claim suggests a load-bearing flaw. This is a paper for specialists in multivariable harmonic analysis and Hankel operators who already know the one-variable case. A reader working on product BMO or Schatten classes on Hardy spaces would find it useful as a targeted extension. It is not broad enough to interest a general audience. I would bring it to a reading group focused on operator theory for discussion of the small-versus-big distinction. I would not cite it in my own work in the next year unless I am actively extending product-space results. It deserves peer review because the claim is cleanly stated, the setting is well-defined, and referees can evaluate the technical steps without starting from scratch.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that if a small Hankel operator on the product Hardy space belongs to a Schatten class S^p for some finite p, then its symbol lies in product BMO. This recovers the conclusion of Nehari's theorem (symbol in BMO) from the stronger Schatten-class hypothesis rather than from mere boundedness of the operator.

Significance. If the derivation holds, the result is a precise, scoped contribution to multivariable Hankel theory: it isolates the small-Hankel case on product Hardy spaces and shows that Schatten membership (p < ∞) forces the symbol into product BMO. This is consistent with known distinctions between small and big Hankel operators and supplies a direct, non-circular implication from operator ideal membership to symbol class. The absence of free parameters or ad-hoc axioms in the stated claim is a strength.

minor comments (1)

The precise definition of 'small Hankel operator' (as opposed to big) and the product Hardy space setting should be stated explicitly in the introduction or §1 to make the scoping of the theorem immediately clear to readers familiar with the one-variable case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and for recognizing the scoped contribution of the result to multivariable Hankel theory. The manuscript shows that Schatten-class membership (p < ∞) of a small Hankel operator on the product Hardy space forces its symbol into product BMO, thereby recovering the conclusion of Nehari's theorem from a stronger hypothesis than mere boundedness. No specific major comments appear in the report, so we have no points to address point-by-point and no revisions are required.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes a direct implication: membership of a small Hankel operator in Schatten class S^p (p < ∞) on the product Hardy space forces the symbol into product BMO, framed as a conditional version of Nehari's theorem. No step reduces by construction to a fitted parameter, self-referential definition, or load-bearing self-citation chain; the scoping to small operators and the Schatten hypothesis is explicit and independent of the target conclusion. The derivation relies on standard operator-theoretic techniques without renaming known results or smuggling ansatzes via prior self-work. The argument remains self-contained against external benchmarks in multivariable Hankel theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard definitions and properties of product Hardy spaces, small Hankel operators, Schatten classes, and product BMO; no free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (1)

standard math Product Hardy spaces, small Hankel operators, Schatten classes S^p, and product BMO are well-defined and satisfy their usual functional-analytic properties.
The statement invokes these objects directly; their properties are presupposed from prior literature.

pith-pipeline@v0.9.0 · 5340 in / 1202 out tokens · 37733 ms · 2026-05-07T12:35:36.464885+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 2 canonical work pages

[1]

Bi-parameter potential theory and Carleson measures for the Dirichlet space on the bidisc.Discrete Anal., pages Paper No

Nicola Arcozzi, Pavel Mozolyako, Karl-Mikael Perfekt, and Giulia Sarfatti. Bi-parameter potential theory and Carleson measures for the Dirichlet space on the bidisc.Discrete Anal., pages Paper No. 22, 57, 2023

2023
[2]

Nehari’s theorem and Hardy’s inequality for Paley-Wiener spaces.J

Konstantinos Bampouras. Nehari’s theorem and Hardy’s inequality for Paley-Wiener spaces.J. Funct. Anal., 290(10):Paper No. 111408, 26, 2026

2026
[3]

Besov spaces and Schatten class Hankel operators for Hardy and Paley–Wiener spaces in higher dimensions.arXiv:2409.04184, 2025

Konstantinos Bampouras and Karl-Mikael Perfekt. Besov spaces and Schatten class Hankel operators for Hardy and Paley–Wiener spaces in higher dimensions.arXiv:2409.04184, 2025

work page arXiv 2025
[4]

Nehari’s theorem for convex domain Hankel and Toeplitz operators in several variables.Int

Marcus Carlsson and Karl-Mikael Perfekt. Nehari’s theorem for convex domain Hankel and Toeplitz operators in several variables.Int. Math. Res. Not. IMRN, (5):3331–3361, 2021

2021
[5]

Chang and Robert Fefferman

Sun-Yung A. Chang and Robert Fefferman. The Calder´ on-Zygmund decomposition on product domains.Amer. J. Math., 104(3):455–468, 1982

1982
[6]

Some recent developments in Fourier analysis andH p theory on product domains

Robert Fefferman. Some recent developments in Fourier analysis andH p theory on product domains. II. InFunction spaces and applications (Lund, 1986), volume 1302 ofLecture Notes in Math., pages 44–51. Springer, Berlin, 1988

1986
[7]

Robert Fefferman and Elias M. Stein. Singular integrals on product spaces.Adv. in Math., 45(2):117–143, 1982

1982
[8]

Y. Han, G. Lu, and K. Zhao. Discrete Calder´ on’s identity, atomic decomposition and boundedness criterion of operators on multiparameter Hardy spaces.J. Geom. Anal., 20(3):670–689, 2010

2010
[9]

Cristina Pereyra, and Lesley A

Yongsheng Han, Ji Li, M. Cristina Pereyra, and Lesley A. Ward. Atomic decomposition of product Hardy spaces via wavelet bases on spaces of homogeneous type.New York J. Math., 27:1173–1239, 2021

2021
[10]

Hankel forms and sums of random variables.Studia Math., 176(1):85–92, 2006

Henry Helson. Hankel forms and sums of random variables.Studia Math., 176(1):85–92, 2006

2006
[11]

Dyadic bi-parameter repeated commutator and dyadic product BMO.arXiv:2101.00763, 2021

Irina Holmes, Sergei Treil, and Alexander Volberg. Dyadic bi-parameter repeated commutator and dyadic product BMO.arXiv:2101.00763, 2021

work page arXiv 2021
[12]

Calder´ on-Zygmund operators on product spaces.Rev

Jean-Lin Journ´ e. Calder´ on-Zygmund operators on product spaces.Rev. Mat. Iberoamericana, 1(3):55–91, 1985

1985
[13]

Carleson embedding on the tri-tree and on the tri-disc.Rev

Pavel Mozolyako, Georgios Psaromiligkos, Alexander Volberg, and Pavel Zorin-Kranich. Carleson embedding on the tri-tree and on the tri-disc.Rev. Mat. Iberoam., 38(7):2069–2116, 2022

2069
[14]

Journ´ e’s covering lemma and its extension to higher dimensions.Duke Math

Jill Pipher. Journ´ e’s covering lemma and its extension to higher dimensions.Duke Math. J., 53(3):683–690, 1986

1986
[15]

Sandra Pott and Martin P. Smith. Paraproducts and Hankel operators of Schatten class viap-John-Nirenberg theorem.J. Funct. Anal., 217(1):38–78, 2004

2004
[16]

Walter Rudin.Function theory in polydiscs. W. A. Benjamin, Inc., New York-Amsterdam, 1969. Sabanci University Tuzla Campus, Orta Mahalle, ¨Universite Cadesi No:27 Tuzla, 34956 Istanbul, Turkey Email address:kostasbaburas@gmail.com Department of Mathematical Sciences, Norwegian University of Science and Technology (NTNU), 7491 Trondheim, Norway Email addre...

1969