量子力学 において 、 負性は 計算が容易な 量子もつれ の尺度である。これは 分離可能性 の PPT基準 から導かれる尺度である。 [1]これは もつれ単調 であることが示されており [2] [3] 、したがってもつれの適切な尺度である。
意味
サブシステムの負性は、 密度行列の 観点から 次のように定義できます。
あ
{\displaystyle A}
ρ
{\displaystyle \rho}
いいえ
(
ρ
)
≡
|
|
ρ
Γ
あ
|
|
1
−
1
2
{\displaystyle {\mathcal {N}}(\rho )\equiv {\frac {||\rho ^{\Gamma _{A}}||_{1}-1}{2}}}
どこ:
ρ
Γ
あ
{\displaystyle \rho ^{\Gamma _{A}}}
はサブシステムに関する 部分転置 で ある
ρ
{\displaystyle \rho}
あ
{\displaystyle A}
|
|
バツ
|
|
1
=
トラ
|
バツ
|
=
トラ
バツ
†
バツ
{\displaystyle ||X||_{1}={\text{Tr}}|X|={\text{Tr}}{\sqrt {X^{\dagger }X}}}
は、演算子の トレースノルム または特異値の合計です 。
バツ
{\displaystyle X}
代替の同等の定義は、 の負の固有値の絶対値の合計です 。
ρ
Γ
あ
{\displaystyle \rho ^{\Gamma _{A}}}
いいえ
(
ρ
)
=
|
∑
λ
私
<
0
λ
私
|
=
∑
私
|
λ
私
|
−
λ
私
2
{\displaystyle {\mathcal {N}}(\rho )=\left|\sum _{\lambda _{i}}\right|=\sum _{i}}\frac {|\lambda _{i}}|-\lambda _{i}}}
すべての固有値は
どこにありますか。
λ
私
{\displaystyle \lambda_{i}}
プロパティ
は 凸関数 です :
ρ
{\displaystyle \rho}
いいえ
(
∑
私
p
私
ρ
私
)
≤
∑
私
p
私
いいえ
(
ρ
私
)
{\displaystyle {\mathcal {N}}(\sum _{i}p_{i}\rho _{i})\leq \sum _{i}p_{i}{\mathcal {N}}(\rho _{i})}
いいえ
(
ポ
(
ρ
)
)
≤
いいえ
(
ρ
)
{\displaystyle {\mathcal {N}}(P(\rho ))\leq {\mathcal {N}}(\rho )}
ここで、 任意の LOCC 演算は
P
(
ρ
)
{\displaystyle P(\rho )}
ρ
{\displaystyle \rho }
対数の負性
対数 的負性は 、簡単に計算できるエンタングルメントの尺度であり、抽出可能なエンタングルメントの上限である。 [4]
これは次のように定義される。
E
N
(
ρ
)
≡
log
2
|
|
ρ
Γ
A
|
|
1
{\displaystyle E_{N}(\rho )\equiv \log _{2}||\rho ^{\Gamma _{A}}||_{1}}
ここで は 部分転置演算であり、 は トレースノルム を表します 。
Γ
A
{\displaystyle \Gamma _{A}}
|
|
⋅
|
|
1
{\displaystyle ||\cdot ||_{1}}
それは次のように否定性に関連している: [1]
E
N
(
ρ
)
:=
log
2
(
2
N
+
1
)
{\displaystyle E_{N}(\rho ):=\log _{2}(2{\mathcal {N}}+1)}
プロパティ
対数の負性
状態がエンタングルされている場合でもゼロになることがあります(状態が PPT エンタングルされている 場合)。
他のほとんどのエンタングルメント測定のように、純粋状態のエンタングルメントのエントロピー には還元されません 。
テンソル積に対して加法である:
E
N
(
ρ
⊗
σ
)
=
E
N
(
ρ
)
+
E
N
(
σ
)
{\displaystyle E_{N}(\rho \otimes \sigma )=E_{N}(\rho )+E_{N}(\sigma )}
は漸近連続ではありません。つまり、 二部 ヒルベルト空間の列(通常は次元が増加する)に対して、 トレース距離 でに収束する (通常は が増加する ) 量子状態の列を持つことはできます が、その列は に収束しません 。
H
1
,
H
2
,
…
{\displaystyle H_{1},H_{2},\ldots }
ρ
1
,
ρ
2
,
…
{\displaystyle \rho _{1},\rho _{2},\ldots }
ρ
⊗
n
1
,
ρ
⊗
n
2
,
…
{\displaystyle \rho ^{\otimes n_{1}},\rho ^{\otimes n_{2}},\ldots }
n
i
{\displaystyle n_{i}}
E
N
(
ρ
1
)
/
n
1
,
E
N
(
ρ
2
)
/
n
2
,
…
{\displaystyle E_{N}(\rho _{1})/n_{1},E_{N}(\rho _{2})/n_{2},\ldots }
E
N
(
ρ
)
{\displaystyle E_{N}(\rho )}
蒸留可能なエンタングルメントの上限である
参考文献
このページは、GNU Free Documentation License 1.2 に基づいてライセンスされた Quantiki の資料を使用しています。
^ ab K. ジコウスキー; P. ホロデッキ; A.サンペラ。 M. ルーウェンスタイン (1998)。 「分離可能な状態の集合の体積」。 物理学。牧師 A. 58 (2): 883–92。 arXiv : quant-ph/9804024 。 ビブコード :1998PhRvA..58..883Z。 土井 :10.1103/PhysRevA.58.883。 S2CID 119391103。
^ J. Eisert (2001). 量子情報理論におけるエンタングルメント (論文). ポツダム大学. arXiv : quant-ph/0610253 . Bibcode :2006PhDT.......59E.
^ G. Vidal; RF Werner (2002). 「エンタングルメントの計算可能な測定」. Phys. Rev. A . 65 (3): 032314. arXiv : quant-ph/0102117 . Bibcode :2002PhRvA..65c2314V. doi :10.1103/PhysRevA.65.032314. S2CID 32356668.
^ MB Plenio (2005). 「対数的負性: 凸ではない完全なエンタングルメント単調性」. Phys. Rev. Lett . 95 (9): 090503. arXiv : quant-ph/0505071 . Bibcode :2005PhRvL..95i0503P. doi :10.1103/PhysRevLett.95.090503. PMID 16197196. S2CID 20691213.