ALL Metrics
-
Views
-
Downloads
Get PDF
Get XML
Cite
Export
Track
Research Article
Revised

Secondary range symmetric matrices

[version 2; peer review: 3 approved]
PUBLISHED 11 Sep 2024
Author details Author details
OPEN PEER REVIEW
REVIEWER STATUS

This article is included in the Manipal Academy of Higher Education gateway.

Abstract

The concept of secondary range symmetric matrices is introduced here. Some characterizations as well as the equivalent conditions for a range symmetric matrix to be secondary range symmetric matrix is given. The idea of range symmetric matrices, range symmetric matrices over Minkowski space and secondary range symmetric matrices are different, and is depicted with the help of suitable examples. Finally, a necessary and sufficient condition for a secondary range symmetric matrix to have a secondary generalized inverse has been obtained.

Keywords

Generalized inverses, Secondary generalized inverses, Secondary transpose, EP matrices

Revised Amendments from Version 1

Version 2 of the article incorporates the valuable suggestions from the reviewers. Changes include language correction, a preliminary section highlighting basic definitions, examples elaborating the definitions, etc. Additionally, a few references have been added, updating the bibliography.

See the author's detailed response to the review by P Sam Johnson
See the author's detailed response to the review by Mehsin Jabel Atteya
See the author's detailed response to the review by Pankaj Kumar Manjhi

Introduction

The theory of symmetric matrices as well as range symmetric matrices are well known in literature. A matrix is said to be EP (or range symmetric), whenever the range space of the matrix is equal to the range space of its conjugate transpose. In other words, matrix is EP whenever its null space is same as that of the null space of its conjugate transpose. Ballantine1 has studied about the product of two EP matrices of specific rank to be again an EP matrix. In2 new characterizations of EP matrices are given. Also, weighted EP matrix is defined and characterized. Meenakshi3 extended the concept of range symmetric matrices over Minkowski space. In 2014, the same author defined range symmetric matrices in indefinite inner product space.4 In Ref. 5, the concept of EP matrices to bounded operator with closed range is defined on a Hilbert space. For more characterizations of EP and hypo EP operators one can refer.6,7

For an n×n matrix A, the secondary transpose is related to transpose of the matrix by the relation AS=VATV. Here, the matrix V has non zero unitary entries only on the secondary diagonal. For a matrix A with complex entries, the secondary transpose will be renamed as secondary conjugate transpose Aθ and is given by Aθ=VAV.

The concept of secondary conjugate transpose is gaining importance in recent years. Shenoy8 has defined Outer Theta inverse by combining the outer inverse and secondary transpose of a matrix A. Drazin-Theta matix AD,θ9 is a new class of generalized inverse introduced for a square matrix of index m. One can refer10 for the extension of these inverses over rectangular matrices. R. Vijayakumar11 introduced the concept of secondary generalized inverse with the help of secondary transpose of a matrix. This concept is similar to Moore Penrose inverse. But unlike Moore penrose inverse, existence of s-g inverse is not assured in general. In Ref. 12, a necessary and sufficient conditions of existence of s-g invese is given. In the same article, a few characterizations and a determinantal formula for s-g inverse also has been discussed. In 2009, Krishnamoorthy and Vijayakumar13 has defined the concept of S - normal matrices with the help of secondary transopse for a class of complex square matrices. Jayashree14 has defined secondary k - range symmetric fuzzy matrices. Its relation with S - range symmetric fuzzy matrices, k - range fuzzy symmetric matrices and EP matrices are defined.

In this article, we define secondary range symmetric matrices. Several equivalent conditions for a matrix to be secondary range symmetric, is obtained here. Also, the existence of secondary generalized inverse of a secondary range symmetric matrix is discussed.

Below are some useful deifnitions and results related to secondary conjugate transpose.

Preliminaries

The set of all n×n matrices with complex entries are denoted by Cn×n (Rn×n for matrices with real entries. Also, NA represents the null space of the matrix A. The column space and rank of A are denoted by CA,ρA respectively.

Definition 1

(Ref. 15) Let An×n. Then the secondary transpose (or secondary conjugate transpose Aθ in the case of complex matrices) of A denoted by AS and is defined as AS=bij, where bij=anj+1,ni+1, i,j=1,2,n.

Definition 2

(Ref. 16) Let An×n. Then the conjugate secondary transpose of A denoted by Aθ and is defined as Aθ=A¯s=cij where cij=a¯nj+1,ni+1.

The secondary transpose of a matrix is defined by reflecting the entries through sendary diagonal.

Definition 3

(Ref. 16) A matrix is said to be secondary normal (S - normal) if AAS=ASA.

Definition 4

(Ref. 12) AS is said to be secondary generalized inverse of A if

AASA=AASAAS=ASandAASandASAareSsymmetric.

Note that the matrix A is said to be secondary symmetric or Ssymmetric if and only if AS=A.

Theorem 0.1

(Ref. 12) Given an m×n matrix A. The following statements are equivalent.

  • (1) A has S - cancellation property (i.e., AsAX=0AX=0 and YAAs=0YA=0).

  • (2) ρAsA=ρAAs=ρA

  • (3) AS exists.

Definition 5

(Ref. 17) A matrix An×n is said to be EP (or range symmetric) if NA=NA.

Meenakshi3 has defined EP in Minkowski space and has given equivalent conditions for a matrix to be range symmetric.

Let the components of a complex vector Cn from 0 to n-1, be u=u0u1u2un1. Let us denote the Minkowski metric tensor by G and it is defined as G=u0u1u2un1. Now, the Minkowski metric matrix is G=100In1. The Minkowski inner product on Cn is defined by uv=<u,Gv> where <.,.> is the Hilbert inner product. A space with Minkowski inner product is defined as Minkowski space. The idea of Minkowski space arised when Xing18 tried to study the optical devices described by the Mueller matrix which may not have a singluar value decomposition. The problem was solved by Renardy19 by defining Minkowski space and obtained the singular value decomposition of Mueller matrix over the Minkowski space.

Definition 6

(Ref. 3) A matrix An×n is said to be range symmetric in Minkowski space if and only if NA=NA+.

Here A+ represents the Minkowski adjoint given by A+=GAG where G is the Minkowski metric tensor.

Results

In this section, we define secondary range symmetric matrices which is analogous to that of range symmetric matrices. Some equivalent conditions for a matrix to be range symmetric is also given here.

Definition 7

X is secondary right (left) normalized g inverse of A where AR(n×n) if AXA=A, XAX=X and AX is S - symmetric. (XA is S - symmetric).

Example 1:

Let A=112112. Note that the matrix X=1107/54/51/5 is both secondary right normalized g-inverse and secondary left normalized inverse of A. The conditions AXA=A,XAX=X can be easily verified.

Also AX=2/51/51/53/56/51/59/53/52/5=AXS. Therefore X is secondary right normalized g-inverse of A.

Here XA=1001=XAS. Here X is also a left normalized g-inverse.

Definition 8

Consider Am×n. The S - transpose of A is defined as As=bij where bij=amj+1,ni+1, 1in,1jm.

Example 2:

Consider a matrix A=123456. The S – transpose of A is given by AS=635241.

Definition 9

A matrix An×n secondary range symmetric if and only if NA=NAS

Example 3:

Let A=1001. Here NANA. But NA=NAS. Therefore the matrix is not range symmetric, but it is secondary range symmetric.

Theorem 0.2

Let An×n. Then the following conditions are equivalent.

  • (1) A is secondary range symmetric

  • (2) VA is EP

  • (3) AV is EP (V is a permutation matrix with ‘1’ in the secondary diagonal)

  • (4) NA=NAV

  • (5) CA=CAS

  • (6) AS=BA=AC where B and C are some nonsingular matrices

  • (7) CA=CVA

  • (8) CANA=n

  • (9) CANA=n

Proof 1

A is secondary range symmetricNA=NASNVA=NASV(sinceV2=I)VA is EPVVAVSis EPAV is EP.

Hence 123 holds true.

14

A is secondary range symmetricNA=NASNA=NVAV(by definition of secondary transpose)NA=NAVAV=AVA1AA=AVA1AVA=AAV1AVNA=NAV

This proves the equivalence of 1 and 4.

35

AV is range symmetricCAV=CAVCA=CVA(SinceV*=V)CA=CVAVCA=CAS

Hence 3 and 5 are equivalent.

26

VAis range symmetricVA=VAPfor some nonsingularn×nmatrixPAV=VAPVAV=APAS=APA=APS=PSAS(By property of secondary transpose)AS=PS1AAS=KAwhereK=PS1.(Using(AS)S=A)

Hence 26.

57

CA=CASCA=CVASVCA=CVASVA=AA1VA(By[14])A=VAA1VAA=VAVA1ACA=CVA

Thus equivalence of 5 and 7 are proved.

2 8.

VA is range symmetricn=CVANGA=CVANA=CAVNA=CANA

Thus equivalence of 2 and 8 are proved.

39

AV is range symmetricn=CAVNAV=n=CAVNAV=CANA

Thus the equivalence of 3 and 9 is proved.

From the following example, it is clear that EP matrices in Minkowski space defined by Meenakshi3 and secondary range symmetric matrices are two different concepts.

Consider a matrix A=1111 where AS=1111. Note that, here the secondary transpose AS of the matrix A coincides with A. Clearly A is secondary range symmetric (i.e., NA=NAS. Here, A is secondary normal as well as ρA=ρAAS. However, the matrix is not range symmetric in Minkowski’s space since A+=GAG=1111. It is clear that NANA+.

In this example, the matrix A is secondary range symmetric, but not range symmetric in Minkowski space.

In the following example, B is range symmetric in Minkowski space. But it is not secondary range symmetric.

Let B=1111 and BS=1111. Clearly B is not secondary range symmetric.

Observe that B is range symmetric in Minkowski space. Since, B+=GBG=1111 so that NB=NB+.

These examples shows that secondary range symmetric matrices and range symmetric matrices in Minkowski inverse are two different matrices even though the proof techniques adopted here are similar.

Note that AS=VAV=VGA+GV.

A necessary condition for a matrix to be a S - EP (secondary range symmetric) is proved here.

Theorem 0.3

Let An×n. If A is secondary normal and ρA=ρAAS, then A is secondary range symmetric.

Proof 2

Since A is secondary normal, AAS=ASA. Hence ρA=ρAAS=ρASA=ρAS which implies NA=NAAS=NASA=NAS. Thus A is secondary range symmetric.

A relation connecting range symmetric and secondary range symmetric matrices is given below:

Theorem 0.4

Let An×n. Then any two of the following conditions imply the third one.

  • (1) A is EP.

  • (2) A is secondary EP.

  • (3) CA=CVA.

Proof 3

1,23

Since A is EP, CA=CA. By condition (7) of Theorem 0.2, CA=CVA as A is secondary range symmetric. Hence A is secondary EP CA=CVA.

(1), (3) ⇒ (2)

Since A is EP, CA=CA. Also, from (3) we have CA=CVA, which gives CA=CVA. Hence, by Theorem 0.2, A is secondary range symmetric.

2,31

Since A is S - EP, by condition (2) of Theorem 0.2, VA is range symmetric. Hence CVA=CVA=CAV=CA. Also, By (3), CA=CVA from which it follows that CA=CA. Hence A is range symmetric. Thus (1) holds.

For any square complex matrix A, there exists unique S- symmetric matrices such that A=M+iN where M=12A+AS and N=12iAAS. In the following theorem, an equivalent condition for a matrix A to be secondary range symmetric is obtained interms of M, the S-symmetric part of A.

Theorem 0.5

For An×n, A is secondary range symmetric if and only if NANM where M is the S - symmetric part of A.

Proof 4

If A is secondary range symmetric, then NA=NAS. For xNA, Ax=0 and ASx=0. Hence Mx=0. Thus, NANM, then Ax=0Mx=0 and hence Nx=0. Therefore NANN. Thus NANMNN. Since, both M and N are S-symmetric, they are secondary range symmetric.

NM=NMS=NVMV=NMV
and
NN=NNS=NVNV=NNV

Now, NANMNN=NMVNNVNM+iNV=NAV and ρA=ρA=ρAV. Therefore, NA=NAV=NVAV=NAS. Thus A is secondary range symmetric.

We shall discuss the existence of secondary generalized inverse inverse of a secondary range symmetric matrix. First, we shall prove certain lemmas, to simplify the proof of the main result.

Lemma 1

For an m×n matrix A, if AS exists, then CAS=CAS.

Proof 5

If AS exists, then ASA=ASAS=ASAASSASS and

AS=ASAAS=ASASSASCASCAS.

Further, ρAS=ρA=ρAS. Thus, CAS=CAS.

Lemma 2

For an m×n matrix A, if AS exists, then CAAS is the projection on CAS and ASA is the projection on CAS.

Proof 6

xCA if and only if x=Ay=AASAy=AASx. By definition 2, AAS being S - symmetric, idempotent is the projection on CA. Similarly, xCAS if and only if x=ASAASy=ASAx and ASA is S - symmetric and idempotent. Hence ASA is the projection on CAS.

Theorem 0.6

For an n×n matrix A, the following are equivalent:

  • (1) A is secondary range symmetric and ρA=ρA2.

  • (2) AS exists and AS is secondary range symmetric.

  • (3) There exists a symmetric idempotent matrix E such that AE=EA and CA=CE.

Proof 7

12. Since ρA=ρA2 and A is secondary symmetric, by using Theorem 0.2 we have, ρASA=ρBA2=ρA2=ρA and ρAAS=ρA2C=ρA2=ρA. Thus ρA=ρAAS=ρASA. Hence by Thoerem 0.1, it follows that AS exists, By Lemma 1 and Theorem 0.2, CAS=CAS=CA=CASS=CASS. Hence AS is range symmetric. Thus (2) holds.

23. Since AS exists, by Lemma 1, CAS=CAS, by equivalence of condition (1) and (5) of Theorem 0.2, AS is secondary range symmetric which implies that CAS=CASS. Hence CAS=CASS. By Lemma 2, it follows that ASASS=ASSAS, hence ASAS=AASS. By definition 2, ASA=AAS=E, is S-symmetric, idempotent and AE=EA=A; hence CACE and ρE=ρAAS=ρA, which implies CA=CE. Thus 3 holds.

31. Since, E is S - symmetric and idempotent, ES=E=E2, by lemma 1.1, ES exists and ES=E implies E is the projection on CA. For all reflexive g-inverses Ar of A, AAr=EES=E. Since E is S - symmetric and idempotent, AAr is S-symmetric. Hence by definition 7, An exists and AAn=EES=E which implies EA=A. By hypothesis AE=EA=A. Therefore AAn=AnA=E. Thus both AAn and AnA are S - symmetric. By definition 2, AS exists and E=AAS=ASA. By taking secondary transpose on AE=EA=A, we get EAS=ASE=AS. CASCE=CA and ρAS=ρA. Therefore CA=CAS. By theorem 0.2, A is secondary ramge symmetric. ρAASρAASASS=ρAASS, ρAE=ρAρAAS. Thus ρA=ρAAS=ρA2C=ρA2. Thus (1) holds. Hence the theorem.

Corollary 1

Let A be n×n secondary range symmetric matrix. Then exists AS if and only if ρA=ρA2.

Proof 8

Since A is secondary range symmetric and ρA=ρA2, the existence of AS follows from equivalence of (1) and (2) of Thereom 0.6. Conversly, if A is secondary range symmetric, and AS exists, then by equivalence of (2) and (3) of Theorem 0.1 ρA=ρAAS=ρASA and by Theorem 0.2, AS=AC. Hence ρA=ρAAC=ρA2.

Conclusion

In this article we defined and characterized the concept of secondary range symmetric matrices. The Moore Penrose inverse exists for any matrix. But, in the case of secondary generalized inverse this is not true. Here, we obtained a necessary condition for a secondary range symmetric matrix to have an s-g inverse. In fact this condition holds true for the existence of secondary generalized inverse for any matrix.

As an extension of this work, the sum of range symmetric matrices are discussed in Ref. 20. One can think of defining weighted secondary EP matrices and its characterizations. Also, extending secondary range symmetric matrix to indefinite inner product spaces will open up a new area of research.

Comments on this article Comments (0)

Version 2
VERSION 2 PUBLISHED 19 Feb 2024
Comment
Author details Author details
Competing interests
Grant information
Copyright
Download
 
Export To
metrics
Views Downloads
F1000Research - -
PubMed Central
Data from PMC are received and updated monthly.
- -
Citations
CITE
how to cite this article
Shenoy D. Secondary range symmetric matrices [version 2; peer review: 3 approved]. F1000Research 2024, 13:112 (https://doi.org/10.12688/f1000research.144171.2)
NOTE: If applicable, it is important to ensure the information in square brackets after the title is included in all citations of this article.
track
receive updates on this article
Track an article to receive email alerts on any updates to this article.

Open Peer Review

Current Reviewer Status: ?
Key to Reviewer Statuses VIEW
ApprovedThe paper is scientifically sound in its current form and only minor, if any, improvements are suggested
Approved with reservations A number of small changes, sometimes more significant revisions are required to address specific details and improve the papers academic merit.
Not approvedFundamental flaws in the paper seriously undermine the findings and conclusions
Version 2
VERSION 2
PUBLISHED 11 Sep 2024
Revised
Views
1
Cite
Reviewer Report 11 Oct 2024
Pankaj Kumar Manjhi, Department of Mathematics,, Vinoba Bhave University,, Hazaribag,, Jharkhand,, India 
Approved
VIEWS 1
The author has successfully addressed all the provided suggestions, resulting in a significantly improved manuscript. The revised version is now clearer, more comprehensible, and effectively presents the research. It is suitable for proceeding to the next stage of the publication ... Continue reading
CITE
CITE
HOW TO CITE THIS REPORT
Manjhi PK. Reviewer Report For: Secondary range symmetric matrices [version 2; peer review: 3 approved]. F1000Research 2024, 13:112 (https://doi.org/10.5256/f1000research.168149.r322688)
NOTE: it is important to ensure the information in square brackets after the title is included in all citations of this article.
Version 1
VERSION 1
PUBLISHED 19 Feb 2024
Views
13
Cite
Reviewer Report 08 Jun 2024
Mehsin Jabel Atteya, Department of Mathematics, Al- Mustansiriyah University, Falastin St, Baghdad, Iraq 
Approved
VIEWS 13
Dear Sir.,
My Report:
1. The Definitions 7, 8 and 9 need to provide examples.
2. In the proof of Theorem 0.4, where the prove of the case (1) and (3) implies to (2).
3. in ... Continue reading
CITE
CITE
HOW TO CITE THIS REPORT
Atteya MJ. Reviewer Report For: Secondary range symmetric matrices [version 2; peer review: 3 approved]. F1000Research 2024, 13:112 (https://doi.org/10.5256/f1000research.157925.r261048)
NOTE: it is important to ensure the information in square brackets after the title is included in all citations of this article.
  • Author Response 11 Sep 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    11 Sep 2024
    Author Response
    Comments and Responses:

    Comment 1: The Definitions 7, 8 and 9 need to provide examples.
    Response:  Definitions 7,8 and 9 are illustrated with examples- 1, 2 and 3 respectively.
    ... Continue reading
COMMENTS ON THIS REPORT
  • Author Response 11 Sep 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    11 Sep 2024
    Author Response
    Comments and Responses:

    Comment 1: The Definitions 7, 8 and 9 need to provide examples.
    Response:  Definitions 7,8 and 9 are illustrated with examples- 1, 2 and 3 respectively.
    ... Continue reading
Views
12
Cite
Reviewer Report 08 Jun 2024
Pankaj Kumar Manjhi, Department of Mathematics,, Vinoba Bhave University,, Hazaribag,, Jharkhand,, India 
Approved with Reservations
VIEWS 12
I am very delighted to see the scholarly interest in the study of range symmetric matrices. Here are my suggestions for improving the article:
  1. Some definitions (such as definition 1) are not clearly written and
... Continue reading
CITE
CITE
HOW TO CITE THIS REPORT
Manjhi PK. Reviewer Report For: Secondary range symmetric matrices [version 2; peer review: 3 approved]. F1000Research 2024, 13:112 (https://doi.org/10.5256/f1000research.157925.r274406)
NOTE: it is important to ensure the information in square brackets after the title is included in all citations of this article.
  • Author Response 11 Sep 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    11 Sep 2024
    Author Response
    Comments and Responses:

    Comment 1: Some definitions (such as definition 1) are not clearly written and need to be clarified for better understanding.
    Response: Definition 1 (of the secondary ... Continue reading
COMMENTS ON THIS REPORT
  • Author Response 11 Sep 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    11 Sep 2024
    Author Response
    Comments and Responses:

    Comment 1: Some definitions (such as definition 1) are not clearly written and need to be clarified for better understanding.
    Response: Definition 1 (of the secondary ... Continue reading
Views
27
Cite
Reviewer Report 28 Mar 2024
P Sam Johnson, National Institute of Technology Karnataka, Surathkal, Surathkal, Karnataka,, India 
Approved
VIEWS 27
The paper is well written.  It discusses secondary range symmetric matrices.  It should incorporate the following suggestions / corrections :
Minor points :
(i) First line of abstract should be "is" introduced.
(ii) No uniformity of symbol ... Continue reading
CITE
CITE
HOW TO CITE THIS REPORT
Johnson PS. Reviewer Report For: Secondary range symmetric matrices [version 2; peer review: 3 approved]. F1000Research 2024, 13:112 (https://doi.org/10.5256/f1000research.157925.r252908)
NOTE: it is important to ensure the information in square brackets after the title is included in all citations of this article.
  • Author Response 04 Apr 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    04 Apr 2024
    Author Response
    I thank reviewer 1 for the critical comments.

    The suggested corrections (typo errors) and the inclusion of latest references in the manuscript and their corresponding information in the body ... Continue reading
  • Author Response 11 Sep 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    11 Sep 2024
    Author Response
    Comments and Responses

    A. Response to Minor points :


    Comment (i): First line of abstract should be "is" introduced.
    Response: The correction has been incorporated.

    Comment (ii): No ... Continue reading
COMMENTS ON THIS REPORT
  • Author Response 04 Apr 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    04 Apr 2024
    Author Response
    I thank reviewer 1 for the critical comments.

    The suggested corrections (typo errors) and the inclusion of latest references in the manuscript and their corresponding information in the body ... Continue reading
  • Author Response 11 Sep 2024
    Divya Shenoy, Department of Mathematics, Manipal Institute of Technology, Manipal, Manipal Academy of Higher Education, Udupi, 576104, India
    11 Sep 2024
    Author Response
    Comments and Responses

    A. Response to Minor points :


    Comment (i): First line of abstract should be "is" introduced.
    Response: The correction has been incorporated.

    Comment (ii): No ... Continue reading

Comments on this article Comments (0)

Version 2
VERSION 2 PUBLISHED 19 Feb 2024
Comment
Alongside their report, reviewers assign a status to the article:
Approved - the paper is scientifically sound in its current form and only minor, if any, improvements are suggested
Approved with reservations - A number of small changes, sometimes more significant revisions are required to address specific details and improve the papers academic merit.
Not approved - fundamental flaws in the paper seriously undermine the findings and conclusions
Sign In
If you've forgotten your password, please enter your email address below and we'll send you instructions on how to reset your password.

The email address should be the one you originally registered with F1000.

Email address not valid, please try again

You registered with F1000 via Google, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Google account password, please click here.

You registered with F1000 via Facebook, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Facebook account password, please click here.

Code not correct, please try again
Email us for further assistance.
Server error, please try again.