 Let us recall a simple sufficient condition for optimality [@Lew]: if there exists a set product vectors $|\psi {{\,\otimes\,}}\phi{\rangle}\in \mathcal{H}_A {{\,\otimes\,}}\mathcal{H}_B$ such that $${\langle}\psi {{\,\otimes\,}}\phi|W|\psi {{\,\otimes\,}}\phi{\rangle}=0\,$$ and vectors $|\psi {{\,\otimes\,}}\phi{\rangle}$ span the entire Hilbert space $\mathcal{H}_A {{\,\otimes\,}}\mathcal{H}_B$, then $W$ is optimal. Now, one can check that $W[0,1,1]$ corresponding to $\alpha=\pi$ admits the full set (i.e. 9) of such vectors. For the rest points the problem is much more complicated [@Gniewko] (for $W[1,1,0]$ and $W[1,0,1]$ it was already shown in [@SPA1] that there are only 7 vectors). Nevertheless, as we show all these points supports the conjecture of [@SPA1]. We propose the following

For $\frac\pi 3 \leq \alpha \leq \frac{5}{3\pi}$ positive maps $\Phi[\alpha]$ are optimal.

Actually, it turns out that SPA for a large class of $W[a,b,c]$ defines a separable state. Let us consider $$\label{}
    \mathbf{W}(p) = (1-p)W[a,b,c] + \frac{p}{9}\, \mathbb{I}_3 {{\,\otimes\,}}\mathbb{I}_3\.$$ Now, $\mathbf{W}(p) \geq 0$ for $p\geq p^*$, where the critical value $p^*$ is given by $$\label{}
    p^* = \frac{3(2-a)}{2 + 3(2-a)}\.$$ One easily finds $$\label{}
    \mathbf{W}(p^*) = \frac{1}{3[2 + 3(2-a)]}\, \left\{ \sum_{i=1}^3 \Big( 2 |ii{\rangle}{\langle}ii| + (2b+c) |i,i+1{\rangle}{\langle}i,i+1| + (2c+b)|i,i+2{\rangle}{\langle}i,i+2| \Big)  
Let us recall a simple sufficient condition for optimality [ @Lew ]: if there exist a located product vectors $ |\psi { { \,\otimes\,}}\phi{\rangle}\in \mathcal{H}_A { { \,\otimes\,}}\mathcal{H}_B$ such that $ $ { \langle}\psi { { \,\otimes\,}}\phi|W|\psi { { \,\otimes\,}}\phi{\rangle}=0\,$$ and vectors $ |\psi { { \,\otimes\,}}\phi{\rangle}$ bridge the entire Hilbert space $ \mathcal{H}_A { { \,\otimes\,}}\mathcal{H}_B$, then $ W$ is optimum. Now, one can check that $ W[0,1,1]$ corresponding to $ \alpha=\pi$ admit the full set (i.e. 9) of such vector. For the rest points the trouble is much more complicated [ @Gniewko ] (for $ W[1,1,0]$ and $ W[1,0,1]$ it was already shown in [ @SPA1 ] that there are only 7 vectors). Nevertheless, as we show all these point supports the conjecture of [ @SPA1 ]. We propose the pursuit 

 For $ \frac\pi 3 \leq \alpha \leq \frac{5}{3\pi}$ positive maps $ \Phi[\alpha]$ are optimum. 

 Actually, it turns out that SPA for a big class of $ W[a, b, c]$ define a separable state. Let us study $ $ \label { } 
     \mathbf{W}(p) = (1 - p)W[a, b, c ] + \frac{p}{9}\, \mathbb{I}_3 { { \,\otimes\,}}\mathbb{I}_3\.$$ Now, $ \mathbf{W}(p) \geq 0 $ for $ p\geq p^*$, where the critical value $ p^*$ is given by $ $ \label { } 
     p^ * = \frac{3(2 - a)}{2 + 3(2 - a)}\.$$ One easily finds $ $ \label { } 
     \mathbf{W}(p^ *) = \frac{1}{3[2 + 3(2 - a)]}\, \left\ { \sum_{i=1}^3 \Big (2 |ii{\rangle}{\langle}ii| + (2b+c) |i, i+1{\rangle}{\langle}i, i+1| + (2c+b)|i, i+2{\rangle}{\langle}i, i+2| \Big)
 Leh us recall a simple sufnicient conditiou for o'timalify [@Lew]: iw there exists a set product vwctorw $|\psi {{\,\otimes\,}}\phi{\rangle}\iv \mathcal{J}_A {{\,\otimew\,}}\matical{H}_B$ such that $${\langle}\psi {{\,\otijcs\,}}\phi|C|\pwi {{\,\otimes\,}}\phi{\rakgle}=0\,$$ and vewtors $|\psi {{\,\otimas\,}}\ohn{\rangle}$ span the entire Hilbert spacq $\mathcsl{J}_A {{\,\otimes\,}}\mathcwl{H}_B$, ehen $W$ is optimal. Now, one can check thzt $W[0,1,1]$ cogresponding to $\allha=\pi$ admits the full set (l.e. 9) lf such vectors. Fog the rest kkinew the probleo is much more compliczted [@Gniewko] (for $W[1,1,0]$ and $W[1,0,1]$ it was alrecdy shown ib [@WPA1] jhat there ace onlj 7 vectors). Neyvrthelevs, as wr show all thexe 'oinrs supports the conjerture of [@SPA1]. We propjse the fmlmowing

For $\frac\pi 3 \lwq \alkha \laq \ffqc{5}{3\pk}$ pksmtibe mapd $\Pii[\alpha]$ are optimal.

Actyally, it turns out uhae SPA for a ladge clwsf of $W[a,b,c]$ defines a separable state. Let us consider $$\label{}
    \mathvf{W}(p) = (1-p)W[a,b,c] + \frac{p}{9}\, \majhbb{I}_3 {{\,\otimqs\,}}\mathbb{I}_3\.$$ Now, $\mathbf{W}(p) \geq 0$ for $p\geq p^*$, where the writirau vcoue $p^*$ us given by $$\label{}
    p^* = \frac{3(2-a)}{2 + 3(2-a)}\.$$ One easily finqa $$\kanel{}
    \mathbf{W}(p^*) = \frac{1}{3[2 + 3(2-a)]}\, \legt\{ \sii_{i=1}^3 \Big( 2 |ii{\ranele}{\lanyme}ji| + (2b+c) |i,i+1{\rangle}{\lanhle}i,i+1| + (2s+b)|i,i+2{\rqngle}{\langje}i,i+2| \Big)  
Let us recall a simple sufficient condition [@Lew]: there exists set product vectors that {{\,\otimes\,}}\phi|W|\psi {{\,\otimes\,}}\phi{\rangle}=0\,$$ and $|\psi {{\,\otimes\,}}\phi{\rangle}$ span entire Hilbert space $\mathcal{H}_A {{\,\otimes\,}}\mathcal{H}_B$, then is optimal. Now, one can check that $W[0,1,1]$ corresponding to $\alpha=\pi$ admits the set (i.e. 9) of such vectors. For the rest points the problem is more [@Gniewko] $W[1,1,0]$ $W[1,0,1]$ it was already shown in [@SPA1] that there are only 7 vectors). Nevertheless, as we all these points supports the conjecture of [@SPA1]. propose the following For 3 \leq \alpha \leq \frac{5}{3\pi}$ maps are optimal. it out SPA for a class of $W[a,b,c]$ defines a separable state. Let us consider $$\label{} \mathbf{W}(p) = (1-p)W[a,b,c] + \frac{p}{9}\, \mathbb{I}_3 Now, $\mathbf{W}(p) for $p\geq where critical $p^*$ is given p^* = \frac{3(2-a)}{2 + 3(2-a)}\.$$ One \mathbf{W}(p^*) = \frac{1}{3[2 + 3(2-a)]}\, \left\{ \sum_{i=1}^3 \Big( |ii{\rangle}{\langle}ii| + |i,i+1{\rangle}{\langle}i,i+1| + (2c+b)|i,i+2{\rangle}{\langle}i,i+2| \Big)
 Let us recall a simple sufficiEnt conditiOn for OptImaLiTy [@LeW]: if tHere exists a set PRoduCt vectors $|\psi {{\,\otimes\,}}\phi{\rAngle}\In \MAthcAL{H}_a {{\,\otimEs\,}}\mathcAL{H}_b$ SUch ThAt $${\LanGlE}\PsI {{\,\otimEs\,}}\pHi|W|\psi {{\,\oTimes\,}}\phi{\raNglE}=0\,$$ aNd vectors $|\psi {{\,\OTiMes\,}}\phi{\rangLe}$ sPan the entire hilBert spAcE $\maTHcal{H}_a {{\,\otImes\,}}\mAthcal{h}_b$, then $W$ Is optimal. noW, One can CHeck thaT $w[0,1,1]$ CoRresPonding to $\alpha=\pi$ aDMiTS the full set (i.e. 9) oF such vEcTOrS. fOr tHe rEst points tHe ProblEM is much MOrE COMplICated [@Gniewko] (fOr $W[1,1,0]$ and $W[1,0,1]$ it waS AlrEady shOwN in [@spA1] that There ArE OnlY 7 vectors). NevErthEless, as we Show alL These poINts suppOrts thE coNjeCturE Of [@sPa1]. We PrOPosE ThE foLLowIng

For $\frAc\Pi 3 \Leq \alPha \lEQ \FRAc{5}{3\pi}$ PosItivE maps $\phi[\alpha]$ are opTimAl.

AcTUalLy, it tUrns oUt thAt sPA foR a largE clasS oF $W[a,b,c]$ defines a seParaBle state. LEt uS cOnsIdEr $$\labEL{}
    \mathbF{W}(p) = (1-P)W[a,B,c] + \frac{p}{9}\, \Mathbb{I}_3 {{\,\OTimEs\,}}\MATHbB{I}_3\.$$ Now, $\mathbf{W}(p) \geq 0$ foR $p\GEQ p^*$, Where the CriticAL vAlUE $p^*$ is giveN bY $$\laBel{}
    p^* = \FRAc{3(2-a)}{2 + 3(2-a)}\.$$ ONe eaSIlY finds $$\laBel{}
    \matHBf{w}(p^*) = \Frac{1}{3[2 + 3(2-a)]}\, \leFt\{ \Sum_{i=1}^3 \BiG( 2 |iI{\raNglE}{\langLE}ii| + (2b+C) |i,i+1{\ranGle}{\langlE}i,i+1| + (2c+b)|I,I+2{\rangle}{\langle}i,I+2| \big)  
 Let us recall a simple su fficient c ondit ion  fo ropti mali ty [@Lew]: ift here  exists a set productvecto rs $|\p s i{{\,\ otimes\ , }} \ p hi{ \r an gle }\ i n\math cal {H}_A { {\,\otimes \,} }\ mathcal{H}_B $  s uch that $ ${\ langle}\psi{{\ ,\otim es \,} } \phi| W|\ psi { {\,\ot i mes\,} }\phi{\ra ng l e}=0\, $ $ and v e c to rs $ |\psi {{\,\otimes \ ,} } \phi{\rangle}$  spanth e  e n t ire  Hi lbert spac e$\mat h cal{H}_ A  { { \ , \ot i mes\,}}\mathc al{H}_B$, t h en$W$ is  o pti m al. No w, on ec ancheck that$W[0 ,1,1]$ co rrespo n ding to $\alpha =\pi$adm its  the fu ll  se t( i.e .  9 ) o f  su ch vecto rs .For t he r e s t poin tstheprobl em is much mo recomp l ica ted [ @Gnie wko]  ( for $ W[1,1, 0]$ a nd  $W[1,0,1]$ itwasalready s how nin[@ SPA1] that t her e a re only  7 vect o rs) .N e v er theless, as we sho wa l lthese po ints s u pp or t s the co nj ect ureo f  [@SP A1]. We  propose  the f o ll ow ing

Fo r$\frac \p i 3  \l eq \a l pha\leq \ frac{5}{ 3\pi} $  positive maps $\Phi[\alpha] $  a r e  o p tima l.
Actually,it t u rnsoutt ha t S P A for  a la rg e  c l ass of $W[a,b,c]$ d ef ines a  sepa rable state.Let us con s i d er $$\la bel{ } 
  \mathbf{W}(p ) = ( 1-p)W[a,b, c ] + \fra c{p}{ 9}\, \ma thbb{I}_3 { {\,\otim es\ ,}} \ma thb b { I} _3\.$$ Now, $ \ m athb f{ W}(p) \ geq  0$ for  $p \ge q p ^*$ ,where the  critica lva lu e$p^ *$ is given by  $ $\l ab el{ }
  p^* =\frac {3(2 -a )} { 2 +  3(2-a) } \. $ $  One  e as ilyfin ds  $$\l abel { }
   \mat hbf{W}(p^ *)=  \fr ac {1 }{3[2 +  3(2-a)]}\, \ le ft\{ \sum_ {i =1} ^3 \Bi g (  2 |ii{\ rangle}{\langle}ii| + ( 2 b+c) |i ,i+ 1{\ra ngle }{\langle }i, i+1| +  (2 c +b)|i, i+2{\r angle }{ \la n g le}i, i + 2|  \B ig )  
 Let_us recall_a simple sufficient condition_for optimality_[@Lew]:_if there_exists_a set product_vectors $|\psi {{\,\otimes\,}}\phi{\rangle}\in_\mathcal{H}_A {{\,\otimes\,}}\mathcal{H}_B$ such that_$${\langle}\psi {{\,\otimes\,}}\phi|W|\psi {{\,\otimes\,}}\phi{\rangle}=0\,$$_and_vectors $|\psi {{\,\otimes\,}}\phi{\rangle}$ span the entire Hilbert space $\mathcal{H}_A {{\,\otimes\,}}\mathcal{H}_B$, then $W$ is optimal._Now,_one can_check_that_$W[0,1,1]$ corresponding to $\alpha=\pi$ admits_the full set (i.e. 9)_of such_vectors. For the rest points the problem is_much_more complicated [@Gniewko]_(for $W[1,1,0]$ and $W[1,0,1]$ it was already shown in_[@SPA1] that there are only 7_vectors). Nevertheless, as_we_show_all these points supports_the conjecture of [@SPA1]. We propose_the following

For $\frac\pi 3 \leq \alpha_\leq \frac{5}{3\pi}$ positive maps $\Phi[\alpha]$ are optimal.

Actually,_it turns out that SPA for_a large class of $W[a,b,c]$_defines a_separable state. Let us consider_$$\label{}
  _ \mathbf{W}(p)_= (1-p)W[a,b,c] +_\frac{p}{9}\, \mathbb{I}_3 {{\,\otimes\,}}\mathbb{I}_3\.$$ Now, $\mathbf{W}(p) \geq_0$ for $p\geq_p^*$, where the critical value $p^*$_is_given by $$\label{}
___ p^*_= \frac{3(2-a)}{2 +_3(2-a)}\.$$_One easily_finds_$$\label{}
    \mathbf{W}(p^*) =_\frac{1}{3[2_+ 3(2-a)]}\, \left\{ \sum_{i=1}^3 \Big( 2 |ii{\rangle}{\langle}ii|_+ (2b+c) |i,i+1{\rangle}{\langle}i,i+1| +_(2c+b)|i,i+2{\rangle}{\langle}i,i+2|_\Big)  