ウェルナー状態 [ 1] は、形のすべて の
ユニタリ演算子 に対して 不変で ある × 次元の二部 量子 状態 密度行列である 。つまり、
d
2
{\displaystyle d^{2}}
d
2
{\displaystyle d^{2}}
あなた
⊗
あなた
{\displaystyle U\otimes U}
ρ
あ
B
{\displaystyle \rho_{AB}}
ρ
あ
B
=
(
あなた
⊗
あなた
)
ρ
あ
B
(
あなた
†
⊗
あなた
†
)
{\displaystyle \rho _{AB}=(U\otimes U)\rho _{AB}(U^{\dagger }\otimes U^{\dagger })}
d 次元ヒルベルト空間 に作用する すべてのユニタリ演算子 Uに対して。これらの状態は、1989 年に Reinhard F. Werner によって初めて開発されました。
一般的な定義
すべてのウェルナー状態は対称部分空間と反対称部分空間への 射影 の混合であり 、次元に加えて相対的な重みが 状態を定義する主なパラメータです 。
わ
あ
B
(
p
、
d
)
{\displaystyle W_{AB}^{(p,d)}}
p
∈
[
0
、
1
]
{\displaystyle p\in [0,1]}
d
≥
2
{\displaystyle d\geq 2}
わ
あ
B
(
p
、
d
)
=
p
2
d
(
d
+
1
)
ポ
あ
B
シン
+
(
1
−
p
)
2
d
(
d
−
1
)
ポ
あ
B
として
、
{\displaystyle W_{AB}^{(p,d)}=p{\frac {2}{d(d+1)}}P_{AB}^{\text{sym}}+(1-p){\frac {2}{d(d-1)}}P_{AB}^{\text{as}},}
どこ
ポ
あ
B
シン
=
1
2
(
私
あ
B
+
ふ
あ
B
)
、
{\displaystyle P_{AB}^{\text{sym}}={\frac {1}{2}}(I_{AB}+F_{AB}),}
ポ
あ
B
として
=
1
2
(
私
あ
B
−
ふ
あ
B
)
、
{\displaystyle P_{AB}^{\text{as}}={\frac {1}{2}}(I_{AB}-F_{AB}),}
プロジェクターと
ふ
あ
B
=
∑
私
じゅう
|
私
⟩
⟨
じゅう
|
あ
⊗
|
じゅう
⟩
⟨
私
|
B
{\displaystyle F_{AB}=\sum _{ij}|i\rangle \langle j|_{A}\otimes |j\rangle \langle i|_{B}}
は、2つのサブシステムA と B を 交換する順列または反転演算子です 。
ウェルナー状態は p ≥ 1 ⁄ 2 の場合は 分離可能で あり、 p < 1 ⁄ 2 の場合はエンタングルメント状態である。エンタングルメント状態のウェルナー状態はすべて PPT 分離可能性基準 に違反するが、 d ≥ 3 の場合は、どのウェルナー状態も弱い 縮約基準 に違反しない。ウェルナー状態はさまざまな方法でパラメータ化できる。その書き方の 1 つは次の通りである。
ρ
あ
B
=
1
d
2
−
d
α
(
私
あ
B
−
α
ふ
あ
B
)
、
{\displaystyle \rho _{AB}={\frac {1}{d^{2}-d\alpha }}(I_{AB}-\alpha F_{AB}),}
ここで新しいパラメータ αは −1から1の間で変化し、 p と次のよう
に関係する。
α
=
(
(
1
−
2
p
)
d
+
1
)
/
(
1
−
2
p
+
d
)
。
{\displaystyle \alpha =((1-2p)d+1)/(1-2p+d).}
2量子ビットの例
上記に対応する 2 量子ビットのウェルナー状態は 、行列形式で明示的に次のように表すことができます 。同様に、これらは、完全に混合された状態とベル状態 (への射影) の凸結合として次のように表すことができます。 ここで、 (または、正の値に限定すると、 ) は によってと関連付けられます 。すると、2 量子ビットのウェルナー状態は に対して分離可能であり 、 に対してエンタングルメント状態です 。
d
=
2
{\displaystyle d=2}
わ
あ
B
(
p
、
2
)
=
p
6
(
2
0
0
0
0
1
1
0
0
1
1
0
0
0
0
2
)
+
(
1
−
p
)
2
(
0
0
0
0
0
1
−
1
0
0
−
1
1
0
0
0
0
0
)
=
(
p
3
0
0
0
0
3
−
2
p
6
−
3
+
4
p
6
0
0
−
3
+
4
p
6
3
−
2
p
6
0
0
0
0
p
3
)
。
{\displaystyle W_{AB}^{(p,2)}={\frac {p}{6}}{\begin{pmatrix}2&0&0&0\\0&1&1&0\\0&1&1&0\\0&0&0&2\end{pmatrix}}+{\frac {(1-p)}{2}}{\begin{pmatrix}0&0&0&0\\0&1&-1&0\\0&-1&1&0\\0&0&0&0\end{pmatrix}}={\begin{pmatrix}{\frac {p}{3}}&0&0&0\\0&{\frac {3-2p}{6}}&{\frac {-3+4p}{6}}&0\\0&{\frac {-3+4p}{6}}&{\frac {3-2p}{6}}&0\\0&0&{\frac {p}{3}}\end{pmatrix}}.}
わ
あ
B
(
λ
、
2
)
=
λ
|
Ψ
−
⟩
⟨
Ψ
−
|
+
1
−
λ
4
私
あ
B
、
|
Ψ
−
⟩
≡
1
2
(
|
01
⟩
−
|
10
⟩
)
、
{\displaystyle W_{AB}^{(\lambda ,2)}=\lambda |\Psi ^{-}\rangle \!\langle \Psi ^{-}|+{\frac {1-\lambda }{ 4}}I_{AB},\qquad |\Psi ^{-}\rangle \equiv {\frac {1}{\sqrt {2}}}(|01\rangle -|10\rangle ),}
λ
∈
[
−
1
/
3
、
1
]
{\displaystyle \lambda \in [-1/3,1]}
λ
∈
[
0
、
1
]
{\displaystyle \lambda \in [0,1]}
p
{\displaystyle p}
λ
=
(
3
−
4
p
)
/
3
{\displaystyle \lambda =(3-4p)/3}
λ
≤
1
/
3
{\displaystyle \lambda \leq 1/3}
λ
>
1
/
3
{\displaystyle \lambda >1/3}
ヴェルナー・ホレボチャネル
パラメータ と整数を持つ ウェルナー・ホレボ 量子チャネルは
次のように定義される
[2] [3] [4]
わ
あ
→
B
(
p
、
d
)
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\left(p,d\right)}}
p
∈
[
0
、
1
]
{\displaystyle p\in \left[0,1\right]}
d
≥
2
{\displaystyle d\geq 2}
わ
あ
→
B
(
p
、
d
)
=
p
わ
あ
→
B
シン
+
(
1
−
p
)
わ
あ
→
B
として
、
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\left(p,d\right)}=p{\mathcal {W}}_{A\rightarrow B}^{\text{sym}}+\left(1-p\right){\mathcal {W}}_{A\rightarrow B}^{\text{as}},}
ここで量子チャネル とは
次の式で定義される。
わ
あ
→
B
シン
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{sym}}}
わ
あ
→
B
として
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{as}}}
わ
あ
→
B
シン
(
バツ
あ
)
=
1
d
+
1
[
トラ
[
バツ
あ
]
私
B
+
id
あ
→
B
(
T
あ
(
バツ
あ
)
)
]
、
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{sym}}(X_{A})={\frac {1}{d+1}}\left[\operatorname {Tr} [X_{A}]I_{B}+\operatorname {id} _{A\rightarrow B}(T_{A}(X_{A}))\right],}
わ
あ
→
B
として
(
バツ
あ
)
=
1
d
−
1
[
トラ
[
バツ
あ
]
私
B
−
id
あ
→
B
(
T
あ
(
バツ
あ
)
)
]
、
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{as}}(X_{A})={\frac {1}{d-1}}\left[\operatorname {Tr} [X_{A}]I_{B}-\operatorname {id} _{A\rightarrow B}(T_{A}(X_{A}))\right],}
は システム A上の 部分転置 写像を表します 。Werner
-Holevoチャネルの Choi状態 は
Werner状態であることに注意してください。
T
A
{\displaystyle T_{A}}
W
A
→
B
p
,
d
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{p,d}}
W
A
→
B
(
p
,
d
)
(
Φ
R
A
)
=
p
2
d
(
d
+
1
)
P
R
B
sym
+
(
1
−
p
)
2
d
(
d
−
1
)
P
R
B
as
,
{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\left(p,d\right)}(\Phi _{RA})=p{\frac {2}{d\left(d+1\right)}}P_{RB}^{\text{sym}}+\left(1-p\right){\frac {2}{d\left(d-1\right)}}P_{RB}^{\text{as}},}
どこ 。
Φ
R
A
=
1
d
∑
i
,
j
|
i
⟩
⟨
j
|
R
⊗
|
i
⟩
⟨
j
|
A
{\displaystyle \Phi _{RA}={\frac {1}{d}}\sum _{i,j}|i\rangle \langle j|_{R}\otimes |i\rangle \langle j|_{A}}
多元的なヴェルナー状態
ウェルナー状態は、多部構成の場合に一般化できます。 [5] N部構成 の ウェルナー状態は、単一のサブシステム上の任意のユニタリ U に対して不変な状態です 。ウェルナー状態は、単一のパラメータではなく、 N ! − 1 個のパラメータで記述され、 N 個のシステム上の N ! 個の異なる順列の線形結合です 。
U
⊗
U
⊗
⋯
⊗
U
{\displaystyle U\otimes U\otimes \cdots \otimes U}
参考文献
^ Reinhard F. Werner (1989). 「隠れた変数モデルを認めるアインシュタイン-ポドルスキー-ローゼン相関を持つ量子状態」. Physical Review A. 40 ( 8): 4277–4281. Bibcode :1989PhRvA..40.4277W. doi :10.1103/PhysRevA.40.4277. PMID 9902666.
^ Reinhard F. Werner および Alexander S. Holevo (2002)。 「 量子チャネルの出力純度に関する加法性予想に対する反例」。Journal of Mathematical Physics。43 ( 9): 4353–4357。arXiv : quant-ph/0203003。Bibcode : 2002JMP .... 43.4353W。doi :10.1063/1.1498491。S2CID 42832247。
^ Fannes, Mark; Haegeman, B.; Mosonyi, Milan; Vanpeteghem, D. (2004). 「共変チャネルのクラスに対する最小エントロピー出力の加法性」. 未発表 . arXiv : quant-ph/0410195 . Bibcode :2004quant.ph.10195F.
^ Debbie Leung およびWilliam Matthews (2015)。 「 PPT 保存コードと 非 シグナリング コードの威力について」。IEEE Transactions on Information Theory。61 ( 8): 4486–4499。arXiv : 1406.7142。doi : 10.1109 / TIT.2015.2439953。S2CID 14083225。
^ Eggeling, Tilo; Werner, Reinhard (2001). 「UxUxU対称性を持つ三者状態の分離特性」. Physical Review A. 63 : 042111. arXiv : quant-ph/0010096 . doi :10.1103/PhysRevA.63.042111. S2CID 119350302.