Next Article in Journal
Backward Anticipated Social Optima: Input Constraints and Partial Information
Next Article in Special Issue
Enhancing Zero-Shot Learning Through Kernelized Visual Prototypes and Similarity Learning
Previous Article in Journal
Design of a Multi-Layer Symmetric Encryption System Using Reversible Cellular Automata
Previous Article in Special Issue
MeTa Learning-Based Optimization of Unsupervised Domain Adaptation Deep Networks
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Linear Jointly Disjointness-Preserving Maps Between Rectangular Matrix Spaces

1
Department of Applied Mathematics, National Chung Hsing University, Taichung 40227, Taiwan
2
General Education Center, National Taipei University of Technology, Taipei 10608, Taiwan
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(2), 305; https://doi.org/10.3390/math13020305
Submission received: 14 December 2024 / Revised: 14 January 2025 / Accepted: 15 January 2025 / Published: 18 January 2025

Abstract

:
This paper studies pairs of linear maps that preserve the disjointness of matrices in rectangular matrix spaces. We present a complete characterization of all pairs of bijective linear maps that jointly preserve disjointness. Additionally, we apply these results to study maps that preserve specific matrix properties, such as the double-zero product property.
MSC:
15A86; 15A60

1. Introduction

The study of linear preserver problems began with the pioneering work of Frobenius [1], who examined linear maps that preserve the determinant on matrix spaces. He established that any linear map ϕ : M n ( C ) M n ( C ) of n × n complex matrices that preserves the determinant, meaning that det ( A ) = det ( ϕ ( A ) ) , must take one of the forms of A P A Q or A P A T Q , where P , Q M n , and det ( P Q ) = 1 . Since then, this result has been extended in various directions and applied to topics such as rank preservers and zero product preservers (see, e.g., [2,3,4]).
In particular, some of the results in preserver problems on matrix spaces have been applied in quantum computing (see, e.g., [5,6,7,8,9,10,11,12,13]). In the mathematical framework of quantum computing, quantum states are density matrices, i.e., positive semidefinite matrices with trace one, and quantum channels (operators) are completely positive and trace-preserving linear maps. Unital qubit channels preserve the set of quantum states that form a basis of a qubit system, and Choi and Li characterized such maps in [11]. Additionally, Molnár and Szokol [12] gave a characterization of maps for quantum states which preserve the relative entropy. Furthermore, He, Yuan, and Hou [13] investigated surjective maps for quantum states that preserve the quantum entropy of convex combinations.
In recent years, the scope of preserver problems has naturally expanded to include the study of pairs of maps that are jointly preserving certain properties (see, e.g., [14,15,16,17,18,19,20,21,22]). For instance, Costara proved that if ϕ and ψ are maps from M n ( F ) , which is the set of n × n matrices over a field F with at least n 2 + 1 distinct elements into itself, and one of them is surjective so that det ( ϕ ( A ) + ψ ( B ) ) = det ( A + B ) for all A , B M n ( F ) , then there exist A 0 M n ( F ) and P , Q M n ( F ) with det ( P Q ) = 1 such that either ϕ ( A ) = P ( A + A 0 ) Q and ψ ( A ) = P ( A A 0 ) Q for all A M n ( F ) , or ϕ ( A ) = P ( A + A 0 ) T Q and ψ ( A ) = P ( A A 0 ) T Q for all A M n ( F ) .
Our focus is on a pair of linear maps that jointly preserve disjointness, a versatile concept that is applicable across various mathematical frameworks. The notion of disjointness is often described by using terms such as d-homomorphisms [23], Lamperti operators [24], or separating maps [25], depending on the structure of the spaces that are involved. For example, in *-algebra, disjointness for a pair of elements a and b has been defined in at least three ways: (i) a b = 0 (zero product); (ii) a * b = 0 (range orthogonality); and (iii) a b * = 0 (domain orthogonality). Leung, Tsai, and Wong [26] characterized linear disjointness preservers on W * -algebras, and Liu, Chou, Liao, and Wong [27] extended this analysis to A W * -algebras. Chebotar, Ke, Lee, and Wong [28] focused on mappings preserving zero products on C * -algebras. In vector-value function spaces, a pair of functions is said to be disjoint if at least one of them takes the value 0 at every point in their domain. Lau and Wong [29] studied orthogonality and disjointness-preserving linear maps between Fourier and Fourier–Stieltjes algebras of locally compact groups. Alaminos, Extremera, and Villena [30] investigated zero-product-preserving maps of Lipschitz functions, while Leung and Wang [31] examined disjointness-preserving operators on differentiable function spaces.
Let M m × n denote the set of m × n matrices over F = R or C , and let M n = M n × n . Two matrices, A , B M m × n , are said to be disjoint, denoted by
A B , if A B * = 0 m and A * B = 0 n .
Here, the adjoint A * of a rectangular matrix A is its conjugate transpose A T ¯ . For real matrices, A * reduces to A T , which is the transpose of A.
A pair of linear maps ϕ , ψ : M m × n M p × q is said to jointly preserve disjointness if ϕ ( A ) and ψ ( B ) are disjoint whenever A and B are disjoint; that is,
A B ϕ ( A ) ψ ( B )
If ϕ = ψ , Li, Tsai, Wang, and Wong proved in [32] that a linear map ϕ preserves disjointness; that is,
A B ϕ ( A ) ϕ ( B )
if and only if there are unitary matrices U M p and V M q and positive diagonal matrices Q 1 M r and Q 2 M s with Q 1 or Q 2 possibly being vacuous ( r = 0 or s = 0 ), so that
ϕ ( A ) = U A Q 1 0 0 0 A T Q 2 0 0 0 0 V for all A M m × n .
Here, A Q 1 means the tensor product of A and Q 1 .
In this paper, we focus on ϕ and ψ , which are bijective linear maps on M m × n that jointly preserve disjointness. The situation is quite different if ϕ and ψ are not bijective. For example, let ϕ , ψ : M 2 M 2 be defined by ϕ ( A ) = A E 11 and ψ ( A ) = A E 22 . Then, ϕ and ψ jointly preserve disjointness. In Section 2, we characterize the representation of ϕ and ψ , which are bijective linear maps that jointly preserve disjointness. In Section 3, using the results of the main theorem, we further explore several related topics. First, we derive the specific structure of ϕ in the special case where ϕ = ψ . Second, we establish that the inverse maps ϕ 1 and ψ 1 also jointly preserve disjointness. Lastly, we extend the discussion to maps that jointly preserve double-zero products.

2. Main Results

First, we assume that ϕ and ψ are bijective linear maps on M m × n and have the following main result:
Theorem 1.
Let ϕ , ψ : M m × n M m × n be bijective linear maps. Then, ϕ and ψ jointly preserve disjointness if and only if there exist invertible matrices P M m , Q M n , and α F so that either
ϕ ( A ) = P A Q a n d ψ ( A ) = α ( P * ) 1 A ( Q * ) 1
or
ϕ ( A ) = P A T Q a n d ψ ( A ) = α ( P * ) 1 A T ( Q * ) 1 , i f m = n
for all A M m × n .
The following example demonstrates that while the pair of linear bijective maps ϕ and ψ jointly preserve disjointness, neither ϕ nor ψ individually preserves disjointness.
Example 1.
Let ϕ , ψ : M 2 M 2 be defined by
ϕ ( A ) = 1 0 0 2 A 2 0 0 3 a n d ψ ( A ) = 2 0 0 1 A 3 0 0 2 .
Based on Theorem 1, ϕ and ψ are bijective linear maps that jointly preserve disjointness. Now consider the disjoint pair
A = 1 1 1 1 a n d B = 1 1 1 1 .
Based on a direct calculation, we have the following:
ϕ ( A ) * ϕ ( B ) = 12 18 18 27 0 2 a n d ψ ( A ) * ψ ( B ) = 27 18 18 12 0 2 .
Thus, ϕ ( A ) ϕ ( B ) and ψ ( A ) ψ ( B ) .
Let A M m × n . Denote the rank of A by rank A , and define S A = { B M m × n : A B } . It is straightforward to verify that S A is a subspace of M m × n .
Lemma 1.
Let A M m × n . If rank A = k , then the dimension of S A is given by
dim S A = ( m k ) ( n k ) .
Proof. 
Suppose that rank A = k . By singular value decomposition, the unitary matrices U M m and V M n exist so that
A = U C 1 0 0 0 ( m k ) × ( n k ) V *
where C 1 M k is a positive diagonal matrix. For any B S A ,
C 1 0 0 0 ( U * B V ) * = ( U * A V ) ( U * B V ) * = U * A V V * B * U = 0 m
and
C 1 0 0 0 * ( U * B V ) = ( U * A V ) * ( U * B V ) = V * A * U U * B V = 0 n ,
we can find that
B = U 0 k × k 0 0 C 2 V *
for an arbitrary C 2 M ( m k ) × ( n k ) . Thus,
dim S A = ( m k ) ( n k ) .
Lemma 2.
Let ϕ , ψ : M m × n M m × n be bijective linear maps that jointly preserve disjointness. Then, for any A M m × n with rank A = 1 , we have the following:
rank ϕ ( A ) = 1 a n d rank ψ ( A ) = 1 .
Proof. 
Since ψ is linear, ψ ( S A ) is a subspace of M m × n . Note that
S ϕ ( A ) = { B M m × n : ϕ ( A ) B } .
For each B S A , we have that ψ ( B ) S ϕ ( A ) . This implies that ψ ( S A ) S ϕ ( A ) and dim ψ ( S A ) dim S ϕ ( A ) . Since ψ is a bijective linear map, it follows that dim S A = dim ψ ( S A ) . Hence,
dim S A dim S ϕ ( A ) .
Now, suppose that rank A = 1 and rank ϕ ( A ) = k . Based on Lemma 1, we have that
dim S A = ( m 1 ) ( n 1 ) and dim S ϕ ( A ) = ( m k ) ( n k )
Based on (3), we derive the following:
dim S A = ( m 1 ) ( n 1 ) dim S ϕ ( A ) = ( m k ) ( n k ) .
This implies that k = 0 or 1. Since ϕ is bijective, we have that k = 1 , and ϕ preserves rank-one matrices. The proof for ψ is similar. □
In [4], it is shown that for any rank-one-preserving linear map Φ : M m × n M p × q , there exist invertible matrices P M p and Q M q so that one of the following four alternatives holds:
(i)
Φ ( A ) = P A Q , if ( p , q ) = ( m , n )
(ii)
Φ ( A ) = P A T Q , if ( p , q ) = ( n , m )
(iii)
Φ ( A ) = P ψ ( A ) 0 Q
where ψ : M m × n M p × 1 is a linear map so that ψ ( A ) 0 for all A M m × n with rank 1.
(iv)
Φ ( A ) = P ψ ( A ) 0 Q
where ψ : M m × n M 1 × q is a linear map so that ψ ( A ) 0 for all A M m × n with rank 1.
Proof of Theorem 1.
The ‘if’ part is obvious. We proceed to prove the ‘only if’ part. Based on Lemma 2, ϕ and ψ also preserve rank-one matrices. Since ϕ and ψ are bijective, neither ϕ nor ψ satisfies forms (6) or (7). First of all, we assume that m n . Then, there exist invertible matrices P , U M m and Q , V M n , so that
ϕ ( A ) = P A Q and ψ ( A ) = U A V
for all A M m × n . Let { E 11 , E 12 , , E m n } be the standard basis for M m × n . Write the following:
P = p 1 p 2 p m , Q = q 1 q 2 q n * ,
U = u 1 u 2 u m , V = v 1 v 2 v n * ,
with p i , u i F m and q i , v i F n denoting the column vectors of P, U, Q, and V, respectively. For i k , j l , and
ϕ ( E i j ) = P E i j Q = p i q j * and ψ ( E k l ) = U E k l V = u k v l * .
Since E i j E k l , we have that ϕ ( E i j ) * ψ ( E k l ) = 0 n and ϕ ( E i j ) ψ ( E k l ) * = 0 m . It follows that
ϕ ( E i j ) * ψ ( E k l ) = ( p i * u k ) q j v l * = 0 n
and
ϕ ( E i j ) ψ ( E k l ) * = ( q j * v l ) p i u k * = 0 m .
Thus,
p i * u k = 0 and q j * v l = 0 .
Let 2 i m . For any nonzero s 1 , s i , t 1 , t i F with s 1 ¯ t 1 + s i ¯ t i = 0 , the matrices
Z 1 = s 1 E 11 + s i E i 1 and Z 2 = t 1 E 12 + t i E i 2
are disjoint, and so are the matrices
ϕ ( Z 1 ) = P ( s 1 E 11 + s i E i 1 ) Q = s 1 p 1 q 1 * + s i p i q 1 *
and
ψ ( Z 2 ) = U ( t 1 E 12 + t i E i 2 ) V = t 1 u 1 v 2 * + t i u i v 2 * .
Based on a direct calculation,
ϕ ( Z 1 ) * ψ ( Z 2 ) = ( s 1 p 1 q 1 * + s i p i q 1 * ) * ( t 1 u 1 v 2 * + t i u i v 2 * ) = s 1 ¯ t 1 ( p 1 * u 1 p i * u i ) q 1 v 2 * = 0 n ,
and then, p 1 * u 1 = p i * u i .
Let 2 j n . For any nonzero x 1 , x j , y 1 , y j F with x 1 y 1 ¯ + x j y j ¯ = 0 , the matrices
Z 3 = x 1 E 11 + x j E 1 j and Z 4 = y 1 E 21 + y j E 2 j
are disjoint, and so are the matrices
ϕ ( Z 3 ) = P ( x 1 E 11 + x j E 1 j ) Q = x 1 p 1 q 1 * + x j p 1 q j *
and
ψ ( Z 4 ) = U ( y 1 E 21 + y j E 2 j ) V = y 1 u 2 v 1 * + y j u 2 v j * .
Based on a direct calculation,
ϕ ( Z 3 ) ψ ( Z 4 ) * = ( x 1 p 1 q 1 * + x j p 1 q j * ) ( y 1 u 2 v 1 * + y j u 2 v j * ) * = x 1 y 1 ¯ ( q 1 * v 1 q j * v j ) p 1 u 2 * = 0 m ,
and then, q 1 * v 1 = q j * v j .
Thus, we obtain the following:
P * U = p 1 p 2 p m * u 1 u 2 u m = k 1 I m ,
and
Q V * = q 1 q 2 q n * v 1 v 2 v n = k 2 I n ,
where k 1 = p 1 * u 1 , and k 2 = q 1 * v 1 . Therefore, we conclude that ϕ ( A ) and ψ ( A ) can be expressed in the desired forms with α = k 1 k 2 ¯ .
Now, for m = n , we need to consider the following three cases:
Case 1—There exist invertible matrices P , Q , U , and V M m so that
ϕ ( A ) = P A Q a n d ψ ( A ) = U A V .
Based on previous arguments, we obtain that
ϕ ( A ) = P A Q and ψ ( A ) = α ( P * ) 1 A ( Q * ) 1
where α F for all A M m .
Case 2—There exist invertible matrices P , Q , U , and V M m so that
ϕ ( A ) = P A T Q and ψ ( A ) = U A T V .
Based on similar arguments to the previous ones, we obtain that
ϕ ( A ) = P A T Q and ψ ( A ) = α ( P * ) 1 A T ( Q * ) 1
where α F for all A M m .
Case 3—There exist invertible matrices P , Q , U , and V M m so that
ϕ ( A ) = P A Q and ψ ( A ) = U A T V
(or ϕ ( A ) = P A T Q and ψ ( A ) = U A V ). Let p i , q i , u i , and v i F m be the column vectors of P, Q, U, and V, respectively. Since E 12 E 21 , we have that ϕ ( E 12 ) * ψ ( E 21 ) = 0 m . It follows that
ϕ ( E 12 ) * ψ ( E 21 ) = ( p 1 * u 1 ) q 2 v 2 * = 0 m , and p 1 * u 1 = 0 .
Let 2 l m . Since E 11 E 2 l , we have that ϕ ( E 11 ) * ψ ( E 2 l ) = 0 m . It follows that
ϕ ( E 11 ) * ψ ( E 2 l ) = ( p 1 * u l ) q 1 v 2 * = 0 m , and p 1 * u l = 0 .
Therefore,
p 1 * U = 0 m × 1 , and p 1 = 0 .
This contradicts the fact that p 1 is a column vector of the invertible matrix P. □
Remark 1.
In Theorem 1, if the condition that ϕ and ψ jointly preserve disjointness is replaced by the condition that
ϕ ( A ) ψ ( B ) w h e n e v e r A B
for all rank one A , B M m × n , then the conclusion is also valid with the same proof.
In the case where ϕ , ψ : M m × n M n × m , as in the proof of Theorem 1 and using form (5), we have the result presented below.
Remark 2.
Let ϕ , ψ : M m × n M n × m be bijective linear maps. Then, ϕ and ψ jointly preserve disjointness if and only if there exist invertible matrices P M n , Q M m , and α F so that
ϕ ( A ) = P A T Q a n d ψ ( A ) = α ( P * ) 1 A T ( Q * ) 1
or
ϕ ( A ) = P A Q a n d ψ ( A ) = α ( P * ) 1 A ( Q * ) 1 , i f m = n
for all A M m × n .
In the rest of this section, we apply Theorem 1 to investigate several related topics. First, we derive the specific structure of ϕ in the special case where ϕ = ψ .
Corollary 1.
Let ϕ : M m × n M m × n be a bijective linear map. Then, ϕ preserves disjointness if and only if there exist unitary matrices P M m , Q M n , and α > 0 so that either
ϕ ( A ) = α P A Q
or
ϕ ( A ) = α P A T Q , i f m = n
for all A M m × n .
Proof. 
The ‘if’ part is obvious. We proceed to prove the ‘only if’ part. Based on Theorem 1 with ϕ = ψ , first, we consider the form of (1); there exist invertible matrices P M m , Q M n , and α F so that
P A Q = α ( P * ) 1 A ( Q * ) 1 .
Then,
P * P A Q Q * = α A ,
for all A M m × n . For simplicity of notation, we write U and V instead of P * P and Q Q * , respectively. Then,
U A V = α A .
Note that U and V are Hermitian and invertible matrices. Notice that U is a positive definite, since ( P x ) * ( P x ) > 0 for any nonzero column vector x F m . Similarly, V is also a positive definite. Multiplying by V 1 on both sides of (8), we obtain that U A = α A V 1 . Taking the adjoint on both sides of (8), we obtain that α ¯ A * = V A * U . Thus, we obtain that
α ¯ U A A * = U A V A * U = α A A * U ,
for all A M m × n .
Now, we claim that U = c I m for some c > 0 . Let U = ( u i j ) 1 i , j m . Since α ¯ U A A * = α A A * U , by taking A A * = E k k for 1 k m , we obtain that
u i j = 0 , i j and α ¯ = α .
Take A A * = i , j = 1 m E i j . Since U A A * = A A * U and U is a positive definite, we obtain that
u i i = u j j > 0 , i j .
Similarly, V = d I n for some d > 0 .
Let P ^ = 1 c P and Q ^ = 1 d Q . Then, P ^ and Q ^ are unitary. Based on form (1), we conclude that
ϕ ( A ) = P A Q = c d P ^ A Q ^ ,
for all A M m × n . If m = n , based on form (2) and using a similar method, we have that
ϕ ( A ) = P A T Q = c d P ^ A T Q ^ ,
for all A M m . □
Second, under the bijectivity condition, we establish that the inverse maps ϕ 1 and ψ 1 also jointly preserve disjointness.
Corollary 2.
Let ϕ , ψ : M m × n M m × n be bijective linear maps that jointly preserve disjointness. Based on Theorem 1, there exist invertible matrices P M m , Q M n , and α F so that
ϕ 1 ( A ) = P 1 A Q 1 a n d ψ 1 ( A ) = 1 α P * A Q *
or
ϕ 1 ( A ) = P 1 A T Q 1 a n d ψ 1 ( A ) = 1 α P * A T Q * , i f m = n .
Again, based Theorem 1, we derive that ϕ 1 and ψ 1 also jointly preserve disjointness.
Lastly, we extend the discussion to maps that jointly preserve double-zero products. We assume bijective linear maps ϕ ^ , ψ ^ : M n M n that jointly preserve double-zero products; that is,
A B = B A = 0 n ϕ ^ ( A ) ψ ^ ( B ) = ψ ^ ( B ) ϕ ^ ( A ) = 0 n
for all A , B M n . Set the following:
ϕ ( A ) = ϕ ^ ( A ) and ψ ( B ) = ( ψ ^ ( B * ) ) * .
Suppose that A , B M n , with A ( B * ) * = 0 n , and A * B * = 0 n . Then, A B = B A = 0 n , and
ϕ ( A ) * ψ ( B * ) = ( ϕ ^ ( A ) ) * ( ψ ^ ( B ) ) * = ( ψ ^ ( B ) ϕ ^ ( A ) ) * = 0 n
and
ϕ ( A ) ( ψ ( B * ) ) * = ϕ ^ ( A ) ψ ^ ( B ) = 0 n .
Thus, ϕ and ψ are bijective linear maps that jointly preserve disjointness. So, we have the following remark:
Corollary 3.
Let ϕ ^ , ψ ^ : M n M n be bijective linear maps. Then, ϕ ^ and ψ ^ jointly preserve double-zero products if and only if there exist invertible matrices P , Q M n , and α F so that
ϕ ^ ( A ) = P A Q a n d ψ ^ ( A ) = α ¯ Q 1 A P 1
or
ϕ ^ ( A ) = P A T Q a n d ψ ^ ( A ) = α ¯ Q 1 A T P 1
for all A M n .

3. Conclusions

In this paper, we characterize the structure of the bijective linear maps ϕ and ψ that jointly preserve disjointness between rectangular matrix spaces. We demonstrate that ϕ and ψ are rank-one preservers. Based on the structure of linear rank-one-preserving maps, we derive Theorem 1. Notably, we extend the main result to maps that jointly preserve double-zero products, providing a foundation for the study of jointly preserving properties in linear maps.
Jointly disjointness-preserving problems that remove linearity or surjectivity are highly challenging. It would be interesting to relax these assumptions in our results. For instance, it would be valuable to investigate a version of Theorem 1 under the condition that ϕ and ψ jointly preserve disjointness, but that only one of the maps is surjective. Another direction involves studying the special case where ϕ = ψ is a non-linear map that preserves disjointness. Additionally, one may consider linear or non-linear preservers for other types of matrices, such as Hermitian, symmetric, or skew-symmetric matrix spaces. Furthermore, extending the study to the linear maps ϕ and ψ that preserve other properties—such as the rank, norm, or spectrum—could offer new insights into their structural characteristics.

Author Contributions

Formal analysis, R.-J.L., Y.-J.L., M.-C.T. and Y.-S.W. All authors have read and agreed to the published version of the manuscript.

Funding

M.-C. Tsai and Y.-S. Wang are supported by Taiwan NSTC grants 113-2115-M-027-003 and 113-2115-M-005-008-MY2, respectively.

Data Availability Statement

The original contributions presented in the study are included in the article, further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Frobenius, G. Über die Darstellung der endlichen Gruppen durch lineare Substitutionen. In Sitzungsberichte der Preussischen Akademie der Wissenschaften; Verlag der Akademie der Wissenschaften: Berlin, Germany, 1897; pp. 994–1015. [Google Scholar]
  2. Beasley, L.B.; Loewy, R. Rank preservers on spaces of symmetric Matrices. Linear Multilinear Algebra 1997, 43, 63–86. [Google Scholar] [CrossRef]
  3. Li, C.K.; Pierce, S. Linear preserver problems. Amer. Math. Mon. 2001, 108, 591–605. [Google Scholar] [CrossRef]
  4. Li, C.K.; Rodman, L.; Šemrl, P. Linear transformation between matrix space that map one rank specific set into another. Linear Algebra Appl. 2002, 357, 197–208. [Google Scholar] [CrossRef]
  5. Hou, J.; Qi, X. Linear maps preserving separability of pure states. Linear Algebra Appl. 2013, 439, 1245–1257. [Google Scholar] [CrossRef]
  6. Girard, M.; Leung, D.; Levick, J.; Li, C.K.; Paulsen, V.; Poon, Y.T.; Watrous, J. On the mixed-unitary rank of quantum channels. Commun. Math. Phys. 2022, 394, 919–951. [Google Scholar] [CrossRef]
  7. Filippov, S.N.; Magadov, K.Y. Positive tensor products of maps and n-tensor-stable positive qubit maps. J. Phys. A Math. Theor. 2017, 50, 055301. [Google Scholar] [CrossRef]
  8. Fosner, A.; Huang, Z.; Li, C.K.; Sze, N.S. Linear preservers and quantum information science. Linear Multliinear Algebra 2013, 61, 1377–1390. [Google Scholar] [CrossRef]
  9. Molnár, L. Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces; Springer: Berlin/Heidelberg, Germany, 2007. [Google Scholar]
  10. Molnár, L. Maps on states preserving the relative entropy. J. Math. Phys. 2008, 49, 032114. [Google Scholar] [CrossRef]
  11. Choi, M.D.; Li, C.K. On unital qubit channel. Quantum Inf. Comput. 2023, 23, 0562–0576. [Google Scholar] [CrossRef]
  12. Molnár, L.; Szokol, P. Maps on states preserving the relative entropy II. Linear Algebra Appl. 2010, 432, 3343–3350. [Google Scholar] [CrossRef]
  13. He, K.; Yuan, Q.; Hou, J. Entropy-preserving maps on quantum states. Linear Algebra Appl. 2015, 467, 243–253. [Google Scholar] [CrossRef]
  14. Abdelali, Z.E.A.; Aharmin, B. Multiplicatively spectrum preserving maps on rectangular matrices. Linear Multilinear Algebra 2021, 69, 3099–3111. [Google Scholar] [CrossRef]
  15. Bourhim, A.; Lee, J.E. Multiplicatively local spectrum-preserving maps. Linear Algebra Appl. 2018, 549, 291–308. [Google Scholar] [CrossRef]
  16. Bourhim, A.; Mashreghi, J.; Stepanyan, A. Maps between Banach algebras preserving the spectrum. Arch. Math. 2016, 107, 609–621. [Google Scholar] [CrossRef]
  17. Guterman, A.E.; Maksaev, A.M.; Promyslov, V.V. Pairs of maps preserving singularity on subsets of matrix algebras. Linear Algebra Appl. 2022, 644, 1–27. [Google Scholar] [CrossRef]
  18. Huang, H.; Tsai, M.C. Maps preserving trace of products of matrices. Linear Multilinear Algebra 2023, 71, 2963–2985. [Google Scholar] [CrossRef]
  19. Sady, F.; Tavani, M.N. Additive jointly separating maps and ring homomorphisms. Linear Multilinear Algebra 2022, 70, 2162–2177. [Google Scholar] [CrossRef]
  20. Sanguanwong, R.; Rodtes, K. Determinants Preserving Maps on the Spaces of Symmetric Matrices and Skew-Symmetric Matrices. Vietnam J. Math. 2024, 52, 129–137. [Google Scholar] [CrossRef]
  21. Miura, T.; Honma, D. A generalization of peripherally-multiplicative surjections between standard operator algebras. Cent. Eur. J. Math. 2009, 7, 479–486. [Google Scholar] [CrossRef]
  22. Costara, C. Nonlinear determinant preserving maps on matrix algebras. Linear Algebra Appl. 2019, 583, 165–170. [Google Scholar] [CrossRef]
  23. Abramovich, Y.A.; Veksler, A.; Koldunov, V. On operators preserving disjointness. Soviet Math. Dokl. 1979, 20, 1089–1093. [Google Scholar]
  24. Arendt, W. Spectral properties of Lamperti operators. Indiana Univ. Math. J. 1983, 32, 199–215. [Google Scholar] [CrossRef]
  25. Beckenstein, E.; Narici, L.; Todd, A.R. Automatic continuity of linear maps on spaces of continuous functions. Manuscr. Math. 1988, 62, 257–275. [Google Scholar] [CrossRef]
  26. Leung, C.W.; Tsai, C.W.; Wong, N.C. Linear disjointness preservers of W*-algebras. Math. Z. 2012, 270, 699–708. [Google Scholar] [CrossRef]
  27. Liu, J.H.; Chou, C.Y.; Liao, C.J.; Wong, N.C. Disjointness preservers of AW*-algebras. Linear Algebra Appl. 2018, 552, 71–84. [Google Scholar] [CrossRef]
  28. Chebotar, M.A.; Ke, W.F.; Lee, P.H.; Wong, N.C. Mappings preserving zero products. Stud. Math. 2003, 155, 77–94. [Google Scholar] [CrossRef]
  29. Lau, A.T.M.; Wong, N.C. Orthogonality and disjointness preserving linear maps between Fourier and Fourier-Stieltjes algebras of locally compact groups. J. Funct. Anal. 2013, 265, 562–593. [Google Scholar] [CrossRef]
  30. Alaminos, J.; Extremera, J.; Villena, A.R. Zero product preserving maps on Banach algebras of Lipschitz function. J. Math. Anal. Appl. 2010, 369, 94–100. [Google Scholar] [CrossRef]
  31. Leung, D.H.; Wang, Y.S. Compact and weakly compact disjointess preserving operators on spaces of differentiable functions. Trans. Amer. Math. Soc. 2013, 365, 1251–1276. [Google Scholar] [CrossRef]
  32. Li, C.K.; Tsai, M.C.; Wang, Y.S.; Wong, N.C. Nonsurjecctive maps between rectangular matrix spaces preserving disjointness, (zero) triple products or norm. J. Oper. Theory 2020, 83, 27–53. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Li, R.-J.; Lin, Y.-J.; Tsai, M.-C.; Wang, Y.-S. Linear Jointly Disjointness-Preserving Maps Between Rectangular Matrix Spaces. Mathematics 2025, 13, 305. https://doi.org/10.3390/math13020305

AMA Style

Li R-J, Lin Y-J, Tsai M-C, Wang Y-S. Linear Jointly Disjointness-Preserving Maps Between Rectangular Matrix Spaces. Mathematics. 2025; 13(2):305. https://doi.org/10.3390/math13020305

Chicago/Turabian Style

Li, Ru-Jheng, Yu-Ju Lin, Ming-Cheng Tsai, and Ya-Shu Wang. 2025. "Linear Jointly Disjointness-Preserving Maps Between Rectangular Matrix Spaces" Mathematics 13, no. 2: 305. https://doi.org/10.3390/math13020305

APA Style

Li, R.-J., Lin, Y.-J., Tsai, M.-C., & Wang, Y.-S. (2025). Linear Jointly Disjointness-Preserving Maps Between Rectangular Matrix Spaces. Mathematics, 13(2), 305. https://doi.org/10.3390/math13020305

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop