g., by introducing a basis of Hermitian, trace-orthogonal, and traceless operators \[e.g., su($D$)\], whence the $\rho _{i}$ are the expansion coefficients of $\rho $ in this basis [@Alicki:87], with $\rho _{1}$ the coefficient of $I$ (the identity matrix). In this case, the condition $\mathrm{Tr}\rho ^{2}\leq 1$ corresponds to $\left\Vert |\rho \rangle \rangle \right\Vert \leq 1$, $\rho =\rho ^{\dag }$ to $\rho _{i}=\rho _{i}^{\ast }$, and positive semidefiniteness of $\rho $ is expressed in terms of inequalities satisfied by certain Casimir invariants \[e.g., of $su(D)$\] [@byrd:062322; @Kimura:2003-1; @Kimura:2003-2]. A simple and well-known example of this procedure is the representation of the density operator of a two-level system (qubit) on the Bloch sphere, via $\rho =(I_{2}+\overrightarrow{v}\cdot \overrightarrow{\sigma })/2$, where $\overrightarrow{\sigma }=(\sigma _{x},\sigma _{y},\sigma _{z})$ is the vector of Pauli matrices, $I_{2}$ is the $2\times 2$ identity matrix, and $\overrightarrow{v}\in \mathbb{R}^{3}$ is a three-dimensional coherence vector of norm$\leq 1$. More generally, coherence vectors live in Hilbert-Schmidt space: a state space of linear operators endowed with an inner product that can be defined, for general vectors $u$ and $v$, as $$(u,v)\equiv \langle \langle u|v\rangle \rangle \equiv \frac{1}{{\mathcal{N}}}{\text{Tr}}\left( u^{\dagger }v\right),  \label{ip}$$where ${\mathcal{N}}$ is a normalization factor. Adjoint elements $\langle
\langle v|$ in the dual state space are given by row vectors defined as the transpose conjugate of $|v\rangle \rangle $: $\langle \langle
v|=(v_{1}^{\ast },v_{2}^{\ast },...,v_{D^{2}}^{\ast })$. A density matrix can then be expressed as a discrete superposition of states over a complete basis in this vector space, with appropriate constraints on the coefficients so that the requirements of
g., by introducing a basis of Hermitian, trace - orthogonal, and traceless operator \[e.g. , su($D$)\ ], whence the $ \rho _ { i}$ are the expansion coefficient of $ \rho $ in this basis [ @Alicki:87 ], with $ \rho _ { 1}$ the coefficient of $ I$ (the identity matrix). In this case, the circumstance $ \mathrm{Tr}\rho ^{2}\leq 1 $ corresponds to $ \left\Vert |\rho \rangle \rangle \right\Vert \leq 1 $, $ \rho = \rho ^{\dag } $ to $ \rho _ { i}=\rho _ { i}^{\ast } $, and positive semidefiniteness of $ \rho $ is express in terms of inequality satisfied by certain Casimir invariants \[e.g. , of $ su(D)$\ ] [ @byrd:062322; @Kimura:2003 - 1; @Kimura:2003 - 2 ]. A   elementary and well - known example of this routine is the representation of the density hustler of a two - level system (qubit) on the Bloch sphere, via $ \rho =( I_{2}+\overrightarrow{v}\cdot \overrightarrow{\sigma }) /2 $, where $ \overrightarrow{\sigma } =( \sigma _ { x},\sigma _ { y},\sigma _ { z})$ is the vector of Pauli matrices, $ I_{2}$ is the $ 2\times 2 $ identity matrix, and $ \overrightarrow{v}\in \mathbb{R}^{3}$ is a three - dimensional coherence vector of norm$\leq 1$. More generally, coherence vectors live in Hilbert - Schmidt outer space:   a state space of linear hustler endowed with an inner product that can be defined, for cosmopolitan vectors $ u$ and $ v$, as $ $ (uranium, v)\equiv \langle \langle u|v\rangle \rangle \equiv \frac{1}{{\mathcal{N}}}{\text{Tr}}\left (u^{\dagger } v\right),   \label{ip}$$where $ { \mathcal{N}}$ is a normalization factor. Adjoint elements $ \langle 
 \langle v|$ in the dual department of state space are given by row vectors defined as the transpose conjugate of $ |v\rangle \rangle $: $ \langle \langle 
 v|=(v_{1}^{\ast }, v_{2}^{\ast }, ..., v_{D^{2}}^{\ast }) $. A density matrix can then be expressed as a discrete superposition of states over a complete basis in this vector space, with appropriate constraints on the coefficients so that the requirements of
g., bj introducing a basis of Hermitian, tracg-oethogoial, and tracelers operators \[e.g., su($D$)\], whence tie $\ryo _{i}$ qre the expansion coefwicients lf $\rho $ un tiis basis [@Alicki:87], with $\rho _{1}$ the goeffncment of $I$ (the icentity madrix). In this cdsd, che condition $\mathrm{Tr}\rho ^{2}\leq 1$ correfponds yo $\left\Vert |\rho \tanglt \rwngls \right\Vert \leq 1$, $\rho =\rho ^{\dag }$ to $\rgo _{i}=\rho _{i}^{\ast }$, and poxitive semidefiniteness of $\rho $ is expressed in herms of ingsuajuties satisfked by ceruann Casimir jnvariants \[e.g., of $su(D)$\] [@byrd:062322; @Kimurx:2003-1; @Kimbra:2003-2]. A simple abd agll-known exanple jf this procccure iv the rrpresentation pf vhe eensity operator of a two-level system (qobit) on tha Yloch sphere, via $\rho =(U_{2}+\ocerrichtasrow{x}\xdog \obecrifhtarrlw{\smgma })/2$, where $\overrightaerow{\sigma }=(\sigma _{x},\sibmw _{y},\sigma _{z})$ is fhe vestjr of Pauli matrices, $I_{2}$ is the $2\times 2$ idtntitg matrix, and $\overrightaerow{v}\in \mathbb{R}^{3}$ is a jhree-dimenfional coherence vector of norm$\leq 1$. More generallf, cohxrdnct ycctofw pive in Hilbert-Schmidt space: a state space of jjntar operators endjwed with am lnmgr product thaj can bz dsfined, for general vectorf $u$ abd $v$, as $$(u,d)\equov \langle \langle u|v\rangle \rqngle \equiv \yrax{1}{{\mathcal{N}}}{\text{Tr}}\lefc( u^{\dagger }v\rnght),  \kabel{op}$$where ${\mathcal{N}}$ is a nurmamization faftor. Adjojvt elements $\langue
\lsncle v|$ in the dual state spwce are gmven yy row vdctots defiged as the transpose conjugate of $|g\rangpe \rangle $: $\lwngle \langle
v|=(v_{1}^{\ast },v_{2}^{\ast },...,v_{D^{2}}^{\ast })$. A density matric wan then be exprcssed as a discwete superposijion of scates uver a comilete basms in this vqctor space, whjh appropriatx constraynts on rhe coewwicients so thst the requirements of
g., by introducing a basis of Hermitian, traceless \[e.g., su($D$)\], the $\rho _{i}$ $\rho in this basis with $\rho _{1}$ coefficient of $I$ (the identity matrix). this case, the condition $\mathrm{Tr}\rho ^{2}\leq 1$ corresponds to $\left\Vert |\rho \rangle \rangle \leq 1$, $\rho =\rho ^{\dag }$ to $\rho _{i}=\rho _{i}^{\ast }$, and positive of $ expressed terms of inequalities satisfied by certain Casimir invariants \[e.g., of $su(D)$\] [@byrd:062322; @Kimura:2003-1; @Kimura:2003-2]. A simple well-known example of this procedure is the representation the density operator of two-level system (qubit) on the sphere, $\rho =(I_{2}+\overrightarrow{v}\cdot })/2$, $\overrightarrow{\sigma _{x},\sigma _{y},\sigma _{z})$ the vector of Pauli matrices, $I_{2}$ is the $2\times 2$ identity matrix, and $\overrightarrow{v}\in \mathbb{R}^{3}$ is a coherence vector 1$. More coherence live Hilbert-Schmidt space: a of linear operators endowed with an can be defined, for general vectors $u$ and as $$(u,v)\equiv \langle u|v\rangle \rangle \equiv \frac{1}{{\mathcal{N}}}{\text{Tr}}\left( u^{\dagger \label{ip}$$where ${\mathcal{N}}$ is a normalization factor. Adjoint elements \langle v|$ in the dual state space are given by row vectors defined as the of $|v\rangle \rangle $: \langle v|=(v_{1}^{\ast },v_{2}^{\ast })$. density can be expressed a discrete superposition of states over a complete basis in this space, with appropriate constraints on the coefficients so that the
g., by introducing a basis of HerMitian, tracE-orthOgoNal, AnD traCeleSs operators \[e.g., sU($d$)\], wheNce the $\rho _{i}$ are the expansIon coEfFIcieNTs Of $\rho $ In this bASiS [@aLicKi:87], WiTh $\rHo _{1}$ THe CoeffIciEnt of $I$ (tHe identity MatRiX). In this case, tHE cOndition $\maThrM{Tr}\rho ^{2}\leq 1$ corResPonds tO $\lEft\vErt |\rhO \raNgle \rAngle \rIGht\VerT \leq 1$, $\rho =\rhO ^{\dAG }$ to $\rho _{I}=\Rho _{i}^{\ast }$, AND pOsitIve semidefiniteneSS oF $\Rho $ is expressed In termS oF InEQUalItiEs satisfieD bY certAIn CasimIR iNVARiaNTs \[e.g., of $su(D)$\] [@byrd:062322; @kimura:2003-1; @KimurA:2003-2]. a siMple anD wEll-KNown exAmple Of THis Procedure is The rEpresentaTion of THe densiTY operatOr of a tWo-lEveL sysTEm (QuBit) On THe BLOcH spHEre, Via $\rho =(I_{2}+\oVeRrIghtaRrow{V}\CDOT \oveRriGhtaRrow{\sIgma })/2$, where $\overRigHtarROw{\sIgma }=(\sIgma _{x},\SigmA _{y},\Sigma _{Z})$ is the VectoR oF Pauli matrices, $I_{2}$ Is thE $2\times 2$ ideNtiTy MatRiX, and $\oVErrighTarRow{V}\in \mathBb{R}^{3}$ is a tHRee-DiMENSiOnal coherence vectoR oF NOrM$\leq 1$. More GeneraLLy, CoHErence veCtOrs Live IN hilbeRt-ScHMiDt space: a State sPAcE oF linear OpEratorS eNdoWed With aN InneR produCt that caN be deFIned, for general VEctors $u$ and $v$, as $$(U,V)\eQUIv \LAnglE \laNgle u|v\ranglE \ranGLe \eqUiv \fRAc{1}{{\MatHCal{N}}}{\tExt{Tr}}\LeFT( u^{\DAgger }v\right),  \label{ip}$$wHeRe ${\mathCal{N}}$ iS a normalizatiOn factor. AdJOINt elemenTs $\laNGlE
\Langle v|$ in the duAl staTe space are GIven by roW vectOrs definEd as the trANSpose conJugAte Of $|v\RanGLE \rAngle $: $\langle \laNGLe
v|=(v_{1}^{\AsT },v_{2}^{\ast },...,v_{D^{2}}^{\Ast })$. a densitY maTriX caN thEn Be expressEd as a disCrEtE sUpErpOsitiON of stateS oVer A cOmpLete bASis in tHis veCtor SpAcE, WitH appropRIaTE ConsTrAiNts oN thE cOeffiCienTS so That the RequiremeNts OF
g., by introducing a basis  of Hermit ian,tra ce- or thog onal , and traceles s  ope rators \[e.g., su($D$) \], w he n ce t h e$\rho  _{i}$a re t heex pa nsi on co effic ien ts of $ \rho $ inthi sbasis [@Alic k i: 87], with$\r ho _{1}$ the  co effici en t o f  $I$(th e ide ntitym atrix) . In this  c a se, th e  condit i o n$\ma thrm{Tr}\rho ^{2} \ le q  1$ correspond s to $ \l e ft \ V ert  |\ rho \rangl e\rang l e \righ t \V e r t  \l e q 1$, $\rho = \rho ^{\dag }$to $\r ho  _{ i }=\rho  _{i} ^{ \ ast  }$, and po siti ve semide finite n ess of$ \rho $is exp res sed  int er ms  of  i n equ a li tie s  sa tisfiedby  c ertai n Ca s i m i r in var iant s \[e .g., of $su(D )$\ ] [@ b yrd :0623 22; @ Kimu ra :2003 -1; @K imura :2 003-2]. A simpl e an d well-kn own  e xam pl e oft his pr oce dur e is th e repre s ent at i o n  o f the density oper at o r  o f a two- levels ys te m  (qubit)  o n t he B l o ch sp here ,  v ia $\rho  =(I_{ 2 }+ \o verrigh ta rrow{v }\ cdo t \ overr i ghta rrow{\ sigma }) /2$,w here $\overrig h tarrow{\sigma }= ( \ si g ma _ {x} ,\sigma _{y },\s i gma_{z} ) $ist he ve ctorof Pa u li matrices, $I_{2} $is the  $2\t imes 2$ ident ity matrix , a nd $\ove rrig h ta r row{v}\in \mat hbb{R }^{3}$ isa  three-d imens ional co herence v e c tor of n orm $\l eq1$. M or e generally,c o here nc e vecto rslive in  Hi lbe rt- Sch mi dt space:  a state  s pa ce  o f l inear operator send ow edwitha n inne r pro duct  t ha t  ca n be de f in e d , fo rge nera l v ec tors$u$a nd$v$, as  $$(u,v)\ equ i v \l an gl e \lang le u|v\rangle  \ rangle \eq ui v \ frac{1 } { {\mathca l{N}}}{\text{Tr}}\left( u^{\dag ger  }v\r ight ),  \labe l{i p}$$wh ere ${\mat hcal{N }}$ i sa n o r maliz a t io n f ac tor. Adjoi n t  el ement s$\la ngle
\l angle v|$ in the d u alstate space a regive n by  ro w  v e cto rs def i n ed as the trans pose conju ga t eof $|v\ran g le\r angle $ : $\lan gle \ l angle
v |=(v_{1}^ {\ast },v _{ 2}^{ \ a st},...,v_{D ^{2}}^{\ ast })$.A  dens i ty  matr ixcan th en  be  expr esseda s a  disc rete s up erposi tionof  statesover a complete basis i n this  vect orspace, wi tha ppr opriate c onst raints onthe  co effic ien t s sothat th e r e quire ment s  of
g., by_introducing a_basis of Hermitian, trace-orthogonal,_and traceless_operators_\[e.g., su($D$)\],_whence_the $\rho _{i}$_are the expansion_coefficients of $\rho $_in this basis_[@Alicki:87],_with $\rho _{1}$ the coefficient of $I$ (the identity matrix). In this case, the_condition_$\mathrm{Tr}\rho ^{2}\leq_1$_corresponds_to $\left\Vert |\rho \rangle \rangle_\right\Vert \leq 1$, $\rho =\rho_^{\dag }$_to $\rho _{i}=\rho _{i}^{\ast }$, and positive semidefiniteness_of_$\rho $ is_expressed in terms of inequalities satisfied by certain Casimir_invariants \[e.g., of $su(D)$\] [@byrd:062322; @Kimura:2003-1;_@Kimura:2003-2]. A simple and_well-known_example_of this procedure is_the representation of the density operator_of a two-level system (qubit) on_the Bloch sphere, via $\rho =(I_{2}+\overrightarrow{v}\cdot \overrightarrow{\sigma_})/2$, where $\overrightarrow{\sigma }=(\sigma _{x},\sigma _{y},\sigma__{z})$ is the vector of_Pauli matrices,_$I_{2}$ is the $2\times 2$_identity matrix, and_$\overrightarrow{v}\in \mathbb{R}^{3}$_is a three-dimensional_coherence vector of norm$\leq 1$. More_generally, coherence vectors_live in Hilbert-Schmidt space: a state space_of_linear operators endowed_with_an_inner product_that can be_defined,_for general_vectors_$u$ and $v$, as $$(u,v)\equiv \langle_\langle_u|v\rangle \rangle \equiv \frac{1}{{\mathcal{N}}}{\text{Tr}}\left( u^{\dagger }v\right), _\label{ip}$$where ${\mathcal{N}}$ is a_normalization_factor. Adjoint elements $\langle
\langle_v|$ in the dual state_space are given by row vectors_defined as_the transpose_conjugate of $|v\rangle \rangle $: $\langle \langle
v|=(v_{1}^{\ast },v_{2}^{\ast },...,v_{D^{2}}^{\ast })$. A_density matrix can then be expressed_as a discrete superposition_of states_over_a complete basis_in_this vector_space, with appropriate constraints on the coefficients_so that_the requirements of