We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.FA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Functional Analysis

Title: A trace inequality for commuting tuple of operators

Abstract: For a commuting $d$- tuple of operators $\boldsymbol T$ defined on a complex separable Hilbert space $\mathcal H$, let $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ be the $d\times d$ block operator $\big (\!\!\big (\big [ T_j^* , T_i\big ]\big )\!\!\big )$ of the commutators $[T^*_j , T_i] := T^*_j T_i - T_iT_j^*$. We define the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ by symmetrizing the products in the Laplace formula for the determinant of a scalar matrix. We prove that the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ equals the generalized commutator of the $2d$ - tuple of operators, $(T_1,T_1^*, \ldots, T_d,T_d^*)$ introduced earlier by Helton and Howe. We then apply the Amitsur-Levitzki theorem to conclude that for any commuting $d$ - tuple of $d$ - normal operators, the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ must be $0$. We show that if the $d$- tuple $\boldsymbol T$ is cyclic, the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ is non-negative and the compression of a fixed set of words in $T_j^* $ and $T_i$ -- to a nested sequence of finite dimensional subspaces increasing to $\mathcal H$ -- does not grow very rapidly, then the trace of the determinant of the operator $\big [\!\! \big [ \boldsymbol T^* , \boldsymbol T\big ] \!\!\big ]$ is finite. Moreover, an upper bound for this trace is given. This upper bound is shown to be sharp for a class of commuting $d$ - tuples. We make a conjecture of what might be a sharp bound in much greater generality and verify it in many examples.
Comments: 30 pages
Subjects: Functional Analysis (math.FA)
MSC classes: (2020) Primary: 47B10, 47B20 Secondary: 47A08, 47A16, 47B37
Cite as: arXiv:2012.11115 [math.FA]
  (or arXiv:2012.11115v2 [math.FA] for this version)

Submission history

From: Gadadhar Misra [view email]
[v1] Mon, 21 Dec 2020 04:52:37 GMT (39kb)
[v2] Wed, 20 Jan 2021 00:58:52 GMT (40kb)

Link back to: arXiv, form interface, contact.