$ vertices of the first type of $\Gamma$ and hitting the origin: by the previous arguments, we know that $p\leq (n-1)+1=n$, because the vertex with an edge to $\infty$ has an additional edge, which may or may not hit the origin. The polynomial degree of the differential operator associated to $\Gamma$ equals $n-(2n-1-p)=-n+1+p$, which must be greater or equal than $0$: this forces immediately $p\geq n-1$. This fact, combined with the previous condition on $p$, yields that either $p=n$ or $p=n-1$.

In the case $p=n$, the corresponding differential operator has polynomial degree $1$, and from each vertex of the first type departs exactly one edge to the origin: this implies that the graph $\Gamma$ must have a vertex of the form

\
\

Of course, the vertex from which departs the arrow to $\infty$ may be also isolated, [*i.e.*]{} no edge has it as the endpoint: in this case, as $n\geq 2$, standard dimensional arguments imply that the corresponding weight is trivial. If it is not isolated, the property $[\mathfrak k_0,\mathfrak p_0]\subset \mathfrak p_0$ implies that the two consecutive edges correspond to propagators of type $(+,+)$, and Lemma \[l-vanish-4\] yields triviality of the corresponding weight.

We now consider the case $p=n-1$: the corresponding differential operator has polynomial degree $0$, [*i.e.*]{} it is a translation-invariant differential operator. We first assume that the vertex from which departs an edge to $\infty$ has the other edge hitting the origin: the fact that the differential operator has constant coefficients implies that this vertex cannot be isolated, otherwise Lemma \[l-vanish-4\] would imply triviality of its weight. Therefore, $\Gamma$ must be a disjoint union of wheel-like graphs, one of which must look like as follows:

\
\

Lemma \[l-vanish-4\] implies that the two edges meeting at the vertex with the edge to $\infty$ must have distinct colors, otherwise the corresponding weight vanishes. Therefore, the relations $[\mathfrak k_0,\mathfrak k_0]\subseteq \mathfrak k_0$, $[\mathfrak k_0,\mathfrak p_0
$ vertices of the first type of $ \Gamma$ and hitting the beginning: by the former arguments, we know that $ p\leq (n-1)+1 = n$, because the vertex with an boundary to $ \infty$ has an extra edge, which may or may not hit the lineage. The polynomial academic degree of the differential operator associated to $ \Gamma$ equals $ n-(2n-1 - p)=-n+1+p$, which must be greater or equal than $ 0 $: this force immediately $ p\geq n-1$. This fact, combined with the previous condition on $ p$, yields that either $ p = n$ or $ p = n-1$. 

 In the event $ p = n$, the corresponding differential operator receive polynomial degree $ 1 $, and from each vertex of the first type departs precisely one edge to the origin: this implies that the graph $ \Gamma$ must have a vertex of the form 

 \ 
 \ 

 Of naturally, the vertex from which departs the arrow to $ \infty$ may be also isolated, [ * i.e. * ] { } no edge has it as the endpoint: in this shell, as $ n\geq 2 $, standard dimensional arguments imply that the corresponding weight is trivial. If it is not isolated, the property $ [ \mathfrak k_0,\mathfrak p_0]\subset \mathfrak p_0 $ implies that the two consecutive edges match to propagators of type $ (+, +) $, and Lemma   \[l - vanish-4\ ] concede pettiness of the corresponding weight. 

 We now study the shell $ p = n-1 $: the corresponding differential hustler has polynomial degree $ 0 $, [ * i.e. * ] { } it is a translation - invariant differential operator. We first assume that the vertex from which departs an edge to $ \infty$ has the other edge hit the origin: the fact that the differential hustler has changeless coefficients implies that this vertex cannot be isolated, otherwise Lemma   \[l - vanish-4\ ] would entail triviality of its weight. Therefore, $ \Gamma$ must be a disjoint coupling of wheel - like graphs, one of which must look like as trace: 

 \ 
 \ 

 Lemma   \[l - vanish-4\ ] entail that the two edges meet at the vertex with the edge to $ \infty$ must suffer distinct semblance, otherwise the comparable weight vanishes. Therefore, the relations $ [ \mathfrak k_0,\mathfrak k_0]\subseteq \mathfrak k_0 $, $ [ \mathfrak k_0,\mathfrak p_0
$ vegtices of the first type of $\Gamma$ and hnrting vhe orifin: by tfe previous arguments, we knox thqt $p\ltz (n-1)+1=n$, because the vdrtex witj an edgw to $\unfty$ has eh additljnal cdge, chmch may or may kot hit the origin. The ponyvolial degree of the differential opewator axslciated to $\Gamia$ eatals $n-(2n-1-p)=-n+1+p$, which must be greater or eqhal thai $0$: this forces ommediately $p\geq n-1$. This faft, clmbined with the pgevious coneitijb on $p$, yieldr that either $p=n$ or $p=n-1$.

Jn the case $p=n$, the correspondine difyerential okzeatlt has polynonial qegree $1$, and ngom eacv vertec of the first ty'e dwparts exactly one edje to the origin: thif implies tkat the graph $\Gamma$ mysr havg a varteb of tht fprj

\
\

Of cokrsx, the vertes from whicy departs the arrow tj $\infty$ may be also ysjlated, [*i.e.*]{} no edge has it as the endpoinu: in fhis case, as $n\geq 2$, staneard dimensional argulents impjy that the corresponding weight is trivial. If it is nkg iwojxref, the property $[\mathfrak k_0,\mathfrak p_0]\subset \matrrrsk p_0$ implies thab the two consecutovf rqges correspovd to 'dolagators of type $(+,+)$, wnd Lemia \[l-vabish-4\] yielqs ttiviality of the correspondung weight.

We bow consider the ccse $p=n-1$: the currexpondong differential operatur hzs polynomiwl degree $0$, [*i.e.*]{} it is a tranrlanion-hnvarianu differential opewator. We hirst assume thaj the vqrtex from whicm departs an edge tl $\infjy$ has the other edge hitting the origin: the farv that the digfarettial opzrator has constant coefficients nmplies chat tfis vertex cannot be isolateq, otherwise Lalma \[l-vanish-4\] wmuld impjy teiviqlity ow its weight. Thrrefore, $\Gcima$ nust be a disjoint unkkn of wheel-like grqphs, one of whivh ouse popk nike as follmws:

\
\

Ldmmx \[k-vanirh-4\] implies bhag thr two edges meeting dt tge vertex with the eqge to $\ibfty$ muse have distinvt colors, otherwist the rorres'ondinb wgight vanishes. Therefore, the remations $[\mwthnrak k_0,\mathfrah k_0]\smbsejeq \mathfral k_0$, $[\mathfrak k_0,\mathfrak p_0
$ vertices of the first type of hitting origin: by previous arguments, we the with an edge $\infty$ has an edge, which may or may not the origin. The polynomial degree of the differential operator associated to $\Gamma$ equals which must be greater or equal than $0$: this forces immediately $p\geq n-1$. fact, with previous on $p$, yields that either $p=n$ or $p=n-1$. In the case $p=n$, the corresponding differential operator polynomial degree $1$, and from each vertex of first type departs exactly edge to the origin: this that graph $\Gamma$ have vertex the form \ Of course, the vertex from which departs the arrow to $\infty$ may be also isolated, [*i.e.*]{} no has it endpoint: in case, $n\geq standard dimensional arguments the corresponding weight is trivial. If isolated, the property $[\mathfrak k_0,\mathfrak p_0]\subset \mathfrak p_0$ that the consecutive edges correspond to propagators of $(+,+)$, and Lemma \[l-vanish-4\] yields triviality of the weight. We now consider the case $p=n-1$: the corresponding differential operator has polynomial degree $0$, is a translation-invariant differential We first assume the from departs edge to has the other edge hitting the origin: the fact that the operator has constant coefficients implies that this vertex cannot be Lemma would imply triviality its weight. Therefore, $\Gamma$ be disjoint union of wheel-like of must follows: \ \[l-vanish-4\] implies that the edges meeting at the vertex the edge to $\infty$ the corresponding weight vanishes. Therefore, the relations $[\mathfrak k_0]\subseteq \mathfrak k_0$, $[\mathfrak k_0,\mathfrak p_0
$ vertices of the first type of $\GAmma$ and hitTing tHe oRigIn: By thE preVious arguments, WE knoW that $p\leq (n-1)+1=n$, because the vErtex WiTH an eDGe To $\infTy$ has an ADdITIonAl EdGe, wHiCH mAy or mAy nOt hit thE origin. The PolYnOmial degree oF ThE differentIal Operator assoCiaTed to $\GAmMa$ eQUals $n-(2N-1-p)=-n+1+P$, whicH must bE GreateR or equal tHaN $0$: This foRCes immeDIAtEly $p\Geq n-1$. This fact, combiNEd WIth the previous ConditIoN On $P$, YIelDs tHat either $p=N$ oR $p=n-1$.

In THe case $p=N$, ThE CORreSPonding differEntial operaTOr hAs polyNoMiaL Degree $1$, And frOm EAch Vertex of the FirsT type depaRts exaCTly one eDGe to the Origin: ThiS imPlieS ThAt The GrAPh $\GAMmA$ muST haVe a verteX oF tHe forM

\
\

Of cOURSE, the VerTex fRom whIch departs the ArrOw to $\INftY$ may bE also IsolAtEd, [*i.e.*]{} nO edge hAs it aS tHe endpoint: in thiS casE, as $n\geq 2$, stAndArD diMeNsionAL argumEntS imPly that The corrESpoNdING WeIght is trivial. If it iS nOT IsOlated, thE propeRTy $[\MaTHfrak k_0,\maThFraK p_0]\suBSEt \matHfraK P_0$ iMplies thAt the tWO cOnSecutivE eDges coRrEspOnd To proPAgatOrs of tYpe $(+,+)$, and LeMma \[l-vANish-4\] yields trivIAlity of the corREsPONdINg weIghT.

We now consiDer tHE casE $p=n-1$: tHE cOrrESpondIng diFfEReNTial operator has polyNoMial deGree $0$, [*i.E.*]{} it is a translaTion-invariANT DifferenTial OPeRAtor. We first assUme thAt the verteX From whicH depaRts an edgE to $\infty$ hAS The other EdgE hiTtiNg tHE OrIgin: the fact thAT The dIfFerentiAl oPerator Has ConStaNt cOeFficients Implies tHaT tHiS vErtEx canNOt be isolAtEd, oThErwIse LeMMa \[l-vanIsh-4\] woUld iMpLy TRivIality oF ItS WEighT. THeRefoRe, $\GAmMa$ musT be a DIsjOint uniOn of wheel-LikE GrapHs, OnE of whicH must look like As Follows:

\
\

LemMa \[L-vaNish-4\] imPLIes that tHe two edges meeting at the vERtex witH thE edge To $\inFty$ must haVe dIstincT coLOrs, othErwise The coRrEspONDing wEIGhT vaNiShes. TherefORE, thE relaTiOns $[\mAthfrak K_0,\mathfrak k_0]\subseteq \MAthFrak k_0$, $[\mathfrak K_0,\maThfrAK P_0
$ vertices of the first ty pe of $\Ga mma$and  hi tt ingtheorigin: by the prev ious arguments, we kno w tha t$ p\le q  ( n-1)+ 1=n$, b e ca u s e t he  v ert ex wi th an  ed ge to $ \infty$ ha s a nadditional e d ge , which ma y o r may not hi t t he ori gi n.T he po lyn omial  degre e  of th e differe nt i al ope r ator as s o ci ated  to $\Gamma$ equa l s$ n-(2n-1-p)=-n+ 1+p$,wh i ch m ust  be  greater o requal than $0 $ :t h i s f o rces immediat ely $p\geqn -1$ . This  f act ,  combi ned w it h  th e previouscond ition on$p$, y i elds th a t eithe r $p=n $ o r $ p=n- 1 $. 
Inth e  ca s e$p= n $,the corr es po nding  dif f e r e ntia l o pera tor h as polynomial  de gree $1$ , and  from  eac hverte x of t he fi rs t type departsexac tly one e dge  t o t he  orig i n: thi s i mpl ies tha t the g r aph  $ \ G a mm a$ must have a ver te x of  the for m

\
\ 
O fc ourse, t he  ve rtex f rom w hich de parts th e arro w  t o$\infty $may be  a lso  is olate d , [* i.e.*] {} no ed ge ha s  it as the end p oint: in this ca s e ,a s $n \ge q 2$, stand ardd imen sion a larg u ments  impl yt ha t  the correspondingwe ight i s tri vial. If it i s not isol a t e d, the p rope r ty $[\mathfrak k_ 0,\ma thfrak p_0 ] \subset\math frak p_0 $ implies t hat thetwo  co nse cut i v eedges corresp o n d to  p ropagat ors  of typ e $ (+, +)$ , a nd  Lemma \[ l-vanish -4 \]  y ie lds  triv i ality of  t heco rre spond i ng wei ght.
Weno wc ons ider th e  c a s e $p =n -1 $: t heco rresp ondi n g d ifferen tial oper ato r  has  p ol ynomial  degree $0$,[* i.e.*]{} i tisa tran s l ation-in variant differential op e rator.Wefirst  ass ume thatthe  verte x f r om whi ch dep artsan  ed g e  to $ \ i nf ty$  h as the oth e r  ed ge hi tt ingthe ori gin: the fact that the  differential  op erat o r  h asc on s tan tc oef f i cients impliesthat thisve r te x cannot b e  is ol ated, o therwis e Lem m a \[l-v anish-4\]  would im pl y tr i v ial ity of its  weight.  Therefor e , $\G a mm a$ mu stbe a d is joi nt un ion of whe el-li ke gra ph s, one  of w hi ch mustlook like as follows:
\
\

L emma\[l -vanish-4 \]i mpl ies thatthetwo edgesmee tin g atthe verte x wi t hthe edgeto $ \ infty$ mu s thav e di stinct colo r s ,  ot herwi set he cor resp onding weight van i shes. Therefor e, t h e  re lat i ons$[ \mathfrak k_0, \ma th f r ak k_0]\ su bseteq \mat hfrak k_ 0$ ,  $[\m athfra k k_0, \mathfr a k  p _ 0
$ vertices_of the_first type of $\Gamma$_and hitting_the_origin: by_the_previous arguments, we_know that $p\leq_(n-1)+1=n$, because the vertex_with an edge_to_$\infty$ has an additional edge, which may or may not hit the origin. The_polynomial_degree of_the_differential_operator associated to $\Gamma$ equals_$n-(2n-1-p)=-n+1+p$, which must be greater_or equal_than $0$: this forces immediately $p\geq n-1$. This_fact,_combined with the_previous condition on $p$, yields that either $p=n$ or_$p=n-1$.

In the case $p=n$, the corresponding_differential operator has_polynomial_degree_$1$, and from each_vertex of the first type departs_exactly one edge to the origin:_this implies that the graph $\Gamma$ must_have a vertex of the form

\
\

Of_course, the vertex from which_departs the_arrow to $\infty$ may be_also isolated, [*i.e.*]{}_no edge_has it as_the endpoint: in this case, as_$n\geq 2$, standard_dimensional arguments imply that the corresponding_weight_is trivial. If_it_is_not isolated,_the property $[\mathfrak_k_0,\mathfrak_p_0]\subset \mathfrak_p_0$_implies that the two consecutive edges_correspond_to propagators of type $(+,+)$, and Lemma \[l-vanish-4\]_yields triviality of the_corresponding_weight.

We now consider the_case $p=n-1$: the corresponding differential_operator has polynomial degree $0$, [*i.e.*]{}_it is_a translation-invariant_differential operator. We first assume that the vertex from which departs_an edge to $\infty$ has the_other edge hitting the_origin: the_fact_that the differential_operator_has constant_coefficients implies that this vertex cannot be_isolated, otherwise_Lemma \[l-vanish-4\] would imply triviality of its_weight. Therefore, $\Gamma$ must_be_a disjoint union of wheel-like graphs,_one of which must look like_as follows:

\
\

Lemma \[l-vanish-4\] implies that the_two_edges_meeting at the vertex with_the edge to $\infty$ must have_distinct colors, otherwise_the corresponding weight vanishes. Therefore, the relations_$[\mathfrak_k_0,\mathfrak k_0]\subseteq \mathfrak k_0$, $[\mathfrak k_0,\mathfrak_p_0