A General Proof of the Fong-Tsui Conjecture
Abstract
We present a general proof of the Fong-Tsui conjecture for bounded operators on arbitrary complex Hilbert spaces. Specifically, we show that |T|≤|ReT| implies that T is self-adjoint. The argument combines a positive inverse of a Sylvester map with a spectral cutoff determined by the norm of the positive defect |ReT|−|T|. A local vanishing lemma reduces the analysis to the classical squared self-adjointness criterion, while positivity of the defect yields a global norm contradiction. We formulate the argument as an abstract four-operator vanishing principle, without compactness, trace, or separability assumptions. We also establish a quantitative stability estimate: if |T|≤|ReT|+ε I and 0≤ε≤|T|, then |ImT|≤6|T|7/8ε1/8. The constant is independent of the dimension, and the exponent is not claimed to be optimal. Large language models (LLMs) were used to assist with proof development, algebraic calculations, numerical checks, and auditing of the arguments.
Related
BibTeX
@misc{ma2026general,
title = {{A General Proof of the Fong-Tsui Conjecture}},
author = {Yicen Ma},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.10797},
eprint = {2609.10797},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.10797},
}
RIS
TY - UNPB
TI - A General Proof of the Fong-Tsui Conjecture
AU - Yicen Ma
PY - 2026
DA - 2026/09/16
PB - arXiv
DO - 10.48550/arxiv.2609.10797
UR - https://arxiv.org/abs/2609.10797
AB - We present a general proof of the Fong-Tsui conjecture for bounded operators on arbitrary complex Hilbert spaces. Specifically, we show that |T|≤|ReT| implies that T is self-adjoint. The argument combines a positive inverse of a Sylvester map with a spectral cutoff determined by the norm of the positive defect |ReT|−|T|. A local vanishing lemma reduces the analysis to the classical squared self-adjointness criterion, while positivity of the defect yields a global norm contradiction. We formulate the argument as an abstract four-operator vanishing principle, without compactness, trace, or separability assumptions. We also establish a quantitative stability estimate: if |T|≤|ReT|+ε I and 0≤ε≤|T|, then |ImT|≤6|T|^7/8ε^1/8. The constant is independent of the dimension, and the exponent is not claimed to be optimal. Large language models (LLMs) were used to assist with proof development, algebraic calculations, numerical checks, and auditing of the arguments.
ER -