 representation is not unique. Normalization as well as other expectation values of product operators can be obtained from $$\begin{aligned}
\nonumber \langle\psi|\bigotimes_{k=1}^N
S_k|\psi\rangle &=&\operatorname{tr}\left[\prod_{k=1}^N
E_{S_k}^{[k]}\right]\;,\quad\text{with}\\
E_S^{[k]}&\equiv&\sum_{i,j=1}^d \langle i|S|j\rangle
\overline{A}_i^{[k]}\otimes A_j^{[k]}\label{E}\;.\end{aligned}$$

\[htbp\]

Finitely correlated states
--------------------------

The present work is inspired by the papers on *finitely correlated states* (FCS) which in turn generalize the findings of Affleck, Kennedy, Lieb and Tasaki (AKLT) [@AKLT]. In fact, many of the results we derive are extensions of the FCS formalism to finite and/or non-translational invariant systems. For this reason we will briefly review the work on FCS. A FCS is a translational invariant state on an infinite spin chain which is constructed from a completely positive and trace preserving map $\mathbb{E}:{\cal B}({\cal H}_A)\rightarrow {\cal B}({\cal
H}_A\otimes {\cal H}_B)$ and a corresponding fixed point density operator $\Lambda=\operatorname{tr}_B[\mathbb{E}(\Lambda)]$. Here ${\cal
H}_B=\mathbb{C}^d$ is the Hilbert space corresponding to one site in the chain and ${\cal H}_A=\mathbb{C}^D$ is an ancillary system. An $n$-partite reduced density matrix $\rho_n$ of the FCS is then obtained by repeated application of $\mathbb{E}$ to the ancillary system (initially in $\Lambda$) followed by tracing out the ancilla, i.e., $$\rho_n=\operatorname{tr}_A\big[\mathbb{E}^n(\Lambda)\big]\;.$$ An important instance are *purely generated* FCS where $\mathbb{E}(x)=V^\dag x V$ is given by a partial isometry $V$. The latter can be easily related to the $A$’s in the matrix product representation via $V=\sum_{i=1}^d\sum_{\alpha,\beta=
representation is not unique. Normalization as well as early anticipation values of product operator can be receive from $ $ \begin{aligned } 
 \nonumber \langle\psi|\bigotimes_{k=1}^N 
 S_k|\psi\rangle & = & \operatorname{tr}\left[\prod_{k=1}^N 
 E_{S_k}^{[k]}\right]\;,\quad\text{with}\\ 
 E_S^{[k]}&\equiv&\sum_{i, j=1}^d \langle i|S|j\rangle 
 \overline{A}_i^{[k]}\otimes A_j^{[k]}\label{E}\;.\end{aligned}$$ 

 \[htbp\ ] 

 Finitely correlated states 
 -------------------------- 

 The present oeuvre is cheer by the papers on * finitely correlate states * (FCS) which in turn popularize the findings of Affleck, Kennedy, Lieb and Tasaki (AKLT) [ @AKLT ]. In fact, many of the results we derive are extensions of the FCS formalism to finite and/or non - translational changeless systems. For this reason we will concisely review the work on FCS. A FCS is a translational changeless state of matter on an infinite spin chain which is construct from a completely positive and trace preserving function $ \mathbb{E}:{\cal B}({\cal H}_A)\rightarrow { \cal B}({\cal 
 H}_A\otimes { \cal H}_B)$ and a corresponding cook point density operator $ \Lambda=\operatorname{tr}_B[\mathbb{E}(\Lambda)]$. Here $ { \cal 
 H}_B=\mathbb{C}^d$ is the Hilbert quad corresponding to one site in the chain and $ { \cal H}_A=\mathbb{C}^D$ is an ancillary system. An $ n$-partite reduced density matrix $ \rho_n$ of the FCS is then obtained by repeated application of $ \mathbb{E}$ to the ancillary system (initially in $ \Lambda$) followed by tracing out the ancilla, i.e., $ $ \rho_n=\operatorname{tr}_A\big[\mathbb{E}^n(\Lambda)\big]\;.$$ An important instance are * purely generate * FCS where $ \mathbb{E}(x)=V^\dag x V$ is given by a fond isometry $ V$. The latter can be well related to the $ A$ ’s in the matrix product representation via $ V=\sum_{i=1}^d\sum_{\alpha,\beta=
 reoresentation is not uniqme. Normalization as weln as ofher expdctation values of product o'erarors xan be obtained from $$\bdgin{alignvd}
\nonumbee \laigle\psi|\bigotimes_{k=1}^N
S_k|\psi\rangle &=&\kieratmcname{tr}\left[\prod_{l=1}^N
E_{S_k}^{[k]}\righd]\;,\quad\text{with}\\
E_V^{[k]}&\dqbiv&\sum_{i,j=1}^d \langle i|S|j\rangle
\overline{A}_i^{[h]}\otimes A_u^{[k]}\label{E}\;.\end{alidned}$$

\[nebp\]

Fjnitely correlated states
--------------------------

The preseht work is inspired ny the papers on *finitely forrflated states* (FCS) ahich in tuth gqberalize the findings of Affleck, Kgnnedy, Lieb and Tasaki (AKLT) [@AKLT]. In fcct, many of tye ggsults we decive age extensions of the XCS forkalism to finibe anv/or bon-translational invaciant systems. For thys reason wz will briefly review tye wotk on FCS. Q FZS js a transpatmonal invarjant state in an infinite spin crqin which is donstrtceed from a completely positive and tract preaerving map $\mathbb{E}:{\cal V}({\cal H}_A)\rightarrow {\cal B}({\cal
H}_A\otymes {\cal H}_B)$ and a corresponding fixed point densidy opxrxtox $\Lambaq=\ooeratorname{tr}_B[\mathbb{E}(\Lambda)]$. Here ${\cal
H}_B=\mathbb{C}^q$ ix nhe Hilbert space correspondonh yj one site in the ckzih and ${\cal H}_A=\mathbb{F}^D$ is ag ancullary syftem. An $n$-partite reduced densitt matrix $\rho_u$ od the FCS is then lbtained by repgated spplication of $\mathbb{E}$ co the ancillary dystem (injgially in $\Lambda$) foklmwed by ufacing out the ansilla, i.e., $$\cho_n=\o'eratornxme{tt}_A\big[\maehbb{E}^n(\Lambfa)\big]\;.$$ An important instajce ate *puraly generahed* FCS where $\mathbb{E}(x)=V^\dag x V$ mx given by a pdrtpal isomecry $V$. Bhe latter can fe easily relajed to thz $A$’s iv the matrpx producv representaeion via $V=\sum_{h=1}^f\sum_{\alpha,\bete=
representation is not unique. Normalization as well expectation of product can be obtained &=&\operatorname{tr}\left[\prod_{k=1}^N E_S^{[k]}&\equiv&\sum_{i,j=1}^d \langle i|S|j\rangle A_j^{[k]}\label{E}\;.\end{aligned}$$ \[htbp\] Finitely states -------------------------- The present work is by the papers on *finitely correlated states* (FCS) which in turn generalize the of Affleck, Kennedy, Lieb and Tasaki (AKLT) [@AKLT]. In fact, many of the we are of FCS formalism to finite and/or non-translational invariant systems. For this reason we will briefly review the on FCS. A FCS is a translational invariant on an infinite spin which is constructed from a positive trace preserving $\mathbb{E}:{\cal H}_A)\rightarrow B}({\cal H}_A\otimes {\cal and a corresponding fixed point density operator $\Lambda=\operatorname{tr}_B[\mathbb{E}(\Lambda)]$. Here ${\cal H}_B=\mathbb{C}^d$ is the Hilbert space corresponding to site in and ${\cal is ancillary An $n$-partite reduced $\rho_n$ of the FCS is then application of $\mathbb{E}$ to the ancillary system (initially $\Lambda$) followed tracing out the ancilla, i.e., $$\rho_n=\operatorname{tr}_A\big[\mathbb{E}^n(\Lambda)\big]\;.$$ important instance are *purely generated* FCS where $\mathbb{E}(x)=V^\dag V$ is given by a partial isometry $V$. The latter can be easily related to in the matrix product via $V=\sum_{i=1}^d\sum_{\alpha,\beta=
 representation is not unique. normalizatIon as WelL as OtHer eXpecTation values of PRoduCt operators can be obtainEd froM $$\bEGin{aLIgNed}
\noNumber \lANgLE\Psi|\BiGoTimEs_{K=1}^n
S_K|\psi\rAngLe &=&\operaTorname{tr}\lEft[\PrOd_{k=1}^N
E_{S_k}^{[k]}\righT]\;,\QuAd\text{with}\\
e_S^{[k]}&\Equiv&\sum_{i,j=1}^d \lAngLe i|S|j\rAnGle
\OVerliNe{A}_I^{[k]}\otiMes A_j^{[k]}\LAbel{E}\;.\eNd{aligned}$$

\[HtBP\]

FinitELy correLATeD staTes
--------------------------

The present work IS iNSpired by the papErs on *fInITeLY CorRelAted states* (fCs) whicH In turn gENeRALIze THe findings of AFfleck, KenneDY, LiEb and TAsAki (akLT) [@AKLt]. In faCt, MAny Of the resultS we dErive are eXtensiONs of the fcS formaLism to FinIte And/oR NoN-tRanSlATioNAl InvARiaNt systemS. FOr This rEasoN WE WIll bRieFly rEview The work on FCS. A fCS Is a tRAnsLatioNal inVariAnT statE on an iNfiniTe Spin chain which iS conStructed fRom A cOmpLeTely pOSitive And TraCe preseRving maP $\MatHbB{e}:{\CAl b}({\cal H}_A)\rightarrow {\caL B}({\CAL
H}_a\otimes {\cAl H}_B)$ anD A cOrREspondinG fIxeD poiNT DensiTy opERaTor $\LambdA=\operaTOrNaMe{tr}_B[\maThBb{E}(\LamBdA)]$. HeRe ${\cAl
H}_B=\mAThbb{c}^d$ is thE Hilbert Space COrresponding to ONe site in the chAIn AND ${\cAL H}_A=\mAthBb{C}^D$ is an ancIllaRY sysTem. AN $N$-pArtITe redUced dEnSItY Matrix $\rho_n$ of the FCS iS tHen obtAined By repeated appLication of $\MATHbb{E}$ to thE ancILlARy system (initiaLly in $\lambda$) follOWed by traCing oUt the ancIlla, i.e., $$\rho_N=\OPeratornAme{Tr}_A\Big[\MatHBB{E}^N(\Lambda)\big]\;.$$ An iMPOrtaNt InstancE arE *purely GenEraTed* fCS WhEre $\mathbb{e}(x)=V^\dag x V$ Is GiVeN bY a pArtiaL Isometry $v$. THe lAtTer Can be EAsily rElateD to tHe $a$’s IN thE matrix PRoDUCt rePrEsEntaTioN vIa $V=\suM_{i=1}^d\sUM_{\alPha,\beta=
 representation is not uni que. Norma lizat ion  as  w ellas o ther expectati o n va lues of product operat ors c an be o b ta inedfrom $$ \ be g i n{a li gn ed} 
\ n on umber  \l angle\p si|\bigoti mes _{ k=1}^N
S_k|\ p si \rangle &= &\o peratorname{ tr} \left[ \p rod _ {k=1} ^NE_{S_ k}^{[k ] }\righ t]\;,\qua d\ t ext{wi t h}\\
E_ S ^ {[ k]}& \equiv&\sum_{i,j= 1 }^ d  \langle i|S|j \rangl e\ ov e r lin e{A }_i^{[k]}\ ot imesA _j^{[k] } \l a b e l{E } \;.\end{align ed}$$

\[ht b p\] 

Fini te lyc orrela ted s ta t es----------- ---- --------- --

Th e  presen t  work i s insp ire d b y th e  p ap ers  o n  *f i ni tel y  co rrelated  s ta tes*(FCS ) w h ichinturn  gene ralize the fi ndi ngso f A fflec k, Ke nned y,  Lieb  and T asaki  ( AKLT) [@AKLT].In f act, many  of  t here sults we der ive  ar e exten sions o f  th eF C S  f ormalism to finite  a n d /o r non-tr anslat i on al invarian tsys tems . For t hisr ea son we w ill br i ef ly  review  t he wor konFCS . A F C S is  a tra nslation al in v ariant state o n  an infinites pi n ch a in w hic h is constr ucte d  fro m ac om ple t ely p ositi ve an d  trace preserving m ap  $\mat hbb{E }:{\cal B}({\ cal H}_A)\ r i g htarrow{\ca l  B } ({\cal
H}_A\ot imes{\cal H}_B ) $ and acorre sponding  fixed po i n t densit y o per ato r $ \ L am bda=\operator n a me{t r} _B[\mat hbb {E}(\La mbd a)] $.Her e${\cal
H} _B=\math bb {C }^ d$  is  theH ilbert s pa ceco rre spond i ng toone s itein  t h e c hain an d  $ { \ calH} _A =\ma thb b{ C}^D$  isa n a ncillar y system.  An $n$- pa rt ite red uced densityma trix $\rho _n $ o f theF C S is the n obtained by repeateda pplicat ion  of $ \mat hbb{E}$ t o t he anc ill a ry sys tem (i nitia ll y i n $\Lam b d a$ ) f ol lowed by t r a cin g out  t he a ncilla,  i.e., $$\rho_n=\o p era torname{tr}_A \bi g[\m a t hb b{E } ^n ( \La mb d a)\ b i g]\;.$$ An impo rtant inst an c eare *purel y  ge ne rated*FCS whe re $\ m athbb{E }(x)=V^\d ag x V$ i sgive n bya partialisometry  $V$. The latte r  c an be  ea sily r el ate d tothe $A $ ’sin th e matr ix  produ ct re pr esentati on via $V=\sum_{i=1}^d\ sum_{\ alpha ,\b eta=
 representation_is not_unique. Normalization as well_as other_expectation_values of_product_operators can be_obtained from $$\begin{aligned}
\nonumber_\langle\psi|\bigotimes_{k=1}^N
S_k|\psi\rangle &=&\operatorname{tr}\left[\prod_{k=1}^N
E_{S_k}^{[k]}\right]\;,\quad\text{with}\\
E_S^{[k]}&\equiv&\sum_{i,j=1}^d \langle i|S|j\rangle
\overline{A}_i^{[k]}\otimes_A_j^{[k]}\label{E}\;.\end{aligned}$$

\[htbp\]

Finitely correlated states
--------------------------

The_present_work is inspired by the papers on *finitely correlated states* (FCS) which in turn_generalize_the findings_of_Affleck,_Kennedy, Lieb and Tasaki (AKLT)_[@AKLT]. In fact, many of_the results_we derive are extensions of the FCS formalism_to_finite and/or non-translational_invariant systems. For this reason we will briefly review_the work on FCS. A FCS_is a translational_invariant_state_on an infinite spin_chain which is constructed from a_completely positive and trace preserving map_$\mathbb{E}:{\cal B}({\cal H}_A)\rightarrow {\cal B}({\cal
H}_A\otimes {\cal H}_B)$_and a corresponding fixed point density_operator $\Lambda=\operatorname{tr}_B[\mathbb{E}(\Lambda)]$. Here ${\cal
H}_B=\mathbb{C}^d$ is_the Hilbert_space corresponding to one site_in the chain_and ${\cal_H}_A=\mathbb{C}^D$ is an_ancillary system. An $n$-partite reduced density_matrix $\rho_n$ of_the FCS is then obtained by_repeated_application of $\mathbb{E}$_to_the_ancillary system_(initially in $\Lambda$)_followed_by tracing_out_the ancilla, i.e., $$\rho_n=\operatorname{tr}_A\big[\mathbb{E}^n(\Lambda)\big]\;.$$ An important_instance_are *purely generated* FCS where $\mathbb{E}(x)=V^\dag x_V$ is given by_a_partial isometry $V$. The_latter can be easily related_to the $A$’s in the matrix_product representation_via $V=\sum_{i=1}^d\sum_{\alpha,\beta=