x_k}\in\mathcal{U}(\HH)\;,$$ where $p(x_k|x_1,\ldots,x_{k-1})$ is the probability of observing $x_k$ at the $k^{\mathrm{th}}$ step conditioned upon the observation of $(x_1,\ldots,x_{k-1})$ during the previous steps. Equation gives the polar decomposition of $t^{(x_1,\ldots,x_{k-1})}_{x_k}$, which in this case is unique.

\(b) Combining equations and we get $$\nonumber
    t^{(x_1,\ldots,x_{k-1})}_{x_k} = \sqrt{p(x_k|x_1,\ldots,x_{k-1})}\,
    {\mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots,x_n)} \, {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^*\cdots
    {u^{(x_1,\ldots,x_{n-1})}_{x_n}}^*\,{u^{(0)}_{x_1}}^*\cdots
    {u^{(x_1,\ldots,x_{k-2})}_{x_{k-1}}}^*\;,$$ where, because of the uniqueness of the polar decomposition of $t^{(x_1,\ldots,x_{k-1})}_{x_k}$, $$\nonumber
    {\mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots,x_n)} \,
    {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^* \cdots {u^{(x_1,\ldots,x_{n-1})}_{x_n}}^*
    \, {u^{(0)}_{x_1}}^*\cdots {u^{(x_1,\ldots,x_{k-2})}_{x_{k-1}}}^* =
    u^{(x_1,\ldots,x_{k-1})}_{x_k} \;,$$ which therefore has to be independent of $x_{k+1},\ldots,x_n$. If moreover $(x_1,\ldots,x_{k-1})$ is such that for all $m>k$ the operators $t^{(x_1,\ldots,x_{m-1})}_{x_m}$ do not depend on $x_k
x_k}\in\mathcal{U}(\HH)\;,$$ where $ p(x_k|x_1,\ldots, x_{k-1})$ is the probability of observing $ x_k$ at the $ k^{\mathrm{th}}$ step conditioned upon the observation of $ (x_1,\ldots, x_{k-1})$ during the former step. Equation gives the pivotal decay of $ t^{(x_1,\ldots, x_{k-1})}_{x_k}$, which in this case is unique. 

 \(b) Combining equation and we get $ $ \nonumber 
     t^{(x_1,\ldots, x_{k-1})}_{x_k } = \sqrt{p(x_k|x_1,\ldots, x_{k-1})}\, 
     { \mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots, x_n) } \, { u^{(x_1,\ldots, x_k)}_{x_{k+1}}}^*\cdots 
     { u^{(x_1,\ldots, x_{n-1})}_{x_n}}^*\,{u^{(0)}_{x_1}}^*\cdots 
     { u^{(x_1,\ldots, x_{k-2})}_{x_{k-1}}}^*\;,$$ where, because of the uniqueness of the diametric decomposition of $ t^{(x_1,\ldots, x_{k-1})}_{x_k}$, $ $ \nonumber 
     { \mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots, x_n) } \, 
     { u^{(x_1,\ldots, x_k)}_{x_{k+1}}}^ * \cdots { u^{(x_1,\ldots, x_{n-1})}_{x_n}}^ * 
     \, { u^{(0)}_{x_1}}^*\cdots { u^{(x_1,\ldots, x_{k-2})}_{x_{k-1}}}^ * = 
     u^{(x_1,\ldots, x_{k-1})}_{x_k } \;,$$ which therefore suffer to be independent of $ x_{k+1},\ldots, x_n$. If furthermore $ (x_1,\ldots, x_{k-1})$ is such that for all $ m > k$ the operators $ t^{(x_1,\ldots, x_{m-1})}_{x_m}$ do not depend on $ x_k
x_k}\ij\mathcal{U}(\HH)\;,$$ where $p(x_k|x_1,\lduts,x_{k-1})$ is the probabilivy of ogserving $x_k$ at the $k^{\mathrm{th}}$ step coidituoned upon the observation uf $(x_1,\ldots,q_{k-1})$ during the previous svsps. Equation flves chx polar decompoxition of $d^{(x_1,\ldots,x_{k-1})}_{x_k}$, whhcf nn this case is unique.

\(b) Combining eqtations ajd we get $$\nonuiber
    t^{(s_1,\ldots,x_{k-1})}_{x_k} = \sqrt{p(x_k|x_1,\ldots,x_{k-1})}\,
    {\matgrm{e}}^{{\matirm{i}}\theta(x_1,\ldots,c_n)} \, {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^*\cdots
    {u^{(x_1,\pdotd,x_{n-1})}_{x_n}}^*\,{u^{(0)}_{x_1}}^*\cdots
    {u^{(x_1,\pdots,x_{k-2})}_{x_{k-1}}}^*\;,$$ wyere, vecause of tfe uniquentsv of the pklar decomposition of $t^{(x_1,\ldots,x_{k-1})}_{b_k}$, $$\nouumber
    {\mqtyrm{f}}^{{\kathrm{i}}\thete(x_1,\ldotf,x_n)} \,
    {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^* \wdots {u^{(c_1,\ldots,x_{n-1})}_{x_n}}^*
    \, {u^{(0)}_{x_1}}^*\rdotw {u^{(x_1,\ldots,x_{k-2})}_{x_{k-1}}}^* =
    u^{(x_1,\lvots,x_{k-1})}_{x_k} \;,$$ which thergfore has do be independent od $z_{k+1},\ldojs,x_n$. Hf mueeoxer $(x_1,\kdkts,x_{k-1})$ ls auch that ror all $m>k$ rhe operators $t^{(x_1,\ldous,x_{i-1})}_{q_k}$ do not depsnd on $x_h
x_k}\in\mathcal{U}(\HH)\;,$$ where $p(x_k|x_1,\ldots,x_{k-1})$ is the probability of at $k^{\mathrm{th}}$ step upon the observation steps. gives the polar of $t^{(x_1,\ldots,x_{k-1})}_{x_k}$, which this case is unique. \(b) Combining and we get $$\nonumber t^{(x_1,\ldots,x_{k-1})}_{x_k} = \sqrt{p(x_k|x_1,\ldots,x_{k-1})}\, {\mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots,x_n)} \, {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^*\cdots {u^{(x_1,\ldots,x_{n-1})}_{x_n}}^*\,{u^{(0)}_{x_1}}^*\cdots {u^{(x_1,\ldots,x_{k-2})}_{x_{k-1}}}^*\;,$$ where, of the uniqueness of the polar decomposition of $t^{(x_1,\ldots,x_{k-1})}_{x_k}$, $$\nonumber {\mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots,x_n)} \, {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^* {u^{(x_1,\ldots,x_{n-1})}_{x_n}}^* {u^{(0)}_{x_1}}^*\cdots = \;,$$ which therefore has to be independent of $x_{k+1},\ldots,x_n$. If moreover $(x_1,\ldots,x_{k-1})$ is such that for $m>k$ the operators $t^{(x_1,\ldots,x_{m-1})}_{x_m}$ do not depend on
x_k}\in\mathcal{U}(\HH)\;,$$ where $p(x_k|x_1,\ldOts,x_{k-1})$ is the ProbaBilIty Of ObseRvinG $x_k$ at the $k^{\mathrM{Th}}$ stEp conditioned upon the obServaTiON of $(x_1,\LDoTs,x_{k-1})$ dUring thE PrEVIouS sTePs. EQuATiOn givEs tHe polar DecompositIon Of $T^{(x_1,\ldots,x_{k-1})}_{x_k}$, wHIcH in this casE is Unique.

\(b) CombiNinG equatIoNs aND we geT $$\noNumbeR
    t^{(x_1,\ldoTS,x_{k-1})}_{x_k} = \sQrt{p(x_k|x_1,\ldOtS,X_{k-1})}\,
    {\mathRM{e}}^{{\mathrM{I}}\ThEta(x_1,\Ldots,x_n)} \, {u^{(x_1,\ldots,x_k)}_{x_{K+1}}}^*\CdOTs
    {u^{(x_1,\ldots,x_{n-1})}_{x_n}}^*\,{u^{(0)}_{X_1}}^*\cdots
    {U^{(x_1,\LDoTS,X_{k-2})}_{x_{K-1}}}^*\;,$$ whEre, because Of The unIQueness OF tHE POlaR Decomposition Of $t^{(x_1,\ldots,x_{k-1})}_{X_K}$, $$\noNumber
    {\MaThrM{E}}^{{\mathrM{i}}\theTa(X_1,\LdoTs,x_n)} \,
    {u^{(x_1,\ldots,X_k)}_{x_{k+1}}}^* \Cdots {u^{(x_1,\ldOts,x_{n-1})}_{x_N}}^*
    \, {U^{(0)}_{x_1}}^*\cdots {U^{(X_1,\ldots,x_{K-2})}_{x_{k-1}}}^* =
    u^{(x_1,\lDotS,x_{k-1})}_{X_k} \;,$$ whICh ThEreFoRE haS To Be iNDepEndent of $X_{k+1},\LdOts,x_n$. if moREOVEr $(x_1,\lDotS,x_{k-1})$ iS such That for all $m>k$ tHe oPeraTOrs $T^{(x_1,\ldoTs,x_{m-1})}_{x_M}$ do nOt DepenD on $x_k
x_k}\in\mathcal{U}(\HH)\;, $$ where $ p(x_k |x_ 1,\ ld ots, x_{k -1})$ is the p r obab ility of observing $x_ k$ at  t h e $k ^ {\ mathr m{th}}$ st e p  co nd it ion ed up on th e o bservat ion of $(x _1, \l dots,x_{k-1} ) $during the  pr evious steps . E quatio ngiv e s the  po lar d ecompo s itionof $t^{(x _1 , \ldots , x_{k-1} ) } _{ x_k} $, which in thisc as e  is unique.

\ (b) Co mb i ni n g  eq uat ions and w eget $ $ \nonumb e r t^ { (x_1,\ldots,x _{k-1})}_{x _ k}= \sqr t{ p(x _ k|x_1, \ldot s, x _{k -1})}\,
   {\m athrm{e}} ^{{\ma t hrm{i}} \ theta(x _1,\ld ots ,x_ n)}\ ,{u ^{( x_ 1 ,\l d ot s,x _ k)} _{x_{k+1 }} }^ *\cdo ts
{ u^{( x_1 ,\ld ots,x _{n-1})}_{x_n }}^ *\,{ u ^{( 0)}_{ x_1}} ^*\c do ts
   {u^{ (x_1, \l dots,x_{k-2})}_ {x_{ k-1}}}^*\ ;,$ $whe re , bec a use of  th e u niquene ss of t h e p ol a r de composition of $t^ {( x _ 1, \ldots,x _{k-1} ) }_ {x _ k}$, $$\ no num ber  {\m athr m {e }}^{{\ma thrm{i } }\ th eta(x_1 ,\ ldots, x_ n)}  \, 
   { u^{( x_1,\l dots,x_k )}_{x _ {k+1}}}^* \cdo t s {u^{(x_1,\l d ot s , x_ { n-1} )}_ {x_n}}^*
   \, {u^{ (0)} _ {x _1} } ^*\cd ots { u^ { (x _ 1,\ldots,x_{k-2})}_ {x _{k-1} }}^*=
    u^{(x_1 ,\ldots,x_ { k - 1})}_{x_ k} \ ; ,$ $  which therefo re ha s to be in d ependent  of $ x_{k+1}, \ldots,x_ n $ . If mor eov er$(x _1, \ l do ts,x_{k-1})$i s  suc hthat fo r a ll $m>k $ t heope rat or s $t^{(x_ 1,\ldots ,x _{ m- 1} )}_ {x_m} $  do notde pen don$x_k
x_k}\in\mathcal{U}(\HH)\;,$$ where_$p(x_k|x_1,\ldots,x_{k-1})$ is_the probability of observing_$x_k$ at_the_$k^{\mathrm{th}}$ step_conditioned_upon the observation_of $(x_1,\ldots,x_{k-1})$ during_the previous steps. Equation_gives the polar_decomposition_of $t^{(x_1,\ldots,x_{k-1})}_{x_k}$, which in this case is unique.

\(b) Combining equations and we get $$\nonumber
__ _t^{(x_1,\ldots,x_{k-1})}_{x_k}_=_\sqrt{p(x_k|x_1,\ldots,x_{k-1})}\,
    {\mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots,x_n)}_\, {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^*\cdots
   _{u^{(x_1,\ldots,x_{n-1})}_{x_n}}^*\,{u^{(0)}_{x_1}}^*\cdots
 _  {u^{(x_1,\ldots,x_{k-2})}_{x_{k-1}}}^*\;,$$ where, because of the uniqueness_of_the polar decomposition_of $t^{(x_1,\ldots,x_{k-1})}_{x_k}$, $$\nonumber
    {\mathrm{e}}^{{\mathrm{i}}\theta(x_1,\ldots,x_n)} \,
 _  {u^{(x_1,\ldots,x_k)}_{x_{k+1}}}^* \cdots {u^{(x_1,\ldots,x_{n-1})}_{x_n}}^*
 _  \,_{u^{(0)}_{x_1}}^*\cdots_{u^{(x_1,\ldots,x_{k-2})}_{x_{k-1}}}^*_=
   _u^{(x_1,\ldots,x_{k-1})}_{x_k} \;,$$ which therefore has to_be independent of $x_{k+1},\ldots,x_n$. If moreover_$(x_1,\ldots,x_{k-1})$ is such that for all $m>k$_the operators $t^{(x_1,\ldots,x_{m-1})}_{x_m}$ do not depend_on $x_k