State Entropy and Differentiation Phenomenon

Abstract

In the formalism of quantum theory, a state of a system is represented by a density operator. Mathematically, a density operator can be decomposed into a weighted sum of (projection) operators representing an ensemble of pure states (a state distribution), but such decomposition is not unique. Various pure states distributions are mathematically described by the same density operator. These distributions are categorized into classical ones obtained from the Schatten decomposition and other, non-classical, ones. In this paper, we define the quantity called the state entropy. It can be considered as a generalization of the von Neumann entropy evaluating the diversity of states constituting a distribution. Further, we apply the state entropy to the analysis of non-classical states created at the intermediate stages in the process of quantum measurement. To do this, we employ the model of differentiation, where a system experiences step by step state transitions under the influence of environmental factors. This approach can be used for modeling various natural and mental phenomena: cell’s differentiation, evolution of biological populations, and decision making.

1. Introduction

In quantum theory, a state of a system is represented by a density operator. A density operator, e.g., $\rho$, can be decomposed into a weighted sum of (projection) operators representing “pure states”. This linear combination represents a statistical distribution of pure states in an ensemble of systems. However, the same density operator $\rho$ can be decomposed in various ways. Hence, numerous statistical state distributions are mathematically encoded by the same $\rho$, unless $\rho$ coincides with a pure state.

One class of these statistical distributions, namely, obtained from “Schatten decompositions” of $\rho$, plays a special role. We remark that, for a density operator with degenerate spectrum, Schatten decomposition is not unique. Any selection of orthogonal bases in eigensubspaces of $\rho$ generates some Schatten decomposition. Each Schatten decomposition corresponds to the statistical distribution of eigenstates of $\rho$. The crucial point is that these eigenstates may be distinguishable on the basis of measurement of some physical quantity X, because these states are orthogonal to each other. The eigenvalues are interpreted as the frequency probabilities of the measurement outcomes. In this sense, the distribution corresponding to the concrete Schatten decomposition of the density operator $\rho$ is conceptually equivalent to a “classical” or “standard” probability distribution.

On the other hand, other decompositions of the same state $\rho$ are “non-classical” or “non-standard” and represent ensembles of pure states which may be not orthogonal to each other. In Section 2, we discuss these points in more detail.

The main topic of this paper is a quantity that evaluates structural features of various statistical state distributions encoded in the same density operator $\rho$. It is well-known that the von Neumann entropy [1,2], defined as $-\rho \log \rho$, can evaluate how $\rho$ deviates from a pure state, i.e., the degree of mixture of pure states. In fact, $-\rho \log \rho$ can be rewritten as ${\sum }_k-{\lambda }_k\log {\lambda }_k$, where $\{{\lambda }_k\}$ are eigenvalues of $\rho$. It equals to zero if and only if $\rho$ is a pure state. Note that the quantity ${\sum }_k-{\lambda }_k\log {\lambda }_k$ is the Shannon entropy for classical probability distribution $\{{\lambda }_k\}$. Thus, the von Neumann entropy evaluates only the classical distribution encoded in $\rho$, but not non-classical ones.

In this paper, we define a quantity such that more detailed information about the structure of statistical state distributions, especially non-classical ones, is reflected. Our discussion is fundamental, but straightforward. First, in Section 3, we mention the “differentiation phenomenon” which an ensemble of pure states experiences under a quantum measurement of some physical observable, say $X$. Each pure state is stochastically differentiated into an eigenstate of X. If pure states in the statistical ensemble are different, the expectation values of X estimated from each of them are also generally different. In Section 4, we focus on dispersion of these expectation values and discuss its mathematical property reflecting structural features of the state distribution. Finally, in Section 5, we define a “state entropy” (see Equation (17)). This quantity evaluates the “diversity” of pure states constituting an ensemble. It is proportional to the number of pure states and inversely proportional to similarities among them.

We also point to the interrelation between the state entropy and the von Neumann entropy. It can be briefly described in the following way. If a state distribution, which is encoded in $\rho$, is classical, then its state entropy is equal to the von Neumann entropy. The state entropies of non-classical state distributions do not exceed the latter; see the inequality of Equation (18): The state entropy is a generalization of von Neumann entropy which is extensively used in different types of quantum entropies, e.g., conditional, relative and mutual entropies [3,4,5].

State entropy evaluates non-classical statistical state distributions. To stress significance of the notion of state entropy, we explain the theoretical context of state distributions. We note that classical state distributions are always identified after completion of quantum measurements. Therefore, non-classical distributions may exist at the stages before measurements are completed, more generally, in the process of differentiation.

In Section 6, we focus on the model of differentiation that was discussed in Reference [6]. This model describes accumulation of very small state transitions experienced by the system, and each transition is mathematically represented by a map in the state space, i.e., by a “quantum channel” in the terminology of quantum information theory. A quantum channel denoted by ${\Lambda }^{\ast }$ is given by Equation (28), which is concerned with “environmental elements” around the system. They are weakly interacting with the system causing numerous small state transitions step by step, if differentiations of states occur sequentially. The above picture corresponds to an ideal “open quantum system dynamics”. To describe the process of differentiation in the system, we consider a more complicated model, assuming differentiations not only of the system state, but also in the elements of the environment. The differentiation in each environmental element is similar to the determination of a “pointer basis” in the theory of quantum decoherence proposed by Zurek [7]. In our approach, the Lindblad equation [8,9], which is a traditional way to describe open quantum system dynamics, is not employed directly.

We believe that the described model can be applicable to a variety of natural and mental phenomena (not only in the micro-world). The process of creation of a diversity of states in an ensemble of systems, which were originally prepared in the same pure state $\Psi$, through mutual interaction with environmental factors is universal. Originally, the formalism of quantum theory was established to describe microscopic phenomena, but now it is widely used in psychology, decision making, and finance (see [10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38]). It is also applied to model behavior of biological systems, especially the functioning of genetic and epigenetic systems (see [39,40,41,42,43,44,45,46]). We plan to explore the novel mathematical apparatus developed in this paper (based on the state entropy) for such applications elsewhere.

In psychology, there has been extensive interest in employing classical entropy for quantifying uncertainty, e.g., in decision making (entropy minimization was used to model decision biases in [47]), categorization (as a way to formalize intuitions in spontaneous grouping [48]), and learning [49,50]. We plan to apply the apparatus of the quantum state entropy to these problems.

As shown in Figure 1, the accumulation of transitions generated by channel ${\Lambda }^{\ast }$ represents an ideal differentiation process realized in the system. Further, in this modeling, non-classical state distributions in the intermediate stages are identified (see Equations (29)–(31)). We analyze them by means of the state entropy (see Figure 2 and Figure 3).

2. State Representation by Density Operator

If a physical quantity X is measurable in a system, the frequency probabilities $\{P(x)\}$ for observed values $\{x\}$ may be estimated. Then, the quantity X is a “stochastic variable” in terms of probability theory, and the distribution $\{P(x)\}$ is a “state of the system” which can be analyzed, e.g., by calculating the expectation value $E(X)$ or dispersion $V(X)=E(X^2)-{(E(X))}^2$, as is usual in statistics.

The mathematical framework of quantum theory includes probability theory, where classical concepts of stochastic variables and probability distribution are expanded using the notion of “operator”. Firstly, a physical quantity is defined in the form of

$$X={\displaystyle \sum _{k=1}^M}{x}_k\left|x_k\right.〉\left.〈x_k\right|.$$

(1)

This is a Hermitian operator in Hilbert space $\mathcal{H}={\mathbb{C}}^M$ with real eigenvalues $x_k\in \mathbb{R}(k=1,2,\cdots ,M)$ and eigenvectors $\{\left|x_k\right.〉\}$. (A vector $\left|x\right.〉\in \mathcal{H}$ whose norm is 1 is called ket-vector, and $\left.〈x\right|$, which is Hermitian conjugate of $\left|x\right.〉$, i.e., ${\left|x\right.〉}^{†}=\left.〈x\right|$, is called bra-vector.) The form of Equation (1) implies that after a non-degenerate value $x_k$ is observed, the system under the measurement has the definite (pure) state represented by the operator $\left|x_k\right.〉\left.〈x_k\right|$. Note that the trace of product of X and $\left|x_k\right.〉\left.〈x_k\right|$ is equal to $x_k$;

$$Tr(X\left|x_k\right.〉\left.〈x_k\right|)=\left.〈x_k\right|X\left|x_k\right.〉=x_k.$$

For the calculation, the orthogonality of vectors, i.e., $〈x_k|x_{k^{\prime }}〉=0$ if $k\ne k^{\prime }$, is used. Next, using the pure states $\{\left|x_k\right.〉\left.〈x_k\right|\}$, let us construct the operator:

$$\rho ={\displaystyle \sum _{K=1}^M}P(x_k)\left|x_k\right.〉\left.〈x_k\right|.$$

(2)

where $\{P(x_k)\}$ corresponds to the frequency probabilities of the observed values $\{x_k\}$, and, in fact, the trace of $X\rho$ is equal to the expected value $E(X)$;

$$Tr(X\rho )=E(X).$$

(3)

Mathematically, $\rho$ is a Hermitian matrix satisfying $Tr(\rho )=1$ and $\left.〈x\right|\rho \left|x\right.〉\ge 0,\forall x\in \mathcal{H}={\mathbb{C}}^M$. Such operator is called density operator and used for representing a statistical mixture of pure states (a mixed state). A density operator may be given in the form of Schatten decomposition, i.e., represented as a diagonal matrix:

$${\displaystyle \sum _{k=1}^M}{\lambda }_k\left|{\varphi }_k\right.〉\left.〈{\varphi }_k\right|,$$

(4)

where $\{{\lambda }_k\ge 0\}$ are the eigenvalues of the matrix (the same as probabilities $\{P(x_k)\}$ of $\rho$), and $\{\left|{\varphi }_k\right.〉\in \mathcal{H}={\mathbb{C}}^M\}$ are the corresponding eigenvectors (the same as $\left|x_k\right.〉$ of $\rho$). From Equation (4), one can obtain a picture of statistical mixture of $\{\left|{\varphi }_k\right.〉\left.〈{\varphi }_k\right|\}$. (This mixture is denoted by $\{{\varphi }_k,{\lambda }_k\}$ hereafter.) As can be seen from the construction of $\rho$ in Equation (2), to give a Schatten decomposition is conceptually equivalent to giving a probability distribution of measurement of some physical quantity. In this sense, the state distribution $\{{\varphi }_k,{\lambda }_k\}$ is “classical”. We have to point out here that decomposition of density operator is not unique, generally: By considering various linear combinations of $\{\left|{\varphi }_k\right.〉\}$, one can find a set of vectors $\{\left|{\Psi }_i\right.〉,i=1,\cdots N\}$, which satisfies

$${\displaystyle \sum _{k=1}^M}{\lambda }_k\left|{\varphi }_k\right.〉\left.〈{\varphi }_k\right|={\displaystyle \sum _{i=1}^N}{P}_i\left|{\Psi }_i\right.〉\left.〈{\Psi }_i\right|,{\displaystyle \sum _{i=1}^N}{P}_i=1.$$

(5)

Note that $N\ge M$ and the vectors $\{\left|{\Psi }_i\right.〉\in \mathcal{H}={\mathbb{C}}^M\}$ need not be orthogonal to each other, that is, they need not be eigenstates of a single physical quantity: the state distribution $\{{\Psi }_i,P_i\}$ is “non-classical”. There exist numerous state distributions corresponding to same density operator, other than $\{{\varphi }_k,{\lambda }_k\}$ and $\{{\Psi }_i,P_i\}$, and they are non-classical.

3. Differentiation Phenomenon in Quantum Measurement Process

As shown in Equation (3), for the density operator

$$\rho ={\displaystyle \sum _{K=1}^M}P(x_k)\left|x_k\right.〉\left.〈x_k\right|,$$

where $\{\left|x_k\right.〉\left.〈x_k\right|\}$ are the eigenstates of X, $Tr(X\rho )={\sum }_{k=1}^{M}P(x_k)x_k=E(X)$ is satisfied. In this section, noting the non-uniqueness of decomposition of density operator, we mention the meaning of $Tr(X\rho )$ that has not been discussed in the classical theory. Let us consider a different decomposition, $\rho ={\sum }_{i=1}^N{P}_i\left|{\Psi }_i\right.〉\left.〈{\Psi }_i\right|$, that is, we assume the existence of non-classical state distribution $\{{\Psi }_i,P_i\}$. Then, $Tr(X\rho )$ is described as the statistical average of the averages $\{{\langle X\rangle }_{{\Psi }_i}=Tr(X\left|{\Psi }_i\right.〉\left.〈{\Psi }_i\right|)\}$ of observable X with respect to the pure states $\{{\Psi }_i\}:$

$$Tr(X\rho )={\displaystyle \sum _{i=1}^N}{P}_i{\langle X\rangle }_{{\Psi }_i}.$$

(6)

Each term, e.g., ${\langle X\rangle }_{\Psi }$, in the above is expanded as

$${\langle X\rangle }_{\Psi }={\displaystyle \sum _{k=1}^M}{x}_k{|〈\Psi |x_k〉|}^2.$$

(7)

(${\sum }_{k=1}^M{|〈\Psi |x_k〉|}^2=1$ is satisfied.) The square of inner product $|〈\Psi |x_k〉{|}^2$ is frequently called “transition probability”. It is related to a problem of measurement that has been discussed in the quantum theory. In the concept of quantum measurement, the existence of the measurement device is considered first, because it is assumed that some interaction between the device and the system realizes the measurement of a physical quantity. Due to the interaction, the initial state of system $\left|\Psi \right.〉\left.〈\Psi \right|$ is transferred to one of $\{\left|x_k\right.〉\left.〈x_k\right|\}$, and the values of $\{x_k\}$ can be read out from the device. If ${\langle X\rangle }_{\Psi }={\sum }_{k=1}^M{x}_k{|〈\Psi |x_k〉|}^2$ means the average of outputs, the value of $|〈\Psi |x_k〉{|}^2$ corresponds to the probability of transition from $\left|\Psi \right.〉\left.〈\Psi \right|$ to $\left|x_k\right.〉\left.〈x_k\right|$.

We interpret the process of quantum measurement as a sort of “differentiation”, in which a group of systems in one initial state is divided into groups having different states by means of external or environmental factors. The expected value of ${\langle X\rangle }_{{\Psi }_i}$ comes from one differentiation denoted by ${\Psi }_i\to \{x_k\}$, and the value of $Tr(X\rho )={\sum }_{i=1}^N{P}_i{\langle X\rangle }_{{\Psi }_i}$ is to be calculated supposing a statistical mixture of M kinds of differentiations, $\{{\Psi }_i\to \{x_k\}\}(i=1,\cdots ,M)$.

4. Characteristic Quantity of State Distribution

We assume a definitive state distribution denoted by $\{{\Psi }_i,P_i\}$ is given, and the calculations of $\{{〈X〉}_{{\Psi }_i}\}$ are possible. The average of $\{{〈X〉}_{{\Psi }_i}\}$, i.e., ${\sum }_{i=1}^N{P}_i{〈X〉}_{{\Psi }_i}=Tr(X\rho )$ depends only on the density operator $\rho$, in which $\{{\Psi }_i,P_i\}$ is encoded. A statistical quantity reflecting more detailed information on the structure of $\{{\Psi }_i,P_i\}$ is dispersion of $\{{〈X〉}_{{\Psi }_i}\},$ formulated as

$$V(\{{〈X〉}_{{\Psi }_i},P_i\})={\displaystyle \sum _{i=1}^N}{P}_k{〈X〉}_{{\Psi }_i}^2-{\left({\displaystyle \sum _{i=1}^N}{P}_i{〈X〉}_{{\Psi }_i}\right)}^2={\displaystyle \sum _{i=1}^N}{P}_i{\langle X\rangle }_{{\Psi }_i}^2-{\left(Tr(X\rho )\right)}^2.$$

(8)

Below, we prove the inequality

$$V(\{x_i,P(x_i)\})\ge V(\{{〈X〉}_{{\Psi }_i},P_i\}),$$

(9)

where $V(\{x_i,P(x_i)\})$ is the dispersion of observable X, i.e., its dispersion with respect to the probability distribution encoded in the Shatten decomposition (see Equation (1)), corresponding to the spectral decomposition of the observable X (see Equation (2)). Thus, the probability distribution corresponding to the spectral decomposition of X maximizes the dispersions with respect to decompositions in Equation (5). The inequality for dispersions can be interpreted by the theory of weak measurements. The quantities ${〈X〉}_{{\Psi }_i}$ can be interpreted as weak values. In this framework, the inequality in Equation (9) simply means that dispersion of a weak measurement is always majorized by dispersion of the “maximally disturbing measurement”, represented by a Hermitian operator. At the same time, we are aware that interpretation of weak values is a complex foundational problem of itself.

To prove the inequality in Equation (9), let us consider the first term given by

$$D(\{{〈X〉}_{{\Psi }_i},P_i\})={\displaystyle \sum _{i=1}^N}{P}_i{\langle X\rangle }_{{\Psi }_i}^2.$$

(10)

Let us note the following inequality

$${\displaystyle \sum _{k=1}^M}\left.〈x_k\right|\rho \left|x_k\right.〉{(x_k)}^2\ge D(\{{〈X〉}_{{\Psi }_i},P_i\})\ge {\left(Tr(X\rho )\right)}^2.$$

(11)

which follows from the convexity of $y=x^2$, because

$${\displaystyle \sum _{i=1}^N}{P}_i{\langle X\rangle }_{{\Psi }_i}^2\ge {\left(Tr(X{\displaystyle \sum _{i=1}^N}{P}_i\left|{\Psi }_i\right.〉\left.〈{\Psi }_i\right|\right)}^2={\left(Tr(X\rho )\right)}^2,$$

(12)

and since

$${\displaystyle \sum _{i=1}^N}{P}_i{\langle X\rangle }_{{\Psi }_i}^2={\displaystyle \sum _{i=1}^N}{P}_i{\left({\displaystyle \sum _{k=1}^M}{x}_k{\left|〈x_k|{\Psi }_i〉\right|}^2\right)}^2$$

where $X={\sum }_{k=1}^M{x}_k\left|x_k\right.〉\left.〈x_k\right|$, one can see

$${\displaystyle \sum _{i=1}^N}{P}_i{\langle X\rangle }_{{\Psi }_i}^2\le {\displaystyle \sum _{i=1}^N}{\displaystyle \sum _{k=1}^M}{P}_i{\left|〈x_k|{\Psi }_i〉\right|}^2{(x_k)}^2={\displaystyle \sum _{k=1}^M}\left.〈x_k\right|\rho \left|x_k\right.〉{(x_k)}^2.$$

(13)

Such inequality can be derived with the use of other convex functions, not limited to $y=x^2$. Even if the dispersion V is defined as

$$V(\{{〈X〉}_{{\Psi }_i},P_i\})={\displaystyle \sum _{i=1}^N}{P}_{i}f({\langle X\rangle }_{{\Psi }_i}))-f(Tr(X\rho )),$$

(14)

using another convex function, e.g., $f(x)$, the result holds true, that is, the inequality

$${\displaystyle \sum _{k=1}^M}\left.〈x_k\right|\rho \left|x_k\right.〉f(x_k)-f(Tr(X\rho ))\ge V(\{{〈X〉}_{{\Psi }_i},P_i\})\ge 0,$$

(15)

is satisfied.

We redefine the first term D of Equation (10) as

$$D(\{{〈X〉}_{{\Psi }_i},P_i\})={\displaystyle \sum _{i=1}^N}{P}_{i}f({\langle X\rangle }_{{\Psi }_i})).$$

(16)

As discussed in the next section, we believe that, under proper choices of X and $f(x)$, this D itself becomes a quantity that captures structural features of $\{{\Psi }_i,P_i\}$.

5. State Entropy

In this section, we consider D of Equation (16) in the case of $X=\rho$ and $f(x)=-\log x$:

$$D(\{{〈\rho 〉}_{{\Psi }_i},P_i\})=-{\displaystyle \sum _{i=1}^N}{P}_i\log {〈\rho 〉}_{{\Psi }_i}.$$

(17)

Here, we fix the state distribution $\{{\Psi }_i,P_i\}$ for the density operator $\rho ,$ and $y=-\log x$ is our choice of a convex function. What does the above D tell us about $\{{\Psi }_i,P_i\}$? To discuss this question, we first focus on the term of $Tr(\rho \left|{\Psi }_i\right.〉\left.〈{\Psi }_i\right|)={〈\rho 〉}_{{\Psi }_i}$. Since

$${〈\rho 〉}_{{\Psi }_i}=P_i+\sum _{j\ne i}{P}_j{|〈{\Psi }_i|{\Psi }_j〉|}^2,$$

$$1>{〈\rho 〉}_{{\Psi }_i}\ge P_i,$$

is satisfied. One can see, ${〈\rho 〉}_{{\Psi }_i}=P_i$ if all the vectors $\{\left|{\Psi }_{j\ne i}\right.〉\}$ are orthogonal to $\left|{\Psi }_i\right.〉$, and ${〈\rho 〉}_{{\Psi }_i}=1$ if all $\{\left|{\Psi }_{j\ne i}\right.〉\}$ are parallel to $\left|{\Psi }_i\right.〉$. Based on this, we interpret ${〈\rho 〉}_{{\Psi }_i}$ as a degree of “similarity” of $|{\Psi }_i\rangle \langle {\Psi }_i|$ and $\rho .$ This interpretation of quantity ${〈\rho 〉}_{{\Psi }_i}$ as the degree of similarity can also be illustrated by the representation of the operators $|{\Psi }_i\rangle \langle {\Psi }_i|$ and $\rho$ as vectors in the Hilbert space of Hilbert–Schmidt operators endowed with the scalar product $\langle A|B\rangle =Tr{A}^{☆}B.$ We start with the remark that $\langle A|B\rangle =\cos {\theta }_{AB}{\parallel A\parallel }_2{\parallel B\parallel }_2$, where ${\parallel ·\parallel }_2$ is the Hilbert–Schmidt norm; we also remark that, for a self-adjoint operator ${A,\parallel A\parallel }_2=Tr{A}^2$. In particular, the norm of any pure state and the norm of any projector are equal to one. We have

$$\langle |{\Psi }_i\rangle \langle {\Psi }_i||\rho \rangle =Tr\left({\displaystyle \sum _j}{P}_j|{\Psi }_i\rangle \langle {\Psi }_i||{\Psi }_j\rangle \langle {\Psi }_j|\right)={〈\rho 〉}_{{\Psi }_i}.$$

Hence,

$${〈\rho 〉}_{{\Psi }_i}=\cos \theta Tr{\rho }^2,$$

where $\theta$ is the angle between the vectors $|{\Psi }_i\rangle \langle {\Psi }_i|$ and $\rho$. The scaling coefficient $Tr{\rho }^2$ is the purity of the state $\rho$.

Further, noting that $y=-\log x$ is a monotonically decreasing function, we interpret $-\log {〈\rho 〉}_{{\Psi }_i}=-\log \cos \theta -\log Tr{\rho }^2$ as a degree of orthogonality between the vectors $|{\Psi }_i\rangle \langle {\Psi }_i|$ and $\rho .$ We note that the following inequality is satisfied: $-\log P_i\ge -\log ({〈\rho 〉}_{{\Psi }_i})>0$.

In general, any convex and monotonically decreasing function is allowed as $f(x)$. The average of orthogonality $-\log {〈\rho 〉}_{{\Psi }_i}$, i.e., ${\sum }_{i=1}^N{P}_i(-\log {〈\rho 〉}_{{\Psi }_i})$ corresponds to D of Equation (17). Generally, the value of D will increase in proportion to the number of states and decrease in proportion to similarities among them. That is why we call the value D “state diversity” or “state entropy”.

The following inequality shows the significance of state entropy D:

$${\displaystyle \sum _{k=1}^M}{\lambda }_k(-\log {\lambda }_k)\ge D(\{{〈\rho 〉}_{{\Psi }_i},P_i\})\ge -\log (Tr({\rho }^2)).$$

(18)

It can be derived with the use of convexity of $y=-\log x$, in a similar way as derivation of Equation (11). In the above form, $\{{\lambda }_k\}$ are the eigenvalues of $\rho ={\sum }_{k=1}^M{\lambda }_k\left|{\varphi }_k\right.〉\left.〈{\varphi }_k\right|$. The term of ${\sum }_{k=1}^M{\lambda }_k(-\log {\lambda }_k)$ in the left-hand side corresponds to von Neumann entropy given by $-\rho \log \rho$. Further, $Tr({\rho }^2)$ in the right-hand side is a well-known quantity in the quantum theory, too. The von Neumann entropy $-\rho \log \rho$ and $Tr({\rho }^2)$ are frequently used to evaluate the degree of “mixing” in $\rho$: if $\rho$ is pure, then, $-\rho \log \rho =0$ and $Tr({\rho }^2)=1$. If $\rho$ is a mixed state, $-\rho \log \rho >0$ and $Tr({\rho }^2)<1$, and especially, when ${\lambda }_1={\lambda }_2=\cdots ={\lambda }_M=1/M$, $-\rho \log \rho$ takes the maximum value of $\log M$, and $Tr({\rho }^2)$ takes minimum value of $1/M$. Mathematically, these two quantities have the relation of $-\rho \log \rho \ge -\log (Tr({\rho }^2))$. The inequality in Equation (18) implies that the intermediate values between these two correspond to other kinds of state entropy, which can estimated for various non-classical state distributions reducing to $\rho$. In other words, the well-known $-\rho \log \rho$ and $Tr({\rho }^2)$ are newly interpreted as maximum and minimum values of state entropy.

Note that the state entropy D is different from the generalized quantum entropic measures that have been proposed until now. This point is mentioned in the Appendix A.

6. Model of Differentiation and Calculation of State Entropy

As mentioned in Section 2, a Schatten decomposition of a density operator such as Equation (2) represents a probabilistic distribution of orthogonal pure states. Such an ensemble of states is postulated to be the resulting state of the system after measurement of some physical quantity, whose eigenstates are orthogonal. On the other hand, using another decomposition of the density operator, a mixture of non-orthogonal pure states may be obtained, and we call such mixture non-classical. In Section 3, we point out that the essence of quantum measurement is state differentiation caused by external or environmental factors. If state distribution corresponding to Schatten decomposition is a goal of differentiation, various non-classical ones will appear in intermediate stages before reaching the goal. Below, we model this mechanism as proposed in [6]. This model mathematically explains what state distribution may occur in the differentiation process. Our aim in this section is to evaluate state structural features by using the state entropy defined in Section 5.

Let us consider a typical state transition caused by a quantum measurement, which is denoted by

$$\Psi \to \{{\psi }_k,P_k\}.$$

$\Psi$ means an initial state of system represented by $\left|\Psi \right.〉\left.〈\Psi \right|$, and $\{{\psi }_k,P_k\}$ means a distribution where the states $\{\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|\}$ exist with probabilities $\{P_k\}$. $\{\left|{\psi }_k\right.〉\}$ correspond to eigenstates of some physical quantity defined in Hibert space $\mathcal{H}={\mathbb{C}}^M$, and the initial vector $\left|\Psi \right.〉$ is expanded as

$$\left|\Psi \right.〉={\displaystyle \sum _{k=1}^M}\sqrt{P_k}\left|{\psi }_k\right.〉,$$

where $\sqrt{P_k}$ means a complex number satisfying $|\sqrt{P_k}{|}^2=P_k$, that is,

$$\left|\Psi \right.〉\left.〈\Psi \right|={\displaystyle \sum _{k=1}^M}{P}_k\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|+\sum _{k\ne k^{\prime }}\sqrt{P_k}{\sqrt{P_{k^{\prime }}}}^{\ast }\left|{\psi }_k\right.〉\left.〈{\psi }_{k^{\prime }}\right|.$$

(19)

The first term ${\sum }_{k=1}^M{P}_k\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|$ corresponds to the distribution $\{{\psi }_k,P_k\}$, and, therefore, vanishing of the second term, the process called “decoherence” in quantum theory, means accomplishment of the measurement. The relation of $\Psi$ and $\{{\psi }_k,P_k\}$ is represented as

$${\displaystyle \sum _{k=1}^M}{M}_k\left|\Psi \right.〉\left.〈\Psi \right|M_k^{\ast }={\displaystyle \sum _{k=1}^M}{|〈{\psi }_k|\Psi 〉|}^2\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|={\displaystyle \sum _{k=1}^M}{P}_k\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|,$$

(20)

with the use of projection operator $M_k=\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|$. (The transition probability $|〈{\psi }_k|\Psi 〉{|}^2$ is equal to $P_k$.)

If the above transition is interpreted as a sort of differentiation, its development, i.e., what state distributions occur between $\Psi$ and $\{{\psi }_k,P_k\}$, becomes a crucial concern. The model of differentiation, which was proposed in [6], presents the picture that the initial state $\Psi$ is differentiated to $\{{\psi }_k,P_k\}$ step by step through many state transitions. Each state transition is described with use of a map from state to state, which is denoted by ${\Lambda }^{\ast }$. The map is called “quantum channel” in quantum information theory. A chain of state transitions given as

$$\rho (0)=\left|\Psi \right.〉\left.〈\Psi \right|\to \rho (1)={\Lambda }^{\ast }(\rho (0))\to \rho (2)={\Lambda }^{\ast }(\rho (1))\to \cdots \to \rho (n)={\Lambda }^{\ast }(\rho (n-1)),$$

is regarded as a process of differentiation, if

$${\displaystyle \underset{n\to \infty }{\mathrm{lin}}}\rho (n)={\displaystyle \sum _{k=1}^M}{P}_k\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|,$$

(21)

is satisfied. A channel ${\Lambda }^{\ast }$ is to be defined based on the following: There exist numerous environmental elements around the system. Initially, states of system and these elements are given independently. Let $\left|\Phi \right.〉\left.〈\Phi \right|$ be the initial state of one element, which is defined on a space ${\mathcal{K}}_1={\mathbb{C}}^L$. The initial compound state of the system and the element, on the space $\mathcal{H}\otimes {\mathcal{K}}_1$, is factorized

$$\left|\Psi \right.〉\left.〈\Psi \right|\otimes \left|\Phi \right.〉\left.〈\Phi \right|.$$

At the next step, the states of the system and the element become non-separable. Such compound state is generally defined as

$$U\left|\Psi \right.〉\left.〈\Psi \right|\otimes \left|\Phi \right.〉\left.〈\Phi \right|U^{\ast },$$

using a unitary operator U on $\mathcal{H}\otimes {\mathcal{K}}_1$. The unitary transformation U specifies a correlation generated between the system and the element, and, in the modeling, the following form is assumed:

$$U={\displaystyle \sum _{k=1}^M}\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|\otimes u_k.$$

(22)

where $u_k$ is a unitary on ${\mathcal{K}}_1$. Actually, by this U, the vector $\left|\Psi \right.〉\otimes \left|\Phi \right.〉$ is transformed to

$$U\left|\Psi \right.〉\otimes \left|\Phi \right.〉={\displaystyle \sum _{k=1}^M}\sqrt{P_k}\left|{\psi }_k\right.〉\otimes \left|{\Phi }_k\right.〉,$$

where $\left|{\Phi }_k\right.〉=u_k\left|\Phi \right.〉$. Then, the states of the system and the element are “entangled”, since the above form cannot be factorized into two vectors independently defined on $\mathcal{H}$ and ${\mathcal{K}}_1$, if $\left|{\Phi }_k\right.〉\ne \left|{\Phi }_{k^{\prime }}\right.〉$ for some $k\ne k^{\prime }$. A compound state at the third step is described as

$${\displaystyle \sum _{j=1}^L}(I\otimes {\overline{M}}_j)U\left|\Psi \right.〉\left.〈\Psi \right|\otimes \left|\Phi \right.〉\left.〈\Phi \right|U^{\ast }{(I\otimes {\overline{M}}_j)}^{\ast }.$$

(23)

$\{{\overline{M}}_j\}$ are projection operators corresponding to the basis set of ${\mathcal{K}}_1={\mathbb{C}}^L$, say $\{\left|{\varphi }_j\right.〉\}$. As can be seen from Equation (20), a state transition given by a projection operator mathematically represents accomplishment of differentiation. The operation of $\{{\overline{M}}_j\}$ means that the state of the element is eventually differentiated into $\{\left|{\varphi }_j\right.〉\left.〈{\varphi }_j\right|\}$. Note that the states of the system and the element are correlated at the second step. Thus, the state of the system is affected by the differentiation. Actually, Equation (23) may be rewritten to

$${\displaystyle \sum _{j=1}^L}{E}_j\left|\Psi \right.〉\left.〈\Psi \right|E_j^{\ast }\otimes \left|{\varphi }_j\right.〉\left.〈{\varphi }_j\right|,$$

(24)

by introducing the operator,

$$E_j={\displaystyle \sum _{k=1}^M}〈{\varphi }_j|{\Phi }_k〉\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|={\displaystyle \sum _{k=1}^M}{\nu }_{j|k}\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|.$$

(25)

The above form implies that the state of the element of the environment gets transformed to $\left|{\varphi }_j\right.〉\left.〈{\varphi }_j\right|$ with probability,

$$P_j=Tr(E_j\left|\Psi \right.〉\left.〈\Psi \right|E_j^{\ast }\otimes \left|{\varphi }_j\right.〉\left.〈{\varphi }_j\right|)=\left.〈\Psi \right|E_j^{\ast }{E}_j\left|\Psi \right.〉,$$

(26)

and at the same time the state of the system transits to

$$\left|{\Psi }_j\right.〉\left.〈{\Psi }_j\right|=\frac{1}{P_j}{E}_j\left|\Psi \right.〉\left.〈\Psi \right|E_j^{\ast }.$$

(27)

The operator $E_j$ introduced in Equation (25) is called Kraus operator and satisfies ${\sum }_{j=1}^L{E}_j^{\ast }{E}_j=I$. (In general, a set of Hermitian positive operators $\{F_i\}$ with ${\sum }_{i=1}^N{F}_i=I$ is called positive-operator valued measure (POVM).) With the use of $\{E_j\},$ a quantum channel ${\Lambda }^{\ast }$ is defined:

$${\Lambda }^{\ast }(·)={\displaystyle \sum _{j=1}^L}{E}_j·E_j^{\ast }.$$

(28)

${\Lambda }^{\ast }(\left|\Psi \right.〉\left.〈\Psi \right|)={\sum }_{j=1}^L{E}_j\left|\Psi \right.〉\left.〈\Psi \right|E_j^{\ast }$ means the density operator obtained from the partial trace of the compound state, $T{r}_{\mathcal{K}}({\sum }_{j=1}^L{E}_j\left|\Psi \right.〉\left.〈\Psi \right|E_j^{\ast }\otimes \left|{\varphi }_j\right.〉\left.〈{\varphi }_j\right|)$.

The other environmental elements are defined in Hilbert spaces denoted by ${\mathcal{K}}_{2,3\cdots }$. If they interact with the system in a similar way,

$$\rho (n)={\Lambda }^{\ast }(\rho (n-1))=\cdots ={\Lambda }^{\ast }({\Lambda }^{\ast }(\cdots {\Lambda }^{\ast }(\left|\Psi \right.〉\left.〈\Psi \right|)\cdots )),$$

is defined as the density operator of the system that is obtained after interacting with n environmental elements. From the definition of ${\Lambda }^{\ast }$ (see Equation (28)), this $\rho (n)$ is decomposed as

$$\rho (n)={\displaystyle \sum _{\{j_1,j_2,\cdots ,j_n\}}}{P}_{\{j_1,j_2,\cdots ,j_n\}}\left|{\Psi }_{\{j_1,j_2,\cdots ,j_n\}}\right.〉\left.〈{\Psi }_{\{j_1,j_2,\cdots ,j_n\}}\right|,$$

(29)

where

$$P_{\{j_1,j_2,\cdots ,j_n\}}=\left.〈\Psi \right|{\mathbf{E}}_{\{j_1,j_2,\cdots ,j_n\}}^{\ast }{\mathbf{E}}_{\{j_1,j_2,\cdots ,j_n\}}\left|\Psi \right.〉,$$

(30)

and

$$\left|{\Psi }_{\{j_1,j_2,\cdots ,j_n\}}\right.〉=\frac{1}{P_{\{j_1,j_2,\cdots ,j_n\}}}{\mathbf{E}}_{\{j_1,j_2,\cdots ,j_n\}}\left|\Psi \right.〉.$$

(31)

(The notation ${\mathbf{E}}_{\{j_1,j_2,\cdots ,j_n\}}$ means $E_{j_n}\cdots E_{j_2}{E}_{j_1}$.) $P_{\{j_1,j_2,\cdots ,j_n\}}$ is the probability that the states of n environmental elements eventually become $\{{\varphi }_{j_1},{\varphi }_{j_2},\cdots ,{\varphi }_{j_n}\}$, and $\left|{\Psi }_{\{j_1,j_2,\cdots ,j_n\}}\right.〉\left.〈{\Psi }_{\{j_1,j_2,\cdots ,j_n\}}\right|$ is a pure state of the system at this event. It should be noted here that the density operator $\rho (n)$ can be expanded as

$$\rho (n)={\displaystyle \sum _{k=1}^M}{P}_k\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|+{\displaystyle \sum _{k\ne k^{\prime }}}\sqrt{P_k}{\sqrt{P_{k^{\prime }}}}^{\ast }{(〈{\Phi }_k|{\Phi }_{k^{\prime }}〉)}^n\left|{\psi }_k\right.〉\left.〈{\psi }_{k^{\prime }}\right|,$$

(32)

by using Equation (19) and the property of

$${\Lambda }^{\ast }(\left|{\psi }_k\right.〉\left.〈{\psi }_k^{\prime }\right|)={\displaystyle \sum _{j=1}^L}〈{\Phi }_k|{\psi }_j〉〈{\psi }_j|{\Phi }_{k^{\prime }}〉\left|{\psi }_k\right.〉\left.〈{\psi }_k^{\prime }\right|=〈{\Phi }_k|{\Phi }_{k^{\prime }}〉\left|{\psi }_k\right.〉\left.〈{\psi }_k^{\prime }\right|.$$

Since $|〈{\Phi }_k|{\Phi }_{k^{\prime }}〉|<1$, the condition of Equation (21), i.e., ${\mathrm{lin}}_{n\to \infty }\rho (n)={\sum }_{k=1}^M{P}_k\left|{\psi }_k\right.〉\left.〈{\psi }_k\right|$. is clearly satisfied. Thus, the state distribution $\{{\Psi }_{\{j_1,j_2,\cdots ,j_n\}},P_{\{j_1,j_2,\cdots ,j_n\}}\}$, which is encoded in $\rho (n)$, is identified at an intermediate stage in the differentiation process $\Psi \to \{{\psi }_k,P_k\}$.

Figure 1 shows the result of computational simulation with $M=L=2$, $\left|\Psi \right.〉=\sqrt{0.7}\left|{\psi }_1\right.〉+\sqrt{0.3}\left|{\psi }_2\right.〉$ ($P_1=0.7,P_2=0.3$), ${\nu }_{1|1}=\sqrt{0.5}({\nu }_{2|1}=\sqrt{0.5})$ and ${\nu }_{1|2}=\sqrt{0.45}({\nu }_{2|2}=\sqrt{0.55})$. The histograms of population rates of states with $\frac{l-1}{20}<{|〈{\psi }_1|{\Psi }_{\{j_1,j_2,\cdots ,j_n\}}〉|}^2\le \frac{l}{20}(l=1,2,\cdots ,20)$ are calculated in the case of $n=0,10,100,500$ and 2000. One can see that with increasing n, the state distribution approaches the goal of differentiation, i.e., $\{\{{\psi }_1,{\psi }_2\},\{0.7,0.3\}\}$.

Figure 2 shows the behavior of the state entropy D, von Neumann entropy and $-\log (Tr({\rho }^2))$ for the distribution $\{{\Psi }_{\{i_1,i_2,\cdots ,i_n\}},P_{\{i_1,i_2,\cdots ,i_n\}}\}$, which are calculated in the same setting of parameters. One can directly see that the inequality of Equation (18) is satisfied at any n. Note that the state entropy D takes values close to von Neumann entropy at very large n. In fact, as shown in Figure 3, the difference between von Neumann entropy and the state entropy is noticeable mostly at earlier stages. These results imply that state distributions appearing in the differentiation process are non-classical in general.

7. Conclusions

The state entropy is a truly non-classical quantity because it depends not only on statistical probabilities, but also on similarities among states. The differentiation phenomenon is also non-classical, because it is interpreted as dynamics of the probabilities and similarities. Definition of the state entropy and modeling of the differentiation process are impossible in the framework of classical probability theory.

We believe that evaluation of an ensemble of systems by the state entropy fits the empirical reasoning: No matter how many systems are in the ensemble, we may not recognize high diversity if we know that these states are not very different. Further, we believe that various areas of the nature dynamics of character change in the population of individuals is very much like the differentiation phenomena. This makes prospects of the quantum-like formalism grow stronger.