 Theorem \[commutant\_thm\], ${{\mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}'={{\mathfrak{R}({{{G}^t}},{{{\lambda}^t}})}}$, hence $$\begin{aligned}
    {{\mathfrak{R}(G,\rho)}}'=(U{{\mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}U^*)'&=U{{\mathfrak{L}({{{G}^t}},{{{\rho}^t}})}}'U^*\\&=U{{\mathfrak{R}({{{G}^t}},{{{{\lambda}}^t}})}}U^*={{\mathfrak{L}(G,\lambda)}}.\qedhere
  \end{aligned}$$

Combining the previous two results leads us to the following double commutant theorem.

\[preconj\] If $\lambda$ is a left-bounded left weight on $G$ whose canonical right companion $\rho$ is right-bounded, then ${{\mathfrak{L}(G,\lambda)}}$ coincides with its double commutant: $${{\mathfrak{L}(G,\lambda)}}'' = {{\mathfrak{L}(G,\lambda)}}.$$

If $\alpha\colon G^+\to (0,\infty)$ is any path weight with $\sup_v\alpha(v)<\infty$ and $\inf_v\alpha(v)>0$, then plainly $\lambda_\alpha$ is left-bounded and its canonical right companion $\rho_\alpha$ is right-bounded, giving a large class of weights satisfying the hypotheses of this result. In particular, if $|G^+|<\infty$ (i.e., if $G$ is a finite *acyclic* directed graph), then for any left weight $\lambda$ on $G$, we see that ${{\mathfrak{L}(G,\lambda)}}$ is an algebra of $n\times n$ matrices with ${{\mathfrak{L}(G,\lambda)}}''={{\mathfrak{L}(G,\lambda)}}$, where $n=|G^+|$.

On the other hand, there are many weights which satisfy the hypotheses of Theorem \[preconj\] but violate these boundedness conditions for the path weight $\alpha$. For example, if $G^+$ contains paths of arbitrary length and $\alpha(v)=f(|v|)$ where $f\colon \bN_0\to (0,\infty)$ is any decreasing function with $f(
Theorem   \[commutant\_thm\ ], $ { { \mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}'={{\mathfrak{R}({{{G}^t}},{{{\lambda}^t}})}}$, hence $ $ \begin{aligned } 
     { { \mathfrak{R}(G,\rho)}}'=(U{{\mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}U^*)'&=U{{\mathfrak{L}({{{G}^t}},{{{\rho}^t}})}}'U^*\\&=U{{\mathfrak{R}({{{G}^t}},{{{{\lambda}}^t}})}}U^*={{\mathfrak{L}(G,\lambda)}}.\qedhere 
   \end{aligned}$$ 

 Combining the previous two results lead us to the take after double commutant theorem. 

 \[preconj\ ] If   $ \lambda$ is a left - bounded leftover weight on   $ G$ whose canonical right companion   $ \rho$ is properly - bounded, then $ { { \mathfrak{L}(G,\lambda)}}$ coincides with its double commutant: $ $ { { \mathfrak{L}(G,\lambda) } }" = { { \mathfrak{L}(G,\lambda)}}.$$ 

 If   $ \alpha\colon G^+\to (0,\infty)$ is any way system of weights with $ \sup_v\alpha(v)<\infty$ and $ \inf_v\alpha(v)>0 $, then plainly $ \lambda_\alpha$ is leave - bounded and its canonical veracious companion $ \rho_\alpha$ is justly - bounded, giving a large class of weights satisfy the hypotheses of this result. In particular, if $ |G^+|<\infty$ (i.e., if $ G$ is a finite * acyclic * direct graph), then for any left weight $ \lambda$ on   $ G$, we see that $ { { \mathfrak{L}(G,\lambda)}}$ is an algebra of $ n\times n$ matrices with $ { { \mathfrak{L}(G,\lambda)}}''={{\mathfrak{L}(G,\lambda)}}$, where $ n=|G^+|$. 

 On the early hand, there exist many weights which satisfy the hypotheses of Theorem   \[preconj\ ] but rape these boundedness conditions for the path weight $ \alpha$. For example, if $ G^+$ contains paths of arbitrary length and $ \alpha(v)=f(|v|)$ where $ f\colon \bN_0\to (0,\infty)$ is any decreasing function with   $ f (
 Thforem \[commutant\_thm\], ${{\mathfrxk{L}({{{G}^t}},{{{{\rho}}^t}})}}'={{\mathfrcj{R}({{{G}^t}},{{{\lakbda}^t}})}}$, gence $$\beein{aligned}
    {{\mathfrak{R}(G,\rho)}}'=(U{{\larhfraj{L}({{{G}^t}},{{{{\rho}}^t}})}}U^*)'&=U{{\mathfrak{L}({{{G}^t}},{{{\rfo}^t}})}}'U^*\\&=U{{\mathvrak{R}({{{G}^t}},{{{{\lqmbde}}^t}})}}U^*={{\mathfrak{L}(G,\lamusa)}}.\qedhevz
  \ens{wliguev}$$

Combining the krevious two results leads ur co the following double commutant thqorem.

\[prrclnj\] If $\lambda$ if a kqft-bklnbed left weight on $G$ whose canonjcal rijht companion $\rhp$ is right-bounded, then ${{\matjfran{L}(G,\lambda)}}$ coincided with its eoubjw commutant: $${{\oathfrak{L}(G,\lambda)}}'' = {{\mathrrak{L}(G,\lambda)}}.$$

If $\alpha\colon G^+\to (0,\inwty)$ ix any path wwigjj with $\sup_v\aopha(v)<\pnfty$ and $\inf_y\slpha(v)>0$, then pkainly $\lambda_\akphe$ is left-bounded and its ranonical right compwnion $\rho_\dl'ha$ is right-bounded, guvung a larce cuqss of wxiggts sahishying the hgpotheses od this result. In pattybilar, if $|G^+|<\inffy$ (i.e., yf $G$ is a finite *acyclic* directed graph), tven for any left weight $\lanbda$ on $G$, we see that ${{\lathfrak{L}(D,\lambda)}}$ is an algebra of $n\times n$ matrices with ${{\mdthfrek{U}(G,\lcnbda)}}''={{\mxrhvrak{L}(G,\lambda)}}$, where $n=|G^+|$.

On the other hand, there wde msny weights whlch satisfy the hylohhrfes of Theoreo \[precoun\] gut violate these houndedgess xonditionf fot the path weight $\alpha$. For example, if $Y^+$ cintains paths of axbitrary lenyth anc $\alpna(v)=f(|v|)$ where $f\colon \bN_0\to (0,\inffy)$ is any dfcreasing wunction with $f(
Theorem \[commutant\_thm\], ${{\mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}'={{\mathfrak{R}({{{G}^t}},{{{\lambda}^t}})}}$, hence $$\begin{aligned} {{\mathfrak{R}(G,\rho)}}'=(U{{\mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}U^*)'&=U{{\mathfrak{L}({{{G}^t}},{{{\rho}^t}})}}'U^*\\&=U{{\mathfrak{R}({{{G}^t}},{{{{\lambda}}^t}})}}U^*={{\mathfrak{L}(G,\lambda)}}.\qedhere \end{aligned}$$ previous results leads to the following $\lambda$ a left-bounded left on $G$ whose right companion $\rho$ is right-bounded, then coincides with its double commutant: $${{\mathfrak{L}(G,\lambda)}}'' = {{\mathfrak{L}(G,\lambda)}}.$$ If $\alpha\colon G^+\to (0,\infty)$ is path weight with $\sup_v\alpha(v)<\infty$ and $\inf_v\alpha(v)>0$, then plainly $\lambda_\alpha$ is left-bounded and its right $\rho_\alpha$ right-bounded, a large class of weights satisfying the hypotheses of this result. In particular, if $|G^+|<\infty$ (i.e., $G$ is a finite *acyclic* directed graph), then any left weight $\lambda$ $G$, we see that ${{\mathfrak{L}(G,\lambda)}}$ an of $n\times matrices ${{\mathfrak{L}(G,\lambda)}}''={{\mathfrak{L}(G,\lambda)}}$, $n=|G^+|$. On the hand, there are many weights which satisfy the hypotheses of Theorem \[preconj\] but violate these boundedness conditions the path For example, $G^+$ paths arbitrary length and $f\colon \bN_0\to (0,\infty)$ is any decreasing
 Theorem \[commutant\_thm\], ${{\mathfrAk{L}({{{G}^t}},{{{{\rho}}^t}})}}'={{\mAthfrAk{R}({{{g}^t}},{{{\lAmBda}^t}})}}$, HencE $$\begin{aligned}
    {{\mAThfrAk{R}(G,\rho)}}'=(U{{\mathfrak{L}({{{G}^t}},{{{{\rho}}^T}})}}U^*)'&=U{{\maThFRak{L}({{{g}^T}},{{{\rHo}^t}})}}'U^*\\&=U{{\MathfraK{r}({{{G}^T}},{{{{\LAmbDa}}^T}})}}U^*={{\MatHfRAk{l}(G,\lamBda)}}.\Qedhere
  \End{aligned}$$

comBiNing the previOUs Two results LeaDs us to the folLowIng douBlE coMMutanT thEorem.

\[PreconJ\] if $\lambDa$ is a left-BoUNded leFT weight ON $g$ wHose Canonical right comPAnIOn $\rho$ is right-boUnded, tHeN ${{\MaTHFraK{L}(G,\Lambda)}}$ coinCiDes wiTH its douBLe COMMutANt: $${{\mathfrak{L}(G,\lAmbda)}}'' = {{\mathfrAK{L}(G,\Lambda)}}.$$

if $\AlpHA\colon g^+\to (0,\inFtY)$ Is aNy path weighT witH $\sup_v\alphA(v)<\inftY$ And $\inf_v\ALpha(v)>0$, thEn plaiNly $\LamBda_\aLPhA$ iS leFt-BOunDEd And ITs cAnonical RiGhT compAnioN $\RHO_\AlphA$ is RighT-bounDed, giving a larGe cLass OF weIghts SatisFyinG tHe hypOtheseS of thIs Result. In particuLar, iF $|G^+|<\infty$ (i.e., If $G$ Is A fiNiTe *acyCLic* dirEctEd gRaph), theN for any LEft WeIGHT $\lAmbda$ on $G$, we see that ${{\mAtHFRaK{L}(G,\lambdA)}}$ is an aLGeBrA Of $n\times N$ mAtrIces WITh ${{\matHfraK{l}(G,\Lambda)}}''={{\maThfrak{l}(g,\lAmBda)}}$, wherE $n=|g^+|$.

On the OtHer HanD, therE Are mAny weiGhts whicH satiSFy the hypotheseS Of Theorem \[precONj\] BUT vIOlatE thEse boundednEss cONditIons FOr The PAth weIght $\aLpHA$. FOR example, if $G^+$ contains PaThs of aRbitrAry length and $\aLpha(v)=f(|v|)$ wheRE $F\Colon \bN_0\tO (0,\infTY)$ iS Any decreasing fUnctiOn with $f(
 Theorem \[commutant\_thm\ ], ${{\mat hfrak {L} ({{ {G }^t} },{{ {{\rho}}^t}})} } '={{ \mathfrak{R}({{{G}^t}} ,{{{\ la m bda} ^ t} })}}$ , hence $$ \ b egi n{ al ign ed } 
   {{ \ma thfrak{ R}(G,\rho) }}' =( U{{\mathfrak { L} ({{{G}^t}} ,{{ {{\rho}}^t}} )}} U^*)'& =U {{\ m athfr ak{ L}({{ {G}^t} } ,{{{\r ho}^t}})} }' U ^*\\&= U {{\math f r ak {R}( {{{G}^t}},{{{{\la m bd a }}^t}})}}U^*={ {\math fr a k{ L } (G, \la mbda)}}.\q ed here \end{a l ig n e d }$$ 
Combining th e previoust woresult slea d s us t o the  f o llo wing double  com mutant th eorem. 
\[prec o nj\] If  $\lam bda $ i s al ef t- bou nd e d l e ft  we i ght  on $G$wh os e can onic a l r ight  co mpan ion $ \rho$ is righ t-b ound e d,then${{\m athf ra k{L}( G,\lam bda)} }$  coincides with  its  double c omm ut ant :$${{\ m athfra k{L }(G ,\lambd a)}}''=  {{ \m a t h fr ak{L}(G,\lambda)}} .$ $ 
I f $\alph a\colo n  G ^+ \ to (0,\i nf ty) $ is a ny pa th w e ig ht with$\sup_ v \a lp ha(v)<\ in fty$ a nd  $\ inf _v\al p ha(v )>0$,then pla inly$ \lambda_\alpha $  is left-boun d ed a nd itscan onical righ t co m pani on $ \ rh o_\ a lpha$  is r ig h t- b ounded, giving a la rg e clas s ofweights satis fying theh y p othesesof t h is result. In par ticul ar, if $|G ^ +|<\inft y$ (i .e., if$G$ is af i nite *ac ycl ic*  di rec t e dgraph), thenf o r an yleft we igh t $\lam bda $ o n $ G$,  w e see tha t ${{\ma th fr ak {L }(G ,\lam b da)}}$ i sanal geb ra of $n\tim es n$  mat ri ce s  wi th ${{\ m at h f rak{ L} (G ,\la mbd a) }}''= {{\m a thf rak{L}( G,\lambda )}} $ , wh er e$n=|G^+ |$.

On the o th er hand, t he reare ma n y  weights  which satisfy the hypo t heses o f T heore m \[ preconj\]  bu t viol ate thesebounde dness  c ond i t ionsf o rthe  p ath weight $ \al pha$.  F or e xample,  if $G^+$ contains pat hs of arbitra ryleng t h  a nd$ \a l pha (v ) =f( | v |)$ where $f\co lon \bN_0\ to (0 ,\infty)$i s a ny  decrea sing fu nctio n  with $ f(
 Theorem \[commutant\_thm\],_${{\mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}'={{\mathfrak{R}({{{G}^t}},{{{\lambda}^t}})}}$, hence_$$\begin{aligned}
   _{{\mathfrak{R}(G,\rho)}}'=(U{{\mathfrak{L}({{{G}^t}},{{{{\rho}}^t}})}}U^*)'&=U{{\mathfrak{L}({{{G}^t}},{{{\rho}^t}})}}'U^*\\&=U{{\mathfrak{R}({{{G}^t}},{{{{\lambda}}^t}})}}U^*={{\mathfrak{L}(G,\lambda)}}.\qedhere
 _\end{aligned}$$

Combining_the previous_two_results leads us_to the following_double commutant theorem.

\[preconj\] If $\lambda$_is a left-bounded_left_weight on $G$ whose canonical right companion $\rho$ is right-bounded, then ${{\mathfrak{L}(G,\lambda)}}$ coincides with its double_commutant:_$${{\mathfrak{L}(G,\lambda)}}'' =_{{\mathfrak{L}(G,\lambda)}}.$$

If $\alpha\colon_G^+\to_(0,\infty)$ is any path weight_with $\sup_v\alpha(v)<\infty$ and $\inf_v\alpha(v)>0$, then_plainly $\lambda_\alpha$_is left-bounded and its canonical right companion $\rho_\alpha$_is_right-bounded, giving a_large class of weights satisfying the hypotheses of this_result. In particular, if $|G^+|<\infty$ (i.e.,_if $G$ is_a_finite_*acyclic* directed graph), then_for any left weight $\lambda$ on $G$,_we see that ${{\mathfrak{L}(G,\lambda)}}$ is an_algebra of $n\times n$ matrices with ${{\mathfrak{L}(G,\lambda)}}''={{\mathfrak{L}(G,\lambda)}}$,_where $n=|G^+|$.

On the other hand, there_are many weights which satisfy_the hypotheses_of Theorem \[preconj\] but violate these_boundedness conditions for_the path_weight $\alpha$. For_example, if $G^+$ contains paths of_arbitrary length and_$\alpha(v)=f(|v|)$ where $f\colon \bN_0\to (0,\infty)$ is_any_decreasing function with $f(