 ${{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}$ are monotonically decreasing in $\alpha$.

Furthermore, the entropies are additive, e.g. evaluation for an i.i.d. state ${\ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}^{{\otimes}n}$ relative to another i.i.d. state ${\ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}^{{\otimes}n}$ results in $$\label{eqn:alpha-add}
{{\ensuremath{H_{\alpha}^{}(\textnormal{A$^n$}|\textnormal{B$^n$})_{\rho^{{\otimes}n}|\sigma^{{\otimes}n}}}}} = n {{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}\,.$$ The $\alpha$-entropies are independent of the Hilbert spaces used to represent the density operators locally:

\[lemma:alpha-iso\] Let ${\ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}\in {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny AB}}}})}}$, ${{\sigma}_{\textnormal{\tiny B}}} \in {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny B}}}})}}$, ${{\tau}_{\textnormal{\tiny CD}}} \in {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny CD}}}})}}$, ${{\omega}_{\textnormal{\tiny D}}} \in {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny D}}}})}}$ and $U$, $V$ isometries s.t. ${{\tau}_{\textnormal{\tiny CD}}} = {(U\!{\otimes}\!V)} {\ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}(U^\dagger\!{\otimes}\!V^\dagger)$ and ${{\omega}_{\textnormal{\tiny D}}} =  V {\ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}V^\dagger$. Then, $$\label{eqn:alpha-iso}
{{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}} = {{\ensuremath{H_{\alpha}^{}(\textnormal{C}|\textnormal{D})_{\tau|\omega}}}}\,.$$

Conditional entropies are measures of the uncertainty about $A$ given $B$, hence we expect them to satisfy a data processing inequality, i.e. local processing by a trace-preserving completely positive map (TP
$ { { \ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}$ are monotonically decreasing in $ \alpha$. 

 Furthermore, the entropies are additive, e.g.   evaluation for an i.i.d.   department of state $ { \ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}^{{\otimes}n}$ proportional to another i.i.d.   state $ { \ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}^{{\otimes}n}$ results in $ $ \label{eqn: alpha - attention deficit disorder } 
 { { \ensuremath{H_{\alpha}^{}(\textnormal{A$^n$}|\textnormal{B$^n$})_{\rho^{{\otimes}n}|\sigma^{{\otimes}n } } } } } = n { { \ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}\,.$$ The $ \alpha$-entropies are independent of the Hilbert space used to represent the concentration hustler locally: 

 \[lemma: alpha - iso\ ] Let $ { \ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}\in { \ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny AB}}}})}}$, $ { { \sigma}_{\textnormal{\tiny B } } } \in { \ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny B}}}})}}$, $ { { \tau}_{\textnormal{\tiny CD } } } \in { \ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny CD}}}})}}$, $ { { \omega}_{\textnormal{\tiny D } } } \in { \ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny D}}}})}}$ and $ U$, $ V$ isometries s.t.   $ { { \tau}_{\textnormal{\tiny CD } } } = { (U\!{\otimes}\!V) } { \ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}(U^\dagger\!{\otimes}\!V^\dagger)$ and $ { { \omega}_{\textnormal{\tiny D } } } =   V { \ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}V^\dagger$. Then, $ $ \label{eqn: alpha - iso } 
 { { \ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma } } } } = { { \ensuremath{H_{\alpha}^{}(\textnormal{C}|\textnormal{D})_{\tau|\omega}}}}\,.$$ 

 Conditional information are measures of the uncertainty about $ A$ give $ B$, hence we expect them to meet a data processing inequality, i.e.   local processing by a trace - preserving completely positive map (TP
 ${{\enduremath{H_{\alpha}^{}(\textnormal{X}|\textnormal{B})_{\rho|\sigma}}}}$ ace monofonicallh decreasing in $\alpha$.

Furtherloee, tht entropies are addktive, e.g. enaluation for qn i.i.d. statx ${\ensuremath{{{\rhk}_{\bextnmcmal{\tiny AB}}}}}^{{\otimgs}n}$ relative to another i.i.g. sgace ${\ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}^{{\otymes}n}$ rrsklts in $$\label{ezn:alkha-wdd}
{{\ehsuremath{H_{\alpha}^{}(\textnormal{A$^n$}|\textnorjal{B$^n$})_{\rhm^{{\otimes}n}|\sigma^{{\ptimes}n}}}}} = n {{\ensuremath{H_{\alphw}^{}(\texhnormal{A}|\textnormal{H})_{\rho|\sigma}}}}\,.$$ Tye $\ajpha$-entropies are indeptnbent of the Hilbert spaces used to represevt thz density okzeatlts locally:

\[lenma:aliha-iso\] Let ${\ensuremath{{{\sho}_{\textmormal{\tiny AB}}}}}\ik {\ensnremqth{\mathcal{S}({\ensuremath{\kathcal{H}_{\textnormal{\jiny AB}}}})}}$, ${{\sicmc}_{\textnormal{\tiny B}}} \in {\wnwuremdth{\mdthcxo{S}({\evsudekafh{\mathfal{I}_{\textnormal{\finy B}}}})}}$, ${{\tau}_{\twxtnormal{\tiny CD}}} \in {\egwuremath{\mathczl{S}({\enstrqmath{\mathcal{H}_{\textnormal{\tiny CD}}}})}}$, ${{\omega}_{\texunormzl{\tiny D}}} \in {\ensuremath{\mqthcal{S}({\ensuremath{\mathfal{H}_{\textnjrmal{\tiny D}}}})}}$ and $U$, $V$ isometries s.t. ${{\tau}_{\textnormal{\tinf CD}}} = {(J\!{\otnnes}\!V)} {\dbskremath{{{\rho}_{\textnormal{\tiny AB}}}}}(U^\dagger\!{\otimes}\!V^\daggqd)$ snc ${{\omega}_{\textnorial{\tiny D}}} =  V {\emfuremath{{{\sigma}_{\jextnormal{\finy B}}}}}V^\dagger$. Then, $$\label{ezn:alpya-iso}
{{\ensuwemayh{H_{\alpha}^{}(\textnormal{A}|\textnormql{B})_{\rho|\sigma}}}} = {{\wnsuremath{H_{\alpha}^{}(\tertnormal{C}|\texcnormak{D})_{\tau|\pmega}}}}\,.$$

Conditional entropnes ars measures lf the unddrtainty about $A$ ginen $T$, hence we expect them to fatisfy a datc procesring inequwlity, i.e. lofal pvmcessing by a tracf-presgrving completelj positive map (TP
${{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}$ are monotonically decreasing in $\alpha$. Furthermore, are e.g. evaluation an i.i.d. state i.i.d. ${\ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}^{{\otimes}n}$ results $$\label{eqn:alpha-add} {{\ensuremath{H_{\alpha}^{}(\textnormal{A$^n$}|\textnormal{B$^n$})_{\rho^{{\otimes}n}|\sigma^{{\otimes}n}}}}} = {{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}\,.$$ The $\alpha$-entropies are independent of Hilbert spaces used to represent the density operators locally: \[lemma:alpha-iso\] Let ${\ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}\in AB}}}})}}$, ${{\sigma}_{\textnormal{\tiny B}}} \in {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny B}}}})}}$, ${{\tau}_{\textnormal{\tiny CD}}} \in {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny CD}}}})}}$, ${{\omega}_{\textnormal{\tiny D}}} {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny and $V$ s.t. ${{\tau}_{\textnormal{\tiny CD}}} = {(U\!{\otimes}\!V)} {\ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}(U^\dagger\!{\otimes}\!V^\dagger)$ and ${{\omega}_{\textnormal{\tiny D}}} = V {\ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}V^\dagger$. Then, $$\label{eqn:alpha-iso} = {{\ensuremath{H_{\alpha}^{}(\textnormal{C}|\textnormal{D})_{\tau|\omega}}}}\,.$$ Conditional entropies are measures of the about $A$ given $B$, we expect them to satisfy data inequality, i.e. processing a completely positive map
 ${{\ensuremath{H_{\alpha}^{}(\textnormaL{A}|\textnormAl{B})_{\rhO|\siGma}}}}$ ArE monOtonIcally decreasiNG in $\aLpha$.

Furthermore, the entrOpies ArE AddiTIvE, e.g. evAluatioN FoR AN i.i.D. sTaTe ${\eNsUReMath{{{\rHo}_{\tExtnormAl{\tiny AB}}}}}^{{\otImeS}n}$ Relative to anOThEr i.i.d. state ${\EnsUremath{{{\sigma}_{\TexTnormaL{\tIny b}}}}}^{{\OtimeS}n}$ rEsultS in $$\labEL{eqn:alPha-add}
{{\ensUrEMath{H_{\aLPha}^{}(\textNORmAl{A$^n$}|\Textnormal{B$^n$})_{\rho^{{\otIMeS}N}|\sigma^{{\otimes}n}}}}} = n {{\EnsureMaTH{H_{\ALPha}^{}(\TexTnormal{A}|\teXtNormaL{b})_{\rho|\sigMA}}}}\,.$$ THE $\ALphA$-Entropies are iNdependent oF The hilberT sPacES used tO reprEsENt tHe density opEratOrs locallY:

\[lemma:ALpha-iso\] lEt ${\ensurEmath{{{\rHo}_{\tExtNormAL{\tInY AB}}}}}\In {\ENsuREmAth{\MAthCal{S}({\ensuReMaTh{\matHcal{h}_{\TEXTnorMal{\Tiny aB}}}})}}$, ${{\sigMa}_{\textnormal{\tIny b}}} \in {\eNSurEmath{\MathcAl{S}({\eNsUremaTh{\mathCal{H}_{\tExTnormal{\tiny B}}}})}}$, ${{\tau}_{\TextNormal{\tinY CD}}} \In {\EnsUrEmath{\MAthcal{s}({\enSurEmath{\maThcal{H}_{\tEXtnOrMAL{\TiNy CD}}}})}}$, ${{\omega}_{\textnormaL{\tINY D}}} \In {\ensureMath{\maTHcAl{s}({\EnsuremaTh{\MatHcal{h}_{\TExtnoRmal{\TInY D}}}})}}$ and $U$, $V$ iSometrIEs S.t. ${{\Tau}_{\textNoRmal{\tiNy cD}}} = {(U\!{\OtiMes}\!V)} {\eNSureMath{{{\rhO}_{\textnorMal{\tiNY AB}}}}}(U^\dagger\!{\otimES}\!V^\dagger)$ and ${{\omEGa}_{\TEXtNOrmaL{\tiNy D}}} =  V {\ensuremAth{{{\sIGma}_{\tExtnORmAl{\tINy B}}}}}V^\dAgger$. thEN, $$\lABel{eqn:alpha-iso}
{{\ensurEmAth{H_{\alPha}^{}(\teXtnormal{A}|\textNormal{B})_{\rho|\SIGMa}}}} = {{\ensureMath{h_{\AlPHa}^{}(\textnormal{C}|\tExtnoRmal{D})_{\tau|\omEGa}}}}\,.$$

ConditIonal EntropieS are measuRES of the unCerTaiNty AboUT $a$ gIven $B$, hence we eXPEct tHeM to satiSfy A data prOceSsiNg iNeqUaLity, i.e. locAl procesSiNg By A tRacE-presERving comPlEteLy PosItive MAp (TP
 ${{\ensuremath{H_{\alpha} ^{}(\textn ormal {A} |\t ex tnor mal{ B})_{\rho|\sig m a}}} }$ are monotonically d ecrea si n g in $\ alpha $.

Fur t he r m ore ,th e e nt r op ies a readditiv e, e.g. ev alu at ion for an i . i. d. state $ {\e nsuremath{{{ \rh o}_{\t ex tno r mal{\ tin y AB} }}}}^{ { \otime s}n}$ rel at i ve toa notheri . i. d. s tate ${\ensuremat h {{ { \sigma}_{\text normal {\ t in y B}} }}} ^{{\otimes }n }$ re s ults in $$ \ l a bel { eqn:alpha-add }
{{\ensure m ath {H_{\a lp ha} ^ {}(\te xtnor ma l {A$ ^n$}|\textn orma l{B$^n$}) _{\rho ^ {{\otim e s}n}|\s igma^{ {\o tim es}n } }} }}  =n{ {\e n su rem a th{ H_{\alph a} ^{ }(\te xtno r m a l {A}| \te xtno rmal{ B})_{\rho|\si gma }}}} \ ,.$ $ The  $\al pha$ -e ntrop ies ar e ind ep endent of the H ilbe rt spaces  us ed  to  r epres e nt the  de nsi ty oper ators l o cal ly : \[ lemma:alpha-iso\]Le t ${ \ensurem ath{{{ \ rh o} _ {\textno rm al{ \tin y AB}}} }}\i n  { \ensurem ath{\m a th ca l{S}({\ en surema th {\m ath cal{H } _{\t extnor mal{\tin y AB} } }})}}$, ${{\si g ma}_{\textnor m al { \ ti n y B} }}\in {\ensur emat h {\ma thca l {S }({ \ ensur emath {\ m at h cal{H}_{\textnormal {\ tiny B }}}}) }}$, ${{\tau} _{\textnor m a l {\tiny C D}}} \i n  {\ensuremath{ \math cal{S}({\e n suremath {\mat hcal{H}_ {\textnor m a l{\tinyCD} }}} )}} $,$ { {\ omega}_{\text n o rmal {\ tiny D} }}\in {\e nsu rem ath {\m at hcal{S}({ \ensurem at h{ \m at hca l{H}_ { \textnor ma l{\ ti nyD}}}} ) }}$ an d $U$ , $V $is o met ries s. t .$ { {\ta u} _{ \tex tno rm al{\t inyC D}} } = {(U \!{\otime s}\ ! V)}{\ en suremat h{{{\rho}_{\t ex tnormal{\t in y A B}}}}} ( U ^\dagger \!{\otimes}\!V^\dagger) $  and ${ {\o mega} _{\t extnormal {\t iny D} }}=   V {\ ensure math{ {{ \si g m a}_{\ t e xt nor ma l{\tiny B} } } }}V ^\dag ge r$.Then, $ $\label{eqn:alpha- i so} 
{{\ensuremat h{H _{\a l p ha }^{ } (\ t ext no r mal { A }|\textnormal{B })_{\rho|\ si g ma }}}} = {{\ e nsu re math{H_ {\alpha }^{}( \ textnor mal{C}|\t extnormal {D })_{ \ t au| \omega}}}} \,.$$

C onditiona l  entr o pi es ar e m easure softhe u ncerta i nty  abou t $A$gi ven $B $, he nc e we exp ect them to satisfy a d ata pr ocess ing  inequali ty, i.e . local p roce ssing by a  tr ace -pres erv i ng co mple t el y p o sitiv e ma p  (TP
 ${{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}$_are monotonically_decreasing in $\alpha$.

Furthermore, the_entropies are_additive,_e.g. evaluation for_an_i.i.d. state ${\ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}^{{\otimes}n}$_relative to another_i.i.d. state ${\ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}^{{\otimes}n}$ results_in $$\label{eqn:alpha-add}
{{\ensuremath{H_{\alpha}^{}(\textnormal{A$^n$}|\textnormal{B$^n$})_{\rho^{{\otimes}n}|\sigma^{{\otimes}n}}}}} =_n_{{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}}\,.$$ The $\alpha$-entropies are independent of the Hilbert spaces used to represent the density_operators_locally:

\[lemma:alpha-iso\] Let_${\ensuremath{{{\rho}_{\textnormal{\tiny_AB}}}}}\in_{\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny AB}}}})}}$, ${{\sigma}_{\textnormal{\tiny B}}} \in_{\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny B}}}})}}$, ${{\tau}_{\textnormal{\tiny CD}}} \in_{\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny CD}}}})}}$,_${{\omega}_{\textnormal{\tiny D}}} \in {\ensuremath{\mathcal{S}({\ensuremath{\mathcal{H}_{\textnormal{\tiny D}}}})}}$ and $U$, $V$_isometries_s.t. ${{\tau}_{\textnormal{\tiny CD}}} =_{(U\!{\otimes}\!V)} {\ensuremath{{{\rho}_{\textnormal{\tiny AB}}}}}(U^\dagger\!{\otimes}\!V^\dagger)$ and ${{\omega}_{\textnormal{\tiny D}}} =  V_{\ensuremath{{{\sigma}_{\textnormal{\tiny B}}}}}V^\dagger$. Then, $$\label{eqn:alpha-iso}
{{\ensuremath{H_{\alpha}^{}(\textnormal{A}|\textnormal{B})_{\rho|\sigma}}}} = {{\ensuremath{H_{\alpha}^{}(\textnormal{C}|\textnormal{D})_{\tau|\omega}}}}\,.$$

Conditional_entropies are measures_of_the_uncertainty about $A$ given_$B$, hence we expect them to_satisfy a data processing inequality, i.e. local_processing by a trace-preserving completely positive map_(TP