It was conjectured that the structural physical approximation (SPA) of an optimal entanglement witness is separable (or equivalently, that the SPA of an optimal positive map is entanglement breaking). This conjecture was disproved, first for indecomposable maps and more recently for decomposable maps. The arguments in both cases are sketched along with important related results. This review includes background material on topics including entanglement witnesses, optimality, duality of cones, decomposability, and the statement and motivation for the SPA conjecture so that it should be accessible for a broad audience.
REFERENCES
1.
Augusiak
, R.
, Bae
, J.
, Czekaj
, Ł.
, and Lewenstein
, M.
, “On structural physical approximations and entanglement breaking maps
,” J. Phys. A: Math. Theor.
44
(18
), 185308
(2011
).2.
Augusiak
, R.
, Tura
, J.
, and Lewenstein
, M.
, “A note on the optimality of decomposable entanglement witnesses and completely entangled subspaces
,” J. Phys. A: Math. Theor.
44
(21
), 212001
(2011
).3.
Barker
, G. P.
and Carlson
, D.
, “Cones of diagonally dominant matrices
,” Pac. J. Math.
57
(1
), 15
–32
(1975
).4.
Baumgartner
, B.
, Hiesmayr
, B. C.
, and Narnhofer
, H.
, “The geometry of bipartite qutrits including bound entanglement
,” Phys. Lett. A
372
(13
), 2190
–2195
(2008
).5.
Breuer
, H. P.
, “Optimal entanglement criterion for mixed quantum states
,” Phys. Rev. Lett.
97
(8
), 080501
(2006
).6.
Chen
, K.
and Wu
, L.-A.
, “A matrix realignment method for recognizing entanglement
,” Quantum Inf. Comput.
3
(3
), 193
–202
(2003
).7.
Cho
, S. J.
, Kye
, S.-H.
, and Lee
, S. G.
, “Generalized Choi maps in 3-dimensional matrix algebra
,” Linear Algebra Appl.
171
, 213
–224
(1992
).8.
Choi
, M. D.
, “Completely positive linear maps on complex matrices
,” Linear Algebra Appl.
10
(3
), 285
–290
(1975
).9.
Choi
, M. D.
, “Positive semidefinite biquadratic forms
,” Linear Algebra Appl.
12
(2
), 95
–100
(1975
).10.
Choi
, M.-D.
, “Some assorted inequalities for positive linear maps on c*-algebras
,” J. Operat. Theory
4
, 271
–285
(1980
).11.
Choi
, M. D.
, “Positive linear maps
,” Proc. Symp. Pure Math.
38
(2
), 583
–590
(1982
).12.
Choi
, M. D.
and Lam
, T. Y.
, “Extremal positive semidefinite forms
,” Math. Ann.
231
(1
), 1
–18
(1977
).13.
Chruściński
, D.
and Pytel
, J.
, “Constructing optimal entanglement witnesses. II. Witnessing entanglement in 4n × 4n systems
,” Phys. Rev. A
82
(5
), 052310
(2010
).14.
Chruściński
, D.
and Pytel
, J.
, “Optimal entanglement witnesses from generalized reduction and Robertson maps
,” J. Phys. A: Math. Theor.
44
(16
), 165304
(2011
).15.
Chruściński
, D.
, Pytel
, J.
, and Sarbicki
, G.
, “Constructing optimal entanglement witnesses
,” Phys. Rev. A
80
(6
), 062314
(2009
).16.
Chruściński
, D.
and Sarbicki
, G.
, “Exposed positive maps: A sufficient condition
,” J. Phys. A: Math. Theor.
45
(11
), 115304
(2012
).17.
Chruściński
, D.
and Sarbicki
, G.
, “Exposed positive maps in M4(C)
,” Open Syst. Inf. Dyn.
19
(3
), 1250017
(2012
).18.
Chruściński
, D.
and Sarbicki
, G.
, “Disproving the conjecture on the structural physical approximation to optimal decomposable entanglement witnesses
,” J. Phys. A: Math. Theor.
47
(19
), 195301
(2014
).19.
Chruściński
, D.
and Sarbicki
, G.
, “Entanglement witnesses: Construction, analysis and classification
,” J. Phys. A: Math. Theor.
47
(48
), 483001
(2014
).20.
Chruściński
, D.
and Wudarski
, F. A.
, “Geometry of entanglement witnesses for two qutrits
,” Open Syst. Inf. Dyn.
18
(4
), 375
–387
(2011
).21.
Effros
, E. G.
, “Order ideals in a C*-algebra and its dual
,” Duke Math. J.
30
, 391
–412
(1963
).22.
Eom
, M. H.
and Kye
, S.-H.
, “Duality for positive linear maps in matrix algebras
,” Math. Scand.
86
(1
), 130
–142
(2000
).23.
Fiurásek
, J.
, “Structural physical approximations of unphysical maps and generalized quantum measurements
,” Phys. Rev. A
66
(5
), 052315
(2002
).24.
Fu
, S.
, Jiang
, M.
, and Luo
, S.
, “Channel-state duality
,” Phys. Rev. A.
87
, 022310
(2013
).25.
Ha
, K. C.
and Kye
, S.-H.
, “Entanglement witnesses arising from exposed positive linear maps
,” Open Syst. Inf. Dyn.
18
(4
), 323
–337
(2011
).26.
Ha
, K. C.
and Kye
, S.-H.
, “One-parameter family of indecomposable optimal entanglement witnesses arising from generalized Choi maps
,” Phys. Rev. A
84
(2
), 024302
(2011
).27.
Ha
, K. C.
and Kye
, S.-H.
, “Entanglement witnesses arising from Choi type positive linear maps
,” J. Phys. A: Math. Theor.
45
(41
), 415305
(2012
).28.
Ha
, K. C.
and Kye
, S.-H.
, “Optimality for indecomposable entanglement witnesses
,” Phys. Rev. A
86
(3
), 034301
(2012
).29.
Ha
, K. C.
and Kye
, S.-H.
, “The structural physical approximations and optimal entanglement witnesses
,” J. Math. Phys.
53
(10
), 102204
(2012
).30.
Ha
, K. C.
and Kye
, S.-H.
, “Exposedness of Choi-type entanglement witnesses and applications to lengths of separable states
,” Open Syst. Inf. Dyn.
20
(4
), 1350012
(2013
).31.
Ha
, K. C.
and Yu
, H.
, “Optimal indecomposable witnesses without extremality or the spanning property
,” J. Phys. A: Math. Theor.
45
(39
), 395307
(2012
).32.
Hall
, W.
, “A new criterion for indecomposability of positive maps a new criterion for indecomposability of positive maps a new criterion for indecomposability of positive maps
,” J. Phys. A
39
(45
), 14119
–14131
(2006
).33.
Horodecki
, P.
, “Separability criterion and inseparable mixed states with positive partial transposition
,” Phys. Lett. A
232
, 333
–339
(1997
).34.
Horodecki
, P.
, “From limits of quantum operations to multicopy entanglement witnesses and state-spectrum estimation
,” Phys. Rev. A
68
(5
), 052101
(2003
).35.
Horodecki
, P.
and Ekert
, A.
, “Method for direct detection of quantum entanglement
,” Phys. Rev. Lett.
89
(12
), 127902
(2002
).36.
Horodecki
, M.
and Horodecki
, P.
, “Reduction criterion of separability and limits for a class of distillation protocols
,” Phys. Rev. A
59
, 4206
–4216
(1999
).37.
Horodecki
, M.
, Horodecki
, P.
, and Horodecki
, R.
, “Separability of mixed states: Necessary and sufficient conditions
,” Phys. Lett. A
223
(1-2
), 1
–8
(1996
).38.
Horodecki
, M.
, Shor
, P.
, and Ruskai
, M.
, “Entanglement breaking channels
,” Rev. Math. Phys.
15
(6
), 629
–641
(2003
).39.
Horodecki
, P.
, Smolin
, J.
, Terhal
, B.
, and Thapliyal
, A.
, “Rank two bipartite bound entangled states do not exist
,” Theor. Comput. Sci.
292
, 589
–596
(2003
).40.
Jamiołkowski
, A.
, “Linear transformations which preserve trace and positive semidefiniteness of operators
,” Rep. Math. Phys.
3
(4
), 275
–278
(1972
).41.
Korbicz
, J. K.
, Almeida
, M. L.
, Bae
, J.
, Lewenstein
, M.
, and Acin
, A.
, “Structural approximations to positive maps and entanglement-breaking channels
,” Phys. Rev. A
78
(6
), 062105
(2008
).42.
Kraus
, K.
, “General state changes in quantum theory
,” Ann. Phys.
64
, 311
–335
(1971
).43.
Kraus
, K.
, “Operations and effects in the Hilbert space formulation of quantum theory
,” in Lecture Notes in Physics
(Springer-Verlag
, 1974
), Vol. 29
, pp. 206
–229
.44.
Kye
, S.-H.
, “Facial structures for positive linear maps between matrix algebras
,” Can. Math. Bull.
39
, 74
(1996
).45.
Kye
, S.-H.
, “Facial structures for various notions of positivity and applications to the theory of entanglement
,” Rev. Math. Phys.
25
(2
), 1330002
(2013
).46.
Kye
, S.-H.
and Osaka
, H.
, “Classification of bi-qutrit positive partial transpose entangled edge states by their ranks
,” J. Math. Phys.
53
(5
), 052201
(2012
).47.
Lewenstein
, M.
, Kraus
, B.
, Cirac
, J. I.
, and Horodecki
, P.
, “Optimization of entanglement witnesses
,” Phys. Rev. A
62
(5
), 052310
(2000
).48.
Majewski
, W. A.
and Tylec
, T.
, “Comment on ‘Channel-state duality
,’” Phys. Rev. A
88
, 026301
(2013
).49.
Marciniak
, M.
, “Rank properties of exposed positive maps
,” Linear Multilinear Algebra
61
(7
), 970
–975
(2013
); e-print arXiv:1103.3497v1 (2011
).50.
Osaka
, H.
, “Indecomposable positive maps in low dimensional matrix algebras
,” Linear Algebra Appl.
153
, 73
(1991
).51.
Osaka
, H.
, “Absolutely indecomposable positive operators
,” Linear Algebra Appl.
186
, 45
(1993
).52.
Paulsen
, V.
and Shultz
, F.
, “Complete positivity of the map from a basis to its dual basis
,” J. Math. Phys.
54
, 072201
(2013
).53.
Peres
, A.
, “Separability criterion for density matrices
,” Phys. Rev. Lett.
77
, 1413
–1415
(1966
).54.
Prosser
, R. T.
, “On the ideal structure of operator algebras
,” Mem. Am. Math. Soc.
nr. 45, 28 pages
(1963
).55.
Qi
, X. F.
and Hou
, J. C.
, “Positive finite rank elementary operators and characterizing entanglement of states
,” J. Phys. A: Math. Theor.
44
(21
), 215305
(2011
).56.
Qi
, X. F.
and Hou
, J. C.
, “Characterization of optimal entanglement witnesses
,” Phys. Rev. A
85
(2
), 022334
(2012
).57.
Rockafellar
, R. T.
, Convex Analysis
(Princeton University Press
, 1970
).58.
Rudolph
, O.
, “Further results on the cross norm criterion for separability
,” Quantum Inf. Process.
4
(3
), 219
–239
(2005
); e-print arXiv:quant-ph/0202121v1 (2002
).59.
60.
Sarbicki
, G.
and Chruściński
, D.
, “A class of exposed indecomposable positive maps
,” J. Phys. A: Math. Theor.
46
(1
), 015306
(2013
).61.
Schneider
, R.
, Convex Bodies: The Brunn-Minkowski Theory
(Cambridge University Press
, 2013
).62.
Skowronek
, Ł.
and Størmer
, E.
, “Choi matrices, norms and entanglement associated with positive maps on matrix algebras
,” J. Funct. Anal.
262
(2
), 639
–647
(2012
).63.
Skowronek
, Ł.
, Størmer
, E.
, and Zyczkowski
, K.
, “Cones of positive maps and their duality relations
,” J. Math. Phys.
50
(6
), 062106
(2009
).64.
Størmer
, E.
, “Positive linear maps of operator algebras
,” Acta Math.
110
, 233
–278
(1963
).65.
Størmer
, E.
, “Decomposition of positive projections on C*-algebras
,” Math. Ann.
247
(1
), 21
–41
(1980
).66.
Størmer
, E.
, “Decomposable positive maps on C*-algebras
,” Proc. Am. Math. Soc.
86
(3
), 402
–404
(1982
).67.
Størmer
, E.
, “Mapping cones of positive maps
,” Math. Scand.
108
(2
), 223
–232
(2011
).68.
Størmer
, E.
, Positive Linear Maps of Operator Algebras
(Springer-Verlag
, 2013
).69.
Størmer
, E.
, “Separable states and the structural physical approximation of a positive map
,” J. Funct. Anal.
264
(9
), 2197
–2205
(2013
).70.
Størmer
, E.
, “Maximally entangled states, and positive maps
,” preprint (2015).71.
Tanahashi
, K.
and Tomiyama
, J.
, “Indecomposable maps in matrix algebras
,” Can. Math. Bull.
31
, 308
(1988
).72.
Terhal
, B. M.
, “Bell inequalities and the separability criterion
,” Phys. Lett. A
271
(5-6
), 319
–326
(2000
).73.
Wang
, B. H.
and Long
, D. Y.
, “Structural physical approximations and entanglement witnesses
,” Phys. Rev. A
87
(6
), 062324
(2013
).74.
Werner
, R.
, “Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden variable model
,” Phys. Rev. A
40
, 4277
–4281
(1989
).75.
Woronowicz
, S. L.
, “Positive maps of low dimensional matrix algebras
,” Rep. Math. Phys.
10
, 165
–183
(1976
).76.
Zwolak
, J. P.
and Chruściński
, D.
, “Recurrent construction of optimal entanglement witnesses for 2n-qubit systems
,” Phys. Rev. A
89
(5
), 052314
(2014
).© 2015 AIP Publishing LLC.
2015
AIP Publishing LLC
You do not currently have access to this content.