Year: 2026
Type: preprint
Abstract: For a positive integer $m$ and a real parameter $α>-1$, consider the generalized Cesàro matrix on $\ell^2(\mathbb N_0)$ with entries $m(n-j+1)_{m-1}/(n+α+1)_m$ for $j\le n$. We give a computer-assisted proof that this operator is hyponormal if and only if $α\ge0$. The main algebraic ingredient is an explicit decomposition of an auxiliary defect operator into a positive diagonal operator and at most $m$ rank-one operators. Discrete Gram polynomials determine the signs and coefficients of these terms. For nonnegative parameters, weighted estimates reduce positivity to scalar inequalities. A uniform analytic estimate covers every $m\ge32768$, while finite rational certificates cover the remaining orders and entire parameter intervals, without parameter sampling or truncating an infinite operator. The proof also gives a uniform weighted lower bound for the self-commutator. For $-1<α<0$, finite-support vectors give negative quadratic forms for every order.
Source: arXiv (Cornell University)
Author: Ma, Yicen
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7216139193