Open Access
This article is

- freely available
- re-usable

**2015**,
*17*(5),
2876-2894;
https://doi.org/10.3390/e17052876

Review

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

^{1}

Lebedev Physical Institute, Leninskii Prospect 53, Moscow 119991, Russia

^{2}

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

^{*}

Author to whom correspondence should be addressed.

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 = H

_{1}⊗ H_{2}⊗ ⋯ ⊗ H_{n}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 p

_{s}, 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 N×N matrix (table of complex numbers) that is a Hermitian nonnegative matrix ρ 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 p
This means that we constructed the map of nonnegative numbers p

_{s}≥ 0, where s = 1, 2,…, N and $\sum {}_{s=1}^{N}{p}_{s}=1$. Let the integer N be equal to the product of integers (N = nm). Then we can use the map (or partition)
$$1\leftrightarrow 11,2\leftrightarrow 12,\dots ,m\leftrightarrow 1m,m+1\leftrightarrow 21,m+2\leftrightarrow 22,\dots ,N-1\leftrightarrow nm-1,N\leftrightarrow nm.$$

_{s}onto nonnegative numbers P_{jk}, where j = 1, 2,…, n and k = 1, 2,…, m. The introduced map s ↔ 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 P_{jk}can be interpreted as a joint probability distribution of two classical random variables. One has the normalization condition $\sum {}_{j=1}^{n}{\displaystyle \sum {}_{k=1}^{m}{P}_{jk}=1}$.The set p

_{s}can be interpreted as the probability distribution of one random variable. The interpretation of the set P_{jk}as a joint probability distribution opens the possibility to introduce other sets of nonnegative numbers, which correspond to marginal probability distributions ${\mathcal{P}}_{j}^{(1)}={\displaystyle \sum {}_{k=1}^{m}{P}_{jk}}$ and ${\mathcal{P}}_{j}^{(2)}={\displaystyle \sum {}_{j=1}^{n}{P}_{jk}}$.For example, if N = 4, then p

_{1}= P_{11}, p_{2}= P_{12}, p_{3}= P_{21}, p_{4}= P_{22}and ${\mathcal{P}}_{1}{}^{(1)}={p}_{1}+{p}_{2}$, ${\mathcal{P}}_{2}{}^{(1)}={p}_{3}+{p}_{4}$, ${\mathcal{P}}_{1}{}^{(2)}={p}_{1}+{p}_{3}$, ${\mathcal{P}}_{2}{}^{(2)}={p}_{2}+{p}_{4}$.On the other hand, the conditional probability distributions known for bipartite systems with joint probability distributions P

_{jk}can be presented as sets of nonnegative numbers expressed in terms of nonnegative numbers p_{s}.For N = 4, one has the pairs of nonnegative numbers
${P}^{A}(1|1)=\frac{{p}_{1}}{{p}_{1}+{p}_{3}}$,
${P}^{A}(2|1)=\frac{{p}_{3}}{{p}_{1}+{p}_{3}}$ and
${P}^{A}(2|1)=\frac{{p}_{2}}{{p}_{2}+{p}_{4}}$,
${P}^{A}(2|2)=\frac{{p}_{4}}{{p}_{2}+{p}_{4}}$ The notation P

^{A}(j|k) corresponds to the conditional probability related to the joint probability distribution of the bipartite system state P_{jk}given by the Bayes formula for subsystem A. Thus, we introduce artificial subsystems A and B to associate sets of nonnegative numbers, which we denote as ${P}^{A}(j|k)=\frac{{P}_{jk}}{{\displaystyle \sum {}_{{j}^{\prime}=1}^{n}{P}_{{j}^{\prime}k}}}$ and ${P}^{B}(k|j)=\frac{{P}_{jk}}{{\displaystyle \sum {}_{{k}^{\prime}=1}^{n}{P}_{j{k}^{\prime}}}}$ with the set of numbers p_{s}. In view of the used map s ↔ jk, the numbers P^{A}(j|k) and P^{B}(k|j) are expressed in terms of nonnegative numbers p_{s}.The other possibility to label numbers p

_{s}takes place for N = n_{1}n_{2}n_{3}, where n_{1}, n_{2}, and n_{3}are integers. Then we employ the bijective map s ↔ jkl, where j = 1,2,… n_{1}, k = 1,2,… n_{2}, and l = 1, 2,… n_{3}.For N = 8, one has the map
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 p

$$1\leftrightarrow 111,\phantom{\rule{0.2em}{0ex}}2\leftrightarrow 112,\phantom{\rule{0.2em}{0ex}}3\leftrightarrow 121,\phantom{\rule{0.2em}{0ex}}4\leftrightarrow 122,\phantom{\rule{0.2em}{0ex}}5\leftrightarrow 211,\phantom{\rule{0.2em}{0ex}}6\leftrightarrow 212,\phantom{\rule{0.2em}{0ex}}7\leftrightarrow 221,\phantom{\rule{0.2em}{0ex}}8\leftrightarrow 222.$$

_{s}as the joint probability distribution P_{jkl}of tripartite classical system with three random variables. Such an interpretation provides the possibility to construct a set of nonnegative numbers using numbers p_{s}, and the numbers constructed correspond to marginal probability distributions and conditional probability distributions known for tripartite classical systems.Thus, one has “marginals”
${\mathcal{P}}_{j}^{A}={\displaystyle \sum {}_{k=1}^{{n}_{2}}}{\displaystyle \sum {}_{l=1}^{{n}_{3}}{P}_{jkl}}$,
${\mathcal{P}}_{k}^{B}={\displaystyle \sum {}_{j=1}^{{n}_{1}}}{\displaystyle \sum {}_{l=1}^{{n}_{3}}{P}_{jkl}}$,
${\mathcal{P}}_{l}^{C}={\displaystyle \sum {}_{j=1}^{{n}_{1}}}{\displaystyle \sum {}_{k=1}^{{n}_{2}}{P}_{jkl}}$,
${\mathcal{P}}_{jk}^{AB}={\displaystyle \sum {}_{l=1}^{{n}_{2}}}{P}_{jkl}$, and
${\mathcal{P}}_{kl}^{BC}={\displaystyle \sum {}_{j=1}^{{n}_{1}}}{P}_{jkl}$. We use the notation corresponding to the interpretation of the set of numbers p

_{s}↔ P_{jkl}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 p_{s}. 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 × N-matrix ρ with matrix elements ρ

_{ss}_{′}, where s, s′ = 1, 2,…, N, such that ${\rho}_{s{s}^{\prime}}^{*}={\rho}_{{s}^{\prime}s}$ and Tr ρ = 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 ρ can be considered as a matrix representing the density operator $\widehat{\rho}$ 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 ↔ jk, s' ↔ j'k', where jj′ = 1, 2,…,n and kk′ = 1, 2,…, m, and identify the matrix elements ρ

_{ss'}with the matrix elements ρ_{jk},_{j'k'}of the nonnegative matrix, which we denote as ρ^{(}^{AB}^{)}, representing the density operator $\widehat{\rho}$ acting in the Hilbert space of bipartite system states H = H_{1}⊗ H_{2}. This interpretation induces the possibility to introduce new matrices ρ^{A}with matrix elements ${\rho}_{j{j}^{\prime}}^{A}={\displaystyle \sum {}_{k=1}^{m}{\rho}_{jk,{j}^{\prime}k}}$ and ${\rho}_{k{k}^{\prime}}^{B}={\displaystyle \sum {}_{j=1}^{n}{\rho}_{jk,j{k}^{\prime}}}$.Since matrix ρ

^{(AB)}is nonnegative Hermitian matrix with unit trace, matrices ρ^{A}and ρ^{B}are the n×n-matrices and m×m-matrices, respectively, such that ${\left({\rho}^{A}\right)}_{{j}^{\prime}j}^{*}={\left({\rho}^{A}\right)}_{j{j}^{\prime}}$, ${\left({\rho}^{B}\right)}_{{k}^{\prime}k}^{*}={\left({\rho}^{B}\right)}_{k{k}^{\prime}}$, and $\sum {}_{j=1}^{n}{\rho}_{jj}^{A}=1$, $\sum {}_{k=1}^{m}{\rho}_{kk}^{B}=1$, and the eigenvalues of matrices ρ^{A}and ρ^{B}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 ρ^{(}^{AB}^{)}. Numerical properties of the matrices ρ_{ss′}, ${\rho}_{j{j}^{\prime}}^{A}$, and ${\rho}_{jk{k}^{\prime}}^{B}$, 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 ρ, ρ^{A}, and ρ^{B}can be applied, if the matrix ρ 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 ↔ jkl is used, one can consider the numerical N × N-matrix ρ

_{ss′}as a matrix with matrix elements ρ_{jkl,j'k'l'}. This can be done if the integer N = n_{1}n_{2}n_{3}, where n_{1}, n_{2}, and n_{3}are integers. Thus, the same matrix ρ can be interpreted as the density matrix of a three-partite quantum system; in this case, we denote this matrix as ρ^{(}^{AB}^{C)}and the matrix elements as p_{ss}_{'}↔ ρ_{jkl,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
${\rho}_{jk,{j}^{\prime}{k}^{\prime}}^{(AB)}={\displaystyle \sum {}_{l=1}^{{n}_{3}}{\rho}_{jkl,{j}^{\prime}{k}^{\prime}{l}^{\prime}}}$,
${\rho}_{kl,{k}^{\prime}{l}^{\prime}}^{(BC)}={\displaystyle \sum {}_{j=1}^{{n}_{1}}{\rho}_{jkl,j{k}^{\prime}{l}^{\prime}}}$, and
${\rho}_{k{k}^{\prime}}^{B}={\displaystyle \sum {}_{j=1}^{{n}_{1}}{\displaystyle \sum {}_{l=1}^{{n}_{3}}}{\rho}_{jkl,j{k}^{\prime}l}}$. Here, we introduce the notation corresponding to the notation we used in the case where the matrix ρ was the density matrix of the state of a composite system with three subsystems A, B, and C. Then the matrices
${\rho}_{jk,{j}^{\prime}{k}^{\prime}}^{(AB)}$,
${\rho}_{kl,{k}^{\prime}{l}^{\prime}}^{(BC)}$ and
${\rho}_{k{k}^{\prime}}^{B}$, are the density matrices of the states of subsystems ρ

^{(}^{AB}^{)}, ρ^{(}^{BC}^{)}, and ρ^{B}, respectively However, if the matrix ρ 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 p
and q-entropy
In the limit q → 1, the entropy H

_{s}, one has the Shannon entropy
$$H=-{\displaystyle \sum _{s=1}^{N}{p}_{s}\mathrm{ln}{p}_{s}}$$

$${H}_{q}=-{\displaystyle \sum _{s=1}^{N}{p}_{s}^{q}\frac{{p}_{s}^{1-q}-1}{1-q}}$$

_{q}→ H.For any density matrix ρ, one has the von Neumann entropy
and q-entropy

$$S=-\mathrm{Tr}\rho \mathrm{ln}\rho $$

$${S}_{q}=-\mathrm{Tr}{\rho}^{q}\frac{{\rho}^{1-q}-1}{1-q}$$

Using the map (discussed in Section 2) of the probability distribution p
Here, we use the notation p

_{s}on the table P_{jk}, we can write the inequality known as the subadditivity condition for bipartite system, which in terms of numbers p_{s}reads
$$-{\displaystyle \sum _{j=1}^{n}\left({\displaystyle \sum _{k=1}^{m}{p}_{s(jk)}}\right)\left(\mathrm{ln}{\displaystyle \sum _{{k}^{\prime}=1}^{m}{p}_{s(j{k}^{\prime})}}\right)}-{\displaystyle \sum _{k=1}^{m}\left({\displaystyle \sum _{j=1}^{n}{p}_{s(jk)}}\right)\left(\mathrm{ln}{\displaystyle \sum _{{j}^{\prime}=1}^{n}{p}_{s({j}^{\prime}k)}}\right)}\ge -{\displaystyle \sum _{s=1}^{n}{p}_{s(jk)}\mathrm{ln}{p}_{s(jk)}}.$$

_{s}_{(}_{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 p_{s}(or for a set of nonnegative numbers p_{s}).If N = n

_{1}n_{2}n_{3}, we have the strong subadditivity condition for nonnegative numbers p_{s}or the probability distribution associated with these numbers; the inequality reads
$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}-{\displaystyle \sum _{j=1}^{{n}_{1}}{\displaystyle \sum _{k=1}^{{n}_{2}}{\displaystyle \sum _{m=1}^{{n}_{3}}{p}_{s(jkm)}\mathrm{ln}{p}_{s(jkm)}}}}-{\displaystyle \sum _{k=1}^{{n}_{2}}\left({\displaystyle \sum _{j=1}^{{n}_{1}}{\displaystyle \sum _{m=1}^{{n}_{3}}{p}_{s(jkm)}}}\right)}\mathrm{ln}\left({\displaystyle \sum _{{j}^{\prime}=1}^{{n}_{1}}{\displaystyle \sum _{{m}^{\prime}=1}^{{n}_{3}}{p}_{s({j}^{\prime}k{m}^{\prime})}}}\right)\\ \le -{\displaystyle \sum _{j=1}^{{n}_{1}}{\displaystyle \sum _{k=1}^{{n}_{2}}\left({\displaystyle \sum _{{m}^{\prime}=1}^{{n}_{3}}{p}_{s(jk{m}^{\prime})}}\right)}\mathrm{ln}}\left({\displaystyle \sum _{m=1}^{{n}_{3}}{p}_{s(jkm)}}\right)-{\displaystyle \sum _{k=1}^{{n}_{2}}{\displaystyle \sum _{m=1}^{{n}_{3}}\left({\displaystyle \sum _{{j}^{\prime}=1}^{{n}_{1}}{p}_{s({j}^{\prime}km)}}\right)}\mathrm{ln}}\left({\displaystyle \sum _{j=1}^{{n}_{1}}{p}_{s(jkm)}}\right).\end{array}$$

If N ≠ n

_{1}n_{2}n_{3}, we can consider a set of Ñ numbers ${\tilde{p}}_{s}=({p}_{1},{p}_{2},\dots {p}_{N},0,\dots ,0)$, with the number of added zeros k such that Ñ = N + k = n_{1}n_{2}n_{3}. For this new set ${\tilde{p}}_{s}$, all the inequalities constructed are valid.## 5. Projector Density Matrices and New q-Entropic Equalities for Pure Qudit States

Given the N×N matrix ρ in a block form
where N = nm and the blocks ρ
and the m×m matrix ρ

$$\rho =\left(\begin{array}{cccc}{\rho}_{11}& {\rho}_{12}& \cdots & {\rho}_{1n}\\ {\rho}_{21}& {\rho}_{22}& \cdots & {\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ {\rho}_{n1}& {\rho}_{n2}& \cdots & {\rho}_{nn}\end{array}\right),$$

_{jk}are m×m matrices. We construct matrices ρ_{1}and ρ_{2}, using the numerical tool [24–26,28,30,31]; the n×n matrix ρ_{1}reads
$${\rho}_{1}=\left(\begin{array}{cccc}\mathrm{Tr}{\rho}_{11}& \mathrm{Tr}{\rho}_{12}& \cdots & \mathrm{Tr}{\rho}_{1n}\\ \mathrm{Tr}{\rho}_{21}& \mathrm{Tr}{\rho}_{22}& \cdots & \mathrm{Tr}{\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\rho}_{n1}& \mathrm{Tr}{\rho}_{n2}& \cdots & \mathrm{Tr}{\rho}_{nn}\end{array}\right),$$

_{2}is
$${\rho}_{2}={\displaystyle \sum _{k=1}^{n}{\rho}_{kk}}.$$

The matrices ρ
This equality can be easily obtained using the same observation. If we identify the matrix ρ with the density matrix ρ(1, 2) of the pure state of a bipartite quantum system and ρ

_{1}and ρ_{2}obtained from the matrix ρ (7) and given by Equations (8) and (9), respectively, corresponds to the partial tracing procedure. In fact, if the numerical matrix ρ coincides with the density matrix ρ(1, 2) of a two-qudit system with n = 2j_{1}+ 1 and m = 2j_{2}+ 1, one can check that the matrices ρ_{1}and ρ_{2}coincide with the matrices obtained by partial tracing, i.e., ρ_{1}= Tr_{2}ρ(1, 2) and ρ_{2}= Tr_{1}ρ(1, 2). This observation provides the possibility to use all known entropic relations for the density matrices of two-qudit systems ρ(1, 2) and density matrices of its first subsystem ρ_{1}and second subsystem ρ_{2}and apply these numerical relations to an arbitrary matrix ρ, which has the properties ρ = ρ^{†}ρ ≥ 0, and Trρ = 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 = Tr_{1}ρ(1, 2) ln ρ(1, 2) − Trρ_{1}lnρ_{1}− Trρ_{2}lnρ_{2}≥ 0 provides the inequality for matrices (7)–(9), i.e., Trρ ln ρ ≥ Tr ρ_{1}ln ρ_{1}+ Tr ρ_{2}ln ρ_{2}. Also the other entropic relations known for bipartite-system density matrices ρ(1, 2) can be extended to the matrices ρ (7). For example, specific equalities for entropies are available in the case of Hermitian nonnegative matrices ρ with unit trace and extra condition ρ^{2}= ρ. The equalities follow from the Araki–Lieb inequality extended to a single qudit state [33]. The matrices ρ_{1}and ρ_{2}obtained by means of the rules (8) and (9) satisfy the following entropic equality:
$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}\mathrm{Tr}\left[\left(\begin{array}{cccc}\mathrm{Tr}{\rho}_{11}& \mathrm{Tr}{\rho}_{12}& \cdots & \mathrm{Tr}{\rho}_{1n}\\ \mathrm{Tr}{\rho}_{21}& \mathrm{Tr}{\rho}_{22}& \cdots & \mathrm{Tr}{\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\rho}_{n1}& \mathrm{Tr}{\rho}_{n2}& \cdots & \mathrm{Tr}{\rho}_{nn}\end{array}\right)\mathrm{ln}\left(\begin{array}{cccc}\mathrm{Tr}{\rho}_{11}& \mathrm{Tr}{\rho}_{12}& \cdots & \mathrm{Tr}{\rho}_{1n}\\ \mathrm{Tr}{\rho}_{21}& \mathrm{Tr}{\rho}_{22}& \cdots & \mathrm{Tr}{\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\rho}_{n1}& \mathrm{Tr}{\rho}_{n2}& \cdots & \mathrm{Tr}{\rho}_{nn}\end{array}\right)\right]\\ =\mathrm{Tr}\left[\left({\displaystyle \sum _{k=1}^{n}{\rho}_{kk}}\right)\mathrm{ln}\left({\displaystyle \sum _{k=1}^{n}{\rho}_{kk}}\right)\right].\end{array}$$

_{1}and ρ_{2}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 ρ_{1}and ρ_{2}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 ρ
If we take into account the limit q → 1 in the expression for q-entropy, equality (11) converts to (10).

_{1}and ρ_{2}, which can be easily checked, namely,
$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}\mathrm{Tr}\left\{{\left(\begin{array}{cccc}\mathrm{Tr}{\rho}_{11}& \mathrm{Tr}{\rho}_{12}& \cdots & \mathrm{Tr}{\rho}_{1n}\\ \mathrm{Tr}{\rho}_{21}& \mathrm{Tr}{\rho}_{22}& \cdots & \mathrm{Tr}{\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\rho}_{n1}& \mathrm{Tr}{\rho}_{n2}& \cdots & \mathrm{Tr}{\rho}_{nn}\end{array}\right)}^{q}\left[{\left(\begin{array}{cccc}\mathrm{Tr}{\rho}_{11}& \mathrm{Tr}{\rho}_{12}& \cdots & \mathrm{Tr}{\rho}_{1n}\\ \mathrm{Tr}{\rho}_{21}& \mathrm{Tr}{\rho}_{22}& \cdots & \mathrm{Tr}{\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\rho}_{n1}& \mathrm{Tr}{\rho}_{n2}& \cdots & \mathrm{Tr}{\rho}_{nn}\end{array}\right)}^{1-q}-1\right]\right\}\\ =\mathrm{Tr}\left\{{\left({\displaystyle \sum _{k=1}^{n}{\rho}_{kk}}\right)}^{q}\left[{\left({\displaystyle \sum _{k=1}^{n}{\rho}_{kk}}\right)}^{1-q}-1\right]\right\}.\end{array}$$

Equality (11) is valid for Tsallis entropies of two density matrices ρ

_{1}and ρ_{2}of the subsystem states in the case where the matrix ρ 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,
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 µ = Tr ρ

$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}\mathrm{Tr}\left\{{\left(\begin{array}{cc}{\rho}_{11}+{\rho}_{-1-1}& {\rho}_{10}\\ {\rho}_{01}& {\rho}_{00}\end{array}\right)}^{q}\left[{\left(\begin{array}{cc}{\rho}_{11}+{\rho}_{-1-1}& {\rho}_{10}\\ {\rho}_{01}& {\rho}_{00}\end{array}\right)}^{1-q}-1\right]\right\}\\ =\mathrm{Tr}\left\{{\left(\begin{array}{cc}{\rho}_{11}+{\rho}_{00}& {\rho}_{1-1}\\ {\rho}_{-11}& {\rho}_{-1-1}\end{array}\right)}^{q}\left[{\left(\begin{array}{cc}{\rho}_{11}+{\rho}_{00}& {\rho}_{1-1}\\ {\rho}_{-11}& {\rho}_{-1-1}\end{array}\right)}^{1-q}-1\right]\right\}.\end{array}$$

^{2}. Analogously, for a mixed state of a single qudit, the difference (Tr ρ_{1}ln ρ_{1}− Tr ρ_{2}ln ρ_{2}) 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 ρ

_{1}and ρ_{2}only, equality (10) witnesses that the matrix ρ 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
$\tilde{\rho}=\left(\begin{array}{cc}\rho & 0\\ 0& 0\end{array}\right)$, using Ñ = 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
$\tilde{\rho}$.

## 6. The Strong Subadditivity Condition for a Single Qudit State

If N = n
with the density matrices of the subsystems
The interpretation of an arbitrary nonnegative matrix ρ
where the matrices ρ
For example, if the matrix ρ is the density matrix of the qudit state with j = 3, we obtain the strong subadditivity condition
using the 8×8-matrix
$\tilde{\rho}$ of the form
$\tilde{\rho}=\left(\begin{array}{cc}\rho & 0\\ 0& 0\end{array}\right)$ and employing the equality
$\mathrm{Tr}\rho \mathrm{ln}\rho =\mathrm{Tr}\tilde{\rho}\mathrm{ln}\tilde{\rho}$. Here, the 8 × 8-matrix
$\tilde{\rho}$ reads
and 4×4-matrices ρ
Thus, we presented the strong subadditivity condition for the qudit density matrix ρ

_{1}n_{2}n_{3}, one can use the notation ρ_{jkl,j'k'l'}for matrix elements of the matrix ρ_{ss'}, where j', j = 1,2,…, n_{1}, k', k = 1,2,…, n_{2}, and l', l = 1,2,…, n_{3}. 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 ρ = ρ^{†}with unit trace and matrix elements ρ_{s,s'}≡ ρ_{s}_{(}_{jkl}_{)}_{,s′}_{(}_{j'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
$$S(A,B,C)=-{\displaystyle \sum _{s=1}^{N}{(\rho (A,B,C)\mathrm{ln}\rho (A,B,C))}_{ss}\equiv -{\displaystyle \sum _{j=1}^{{n}_{1}}{\displaystyle \sum _{k=1}^{{n}_{2}}{\displaystyle \sum _{l=1}^{{n}_{3}}\left[{(\rho \mathrm{ln}\rho )}_{s(jkl),s(jkl)}\right]}},}}$$

$$\rho (A,B)={\mathrm{Tr}}_{C}\rho (A,B,C),\phantom{\rule{1em}{0ex}}\rho (B,C)={\mathrm{Tr}}_{A}\rho (A,B,C),\phantom{\rule{1em}{0ex}}\rho (B)={\mathrm{Tr}}_{AC}\rho (A,B,C).$$

_{s}_{(}_{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 N × N-matrix is the density matrix ρ_{ss}_{'}of a single qudit state. An explicit form of the strong subadditivity condition for the N × N-matrix ρ_{ss}_{'}reads
$$-\mathrm{Tr}\rho \mathrm{ln}\rho -\mathrm{Tr}{\rho}_{2}\mathrm{ln}{\rho}_{2}\le -\mathrm{Tr}{\rho}_{12}\mathrm{ln}{\rho}_{12}-\mathrm{Tr}{\rho}_{23}\mathrm{ln}{\rho}_{23},$$

_{12}, ρ_{23}, and ρ_{2}have the matrix elements
$$\begin{array}{l}{({\rho}_{12})}_{jk,{j}^{\prime}{k}^{\prime}}={\displaystyle \sum _{l=1}^{{n}_{3}}{\rho}_{s}{}_{(jkl),{s}^{\prime}({j}^{\prime}{k}^{\prime}l)}},\\ \phantom{\rule{0.2em}{0ex}}{({\rho}_{23})}_{kl,{k}^{\prime}{l}^{\prime}}={\displaystyle \sum _{j=1}^{{n}_{1}}{\rho}_{s}{}_{(jkl),{s}^{\prime}(j{k}^{\prime}l)}},\\ \phantom{\rule{0.8em}{0ex}}{({\rho}_{2})}_{k,{k}^{\prime}}={\displaystyle \sum _{j=1}^{{n}_{1}}{({\rho}_{12})}_{jk,j{k}^{\prime}}=}{\displaystyle \sum _{j=1}^{{n}_{3}}{({\rho}_{23})}_{kl,{k}^{\prime}l}}.\end{array}$$

$$-\mathrm{Tr}\rho \mathrm{ln}\rho -{\displaystyle \sum _{k=1}^{2}{({\rho}_{2}\mathrm{ln}{\rho}_{2})}_{kk}}\le -{\displaystyle \sum _{s=1}^{4}{({\rho}_{12}\mathrm{ln}{\rho}_{12})}_{ss}}-{\displaystyle \sum _{s=1}^{4}{({\rho}_{23}\mathrm{ln}{\rho}_{23})}_{ss}},$$

$$\tilde{\rho}=\left(\begin{array}{cccc}\begin{array}{cc}{\rho}_{11}& {\rho}_{12}\\ {\rho}_{21}& {\rho}_{22}\end{array}& \begin{array}{cc}{\rho}_{13}& {\rho}_{14}\\ {\rho}_{23}& {\rho}_{24}\end{array}& \begin{array}{cc}{\rho}_{15}& {\rho}_{16}\\ {\rho}_{25}& {\rho}_{26}\end{array}& \begin{array}{cc}{\rho}_{17}& 0\\ {\rho}_{27}& 0\end{array}\\ \begin{array}{cc}{\rho}_{31}& {\rho}_{32}\\ {\rho}_{41}& {\rho}_{42}\end{array}& \begin{array}{cc}{\rho}_{33}& {\rho}_{34}\\ {\rho}_{43}& {\rho}_{44}\end{array}& \begin{array}{cc}{\rho}_{35}& {\rho}_{36}\\ {\rho}_{45}& {\rho}_{46}\end{array}& \begin{array}{cc}{\rho}_{37}& 0\\ {\rho}_{47}& 0\end{array}\\ \begin{array}{cc}{\rho}_{51}& {\rho}_{52}\\ {\rho}_{61}& {\rho}_{62}\end{array}& \begin{array}{cc}{\rho}_{53}& {\rho}_{54}\\ {\rho}_{63}& {\rho}_{64}\end{array}& \begin{array}{cc}{\rho}_{55}& {\rho}_{56}\\ {\rho}_{65}& {\rho}_{66}\end{array}& \begin{array}{cc}{\rho}_{57}& 0\\ {\rho}_{67}& 0\end{array}\\ \begin{array}{cc}{\rho}_{71}& {\rho}_{72}\\ 0& 0\end{array}& \begin{array}{cc}{\rho}_{73}& {\rho}_{74}\\ 0& 0\end{array}& \begin{array}{cc}{\rho}_{75}& {\rho}_{76}\\ 0& 0\end{array}& \begin{array}{cc}{\rho}_{77}& 0\\ 0& 0\end{array}\end{array}\right)$$

_{12}and ρ_{23}and 2×2-matrix ρ_{2}are
$${\rho}_{12}=\left(\begin{array}{cccc}{\rho}_{11}+{\rho}_{22}& {\rho}_{13}+{\rho}_{24}& {\rho}_{15}+{\rho}_{26}& {\rho}_{17}\\ {\rho}_{31}+{\rho}_{42}& {\rho}_{33}+{\rho}_{44}& {\rho}_{35}+{\rho}_{46}& {\rho}_{37}\\ {\rho}_{51}+{\rho}_{62}& {\rho}_{53}+{\rho}_{64}& {\rho}_{55}+{\rho}_{66}& {\rho}_{57}\\ {\rho}_{71}& {\rho}_{73}& {\rho}_{75}& {\rho}_{77}\end{array}\right),$$

$${\rho}_{23}=\left(\begin{array}{cccc}{\rho}_{11}+{\rho}_{55}& {\rho}_{12}+{\rho}_{56}& {\rho}_{13}+{\rho}_{58}& {\rho}_{14}\\ {\rho}_{21}+{\rho}_{65}& {\rho}_{22}+{\rho}_{66}& {\rho}_{23}+{\rho}_{67}& {\rho}_{24}\\ {\rho}_{31}+{\rho}_{75}& {\rho}_{32}+{\rho}_{76}& {\rho}_{33}+{\rho}_{77}& {\rho}_{34}\\ {\rho}_{41}& {\rho}_{42}& {\rho}_{43}& {\rho}_{44}\end{array}\right),$$

$${\rho}_{2}=\left(\begin{array}{cc}{\rho}_{11}+{\rho}_{22}+{\rho}_{55}+{\rho}_{66}& {\rho}_{13}+{\rho}_{24}+{\rho}_{57}\\ {\rho}_{31}+{\rho}_{42}+{\rho}_{75}& {\rho}_{33}+{\rho}_{44}+{\rho}_{77}\end{array}\right).$$

_{mm'}↔ ρ_{ss'}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' − 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 ρ, the entropy is defined as
where φ is called the weight, being the Hermitian positively definite matrix.

$${S}_{\phi}(\rho )=-\mathrm{Tr}(\phi \rho \mathrm{ln}\rho ),$$

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

When the subadditivity condition is formulated for a bipartite system, the weight matrix φAB is chosen in the product form corresponding to the density matrix ρ(AB). There are two conditions for the weight matrix, namely, φ AB = φA ⊗ φB and Trφ
where
The inequality for φ

_{AB}ρ(A,B) ≥ Tr_{A}(φAρ(A))Tr_{b}(φ_{B}ρ(B)). Then one has the inequality
$${S}_{{\phi}_{AB}}\rho (A,B)\le {S}_{{\psi}_{B}}\rho (B),$$

$${\psi}_{A}{\rho}_{A}={\mathrm{Tr}}_{B}({\phi}_{AB}{\rho}_{AB}),\phantom{\rule{1em}{0ex}}{\psi}_{B}{\rho}_{B}={\mathrm{Tr}}_{A}({\phi}_{AB}{\rho}_{AB}).$$

_{AB}= 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 N × N-matrices, where φ, ρ, and N = nm are as follows. We take a specific matrix φ = φ
Here,
${\tilde{\phi}}_{1}{\rho}_{1}=\left(\begin{array}{cccc}\mathrm{Tr}{\tilde{\rho}}_{11}& \mathrm{Tr}{\tilde{\rho}}_{11}& \cdots & \mathrm{Tr}{\tilde{\rho}}_{1n}\\ \mathrm{Tr}{\tilde{\rho}}_{21}& \mathrm{Tr}{\tilde{\rho}}_{22}& \cdots & \mathrm{Tr}{\tilde{\rho}}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\tilde{\rho}}_{n1}& \mathrm{Tr}{\tilde{\rho}}_{n2}& \cdots & \mathrm{Tr}{\tilde{\rho}}_{nn}\end{array}\right)$,
${\tilde{\phi}}_{2}{\rho}_{2}={\displaystyle {\sum}_{k=1}^{n}{\tilde{\rho}}_{kk}}$, matrices ρ

_{1}× φ_{2}, where φ_{1}and φ_{2}are the n×n-matrix and m×m-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 ρ_{jk}, reads
$$-\mathrm{Tr}({\phi}_{1}\otimes {\phi}_{2}\rho \mathrm{ln}\rho )\le -\mathrm{Tr}\left({\tilde{\phi}}_{1}{\rho}_{1}\right)\mathrm{ln}{\rho}_{1}-\mathrm{Tr}\left({\tilde{\phi}}_{2}{\rho}_{2}\right)\mathrm{ln}{\rho}_{2}.$$

_{1}and ρ_{2}are given by Equations (8) and (9), respectively, and the matrix φ_{1}⊗ φ_{2}ρ is presented in a block form analogous to Equation (7) with m×m blocks ${\tilde{\rho}}_{jk}$.We point out that the N×N-matrix φ, in general, is not obligatory expressed as φ = φ

_{1}⊗ φ_{2}. To formulate inequality (25) for the single-qudit state, we employ weights φ having the product form only.For unit matrix φ, the weighted inequality (25) becomes an inequality, which is the subadditivity condition for the matrix ρ, 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
$\widehat{\rho}$ 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
where dequantizer operator Û(m, u) = (u | m〉〈m | u

$$w(m|u)=\mathrm{Tr}\widehat{U}(m,u)\widehat{\rho},$$

^{†}) with m = −j, −j+1,…,j − 1,j and u the unitary N × N-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|\overrightarrow{n})$, where $\overrightarrow{n}$ is unit vector $({\overrightarrow{n}}^{2}=1)$ defined by two angles, i.e., $\overrightarrow{n}=(\mathrm{sin}\theta \mathrm{cos}\phi ,\mathrm{sin}\theta \mathrm{sin}\phi ,\mathrm{cos}\theta )$.The physical meaning of the tomogram is that it is equal to the probability distribution to get in the state
$\widehat{\rho}$ the spin projection m on the direction
$\overrightarrow{n}$. The tomogram
$w(m|\overrightarrow{n})$ can be interpreted as the conditional probability distribution [33] to obtain the projection m on a given direction
$\overrightarrow{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
where
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.

$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}-{\displaystyle \sum _{j=1}^{n}{\displaystyle \sum _{k=1}^{m}{w}^{q}}(s(jk)|u)\frac{{w}^{1-q}(s(jk)|u)-1}{1-q}}\\ \le -{\displaystyle \sum _{j=1}^{n}\left({w}_{1}^{q}(s(j)|u)\frac{{w}_{1}^{1-q}(s(j)|u)-1}{1-q}\right)-}{\displaystyle \sum _{k=1}^{m}\left({w}_{2}^{q}(s(k)|u)\frac{{w}_{2}^{1-q}(s(k)|u)-1}{1-q}\right),}\end{array}$$

$$\begin{array}{cc}{w}_{1}(s(j)|u)={\displaystyle \sum _{k=1}^{m}w}(s(jk)|u),& {w}_{2}(s(k)|u)={\displaystyle \sum _{j=1}^{m}w}(s(jk)|u).\end{array}$$

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
where the function s(11) = 1, s(12) = 2, s(21) = 3, and s(22) = 4.

$$\begin{array}{cc}w(+3/2|u)\equiv w(s(11)|u),& w(+1/2|u)\equiv w(s(12)|u),\\ w(-1/2|u)\equiv w(s(21)|u),& w(-3/2|u)\equiv w(s(22)|u),\end{array}$$

The subadditivity condition for this qudit-state tomogram written in terms of tomographic Shannon entropic inequality reads
this new inequality can also be checked in the experiments with superconducting circuits nuclear magnetic resonance discussed, e.g., in [37,38].

$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}-[w(+3/2|\overrightarrow{n})\mathrm{ln}w(+3/2|\overrightarrow{n})+w(+1/2|\overrightarrow{n})\mathrm{ln}w(+1/2|\overrightarrow{n})\\ \phantom{\rule{0.8em}{0ex}}+w(-1/2|\overrightarrow{n})\mathrm{ln}w(-1/2|\overrightarrow{n})+w(-3/2|\overrightarrow{n})\mathrm{ln}w(-3/2|\overrightarrow{n})]\\ \le -\{[w(+3/2|\overrightarrow{n})+w(+1/2|\overrightarrow{n})]\mathrm{ln}[w(+3/2|\overrightarrow{n})+w(+1/2|\overrightarrow{n})]\\ \phantom{\rule{0.8em}{0ex}}+[w(-1/2|\overrightarrow{n})+w(-3/2|\overrightarrow{n})]\mathrm{ln}[w(-1/2|\overrightarrow{n})+w(-3/2|\overrightarrow{n})]\}\\ \phantom{\rule{0.8em}{0ex}}-\{[w(+3/2|\overrightarrow{n})+w(-1/2|\overrightarrow{n})]\mathrm{ln}[w(+3/2|\overrightarrow{n})+w(-1/2|\overrightarrow{n})]\\ \phantom{\rule{0.8em}{0ex}}[w(+1/2|\overrightarrow{n})+w(-3/2|\overrightarrow{n})]\mathrm{ln}[w(+1/2|\overrightarrow{n})+w(-3/2|\overrightarrow{n})]\};\end{array}$$

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
$\widehat{\rho}$ being correspondent to the state of two qudits with j
it is the conditional probability distribution to get the spin projections m

_{1}and j_{2}, the tomogram w(m_{1}, m_{2}|u) is given by the formula
$$w({m}_{1},{m}_{2}|u)=\mathrm{Tr}(\widehat{\rho}u|{m}_{1}{m}_{2}\rangle \langle {m}_{1}{m}_{2}|{u}^{\u2020});$$

_{1}and m_{2}for given global transform u. If u = u_{1}⊗ u_{2}, where u_{1}and u_{2}are local unitary transforms depending on the angles determined by two directions ${\overrightarrow{n}}_{1}$ and ${\overrightarrow{n}}_{2}$, the tomogram $w({m}_{1},{m}_{2}|{\overrightarrow{n}}_{1},{\overrightarrow{n}}_{2})$ is the conditional probability for the given directions to get the corresponding projections m_{1}and m_{2}, respectively For such an interpretation of the matrix ρ, one has inequality (27), where the map m_{1},m_{2}↔ jk ↔ s(jk) is used.Now we present an analog of inequality (30) for the density matrix ρ of the two-qubit state; in this case, the density matrix has matrix elements
${\rho}_{{m}_{1}{m}_{2},{{m}^{\prime}}_{1}{{m}^{\prime}}_{2})}$, where
${m}_{1}{m}_{2}({{m}^{\prime}}_{1}{{m}^{\prime}}_{2})$ take values ±1/2, and the tomogram
$w({m}_{1},{m}_{2}|{\overrightarrow{n}}_{1},{\overrightarrow{n}}_{2})$ satisfies the known entropic inequality:
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

$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}-[w(+1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})\mathrm{ln}w(+1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})\\ \phantom{\rule{0.8em}{0ex}}+w(+1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})\mathrm{ln}w(+1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})\\ \phantom{\rule{0.8em}{0ex}}+w(-1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})\mathrm{ln}w(-1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})\\ \phantom{\rule{0.8em}{0ex}}+w(-1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})\mathrm{ln}w(-1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \le -\{[w(+1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(+1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \phantom{\rule{0.8em}{0ex}}\times \mathrm{ln}[w(+1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(+1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \phantom{\rule{0.8em}{0ex}}+[w(-1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(-1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \phantom{\rule{0.8em}{0ex}}\times \mathrm{ln}[w(+1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(-1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \phantom{\rule{0.8em}{0ex}}-\{[w(+1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(-1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \phantom{\rule{0.8em}{0ex}}\times \mathrm{ln}[w(+1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(-1/2+1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \phantom{\rule{0.8em}{0ex}}+[w(+1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(-1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\\ \phantom{\rule{0.8em}{0ex}}\times \mathrm{ln}[w(+1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})+w(-1/2-1/2|{\overrightarrow{n}}_{1}{\overrightarrow{n}}_{2})]\}.\end{array}$$

^{−1}/^{2}(| +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}/^{2}(| +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 2×2-matrices ${\rho}_{1}^{(k)}\otimes {\rho}_{2}^{(k)}$, where numerical matrices ${\rho}_{1}^{(k)}$ and ${\rho}_{2}^{(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 4×4-matrix ρ

_{ss′}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 m

_{1}= ±1/2 of the first qubit or m_{2}= ±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 m

_{1}= ±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 m_{2}= ±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 ρ

_{ss}_{′}, 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 ρ and σ reads (see, e.g., [37])
The relative entropy for the bipartite system has the property
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
This inequality is valid for an arbitrary N× N-matrix ρ and matrix σ of the block form (7); the matrices have the matrix elements Tr (
The inequalities presented are explicit inequalities for density matrices of single qudit states; they can be checked experimentally.

$$S(\rho ||\sigma )=\mathrm{Tr}(\rho \phantom{\rule{0.2em}{0ex}}\mathrm{ln}\phantom{\rule{0.2em}{0ex}}\rho -\rho \phantom{\rule{0.2em}{0ex}}\mathrm{ln}\sigma )\ge 0.$$

$$S(\rho (AB)||\sigma (AB))\ge S(\rho (A)||\sigma \rho (A)).$$

$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}\mathrm{Tr}\left\{\left(\begin{array}{cccc}{\rho}_{11}& {\rho}_{12}& \cdots & {\rho}_{1n}\\ {\rho}_{21}& {\rho}_{22}& \cdots & {\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ {\rho}_{n1}& {\rho}_{n2}& \cdots & {\rho}_{nn}\end{array}\right)\left[\mathrm{ln}\left(\begin{array}{cccc}{\rho}_{11}& {\rho}_{12}& \cdots & {\rho}_{1n}\\ {\rho}_{21}& {\rho}_{22}& \cdots & {\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ {\rho}_{n1}& {\rho}_{n2}& \cdots & {\rho}_{nn}\end{array}\right)-\mathrm{ln}\left(\begin{array}{cccc}{\sigma}_{11}& {\sigma}_{12}& \cdots & {\sigma}_{1n}\\ {\sigma}_{21}& {\sigma}_{22}& \cdots & {\sigma}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ {\sigma}_{n1}& {\sigma}_{n2}& \cdots & {\sigma}_{nn}\end{array}\right)\right]\right\}\\ \ge \mathrm{Tr}\{\left(\begin{array}{cccc}\mathrm{Tr}{\rho}_{11}& \mathrm{Tr}{\rho}_{11}& \cdots & \mathrm{Tr}{\rho}_{1n}\\ \mathrm{Tr}{\rho}_{21}& \mathrm{Tr}{\rho}_{22}& \cdots & \mathrm{Tr}{\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\rho}_{n1}& \mathrm{Tr}{\rho}_{n2}& \cdots & \mathrm{Tr}{\rho}_{nn}\end{array}\right)[\mathrm{ln}\left(\begin{array}{cccc}\mathrm{Tr}{\rho}_{11}& \mathrm{Tr}{\rho}_{11}& \cdots & \mathrm{Tr}{\rho}_{1n}\\ \mathrm{Tr}{\rho}_{21}& \mathrm{Tr}{\rho}_{22}& \cdots & \mathrm{Tr}{\rho}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\rho}_{n1}& \mathrm{Tr}{\rho}_{n2}& \cdots & \mathrm{Tr}{\rho}_{nn}\end{array}\right)\\ \phantom{\rule{2em}{0ex}}-\mathrm{ln}\left(\begin{array}{cccc}\mathrm{Tr}{\sigma}_{11}& \mathrm{Tr}{\sigma}_{12}& \cdots & \mathrm{Tr}{\sigma}_{1n}\\ \mathrm{Tr}{\sigma}_{21}& \mathrm{Tr}{\sigma}_{22}& \cdots & \mathrm{Tr}{\sigma}_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ \mathrm{Tr}{\sigma}_{n1}& \mathrm{Tr}{\sigma}_{n2}& \cdots & \mathrm{Tr}{\sigma}_{nn}\end{array}\right)]\}.\end{array}$$

_{ρjk}) and Tr (σ_{jk}). If matrices ρ and σ 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 ρ_{mm}_{′}and σ_{mm}_{′}(mm′ = 3/2,1/2, −1/2, −3/2) reads
$$\begin{array}{l}\phantom{\rule{0.8em}{0ex}}-\mathrm{Tr}\left(\begin{array}{cccc}{\rho}_{3/23/2}& {\rho}_{3/21/2}& {\rho}_{3/2-1/2}& {\rho}_{3/2-3/2}\\ {\rho}_{1/23/2}& {\rho}_{1/21/2}& {\rho}_{1/2-1/2}& {\rho}_{1/2-3/2}\\ {\rho}_{-1/23/2}& {\rho}_{-1/21/2}& {\rho}_{-1/2-1/2}& {\rho}_{-1/2-3/2}\\ {\rho}_{-3/23/2}& {\rho}_{-3/21/2}& {\rho}_{-3/2-1/2}& {\rho}_{-3/2-3/2}\end{array}\right)[\mathrm{ln}\left(\begin{array}{cccc}{\rho}_{3/23/2}& {\rho}_{3/21/2}& {\rho}_{3/2-1/2}& {\rho}_{3/2-3/2}\\ {\rho}_{1/23/2}& {\rho}_{1/21/2}& {\rho}_{1/2-1/2}& {\rho}_{1/2-3/2}\\ {\rho}_{-1/23/2}& {\rho}_{-1/21/2}& {\rho}_{-1/2-1/2}& {\rho}_{-1/2-3/2}\\ {\rho}_{-3/23/2}& {\rho}_{-3/21/2}& {\rho}_{-3/2-1/2}& {\rho}_{-3/2-3/2}\end{array}\right)\\ \phantom{\rule{0.8em}{0ex}}-\mathrm{ln}\left(\begin{array}{cccc}{\sigma}_{3/23/2}& {\sigma}_{3/21/2}& {\sigma}_{3/2-1/2}& {\sigma}_{3/2-3/2}\\ {\sigma}_{1/23/2}& {\sigma}_{1/21/2}& {\sigma}_{1/2-1/2}& {\sigma}_{1/2-3/2}\\ {\sigma}_{-1/23/2}& {\sigma}_{-1/21/2}& {\sigma}_{-1/2-1/2}& {\sigma}_{-1/2-3/2}\\ {\sigma}_{-3/23/2}& {\sigma}_{-3/21/2}& {\sigma}_{-3/2-1/2}& {\sigma}_{-3/2-3/2}\end{array}\right)]\\ \ge -\mathrm{Tr}\left(\begin{array}{cc}{\rho}_{3/23/2}+{\rho}_{1/21/2}& {\rho}_{3/2-1/2}+{\rho}_{1/2-3/2}\\ {\rho}_{-1/23/2}+{\rho}_{-3/21/2}& {\rho}_{-1/2-1/2}+{\rho}_{-3/2-3/2}\end{array}\right)\\ \phantom{\rule{0.8em}{0ex}}\times [\mathrm{ln}\left(\begin{array}{cc}{\rho}_{3/23/2}+{\rho}_{1/21/2}& {\rho}_{3/2-1/2}+{\rho}_{1/2-3/2}\\ {\rho}_{-1/23/2}+{\rho}_{-3/21/2}& {\rho}_{-1/2-1/2}+{\rho}_{-3/2-3/2}\end{array}\right)\\ \phantom{\rule{1.3em}{0ex}}-\mathrm{ln}\left(\begin{array}{cc}{\sigma}_{3/23/2}+{\sigma}_{1/21/2}& {\sigma}_{3/2-1/2}+{\sigma}_{1/2-3/2}\\ {\sigma}_{-1/23/2}+{\sigma}_{-3/21/2}& {\sigma}_{-1/2-1/2}+{\sigma}_{-3/2-3/2}\end{array}\right)].\end{array}$$

## 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 N × N-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 p
where the Shannon tomographic entropy of the system state reads
and the marginal Shannon tomographic entropy H(B) for the single-qudit state with j = 3/2 is

_{s}, s = 1, 2, 3, 4, where p_{1}= w(+3/2|u), p_{2}= w(+1/2|u), p_{3}= w(−1/2|u), p_{4}= w(−3/2|u), and ${\sum}_{s=1}^{4}{p}_{s}}=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),$$

$$\begin{array}{l}H(AB)=-w(+3/2|u)\mathrm{ln}w(+3/2|u)-w(+1/2|u)\mathrm{ln}w(+1/2|u)\\ \phantom{\rule{3.2em}{0ex}}-w(-1/2|u)\mathrm{ln}w(-1/2|u)-w(-3/2|u)\mathrm{ln}w(-3/2|u),\end{array}$$

$$\begin{array}{l}H(B)=-[w(+3/2|u)+w(+1/2|u)]\mathrm{ln}[w(+3/2|u)+w(+1/2|u)]\\ \phantom{\rule{2.5em}{0ex}}-[w(-1/2|u)+w(-3/2|u)]\mathrm{ln}[w(-1/2|u)+w(-3/2|u)].\end{array}$$

The conditional tomographic entropy H(A|B) for the single-qudit state with j = 3/2 can be expressed in terms of the numbers p
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.

_{s}↔ w(u|m); in an explicit form, it is given as follows:
$$\begin{array}{l}H(A|B)=[w(+3/2|u)+w(+1/2|u)]\mathrm{ln}[w(+3/2|u)+w(+1/2|u)]\\ \phantom{\rule{3.7em}{0ex}}+[w(-1/2|u)+w(-3/2|u)]\mathrm{ln}[w(-1/2|u)+w(-3/2|u)]\\ \phantom{\rule{3.7em}{0ex}}-w(+3/2|u)\mathrm{ln}w(+3/2|u)-w(+1/2|u)\mathrm{ln}w(+1/2|u)\\ \phantom{\rule{3.7em}{0ex}}-w(-1/2|u)\mathrm{ln}w(-1/2|u)-w(-3/2|u)\mathrm{ln}w(-3/2|u).\end{array}$$

## 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|\overrightarrow{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

- Ulhmann, A. Relative entropy and the Wigner–Yanase–Dyson–Lieb concavity in an interpolatation. Commun. Math. Phys
**1977**, 54, 21–32. [Google Scholar] - Bhatia, R. Partial traces and entropy inequalities. Linear Algebra Appl
**2003**, 370, 125–132. [Google Scholar] - Dembo, A.; Cover, T.M.; Thomas, J.A. Information theoretic inequalities. IEEE Trans. Inf. Theory
**1991**, 37, 1501–1518. [Google Scholar] - Nielsen, M.A.; Chuang, I.L. Quantum Computation and Quantum Information; Cambridge University Press: Cambridge, UK, 2000. [Google Scholar]
- Von Neumann, J. Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik. Nach. Ges. Wiss. Gött
**1927**, 11, 245–272. [Google Scholar] - Von Neumann, J. Mathematische Grundlagen der Quantummechanik; Springer: Berlin, Germany, 1932. [Google Scholar]
- Landau, L.D. The damping problem in wave mechanics. Z. Phys
**1927**, 45, 430–441. [Google Scholar] - Dodonov, V.V.; Man’ko, V.I. Positive distribution description for spin states. Phys. Lett. A
**1997**, 229, 335–339. [Google Scholar] - Man’ko, V.I.; Man’ko, O.V. Spin state tomography. J. Exp. Theor. Phys
**1997**, 85, 430–434. [Google Scholar] - Rényi, A. Probability Theory; North-Holland: Amsterdam, The Netherlands, 1970. [Google Scholar]
- 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. [Google Scholar]
- Shannon, C.E. A mathematical theory of communication. Bell Syst. Tech. J
**1948**, 27. [Google Scholar] - Lvovsky, A.I.; Raymer, M.G. Continuous-variable optical quantum-state tomography. Rev. Mod. Phys
**2009**, 81, 299–332. [Google Scholar] - 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. [Google Scholar] - 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. [Google Scholar] - Fujii, T.; Matsuo, S.; Hatakenaka, N.; Kurihara, S.; Zeilinger, A. Quantum circuit analog of the dynamical Casimir effect. Phys. Rev. B
**2011**, 84, 174521. [Google Scholar] - Nielsen, M.A.; Petz, D. A simple proof of the strong subadditivity inequality
**2004**. arXiv:quant-ph/0408130. - 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. [Google Scholar] - Araki, H.; Lieb, E.H. Entropy inequalities. Commun. Math. Phys
**1970**, 18, 160–170. [Google Scholar] - Lieb, E.H. Some convexity and subadditivity properties of entropy. Bull. Am. Math. Soc
**1975**, 81, 1–13. [Google Scholar] - Ruskai, M.B. Inequalities for quantum entropy: A review with conditions for equality. J. Math. Phys
**2002**, 43, 4358–4375, Erratum 2005, 46, 019901. [Google Scholar] - Carlen, E.A.; Lieb, E.H. Remainder terms for some quantum entropy inequalities
**2014**. arXiv:1402.3840 [quant-ph]. - Rastegin, A.E. Formulation of Leggett-Garg inequalities in terms of q-entropies
**2014**. arXiv:1403.6945v3 [quant-ph]. - 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. [Google Scholar] - Man’ko, M.A.; Man’ko, V.I. Quantum strong subadditivity condition for systems without subsystems. Phys. Scr
**2014**, T160, 014030. [Google Scholar] - Chernega, V.N.; Man’ko, O.V. Generalized qubit portrait of the qutrit state density matrix. J. Russ. Laser Res
**2013**, 34, 383–387. [Google Scholar] - 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. [Google Scholar] - 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. [Google Scholar] - 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. [Google Scholar] - 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. [Google Scholar] - Man’ko, V.I.; Markovich, L.V. New Minkowski-type inequalities and entropic inequalities for quantum states of qudits. J. Russ. Laser Res
**2015**, 36, 110–118. [Google Scholar] - 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. [Google Scholar] - Chernega, V.N.; Man’ko, O.V.; Man’ko, V.I. Deformed entropy and information relations for composite and noncomposite systems. Found. Phys
**2015**. [Google Scholar] [CrossRef] - 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. - Suhov, V.; Zohren, S. Quantum weighted entropy and its properties
**2014**. arXiv:1411.0892v1. - 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. [Google Scholar] - 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. [Google Scholar] - 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. [Google Scholar] - 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. [Google Scholar]

© 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/).