:

\[lem:decompositionmagnetic\] Let $\mathcal G$ be a locally finite connected metric graph. Let $$\begin{gathered}
\widetilde A:=\left (i \frac{\mathrm d}{\mathrm dx}+M\right )^{2}\\
D(\widetilde A):= \widetilde{H^2}(\mathcal G)
\end{gathered}$$ edgewise defined, i.e. $$\left (\widetilde A \phi\right )_e = \widetilde A \phi_e.$$ Then $\widetilde A$ defines an unbounded operator on $L^2(\mathcal G)$ and satisfies

(i) $fD(\widetilde A)\subset D(\widetilde A)$ for all $f\in \widetilde{C^\infty}(\mathcal G)$.

(ii) Let $f\in \widetilde{C^\infty}(\mathcal G)$, then the operator $f\widetilde Af$ is given by $$\label{eq:formulareduced}
    f\widetilde A f= \frac{1}{2} \left (f^2\widetilde A + \widetilde A f^2\right ) + |f'|^2$$

The proof is analogous to the one in Lemma \[lem:decomposition2\].

does not uniquely determine an operator. Indeed is the special case of when $k=1$. In particular, formula in the case $k=1$ holds for all self-adjoint realizations of the magnetic Schrödinger operators (e.g. ) and independent of the choice of $M\in H^1+ W^{1,\infty}(\mathcal G)$.

We will be interested in a decomposition lemma on the form associated to $A$ as given in.

\[lem:lemma5.7\] Let $\mathcal G$ be a locally finite, connected metric graph and $a(\cdot, \cdot)$ be the symmetric bilinearform given by $$a(u,v):= \int_{\mathcal G} \overline{\left ( i \frac{\mathrm d}{\mathrm dx}+M\right )u} \left ( i \frac{\mathrm d}{\mathrm dx}+M\right ) v \, \mathrm dx$$ for $u,v\in H^1(\mathcal G)$ Then for $f\in W^{1,\infty}(\mathcal G)\cap \widetilde{C^\infty}(\mathcal G)$ we have $$\label{eq:IMSformulapre}
a(fu,
: 

 \[lem: decompositionmagnetic\ ] Let $ \mathcal G$ be a locally finite connected metric graph. Let $ $ \begin{gathered } 
 \widetilde A:=\left (i \frac{\mathrm d}{\mathrm dx}+M\right) ^{2}\\ 
 D(\widetilde A):= \widetilde{H^2}(\mathcal G) 
 \end{gathered}$$ edgewise define, i.e. $ $ \left (\widetilde A \phi\right) _ east = \widetilde A \phi_e.$$ Then $ \widetilde A$ defines an unbounded hustler on $ L^2(\mathcal G)$ and satisfies 

 (i) $ fD(\widetilde A)\subset D(\widetilde A)$ for all $ f\in \widetilde{C^\infty}(\mathcal G)$. 

 (ii) Let $ f\in \widetilde{C^\infty}(\mathcal G)$, then the operator $ f\widetilde Af$ is give by $ $ \label{eq: formulareduced } 
     f\widetilde A f= \frac{1}{2 } \left (f^2\widetilde A + \widetilde A f^2\right) + |f'|^2$$ 

 The proof is analogous to the one in Lemma \[lem: decomposition2\ ]. 

 does not uniquely determine an hustler. Indeed is the limited case of when $ k=1$. In finical, formula in the case $ k=1 $ hold for all self - adjoint realizations of the magnetic Schrödinger operators (for example) and independent of the choice of $ M\in H^1 + W^{1,\infty}(\mathcal G)$. 

 We will be interested in a decay lemma on the form associated to $ A$ as given in. 

 \[lem: lemma5.7\ ] Let $ \mathcal G$ be a locally finite, connected measured graph and $ a(\cdot, \cdot)$ be the symmetrical bilinearform given by $ $ a(u, v):= \int_{\mathcal G } \overline{\left (i \frac{\mathrm d}{\mathrm dx}+M\right) u } \left (i \frac{\mathrm d}{\mathrm dx}+M\right) v \, \mathrm dx$$ for $ u, v\in H^1(\mathcal G)$ Then for $ f\in W^{1,\infty}(\mathcal G)\cap \widetilde{C^\infty}(\mathcal G)$ we have $ $ \label{eq: IMSformulapre } 
 a(fu,
:

\[lem:fecompositionmagnetic\] Leu $\mathcal G$ be a locally finits connecged metric graph. Let $$\begin{gavherwd}
\widtnilde A:=\left (i \frac{\matfrm d}{\mathgm dx}+M\rigyt )^{2}\\
D(\xidetilde A):= \widevjlde{H^2}(\mabkcal F)
\cnd{gachxred}$$ edgewise dgfined, i.e. $$\lext (\widetilde A \pfi\xight )_e = \widetilde A \phi_e.$$ Then $\widetylde A$ cevines an unbougded jperznov on $L^2(\mathcal G)$ and satisfies

(i) $fS(\widetinde A)\subset D(\eidetilde A)$ for all $f\in \wifetipde{C^\infty}(\mathcal G)$.

(li) Let $f\in \qideeulde{C^\infty}(\maghcal G)$, thtn the operajor $f\widetilde Af$ is given by $$\lacel{eq:yormulareduxee}
    f\widetilde A f= \srac{1}{2} \left (f^2\wlcetilda A + \wicetilde A f^2\rigmt ) + |h'|^2$$

The proof is analogous tm the one in Lemma \[lem:decom[oaition2\].

does not unuqyely getesmind an optravor. Indeef ia the specjal case of when $k=1$. In particulsr, dormula in ths case $k=1$ holds for all self-adjoint realizations of the magnetic Schrödingee operators (e.g. ) and ijdependene of the choice of $M\in H^1+ W^{1,\infty}(\mathcal G)$.

We will ba intxrdsttd in a eefomposition lemma on the form associated to $A$ zs gpven in.

\[lem:lemma5.7\] Lct $\mathcal G$ be a kofakjy finite, convected mefric graph and $a(\cdlt, \cdot)$ be tye symmetwic nilinearform given by $$a(u,v):= \ibt_{\mathcal G} \jcerline{\left ( i \frae{\mathrm d}{\matkrm dx}+K\righy )u} \left ( i \frac{\mathrm b}{\mathrj dx}+M\right ) v \, \mathrj dx$$ for $u,v\in H^1(\maghcsl G)$ Then for $f\in W^{1,\infty}(\mathsal G)\cap \xidetnlde{C^\infgy}(\majhcal G)$ we have $$\lwbel{eq:IMSformulapre}
a(fu,
: \[lem:decompositionmagnetic\] Let $\mathcal G$ be a connected graph. Let \widetilde A:=\left (i A):= G) \end{gathered}$$ edgewise i.e. $$\left (\widetilde \phi\right )_e = \widetilde A \phi_e.$$ $\widetilde A$ defines an unbounded operator on $L^2(\mathcal G)$ and satisfies (i) $fD(\widetilde D(\widetilde A)$ for all $f\in \widetilde{C^\infty}(\mathcal G)$. (ii) Let $f\in \widetilde{C^\infty}(\mathcal G)$, then operator Af$ given $$\label{eq:formulareduced} f\widetilde A f= \frac{1}{2} \left (f^2\widetilde A + \widetilde A f^2\right ) + |f'|^2$$ The is analogous to the one in Lemma \[lem:decomposition2\]. not uniquely determine an Indeed is the special case when In particular, in case holds for all realizations of the magnetic Schrödinger operators (e.g. ) and independent of the choice of $M\in H^1+ W^{1,\infty}(\mathcal We will in a lemma the associated to $A$ in. \[lem:lemma5.7\] Let $\mathcal G$ be connected metric graph and $a(\cdot, \cdot)$ be the bilinearform given $$a(u,v):= \int_{\mathcal G} \overline{\left ( i d}{\mathrm dx}+M\right )u} \left ( i \frac{\mathrm d}{\mathrm ) v \, \mathrm dx$$ for $u,v\in H^1(\mathcal G)$ Then for $f\in W^{1,\infty}(\mathcal G)\cap \widetilde{C^\infty}(\mathcal have $$\label{eq:IMSformulapre} a(fu,
:

\[lem:decompositionmagnetic\] LEt $\mathcal G$ Be a loCalLy fInIte cOnneCted metric grapH. let $$\bEgin{gathered}
\widetilde A:=\Left (i \FrAC{\matHRm D}{\mathRm dx}+M\riGHt )^{2}\\
d(\WIdeTiLdE A):= \wIdETiLde{H^2}(\mAthCal G)
\end{Gathered}$$ edGewIsE defined, i.e. $$\leFT (\wIdetilde A \pHi\rIght )_e = \widetilDe A \Phi_e.$$ ThEn $\WidETilde a$ deFines An unboUNded opErator on $L^2(\MaTHcal G)$ aND satisfIES

(i) $FD(\wiDetilde A)\subset D(\wiDEtILde A)$ for all $f\in \wIdetilDe{c^\InFTY}(\maThcAl G)$.

(ii) Let $f\iN \wIdetiLDe{C^\inftY}(\MaTHCAl G)$, THen the operatoR $f\widetilde aF$ is Given bY $$\lAbeL{Eq:formUlareDuCEd}
    f\Widetilde A f= \Frac{1}{2} \Left (f^2\wideTilde A + \WIdetildE a f^2\right ) + |F'|^2$$

The prOof Is aNaloGOuS tO thE oNE in lEmMa \[lEM:deCompositIoN2\].

dOes noT uniQUELY detErmIne aN operAtor. Indeed is tHe sPeciAL caSe of wHen $k=1$. IN parTiCular, FormulA in thE cAse $k=1$ holds for all Self-Adjoint reAliZaTioNs Of the MAgnetiC ScHröDinger oPeratorS (E.g. ) aNd INDEpEndent of the choice oF $M\IN h^1+ W^{1,\Infty}(\matHcal G)$.

WE WiLl BE interesTeD in A decOMPositIon lEMmA on the foRm assoCIaTeD to $A$ as gIvEn in.

\[leM:lEmmA5.7\] LeT $\mathCAl G$ bE a locaLly finitE, connECted metric grapH And $a(\cdot, \cdot)$ bE ThE SYmMEtriC biLinearform gIven BY $$a(u,v):= \Int_{\mAThCal g} \OverlIne{\leFt ( I \FrAC{\mathrm d}{\mathrm dx}+M\riGhT )u} \left ( I \frac{\Mathrm d}{\mathrm Dx}+M\right ) v \, \mATHRm dx$$ for $u,V\in H^1(\MAtHCal G)$ Then for $f\in w^{1,\inftY}(\mathcal G)\cAP \widetilDe{C^\inFty}(\mathcAl G)$ we have $$\LABel{eq:IMSForMulAprE}
a(fU,
:

\[lem:decompositionmagn etic\] Let  $\ma thc alG$  bea lo cally finite c o nnec ted metric graph. Let$$\be gi n {gat h er ed}
\ widetil d eA : =\l ef t(i\f r ac {\mat hrm  d}{\ma thrm dx}+M \ri gh t )^{2}\\
D( \ wi detilde A) :=\widetilde{H ^2} (\math ca l G ) 
\end {ga there d}$$ e d gewise  defined,  i . e. $$\ l eft (\w i d et ilde  A \phi\right )_e =\ widetilde A \p hi_e.$ $T he n $\w ide tilde A$ d ef inesa n unbou n de d o per a tor on $L^2(\ mathcal G)$ and  satis fi es(i) $f D(\wi de t ild e A)\subset  D(\ widetilde  A)$ f o r all $ f \in \wi detild e{C ^\i nfty } (\ ma thc al G)$ . 
(ii )  Le t $f\in\w id etild e{C^ \ i n f ty}( \ma thca l G)$ , then the op era tor$ f\w ideti lde A f$ i sgiven  by $$ \labe l{ eq:formulareduc ed}    f\wid eti ld e A  f = \fr a c{1}{2 } \ lef t (f^2\ widetil d e A  + \ w id etilde A f^2\right  ) +  | f'|^2$$
The p r oo fi s analog ou s t o th e one i n Le m ma  \[lem:d ecompo s it io n2\].
do es not  u niq uel y det e rmin e an o perator.  Inde e d is the speci a l case of whe n  $ k = 1$ .  Inpar ticular, fo rmul a  inthec as e $ k =1$ h oldsfo r  a l l self-adjoint real iz ations  of t he magnetic S chrödinger o p erators(e.g .  ) and independen t ofthe choice of $M\in  H^1+  W^{1,\i nfty}(\ma t h cal G)$. 

W e w ill  be i nt erested in ad e comp os ition l emm a on th e f orm  as soc ia ted to $A $ as giv en  i n. 
\[l em:le m ma5.7\]Le t $ \m ath cal G $  be alocal ly f in it e , c onnecte d  m e t ricgr ap h an d $ a( \cdot , \c d ot) $ be th e symmetr icb ilin ea rf orm giv en by $$a(u,v ): = \int_{\m at hca l G} \ o v erline{\ left ( i \frac{\mathrmd }{\math rmdx}+M \rig ht )u} \l eft  ( i \ fra c {\math rm d}{ \math rm  dx } + M\rig h t  )  v\,  \mathrm d x $ $ f or $u ,v \inH^1(\ma thcal G)$ Then for $f\ in W^{1,\inft y}( \mat h c al  G) \ ca p  \w id e til d e {C^\infty}(\mat hcal G)$ w eh av e $$\label { eq: IM Sformul apre}
a (fu,
:

\[lem:decompositionmagnetic\] Let_$\mathcal G$_be a locally finite_connected metric_graph._Let $$\begin{gathered}
\widetilde_A:=\left_(i \frac{\mathrm d}{\mathrm_dx}+M\right )^{2}\\
D(\widetilde A):=_\widetilde{H^2}(\mathcal G)
\end{gathered}$$ edgewise defined,_i.e. $$\left (\widetilde_A_\phi\right )_e = \widetilde A \phi_e.$$ Then $\widetilde A$ defines an unbounded operator on_$L^2(\mathcal_G)$ and_satisfies

(i)_$fD(\widetilde_A)\subset D(\widetilde A)$ for all_$f\in \widetilde{C^\infty}(\mathcal G)$.

(ii) Let $f\in_\widetilde{C^\infty}(\mathcal G)$,_then the operator $f\widetilde Af$ is given by_$$\label{eq:formulareduced}
_  _f\widetilde A f= \frac{1}{2} \left (f^2\widetilde A + \widetilde_A f^2\right ) + |f'|^2$$

The proof_is analogous to_the_one_in Lemma \[lem:decomposition2\].

does not_uniquely determine an operator. Indeed is_the special case of when $k=1$._In particular, formula in the case $k=1$_holds for all self-adjoint realizations of_the magnetic Schrödinger operators (e.g._) and_independent of the choice of_$M\in H^1+ W^{1,\infty}(\mathcal_G)$.

We will_be interested in_a decomposition lemma on the form_associated to $A$_as given in.

\[lem:lemma5.7\] Let $\mathcal G$_be_a locally finite,_connected_metric_graph and_$a(\cdot, \cdot)$ be_the_symmetric bilinearform_given_by $$a(u,v):= \int_{\mathcal G} \overline{\left (_i_\frac{\mathrm d}{\mathrm dx}+M\right )u} \left ( i_\frac{\mathrm d}{\mathrm dx}+M\right )_v_\, \mathrm dx$$ for_$u,v\in H^1(\mathcal G)$ Then for_$f\in W^{1,\infty}(\mathcal G)\cap \widetilde{C^\infty}(\mathcal G)$ we_have $$\label{eq:IMSformulapre}
a(fu,