PreprintCC BY 4.0arXiv
Reduced Embry characterizations of quasinormal operators
Abstract
We prove that, for any two integers 2≤ m<n, a bounded operator A on a complex Hilbert space satisfying A*kAk=(A*A)k, k∈{m,n}, is quasinormal. More generally, we show that the inequalities A*mAm≥(A*A)m and A*nAn≤(A*A)n already imply quasinormality. Together with the known single-exponent counterexamples, this completely resolves the reduced Embry problem for bounded operators: the identities A*kAk=(A*A)k, k∈ S⊆{1,2,…}, characterize quasinormality if and only if S contains at least two distinct integers greater than one. The proof combines Hansen's inequality and the transformer inequality for weighted operator geometric means with an extremal argument for optimal power bounds.
Related
- Characterizations of Toeplitz operators on the annulus
- Littlewood-Paley and Carleson measure characterizations of Lipschitz spaces adapted to Schrödinger operators
- Quasinormal and hyponormal operators in the β(H)-class
- Power quasinormal operators and the root problem
- Characterizations in terms of Generalized Inverses
BibTeX
@misc{pietrzycki2026reduced,
title = {{Reduced Embry characterizations of quasinormal operators}},
author = {Paweł Pietrzycki},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.17303},
eprint = {2610.17303},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.17303},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Reduced Embry characterizations of quasinormal operators
AU - Paweł Pietrzycki
PY - 2026
DA - 2026/10/12
PB - arXiv
DO - 10.48550/arxiv.2610.17303
UR - https://arxiv.org/abs/2610.17303
AB - We prove that, for any two integers 2≤ m<n, a bounded operator A on a complex Hilbert space satisfying A^*kA^k=(A^*A)^k, k∈{m,n}, is quasinormal. More generally, we show that the inequalities A^*mA^m≥(A^*A)^m and A^*nA^n≤(A^*A)^n already imply quasinormality. Together with the known single-exponent counterexamples, this completely resolves the reduced Embry problem for bounded operators: the identities A^*kA^k=(A^*A)^k, k∈ S⊆{1,2,…}, characterize quasinormality if and only if S contains at least two distinct integers greater than one. The proof combines Hansen's inequality and the transformer inequality for weighted operator geometric means with an extremal argument for optimal power bounds.
ER -