1. Introduction
Generic states of quantum systems are identified with the density matrices [
1,
2] or the density operators
acting in a Hilbert space. The pure states of quantum systems are identified with the state vectors
belonging to the Hilbert space [
3] and complex wave functions [
4,
5]
, where
x is an observable, e.g., the continuous position of a particle. The physical meaning of the wave function
is related to measuring the observable
x; in the state
, the measurement of the position of a particle yields the probability density
, which does not contain information on the phase of the complex wave function.
For spin-s systems with discrete observables like spin projections ; , the state vectors belong to the Hilbert space of finite dimension , and the complex wave function determines the probability distribution associated with the state . The phase of the wave function is not determined by the probability distribution; in view of this fact, information on the state , contained in the probability density or in the probability distribution , is not sufficient to describe the particle’s pure state or the spin-s pure state.
The aim of this paper is to consider the old problem of looking for a such formulation of quantum mechanics, where the system states can be identified with fair probability distributions of measurable observables only. Such a possibility is based on quantum tomography methods of measuring [
6] quantum states, using the formalism of reconstructing [
7,
8] the state Wigner function by means of Radon transform [
9].
Wigner introduced the Wigner function [
10]
of the position
q and momentum
p that is similar to the probability density
describing the classical particle state in the presence of fluctuations. The Wigner function can take negative values and, due to this circumstance, it is called the quasidistribution function. The Wigner function is related to the density matrix
of the quantum particle state by an invertible Fourier transform and contains the same information on the state as the density matrix.
There exist other analogous quasidistributions like the Husimi–Kano
Q-function [
11,
12] and Glauber–Sudarshan function [
13,
14], which are functions on the phase space. The suggestion to identify quantum states with fair probability densities was presented in [
15], where the probability density, called symplectic tomogram, was used. An analogous approach was elaborated for spin states in [
16,
17], where the spin tomograms, being fair probability distributions of spin projections
m on an arbitrary direction in the space given by a unit vector
, were shown to determine the density matrix
.
In this paper, on the example of qubits, we show the bijective map of density operators of spin-1/2 states onto the probability distributions. Since for probability distributions the notion of Shannon entropy [
18], relative entropy, and Tsallis entropy [
19] is the standard tool to characterize the statistical properties of the systems, we obtain, in view of the map introduced, some new relations like entropic equalities and inequalities for quantum spin states. Other kinds of entropies also exist like Rényi entropy [
20], non-Shannonian and generalized
entropies; see, e.g., [
21,
22]. In this paper, we consider new relations connected with Shannon and Tsallis entropies. In addition, we discuss new geometric interpretation of spin-1/2 (qubit) states in terms of the Triada of Malevich’s squares [
23,
24] and its relation to the Bloch sphere geometry of these states. Employing the identification of qubit states with probability distributions, we present the construction of quantum observables (Hermitian 2 × 2-matrices) in terms of sets of classical-like variables and provide the bijective map of the qubit states (density matrices) and observables onto classical-coin probability distributions and classical observables associated with these coins.
We present the evolution equations for the density matrices of qubit states in the form of kinetic equations for probability distributions determining the qubit states. We formulate the superposition principle of qubit state vectors as a new addition rule for the probabilities determining the states. In addition, we express the Born rule for calculating the probability as a function of probabilities determining the pure states and . Then, we extend the probability representation of qubit states and express the matrix elements of an arbitrary density N×N-matrix in terms of classical-coin probability distributions. We consider in detail examples of qutrit (spin-1), identifying the qutrit state with a set of Triadas of Malevich’s squares. We present new relations of areas of Malevich’s squares and the possibility of checking these relations in the experiments with superconducting circuits.
The other goal of this work is to study within the probability representation of quantum states [
15,
16,
17,
25,
26,
27,
28] (reviewed in [
29]) the triangle geometry of qudit states and discuss Bayes’ formula for systems without subsystems and correlations (called the hidden correlations) in such systems. It is worth noting that the classical probability distributions were discussed within the framework of state vectors for spin-1/2 systems by Khrennikov [
30,
31,
32] and the superposition principle for spin-1/2 states was expressed as the nonlinear superposition of classical probability distributions in [
33,
34]. Malevich’s squares and the approach called the suprematism in art are described in [
35].
This paper is organized as follows.
We present the notion of random variables in
Section 2 and study Bayes’ formula for systems with one random variable in
Section 3. We discuss qubit states in
Section 4 and consider classical-coin random variables for qubit systems in
Section 5. Then, we review the notion of quantum suprematism in
Section 6 and study qutrit states in the probability representation in
Section 7. We devote
Section 8 to the superposition principle for the probabilities, demonstrating this principle on the example of qutrits. Within the framework of the probability representation, we formulate the superposition principle for qudit states in
Section 9. Finally, in
Section 10, we provide the conclusions and perspectives.
2. Random Variables and Probabilities
In probability theory, the notion of random variables and probability distributions were discussed using rigorous approaches presented, for example, in [
36,
37,
38,
39]. We employ here the following empiric approach. We define the relation of random variables to sets of integer numbers following [
40,
41]. Given a set of
N different events, these events are associated with integers
. We call relative frequencies
of the realization of these random events in a series of experiments “the probabilities of the events” where
. The function
is the probability distribution; it is normalized
.
The properties of the events are characterized by some functions , which we call observables. In this approach, random variables are mapped onto the integers . The physical meaning of the events can be different; for example, in the casino roulette, the event is the appearance of some integer number j which is chosen from a set of integer numbers located between 1 and N. The event may be also considered as positions “UP” and “DOWN” of two coins; in this case, the integer number j is mapped onto a pair of integer numbers labeling the position of each coin. In both cases, the relative frequencies of the events can be associated with the integer j, but the interpretation of this random variable is different. In the case of casino roulette, we say about one random variable, and in the case of two coins, we have two random variables associated with labeling positions of two coins by other two integer numbers . An analogous approach to random events can be employed in quantum mechanics.
We extend the above approach to classical probabilities using in this case the identification of random events with the integers labeling the matrix elements of the density matrix determining the states, e.g., of qudit with spin s, where , or of the N-level atom. The physical observables are given by the Hermitian matrices , where indices of rows and columns are identified with the random variables . It is important that we can interpret the described above association of integers j analogously to the case of classical casino roulette and the case of two classical coins considering numerically the same density matrices either as the density matrices of noncomposite (nondivisible) systems (an analog of the casino roulette) or as the density matrices of bipartite systems (an analog of the states of two coins).
In the next section, we consider Bayes’ formula, in view of the approach under discussion, using it for one random variable and applying the map of integer numbers onto pairs of random numbers.
3. Bayes’ Formula for the Probability Distribution of One Random Variable
In this section, we discuss the application of Bayes’ formula available for probability distributions of several random variables to the case of the probability distribution of one random variable.
First, we recall Bayes’ formula and the notion of conditional probability distribution for statistics of two random variables. Given the function
, where
,
, and
, with the normalization condition
This function is identified with the probability distribution of two random variables
j and
k. The marginal probability distributions
determine the statistical properties of each random variable.
The conditional probability distribution of the first random variable
j for given
k is presented by the formula; see [
36],
which means that
For the case of joint probability distributions of two random variables describing the statistics of the bipartite system, these relations correspond to Bayes’ formula connecting marginal probability distributions and conditional probability distributions of these random variables. In
Appendix A, we present an example of application of the above formulas for a particular case
. In view of the example from
Appendix A, we are in the position to formulate the rule for introducing Bayes’ formula for the probability distribution
;
of one random variable. We apply the map of integers
n onto pairs of integers
j and
k, such that
and
. Then, for marginal probability distributions and conditional probability distributions, we use the known expression for joint probability distribution of two variables and define these distributions, in view of the invertible map of integers
, where
. This map can be described by the functions discussed in [
42,
43,
44].
Following [
44], we determine the functions
,
, and
, where
,
, and
, as
We use these functions for representing the probability distribution of one random variable as a joint probability distribution of two random variables. To do this, we introduce in Equations (
5)–(
7) the following notation:
,
,
,
,
,
,
,
, and
. In the case of
and
, the map introduced just provides the relations
,
,
, and
discussed above. Nevertheless, the functions introduced describe the invertible map of the probability distribution of one random variable
;
onto the joint probability distribution
of two random variables
and
, with
, for arbitrary integers
and
. In our new notation,
,
, and
. Taking into account this discussion, we introduce Bayes’ formula for the probability distribution
of one random variable; it reads
where functions
,
, and
are constructed in [
44].
The relation of the joint probability distribution
to the marginal probability distributions corresponds to the presence of correlations in the system with two random variables. Since we introduced an analog of two random variables and their marginal and conditional probability distributions, the relation of these distributions reflect correlations, which we called [
45] the hidden correlations for systems without subsystems. Such correlations exist for both classical and quantum systems.
Bayes’ formula can also be considered for the probability distribution of one random variable
, if the integer
and
, where
,
, and
are integers of the joint probability distribution of three random variables
, with
,
, and
. To do this, we use an analogous invertible map [
44] of functions
,
,
, and
, taking integer values
;
;
, defined by the relations
After substitution
,
,
, and
, we arrive at an analog of Bayes’ formula for one random variable
To illustrate this formula, we consider the example of , i.e., ; the map of integers reads , , , , , , , . This means that the probability distribution takes the values , , , , , , , and . The joint probability distribution has the values given by numbers , and Bayes’ formula obtained provides, e.g., the conditional probability
In the quantum case, the map of integers discussed provides a tool to consider the density matrix of qudit state , where , as the density matrix of a multipartite system. For example, at , the ququart density matrix can be interpreted as the density matrix of two two-level atoms, using the map discussed. In fact, if , we consider the density matrix as , where . Formally, we obtain the density matrix of the two-qubit system, which has the same numerical matrix elements that the 4×4-matrix ; this means that all numerical properties of the density matrix of two-qubit state and ququart state are identical.
This fact provides the possibility to consider formal entanglement properties of ququart system. For example, if we consider the pure state, , then the properties of linear entropy , with , where the indices are determined by the numbers according to the discussed map, characterize the entanglement degree in the bipartite system.
For the four-level atom, one has the same numerical characteristics. From the viewpoint of the matrix properties, the ququart state with the density matrix, having only different from zero matrix elements , provides the linear entropy corresponding to maximum entangled state of two qubits. The interpretation of this phenomenon for systems without subsystems is the presence of hidden correlations in the degrees of freedom of such systems, formally analogous to quantum correlations associated with the entanglement phenomenon, e.g., in bipartite systems of two qubits.
4. Probability Representation of Spin-1/2 States
We start our introduction of the probability representation of quantum system states with the consideration of spin-1/2 systems. These systems realize qubits and their states, as well as they are realized by two-level atom systems. In standard formulation of quantum mechanics, the spin-1/2 pure states are described by Pauli spinors, which are complex vectors
with two components, i.e.,
The vectors
belong to the two-dimensional Hilbert space
with the scalar product
The state vectors are normalized
, and
The density operators [
1,
2] of the pure states
in matrix form read
This matrix has the properties of Hermiticity
and nonnegativity
, as well as it has the unit trace Tr
.
The physical meaning of the state-vector components
and
and matrix elements of the density matrix
is determined by the relation of these values to operators of physical observables associated with spin projection operators
,
, and
onto the axes
x,
y, and
z, respectively. Here, the Pauli matrices
,
, and
are
and ℏ is the Planck constant. In this paper, we use dimensionless units and assume
. Three normalized eigenstates of the matrices
,
, and
with eigenvalues
have the form
The vectors are identified with spin-1/2 states, in which the spin projections on the axes
x,
y, and
z are equal to
. The corresponding density matrices read
Any density matrix describing mixed state of the spin-1/2 system
, such that
, Tr
, and
(i.e., the matrix has nonnegative eigenvalues), is determined by three real parameters. The physical meaning of these parameters can be clarified, if one considers the probabilities to obtain in the state with the density matrix
the spin projections
on the axes
x,
y,
z, which we denote as
,
, and
, respectively. The probabilities
,
, and
play a fundamental role in describing the spin-1/2 states and, as we show, they determine the density matrix of this system. These probabilities are given by the Born rule as follows:
The spin tomogram
introduced in [
16,
17], being equal to the conditional probability of spin projection
onto the direction given by the unit vector
, is expressed in terms of the probability vector
[
23], i.e.,
In view of relations (
18) employed as the equations for matrix elements of
, it is not difficult to rewrite the density matrix
in the form where its matrix elements are expressed in terms of the probabilities
,
, and
[
23,
24,
46,
47]; we have
The standard parameters of the Bloch sphere of qibit states , , and are connected with the probabilities through the bijective map ; .
If the spin-1/2 state is the pure state, its density matrix satisfies the constraint
that provides the condition for probabilities
In this case, the Pauli spinor of the pure state
can also be expressed in terms of the three probabilities satisfying condition (
21), i.e.,
For mixed states, the nonnegativity condition of the density matrix (nonnegativity condition for its eigenvalues) yields the inequality for the probabilities
,
, and
; it reads
As we see, all information on the spin-1/2 state density matrix (and its Pauli spinor describing the pure state
) is identified with three probabilities
satisfying inequality (
23).
This observation provides the possibility to consider again very old problem of quantum mechanics, namely: Is it possible to formulate the notion of quantum states employing only ingredients of classical probability theory of systems with fluctuations, such as the probability distributions?
We observed that for spin-1/2 systems it is enough to have three probability distributions given by the probability vectors
,
, and
Inequality (
23) is the only one quantum condition which should be respected by the probabilities. Thus, instead of vectors
and density matrices
, we can introduce the notion of spin-1/2 states, employing the set of three probability distributions or identify the state with the vector
. This means that all quantum phenomena like, e.g., quantum interference, can be described in terms of the probabilities. Here, it worth noting that the interference of classical probabilities was discussed in [
30,
31,
32]. For example, the superposition principle of quantum states, expressed in terms of normalized and orthogonal state vectors
and
by the equality
where
is again the state vector, can be formulated as “superposition” of probabilities.
We present the result in the form of a nonlinear addition of two vectors
where components of the vectors are the probabilities
,
, and
;
, satisfying equality (
21) for each value of
k. The notation of addition ⊕ is also associated with the probability vector
, where the components
satisfy equality (
21). These three probabilities are related to the superposition parameters as follows:
The three components of the vector
are functions of the three probability vectors
,
, and
; they read [
23,
24,
48]
and the third one
is determined in view of Equation (
21).
As an example of the superposition of vectors
and
given by (
24) and described by the probabilities
and
, respectively, we obtain
and
.
One can check that the obtained numbers
,
, and
are nonnegative; they satisfy equality (
21), which determines the probabilities
and
. The unitary evolution of the probabilities
,
, and
is described by the following transform of the matrix
(
20)
where the unitary 2×2 matrix
u is such that
and
with the Hamiltonian
From this evolution, which corresponds to the von Neumann equation
the evolution formula for the probabilities follows; it reads
This result is the solution of Equation (
31) written as the kinetic equation for probabilities
,
, and
. Equation (
32) describes the temporal evolution of the initial probabilities
,
, and
, which convert at time
t to probabilities
,
, and
satisfying relation (
23).
5. Quantum Observables and Classical-Coin Random Variables for Qubit Systems
The quantum observable for spin-1/2 system is described by the Hermitian matrices
It is possible [
34] to consider quantum statistical properties of this observable in the probability representation associating the matrix elements
with classical-like random variables. Introducing the notation
,
, and
, we can rewrite the mean value of the observable
in the form
where
This form shows that the mean values of the observable A calculated using the standard formalism of quantum mechanics provide the connection with classical-like means of three dichotomic random variables , , and , employing the values , , and , respectively.
The probability distributions for these values are given as , , and , which determine the density matrix of the qubit state. The quantum observable in the quantum suprematism representation has a classical analog.
We point out that the highest moments of the observable
A given as
,
are also expressed in terms of classical random variables
,
, and
, and the expressions reflect quantum correlations of classical-like random observables due to the nonnegativity condition of the density matrix (
23). One can also associate the matrix elements of arbitrary qudit observables with artificial-coin random variables.
6. Quantum Suprematism Representation
The relations described in the previous section can be illustrated in the quantum suprematism picture [
23,
24,
48], where the probabilities
,
, and
determine the Triada of Malevich’s squares. We construct a triangle with vertices
,
, and
, which are located on three simplexes—sides of equilateral triangle with the side length equal to
, and three squares (black, red, and white) determined by the sides of the triangle (
Figure 1).
We call these squares the Triada of Malevich’s squares following [
23,
24,
34,
46,
47]. The areas of the squares
,
, and
are
The sum of the areas of Malevich’s squares, being the function of probabilities
,
, and
, reads
The map of the Bloch sphere parameters ; , onto the probabilities can be used to express the area S in terms of the parameters .
For quantum states, the sum satisfies the inequality
[
47]. For classical-coin states, the sum can take maximum value
. In view of this fact, the quantization condition (
23) provides the possibility to clarify the difference of classical and quantum properties of the systems, which states are illustrated in the quantum suprematism representation by Triadas of Malevich’s squares.
The quantum states of spin-1/2 systems are described by spin tomogram
[
16], and the spin tomogram determines the density matrix of the spin state [
17]. The spin tomogram can be expressed by the probabilities
,
, and
; the tomogram is the probability to obtain the spin projection
m onto the direction in space determined by the unit vector
.
For spin-1/2, the spin projection
m takes two values
, and the tomogram (
19) provides
, where
and
. The tomogram
can be interpreted as the conditional probability distribution and, in view of this fact, one can obtain a new entropic inequality associated with this distribution. For example, the relative Tsallis entropy for two distributions
and
satisfies the inequality, which yields the new condition for probabilities,
In the limit
, this inequality provides the nonnegativity condition for the von Neumann relative entropy
The obtained new entropic inequalities for probabilities , , and can be checked in the experiments with superconducting qubits, as well as the maximum value for the sum of areas of Malevich’s squares.
7. Qutrit States in the Probability Representation
One can extend the consideration of suprematism representation to the case of any qudits, for example, qutrit states with the density matrix
. Using the tool [
23,
24,
47] of embedding this matrix into 4×4-matrix
, one can obtain three qubit-state density matrices applying the partial tracing procedure. These three-qubit density matrices are
Since these matrices can be expressed in terms of probabilities
the qutrit density matrix elements can also be expressed in terms of these probabilities
. In fact, we arrive at
in other notation, Equation (
41) is given in
Appendix B. The probabilities
satisfy inequality (
23) for
and also the nonnegativity condition for det
. The expression of matrix elements of the qutrit density matrix in terms of the probability distributions follows a new entropic inequality for the matrix elements:
This new inequality for the qutrit state comes from applying the nonnegativity condition of the Tsallis entropy expressed in terms the qubit-state tomogram by Equations (
37) and (
38) to the qutrit-state density matrix.
Now, we derive the other inequality for the probabilities determining the qutrit state (
41). First, we construct the qubit density matrices following [
49]
The subadditivity condition provides the inequality for the probabilities
,
; it reads
where
, being given by (
41), is determined by the probabilities.
In addition, the probabilities determining the qutrit states satisfy the Tsallis entropic inequality for the distance between the states
Inequalities (
42), (
45), and (
46) are compatible with the nonnegativity condition of the qutrit density matrix.
Since the qubit density matrices (
43) and (
44) are obtained from the same qutrit density matrix, the distance between these qubit states characterizes the hidden correlations between the artificial qubits associated with the qutrit density matrix (
41). The inequality can be checked in the experiments where the tomography of qutrit states is performed, e.g., in the experiments with superconducting circuits based on Josephson junction devices [
50,
51].
Since the qutrit states are described by the probabilities determining the states of three artificial qubits, the density matrix (
39) can be mapped onto the set of three Triadas of Malevich’s squares.
8. Pure Qutrit States and Their Superposition in the Probability Representation
In [
52,
53], the superposition principle of quantum states was formulated as a nonlinear addition rule of the pure-state density operators. Namely, given two density operators
and
satisfying the conditions
,
,
, and
. Then, for arbitrary real numbers
;
and the density operator
;
, the state with the density operator
of the form
satisfies the conditions
,
, and
.
The nonlinear addition rule (
47) corresponds to the interference formula of two orthogonal pure states
and
of the form
, where the phase
is coded by an artificial density operator
.
One can use generic Equation (
47) to formulate the superposition rule of qudit states expressed in terms of the probabilities; we obtain such a formula for two qutrit states. For this, we introduce three probability vectors, i.e., three probability distributions
,
, and
, where
, and the phase
is defined by the relations (
26),
This means that we arrive at the condition
equivalent to the condition (
21). To obtain the superposition rule for qutrit states in the probability representation, we employ the expression of density matrix (
41), introduce three 8-vectors
,
, and
of the form (see
Appendix B):
and identify three qutrit states
,
, and
with these vectors
,
, and
, since the density matrices are determined by their components. Formula (
47) provides the dependence of the probability vector
, which determines the state
, on the probabilities
,
,
, and
. The density matrix (
41) of the qutrit pure state satisfies the condition
, which provides the formula for the probabilities following from the equality of the matrix elements
written in terms of probabilities.
Thus, we formulated the result for qutrits. We rewrite Equation (
47) expressing the matrices
,
,
, and
in terms of probabilities. The equality of matrix elements provides the expression of the probability vectors
as functions of the probability vectors
,
,
, and
. The approach can be extended to other qudit states.
10. Conclusions
To conclude, we point out the main results of our study.
We introduced the notion of hidden correlations for systems without subsystems, using the explicitly written functions (
5)–(
7) and (
9)–(
12) providing the invertible map of the integers in both classical and quantum domains. This approach provides the possibility to write Bayes’ formula and introduce the conditional probability distribution for given probability distribution of one random variable (
22). Using the probability description of qubit states, we presented the solution of the von Neumann equation for the two-level atom as the transform of probabilities determining the state density matrix (
35).
We obtained new inequality for the qubit-state probabilities, which can be checked experimentally as the nonnegativity condition of classical relative Tsallis entropy—Equation (
38). The properties of generalized entropies discussed and employed in [
21,
22] can be also studied in view of the probability distributions determining the matrix elements of the density matrix. We will do this in future publications.
The tomographic reconstruction of the density matrix, e.g., in the experiments with superconductive circuits [
50,
51], provides the possibility to find the probabilities that should satisfy the inequalities.
In view of a generic form of the superposition principle formulated in terms of density matrices (
47), we presented the general approach to get the addition rule for classical probabilities determining the qutrit pure state. In this sense, we considered two related problems. One problem is to reformulate the standard description of quantum mechanics by means of wave functions and density matrices, using the Hilbert space formalism, in terms of classical probabilities; this can be done within the framework of quantum tomography [
15,
16,
17,
29]. The inverse approach is to consider classical probabilities associated with quantumlike objects in Hilbert spaces [
30,
31,
32]. In this paper, we concentrate on the presentation of the first problem and show that the quantum formalism of Hilbert spaces can be mapped bijectively onto the classical-like formalism of the probability theory and geometry of simplexes. New results obtained in this approach are the nonlinear addition rules of probabilities, giving the probabilities. Such rules correspond either to Born rules of quantum mechanics or the superposition principle of pure states of qudits.
In addition, we obtained an explicit form of the unitary evolution for probabilities determining the probabilities in terms of their transform by means of unitary matrices for two-level atoms.
To illustrate the map of Bloch sphere parametrization of qubit states onto the probability representation of the states, where the probabilities satisfy the quantum constraint inequalities, we employed the geometric representation of the probabilities, in view of the suprematism picture of Triadas of Malevich’ squares. The approach developed and its properties in the case of generic qudit states will be elaborated in the future publication.
In addition, we point out that the tomographic-probability approach was applied in signal analysis [
54,
55] due to the descriptions of the signals by an analog of the Wigner function proposed by Ville [
56]. The probability properties considered above can be used in the signal theory as well.