Misra, GadadharGadadharMisraPramanick, ParamitaParamitaPramanickSinha, Kalyan B.Kalyan B.Sinha2025-08-312025-08-312022-06-0110.1007/s00020-022-02693-52-s2.0-85128787303https://d8.irins.org/handle/IITG2025/26066For a commuting d-tuple of operators T defined on a complex separable Hilbert space H, let [[T∗,T]] be the d× d block operator (([Tj∗,Ti])) of the commutators [Tj∗,Ti]:=Tj∗Ti-TiTj∗. We define the determinant of [[T∗,T]] by symmetrizing the products in the Laplace formula for the determinant of a scalar matrix. We prove that the determinant of [[T∗,T]] equals the generalized commutator of the 2d - tuple of operators, (T1,T1∗,…,Td,Td∗) 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 [[T∗,T]] must be 0. We show that if the d-tuple T is cyclic, the determinant of [[T∗,T]] is non-negative and the compression of a fixed set of words in Tj∗ and T<inf>i</inf>—to a nested sequence of finite dimensional subspaces increasing to H—does not grow very rapidly, then the trace of the determinant of the operator [[T∗,T]] 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.falseDeterminant | Generalized commutator | multiplicity | Spherical tuple | TraceA Trace Inequality for Commuting d-Tuples of OperatorsArticle14208989June 2022216arJournal2WOS:000785931200001