24\], and the complete algorithm is the subject of Section \[sec:sec25\]. A characterization of configurations obtained is given in Section \[sec:sec26\].

-  . Section \[sec:sec31\] consists in the proof of Theorem \[thm:main\]. The idea is to show that the contribution of half RC-spanning forests constructed above, having connected components rooted on cycles of length $\geq 4$ cancel, and that only the contribution of spanning forests (rooted on vertices of $R$) remains. The characterization of configurations obtained from the algorithm is also simplified in the case of spanning forests, yielding the trimming algorithm of Section \[sec:11\] of the introduction. The proof of Corollary \[cor:main\] is the subject of Section \[sec:sec32\]. Finally, in Section \[sec:sec33\], Corollary \[thm:linebundle\] proves a line bundle version of the matrix-tree theorem for skew-symmetric matrices of Corollary \[cor:main\].

A question from statistical mechanics {#sec:12}
-------------------------------------

As stated in the introduction, the Pfaffian half-tree theorem \[thm:main\] is a Pfaffian version of the classical matrix-tree theorem of Kirchhoff. One of its interesting features is that half-trees involved satisfy specific conditions characterized by the trimming algorithm, allowing for a refinement of the matrix-tree theorem in the case of skew-symmetric matrices. As such, the Pfaffian half-tree theorem is a standalone result. It nevertheless answers a question raised when working on the paper [@deTiliereCRSF] in the field of statistical mechanics. In the paper [@deTiliereCRSF] we prove an explicit relation, on the level of configurations, between two models of statistical mechanics: the dimer model on the Fisher graph corresponding to the low temperature expansion of the critical Ising model (through Fisher’s correspondence [@Fisher]), and spanning forests. The question raised does not rely on the Fisher graph and can be rephrased in the following, more general framework.

In the setting of statistical mechanics, a perfect matching of a graph is known as a *dimer configuration*. Assigning non-negative weights to edges of the graph naturally defines a weight for each dimer configuration (by taking the product of the edge-weights present in the configuration) and a probability measure on all dimer configurations of $G$, thus yielding a statistical mechanics model. The dimer model on planar graphs has been the
24\ ], and the complete algorithm is the subject of Section \[sec: sec25\ ]. A characterization of configurations prevail is render in Section \[sec: sec26\ ]. 

 -  . Section \[sec: sec31\ ] consists in the proof of Theorem \[thm: main\ ]. The estimate is to show that the contribution of half RC - spanning forest construct above, having get in touch components rooted on hertz of length $ \geq 4 $ cancel, and that entirely the contribution of cross forests (rooted on vertex of $ R$) remains. The characterization of configuration obtained from the algorithm is also simplified in the character of spanning forests, yielding the trimming algorithm of Section \[sec:11\ ] of the presentation. The proof of Corollary   \[cor: main\ ] is the subject of Section \[sec: sec32\ ]. Finally, in Section \[sec: sec33\ ], Corollary \[thm: linebundle\ ] proves a line package version of the matrix - tree theorem for skew - symmetric matrices of Corollary \[cor: main\ ]. 

 A question from statistical mechanics { # sec:12 } 
 ------------------------------------- 

 As stated in the introduction, the Pfaffian half - tree theorem \[thm: main\ ] is a Pfaffian version of the classical matrix - tree theorem of Kirchhoff. One of its interesting features is that half - trees involved satisfy specific conditions characterized by the trimming algorithm, allowing for a polish of the matrix - tree theorem in the case of skew - symmetric matrix. As such, the Pfaffian half - tree theorem is a standalone resultant role. It nevertheless answers a question raised when working on the paper   [ @deTiliereCRSF ] in the field of statistical automobile mechanic. In the paper   [ @deTiliereCRSF ] we prove an explicit relation, on the level of configurations, between two model of statistical mechanics: the dimer model on the Fisher graph corresponding to the low temperature expansion of the critical Ising model (through Fisher ’s correspondence [ @Fisher ]), and cross forest. The question raised does not rely on the Fisher graph and can be rephrased in the follow, more general framework. 

 In the setting of statistical automobile mechanic, a perfect matching of a graph is known as a * dimer configuration *. Assigning non - minus weights to edge of the graph naturally defines a weight for each dimer shape (by taking the product of the edge - weights present in the shape) and a probability measure on all dimer configurations of $ G$, therefore yielding a statistical mechanics model. The dimer model on planar graphs has been the
24\], anf the complete algorithm is the subject of Secvion \[sed:sec25\]. A cfaracterization of configuravionw obtqined is given in Sectkon \[sec:seb26\].

-  . Sectiin \[stc:sec31\] consists in the proof of Fmeorek \[thm:main\]. The icea is to vhow that the wovtxibution of half RC-spanning forests sonstruvtfd above, havind comgectsd components rooted on cycles of mength $\jeq 4$ cancel, and that only the contributioj of spanning forests (gooted on vgdtisws of $R$) remakns. The characterizatikn of configurations obtained ffom tke algorithn us wnso simplifmed in the case of spanninc foresys, yielding thc trikmibg algorithm of Sectimn \[sec:11\] of the intrjduction. Dhz proof of Corollary \[cir:nain\] hs tve sjvjezt kf Ssction \[ser:sec32\]. Finallg, in Sectiob \[sec:sec33\], Corollary \[uhm:jpmebundle\] probes a jige bundle version of the matrix-tree themrej for skew-symmetric mateices of Corollary \[cot:main\].

A queftion from statistical mechanics {#sec:12}
-------------------------------------

As stated in dhe iitfodbgbion, rhf Pfaffian half-tree theorem \[thm:main\] is a Pfafsjam nersion of the clcssical matrix-trre tngorem of Kirchfoff. Ous kf its interesting featurgs is rhat half-urees involved satisfy specific xonditions ckarqcterized by the tximming algoxithm, sllowong for a refinement of the matrix-tree theorem jv the case of skdw-sjmmedric matrices. As such, the [faffian ialf-txee theofem os a seandalone gesulb. It nevertheless ajswerd d question raised when working on the papxc [@deTiliereCRSG] hn nhe field of sbatistical mechwnics. In the pcper [@deTijiereZRSF] we prkve an xxplicit relwtion, on the ngvel of confijurations, betqeen two moadls of statistocal mechcuics: the eimer model on the Firger graph correwpobding to the loe tdmpqrwtnre ev[ansion of tve cfitkval Iring model (bhruugh Fisher’s correspondetce [@Risher]), and spanninb norests. Tye questyon raised dors not rely on the Fishxr gra'h and cag be rephrased in the followinf, more gejerwl framework.

Yn tme sgtting of scatistical mechanics, a perfect matching if a graph is knowb as a *dimer configorauion*. Assigninj non-nqgative waights to edges of tye graph naturalln defines a weight for each gimer configuration (by taking the product of the edge-weights present in the cobfiguretyon) and a pdobanilitj mzasbre on wll vioer configuratioms of $G$, thus yielding a statistmcal mechaties model. The dimer model on pkavar graphs har been the
24\], and the complete algorithm is the Section A characterization configurations obtained is . \[sec:sec31\] consists in proof of Theorem The idea is to show that contribution of half RC-spanning forests constructed above, having connected components rooted on cycles length $\geq 4$ cancel, and that only the contribution of spanning forests (rooted vertices $R$) The of configurations obtained from the algorithm is also simplified in the case of spanning forests, yielding trimming algorithm of Section \[sec:11\] of the introduction. proof of Corollary \[cor:main\] the subject of Section \[sec:sec32\]. in \[sec:sec33\], Corollary proves line version of the theorem for skew-symmetric matrices of Corollary \[cor:main\]. A question from statistical mechanics {#sec:12} ------------------------------------- As stated in introduction, the theorem \[thm:main\] a version the classical matrix-tree Kirchhoff. One of its interesting features involved satisfy specific conditions characterized by the trimming allowing for refinement of the matrix-tree theorem in case of skew-symmetric matrices. As such, the Pfaffian theorem is a standalone result. It nevertheless answers a question raised when working on the in the field of mechanics. In the [@deTiliereCRSF] prove explicit on the of configurations, between two models of statistical mechanics: the dimer model the Fisher graph corresponding to the low temperature expansion of Ising (through Fisher’s correspondence and spanning forests. The raised not rely on the and be following, general In the setting of mechanics, a perfect matching of graph is known as weights to edges of the graph naturally defines weight for each dimer configuration (by taking product of the edge-weights present in the configuration) and a probability measure all dimer $G$, thus yielding a statistical mechanics model. The model on planar graphs been the
24\], and the complete algorithm is The subject Of SecTioN \[seC:sEc25\]. A cHaraCterization of cONfigUrations obtained is giveN in SeCtIOn \[seC:SeC26\].

-  . SectIon \[sec:sEC31\] cONSisTs In The PrOOf Of TheOreM \[thm:maiN\]. The idea is To sHoW that the contRIbUtion of halF RC-Spanning foreSts ConstrUcTed ABove, hAviNg conNected COmponeNts rooted On CYcles oF Length $\gEQ 4$ CaNcel, And that only the conTRiBUtion of spanninG foresTs (ROoTED on VerTices of $R$) reMaIns. ThE CharactERiZATIon OF configuratioNs obtained fROm tHe algoRiThm IS also sImpliFiED in The case of spAnniNg forests, YieldiNG the triMMing algOrithm Of SEctIon \[sEC:11\] oF tHe iNtROduCTiOn. THE prOof of CorOlLaRy \[cor:Main\] IS THE subJecT of SEctioN \[sec:sec32\]. FinallY, in sectIOn \[sEc:sec33\], corolLary \[ThM:lineBundle\] ProveS a Line bundle versiOn of The matrix-TreE tHeoReM for sKEw-symmEtrIc mAtrices Of CorolLAry \[CoR:MAIn\].

a question from statiStICAl MechanicS {#sec:12}
-------------------------------------

As STaTeD In the intRoDucTion, THE PfafFian HAlF-tree theOrem \[thM:MaIn\] Is a PfafFiAn versIoN of The ClassICal mAtrix-tRee theorEm of KIRchhoff. One of itS Interesting feATuRES iS That HalF-trees involVed sATisfY speCIfIc cONditiOns chArACtERized by the trimming aLgOrithm, AllowIng for a refineMent of the mATRIx-tree thEoreM In THe case of skew-syMmetrIc matrices. aS such, the pfaffIan half-tRee theoreM IS a standaLonE reSulT. It NEVeRtheless answeRS A queStIon raisEd wHen workIng On tHe pApeR [@dETiliereCrSF] in the FiElD oF sTatIsticAL mechaniCs. in tHe PapEr [@deTILiereCrSF] we ProvE aN eXPliCit relaTIoN, ON the LeVeL of cOnfIgUratiOns, bETweEn two moDels of staTisTIcal MeChAnics: thE dimer model on ThE Fisher graPh CorResponDINg to the lOw temperature expansion oF The critIcaL IsinG modEl (through fisHer’s coRreSPondenCe [@FishEr]), and SpAnnING foreSTS. THe qUeStion raiseD DOes Not reLy On thE Fisher Graph and can be rephrASed In the followinG, moRe geNERaL frAMeWOrk.

in THe sETTing of statisticAl mechanicS, a PErFect matchiNG of A gRaph is kNown as a *Dimer COnfigurAtion*. AssiGning non-nEgAtivE WEigHts to edges Of the graPh naturalLY defiNEs A weigHt fOr each DiMer ConfiGuratiON (by TakinG the prOdUct of tHe edgE-wEights prEsent in the configuration) And a prObabiLitY measure oN alL DimEr configuRatiOns of $G$, thus YieLdiNg a stAtiSTical MechANiCs mODel. ThE dimER model on pLAnAr gRAPhS has been the
24\], and the complete alg orithm isthe s ubj ect  o f Se ctio n \[sec:sec25\ ] . Acharacterization of co nfigu ra t ions ob taine d is gi v en i n S ec ti on\[ s ec :sec2 6\] .

-  .  Section \ [se c: sec31\] cons i st s in the p roo f of Theorem  \[ thm:ma in \]. The i dea  is t o show that t he contri bu t ion of half RC - s pa nnin g forests constru c te d  above, having  conne ct e dc o mpo nen ts rootedon  cycl e s of le n gt h $ \ge q  4$ cancel, a nd that onl y  th e cont ri but i on ofspann in g  fo rests (root ed o n vertice s of $ R $) rema i ns. The  chara cte riz atio n  o fcon fi g ura t io nso bta ined fro mth e alg orit h m i s al sosimp lifie d in the case  of  spa n nin g for ests,  yie ld ing t he tri mming  a lgorithm of Sec tion  \[sec:11 \]of  th eintro d uction . T heproof o f Corol l ary  \ [ c o r: main\] is the subj ec t of  Section  \[sec : se c3 2 \]. Fina ll y,in S e c tion\[se c :s ec33\],Coroll a ry  \ [thm:li ne bundle \]  pr ove s a l i ne b undleversionof th e  matrix-tree t h eorem for ske w -s y m me t ricmat rices of Co roll a ry \ [cor : ma in\ ] .

Aquest io n  f r om statistical mech an ics {# sec:1 2}
---------- ---------- - - - -------- ---- - -As stated in t he in troduction ,  the Pfa ffian  half-tr ee theore m \[thm:ma in\ ] i s a  Pf a f fi an version of t he c la ssicalmat rix-tre e t heo rem  of  K irchhoff.  One ofit sin te res tingf eaturesis  th at  ha lf-tr e es inv olved  sat is fy spe cific c o nd i t ions  c ha ract eri ze d bythet rim ming al gorithm,all o wing  f or  a refi nement of the  m atrix-tree  t heo rem in t he caseof skew-symmetric matri c es. Assuc h, th e Pf affian ha lf- tree t heo r em isa stan dalon eres u l t. It n ev ert he less answe r s  aquest io n ra ised wh en working on thep ape r [@deTiliere CRS F] i n th e f i el d  of  s t ati s t ical mechanics.  In the pa pe r  [ @deTiliere C RSF ]we prov e an ex plici t  relati on, on th e level o fconf i g ura tions, bet ween two  models o f  stat i st icalmec hanics :the  dime r mode l  on  theFisher  g raph c orres po nding to  the low temperature ex pansio n ofthe  critical  Is i ngmodel (th roug h Fisher’s  co rre spond enc e  [@Fi sher ] ),  an d  span ning forests.T he  qu e s ti on raised d o e s  no t rel y o n  the F ishe r graph and can b e  rephrased inthef o llo win g , mo re  general frame wor k. In the s et ting of sta tistical  m e chani cs, aperfec t match i n go f a gr aphisknown asa * di m er conf ig ur a tion*.  Ass ig ning n on-neg a tive w eights to edgesof th e graph nat urall ydefines a we ight for e ach dimer c onfigu rati on (b y takin gthe pr odu ct  of the ed g e-weights  pres ent inth e co nfi gurati on)a n d a p roba bi lit y measure o na ll  d i mer  con figur at ions  of $G$,t hus yiel din g  a stat is tic a l  mecha n ic s model. The  di mer m o d el on plan a r gr a ph s  hasbeen t he
24\], and_the complete_algorithm is the subject_of Section_\[sec:sec25\]._A characterization_of_configurations obtained is_given in Section_\[sec:sec26\].

-  . Section_\[sec:sec31\] consists in_the_proof of Theorem \[thm:main\]. The idea is to show that the contribution of half_RC-spanning_forests constructed_above,_having_connected components rooted on cycles_of length $\geq 4$ cancel,_and that_only the contribution of spanning forests (rooted on_vertices_of $R$) remains._The characterization of configurations obtained from the algorithm is_also simplified in the case of_spanning forests, yielding_the_trimming_algorithm of Section \[sec:11\]_of the introduction. The proof of_Corollary \[cor:main\] is the subject of Section_\[sec:sec32\]. Finally, in Section \[sec:sec33\], Corollary \[thm:linebundle\]_proves a line bundle version of_the matrix-tree theorem for skew-symmetric_matrices of_Corollary \[cor:main\].

A question from statistical_mechanics {#sec:12}
-------------------------------------

As stated_in the_introduction, the Pfaffian_half-tree theorem \[thm:main\] is a Pfaffian_version of the_classical matrix-tree theorem of Kirchhoff. One_of_its interesting features_is_that_half-trees involved_satisfy specific conditions_characterized_by the_trimming_algorithm, allowing for a refinement of_the_matrix-tree theorem in the case of skew-symmetric_matrices. As such, the_Pfaffian_half-tree theorem is a_standalone result. It nevertheless answers_a question raised when working on_the paper [@deTiliereCRSF]_in the_field of statistical mechanics. In the paper [@deTiliereCRSF] we prove an explicit_relation, on the level of configurations,_between two models of_statistical mechanics:_the_dimer model on_the_Fisher graph_corresponding to the low temperature expansion of_the critical_Ising model (through Fisher’s correspondence [@Fisher]),_and spanning forests. The_question_raised does not rely on the_Fisher graph and can be rephrased_in the following, more general_framework.

In_the_setting of statistical mechanics, a_perfect matching of a graph is_known as a_*dimer configuration*. Assigning non-negative weights to edges_of_the graph naturally defines a weight_for_each dimer configuration (by taking the_product_of_the edge-weights present in the_configuration) and a probability measure on_all dimer configurations of $G$, thus yielding a statistical_mechanics model. The_dimer model on planar graphs_has_been_the