The aim of this paper is to study lattice properties of the sharp partial order for complex matrices having index at most 1. We investigate the down-set of a fixed matrix B under this partial order via isomorphisms with two different partially ordered sets of projectors. These are the set of projectors that commute with a certain (nonsingular) block of a Hartwig-Spindelböck decomposition of B and the set of projectors that commute with the Jordan canonical form of that block. Using these isomorphisms, we study the lattice structure of the down-sets and we give properties of them. Necessary and sufficient conditions under which the down-set of B is a lattice were found, in which case we describe its elements completely. We also show that every down-set of B has a distinguished Boolean subalgebra and we give a description of its elements. We characterize the matrices that are above a given matrix in terms of its Jordan canonical form. Mitra (1987) showed that the set of all <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1729_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">$n \times n$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> complex matrices having index at most 1 when <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1729_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">$n\ge 4$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> is not a lower semilattice. We extend this result to <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1729_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">$n=3$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and prove that it is a lower semilattice when <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1729_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">$n=2$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. We also answer negatively a conjecture given by Mitra, Bhimasankaram and Malik (2010). As a last application, we characterize solutions of some matrix equations via the established isomorphisms.

Lattice properties of the sharp partial order

期刊论文
出版模式：

开放获取
发表日期：

2025年5月4日

查看全文

Cecilia R. Cimadamore,
Laura A. Rueda,
Néstor Thome,
Melina V. Verdecchia

摘要

The aim of this paper is to study lattice properties of the sharp partial order for complex matrices having index at most 1. We investigate the down-set of a fixed matrix B under this partial order via isomorphisms with two different partially ordered sets of projectors. These are the set of projectors that commute with a certain (nonsingular) block of a Hartwig-Spindelböck decomposition of B and the set of projectors that commute with the Jordan canonical form of that block. Using these isomorphisms, we study the lattice structure of the down-sets and we give properties of them. Necessary and sufficient conditions under which the down-set of B is a lattice were found, in which case we describe its elements completely. We also show that every down-set of B has a distinguished Boolean subalgebra and we give a description of its elements. We characterize the matrices that are above a given matrix in terms of its Jordan canonical form. Mitra (1987) showed that the set of all $n \times n$ $n \times n$ complex matrices having index at most 1 when $n\ge 4$ $n \geq 4$ is not a lower semilattice. We extend this result to $n=3$ $n = 3$ and prove that it is a lower semilattice when $n=2$ $n = 2$ . We also answer negatively a conjecture given by Mitra, Bhimasankaram and Malik (2010). As a last application, we characterize solutions of some matrix equations via the established isomorphisms.