#### Abstract

We describe the structure of those transformations on certain sets of positive operators which preserve the *p*-norm of linear combinations with given nonzero real coefficients. These sets are the collection of all positive *p*th Schatten-class operators and the set of its normalized elements. The results of the work generalize, extend, and unify several former theorems.

#### 1. Introduction and Statement of the Results

The characterization of preserver transformations for a quantity assigned to tuples of elements of a given structure can be regarded as one of the main types of preserver problems. The related investigations concern a huge amount of problems, a fundamental one being the description of the isometries of metric spaces. Such maps of a normed space can be regarded as those transformations which preserve the norm of a particular linear combination of vectors in the space. However, one can consider the preservation of the norm of general linear combinations or of any other given linear combination.

In the case of general combinations, there are some results concerning the general form of the corresponding preservers on function spaces and on sets of linear operators. As for the former structures, in [1], Tonev and Yates studied the so-called norm-linear maps between uniform algebras. They called a transformation between such algebras norm-linear, if it preserves the supremum norm of all linear combinations of pairs of functions. According to one of their results [1, Theorem 20], any surjective norm-linear map between uniform algebras which satisfies some other quite weak properties is a composition operator and, therefore, is an isometric unital algebra isomorphism.

As for the setting of structures of linear operators, the problem of preserving the -norm of convex combinations of the elements in certain sets of operators has been studied in [2] (). These sets are the collection of the positive th Schatten-class operators on a complex Hilbert space and the set of the operators in of unit -norm. The results of the mentioned paper concern the general form of those maps on or on which preserve the -norm of all convex combinations. However, if we assume the preservation of the norm of only a fixed linear combination, then the description of the structure of the corresponding transformations may become much more difficult. As for this problem, in [3] the author proved two results related to the general form of the isometries of . Motivated mainly by the theorems in [2, 3], in this paper, we present several statements concerning the structure of those maps on or on which preserve the norm of linear combinations with fixed real coefficients.

Before formulating our results, we introduce the notation used throughout it. The symbol signifies a complex Hilbert space and stands for the algebra of all bounded linear operators acting on . Let be a real number. The usual trace functional is denoted by tr. An operator is termed th Schatten-class operator, if . The symbol stands for the set of such operators and we denote by the -norm which is defined by It is well-known that endowed with is a Banach space. The set of the positive operators in is signified by and stands for the collection of the elements of with -norm 1. The members of the set have a fundamental role in the mathematical description of quantum mechanics. They are called density operators and their collection is denoted by (we will also use this notation throughout the paper). These operators represent the quantum states of the quantum system to which corresponds. We remark that is a convex subset of .

After these preparations, we are in a position to present the theorems of the paper. In the rest of the work and denote fixed nonzero real numbers. Our first result concerns the structure of those maps on which preserve the -norm of the linear combinations with coefficients . It reads as follows.

Theorem 1. *Let be such that . Assume that is a map satisfying
**
Moreover, suppose that is bijective in the case . Then there is a unitary or an antiunitary operator on such that
*

Now, we mention two former results which can be obtained as immediate corollaries of this one. The first one is a theorem on the structure of those transformations on which preserve the so-called Helstrom’s measure of distinguishability (see, e.g. [4]). Helstrom’s measure of distinguishability of with respect to is

The result [4, Theorem 7] states that, if , then any completely positive trace preserving linear map on which preserves the latter quantity between the elements of with respect to any is of the form (3). This statement follows very easily from Theorem 1. The second result describes the structure of the bijective isometries of under the metric which comes from . This theorem was published in [5] and it asserts that those isometries are of the form (3). Clearly, the latter statement forms a particular case of Theorem 1.

In the rest of the section, denotes a fixed real number. Our next theorem is related to those transformations on which preserve the quantity . We remark that the last quantity is well-defined, since it is well-known .

Theorem 2. *Let and be nonzero real numbers such that . Furthermore, suppose that is a map satisfying
**
for all , and assume that is surjective in the case . Then there is a unitary or an antiunitary operator on such that is of the form (3).*

The following discussion is related to this theorem. In quantum information science, one of the most fundamental concepts is the entropy of quantum states. In fact, there are several notions of quantum entropy, for example, the -entropy (see, e.g. [6]). The -entropy of the quantum state represented by is defined by It is clear that the latter quantity equals . Now, assume that and . Then the last observation shows that the transformations with the property that (5) holds, for any , are the maps of which preserve the quantity . Therefore, in the previous case, Theorem 2 concerns the general form of those mappings of which preserve the -entropy of convex combinations with coefficients . The next result of the paper is related to the structure of those preservers of which satisfy (5) for each .

Theorem 3. *Let and be nonzero real numbers. Assume that is a map satisfying (5) for any and suppose that is surjective in the case . Then there is a unitary or an antiunitary operator on such that
*

This theorem is a common generalization of results in [2, 3]. In fact, according to [2, Theorem 1.1], the following statement holds.(i)Assume that is separable and that is a map which preserves the -norm of all convex combinations and which is surjective if . Then can be written in the form (7).

It is clear that forms a particular case of Theorem 3. As for the results in [3], they describe the structure of the surjective, respectively, nonsurjective isometries of in the case , respectively, (see Theorems 1 and 2 in [3]). They tell us that the corresponding isometries are of the form (7), a statement which is also a particular case of Theorem 3. The last three theorems of the paper form a counterpart of the previous one for preservers of . The following result is related to surjective transformations.

Theorem 4. *Let and be nonzero real numbers. Assume that is a surjective map satisfying (5) for any . Then there is a unitary or an antiunitary operator on such that
*

The first finite dimensional version of this theorem reads as follows.

Theorem 5. *Let and be nonzero real numbers such that . Moreover, suppose that and that is a map satisfying (5), for all . Then there is a unitary or an antiunitary operator on such that is of the form (8).*

It is mentioned in [2, Section 4] that holds also for preservers on . We remark that this statement is an immediate consequence of the preceding two theorems. The other finite dimensional version of Theorem 4 asserts the following.

Theorem 6. *Let and be nonzero real numbers such that . Furthermore, suppose that and that is a map satisfying (5) for each . Then there is a unitary or an antiunitary operator on and an operator such that
*

Concerning this theorem, observe the fact that clearly if , then . Therefore, in that case for any , the set is the cone of the positive operators on . Thus, we see that the previous theorem describes the structure of the isometries of this cone relative to the metric induced by the -norm.

We remark that the reverse implications in our results also hold true. Namely, in the case of an arbitrary theorem of the paper, those maps which are of the form appearing in that statement have the postulated preserver property. Theorems 3–6 describe the general form of those transformations which preserve the -norm of a linear combination of operators with given nonzero real coefficients in the case . However, in the case the corresponding description can be reduced to the previous case. In fact, let and be numbers; let be a class of operators and let be a map such that Then it is very easy to check that, for any , by putting in place of a suitable and in place of all other ’s, the above relation becomes an equality of the form (5) with some scalars which are independent of and .

#### 2. Proofs

In this section, we will use the following notation. We denote by the set of rank-one projections on . For any , the operator is defined by . Observe that for each unit vector the operator is a rank-one projection. In the proofs of the results of the paper, we will need the following lemmas.

Lemma 7. *Let be nonzero numbers. Then for any there is an injective function such that
*

*Proof. *By dividing the equation in Lemma 7 by , one can see that regarding the assertion, we may and do assume that and that . Therefore we have two cases.

In what follows, it will be assumed that . In this case, first let be different projections. In order to prove the lemma, we must compute the eigenvalues of . To determine the spectrum of this operator, let and , respectively, be a unit vector in the range of and , respectively. If we restrict to its range, then the matrix of the restriction with respect to the basis is
Using the formula , we deduce that the spectrum of this matrix is
Now, let . Since the nonzero eigenvalues of are the elements of the latter set, we have
Now, let the functions and be defined by
By the above observations, we conclude that, with the injective map , one has . It is clear that if and were equal, then this equality would also hold.

Now assume that . Then, let be different operators. In the same way as in the previous paragraph, we infer that the nonzero elements of the spectrum of are
Next, let . We deduce that
In this paragraph, we define the maps and by
Then, by differentiation we get that is strictly monotone and hence injective which yields that is injective. Furthermore, we clearly have . It is trivial that the latter relation is valid for equal projections and now the proof of the lemma is complete.

The following two assertions can be regarded as a kind of identification lemmas.

Lemma 8. *Let be a fixed real number. If are such that the equality
**
holds, for any , then .*

*Proof. *Pick an arbitrary density operator . Let stand for the cardinality of the set of all nonzero eigenvalues of . For any positive integer, we denote by the th largest eigenvalue of and by the corresponding eigensubspace. Define the function by
We are going to show that uniquely determines and . To do this, we assert that
and attains its minimum exactly for those rank-one projections on which project into . For the proof, let be arbitrary and pick a unit vector (in this paper rng denotes the range of linear operators). Choose an orthonormal basis in the orthogonal complement of . According to [7, Lemma 2.2.], for any and for each orthonormal basis in , we have . By applying this assertion to the operator and to the basis , we get
On the other hand, using the Cauchy-Schwarz inequality, it is easy to see that for any unit vector , we have and equality occurs exactly when . By the above observations, we deduce that and equality hold, if and only if . It is clear that this proves our assertion concerning the minimum of . We conclude that uniquely determines and .

By the previous paragraph and the conditions of the lemma, and . Then it follows that the restrictions of and to their invariant subspace are equal. Now, we have two possibilities. In the first case . Then, it is clear that both and are 0 on the orthogonal complement of and thus it follows that . In the second case . Then we easily infer
It is obvious that and the last displayed equality implies that for every , we have
Clearly, and
By applying what we have shown in the previous paragraph, by the above observations, it follows that the largest eigenvalues and the corresponding eigensubspaces of the last displayed operators are equal. This easily yields that and . Continuing the above procedure, we get that and that, for any positive integer , the equalities and hold. Using the spectral theorem, it then follows that and this completes the proof of the lemma.

We mention that in the case , Lemma 8 has an interesting geometrical content. Before presenting it, we recall the well-known fact that the extreme points of are the rank-one projections on . In the light of the latter claim, the mentioned case of the previous lemma can be reformulated as follows. Having endowed the space with the metric coming from , each operator in can be uniquely recovered from its distances to the extreme points of this set. The second identification lemma of the paper reads as follows.

Lemma 9. *Let and be fixed nonzero real numbers. If are self-adjoint operators such that and the equality
**
holds, for any , then .*

*Proof. *Let . It is clear that
Suppose that there is a projection such that at least one of the operators and is 0. Then it follows from the conditions of the lemma that . In the rest of the proof, we assume that and are nonzero for any . We mention that the main ideas of the following argument stem from the proof of [8, Theorem]. Fix arbitrarily a rank-one projection and a self-adjoint operator on and pick a number . By referring to (27), for the operator , we have
We are going to show that both sides of this equality are differentiable functions with respect to the variable ; moreover, we will determine their derivatives at 0. To this end, first consider the -norm as a map from the real Banach space of the self-adjoint elements of to . Using an argument similar to the proof of [9, Theorem 2.3], one can show that is Fréchet differentiable at any nonzero point , furthermore, for all ,
where is the partial isometry appearing in the polar decomposition of . Now let . Then it is easy to see that and therefore we infer that the Fréchet derivative of at is given by
It is obvious that the left-hand (right-hand) side of (28) is the composition of the -norm and of the function
It is easy to check that the derivative of the latter maps at 0 is and then it follows that we can take the differential quotients of both sides of (28) at 0 in order to get
where is the function defined by . Then by the conditions of Lemma 9, we deduce that

Next, let be an arbitrary unit vector and insert into the last displayed equality. In this way—by denoting by the operator , we obtain
Using the last displayed equality, we get
Now, let be arbitrary and put into this formula in order to obtain that
It means that is real which implies that ; that is, . Then it follows easily that is a scalar multiple of .

Consider a normalized eigenvector of . Then it is an eigenvector of and—by the previous paragraph—of . We infer that is an eigenvector of . One can check that is injective and then it follows that is an eigenvector of and, hence, . By the above observations, any eigenvector of is an eigenvector of and, in the same way, we deduce that the reverse statement also holds, so we conclude that and have the same set of eigenvectors. Since these operators are compact and self-adjoint, it follows that there is a countable set and an orthonormal system and one has numbers such that
Now, let be an arbitrary index and denote by the operator . By (27), we have
Using the previous observations and the fact that
we easily infer that
One can check that the function is strictly monotone and therefore injective. Now, it follows that and, since was arbitrary, we deduce that as stated in Lemma 9.

We remark that putting together the identification lemmas of the paper, we obtain a remarkable generalization of [3, Lemma]. The below assertion will be used several times in the proofs of our theorems. (*) If is a scalar and is a convex set, then any isometry of is affine.

Applying an argument which is very similar to the one employed in the second paragraph of the proof of [10, Theorem 1], one can show that the above assertion holds.

Observe that, since the role of and in the conditions of the theorems in the paper is symmetric, from now on we may and do assume that . The verification of our first result reads as follows.

*Proof of Theorem 1. *Since the signs of and are different, due to the absolute homogeneity of the -norm, it is clear that we may and do assume that . We assert that preserves orthogonality. As for the proof, according to [11, (2.2)], for any , we have
Now let and apply this equivalence to the operators ; in order to get that, one has exactly when
This obviously implies that preserves orthogonality.

Now, we have two cases. First suppose that . Then, since is bijective and it preserves orthogonality, it follows that the set is invariant under and is bijective. This assertion can be proved using an argument which is very similar to the one employed in the second paragraph of the proof of [12, Theorem 4]. Now by the preserver property of and Lemma 7, it follows that there is an injective function such that which implies that
Then, the famous theorem of Wigner (see, e.g. [13, page 12]) applies and we obtain that there exists a unitary or an antiunitary operator on such that
Next, assume that . Then, it is easy to check that. for any , we have exactly when belongs to a set of members of with pairwise products 0. It follows that leaves the set invariant and in the same way as in the previous case, we infer that (43) holds in this case. Then, by applying the nonsurjective version of the theorem of Wigner (cf., [13, Theorem .]), we get that one has a unitary or an antiunitary operator on such that can be written in the form (44) in the present case.

To complete the proof, let . Then by (44), for any , one has
from which we deduce that
Clearly, , thus it follows that Lemma 8 can be applied which gives us that . Since this holds, for all , we conclude that can be written in the desired form and now the proof of the theorem is complete.

Now we are going to verify the second result of the paper.

*Proof of Theorem 2. *First observe that, by putting equal operators into (5), we obtain that . Next, we assert that preserves orthogonality. As for the proof, let . Then we have
The first equivalence is an immediate consequence of [7, Lemma 2.6] and of the definition of -norms. The second one can be proved using an argument which is very similar to the one employed in the proof of [3, Equivalence 9]. Now, let . Then, plug and in the first or second equivalence in (47) (according to the signs of and ) to obtain that exactly when . Since leaves the -norm invariant, it then follows easily that preserves orthogonality.

Now, we assert that is injective. In fact, using the norm preserving property of , this follows immediately from the below characterizations for the equality of operators in . Let . In the case ,
To prove the nontrivial implication in this equivalence, assume that the latter two equalities hold. Then,
Since is strictly convex (see, e.g., [7, Theorem 2.4]), it then follows that equals multiplied by a positive number. We deduce that is a positive scalar multiple of which gives us that , completing the proof of the desired characterization. As for the case , if this condition is satisfied, then
We only have to show that, in this equivalence, the nontrivial implication holds. In order to prove it, suppose that the last two equalities are valid. In this case,
that is,
which, by the strict convexity of , yields that with some number . Then, it follows that equals multiplied by a positive scalar; thus as required. Now we conclude that in the case , the map is bijective.

We proceed in the same way as in the corresponding part of the proof of Theorem 1 in order to obtain that there is a unitary or an antiunitary operator on such that for any and
Clearly and hence Lemma 9 applies and we get that ; that is, . The proof of Theorem 2 is complete.

Theorem 3 can be proved using the previous argument (with the exception of its first sentence). We now turn to the verification of our fourth result.

*Proof of Theorem 4. *In the main part of the proof which follows, we are going to verify that is a positively homogeneous norm preserving map. In the course of the verification of this assertion, we will consider two cases.

In the first case, assume that . Then by inserting identical operators into (5), we see that leaves the norm of operators invariant. In particular, . In what follows, we are going to show that is positively homogeneous. To this end, let be a nonzero operator and let be a positive number. Now, let us consider three subcases. In the first one, assume that and that
Then using the norm preserving property of , we compute
and hence

There is a similar equality (51) in the second paragraph of the proof of Theorem 2. In the same way as in that part of the paper the last displayed relation yields that we have a number such that . Taking the norms of both sides of this relation, we get that which gives us that . In the second subcase where and
using an argument which is very similar to the one applied in the previous subcase, we obtain the same conclusion. As for the third subcase, let . Then in a similar fashion as in the proof of the first subcase, we deduce that
which implies that
with some scalar . Taking the norms of the sides of the latter equality, we obtain that which in turn yields that . Since sends 0 to 0, by what we have proved so far, we conclude that in the case , is positively homogeneous.

Now, we turn to the second case where . Then observe that is an isometry of with respect to the metric induced by the -norm. Referring to (*), we obtain that is affine. It is easy to see that the only extreme point of is 0 and, by the affinity and the surjectivity of , we infer that . This assertion has two consequences. On one hand, by the affinity of , we deduce that it is positively homogeneous. On the other hand, since is an isometry, it follows that .

By what we have proved so far, for any and , we have and . Now we deduce that preserves the elements of in both directions. Then, it is clear that leaves the set invariant; moreover, the restriction of to is a surjective map of this set. Therefore, we can apply Theorem 3 to this restriction in order to obtain that
with some unitary or antiunitary operator on . By the positive homogeneity of , it follows that this equality holds for all and now we are done.

Theorem 5 can be proved by applying the corresponding parts of the preceding proof. In what follows, we will verify the last result of the paper.

*Proof of Theorem 6. *Denote by the set of all positive operators on . Turning to the verification of Theorem 6, according to (*), the isometry is affine. Let and define the map by
It is clear that is affine and, since it sends 0 to 0, it follows that
and holds, for all and . We assert that maps into itself. To see this, let . By (62), the range of is closed with respect to multiplication by nonnegative scalars. Choose an arbitrary positive integer . On one hand, by referring to the latter fact, we obtain that . On the other hand, the elements of the range of are apparently greater than or equal to (with respect to the usual order between self-adjoint operators). Hence, we deduce that ; that is, , and then, by letting tend to , we infer that . Thus as required.

By what we have proved so far, we see that leaves the set invariant and therefore Theorem 3 applies and we get that
with some unitary or antiunitary operator on . Then referring to (62) it follows that this equality is valid for any and, by transforming back to , we obtain the statement of Theorem 6.

#### 3. Remarks

The scalars and in Theorems 1, 2, and 3 are not just arbitrary nonzero real numbers; they enjoy some additional properties. However, it is a natural question to ask whether the conclusion of the latter results remains true in the case where those properties are not postulated. As for Theorem 1, its consequence is no longer valid if . In fact, if the signs of and coincide, then any map of has the preserver property postulated in Theorem 1. Theorem 2 is valid also in the case . Observe that, in this case, the map appearing in it is an isometry of under the metric induced by the -norm. By [10, Theorem 1], in the case , such maps have the form (3). As for the infinite dimensional case, if , then, according to (*), is affine and therefore it is an affine bijection of . It is known (see, e.g, [13, page 13]) that such bijections have the form (3).

The results of the paper concern preservers on and . However, there is a space among the latter ones that does not appear in the previous parts of this work, namely, . So, for the sake of completeness, now, we deal with the maps having the property that (5) holds for any . Using arguments similar to the ones applied in the proofs of our theorems, it can be shown that, if , then such transformations are of the form . In the case , we have only partial results concerning those maps that preserve the quantity One of these is the following trivial assertion. If , then a transformation preserves the former quantity exactly when it leaves the trace invariant. However, it is clear that the structure of trace preserving maps on is completely irregular.

As for possible generalizations of our identification lemmas, we remark that if the requirement was omitted from the conditions of Lemma 9, then it would not hold true. In fact, assume that and denote by the identity operator on . Then it is very easy to check that, for the operators and , one has , for any . Turning to Lemma 8, we remark that it does not hold in the case , because then the equality condition appearing in that assertion is a tautology. Moreover, our conjecture is that, in the case , Lemma 8 is valid.

#### Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This research was supported by the European Union and the State of Hungary, cofinanced by the European Social Fund in the framework of TÁMOP-4.2.4.A/2-11/1-2012-0001 “National Excellence Program.” The author was supported by the “Lendület” Program (LP2012-46/2012) of the Hungarian Academy of Sciences and by the Hungarian Scientific Research Fund (OTKA) registration no. K81166 NK81402.