Pith's one-line read
This paper proves that a positive Toeplitz operator on pluriharmonic Fock space belongs to the Schatten class $S_p$ exactly when the measure's ball masses lie in $L^p$, for every $0<p<\infty$.
desk verdict
Solid resolution of the conjecture with a correctable typo in Lemma 3.1—send to review with a request to fix the kernel formula.
read the letter →
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 complete Schatten-class criterion for positive Toeplitz operators on pluriharmonic Fock space over $\mathbb{C}^n$. It shows that for every $00$. This settles a conjecture raised for $n\geq 2$ and extends the criterion to the full range $0
What carries the argument
The central mechanism is the orthogonal splitting $PH^2_\alpha = F^2_\alpha \oplus \overline{F^2_{\alpha,0}}$, under which $T_\mu^{\mathrm{ph}}$ has a positive $2\times 2$ block form whose diagonal blocks are $T_\mu$ and an antiunitary copy of the compression $P_0 T_\mu|_{F^2_{\alpha,0}}$. A positive-block principle, Proposition 4.1, says that for a positive form with diagonal operators $A_j$, the representing operator $B$ equals $\sum_j B^{1/2}P_jB^{1/2}$, each summand has the same nonzero singular values as the corresponding $A_j$, and submajorization gives $\sum_{k=1}^N s_k(B)\leq \sum_j\sum_{k=1}^N s_k(A_j)$. This yields the Schatten, ideal, and trace estimates without computing the mixed blocks.
What would settle it
The theorem would be false if some positive Borel measure $\mu$ had $\mu(B(z,r))\in L^p(\mathbb{C}^n,dV)$ for some $r>0$ while $T_\mu^{\mathrm{ph}}\notin S_p$, or if any choice of $\mu$ and $p$ produced a norm ratio outside $[1,2^{\max\{1,p\}}]$. A direct check would compute the singular values of $T_\mu^{\mathrm{ph}}$ for a finite weighted sum of point masses and compare the resulting $S_p$ norm with the ball-mass $L^p$ norm.
For a positive Borel measure $\mu$ on $\mathbb{C}^n$, the pluriharmonic Toeplitz operator $T_\mu^{\mathrm{ph}}$ acting on $PH^2_\alpha$ is in the Schatten class $S_p$ precisely when the local mass function $\mu(B(\cdot,r))$ is in $L^p(\mathbb{C}^n,dV)$, for any fixed $r>0$. Equivalently, $T_\mu^{\mathrm{ph}}\in S_p$ if and only if the holomorphic Toeplitz operator $T_\mu\in S_p$. Whenever these hold, the Schatten $p$-norms satisfy $\|T_\mu\|_{S_p}^p \leq \|T_\mu^{\mathrm{ph}}\|_{S_p}^p \leq 2^{\max\{1,p\}}\|T_\mu\|_{S_p}^p$, and both constants are optimal. The paper also proves an exact trace identity, $\|T_\mu^{\mathrm{ph}}\|_{S_1} = 2\mu(\mathbb{C}^n) - \int_{\mathbb{C}^n} e^{-|z|^2/\alpha}\,d\mu(z)$, and a sharp two-sided comparison for all symmetrically normed ideals.
Load-bearing premise
The entire equivalence leans on the imported holomorphic Schatten criterion saying a holomorphic Toeplitz operator is in $S_p$ exactly when its ball-mass function is in $L^p$; the paper verifies only the normalization and an auxiliary integrability condition, not that theorem itself.
Editorial extensions
If this is right
The Schatten-class characterization on pluriharmonic Fock space is now complete: membership is decided by a uniformly local ball-mass condition, with no additional hypotheses on the measure.
The sharp norm comparison gives a two-sided control of singular values: the pluriharmonic operator is never cheaper than the holomorphic one, and its $p$-th Schatten norm is at most $2^{\max\{1,p\}}$ times larger.
For every symmetrically normed ideal, membership of $T_\mu^{\mathrm{ph}}$ is equivalent to membership of $T_\mu$, with a universal constant $2$ in the ideal norm.
The exact trace identity pins down the trace-class case: the trace of $T_\mu^{\mathrm{ph}}$ is twice the total mass of $\mu$ minus the Gaussian-weighted mass, so the ratio can take every value in $[1,2)$.
The proof removes the radiality restriction that appeared in earlier sufficiency arguments, because the mixed block is controlled by positivity rather than by explicit computation.
Reading between the lines
Editorial extensions of the paper, not claims the author makes directly.
The same positive-block principle might apply to other orthogonal splittings of reproducing kernel Hilbert spaces, for example weighted pluriharmonic spaces with non-Gaussian weights, where a local-ball criterion would be a testable extension.
The optimality examples suggest that for $0<p<1$ the extremal ratio $2$ is approached by measures spread over circles, so finite-rank approximations of such measures could give explicit near-extremal configurations.
Because positivity is essential, a natural next problem is a signed-measure analogue: for non-positive symbols the mixed block is no longer controlled by diagonal blocks, so any Schatten criterion would need a genuinely different mechanism.
The trace identity could be used as a numerical check in concrete examples, for instance comparing the eigenvalue sums of $T_\mu$ and $T_\mu^{\mathrm{ph}}$ for point-mass or arc-measure symbols.