<p>Wei and Goldbart (Phys Rev A 68:042307, 2003) extend pure geometric measures <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(E_\textrm{pure}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mtext>pure</mtext> </msub> </math></EquationSource> </InlineEquation> to mixed states by using convex combinations. But, it is hard to calculate this geometric measure. So, Yang et al. (Phys Rev A 108:052217, 2003) define a new geometric measure <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(E_\textrm{mix}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mtext>mix</mtext> </msub> </math></EquationSource> </InlineEquation> for quantum mixed states as the minimum Frobenius distance between the quantum state and all separable mixed states. However, there is an important theoretical problem of whether this measure is a well-defined geometric measure. In this paper, we first theoretically prove that geometric measure <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(E_\textrm{mix}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mtext>mix</mtext> </msub> </math></EquationSource> </InlineEquation> of mixed states is well defined from the following three aspects: <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(E_\textrm{mix}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mtext>mix</mtext> </msub> </math></EquationSource> </InlineEquation> satisfies the criteria (C1)–(C4); separability is consistent under two different geometric measures for pure states; geometric measure <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(E_\textrm{mix}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mtext>mix</mtext> </msub> </math></EquationSource> </InlineEquation> exists. Further, we prove the existence of the optimal solution for the unconstrained best low-rank positive Hermitian approximation problem. Finally, through numerical experiments, we find that, for the <i>m</i>-partite <i>n</i>-dimensional isotropic state <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\rho _\textrm{iso}(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ρ</mi> <mtext>iso</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, there is a linear relationship between <i>F</i> and mixed geometric measure <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(E_\textrm{mix}(\rho _\textrm{iso}(F))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mtext>mix</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ρ</mi> <mtext>iso</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> if it is an entangled state, and provide a novel method for calculating the separable critical point <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(F_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A discussion on the well-definetness of a geometric measure for quantum mixed states

  • Mengyu He,
  • Guyan Ni,
  • Ying Li,
  • Mengshi Zhang

摘要

Wei and Goldbart (Phys Rev A 68:042307, 2003) extend pure geometric measures \(E_\textrm{pure}\) E pure to mixed states by using convex combinations. But, it is hard to calculate this geometric measure. So, Yang et al. (Phys Rev A 108:052217, 2003) define a new geometric measure \(E_\textrm{mix}\) E mix for quantum mixed states as the minimum Frobenius distance between the quantum state and all separable mixed states. However, there is an important theoretical problem of whether this measure is a well-defined geometric measure. In this paper, we first theoretically prove that geometric measure \(E_\textrm{mix}\) E mix of mixed states is well defined from the following three aspects: \(E_\textrm{mix}\) E mix satisfies the criteria (C1)–(C4); separability is consistent under two different geometric measures for pure states; geometric measure \(E_\textrm{mix}\) E mix exists. Further, we prove the existence of the optimal solution for the unconstrained best low-rank positive Hermitian approximation problem. Finally, through numerical experiments, we find that, for the m-partite n-dimensional isotropic state \(\rho _\textrm{iso}(F)\) ρ iso ( F ) , there is a linear relationship between F and mixed geometric measure \(E_\textrm{mix}(\rho _\textrm{iso}(F))\) E mix ( ρ iso ( F ) ) if it is an entangled state, and provide a novel method for calculating the separable critical point \(F_c\) F c .