A non-testing characterization of bounded and compact composition operators on $\mathcal Q_p$ spaces

Bingyang Hu; Xiaojing Zhou

arxiv: 2606.08907 · v1 · pith:R32ZFNGVnew · submitted 2026-06-08 · 🧮 math.CV · math.CA· math.FA

A non-testing characterization of bounded and compact composition operators on mathcal Q_p spaces

Bingyang Hu , Xiaojing Zhou This is my paper

Pith reviewed 2026-06-27 14:37 UTC · model grok-4.3

classification 🧮 math.CV math.CAmath.FA

keywords composition operatorsQ_p spacesboundednesscompactnessNevanlinna counting functionsCarleson tentsdyadic tracenon-testing characterization

0 comments

The pith

Composition operators on Q_p spaces for 0<p≤1 are bounded or compact precisely when a dyadic trace of the generalized p-Nevanlinna counting function over Carleson tents is finite or vanishes at the boundary.

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

The paper establishes symbol-only characterizations of boundedness and compactness for composition operators acting on the Q_p spaces when 0

Core claim

We give symbol-only, non-testing characterizations of bounded and compact composition operators on Q_p, 0<p≤1, via a novel dyadic trace formulation over Carleson tents for generalized p-Nevanlinna counting functions. Our results resolve an open question raised in Xiao's 2001 book, as well as the diagonal case of Zhao's 2009 question.

What carries the argument

dyadic trace formulation over Carleson tents for generalized p-Nevanlinna counting functions, which directly encodes the boundedness and compactness of the composition operator from the inducing symbol alone

If this is right

Boundedness of a composition operator on Q_p can be verified from the symbol without any direct operator testing on space elements.
Compactness is characterized by the same trace condition plus a vanishing requirement at the boundary.
The results supply explicit criteria that settle the open question from Xiao's 2001 book on Q_p spaces.
The diagonal case of Zhao's 2009 question receives a complete answer through these trace conditions.

Where Pith is reading between the lines

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

Similar trace formulations might yield non-testing criteria for composition operators on related spaces such as the Bloch space.
The conditions could be used to construct explicit symbols that induce bounded but non-compact operators on Q_p.
The tent-based dyadic approach may extend to composition operators on Q_p spaces defined over other domains.

Load-bearing premise

The dyadic trace formulation over Carleson tents for the generalized p-Nevanlinna counting functions is equivalent to the operator boundedness and compactness conditions on Q_p spaces.

What would settle it

A holomorphic self-map of the disk for which the dyadic trace remains finite yet the induced composition operator is unbounded on some Q_p would disprove the claimed equivalence.

Figures

Figures reproduced from arXiv: 2606.08907 by Bingyang Hu, Xiaojing Zhou.

read the original abstract

In this paper, we give symbol-only, non-testing characterizations of bounded and compact composition operators on $\mathcal Q_p$, $0<p\le 1$, via a novel dyadic trace formulation over Carleson tents for generalized $p$-Nevanlinna counting functions. Our results resolve an open question raised in Xiao's 2001 book, as well as the diagonal case of Zhao's 2009 question, a longstanding problem in the theory of $\mathcal Q_p$ spaces.

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 the first symbol-only characterizations of bounded and compact composition operators on Q_p (0<p≤1) by turning the generalized p-Nevanlinna counting function into a dyadic trace over Carleson tents.

read the letter

The core advance is a non-testing condition: boundedness and compactness of C_φ on Q_p are equivalent to a dyadic trace of the generalized p-Nevanlinna counting function being finite (or tending to zero). This directly settles the open question in Xiao's 2001 book and the diagonal case of Zhao's 2009 question.

The formulation is new in this setting. Earlier characterizations relied on testing functions or integral conditions that still involved the operator action; the trace here is stated purely in terms of the symbol φ. That is a genuine reduction if the equivalence holds.

The main uncertainty is whether the dyadic trace over tents really controls the Q_p seminorm without missing mass or introducing extra constants. The stress-test note flags exactly this point: if the discretization fails to recover the precise norm when p approaches 1 or when the measure is not dyadic, the claimed necessity and sufficiency break. The abstract gives no indication of how the constants behave or whether the argument uses any auxiliary testing after all.

The paper is for specialists already working on Q_p spaces and composition operators. A reader outside that niche will not get much from it. The citation pattern looks standard for the subfield, with the expected references to Xiao and Zhao.

It deserves a serious referee. The open questions are real, the claimed resolution is concrete, and the only way to settle the equivalence is to check the proofs. I would send it out rather than desk-reject.

Referee Report

2 major / 2 minor

Summary. The paper claims to resolve longstanding open questions on composition operators by providing symbol-only, non-testing characterizations of boundedness and compactness of C_φ on Q_p (0 < p ≤ 1) in terms of a novel dyadic trace of the generalized p-Nevanlinna counting function integrated over Carleson tents.

Significance. If the equivalence between the dyadic trace condition and the Q_p operator norms holds without gaps, the result would be a notable advance, supplying the first purely symbol-based criteria for these spaces and closing the diagonal case of Zhao's question as well as the problem posed in Xiao's 2001 monograph.

major comments (2)

[§3] The central equivalence (presumably Theorem 3.2 or the main result in §3) between the dyadic trace over Carleson tents and ||C_φ f||_{Q_p} ≲ ||f||_{Q_p} must be verified to ensure the discretization recovers the full integral defining the Q_p seminorm; any omission of non-dyadic contributions would render the characterization incomplete.
[§4] In the compactness direction and the limit p → 1 (recovering the Bloch-space case), the argument must confirm that the trace condition yields the exact known constants without extra factors; otherwise the claimed resolution of prior open problems is undermined.

minor comments (2)

[§2] Notation for the generalized p-Nevanlinna counting function should be introduced with an explicit formula before its use in the trace expression.
The abstract and introduction should cite the precise statements of the open questions from Xiao (2001) and Zhao (2009) for direct comparison with the new results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and valuable comments. We address each major comment below and will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

Referee: [§3] The central equivalence (presumably Theorem 3.2 or the main result in §3) between the dyadic trace over Carleson tents and ||C_φ f||_{Q_p} ≲ ||f||_{Q_p} must be verified to ensure the discretization recovers the full integral defining the Q_p seminorm; any omission of non-dyadic contributions would render the characterization incomplete.

Authors: The proof of Theorem 3.2 proceeds by establishing a two-sided estimate between the dyadic trace and the Q_p seminorm integral. The Carleson tents are constructed to form a covering where the dyadic decomposition captures the essential contributions, and the non-dyadic parts are bounded using the subharmonicity properties of the generalized p-Nevanlinna counting function. To make this explicit, we will add a preliminary lemma in Section 2 detailing the equivalence of the dyadic trace to the full integral, confirming no omissions occur. revision: yes
Referee: [§4] In the compactness direction and the limit p → 1 (recovering the Bloch-space case), the argument must confirm that the trace condition yields the exact known constants without extra factors; otherwise the claimed resolution of prior open problems is undermined.

Authors: In Section 4, the compactness criterion is derived directly from the boundedness condition via a standard limiting argument on the essential norm. As p approaches 1, the generalized counting function reduces to the standard Nevanlinna counting function, and the dyadic trace condition specializes to the known Bloch space criterion with matching constants, as verified by direct computation in the limit. We will insert a short paragraph in the compactness section to explicitly compare the constants with those in the literature for the Bloch case. revision: yes

Circularity Check

0 steps flagged

No significant circularity; novel dyadic trace is independent of inputs.

full rationale

The paper introduces a novel dyadic trace formulation over Carleson tents for generalized p-Nevanlinna counting functions and claims to prove its equivalence to boundedness and compactness of composition operators on Q_p (0<p≤1). This resolves open questions from Xiao (2001) and Zhao (2009) without any quoted reduction of the central claim to a self-citation, fitted parameter, or definitional tautology. No self-citation load-bearing steps, ansatz smuggling, or renaming of known results appear in the abstract or context. The derivation is presented as self-contained against external benchmarks (prior open problems), qualifying for score 0 under the rules requiring explicit quotes of reductions before flagging circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard background from complex analysis and function spaces; no free parameters or invented entities are visible in the abstract.

axioms (1)

domain assumption Standard properties of Q_p spaces, Carleson tents, and p-Nevanlinna counting functions as developed in prior literature.
Invoked implicitly to support the novel trace formulation.

pith-pipeline@v0.9.1-grok · 5608 in / 1144 out tokens · 16902 ms · 2026-06-27T14:37:55.176758+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On the Bloch and $\mathcal Q_p$--Carleson measure problems
math.CV 2026-06 unverdicted novelty 5.0

Complete boundedness and compactness criteria for id: B → L²(μ) and id: Q_p → L²(μ) are stated in terms of Bloch capacity associated with admissible dyadic resolutions of the disk.

Reference graph

Works this paper leans on

22 extracted references · 1 canonical work pages · cited by 1 Pith paper

[1]

Arcozzi, R

N. Arcozzi, R. Rochberg, E. T. Sawyer and B. D. Wick, The Dirichlet space: a survey,New York J. Math.17A(2011), 45–86

2011
[2]

Arcozzi, R

N. Arcozzi, R. Rochberg, E. T. Sawyer and B. D. Wick, The Dirichlet space and related function spaces, Math. Surveys Monogr.239, Amer. Math. Soc., Providence, RI, 2019

2019
[3]

P. S. Bourdon, J. A. Cima and A. L. Matheson, Compact composition operators on BMOA,Trans. Amer. Math. Soc.351(1999), no. 6, 2183–2196

1999
[4]

Fefferman and E

C. Fefferman and E. M. Stein,H p spaces of several variables,Acta Math.129(1972), 137–193. doi:10.1007/BF02392215

work page doi:10.1007/bf02392215 1972
[5]

A. M. Garsia, A presentation of Fefferman’s theorem, unpublished notes, 1971

1971
[6]

Girela, Analytic functions of bounded mean oscillation, in:Complex Function Spaces(Mekrij¨ arvi, 1999), pp

D. Girela, Analytic functions of bounded mean oscillation, in:Complex Function Spaces(Mekrij¨ arvi, 1999), pp. 61–170, 1999

1999
[7]

Kerman and E

R. Kerman and E. Sawyer, Carleson measures and multipliers of Dirichlet-type spaces,Trans. Amer. Math. Soc.309(1988), no. 1, 87–98

1988
[8]

Laitila, P

J. Laitila, P. J. Nieminen, E. Saksman and H.-O. Tylli, Compact and weakly compact composition operators on BMOA,Complex Anal. Oper. Theory7(2013), no. 1, 163–181

2013
[9]

Lou, Composition operators onQ p spaces,J

Z. Lou, Composition operators onQ p spaces,J. Aust. Math. Soc.70(2001), 161–188

2001
[10]

P. Mattila,Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, Cambridge Studies in Advanced Mathematics, vol.44, Cambridge University Press, Cambridge, 1995

1995
[11]

J. H. Shapiro,Composition Operators and Classical Function Theory, Universitext: Tracts in Mathe- matics, Springer-Verlag, New York, 1993

1993
[12]

Smith, Compactness of composition operators on BMOA,Proc

W. Smith, Compactness of composition operators on BMOA,Proc. Amer. Math. Soc.127(1999), no. 9, 2715–2725

1999
[13]

D. A. Stegenga, Multipliers of the Dirichlet space,Illinois J. Math.24(1980), no. 1, 113–139

1980
[14]

E. M. Stein,Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series, No. 30, Princeton University Press, Princeton, NJ, 1970

1970
[15]

R. J. Vanderbei,Linear Programming: Foundations and Extensions, 5th ed., Springer, 2020

2020
[16]

Wirths and J

K.-J. Wirths and J. Xiao, Global integral criteria for composition operators,J. Math. Anal. Appl.269 (2002), 702–715. 22 BINGYANG HU AND XIAOJING ZHOU

2002
[17]

Wulan, Compactness of composition operators on BMOA andV M OA,Sci

H. Wulan, Compactness of composition operators on BMOA andV M OA,Sci. China Ser. A50(2007), no. 7, 997–1004

2007
[18]

Wulan, D

H. Wulan, D. Zheng and K. Zhu, Compact composition operators on BMOA and the Bloch space,Proc. Amer. Math. Soc.137(2009), no. 11, 3861–3868

2009
[19]

Xiao,HolomorphicQClasses, Lecture Notes in Mathematics, vol

J. Xiao,HolomorphicQClasses, Lecture Notes in Mathematics, vol. 1767, Springer-Verlag, Berlin, 2001

2001
[20]

Xiao,GeometricQ p Functions, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

J. Xiao,GeometricQ p Functions, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

2006
[21]

Zhao, A question on composition operators onQ p spaces, problem note, Southeastern Analysis Meeting, 2009

R. Zhao, A question on composition operators onQ p spaces, problem note, Southeastern Analysis Meeting, 2009. Available athttp://www.cas.usf.edu/seam/Ruhan_Zaho.pdf

2009
[22]

Zhu,Spaces of Holomorphic Functions in the Unit Ball, Graduate Texts in Mathematics, vol.226, Springer-Verlag, New York, 2005

K. Zhu,Spaces of Holomorphic Functions in the Unit Ball, Graduate Texts in Mathematics, vol.226, Springer-Verlag, New York, 2005. (Bingyang Hu) Department of Mathematics and Statistics, Auburn University, Auburn, Alabama, U.S.A, 36849 Email address:bzh0108@auburn.edu (Xiaojing Zhou) Department of Mathematics and Statistics, Auburn University, Auburn, Alab...

2005

[1] [1]

Arcozzi, R

N. Arcozzi, R. Rochberg, E. T. Sawyer and B. D. Wick, The Dirichlet space: a survey,New York J. Math.17A(2011), 45–86

2011

[2] [2]

Arcozzi, R

N. Arcozzi, R. Rochberg, E. T. Sawyer and B. D. Wick, The Dirichlet space and related function spaces, Math. Surveys Monogr.239, Amer. Math. Soc., Providence, RI, 2019

2019

[3] [3]

P. S. Bourdon, J. A. Cima and A. L. Matheson, Compact composition operators on BMOA,Trans. Amer. Math. Soc.351(1999), no. 6, 2183–2196

1999

[4] [4]

Fefferman and E

C. Fefferman and E. M. Stein,H p spaces of several variables,Acta Math.129(1972), 137–193. doi:10.1007/BF02392215

work page doi:10.1007/bf02392215 1972

[5] [5]

A. M. Garsia, A presentation of Fefferman’s theorem, unpublished notes, 1971

1971

[6] [6]

Girela, Analytic functions of bounded mean oscillation, in:Complex Function Spaces(Mekrij¨ arvi, 1999), pp

D. Girela, Analytic functions of bounded mean oscillation, in:Complex Function Spaces(Mekrij¨ arvi, 1999), pp. 61–170, 1999

1999

[7] [7]

Kerman and E

R. Kerman and E. Sawyer, Carleson measures and multipliers of Dirichlet-type spaces,Trans. Amer. Math. Soc.309(1988), no. 1, 87–98

1988

[8] [8]

Laitila, P

J. Laitila, P. J. Nieminen, E. Saksman and H.-O. Tylli, Compact and weakly compact composition operators on BMOA,Complex Anal. Oper. Theory7(2013), no. 1, 163–181

2013

[9] [9]

Lou, Composition operators onQ p spaces,J

Z. Lou, Composition operators onQ p spaces,J. Aust. Math. Soc.70(2001), 161–188

2001

[10] [10]

P. Mattila,Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, Cambridge Studies in Advanced Mathematics, vol.44, Cambridge University Press, Cambridge, 1995

1995

[11] [11]

J. H. Shapiro,Composition Operators and Classical Function Theory, Universitext: Tracts in Mathe- matics, Springer-Verlag, New York, 1993

1993

[12] [12]

Smith, Compactness of composition operators on BMOA,Proc

W. Smith, Compactness of composition operators on BMOA,Proc. Amer. Math. Soc.127(1999), no. 9, 2715–2725

1999

[13] [13]

D. A. Stegenga, Multipliers of the Dirichlet space,Illinois J. Math.24(1980), no. 1, 113–139

1980

[14] [14]

E. M. Stein,Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series, No. 30, Princeton University Press, Princeton, NJ, 1970

1970

[15] [15]

R. J. Vanderbei,Linear Programming: Foundations and Extensions, 5th ed., Springer, 2020

2020

[16] [16]

Wirths and J

K.-J. Wirths and J. Xiao, Global integral criteria for composition operators,J. Math. Anal. Appl.269 (2002), 702–715. 22 BINGYANG HU AND XIAOJING ZHOU

2002

[17] [17]

Wulan, Compactness of composition operators on BMOA andV M OA,Sci

H. Wulan, Compactness of composition operators on BMOA andV M OA,Sci. China Ser. A50(2007), no. 7, 997–1004

2007

[18] [18]

Wulan, D

H. Wulan, D. Zheng and K. Zhu, Compact composition operators on BMOA and the Bloch space,Proc. Amer. Math. Soc.137(2009), no. 11, 3861–3868

2009

[19] [19]

Xiao,HolomorphicQClasses, Lecture Notes in Mathematics, vol

J. Xiao,HolomorphicQClasses, Lecture Notes in Mathematics, vol. 1767, Springer-Verlag, Berlin, 2001

2001

[20] [20]

Xiao,GeometricQ p Functions, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

J. Xiao,GeometricQ p Functions, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

2006

[21] [21]

Zhao, A question on composition operators onQ p spaces, problem note, Southeastern Analysis Meeting, 2009

R. Zhao, A question on composition operators onQ p spaces, problem note, Southeastern Analysis Meeting, 2009. Available athttp://www.cas.usf.edu/seam/Ruhan_Zaho.pdf

2009

[22] [22]

Zhu,Spaces of Holomorphic Functions in the Unit Ball, Graduate Texts in Mathematics, vol.226, Springer-Verlag, New York, 2005

K. Zhu,Spaces of Holomorphic Functions in the Unit Ball, Graduate Texts in Mathematics, vol.226, Springer-Verlag, New York, 2005. (Bingyang Hu) Department of Mathematics and Statistics, Auburn University, Auburn, Alabama, U.S.A, 36849 Email address:bzh0108@auburn.edu (Xiaojing Zhou) Department of Mathematics and Statistics, Auburn University, Auburn, Alab...

2005