Entropy 2015,17, 2876-2894; doi:10.3390/e17052876

OPEN ACCESS

entropy

ISSN 1099-4300

www.mdpi.com/journal/entropy

Review

Properties of Nonnegative Hermitian Matrices and New Entropic Inequalities for Noncomposite Quantum Systems

Margarita A. Man'ko and Vladimir I. Man'ko 1,2

1 P.N. Lebedev Physical Institute, Leninskii Prospect 53, Moscow 119991, Russia; E-Mail: mmanko@sci.lebedev.ru

2 Moscow Institute of Physics and Technology (State University), Dolgoprudnyi, Moscow Region 141700, Russia

* Author to whom correspondence should be addressed; E-Mail: mmanko@sci.lebedev.ru; Tel.: +7-4997833648.

Academic Editor: Gerardo Adesso

Received: 30 December 2014/Accepted: 4 May 2015 / Published: 6 May 2015

Abstract: We consider the probability distributions, spin (qudit)-state tomograms and density matrices of quantum states, and their information characteristics, such as Shannon and von Neumann entropies and q-entropies, from the viewpoints of both well-known purely mathematical features of nonnegative numbers and nonnegative matrices and their physical characteristics, such as entanglement and other quantum correlation phenomena. We review entropic inequalities such as the Araki-Lieb inequality and the subadditivity and strong subadditivity conditions known for bipartite and tripartite systems, and recently obtained for single qudit states. We present explicit matrix forms of the known and some new entropic inequalities associated with quantum states of composite and noncomposite systems. We discuss the tomographic probability distributions of qudit states and demonstrate the inequalities for tomographic entropies of the qudit states. In addition, we mention a possibility to use the discussed information properties of single qudit states in quantum technologies based on multilevel atoms and quantum circuits produced of Josephson junctions.

Keywords: von Neumann entropy; information and entropic inequalities; spin tomography; single-qudit subadditivity condition

1. Introduction

Quantum states are characterized by entropies, which have the properties associated with well-known purely mathematical properties of nonnegative Hermitian matrices (see, for example, [1,2]). A review of some entropic and information theoretic inequalities is presented in [3]. Quantum correlations reflected in a phenomenon, such as the state entanglement in composite bipartite or multipartite systems are known to provide the resource for quantum technologies like quantum computing, quantum teleportation, etc. [4]. To characterize quantum correlations, one can employ the entropic and information characteristics given in terms of von Neumann entropies of the states of multipartite systems and their subsystems. The von Neumann entropy is determined by the quantum-state density matrix [5,6]. The notion of the density matrix was introduced in [7]; for mixed states of composite systems, the density matrix provides the density matrices of the subsystem states, which can be obtained using the partial tracing procedure. The qudit state can be described by the spin tomogram [8,9]. There exist q-entropies determined by the density matrices like Rényi [10] and Tsallis [11] entropies, which depend on the parameter q.

For diagonal density matrices, the von Neumann entropy and q-entropies provide the entropies associated with classical probability distributions, such as, for example, Shannon entropy [12]. The Shannon entropy determined by the probability distribution is a characteristic of the order in the system. The entropy takes a maximum value for a complete disorder in the system and is equal to zero for the complete order. In the limit q ^ 1, the q-entropies under discussion become the Shannon entropy for classical probability distributions and are equal to the von Neumann entropy for quantum density matrices. The development of experimental techniques like quantum tomography [13] provided a possibility to measure the density matrices of quantum states and obtain, as the results of the experiments, numerical values of the matrix elements of the density matrices for qudits. Since the entropic and information characteristics of quantum states used in the experiments with superconducting circuits discussed, for example, in [14-16] are expressed in terms of the density matrix elements, it is desirable to have explicit formulas for the entropic inequalities containing the matrix elements. In this connection, we express some entropic inequalities known for multipartite systems in an explicit form to be applied for studying the states of the systems without subsystems. It is worth pointing out that all inequalities considered in this paper like the subadditivity and strong subadditivity conditions, as well as the relative entropy nonnegativity, are well known. In this paper, we focus on the fact that the same inequalities can be applied in experiments where the noncomposite systems are studied.

Entropic and information inequalities exist for both classical and quantum entropies, including the q-entropies [3,17-23]. These inequalities are related to correlations in the systems. For classical random variables, the entropic inequalities are related to classical correlations, and for quantum observables the inequalities are related to quantum correlations in the systems. On the other hand, it was pointed out in [24] that all entropies and informations are expressed only either in terms of the probability distributions for classical random variables, which present a set of nonnegative numbers satisfying the normalization condition, or in terms of nonnegative trace-class Hermitian matrices in the case of quantum states.

The known entropic inequalities, from the viewpoint of purely numerical relations, are the formulas containing either expressions with nonnegative numbers only or the expressions containing the matrix elements of nonnegative Hermitian matrices with unit trace. The inequalities written in the form of purely numerical relations for the nonnegative numbers and nonnegative matrices are valid per se and do not depend on the interpretation of these numbers as the probability distributions or the matrices as the density matrices of quantum states. Nevertheless, in quantum interpretation applications, the numerical properties can be translated as specific properties of quantum systems. In this context, the known inequalities have a new physical interpretation.

The aim of this paper is to review a recent approach employed in [25-34] to study the possibility of finding such new entropic inequalities like the subadditivity and strong subadditivity conditions for noncomposite quantum systems and obtaining some other entropic and information equalities and inequalities for conditional and relative entropies and q-entropies known for composite systems, which can be also introduced for the systems without subsystems like, e.g., a single qudit. We analyze which aspects of known quantum and classical entropic inequalities depend only on the properties of nonnegative numbers and matrices and which aspects depend on the interpretation of the numbers and matrices as probability distributions and density matrices of physical system states.

The other goal of this paper is to discuss which aspects of the entropic inequalities depend on the interpretation of the probability distributions and nonnegative matrices given in the form of a set of nonnegative numbers or a set of complex numbers organized in a table with columns and rows, as the joint probability distributions for composite classical systems or as the density matrix corresponding to the density operator acting in the Hilbert space of a tensor-product form H = Hi ® H2 ® • • • ® Hn associated with the multipartite system states. We show that the known entropic inequalities valid for multipartite systems are also valid for the systems without subsystems; they characterize correlations of the degrees of freedom of, e.g., only one single qudit state. We illustrate this statement considering a two-qubit system (composite system) and qudit with spin j = 3/2 (noncomposite system) and demonstrate the same entropic subadditivity condition known for two-qubit states on an example of the state of the single qudit system.

This paper is organized as follows.

In Section 2, we review the approach where the bijective map of integers 1, 2,... ,N onto pairs of integers, triples of integers, etc. is used to interpret sets of nonnegative numbers ps, s = 1, 2,..., N as the joint probability distributions describing random variables in bipartite, tripartite, etc. systems. In Section 3, we discuss the use of the map to interpret a NxN matrix (table of complex numbers) that is a Hermitian nonnegative matrix p with unit trace as the density matrix of the system without subsystems or the density matrix of the bipartite, tripartite, etc. quantum system state. In Section 4, we present the entropic subadditivity and strong subadditivity conditions in the form of numerical inequalities; this provides the subadditivity condition for the single qudit state. In Section 5, we demonstrate the equality known for bipartite system in the form of a matrix equality, which yields an analogous equality for the single-qudit pure state. In Section 6, we describe the strong subadditivity condition known for the tripartite systems in the form of a numerical matrix inequality, which provides the strong subadditivity condition for a single qudit. We obtain the subadditivity condition for weighted entropy [35] for a single qudit state in Section 7, discuss the entropic relation for spin tomograms in Section 8, and present relative

entropy inequalities in Section 9. In Section 10, we give the chain relation for conditional entropy (known for multipartite systems) for a single qudit state. Finally, we present our conclusions and the prospectives in Section 11.

2. Set of Nonnegative Numbers as the Probability Distribution

Given N positive numbers, which we denote as ps > 0, where s = 1, 2,..., N and fli ps = 1. Let the integer N be equal to the product of integers (N = nm). Then we can use the map (or partition)

1 o 11, 2 o 12,... ,m o 1m, m +1 o 21, m + 2 o 22,..., N - 1 o nm - 1, N o nm.

This means that we constructed the map of nonnegative numbers ps onto nonnegative numbers Pjk, where j = 1,2,..., n and k = 1, 2,..., m. The introduced map s o jk means that we constructed a function of two variables s(jk), which provides the value s(jk) for the pair of integers j and k. The table of numbers Pjk can be interpreted as a joint probability distribution of two classical random variables. One has the normalization condition Y^j=i Yhml Pjk = 1.

The set ps can be interpreted as the probability distribution of one random variable. The interpretation of the set Pjk as a joint probability distribution opens the possibility to introduce other sets of nonnegative numbers, which correspond to marginal probability distributions Pj^ = ml Pjk and

-p(2) = ^pn p

For example, if N = 4, then pi = Pn, p2 = P12, P3 = P21, P4 = P22 and P(1) = pi + P2, P21) = p3 + p4, P(2) = p1 + p3, P22) = P2 + p4.

On the other hand, the conditional probability distributions known for bipartite systems with joint probability distributions Pjk can be presented as sets of nonnegative numbers expressed in terms of nonnegative numbers ps.

Ann _ P1 DA^HN P3

For N = 4, one has the pairs of nonnegative numbers PA(1|1) = -, PA(2|1)

p p p1 + p3 p 1 + p 3

and Pa(1|2) = —-—, Pa(2|2) = p4 . The notation PA(j|k) corresponds to the conditional

p2 + p4 p2 + p4

probability related to the joint probability distribution of the bipartite system state Pjk given by the

Bayes formula for subsystem A. Thus, we introduce artificial subsystems A and B to associate sets of

PP nonnegative numbers, which we denote as PA(j|k) = n jk — and PB(k|j) = n jk —, with the

^j'=1 Pj'k Z^k' = 1 Pjk'

set of numbers ps. In view of the used map s o jk, the numbers PA(j |k) and PB (k|j) are expressed in

terms of nonnegative numbers ps.

The other possibility to label numbers ps takes place for N = n1n2n3, where n1, n2, and n3 are

integers. Then we employ the bijective map s o jk/, where j = 1, 2,... n1, k = 1, 2,... n2, and

l = 1, 2,.. .n3.

For N = 8, one has the map

1 o 111, 2 o 112, 3 o 121, 4 o 122, 5 o 211, 6 o 212, 7 o 221, 8 o 222.

This means that we introduced a function of three variables s(jkl), which provides the integer value s(jkl) for the triple of integers j, k, and l. The map provides the possibility to interpret the set of N nonnegative numbers ps as the joint probability distribution Pjk1 of tripartite classical system with

three random variables. Such an interpretation provides the possibility to construct a set of nonnegative numbers using numbers ps, and the numbers constructed correspond to marginal probability distributions and conditional probability distributions known for tripartite classical systems.

Thus, one has "marginals" Vf = EI= 1 E!=i j PB = E™= 1 Pj«, VC = E™= 1 EI= 1 j VfkB = E™=1 Pjki, and Vlp = E1 Pjki. We use the notation corresponding to the interpretation of the set of numbers ps o Pjkl as joint probability distributions corresponding to the description of the statistics of composite systems containing three subsystems A, B, and C. One can point out that there exist purely numerical relations of the numbers in the set of nonnegative numbers ps. In view of different labeling of the numbers, the possibility to interpret the numbers as the probability distribution arises, but available numerical relations are valid per se independently of the interpretation.

3. Density Matrices of Quantum States

Given N xN-matrix p with matrix elements pss,, where s, s' = 1, 2,... ,N, such that p*ss, = ps,s and Tr p =1 with nonnegative eigenvalues. The matrix can be interpreted as the density matrix of a quantum state of the qudit with j = (N — 1)/2. In this case, the matrix p can be considered as a matrix representing the density operator p acting in the Hilbert space H of the qudit (spin) states.

On the other hand, if N = nm, one can use the discussed map of integers s o jk, s' o j'k', where jj' = 1, 2,... ,n and kk' = 1, 2,... ,m, and identify the matrix elements pss, with the matrix elements pjk,j'k' of the nonnegative matrix, which we denote as p(AB), representing the density operator p acting in the Hilbert space of bipartite system states H = H1 ® H2. This interpretation induces the possibility to introduce new matrices pA with matrix elements pj, = Em=1 pjj k and pBk, = E™=1 pjk,jk'.

Since matrix p(AB) is nonnegative Hermitian matrix with unit trace, matrices pA and pB are the nxn-matrices and mxm-matrices, respectively, such that (pA)S'j = (pA)jj>, (pB)*k,k = (pB)

„A _ 1 „B _ i „„j „A „B

1 pfj = 1,Y^k=1 p^k = 1, and the eigenvalues of matrices pA and pB are nonnegative numbers. The numerical matrices obtained can be interpreted as density matrices of two qudit states, respectively, corresponding to partial tracing of the matrix p(AB). Numerical properties of the matrices pss,, pfj,, and pBk, do not depend on the interpretation of these matrices as the density matrices of quantum system states. In view of this fact, the relations like equalities and inequalities valid for matrix elements of the matrices p, pA, and pB can be applied, if the matrix p is a nonnegative Hermitian matrix with nonnegative eigenvalues or if this matrix is interpreted as the density matrix of a single qudit state, or if the matrix is interpreted as the density matrix of a bipartite system state. This simple observation provides the possibility to extend the matrix relations known for density matrices of bipartite systems (systems of two qudits) to the case of a single qudit system.

Following the same approach, in which the map s o jkl is used, one can consider the numerical N xN-matrix pss, as a matrix with matrix elements pjkl,j'k'l'. This can be done if the integer N = n1 n2n3, where n1, n2, and n3 are integers. Thus, the same matrix p can be interpreted as the density matrix of a three-partite quantum system; in this case, we denote this matrix as p(ABC) and the matrix elements as

pss' o pjkl,j'k'l'.

Similar to the case where we considered this matrix as the matrix corresponding to the bipartite system state, now we can consider this matrix as the density matrix of a tripartite quantum system, and there is a prescription how to obtain other nonnegative matrices by the partial tracing procedure.

Thus, one has the nonnegative matrices with unit trace denoted as Pjk^y = Y1 n=i Pjki,?k'i, P^k']' = YTjL 1 Pjkl,jk'l', and pBk' = YTjL 1 Pjkl,jk'l. Here, we introduce the notation corresponding to the notation we used in the case where the matrix p was the density matrix of the state of a composite system with three subsystems A, B, and C. Then the matrices pjkB'k', pkdk-'i', and pBk' are the density matrices of the states of subsystems p(AB), p(BC), and pB, respectively. However, if the matrix p is not associated with any density matrix of a tripartite quantum system, we simply have numerical matrices with unit traces and nonnegative eigenvalues, and their properties do not depend on the interpretation of the matrices as the density matrices of quantum states.

4. Entropic Subadditivity and Strong Subadditivity Conditions

For any probability distribution ps, one has the Shannon entropy

H = Ps Ps (1)

and q-entropy

^ P1^ - 1

Hq = -Y,Ps PsT-r ■ (2)

In the limit q ^ 1, the entropy Hq ^ H.

For any density matrix p, one has the von Neumann entropy

S = —Tr p ln p (3)

and q-entropy

p1-q - 1

Sq = —Tr pq P-. (4)

1 — q

Using the map (discussed in Section 2) of the probability distribution ps on the table Pjk, we can write the inequality known as the subadditivity condition for bipartite system, which in terms of numbers Ps reads

n / m \ / m \ m / n \ / n \ N

— Y^ T,PsVk)\ ln ^ Ps(jk') J — J2ps(jk)j Ps(j'k)] > Ps(jk) ln Ps(jk) . (5)

j=1 \k=1 J \ k'=1 J k=1\ j=1 J V j'=1 J s=1

Here, we use the notation Ps(jk) that shows what integer s corresponds to the pair jk according to the map we consider. Inequality (5) is the subadditivity condition for the probability distribution Ps (or for a set of nonnegative numbers Ps).

If N = nin2n3, we have the strong subadditivity condition for nonnegative numbers ps or the probability distribution associated with these numbers; the inequality reads

ni n 2 n 3

n2 / ni n3

y] In Ps(jkm) - i ^2Ps(jkm)j In i ^ Ps(j'km')

j=1 k=1 m=1 k=1 \j=1 m=1 / \j'=1 m' = 1

ni n2 n3 n3 n2 n3 ni ni

< - Y1 ^ Y1 Ps(jkm')] ln Y1 Ps(jkm)] - Y1 ^ £Ps(j km)) ln Y1 Ps(jkm) ) . (6)

j=1 k=1 \m'=1

k=1 m=1 \j'=1

If N = nin2n3, we can consider a set of N numbers p5s = (pi,p2,... , 0,..., 0), with the number of added zeros k such that N = N + k = n1n2n3. For this new set ps, all the inequalities constructed are valid.

5. Projector Density Matrices and New q-Entropic Equalities for Pure Qudit States

Given the NxN matrix p in a block form

/ P11 P12

P21 P22

\Pn1 Pn2

P1n\ P2n

where N = nm and the blocks pjk are mxm matrices. We construct matrices p1 and p2, using the numerical tool [24-26,28,30,31]; the nxn matrix p1 reads

/Tr P11 Tr P12 Tr P21 Tr P22

\Tr Pn1 Tr Pn2

Tr P1n\

Tr P2n

Tr Pnn

and the mxm matrix p2 is

The matrices p1 and p2 obtained from the matrix p (7) and given by Equations (8) and (9), respectively, corresponds to the partial tracing procedure. In fact, if the numerical matrix p coincides with the density matrix p(1, 2) of a two-qudit system with n = + 1 and m = 2j2 + 1, one can check that the matrices p1 and p2 coincide with the matrices obtained by partial tracing, i.e., p1 = Tr2 p(1, 2) and p2 = Tr1 p(1, 2). This observation provides the possibility to use all known entropic relations for the density matrices of two-qudit systems p(1, 2) and density matrices of its first subsystem p1 and second subsystem p2 and apply these numerical relations to an arbitrary matrix p, which has the properties p = pt, p > 0, and Trp = 1 characterizing the density matrices. This observation explains the principle and method of artificial subpartitioning. Once this is understood, all multipartite inequalities can immediately be applied. For example, the known inequality given by the nonnegativity property of mutual information I = Tr1 p(1, 2) ln p(1, 2) — Tr p1 ln p1 — Tr p2 ln p2 > 0 provides the inequality for matrices (7)-(9), i.e., Tr p ln p > Tr p1 ln p1 + Tr p2 ln p2. Also the other entropic relations known for bipartite-system density

matrices p(1, 2) can be extended to the matrices p (7). For example, specific equalities for entropies are available in the case of Hermitian nonnegative matrices p with unit trace and extra condition p2 = p. The equalities follow from the Araki-Lieb inequality extended to a single qudit state [33]. The matrices pi and p2 obtained by means of the rules (8) and (9) satisfy the following entropic equality:

/Tr pu Tr pi2 ••• Tr pi„\ Tr p2i Tr p22 ••• Tr p2n

\Tr p„i Tr p„2 ••• Tr pnnJ

/Tr pii Tr pi2 Tr p2i Tr p22

\Tr p ni Tr pn2

Tr pin\

Tr p2n

Tr pnn

y^pfcfc

This equality can be easily obtained using the same observation. If we identify the matrix p with the density matrix p(1, 2) of the pure state of a bipartite quantum system and pi and p2 as the density matrices of the subsystem states of the bipartite quantum system (composite system), equality (10) means that the von Neumann entropies of the subsystem states are equal. The nonzero eigenvalues of matrices p1 and p2 coincide. These properties of pure states of bipartite systems are well known. Thus, we obtain this equality for the pure state of noncomposite system.

There exists the other q-entropic equality valid for such matrices p1 and p2, which can be easily checked, namely,

/Tr pii Tr p2i

Tr pi2

Tr p22

\Tr pni Tr pn2

Tr uE pkk

Tr pin\

Tr p2n

Tr pnn

/Tr pii Tr p2i

Tr pi2

Tr p22

\Tr pni Tr pn2

Tr pin\

Tr p2n

Tr pnn

If we take into account the limit q ^ 1 in the expression for q-entropy, equality (11) converts to (10).

Equality (11) is valid for Tsallis entropies of two density matrices p1 and p2 of the subsystem states in the case where the matrix p is the density matrix of the bipartite-system quantum state. It is clear that this equality is valid for the noncomposite-system state as well. Such the equality can also be applied for the qutrit state,

pii + p-i-i pio

pii + p-i-i pio

pii + poo pi-i p-ii p-i-i

pii + poo pi-i \ i-q 1

The difference of the left and right hand sides of equality (12) can characterize the degree of coherence of the qutrit state, in addition to the purity parameter p = Tr p2. Analogously, for a mixed state of a single qudit, the difference (Tr pi ln pi — Tr p2 ln p2) is a characteristic of the state purity.

The test of purity in Equation (10) is certainly not useful if one already knows the entire density matrix but, if one obtains from the experiment the matrices p1 and p2 only, equality (10) witnesses that the matrix p corresponds to the pure state. This fact is a motivation to discuss such entropic equality both for composite and noncomposite (qudit) systems.

If N = nm, one can introduce the matrix p = ^ ^, using N = N + k = nm, analogously to the

tool we employed in the case of the set of numbers; all the matrix relations obtained above are valid for the matrix p.

6. The Strong Subadditivity Condition for a Single Qudit State

If N = n1n2n3, one can use the notation pjki,j>k>i> for matrix elements of the matrix pss>, where j' ,j = 1, 2,... ,n1, k',k = 1, 2,..., n2, and l',l = 1, 2,..., n3. This means that we apply the map of integers 1, 2,... onto the triples of integers, i.e., the integer s(s') is considered as a function of three variables s(jkl) [s'(j'k'l')]. Thus, one has the nonnegative matrix p = pp with unit trace and matrix elements ps= ps(jkl)sjj'k'l'). If this matrix is the density matrix of a tripartite quantum system (e.g., a system of three qudits), it satisfies the strong subadditivity condition for von Neumann entropies of the system S(A, B, C) and three its subsystems S(AB), S(BC), and S(B), where

N ni n2 n3

s (a,b,c) = - Y,(p(A,B,c)ln P(a,b,c))ss = - EEEt(pln pWokoL (13)

s=1 j=1 k=1 l=1

with the density matrices of the subsystems

p(A, B) = Trc p(A, B, C), p(B, C) = TrA p(A, B, C), p(B) = Trac p(A, B, C). (14)

The interpretation of an arbitrary nonnegative matrix ps(jkl),s'(j'k'l') as the density matrix of tripartite system provides the possibility to write the strong subadditivity condition for the matrix elements of this matrix even in the case where this NxN-matrix is the density matrix pss> of a single qudit state. An explicit form of the strong subadditivity condition for the N x N-matrix pss> reads

- Trplnp - Trp2 lnp2 < -Trp12 lnp12 - Trp23 lnp23, (15)

where the matrices p12, p23, and p2 have the matrix elements

(p12)jk,j'kl = ^ Ps(jkl),s'(j'k'l), l=1 ni

(p23)kl,k'l' = ^ Ps(jkl),s'(jk'l'), (16)

(p2)k,k' = ^2(p12)jk,jk' = ^2(p23)kl,k' l. j=1 l=1

For example, if the matrix p is the density matrix of the qudit state with j = 3, we obtain the strong subadditivity condition

- Tr p ln p (p2 ln p2)kk (p12 ln p12)ss (p23 ln P2з)ss, (17)

k=1 s=1 s=1

using the 8 x 8-matrix p of the form p the 8 x 8-matrix p reads

p 0 0 0

and employing the equality Tr p ln p = Tr p ln p. Here,

( P11 P12 P21 P22 P13 P14 P23 P24 P15 P16 P25 P26 P17 0 ^ P27 0

P31 P32 P41 P42 P33 P34 P43 P44 P35 P36 P45 P46 P37 0 P47 0

P51 P52 P61 P62 P53 P54 P63 P64 P55 P56 P65 P66 P57 0 P67 0

P71 P72 00 P73 P74 0 0 P75 P76 0 0 P77 0 0 0 y

and 4x4-matrices pi2 and p23 and 2x2-matrix p2 are

/ Pli + P22 P13 + P24 P15 + P26 Pl7\

P31 + P42 P33 + P44 P35 + P46 P37

P51 + P62 P53 + P64 P55 + P66 P57 V P71 P73 P75 P77/

/ P11 + P55 P12 + P56 P13 + P58 PM\

P21 + P65 P22 + P66 P23 + P67 P24

P31 + P75 P32 + P76 P33 + P77 P34 \ P41 P42 P43 P44/

P11 + P22 + P55 + P66 P13 + P24 + P57

P31 + P42 + P75 P33 + P44 + P77

Thus, we presented the strong subadditivity condition for the qudit density matrix pmm/ o pss> in the case of j = 3, where the notation for spin projections m,m' = -3, -2, -1,0,1, 2, 3 is mapped as mm' o ss' = 1, 2, 3, 4, 5, 6, 7.

Inequality (17) can be checked in the experiments with superconducting circuits where the states of the seven-level systems can be constructed.

7. The Subadditivity Condition for Quantum Weighted Entropy of a Single Qudit State

Recently [35], the notion of weighted entropy was introduced for quantum states. For the density matrix p, the entropy is defined as

S^(p) = -Tr (pp ln p), (22)

where p is called the weight, being the Hermitian positively definite matrix.

The subadditivity condition for entropy of the bipartite-system state with the density matrix p(A, B) has been proven in [35].

When the subadditivity condition is formulated for a bipartite system, the weight matrix pAB is chosen in the product form corresponding to the density matrix p(AB). There are two conditions for the weight

matrix, namely, pAB = pA ® pB and Tr pABp(A,B) > TrA (pAp(A))TrB (pBp(B)). Then one has the inequality

SVAB p(A, B) < S^ p(A) + S^ p(B), (23)

^a PA = TrB (PAB PAB) , ^B PB = TrA (PAB PAB) . (24)

The inequality for pAB = 1 yields the standard subadditivity condition for bipartite system.

Now we extend this inequality to the case of a single qudit state using the map of integers onto pairs of the integers, N = nm. In this approach, the weighted subadditivity condition is formulated as a matrix inequality for given NxN-matrices, where p, p, and N = nm are as follows. We take a specific matrix p = pi x p2, where pi and p2 are the nxn-matrix and mxm-matrix, respectively. Then an analog of the weighted subadditivity condition (23) for the single-qudit density matrix (7), presented in the block form with blocks pjk, reads

- Tr (pi®^2 P ln p) < -Tr (piPi)ln Pi - Tr (p2P2)ln P2. (25)

Here, (pipi

fTr pii Tr pii ••• Tr pi„\ Tr P2i Tr P22 ••• Tr p2n

P2P2 = En=i Pkk, matrices pi and p2 are given by

\Tr Pni Tr Pn2 ••• Tr pnnJ Equations (8) and (9), respectively, and the matrix pi ® p2 p is presented in a block form analogous to

Equation (7) with mxm blocks pjk.

We point out that the N xN-matrix p, in general, is not obligatory expressed as p = pi ® p2. To

formulate inequality (25) for the single-qudit state, we employ weights p having the product form only.

For unit matrix p, the weighted inequality (25) becomes an inequality, which is the subadditivity

condition for the matrix p, e.g., for the single qudit state.

The weighted subadditivity condition for the single qudit state (25) can be checked experimentally.

8. Spin Tomography Inequality

The density operators p of qudit states can be described by tomographic-probability-distribution functions (spin tomograms) [8,9,36].

For a single qudit with j = (N — 1)/2, the tomogram w(m|u) reads

w(m|u) = Tr U(m, u)p, (26)

where dequantizer operator U(m,u) = (u | m)(m | u^) with m = — j, — j + 1,..., j — 1, j and u the unitary N xN-matrix. The matrix can be considered also as the matrix of irreducible representation of the SU(2) group. In this case, the tomogram is the function w(m | n), where n is unit vector (n2 = 1) defined by two angles, i.e., n = (sin 9 cos p, sin 9 sin p, cos 9).

The physical meaning of the tomogram is that it is equal to the probability distribution to get in the state p the spin projection m on the direction n. The tomogram w(m|n) can be interpreted as the conditional probability distribution [33] to obtain the projection m on a given direction n.

If the qudit is associated with N-level atom, the qudit tomogram w(m|u) is the probability to get the population of the levels in a reference frame in the atomic-state Hilbert space rotated by the global unitary transform matrix u. In this case, we map the indices m = —j, — j + 1,..., j — 1, j to integers s = 1, 2,..., N which label the atomic levels; the integers s are functions s(jk).

Now we are in the position to obtain a new entropic inequality for the quantum qudit state applying the approach discussed in Section 4 to spin tomograms.

Thus, for tomogram of the qudit state with j = (N — 1)/2, where N = nm, a new subadditivity condition for Tsallis entropy reads

w1-q (s(jk)|u) — 1

wq (s(jfc)|u

v-wv.-v 1 — q

j=1 k=1 H

< — £ (w? (s(j )|u) ^I^M^ij — £ (w| (s(k)|u) W1" ^ — . (27)

w^s(j )|u) = w(s(jfc)|u), W2(s(fc)|u) = w(s(jfc)|u). (28)

k=1 j=1 In the limit q ^ 1, one has the subadditivity condition for Shannon entropies of the form (5) associated with the tomogram. Inequality (27) can be checked experimentally.

As an example of this inequality, we consider the state of spin with j = 3/2. The tomogram of this state is the probability distribution with values

w ( + 3/2|u) = w(s(11)|u), w ( + 1/2 |u) = w(s(12)|u),

w( — 1/2|u) = w(s(21)|u), w( — 3/2|u) = w(s(22)|u),

where the function s(11) = 1, s(12) = 2, s(21) = 3, and s(22) = 4.

The subadditivity condition for this qudit-state tomogram written in terms of tomographic Shannon entropic inequality reads

— [w( + 3/2 |n) lnw( + 3/2 |n) + w( + 1/2 | n) lnw( + 1/2 | n) +w( — 1/2 |n) lnw( — 1/2 |n) + w( — 3/2 | n) lnw( — 3/2 |n)]

< —{[w( + 3/2 |n) + w( + 1/2 | n)] ln [w( + 3/2 | n) + w( + 1/2 | n)] + [w( — 1/2 |n) + w( — 3/2 | n)] ln [w( — 1/2 | n) + w( — 3/2 |n)]}

— {[w( + 3/2 |n) + w( — 1/2 | n)] ln [w( + 3/2 | n) + w( — 1/2 | n)]

[w( + 1/2 |n) + w( — 3/2 | n)] ln [w( + 1/2 |n) + w( — 3/2 | n)]}; (30)

this new inequality can also be checked in the experiments with superconducting circuits nuclear magnetic resonance discussed, e.g., in [37,38].

It is worth noting that other inequalities of the form (30) where one uses the permutation of spin projections m are valid.

If we interpret the density operator p being correspondent to the state of two qudits with j1 and j2, the tomogram w(m1, m2|u) is given by the formula

w(m1,m2|u) = Tr (pu | m1m2)(m1m2 | u^);

it is the conditional probability distribution to get the spin projections m1 and m2 for given global transform u. If u = u1 ® u2, where u1 and u2 are local unitary transforms depending on the angles determined by two directions n1 and n2, the tomogram w(m1, m2|n1, n2) is the conditional probability for the given directions to get the corresponding projections m1 and m2, respectively. For such an interpretation of the matrix p, one has inequality (27), where the map m1, m2 o jk o s(jk) is used.

Now we present an analog of inequality (30) for the density matrix p of the two-qubit state; in this case, the density matrix has matrix elements pmim2>m'm2), where m1m2(m/1m/2) take values ±1/2, and the tomogram w(m1, m2|n1, n2) satisfies the known entropic inequality:

- [w( + 1/2 + 1/2 | ln w( + 1/2 + 1/2 |

+w( + 1/2 - 1/2 | nra/) ln w( + 1/2 - 1/2 Inn/) +w( - 1/2 + 1/2 | nra/) ln w( - 1/2 + 1/2 Inn/) +w( - 1/2 - 1/2 Inn/) ln w( - 1/2 - 1/2 | nra/)]

< -{[w( + 1/2 + 1/2 | n1n/) + w( +1/2 - 1/2 | n1n/)]

x ln [w( + 1/2 + 1/2 | n1n/) + w( + 1/2 - 1/2 | n1n/)]

+ [w( - 1/2 + 1/2 | n1n/) + w( - 1/2 - 1/2 | n1n/)]

x ln [w( - 1/2 + 1/2 | n1n/) + w( - 1/2 - 1/2 | nra/)]}

-{[w( + 1/2 + 1/2 | n1n/) + w( - 1/2+1/2 | n1n/)]

x ln [w( + 1/2 + 1/2 | n1n/) + w( - 1/2+1/2 | n1n/)]

+ [w( + 1/2 - 1/2 | ^n/) + w( - 1/2 - 1/2 | n1n/)] x ln [w( + 1/2 - 1/2 | nra/) + w( - 1/2 - 1/2 | ^n/)]}. (31)

This inequality is the subadditivity condition for the joint tomographic probability distribution of the two-qubit state. The entanglement property of two-qubit states exists; e.g., in this case, the pure state reads 2-1//( | +1/2 + 1/2)+ | -1/2 - 1/2)). An analogous entanglement property takes place for the qudit state with j = 3/2, which is the pure state 2-1//( | +3/2)+ | -3/2)). The density matrices of these states are identical numerical matrices; they cannot be presented in the form of convex sum of tensor products of 2x2-matrices p1k) ® p/k), where numerical matrices p1k) and p/k) are nonnegative Hermitian matrices with unit trace.

The entanglement of two-qubit states reflects the presence of strong quantum correlations of the subsystem degrees of freedom. The analogous entanglement of the single qudit state with j = 3/2 reflects the strong quantum correlations of the degrees of freedom (spin projections m) of the same noncomposite system. The entanglement of composite system is the resource for quantum technologies. The strong correlations (analogous to entanglement) of the single-qudit states can also provide an additional resource for quantum technologies. The presence of strong correlations in the qudit state with j = 3/2 corresponds to the subadditivity condition (30).

We address the question how the numerical 4x4-matrix psS contains information on correlations in two different quantum systems. One system is a bipartite system of two qubits, and the other one is a single qudit with the j = 3/2 state. The answer to this question is related to the interpretation of the numerical matrix elements.

For two qubits, the matrix elements are interpreted as the matrix elements of the density operator in the basis | m, m'}, m,m' = ±1/2.

For a qudit, the same matrix elements are interpreted as the matrix elements of the density operator in the basis | m}, m = +3/2, +1/2,-1/2,-3/2.

Quantum correlations in two-qubit systems are the correlations between the events where one measures the spin projection mi = ±1/2 of the first qubit or m2 = ±1/2 of the second qubit; thus, the correlations are interpreted as correlations between the degrees of freedom of two different subsystems.

For a qudit with j = 3/2, analogous measurements mean that one measures correlations between the following events. Analogs of the events, where m1 = ±1/2, are the events, where the spin projections m = +3/2, +1/2 and m = -3/2, -1/2 are observed, while analogs of the events, where m2 = ±1/2, are the events, where the spin projections m = +3/2, -1/2 and m = -3/2, +1/2, are observed.

Thus, for a single qudit with j = 3/2, the quantum correlations between such events are described by the same numerical matrix psS, which describes the quantum correlations between the subsystems (two qubits) in the composite quantum system.

9. Relative Entropy Inequality for a Single Qudit

The relative entropy for states with the density matrices p and a reads (see, e.g., [37])

S(p||a) = Tr(plnp - plna) > 0. The relative entropy for the bipartite system has the property

S(p(AB)||a(AB)) > S(p(A)||ap(A)).

We use the map of integers s ^ s(jk) to write the property of the relative entropy in numerical form, which can be used to formulate an analog of the property (33) for a single qudit state. In fact, Equation (33) can be rewritten in the form of inequality

/Pu P12 ••• P21 P22 ' ' '

\Pn1 Pn2 ' ' '

/Tr P11 Tr P11 Tr P21 Tr P22

P1n\ P2n

P'nn J

P11 P12 P21 P22

\Pn1 Pn2

Tr P1n\

Tr P2n

/Tr P11 Tr P21

P1n\ P2n

Tr P11

Tr P22

k \TrPn1 TrPn2 ••• TrPnJ I \TrPn1 TrPn2

/Tr on Tr on ••• Tr

/On O12 O21 O22

\On1 On2

Tr P1n\

Tr P2n

Tr Pnn

O1n\ O2n

Tr 021 Tr O 22

\Tr On1 Tr On2

Tr O2n

Tr Onn

This inequality is valid for an arbitrary NxN-matrix p and matrix a of the block form (7); the matrices have the matrix elements Tr (pjk) and Tr (ajk). If matrices p and a are density matrices of the single

qudit state with j = (N — 1)/2, inequality (34) characterizes quantum correlations in the system under study. For example, if j = 3/2, the relative entropy inequality for the qudit state with matrices pmm/ and

(mm' = 3/2,1/2, —1/2, —3/2) reads

^ P3/23/2 P3/21/2 P3/2-1/2 P3/2 -3/2^

Pl/23/2 Pl/21/2 Pl/2-1/2 Pl/2 -3/2

P—1/2 3/2 P-1/2 1/2 P-1/2-1/2 P-1/2 -3/2

VP-3/23/2 P-3/2 1/2 P-3/2-1/2 P-3/2 -3/2/

^ a3/2 3/2 a3/2 1/2 a3/2-1/2 a3/2 -3/2 \

a1/2 3/2 a1/2 1/2 a1/2-1/2 a1/2 -3/2

a-1/2 3/2 a-1/2 1/2 a-1/2-1/2 a-1/2 -3/2

\a-3/2 3/2 a-3/2 1/2 a-3/2-1/2 a-3/2 -3/2/

> P3/23/2 + P1/21/2 P3/2-1/2 + P1/2 -3/2

VP-1/2 3/2 + P-3/2 1/2 P-1/2-1/2 + P-3/2-3/2

P3/23/2 + P1/2 1/2 P3/2-1/2 + P1/2 -3/2

^P-1/2 3/2 + P-3/2 1/2 P-1/2-1/2 + P-3/2 -3/2

a3/2 3/2 + a1/2 1/2 a3/2-1/2 + a1/2 -3/2

, a-1/2 3/2 + a-3/2 1/2 a-1/2-1/2 + a-3/2 -3/2

^ P3/23/2 P3/21/2 P3/2-1/2 P3/2 -3/2

P1/23/2 P1/21/2 P1/2-1/2 P1/2 -3/2

P-1/2 3/2 P-1/2 1/2 P-1/2-1/2 P-1/2-3/2

\P-3/2 3/2 P-3/2 1/2 P-3/2-1/2 P-3/2-3/2/

The inequalities presented are explicit inequalities for density matrices of single qudit states; they can be checked experimentally.

10. Chain Rule for Conditional Entropy of Single Qudit States

As we discussed in Section 2, the notion of conditional entropy is applied to the system with subsystems and it is related to the joint probability distributions. In addition, one can introduce it for the system without subsystems. We use this tool to consider the quantum system, which is a single qudit with j = (N — 1)/2, where N = nm. Then, one can associate conditional probability distributions with the qudit-state tomogram w(m|u), where u is unitary NxN-matrix and m = — j, — j + 1,..., j — 1, j.

We demonstrate such a procedure on the example of j = 3/2. In this case, the tomographic probability distribution is given by four nonnegative numbers ps, s =1, 2, 3,4, wherep1 = w(+3/2|u), p2 = w(+1/2|u), p3 = w(—1/2|u), p4 = w(—3/2|u), and = 1. Using the map discussed in

Section 2, we obtain the entropic chain rule in the form of equality

H (AB ) = H (A|B) + H (B), (36)

where the Shannon tomographic entropy of the system state reads

H (AB) = —w(+3/2|u)ln w(+3/2|u) — w(+1/2|u)ln w(+1/2|u)

—w(—1/2|u)ln w(—1/2|u) — w(—3/2|u)ln w(—3/2|u), (37)

and the marginal Shannon tomographic entropy H(B) for the single-qudit state with j = 3/2 is

H(B) = — [w(+3/2|u) + w(+1/2|u)] ln [w(+3/2|u) + w(+1/2|u)]

— [w(—1/2|u) + w(—3/2|u)] ln [w(—1/2|u) + w(—3/2|u)]. (38)

The conditional tomographic entropy H(A|B) for the single-qudit state with j = 3/2 can be expressed in terms of the numbers ps o w(u|m); in an explicit form, it is given as follows:

H(A|B) = [w(+3/2|u) + w(+1/2|u)] ln [w(+3/2|u) + w(+1/2|u)] + [w(-1/2|u) + w(-3/2|u)] ln [w(-1/2|u) + w(-3/2|u)] -w(+3/2|u) ln w(+3/2|u) - w(+1/2|u) ln w(+1/2|u) -w(-1/2|u)lnw(-1/2|u) - w(-3/2|u)lnw(-3/2|u). (39)

Thus, we introduced the notion of conditional entropy for systems without subsystems. The chain rule (36) can be extended, if one interprets the probability w(m|u) for the single-qudit state as the joint probability distribution for an artificial multipartite system.

11. Conclusions

To conclude, we list the main results of our work.

First of all, it is worth pointing out that in this work we did not derive or discover new inequalities but did use the well-known for bipartite and multipartite systems entropic and information relations to attract attention of the researchers to the fact that, by employing the subpartition tools, these inequalities can be also applied to the system which does not contain subsystems, e.g., for a single qudit. For noncomposite systems, the relations discussed here, like the subadditivity condition, were not discussed in the literature.

The motivation of writing such entropic relations in explicit matrix forms is connected with recent discussions of experimental studies of qudit density matrices given, for example, in [37-39], where the information matrix formulas can be checked using the data characterizing the superconducting quantum circuits realized by Josephson junctions [14-16].

We reviewed the approach to the set of nonnegative numbers and Hermitian nonnegative matrices with unit trace, in view of the interpretation of the numbers and the matrices as the probability distributions and the density matrices, respectively, elaborated in [17-26]. We showed that the known entropic inequalities, which are applied to composite systems, both classical and quantum, can be also applied to the systems without subsystems. We obtained a new entropic equality, in view of the interpretation of the density matrix of this state as the density matrix of an artificial bipartite system. The inequalities and equalities obtained can be checked experimentally. Equalities (10) and (11) can be used to characterize the purity of mixed states.

In fact, the approach presented provides the possibility to extend all known entropic and information relations for classical and quantum composite systems to the case of systems without subsystems, and the relations reflect the presence of correlations either classical or quantum ones of the system degrees of freedom. Tomographic inequality (30) is a very simple inequality known for the nonnegative numbers w(m | n) but, from the viewpoint of the tomographic analysis of a single qudit state, it is a new relation that should be satisfied by the experimental data. The quantum correlations of the single qudit states can be used in quantum technologies, analogously to the usage of entanglement as quantum resource.

We conclude that there are several aspects in the presented approach [32]. One has a set of nonnegative numbers and numerical relations (equalities and inequalities) for these numbers. Analogously, there exist sets of complex numbers organized as tables or nonnegative Hermitian matrices with different labeling

of their matrix elements and the numerical relations for the matrix elements. The nonnegative numbers and matrices can be interpreted as the probability distributions or density matrices of physical systems. The same set of numbers and the same matrices can be interpreted as the probability distributions or density matrices of quantum states of different composite or noncomposite systems. This provides the possibility to extend the numerical matrix relations known for particular physical systems, e.g., composite ones, to the other systems, including noncomposite systems, since the relations do not depend on the interpretation of the numerical equalities and inequalities. This tool was used in our work.

On the other hand, the interpretation of the mathematical equalities and inequalities as properties of classical and quantum correlations provides a tool to suggest the experimental check of new equalities and inequalities for the physical systems and employ the found quantum correlations in single-qudit states as a possible resource for quantum technologies. The discussed quantum correlations, which can be employed in quantum technologies, are available in such systems as multilevel atoms and quantum circuits modeled by Josephson junctions [37]. One can use the approach reviewed in this work in applications for constructing the Deutsch algorithm [38,39]. We consider these aspects of the presented approach in a future publication.

Acknowledgments

The authors are grateful to Rui Vilela Mendes for useful comments and advices related to the approach presented.

Conflicts of Interest

The authors declare no conflict of interest. References

1. Ulhmann, A. Relative entropy and the Wigner-Yanase-Dyson-Lieb concavity in an interpolatation. Commun. Math. Phys. 1977, 54, 21-32.

2. Bhatia R. Partial traces and entropy inequalities. Linear Algebra Appl. 2003, 370, 125-132.

3. Dembo, A.; Cover, T.M.; Thomas, J.A. Information theoretic inequalities. IEEE Trans. Inf. Theory 1991, 37, 1501-1518.

4. Nielsen, M.A.; Chuang, I.L. Quantum Computation and Quantum Information; Cambridge University Press: Cambridge, UK, 2000.

5. Von Neumann, J. Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik. Nach. Ges. Wiss. Gott. 1927,11, 245-272.

6. Von Neumann, J. Mathematische Grundlagen der Quantummechanik; Springer: Berlin, Germany, 1932.

7. Landau, L.D. The damping problem in wave mechanics. Z. Phys. 1927, 45, 430-441.

8. Dodonov, V.V.; Man'ko, V.I. Positive distribution description for spin states. Phys. Lett. A 1997, 229, 335-339.

9. Man'ko, V.I.; Man'ko, O.V. Spin state tomography. J. Exp. Theor. Phys. 1997, 85, 430-434. 10. Rényi, A. Probability Theory; North-Holland: Amsterdam, The Netherlands, 1970.

11. Tsallis, C. Nonextensive statistical mechanics and thermodynamics: Historical background and present status. In Nonextensive Statistical Mechanics and Its Applications; Lecture Notes in Physics, Volume 560; Abe, S., Okamoto, Y., Eds.; Springer: Berlin, Germany, 2001; pp. 3-98.

12. Shannon, C.E. A mathematical theory of communication. Bell Syst. Tech. J. 1948, 27, 379-423, 623-656.

13. Lvovsky, A.I.; Raymer, M.G. Continuous-variable optical quantum-state tomography. Rev. Mod. Phys. 2009, 81, 299-332.

14. Dodonov, V.V.; Man'ko, O.V.; Man'ko, V.I. Correlated states in quantum electronics (resonant circuit). J. Sov. Laser Res. 1989,10, 413-420.

15. Takashima, K.; Hatakenaka, N.; Kurihara, S.; Zeilinger, A. Nonstationary boundary effect for a quantum flux in superconducting nanocircuits. J. Phys. A Math. Theor. 2008, 41, 164036.

16. Fujii, T.; Matsuo, S.; Hatakenaka, N.; Kurihara, S.; Zeilinger, A. Quantum circuit analog of the dynamical Casimir effect. Phys. Rev. B 2011, 84, 174521.

17. Nielsen, M.A.; Petz, D. A simple proof of the strong subadditivity inequality. 2004, arXiv:quant-ph/0408130.

18. Carlen, E.A.; Lieb, E.H. A Minkowski-type trace inequality and strong subadditivity of quantum entropy II: Convexity and concavity. Lett. Math. Phys. 2008, 83, 107-126.

19. Araki, H.; Lieb, E.H. Entropy inequalities. Commun. Math. Phys. 1970,18, 160-170.

20. Lieb, E.H. Some convexity and subadditivity properties of entropy. Bull. Am. Math. Soc. 1975, 81, 1-13.

21. Ruskai, M.B. Inequalities for quantum entropy: A review with conditions for equality. J. Math. Phys. 2002, 43, 4358-4375; Erratum 2005, 46, 019901.

22. Carlen, E.A.; Lieb, E.H. Remainder terms for some quantum entropy inequalities. 2014, arXiv:1402.3840 [quant-ph].

23. Rastegin, A.E. Formulation of Leggett-Garg inequalities in terms of q-entropies. 2014, arXiv:1403.6945v3 [quant-ph].

24. Man'ko, M.A.; Man'ko, V.I. Inequalities for nonnegative numbers and information properties of qudit tomograms. J. Russ. Laser Res. 2013, 34, 203-218.

25. Man'ko, M.A.; Man'ko, V.I. Quantum strong subadditivity condition for systems without subsystems. Phys. Scr. 2014, T160, 014030.

26. Chernega, V.N.; Man'ko, O.V. Generalized qubit portrait of the qutrit state density matrix. J. Russ. Laser Res. 2013, 34, 383-387.

27. Man'ko, M.A.; Man'ko, V.I. Maps of matrices and portrait maps of the density operators of composite and noncomposite systems. J. Russ. Laser Res. 2014, 35, 298-306.

28. Chernega, V.N.; Man'ko, O.V. Tomographic and improved subadditivety conditions for two qubits and qudit with j = 3/2. J. Russ. Laser Res. 2014, 35, 27-38.

29. Man'ko, M.A.; Man'ko, V.I. Deformed subadditivity condition for qudit states and hybrid positive maps. J. Russ. Laser Res. 2014, 35, 509-517.

30. Chernega, V.N.; Man'ko, O.V.; Man'ko, V.I. Minkowski-type inequality for arbitrary density matrix of composite and noncomposite systems. J. Russ. Laser Res. 2015, 36, 135-138.

31. Man'ko, V.I.; Markovich, L.V. New Minkowski-type inequalities and entropie inequalities for quantum states of qudits. J. Russ. Laser Res. 2015, 36, 110-118.

32. Man'ko, M.A.; Man'ko, V.I. Entanglement and other quantum correlations of a single qudit state. Int. J. Quantum Inf. 2014,12, 156006.

33. Chernega, V.N.; Man'ko, O.V.; Man'ko V.I. Deformed entropy and information relations for composite and noncomposite systems. Found. Phys. 2015, doi:10.1007/s10701-015-9890-9.

34. Chernega, V.N.; Man'ko, O.V. No-signaling and strong subadditivity condition for tomographic q-entropy of single qudit states. 2015, arXiv:1504.03858 [quant-ph]; Phys. Scr. 2015, in press.

35. Suhov, V.; Zohren S. Quantum weighted entropy and its properties. 2014, arXiv:1411.0892v1.

36. Man'ko, M.A.; Man'ko, V.I.; Marmo, G.; Simoni A.; Ventriglia F. Introduction to tomography, classical and quantum. Nuovo Cimento C 2013, 36, 163-182.

37. Fedorov, A.K; Kiktenko, E.O.; Man'ko, O.V.; Man'ko, V.I. Multilevel superconducting circuits as two-qubit systems: Operations, state preparation, and entropic inequalities. Phys. Rev. A 2015, 91, 042312.

38. Kessel, A.K; Yakovleva N.M. Implementation schemes in NMR of quantum processors and the Deutsch-Jozsa algorithm by using virtual spin representation. Phys. Rev. A 2002, 66, 062322.

39. Kiktenko, E.O.; Fedorov, A.K; Strakhov, A.A.; Man'ko, V.I. Single qudit realization of the Deutsch algorithm using superconducting many-level quantum circuits. Phys. Lett. A 2015 379, 1409-1413.

© 2015 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article

distributed under the terms and conditions of the Creative Commons Attribution license

(http://creativecommons.org/licenses/by/4.0/).

Copyright of Entropy is the property of MDPI Publishing and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.