Shao-Ming Fei, Xiu-Hong Gao, Xiao-Hong Wang, Zhi-Xi Wang, Ke Wu
Explicit sufficient and necessary conditions for separability of $N$-dimensional rank two multiparty quantum mixed states are presented. A nonseparability inequality is also given, for the case where one of the eigenvectors corresponding to nonzero eigenvalues of the density matrix is maximally entangled.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We first propose a new separability criterion based on algebraic-geometric invariants of bipartite mixed states introduced in [1], then prove that for all low ranks r <m+n-2, generic rank r mixed states in mxn systems have relatively high Schmidt numbers (thus entangled) by this separability criterion. This also means that the algebraic-geometric separability criterion proposed here can be used to dectect all low rank entangled mixed states outside a measure zero set.
We consider the separability of rank two quantum states on multiple quantum spaces with different dimensions. The sufficient and necessary conditions for separability of these multiparty quantum states are explicitly presented. A nonseparability inequality is also given, for the case where one of the eigenvectors corresponding to nonzero eigenvalues of the density matrix is maximally entangled.
The question of the generation of random mixed states is discussed, aiming for the computation of probabilistic characteristics of composite finite dimensional quantum systems. Particularly, we consider the generation of the random Hilbert-Schmidt and Bures ensembles of qubit and qutrit pairs and compute the corresponding probabilities to find a separable state among the states of a fixed rank.
We investigate separability and entanglement of mixed states in ${\cal C}^2\otimes{\cal C}^2\otimes{\cal C}^N$ three party quantum systems. We show that all states with positive partial transposes that have rank $\le N$ are separable. For the 3 qubit case (N=2) we prove that all states $ρ$ that have positive partial transposes and rank 3 are separable. We provide also constructive separability checks for the states $ρ$ that have the sum of the rank of $ρ$ and the ranks of partial transposes with respect to all subsystems smaller than 15N-1.
We consider low rank density operators $\varrho$ supported on a $M\times N$ Hilbert space for arbitrary $M$ and $N$ ($M\leq N$) and with a positive partial transpose (PPT) $\varrho^{T_A}\ge 0$. For rank $r(\varrho) \leq N$ we prove that having a PPT is necessary and sufficient for $\varrho$ to be separable; in this case we also provide its minimal decomposition in terms of pure product states. It follows from this result that there is no rank 3 bound entangled states having a PPT. We also present a necessary and sufficient condition for the separability of generic density matrices for which th…
We analyze the separability properties of density operators supported on $\C^2\otimes \C^N$ whose partial transposes are positive operators. We show that if the rank of $ρ$ equals N then it is separable, and that bound entangled states have rank larger than N. We also give a separability criterion for a generic density operator such that the sum of its rank and the one of its partial transpose does not exceed 3N. If it exceeds this number we show that one can subtract product vectors until decreasing it to 3N, while keeping the positivity of $ρ$ and its partial transpose. This automatically gi…
Exploiting the cone structure of the set of unnormalized mixed quantum states, we offer an approach to detect separability independently of the dimensions of the subsystems. We show that any mixed quantum state can be decomposed as $ρ=(1-λ)C_ρ+λE_ρ$, where $C_ρ$ is a separable matrix whose rank equals that of $ρ$ and the rank of $E_ρ$ is strictly lower than that of $ρ$. With the simple choice $C_ρ=M_{1}\otimes M_{2}$ we have a necessary condition of separability in terms of $λ$, which is also sufficient if the rank of $E_ρ$ equals 1. We give a first extension of this result to detect genuine e…
Explicit sufficient and necessary conditions for separability of higher dimensional quantum systems with rank two density matrices are given. A nonseparability inequality is also presented, for the case where one of the eigenvectors corresponding to nonzero eigenvalues is a maximally entangled state.
Based on the ranks of reduced density matrices, we derive necessary conditions for the separability of multiparticle arbitrary-dimensional mixed states, which are equivalent to sufficient conditions for entanglement. In a similar way we obtain necessary conditions for the separability of a given mixed state with respect to partitions of all particles of the system into subsets. The special case of pure states is discussed separately.
We prove that for many ranks r<2m-2, random rank r mixed states in bipartite mxm systems have relatively high Schmidt numbers, which is based on algebraic-geometric separability criterion proved in [1]. This also means that the algebraic-geometric separability criterion can be used to detect all low rank entangled mixed states outside a measure zero set.
By using the "subtracting projectors" method in proving the separability of PPT states on multiple quantum spaces, we derive a canonical form of PPT states in ${\Cb}^{K_1} \otimes {\Cb}^{K_2} \otimes ... \otimes {\Cb}^{K_m} \otimes {\Cb}^N$ composite quantum systems with rank $N$, from which a sufficient separability condition for these states is presented.
Paralleling our recent computationally-intensive (quasi-Monte Carlo) work for the case N=4 (quant-ph/0308037), we undertake the task for N=6 of computing to high numerical accuracy, the formulas of Sommers and Zyczkowski (quant-ph/0304041) for the (N^2-1)-dimensional volume and (N^2-2)-dimensional hyperarea of the (separable and nonseparable) N x N density matrices, based on the Bures (minimal monotone) metric -- and also their analogous formulas (quant-ph/0302197) for the (non-monotone) Hilbert-Schmidt metric. With the same seven billion well-distributed (``low-discrepancy'') sample points, w…
The separability and entanglement of quantum mixed states in $\Cb^2 \otimes \Cb^3 \otimes \Cb^N$ composite quantum systems are investigated. It is shown that all quantum states $ρ$ with positive partial transposes and rank $r(ρ)\leq N$ are separable.
We investigate the canonical forms of positive partial transposition (PPT) density matrices in ${\cal C}^2 \otimes {\cal C}^M \otimes {\cal C}^N$ composite quantum systems with rank $N$. A general expression for these PPT states are explicitly obtained. From this canonical form a sufficient separability condition is presented.
We give a canonical form of PPT states in ${\cal C}^2 \otimes {\cal C}^2\otimes {\cal C}^2 \otimes {\cal C}^N$ with rank=$N$. From this canonical form a necessary separable condition for these states is presented.
We use classical results from the theory of linear preserver problems to characterize operators that send the set of pure states with Schmidt rank no greater than k back into itself, extending known results characterizing operators that send separable pure states to separable pure states. We also provide a new proof of an analogous statement in the multipartite setting. We use these results to develop a bipartite version of a classical result about the structure of maps that preserve rank-1 operators and then characterize the isometries for two families of norms that have recently been studied…
This study clarifies the proper criteria to assess the modeling capacity of a general tensor model. The work analyze the problem based on the study of tensor ranks, which is not a well-defined quantity for higher order tensors. To process, the author introduces the separability issue to discuss the Cannikin's law of tensor modeling. Interestingly, a connection between entanglement studied in information theory and tensor analysis is established, shedding new light on the theoretical understanding for modeling capacity problems.
In this paper, we present the necessary and sufficient conditions of separability for bipartite pure states in infinite dimensional Hilbert spaces. Let $M$ be the matrix of the amplitudes of $\ketψ$, we prove $M$ is a compact operator. We also prove $\ketψ$ is separable if and only if $M$ is a bounded linear operator with rank 1, that is the image of $M$ is a one dimensional Hilbert space. So we have related the separability for bipartite pure states in infinite dimensional Hilbert spaces to an important class of bounded linear operators in Functional analysis which has many interesting proper…
Mutually unbiased bases (MUBs) and symmetric informationally complete (SIC) positive operator-valued measurements (POVMs) are two related topics in quantum information theory. They are generalized to mutually unbiased measurements (MUMs) and general symmetric informationally complete (GSIC) measurements, respectively, that are both not necessarily rank 1. We study the quantum separability problem by using these measurements and present separability criteria for bipartite systems with arbitrary dimensions and multipartite systems of multi-level subsystems. These criteria are proved to be more e…
It is pointed out that separability problem for arbitrary multi-partite states can be fully solved by a finite size, elementary recursive algorithm. In the worse case scenario, the underlying numerical procedure, may grow doubly exponentially with the state's rank. Nevertheless, we argue that for generic states, analysis of concurrence matrices essentially reduces the task of solving separability problem in $m \times n$ dimensions to solving a set of linear equations in about $\binom{mn+D-1}{D}$ variables, where $D$ decreases with $mn$ and for large $mn$ it should not exceed 4. Moreover, the s…
One of the most important problems in quantum information is the separability problem, which asks whether a given quantum state is separable. We investigate multipartite states of rank at most four which are PPT (i.e., all their partial transposes are positive semidefinite). We show that any PPT state of rank two or three is separable and has length at most four. For separable states of rank four, we show that they have length at most six. It is six only for some qubit-qutrit or multiqubit states. It turns out that any PPT entangled state of rank four is necessarily supported on a 3x3 or a 2x2…
Mutually unbiased measurements (MUMs) are generalized from the concept of mutually unbiased bases (MUBs) and include the complete set of MUBs as a special case, but they are superior to MUBs as they do not need to be rank one projectors. We investigate entanglement detection using sets of MUMs and derived separability criteria for $d$-dimensional multipartite systems, and arbitrary high-dimensional bipartitie and multipartite systems. These criteria provide experimental implementation in detecting entanglement of unknown quantum states.
Separability conditions for a bipartite quantum system of finite-dimensional subsystems are formulated in terms of Rényi and Tsallis entropies. Entropic uncertainty relations often lead to entanglement criteria. We propose new approach based on the convolution of discrete probability distributions. Measurements on a total system are constructed of local ones according to the convolution scheme. Separability conditions are derived on the base of uncertainty relations of the Maassen-Uffink type as well as majorization relations. On each of subsystems, we use a pair of sets of subnormalized vecto…
We present a necessary and sufficient product criterion for bipartite quantum states based on the rank of realignment matrix of density matrix. Then, this approach is generalized to multipartite systems. We first introduce the concept of semiproduct in a similar manner to the semiseparable and prove that semiproduct is equivalent to fully product. Therefore, a quantum state is bipartite product with respect to all possible partitions implies fully product which is different from the case of separability. For pure states, it can easily be seen that several necessary and sufficient separability …
Variational-toolbox-based separability detection of multiqubit states
本文提出基于变分工具箱的方法，通过分析最优参数化量子电路结构来检测纯态和混合态的k-可分离性，并引入自适应优化策略以减少低秩态的参数控制，最后通过数值演示验证有效性。
In this paper we give a general integral representation for separable states in the tensor product of infinite dimensional Hilbert spaces and provide the first example of separable states that are not countably decomposable. We also prove the structure theorem for the quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of M. Horodecki, Ruskai and Shor. In the finite dimensional case such channels can be characterized as having the Kraus representation with operators of rank 1. The above example implies existence of infinite-dimensional enta…
Entanglement is an important concept in quantum information, quantum communication, and quantum computing. We provide a geometrical analysis of entanglement and separability for all the rank-2 quantum mixed states: complete analysis for the bipartite states, and partial analysis for the multipartite states. For each rank-2 mixed state, we define its unique Bloch sphere, that is spanned by the eigenstates of its density matrix. We characterize those Bloch spheres into exactly five classes of entanglement and separability, give examples for each class, and prove that those are the only classes.
We investigate the problem of finding the optimal convex decomposition of a bipartite quantum state into a separable part and a positive remainder, in which the weight of the separable part is maximal. This weight is naturally identified with the degree of separability of the state. In a recent work, the problem was solved for two-qubit states using semidefinite programming. In this paper, we describe a procedure to obtain the optimal decomposition of a bipartite state of any finite dimension via a sequence of semidefinite relaxations. The sequence of decompositions thus obtained is shown to c…
With a number of special Hamiltonians, solutions of the Schrödinger equation may be found by separation of variables in more than one coordinate system. The class of potentials involved includes a number of important examples, including the isotropic harmonic oscillator and the Coulomb potential. Multiply separable Hamiltonians exhibit a number of interesting features, including "accidental" degeneracies in their bound state spectra and often classical bound state orbits that always close. We examine another potential, for which the Schrödinger equation is separable in both cylindrical and par…
The Dirac equation for the electron around a five-dimensional rotating black hole with two different angular momenta is separated into purely radial and purely angular equations. The general solution is expressed as a superposition of solutions derived from these two decoupled ordinary differential equations. By separating variables for the massive Klein-Gordon equation in the same space-time background, I derive a simple and elegant form for the Stackel-Killing tensor, which can be easily written as the square of a rank-three Killing-Yano tensor. I have also explicitly constructed a symmetry …
The Horodecki family employed the Jaynes maximum-entropy principle, fitting the mean (b_{1}) of the Bell-CHSH observable (B). This model was extended by Rajagopal by incorporating the dispersion (σ_{1}^2) of the observable, and by Canosa and Rossignoli, by generalizing the observable (B_α). We further extend the Horodecki one-parameter model in both these manners, obtaining a three-parameter (b_{1},σ_{1}^2,α) two-qubit model, for which we find a highly interesting/intricate continuum (-\infty < α< \infty) of Hilbert-Schmidt (HS) separability probabilities -- in which, the golden ratio is featu…
We implement a procedure-based on the Wishart-Laguerre distribution-recently outlined by {Ż}yczkowski and Khvedelidze, Rogojin and Abgaryan, for the generation of random (complex or real) $N \times N$ density matrices of rank $k \leq N$ with respect to Hilbert-Schmidt (HS) measure. In the complex case, one commences with a Ginibre matrix $A$ of dimensions $k \times k+ 2 (N-k)$, while for a real scenario, one employs a Ginibre matrix $B$ of dimensions $k \times k+1+ 2 (N-k)$. Then, the $k \times k$ product $A A^{\dagger}$ or $B B^T$ is diagonalized-padded with zeros to size $N \times N$-and rot…
The operator Schmidt rank is the minimum number of terms required to express a state as a sum of elementary tensor factors. Here we provide a new proof of the fact that any bipartite mixed state with operator Schmidt rank two is separable, and can be written as a sum of two positive semidefinite matrices per site. Our proof uses results from the theory of free spectrahedra and operator systems, and illustrates the use of a connection between decompositions of quantum states and decompositions of nonnegative matrices. In the multipartite case, we prove that any Hermitian Matrix Product Density …
Symmetry plays an important role in the field of quantum mechanics. In this paper, we consider a subclass of symmetric quantum states in the multipartite system $N^{\otimes d}$, namely, the completely symmetric states, which are invariant under any index permutation. It was conjectured by L. Qian and D. Chu [arXiv:1810.03125 [quant-ph]] that the completely symmetric states are separable if and only if it is a convex combination of symmetric pure product states. In this paper, we proved that this conjecture is true for both bipartite and multipartite cases. And we proved the completely symmetri…
Sufficient criteria for absolute separability in arbitrary dimensions via linear map inverses
本文利用线性映射及其逆提出任意维数量子态绝对可分性的新充分判据与极点，并结合凸几何优化及绝对PPT分析，将结果推广至多体系统。
We explore the relation between the rank of a bipartite density matrix and the existence of bound entanglement. We show a relation between the rank, marginal ranks, and distillability of a mixed state and use this to prove that any rank n bound entangled state must have support on no more than an n \times n Hilbert space. A direct consequence of this result is that there are no bipartite bound entangled states of rank two. We also show that a separability condition in terms of a quantum entropy inequality is associated with the above results. We explore the idea of how many pure states are nee…
We study the general representations of positive partial transpose (PPT) states in ${\cal C}^K \otimes {\cal C}^M \otimes {\cal C}^N$. For the PPT states with rank-$N$ a canonical form is obtained, from which a sufficient separability condition is presented.
Experimental determination of entanglement is important not only to characterize the state and use it in quantum information, but also in understanding complicated phenomena such as phase transitions. In this paper we show that in many cases, it is possible to determine entanglement of a two qubit state, as represented by concurrence, with a few observables, most of which are local. In particular, rank 1 and rank 2 states need exclusively measurement of local observables while rank 3 states need measurement of just one correlation observable in addition to local observables. Only the rank 4 st…
Separability and entanglement in superpositions of quantum states
本文研究纯纠缠态与纯乘积态在非零振幅叠加下的可分性，证明高 Schmidt 秩时叠加恒纠缠，并提出有条件与无条件不可分离性以服务量子通信和局域区分。
Steerability of Rank-2 Two-Qubit Entangled States
本文提出一个类似于 Gisin 定理的定理，证明所有秩为 2 的纠缠态具有 EPR 引导性，为量子信息提供了新的资源。
It is shown that the Dirac equation is separable by variables in a five-dimensional rotating Kerr-(anti-)de Sitter black hole with two independent angular momenta. A first order symmetry operator that commutes with the Dirac operator is constructed in terms of a rank-three Killing-Yano tensor whose square is a second order symmetric Stackel-Killing tensor admitted by the five-dimensional Kerr-(anti-)de Sitter spacetime. We highlight the construction procedure of such a symmetry operator. In addition, the first law of black hole thermodynamics has been extended to the case that the cosmological…
Many important sets of normalized states in a multipartite quantum system of finite dimension d, such as the set S of all separable states, are real semialgebraic sets. We compute dimensions of many such sets in several low-dimensional systems. By using dimension arguments, we show that there exist separable states which are not convex combinations of d or less pure product states. For instance, such states exist in bipartite M x N systems when (M-1)(N-1)>1. This solves an open problem proposed in [J. Mod. Opt. 47 (2000), 377-385]. We prove that there exist a separable state rho and a pure pro…
It is NP-complete to find non-negative factors $W$ and $H$ with fixed rank $r$ from a non-negative matrix $X$ by minimizing $\|X-WH^\top\|_F^2$. Although the separability assumption (all data points are in the conical hull of the extreme rows) enables polynomial-time algorithms, the computational cost is not affordable for big data. This paper investigates how the power of quantum computation can be capitalized to solve the non-negative matrix factorization with the separability assumption (SNMF) by devising a quantum algorithm based on the divide-and-conquer anchoring (DCA) scheme. The design…
Separability criterion using one observable for special states: Entanglement detection via quantum quench
本文提出利用态的先验信息，仅通过单一基中的连通关联测量即可充要判定一类两体量子态的可分性，并借助量子猝灭将其推广至横场伊辛模型等无守恒荷系统。
A Hamiltonian-Level Certificate for Network-Free Distributed Quantum Simulation:Exact Tensor-Separability Criterion and Approximate Residual Bounds
针对分布式量子模拟，提出哈密顿量级证书，通过跨模块残差判据评估精确可分离性，并给出近似误差界，支持多达20量子比特的块因子化模拟。
It is known that he bipartite quantum states, with rank strictly smaller than the maximum of the ranks of its two reduced states, are distillable by local operations and classical communication. Our first main result is that this is also true for NPT states with rank equal to this maximum. (A state is PPT if the partial transpose of its density matrix is positive semidefinite, and otherwise it is NPT.) This was conjectured first in 1999 in the special case when the two local ranks are equal. Our second main result provides a complete solution of the separability problem for bipartite states of…
Extensive numerical integration results lead us to conjecture that the silver mean, that is, s = \sqrt{2}-1 = .414214 plays a fundamental role in certain geometries (those given by monotone metrics) imposable on the 15-dimensional convex set of two-qubit systems. For example, we hypothesize that the volume of separable two-qubit states, as measured in terms of (four times) the minimal monotone or Bures metric is s/3, and 10s in terms of (four times) the Kubo-Mori monotone metric. Also, we conjecture, in terms of (four times) the Bures metric, that that part of the 14-dimensional boundary of se…
The aim of this paper is to investigate the separability of a spin-1/2 spinor field in a five-dimensional rotating, charged black hole constructed by Cvetic and Youm in string theory, in the case when three U(1) charges are set equal. This black hole solution represents a natural generalization of the famous four-dimensional Kerr-Newman solution to five dimensions with the inclusion of a Chern-Simons term to the Maxwell equation. It is shown that the usual Dirac equation can not be separated by variables in this general spacetime with two independent angular momenta. However if one supplements…
We present a quasipolynomial-time algorithm for solving the weak membership problem for the convex set of separable, i.e. non-entangled, bipartite density matrices. The algorithm decides whether a density matrix is separable or whether it is eps-away from the set of the separable states in time exp(O(eps^-2 log |A| log |B|)), where |A| and |B| are the local dimensions, and the distance is measured with either the Euclidean norm, or with the so-called LOCC norm. The latter is an operationally motivated norm giving the optimal probability of distinguishing two bipartite quantum states, each shar…
Tensor product operators on finite dimensional Hilbert spaces are studied. The focus is on bilinear tensor product operators. A tensor product operator on a pair of Hilbert spaces is a maximally general bilinear operator into a target Hilbert space. By 'maximally general' is meant every bilinear operator from the same pair of spaces to any Hilbert space factors into the composition of the tensor product operator with a uniquely determined linear mapping on the target space. There are multiple distinct tensor product operators of the same type; there is no "the" tensor product. Distinctly diffe…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。