We derive the spectral density of the equiprobable mixture of two random density matrices of a two-level quantum system. We also work out the spectral density of mixture under the so-called quantum addition rule. We use the spectral densities to calculate the average entropy of mixtures of random density matrices, and show that the average entropy of the arithmetic-mean-state of $n$ qubit density matrices randomly chosen from the Hilbert-Schmidt ensemble is never decreasing with the number $n$. We also get the exact value of the average squared fidelity. Some conjectures and open problems related to von Neumann entropy are also proposed.
Two-qubit X-matrices have been the subject of considerable recent attention, as they lend themselves more readily to analytical investigations than two-qubit density matrices of arbitrary nature. Here, we maximally exploit this relative ease of analysis to formally derive an exhaustive collection of results pertaining to the separability probabilities of generalized two-qubit X-matrices endowed with Hilbert-Schmidt and, more broadly, induced measures. Further, the analytical results obtained exhibit interesting parallels to corresponding earlier (but, contrastingly, not yet fully rigorous) res…
Using techniques from symplectic geometry, we prove that a pure state of three qubits is up to local unitaries uniquely determined by its one-particle reduced density matrices exactly when their ordered spectra belong to the boundary of the, so called, Kirwan polytope. Otherwise, the states with given reduced density matrices are parameterized, up to local unitary equivalence, by two real variables. Given inevitable experimental imprecisions, this means that already for three qubits a pure quantum state can never be reconstructed from single-particle tomography. We moreover show that knowledge…
We study 12 parameter families of two qubit density matrices, arising from a special class of two-fermion systems with four single particle states or alternatively from a four-qubit state with amplitudes arranged in an antisymmetric matrix. We calculate the Wooters concurrences and the negativities in a closed form and study their behavior. We use these results to show that the relevant entanglement measures satisfy the generalized Coffman-Kundu-Wootters formula of distributed entanglement. An explicit formula for the residual tangle is also given. The geometry of such density matrices is elab…
In this work we study a state which is a random mixture of a two qubit subsystem of a $N$-qubit W state and GHZ state. We analyze several possibilities like separability criterion (Peres-Horodecki criterion [14,15]), non violation of Bell's inequality [6]($M(ρ)<1$)and teleportation fidelity [1,2,3,4] ($(F_{max}>{2/3})$) for this state. We also obtain a relationship between $N$ (number of qubits) and $p$ (the classical probability of random mixture) for each of these possibilities. Finally we present a detailed analysis of all these possibilities for $N=3,4,5$ qubit systems. We also report that…
In a recent letter [Phys. Rev. Lett. 94, 100501 (2005)], we presented a scheme for generating pure entangled states of spatial qudits ($D$-dimensional quantum systems) by using the momentum transverse correlation of the parametric down-converted photons. In this work we discuss a generalization of this process to enable the creation of mixed states. With the technique proposed we experimentally generated a mixture of two spatial qubits.
We propose channel matrices by using unfolding matrices from their reduced density matrices. These channel matrices can be a criterion for a channel whether the channel can teleport or not any qubit state. We consider a special case, teleportation of the arbitrary two-qubit state by using the four-qubit channel. The four-qubit channel can only teleport if the rank of the related channel matrix is four.
Explicitly separable density matrices are constructed for all separable two-qubits states based on Hilbert-Schmidt (HS) decompositions. For density matrices which include only two-qubits correlations the number of HS parameters is reduced to 3 by using local rotations, and for two-qubits states which include single qubit measurements, the number of parameters is reduced to 4 by local Lorentz transformations. For both cases we related the absolute values of the HS parameters to probabilities, and the outer products of various Pauli matrices were transformed to pure states density matrices produ…
We derive Born's rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason's theorem only relies upon the consistent assignment of probabilities to the outcomes of projective measurements and their classical mixtures. This assumption is significantly weaker than those required for existing Gleason-type theorems valid in dimension two.
Explicit separable density matrices, for mixed two qubits states, are derived by the use of Hilbert Schmidt decompositions and Peres Horodecki criterion. A strongly separable two qubits mixed state is defined by multiplications of two density matrices given with pure states while weakly separable two qubits state is defined by multiplications of two density matrices which includes non-pure states. We find the sufficient and necessary condition for separability of two-qubits density matrices and show that under this condition the two-qubit density matrices are strongly separable.
Entanglement in incoherent mixtures of pure states of two qubits is considered via the concurrence measure. A set of pure states is optimal if the concurrence for any mixture of them is the weighted sum of the concurrences of the generating states. When two or three pure real states are mixed it is shown that 28.5% and 5.12% of the cases respectively, are optimal. Conditions that are obeyed by the pure states generating such optimally entangled mixtures are derived. For four or more pure states it is shown that there are no such sets of real states. The implications of these on superposition o…
The generalized n-qubit Greenberger-Horne-Zeilinger (GHZ) states and their local unitary equivalents are the only states of n qubits that are not uniquely determined among pure states by their reduced density matrices of n-1 qubits. Thus, among pure states, the generalized GHZ states are the only ones containing information at the n-party level. We point out a connection between local unitary stabilizer subgroups and the property of being determined by reduced density matrices.
We construct $\ell $-spin-flipping matrices from the coefficient matrices of pure states of $n$ qubits and show that the $\ell $-spin-flipping matrices are congruent and unitary congruent whenever two pure states of $n$ qubits are SLOCC and LU equivalent, respectively. The congruence implies the invariance of ranks of the $\ell $-spin-flipping matrices under SLOCC and then permits a reduction of SLOCC classification of n qubits to calculation of ranks of the $\ell $-spin-flipping matrices. The unitary congruence implies the invariance of singular values of the $\ell $-spin-flipping matrices un…
In this paper, we demonstrate that higher order singular value decomposition (HOSVD) can be used to identify special states in three qubits by local unitary (LU) operations. Since the matrix unfoldings of three qubits are related to their reduced density matrices, HOSVD simultaneously diagonalizes the one-body reduced density matrices of three qubits. From the all-orthogonality conditions of HOSVD, we computed the special states of three qubits. Furthermore, we showed that it is possible to construct a polytope that encapsulates all the special states of three qubits by LU operations with HOSV…
Hilbert-Schmidt (HS) decompositions and Frobenius norms are used to analyze biseparability of 3-qubit systems, with particular emphasis on density matrices with maximally disordered subsystems (MDS) and on the W state mixed with white noise. The biseparable form of a MDS density matrix is obtained by using the Bell states of a 2-qubit subsystem, multiplied by density matrices of the third qubit, which include the relevant HS parameters. Using our methods a sufficient condition and explicit biseparability of the W state mixed with white noise are given. They are compared with the sufficient con…
We study the Chern-Simons approach to the topological quantum computing. We use quantum $\mathcal{R}$-matrices as universal quantum gates and study the approximations of some one-qubit operations. We make some modifications to the known Solovay-Kitaev algorithm suitable for our particular problem.
We show that higher order inter-group covariances involving even number of qubits are necessarily positive semidefinite for N qubit separable states, which are completely symmetric under permutations of the qubits. This identification leads to a family of sufficient conditions of inseparability based on the negativity of 2kth order inter-group covariance matrices of symmetric N-qubit systems. These conditions have a simple structure and detect entanglement in all even partitions of the symmetric multiqubit system. The observables involved are feasible experimental quantities and do not demand …
Kochen-Specker (KS) theorem denies the possibility for the noncontextual hidden variable theories to reproduce the predictions of quantum mechanics. A set of projection operators (projectors) and bases used to show the impossibility of noncontextual definite values assignment is named as the KS set. Since one KS set with a mixture of 16 rank-1 projectors and 14 rank-2 projectors proposed in 1995 [Kernaghan M and Peres A 1995 Phys. Lett.\ A \textbf{198} 1] for a three-qubit system, there are plenty of the same type KS sets and we propose a systematic way to produce them. We also propose a proba…
In connection with optimal state determination for two qubits, the question was raised about the maximum number of pairwise complementary reductions. The main result of the paper tells that the maximum number is 4, that is, if A1, A2,... Ak are pairwise complementary (or quasi-orthogonal) subalgebras of the algebra of all 4x4$ matrices and they are isomorphic to the algebra of all 2x2 matrices, then k is at most 4. In the way to this result, contributions are made to the understanding of the structure of complementary reductions.
Explicit separability of general two qubits density matrices is related to Lorentz transformations. We use the 4-dimensional form R(u,v=0,1,2,3) of the Hilbert-Schmidt (HS) decomposition of the density matrix. For the generic case in which Lorentz transformations diagonalize R(u,v=0,1,2,3) (into s(0),s(1),s(2),s(3)) we give relations between the R parameters and the s parameters. In particular we consider two cases: a) Two qubits density matrices with one pair of linear terms in the HS decomposition. b) Two qubits density matrices with two or three symmetric pairs of linear terms. Some of the …
We treat 3-qubits states with maximally disordered subsystems, by using Hilbert-Schmidt decompositions.By using unfolding methods, the tensors are converted into matrices and by applying singular values decompositions to these matrices the number 27 of the Hilbert Schmidt parameters, is reduced to 9 and under the condition that the sum of absolute values of these parameters is not larger than 1, we conclude that the density matrix is fully separable . In another method we divide the 27 Hilbert Schmidt parameters into 9 triads where for each triad we calculate the Frobenius norm of 3 Hilbert-Sc…
We find an algebraic formula for the N-partite concurrence of N qubits in an X-matrix. X- matricies are density matrices whose only non-zero elements are diagonal or anti-diagonal when written in an orthonormal basis. We use our formula to study the dynamics of the N-partite entanglement of N remote qubits in generalized N-party Greenberger-Horne-Zeilinger (GHZ) states. We study the case when each qubit interacts with a partner harmonic oscillator. It is shown that only one type of GHZ state is prone to entanglement sudden death; for the rest, N-partite entanglement dies out momentarily. Algeb…
This paper is an appendix to a previous paper: quant-ph/0101123 ``Relaxation Method for Calculating Quantum Entanglement", by Robert Tucci. For certain mixtures of Bell basis states, namely the Werner States, we use the theoretical machinery of our previous paper to derive algebraic formulas for: the pure and mixed minimization entanglements (i.e., E_{pure} and E_{mixed}), their optimal decompositions and their entanglement operators. This complements and corroborates some results that were obtained numerically but not algebraically in our previous paper. Some of the algebraic formulas present…
The ability to simulate one Hamiltonian with another is an important primitive in quantum information processing. In this paper, a simulation method for arbitrary $σ_z \otimes σ_z$ interaction based on Hadamard matrices (quant-ph/9904100) is generalized for any pairwise interaction. We describe two applications of the generalized framework. First, we obtain a class of protocols for selecting an arbitrary interaction term in an n-qubit Hamiltonian. This class includes the scheme given in quant-ph/0106064v2. Second, we obtain a class of protocols for inverting an arbitrary, possibly unknown n-qu…
Random numbers are critical for any cryptographic application. However, the data that is flowing through the internet is not secure because of entropy deprived pseudo random number generators and unencrypted IoTs. In this work, we address the issue of lesser entropy of several data formats. Specifically, we use the large information space associated with the n-qubit permutation matrices to expand the entropy of any data without increasing the size of the data. We take English text with the entropy in the range 4 - 5 bits per byte. We manipulate the data using a set of n-qubit (n $\leq$ 10) per…
We study the conditions when mixtures of entangled pure states with maximally mixed one-qudit reduced density matrices remain entangled. We found that the resulting mixed state remains entangled when the number of entangled pure states to be mixed is less than or equal to the dimension of the pure states. For the latter case of mixing a number of pure states equal to their dimension, we found that the mixed state is entangled provided that the entangled pure states to be mixed are not equally weighted. We also found that one can restrict the set of pure states that one can mix from in order to…
A bosonic state is commonly considered nonclassical (or quantum) if its Glauber-Sudarshan $P$ function is not a classical probability density, which implies that only coherent states and their statistical mixtures are classical. We quantify the nonclassicality of a single qubit, defined by the vacuum and single-photon states, by applying the following four well-known measures of nonclassicality: (1) the nonclassical depth, $τ$, related to the minimal amount of Gaussian noise which changes a nonpositive $P$ function into a positive one; (2) the nonclassical distance $D$, defined as the Bures di…
A mixture of two kinds of identical bosons, species $1$ and species $2$, held in a harmonic potential and interacting by harmonic intra-species and inter-species particle-particle interactions is discussed. To prove Bose-Einstein condensation of the mixture three steps are needed. First, we integrate the all-particle density matrix, employing a four-parameter matrix recurrence relations, down to the lowest-order intra-species and inter-species reduced density matrices of the mixture. Second, the coupled Gross-Pitaevskii (mean-field) equations of the mixture are solved analytically. Third, we a…
We pursue a number of analytical directions, motivated to some extent initially by the possibility of developing a methodology for formally proving or disproving a certain conjecture of quantum-theoretical relevance (quant-ph/0308037). It asserts that the 15-dimensional volume occupied by the separable two-qubit density matrices is (\sqrt{2}-1)/3, as measured in terms of the statistical distinguishability metric (four times the Bures or minimal monotone metric). Somewhat disappointingly, however, the several various analyses that we report, though we hope of independent/autonomous interest, ap…
The stabilizer group of an n-qubit state ψis the set of all matrices of the form g=g_1\otimes\cdots\otimes g_n, with g_1,...,g_n being any 2x2 invertible complex matrices, that satisfy gψ=ψ. We show that for 5 or more qubits, except for a set of states of zero measure, the stabilizer group of multipartite entangled states is trivial; that is, containing only the identity element. We use this result to show that for 5 or more qubits, the action of deterministic local operations and classical communication (LOCC) can almost always be simulated simply by local unitary (LU) operations. This proves…
In the Bloch sphere picture, one finds the coefficients for expanding a single-qubit density operator in terms of the identity and Pauli matrices. A generalization to $n$ qubits via tensor products represents a density operator by a real vector of length $4^n$, conceptually similar to a statevector. Here, we study this approach for the purpose of quantum circuit simulation, including noise processes. The tensor structure leads to computationally efficient algorithms for applying circuit gates and performing few-qubit quantum operations. In view of variational circuit optimization, we study ``b…
This paper is a continuation of our previous paper [8], in which we have studied the dynamics of quantum correlations of two qubits embedded each into its own disordered multiconnected environment. We modeled the environment by random matrices of large size allowing for a possibility to describe meso- and even nanoenvironments. In this paper we also study the dynamics of quantum correlations of two qubits but embedded into a common environment which we also model by random matrices of large size. We obtain the large size limit of the reduced density matrix of two qubits. We then use an analog …
We establish a novel procedure to analyze the entanglement properties of extremal density matrices depending on the parameters of a finite dimensional Hamiltonian. It was applied to a general 2-qubit Hamiltonian which could exhibit Kramers degeneracy. This is done through the extremal density matrix formalism, which allows to extend the conventional variational principle to mixed states. By applying the positive partial transpose criterion in terms of the Correlation and Schlienz-Mahler matrices on the extremal density matrices, we demonstrate that it is possible to reach both pure and mixed e…
The entanglement characteristics of two qubits are encoded in the invariants of the adjoint action of SU(2) x SU(2) group on the space of density matrices defined as the space of positive semi-definite Hermitian matrices. The corresponding ring of polynomial invariants is studied. The special integrity basis for this ring is described and constraints on its elements due to the positive semi-definiteness of density matrices are given explicitly in the form of polynomial inequalities. The suggested basis is characterized by the property that only a minimal number of invariants, namely two primar…
In this paper, we present a general framework to solve a fundamental problem in Random Matrix Theory (RMT), i.e., the problem of describing the joint distribution of eigenvalues of the sum $\bsA+\bsB$ of two independent random Hermitian matrices $\bsA$ and $\bsB$. Some considerations about the mixture of quantum states are basically subsumed into the above mathematical problem. Instead, we focus on deriving the spectral density of the mixture of adjoint orbits of quantum states in terms of Duistermaat-Heckman measure, originated from the theory of symplectic geometry. Based on this method, we …
We study the noisy GHZ-W mixture. We demonstrate some necessary but not sufficient criteria for different classes of separability of these states. It turns out that the partial transposition criterion of Peres and the criteria of Gühne and Seevinck dealing with matrix elements are the strongest ones for different separability classes of this 2 parameter state. As a new result we determine a set of entangled states of positive partial transpose.
Hilbert-Schmidt (HS) decompositions are employed for analyzing systems of n-qubits, and a qubit with a qudit. Negative eigenvalues, obtained by partial-transpose (PT) plus local unitary transformations (PTU) for one qubit from the whole system, are used for indicating inseparability. A sufficient criterion for full separability of the n-qubits and qubit-qudit systems is given. We use the singular value decomposition (SVD) for improving the criterion for full separability. General properties of entanglement and separability are analyzed for a system of a qubit and a qudit and n-qubits systems, …
New inequalities for tomographic probability distributions and density matrices of qutrit states are obtained by means of generalization of qubit portrait method. The approach based on the qudit portrait method to get new entropic inequalities is proposed. It can be applied to the case of arbutrary nonnegative hermitian matrices including the density matrices of multipartite qudit states.
We construct coefficient matrices of size 2^l by 2^{n-l} associated with pure n-qubit states and prove the invariance of the ranks of the coefficient matrices under stochastic local operations and classical communication (SLOCC). The ranks give rise to a simple way of partitioning pure n-qubit states into inequivalent families and distinguishing degenerate families from one another under SLOCC. Moreover, the classification scheme via the ranks of coefficient matrices can be combined with other schemes to build a more refined classification scheme. To exemplify we classify the nine families of …
We propose a sufficient criterion ${S}=λ_1+λ_2-(λ_1-λ_2)^2<0$ to detect Einstein-Podolsky-Rosen steering for arbitrary two-qubit density matrix $ρ_{AB}$. Here $λ_1,λ_2$ are respectively the minimal and the second minimal eigenvalues of $ρ^{T_B}_{AB}$, which is the partial transpose of $ρ_{AB}$. By investigating several typical two-qubit states such as the isotropic state, Bell-diagonal state, maximally entangled mixed state, etc., we show this criterion works efficiently and can make reasonable predictions for steerability. We also present a mixed state of which steerability always exists, and…
Quantum entanglement is an enigmatic and powerful property that has attracted much attention due to its usefulness in new ways of communications, like quantum teleportation and quantum key distribution. Much effort has been done to quantify entanglement. Indeed, there exist some well-established separability criterion and analytical formulas for the entanglement of bipartite systems. In some of these, the crucial elements are the eigenvalues of the partial transpose of the density matrix. In this paper, we show that one can also have information about the entanglement of bipartite state, in C2…
We derive necessary and sufficient conditions for local unitary (LU) operators to leave invariant the set of 1-qubit reduced density matrices of a multi-qubit state. LU operators with this property are tensor products of {\it cyclic local} operators, and form a subgroup, the centralizer subgroup of the set of reduced states, of the Lie group $SU(2)^{\otimes n}$. The dimension of this subgroup depends on the type of reduced density matrices. It is maximum when all reduced states are maximally mixed and it is minimum when none of them is maximally mixed. For any given multi-qubit state, pure or …
In a recent Letter, Bennett and coworkers [1] argue that proofs of exotic quantum effects using closed timelike curves (CTC's) based on the work of Deutsch [2], or other nonlinear quantum dynamics, suffer from a fallacy that they call the "linearity trap," by which one cannot assume that a classical mixture of input states will lead to the same mixture of corresponding output states. We show that this prescription is inconsistent with the assumption that one can verify the postulated nonlinear evolution. Specifically, if some agent can empirically verify the deterministic nonlinear action of a…
We investigate the proportional relationships for spectrums and for SJNFs (Standard Jordan Normal Forms) of the matrices constructed from coefficient matrices of two SLOCC (stochastic local operations and classical communication) equivalent states of $n$ qubits. Invoking the proportional relationships for spectrums and for SJNFs, pure states of $n$ ($\geq 4$) qubits are partitioned into 12 groups and 34 families under SLOCC, respectively. Specially, it is true for four qubits.
By focusing on the X-matrix part of a density matrix of two qubits we provide an algebraic lower bound for the concurrence. The lower bound is generalized for cases beyond two qubits and can serve as a sufficient condition for non-separability for bipartite density matrices of arbitrary dimension. Experimentally, our lower bound can be used to confirm non-separability without performing a complete state tomography.
Proposals for nonlinear extenstions of quantum mechanics are discussed. Two different concepts of "mixed state" for any nonlinear version of quantum theory are introduced: (i) >genuine mixture< corresponds to operational "mixing" of different ensembles, and (ii) a mixture described by single density matrix without having a canonical operational possibility to pick out its specific convex decomposition is called here an >elementary mixture<. Time evolution of a class of nonlinear extensions of quantum mechanics is introduced. Evolution of an elementary mixture cannot be generally given by evolu…
In quantum information context, the groups generated by Pauli spin matrices, and Dirac gamma matrices, are known as the single qubit Pauli group P, and two-qubit Pauli group P2, respectively. It has been found [M. Socolovsky, Int. J. Theor. Phys. 43, 1941 (2004)] that the CPT group of the Dirac equation is isomorphic to P. One introduces a two-qubit entangling orthogonal matrix S basically related to the CPT symmetry. With the aid of the two-qubit swap gate, the S matrix allows the generation of the three-qubit real Clifford group and, with the aid of the Toffoli gate, the Weyl group W(E8) is …
An important variable in the 2017 analysis of Lovas and Andai, formally establishing the Hilbert-Schmidt separability probability conjectured by Slater of $\frac{29}{64}$ for the 9-dimensional convex set of two-rebit density matrices, was the ratio ($\varepsilon =\frac{σ_2}{σ_1}$) of the two singular values ($σ_1 \geq σ_2 \geq 0$) of $D_2^{\frac{1}{2}} D_1^{-\frac{1}{2}}$. There, $D_1$ and $D_2$ were the diagonal $2 \times 2$ blocks of a $4 \times 4$ two-rebit density matrix $ρ$. Working within the Lovas-Andai "separability function" ($\tildeχ_d(\varepsilon)$) framework, Slater was able to ver…
The nonnegativity of the determinant of the partial transpose of a two-qubit (4 x 4) density matrix is both a necessary and sufficient condition for its separability. While the determinant is restricted to the interval [0,1/256], the determinant of the partial transpose can range over [-1/16,1/256], with negative values corresponding to entangled states. We report here the exact values of the first nine moments of the probability distribution of the partial transpose over this interval, with respect to the Hilbert-Schmidt (metric volume element) measure on the nine-dimensional convex set of re…
By using the quantum Yang-Baxterization approach to the three different Hamiltonians, we investigate the behavior of the quantum Fisher information (QFI) under the actions of these Hamiltonians on the different two-qubit input states and by estimating the meaningful parameter $φ$. We address the overall estimation properties by evaluating the QFI for the whole system undergone different unitary evolution. The results show that the behavior of the QFI depends on the choice of the initial states. Choosing the optimal input states can improve the precision of quantum parameter estimation. On the …
