pith. sign in

arxiv: 2605.23256 · v1 · pith:V7NIDRVInew · submitted 2026-05-22 · 🧮 math.CV

Toeplitz operators on pluriharmonic Fock spaces

Pith reviewed 2026-05-25 02:45 UTC · model grok-4.3

classification 🧮 math.CV MSC 47B3532A36
keywords Toeplitz operatorspluriharmonic Fock spacesSchatten classesbounded operatorscompact operatorspositive measuresseveral complex variables
0
0 comments X

The pith

Toeplitz operators with positive symbols on pluriharmonic Fock spaces over complex n-space are bounded, compact, or trace-class precisely when the symbol measure meets explicit integrability conditions.

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

The paper establishes characterizations for when the Toeplitz operator T_μ with positive measure symbol is bounded, compact, or lies in the Schatten class S_1 on pluriharmonic Fock spaces. It supplies a necessary condition on the measure for membership in S_p when p is at least 1, and proves sufficiency of that condition once an extra assumption is imposed. These statements give precise criteria in terms of the measure that control the operator's mapping properties and approximation behavior. A reader would care because the results clarify how symbol size and decay govern operator ideals in several complex variables.

Core claim

We characterize the conditions under which the Toeplitz operator T_μ is bounded, compact, or belongs to the Schatten class S_1. Furthermore, we give a necessary condition for a Toeplitz operator to belong to S_p for p ≥ 1, and under an additional assumption, we prove the sufficiency of the condition.

What carries the argument

The Toeplitz operator T_μ with positive measure symbol μ acting on the pluriharmonic Fock space, whose boundedness and Schatten membership are controlled by integrability properties of μ.

If this is right

  • T_μ is bounded exactly when the measure μ obeys the identified integrability condition.
  • T_μ is compact exactly when the measure μ obeys the identified stricter decay condition.
  • T_μ belongs to S_1 exactly when the measure μ obeys the identified trace-class integrability condition.
  • Membership of T_μ in S_p for p ≥ 1 requires the given necessary condition on μ.
  • Under the additional assumption the necessary condition on μ becomes sufficient for membership in S_p.

Where Pith is reading between the lines

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

  • The same measure conditions may serve as a template for analogous statements on ordinary holomorphic Fock spaces.
  • Explicit counterexamples could be built to show the necessity of the extra assumption by violating it while keeping the necessary condition.
  • The characterizations open the possibility of studying spectral or Fredholm properties of these operators via the same measure criteria.

Load-bearing premise

The additional assumption that turns the necessary condition for Schatten-class membership into a sufficient condition.

What would settle it

A positive measure μ satisfying the stated necessary condition for S_p membership for some p ≥ 1, yet for which T_μ fails to lie in S_p when the additional assumption is removed.

read the original abstract

In this paper, we study Toeplitz operators with a positive symbol on pluriharmonic Fock spaces over $\mathbb{C}^{n}.$ We characterize the conditions under which the Toeplitz operator $T_\mu$ is bounded, compact, or belongs to the Schatten class $S_1$. Furthermore, we give a necessary condition for a Toeplitz operator to belong to $S_p$ for $p \geq 1,$ and under an additional assumption, we prove the sufficiency of the condition.

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.

Referee Report

2 major / 2 minor

Summary. The paper studies Toeplitz operators T_μ with positive measures μ on pluriharmonic Fock spaces over ℂ^n. It claims to characterize boundedness, compactness, and membership in the Schatten class S_1. It further states a necessary condition for T_μ ∈ S_p (p ≥ 1) and proves sufficiency of that condition under an unspecified additional assumption.

Significance. If the characterizations are complete and the additional assumption is mild or removable, the results would extend classical criteria from holomorphic Fock spaces to the pluriharmonic setting, supplying explicit conditions on μ in terms of its Berezin transform or growth. The S_1 characterization and the necessary condition for general S_p are potentially useful for operator-theoretic questions in several complex variables.

major comments (2)
  1. [Abstract, §1] Abstract and §1: the sufficiency direction for T_μ ∈ S_p (p ≥ 1) is proved only under an 'additional assumption' whose precise statement is never given in the abstract or introduction. Without knowing whether this assumption imposes extra regularity on μ, a growth restriction not implied by the pluriharmonic Fock space, or a technical condition on the kernel, it is impossible to assess whether the paper delivers a genuine characterization or merely a partial result.
  2. [§4 or §5 (where the S_p result appears)] The necessity proof for S_p membership is asserted without reference to a specific theorem or estimate; the manuscript must exhibit the precise integral condition on the Berezin transform or the measure that is claimed to be necessary, and verify that it does not rely on the same unspecified assumption used for sufficiency.
minor comments (2)
  1. [§2] Notation for the pluriharmonic Fock space and the associated inner product should be fixed at the first appearance and used consistently.
  2. [Abstract, §1] The abstract claims 'characterizations' for boundedness, compactness and S_1; the corresponding theorems should be numbered and their statements quoted verbatim in the introduction for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. We address each major comment below and will incorporate clarifications in the revised version.

read point-by-point responses
  1. Referee: [Abstract, §1] Abstract and §1: the sufficiency direction for T_μ ∈ S_p (p ≥ 1) is proved only under an 'additional assumption' whose precise statement is never given in the abstract or introduction. Without knowing whether this assumption imposes extra regularity on μ, a growth restriction not implied by the pluriharmonic Fock space, or a technical condition on the kernel, it is impossible to assess whether the paper delivers a genuine characterization or merely a partial result.

    Authors: We agree that the additional assumption should be stated explicitly already in the abstract and introduction. The assumption is a technical integrability condition on the Berezin transform of μ (detailed in §5) that ensures the relevant estimates hold; it is mild and does not impose regularity or growth restrictions beyond those natural to the pluriharmonic Fock space. In the revision we will add a concise description of the assumption to the abstract and §1. revision: yes

  2. Referee: [§4 or §5 (where the S_p result appears)] The necessity proof for S_p membership is asserted without reference to a specific theorem or estimate; the manuscript must exhibit the precise integral condition on the Berezin transform or the measure that is claimed to be necessary, and verify that it does not rely on the same unspecified assumption used for sufficiency.

    Authors: The necessity of the condition ∫ |Bμ(z)|^p dλ(z) < ∞ for T_μ ∈ S_p (p ≥ 1) follows from standard Berezin-transform estimates and holds unconditionally, without the additional assumption required only for sufficiency. We will insert explicit references to the supporting lemmas and add a sentence confirming that necessity is independent of the assumption. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on standard operator-theoretic estimates.

full rationale

The abstract describes a characterization of boundedness, compactness, and S_1 membership for Toeplitz operators T_μ with positive symbols on pluriharmonic Fock spaces, together with a necessary condition for S_p membership (p ≥ 1) whose sufficiency holds under an extra assumption. No equations, definitions, or citations are supplied that would allow any reduction of a claimed prediction or uniqueness statement to a fitted input or self-citation chain. The stated results are therefore independent of the paper's own outputs and rest on external analytic machinery (integral kernels, Berezin transforms, etc.) that can be verified or falsified outside the present work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no information on free parameters, axioms, or invented entities used in the proofs.

pith-pipeline@v0.9.0 · 5618 in / 1040 out tokens · 29025 ms · 2026-05-25T02:45:39.577628+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    Hp Spaces of Several Variables

    C. Fefferman and E. M. Stein. “Hp Spaces of Several Variables”. In:Acta Mathematica 129.0 (1972), pp. 137–193. (Visited on 03/14/2026)

  2. [2]

    Toeplitz operators on pluriharmonic function spaces: deformation quan- tization and spectral theory

    Robert Fulsche. “Toeplitz operators on pluriharmonic function spaces: deformation quan- tization and spectral theory”. English. In:Integral Equations Oper. Theory91.5 (2019). Id/No 40, p. 26

  3. [3]

    Garnett.Bounded Analytic Functions

    John B. Garnett.Bounded Analytic Functions. Revised 1st ed. Graduate Texts in Math- ematics 236. Springer, 2007

  4. [4]

    Toeplitz Operators on the Fock Space

    Josh Isralowitz and Kehe Zhu. “Toeplitz Operators on the Fock Space”. In:Integral Equations and Operator Theory66.4 (2010), pp. 593–611. (Visited on 02/02/2026)

  5. [5]

    Oxford Science Publications new ser., 6

    Maciej Klimek.Pluripotential Theory. Oxford Science Publications new ser., 6. Clarendon Press ; Oxford University Press, 1991. 266 pp

  6. [6]

    Toeplitz Operators in Bergman Space Induced by Radial Measures

    Egor A. Maximenko and Carlos G. Pacheco. “Toeplitz Operators in Bergman Space Induced by Radial Measures”. In:Bolet´ ın de la Sociedad Matem´ atica Mexicana31.3 (2025), p. 149. (Visited on 05/04/2026)

  7. [7]

    Generalized coherent states and some of their applications

    A M Perelomov. “Generalized coherent states and some of their applications”. In:Soviet Physics Uspekhi20.9 (1977), p. 703

  8. [8]

    Atomic Decomposition for the Harmonic Fock Spaces in the Plane

    Djordjije Vujadinovi´ c. “Atomic Decomposition for the Harmonic Fock Spaces in the Plane”. In:Journal of Mathematical Analysis and Applications483.1 (2020), p. 123603. (Visited on 01/26/2026)

  9. [9]

    Boundedness of the orthogonal projection on harmonic Fock spaces

    Djordjije Vujadinovi´ c. “Boundedness of the orthogonal projection on harmonic Fock spaces”. English. In:Complex Anal. Oper. Theory16.1 (2022). Id/No 13, p. 24

  10. [10]

    Carleson measures for harmonic Fock spaces in the plane

    Djordjije Vujadinovi´ c. “Carleson measures for harmonic Fock spaces in the plane”. Eng- lish. In:Complex Anal. Oper. Theory15.4 (2021). Id/No 72, p. 11

  11. [11]

    Kehe Zhu.Analysis on Fock spaces. English. Vol. 263. Grad. Texts Math. New York, NY: Springer, 2012

  12. [12]

    Kehe Zhu.Operator Theory in Function Spaces. 2nd ed. Mathematical Surveys and Mono- graphs v. 138. American Mathematical Society, 2007. 348 pp. Faculty of Natural Sciences and Mathematics, University of Banja Luka, Mladena Stojanovi ´ca 2, 78000 Banja Luka, Republic of Srpska, Bosnia and Herzegovina Email address:vladan.jaguzovic@pmf.unibl.org Faculty of ...