BZPEER

preprint2022arXiv

A computable multipartite multimode Gaussian correlation measure and the monogamy relation for continuous-variable systems

In this paper, a computable multipartite multimode Gaussian quantum correlation measure ${\mathcal M}^{(k)}$ is proposed for any $k$ -partite continuous-variable (CV) systems with $k\geq 2$ . ${\mathcal M}^{(k)}$ depends only on the covariance matrix of CV states, is invariant under any permutation of subsystems, is a quantification without ancilla problem, nonincreasing under $k$ -partite local Gaussian channels (particularly, invariant under $k$ -partite local Gaussian unitary operations), vanishes on $k$ -partite product states. For a $k$ -partite Gaussian state $ρ$ , ${\mathcal M}^{(k)}(ρ)=0$ if and only if $ρ$ is a $k$ -partite product state. Thus, for the bipartite case, ${\mathcal M}={\mathcal M}^{(2)}$ is an accessible replacement of the Gaussian quantum discord and Gaussian geometric discord. Moreover, ${\mathcal M}^{(k)}$ satisfies the unification condition, hierarchy condition that a multipartite quantum correlation measure should obey. ${\mathcal M}^{(k)}$ is not bipartite like monogamous, but, ${\mathcal M}^{(k)}$ is complete monogamous and tight complete monogamous.

preprint2015arXiv

Coherence convertibility for mixed states

In this paper, by providing a class of coherence measures in finite dimensional systems, a sufficient and necessary condition for the existence of coherence transformations that convert one probability distribution of any pure states into another one is obtained.

preprint2014arXiv

Lie ring isomorphisms between nest algebras on Banach spaces

Let ${\mathcal N}$ and ${\mathcal M}$ be nests on Banach spaces $X$ and $Y$ over the (real or complex) field $\mathbb F$ and let $\mbox{\rm Alg}{\mathcal N}$ and $\mbox{\rm Alg}{\mathcal M}$ be the associated nest algebras, respectively. It is shown that a map $Φ:{\rm Alg}{\mathcal N}\rightarrow{\rm Alg}{\mathcal M}$ is a Lie ring isomorphism (i.e., $Φ$ is additive, Lie multiplicative and bijective) if and only if $Φ$ has the form $Φ(A) = TAT^{-1} + h(A)I$ for all $A\in \mbox{\rm Alg}{\mathcal N}$ or $Φ(A)=-TA^*T^{-1}+h(A)I$ for all $A\in \mbox{\rm Alg}{\mathcal N}$, where $h$ is an additive functional vanishing on all commutators and $T$ is an invertible bounded linear or conjugate linear operator when $\dim X=\infty$ ; $T$ is a bijective $τ$ -linear transformation for some field automorphism $τ$ of $\mathbb F$ when $\dim X<\infty$ .

preprint2014arXiv

Maps preserving peripheral spectrum of generalized Jordan products of operators

Let $X_1$ and $X_2$ be complex Banach spaces with dimension at least three, $\mathcal{A}_1$ and $\mathcal{A}_2$ be standard operator algebras on $X_1$ and $X_2$ , respectively. For $k\geq2$ , let $(i_1,...,i_m)$ be a sequence with terms chosen from $\{1,\ldots,k\}$ and assume that at least one of the terms in $(i_1,\ldots,i_m)$ appears exactly once. Define the generalized Jordan product $T_1\circ T_2\circ\cdots\circ T_k=T_{i_1} T_{i_2}\cdots T_{i_m}+T_{i_m}\cdots T_{i_2} T_{i_1}$ on elements in $\mathcal{A}_i$ . This includes the usual Jordan product $A_1A_2+A_2A_1$ , and the Jordan triple $A_1A_2A_3+A_3A_2A_1$ . Let $Φ:\mathcal{A}_1\rightarrow\mathcal{A}_2$ be a map with range containing all operators of rank at most three. It is shown that $Φ$ satisfies that $σ_π(Φ(A_1)\circ\cdots\circΦ(A_k))=σ_π(A_1\circ\cdots\circ A_k)$ for all $A_1, \ldots, A_k$ , where $σ_π(A)$ stands for the peripheral spectrum of $A$ , if and only if $Φ$ is a Jordan isomorphism multiplied by an $m$ th root of unity.

preprint2013arXiv

Characterizing derivations for any nest algebras on Banach spaces by their behaviors at an injective operator

Let ${\mathcal N}$ be a nest on a complex Banach space $X$ and let $\mbox{ Alg}{\mathcal N}$ be the associated nest algebra. We say that an operator $Z\in \mbox{ Alg}{\mathcal N}$ is an all-derivable point of $\mbox{ Alg}{\mathcal N}$ if every linear map $δ$ from $\mbox{ Alg}{\mathcal N}$ into itself derivable at $Z$ (i.e. $δ$ satisfies $δ(A)B+Aδ(B)=δ(Z)$ for any $A,B \in \mbox{ Alg}{\mathcal N}$ with $AB=Z$ ) is a derivation. In this paper, it is shown that every injective operator and every operator with dense range in $\mbox{Alg}{\mathcal N}$ are all-derivable points of $\mbox{Alg}{\mathcal N}$ without any additional assumption on the nest.

preprint2013arXiv

Criteria and new classes of k-positive maps

We study k-positive maps on operators. Proofs are given to different positivity criteria. Special attention is on positive maps arising in the study of quantum information science. Results of other researchers are extended and improved. New classes of positive maps are constructed. Some open questions are answered.

preprint2013arXiv

Optimality of a class of entanglement witnesses for $3\otimes 3$ systems

Let $Φ_{t,π}: M_3({\mathbb C}) \rightarrow M_3({\mathbb C})$ be a linear map defined by $Φ_{t,π}(A)=(3-t)\sum_{i=1}^3E_{ii}AE_{ii}+t\sum_{i=1}^3E_{i,π(i)}AE_{i,π(i)}^†-A$ , where $0\leq t\leq 3$ and $π$ is a permutation of $(1,2,3)$ . We show that the Hermitian matrix $W_{Φ_{t,π}}$ induced by $Φ_{t,π}$ is an optimal entanglement witness if and only if $t=1$ and $π$ is cyclic.

preprint2012arXiv

Characterization of Lie Derivations on von Neumann Algebras

Let ${\mathcal M}$ be a von Neumann algebra without central summands of type $I_1$ and $ξ\in{\mathbb C}$ a scalar. It is shown that an additive map $L$ on $\mathcal M$ satisfies $L(AB-ξBA)=L(A)B-ξBL(A)+L(B)A-ξAL(B)$ whenever $A,B\in{\mathcal M}$ with $AB=0$ if and only if one of the following statements holds: (1) $ξ=1$ , $L=φ+f$ , where $φ$ is an additive derivation on $\mathcal M$ and $f$ is an additive map from $\mathcal M$ into its center vanishing on $[A,B]$ with $AB=0$ ; (2) $ξ=0$ , $L(I)\in{\mathcal Z}({\mathcal M})$ and there exists an additive derivation $φ$ such that $L(A)=φ(A)+L(I)A$ for all $A$ ; (3) $ξ=-1$ , $L$ is a Jordan derivation; (4) $ξ$ is rational and $ξ\not=0, \pm1$ , $L$ is an additive derivation; (5) $ξ$ is not rational, there exists an additive derivation $φ$ satisfying $φ(ξI)=ξL(I)$ such that $L(A)=φ(A) + L(I)A$ for all $A \in{\mathcal M}$ . A linear map $L$ on $\mathcal M$ satisfies $L(AB-ξBA)=L(A)B-ξBL(A)+L(B)A-ξAL(B)$ whenever $A,B\in{\mathcal M}$ with $AB=0$ if and only if there exists a $T\in\mathcal M$ and a linear map $f:{\mathcal M}\rightarrow{\mathcal Z}({\mathcal M})$ vanishing on $[A,B]$ with $AB=0$ such that (i) $ξ=1$ , $L(A)=AT-TA+f(A)$ for all $A\in\mathcal M$ ; (ii) $ξ=0$ , $L(I)\in{\mathcal Z}({\mathcal M})$ and $L(A)=AT-(T-L(I))A$ for all $A\in{\mathcal M}$ ; (iii) $ξ\not=0,1$ , $L(A)=AT-TA$ for all $A \in{\mathcal M}$ .

preprint2012arXiv

Spectrum nonincreasing maps on matrices

Maps $Φ$ which do not increase the spectrum on complex matrices in a sense that $\Sp(Φ(A)-Φ(B))\subseteq\Sp(A-B)$ are classified.

preprint2012arXiv

Strong skew commutativity preserving maps on von Neumann algebras

Let ${\mathcal M}$ be a von Neumann algebra without central summands of type $I_1$ . Assume that $Φ:{\mathcal M}\rightarrow {\mathcal M}$ is a surjective map. It is shown that $Φ$ is strong skew commutativity preserving (that is, satisfies $Φ(A)Φ(B)-Φ(B)Φ(A)^*=AB-BA^*$ for all $A,B\in{\mathcal M}$ ) if and only if there exists some self-adjoint element $Z$ in the center of ${\mathcal M}$ with $Z^2=I$ such that $Φ(A)=ZA$ for all $A\in{\mathcal M}$ . The strong skew commutativity preserving maps on prime involution rings and prime involution algebras are also characterized.

preprint2011arXiv

A characterization of optimal entanglement witnesses

In this paper, we present a characterization of optimal entanglement witnesses in terms of positive maps and then provide a general method of checking optimality of entanglement witnesses. Applying it, we obtain new indecomposable optimal witnesses which have no spanning property. These also provide new examples which support a recent conjecture saying that the so-called structural physical approximations to optimal positive maps (optimal entanglement witnesses) give entanglement breaking maps (separable states).

preprint2011arXiv

Fidelity of states in infinite dimensional quantum systems

In this paper we discuss the fidelity of states in infinite dimensional systems, give an elementary proof of the infinite dimensional version of Uhlmann's theorem, and then, apply it to generalize several properties of the fidelity from finite dimensional case to infinite dimensional case. Some of them are somewhat different from those for finite dimensional case.

preprint2010arXiv

Additive Lie ( $ξ$ -Lie) Derivations and Generalized Lie ( $ξ$ -Lie) Derivations on Prime Algebras

The additive (generalized) $ξ$ -Lie derivations on prime algebras are characterized. It is shown, under some suitable assumption, that an additive map $L$ is an additive (generalized) Lie derivation if and only if it is the sum of an additive (generalized) derivation and an additive map from the algebra into its center vanishing all commutators; is an additive (generalized) $ξ$ -Lie derivation with $ξ\not=1$ if and only if it is an additive (generalized) derivation satisfying $L(ξA)=ξL(A)$ for all $A$ . These results are then used to characterize additive (generalized) $ξ$ -Lie derivations on several operator algebras such as Banach space standard operator algebras and von Neumman algebras.

preprint2010arXiv

Characterization of Generalized Jordan Higher Derivations on Triangular rings

Let $\mathcal A$ and $\mathcal B$ be unital rings and $\mathcal M$ be a $(\mathcal A, \mathcal B)$ -bimodule, which is faithful as a left $\mathcal A$ -module and also as a right $\mathcal B$ -module. Let ${\mathcal U}={\rm Tri}(\mathcal A, \mathcal M, \mathcal B)$ be the associated triangular ring. It is shown that every additive generalized Jordan (triple) higher derivation on $\mathcal U$ is a generalized higher derivation.

preprint2010arXiv

Constructing entanglement witnesses for infinite-dimensional systems

It is shown that, every entangled state in an infinite-dimensional composite system has a simple entanglement witness of the form $αI+T$ with $α$ a nonnegative number and $T$ a finite rank self-adjoint operator. We also provide two methods of constructing entanglement witness and apply them to obtain some entangled states that cannot be detected by the PPT criterion and the realignment criterion.

preprint2010arXiv

Detecting entanglement of states by entries of their density matrices

For any bipartite systems, a universal entanglement witness of rank-4 for pure states is obtained and a class of finite rank entanglement witnesses is constructed. In addition, a method of detecting entanglement of a state only by entries of its density matrix with respect to some product basis is obtained.

preprint2010arXiv

Positive finite rank elementary operators and characterizing entanglement of states

In this paper, a class of indecomposable positive finite rank elementary operators of order $(n,n)$ are constructed. This allows us to give a simple necessary and sufficient criterion for separability of pure states in bipartite systems of any dimension in terms of positive elementary operators of order $(2,2)$ and get some new mixed entangled states that can not be detected by the positive partial transpose (PPT) criterion and the realignment criterion.

Xiaofei Qi

Research overview

Is this your work?

17 publications

A computable multipartite multimode Gaussian correlation measure and the monogamy relation for continuous-variable systems

Coherence convertibility for mixed states

Lie ring isomorphisms between nest algebras on Banach spaces

Maps preserving peripheral spectrum of generalized Jordan products of operators

Characterizing derivations for any nest algebras on Banach spaces by their behaviors at an injective operator

Criteria and new classes of k-positive maps

Optimality of a class of entanglement witnesses for $3\otimes 3$ systems

Characterization of Lie Derivations on von Neumann Algebras

Spectrum nonincreasing maps on matrices

Strong skew commutativity preserving maps on von Neumann algebras

A characterization of optimal entanglement witnesses

Fidelity of states in infinite dimensional quantum systems

Additive Lie ( $ξ$ -Lie) Derivations and Generalized Lie ( $ξ$ -Lie) Derivations on Prime Algebras

Characterization of Generalized Jordan Higher Derivations on Triangular rings

Constructing entanglement witnesses for infinite-dimensional systems

Detecting entanglement of states by entries of their density matrices

Positive finite rank elementary operators and characterizing entanglement of states

See the researcher in context

Building this map preview

Xiaofei Qi

Research overview

Is this your work?

17 publications

A computable multipartite multimode Gaussian correlation measure and the monogamy relation for continuous-variable systems

Coherence convertibility for mixed states

Lie ring isomorphisms between nest algebras on Banach spaces

Maps preserving peripheral spectrum of generalized Jordan products of operators

Characterizing derivations for any nest algebras on Banach spaces by their behaviors at an injective operator

Criteria and new classes of k-positive maps

Optimality of a class of entanglement witnesses for 3⊗33\otimes 33⊗3 systems

Characterization of Lie Derivations on von Neumann Algebras

Spectrum nonincreasing maps on matrices

Strong skew commutativity preserving maps on von Neumann algebras

A characterization of optimal entanglement witnesses

Fidelity of states in infinite dimensional quantum systems

Additive Lie (ξξξ-Lie) Derivations and Generalized Lie (ξξξ-Lie) Derivations on Prime Algebras

Characterization of Generalized Jordan Higher Derivations on Triangular rings

Constructing entanglement witnesses for infinite-dimensional systems

Detecting entanglement of states by entries of their density matrices

Positive finite rank elementary operators and characterizing entanglement of states

See the researcher in context

Building this map preview

Optimality of a class of entanglement witnesses for $3\otimes 3$ systems

Additive Lie ( $ξ$ -Lie) Derivations and Generalized Lie ( $ξ$ -Lie) Derivations on Prime Algebras