Automatic selfadjoint-ideal semigroups for finite matrices

DOI10.1016/J.LAA.2023.07.007MaRDI QIDQ6178778zbMATH OpenOpenAlexFDO

Authors Sasmita Patnaik, Sanehlata, Gary Weiss

Publication date 5 September 2023

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2304.12997

zbMATH Keywords

nonnegative matrixmatrix equationpartial isometryJordan matrixsingular numberselfadjoint-ideal semigroup

Mathematics Subject Classification ID

Eigenvalues, singular values, and eigenvectors (15A18) Linear equations (linear algebraic aspects) (15A06) General (adjoints, conjugates, products, inverses, domains, ranges, etc.) (47A05) Matrix equations and identities (15A24) Ideal theory for semigroups (20M12) Groups and semigroups of linear operators (47D03) Free semigroups, generators and relations, word problems (20M05) Structure theory of linear operators (47A65) General structure theory for semigroups (20M10) Diagonalization, Jordan forms (15A20)

Abstract: The notion of automatic selfadjointness of all ideals in a multiplicative semigroup of the bounded linear operators on a separable Hilbert space B(H) arose in a 2015 discussion with Heydar Radjavi who pointed out that B(H) and the finite rank operators F(H) possessed this unitary invariant property which category we named SI semigroups (for automatic selfadjoint ideal semigroups). Equivalent to the SI property is the solvability, for each A in the semigroup, of the bilinear operator equation A^* = XAY which we believe is a new connection relating the semigroup theory with the theory of operator equations. We found in our earlier works in the subject that even at the basic level of singly generated semigroups, the investigation of SI semigroups led to interesting algebraic and analytic phenomena when generated by rank one operators, normal operators, partial and power partial isometries, subnormal-hyponormal-essentially normal operators, and weighted shift operators; and generated by commuting families of normal operators. In this paper, we focus on a separate M_n(C) treatment for singly generated SI semigroups that requires studying the solvability of the bilinear matrix equation A^* = XAY in a multiplicative semigroup of finite matrices. This separate focus is needed because the techniques employed in our earlier works we could not adapt to finite matrices. In this paper we find that for certain classes of generators, being a partial isometry is equivalent to generating an SI semigroup. Such classes are: degree 2 nilpotent matrices, weighted shifts, and non-normal Jordan matrices. For the key tools used to establish these equivalences, we developed a number of necessary conditions for singly generated semigroups to be SI for the very general classes: nonselfadjoint matrices, nonzero nilpotent matrices, nonselfadjoint invertible matrices, and Jordan blocks.

Cites work

• scientific article; zbMATH DE number 3781849 (Why is no real title available?)
• Automatic selfadjoint-ideal semigroups for finite matrices
• How and Why to Solve the Operator Equation AX −XB = Y
• Interplay of Simple and Selfadjoint-ideal semigroups in B(H)
• Interpolation zwischen den Klassen 𝔖_p von Operatoren in Hilberträumen
• On the matrix equations AX - XB = C and AX - YB = C
• Semigroups of partial isometries
• Weak operator topology, operator ranges and operator equations via Kolmogorov widths

Cited in

(3)

• Singly generated selfadjoint-ideal operator semigroups: spectral density of the generator and simplicity
• An automatic adjoint theorem and its applications
• Automatic selfadjoint-ideal semigroups for finite matrices

This page was built for publication: Automatic selfadjoint-ideal semigroups for finite matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178778)