arxiv: v2 [math.co] 31 Oct 2016

Transcription

1 On exlue minors of onnetivity 2 for the lss of frme mtrois rxiv: v2 [mth.co] 31 Ot 2016 Mtt DeVos Dryl Funk Irene Pivotto Astrt We investigte the set of exlue minors of onnetivity 2 for the lss of frme mtrois. We exhiit list E of 18 suh mtrois, n show tht if N is suh n exlue minor, then either N E or N is 2-sum of U 2,4 n 3-onnete non-inry frme mtroi. Keywors: ise grphs, frme mtrois, exlue minors. MSC: 05C22, 05B35. 1 Introution A mtroi is frme if it my e extene so tht it ontins sis B (its frme) suh tht every element is spnne y two elements of B. Frme mtrois re nturl generlistion of grphi mtrois. Inee, the yle mtroi M(G) of grph G=(V, E) is nturlly extene y ing V s sis, n elring eh non-loop ege to e minimlly spnne y its enpoints. Zslvski [13] hs shown tht the lss of frme mtrois is preisely tht of mtrois rising from ise grphs (whene these hve lso een lle is mtrois), s follows. A ise grph Ω onsists of pir (G, B), where G is grph n B is olletion of yles of G, lle lne, suh tht no thet sugrph ontins extly two lne yles; thet grph onsists of pir of istint verties n three internlly isjoint pths etween them. We sy suh olletion B stisfies the thet property. The memership or non-memership of yle in B is its is; yles not in B re unlne. Let M e frme mtroi on groun set E, with frme B. By ing elements in prllel if neessry, we my ssume B E =. Hene for some mtroi N, Deprtment of Mthemtis, Simon Frser University, 8888 University Drive, Burny, BC, Cn. Emil: mevos@sfu.. Supporte in prt y n NSERC Disovery Grnt (Cn). Shool of Mthemtis n Sttistis, Vitori University of Wellington, Wellington, New Zeln. Emil: ryl.funk@vuw..nz. Shool of Mthemtis n Sttistis, University of Western Austrli, 35 Stirling Highwy, Crwley, WA, Austrli. Emil: irene.pivotto@uw.eu.u. 1

2 M = N \ B where B is sis for N n every element e E is spnne y pir of elements in B. Let G e the grph with vertex set B n ege set E, in whih e is loop with enpoint f if e is in prllel with f B, n otherwise e is n ege with enpoints f, f B if e l{f, f }. Setting B = {C C is yle for whih E(C) is iruit of M} yiels ise grph (G, B), n the iruits of M re preisely those sets of eges inuing one of: (1) lne yle, (2) two ege-isjoint unlne yles interseting in just one vertex, (3) two vertex-isjoint unlne yles long with pth onneting them, or (4) thet sugrph in whih ll three yles re unlne [13]. We ll sugrph s in (2) or (3) pir of hnuffs, tight or loose, respetively. We sy suh ise grph (G, B) represents the frme mtroi M, n write M = F (G, B). Oserve tht for ise grph (G, B), if B ontins ll yles in G, then F (G, B) is the yle mtroi M(G) of G. We therefore view grph s ise grph with ll yles lne. At the other extreme, when no yles re lne F (G, ) is the iirulr mtroi of G, introue y Simões-Pereir [9] n further investigte y Mtthews [6], Wgner [10], n others (for instne, [5, 7]). Frme mtrois lso inlue Dowling geometries [4] (see lso [14]). A lss of mtrois is minor-lose if every minor of mtroi in the lss is lso in the lss. For ny minor-lose fmily, there is set of exlue minors onsisting of those mtrois not in the fmily ll of whose proper minors re in the fmily. The lss of frme mtrois is minor-lose. Little is known out exlue minors for the lss of frme mtrois; Zslvski hs exhiite severl in [13]. The lss of iirulr mtrois is minor-lose; DeVos, Goyn, Myhew, n Royle [2] hve shown tht n exlue minor for the lss of iirulr mtrois hs less thn 16 elements, n thus tht the set of exlue minors for this lss is finite. Perhps, like grphi n iirulr mtrois, the lrger lss of frme mtrois my lso e hrterise y finite list of exlue minors. On the other hn, s we hve shown elsewhere [3], there re nturl minor-lose fmilies of frme mtrois whose sets of exlue minors re infinite. Perhps, like the lss of mtrois representle over the rels, the set of exlue minors for frme mtrois is infinite. In this pper, we egin y seeking to etermine those exlue minors for the lss of frme mtrois tht re not 3-onnete. We ome lose, etermining set E of 18 prtiulr exlue minors for the lss, n show tht ny other exlue minor of onnetivity 2 for the lss hs speil form. We prove: Theorem 1.1. Let M e n exlue minor for the lss of frme mtrois, n suppose M is not 3-onnete. Then either M is isomorphi to mtroi in E or M is th-sum of 3-onnete non-inry frme mtroi n U 2,4. The reminer of this pper is orgnise s follows. We first isuss some of the key onepts we nee for our investigtion. In Setion 2 we isuss 2-sums of frme mtrois n of ise grphs, n provie hrteristion of when 2-sum of two frme mtrois is frme. This is enough for us to etermine the first nine exlue 2

3 minors on our list, n to rstilly nrrow our serh for more. These tsks re omplishe in Setion 3. In prtiulr, we investigte some key properties ny exlue minor not yet on our list must hve. In Setion 4 we omplete the proof of Theorem 1.1, etermining the remining exlue minors in our list. Theorem 1.1 give strong struturl esription of exlue minors tht re not 3-onnete. However, the investigtion remins inomplete the finl se remining is to etermine those exlue minors of the form pture in the seon prt of the sttement of Theorem 1.1. We ntiipte tht the nlysis require to omplete this finl se will e t lest s long n tehnil s tht require here, n tht the result will e t lest ouling of the numer of exlue minors on our list, ut tht the list will remin finite. We lose this preliminry setion y noting tht in the ourse of proving Theorem 1.1, we isover n opertion nlogous to Whitney twist in grph, whih we ll twiste flip. Just s Whitney twist of grph G proues (generlly) non-isomorphi grph whose yle mtroi is isomorphi to the yle mtroi of G, twiste flip of ise grph (G, B) proues (generlly) non-isomorphi ise grph (G, B ) with F (G, B ) = F (G, B). This opertion is esrie towr the en of Setion Stnr notions: ise grphs, minors, onnetivity For frme mtroi M represente y ise grph Ω = (G, B), we enote throughout y E = E(M) = E(G) the ommon groun set of M n ege set of G. When it is importnt to istinguish n ege whih is not loop from one tht is, we refer to n ege hving istint enpoints s link. There re minor opertions we my perform on (G, B) tht orrespon to minor opertions in M, s follows [12]. For n element e E, elete e from (G, B) y eleting e from G n removing from B every yle ontining e. To ontrt e, there re three ses: If e is lne loop, (G, B)/e = (G, B) \ e. If e is link, ontrt e in G n elre yle C to e lne if either C B or E(C) {e} forms yle in B. If e is n unlne loop with enpoint u, then (G, B)/e is the ise grph otine from (G, B) s follows: e is elete, ll other loops inient to u eome lne, n links inient to u eome unlne loops inient to their other enpoint. A minor of (G, B) is ny ise grph otine y sequene of eletions n ontrtions. It is reily heke tht these minor opertions on ise grphs preserve the thet property, n tht they gree with mtroi minor opertions on their frme mtrois; tht is, for ny element e E, F (G, B) \ e = F ((G, B) \ e) n F (G, B)/e = F ((G, B)/e) (this shows tht the lss of frme mtrois is minor lose). For ise grph Ω=(G, B) we sy G is the unerlying grph of Ω. We write Ω[X] or G[X] to enote the ise sugrph of (G, B) inue y the eges in X tht hs lne yles just those yles in B whose ege set is ontine in X. If G[X] ontins no unlne yle, it is lne; otherwise it is unlne. If G[X] ontins no lne yle, it is ontrlne. We enote y V (X) the 3

4 set of verties inient with n ege in X, n y (X) the numer of lne omponents of G[X]. It follows from the efinitions tht for frme mtroi M represente y ise grph (G, B), the rnk of X in M is r(x) = V (X) (X). A seprtion of grph G=(V, E) is pir of ege isjoint sugrphs G 1, G 2 of G with G = G 1 G 2. The orer of seprtion is V (G 1 ) V (G 2 ). A seprtion of orer k is k-seprtion. If oth V (G 1 ) \ V (G 2 ) n V (G 2 ) \ V (G 1 ) re nonempty, then the seprtion is proper. If G hs no proper seprtion of orer less thn k, then G is k-onnete. The lest integer k for whih G hs proper k- seprtion is the onnetivity of G. A prtition (X, Y ) of E nturlly inues seprtion G[X], G[Y ] of G, whih we lso enote (X, Y ). We ll X n Y the sies of the seprtion. The onnetivity funtion of G is the funtion λ G tht to eh prtition (X, Y ) of E ssigns the orer of its orresponing seprtion; tht is, λ G (X, Y ) = V (X) V (Y ). A k-seprtion of ise grph Ω=(G, B) is k-seprtion of its unerlying grph G, n the onnetivity of Ω is tht of G. The onnetivity funtion λ Ω of Ω is tht of G. A seprtion of mtroi M is prtition of its groun set E into two susets X, Y ; it is lso enote (X, Y ), with X n Y the sies of the seprtion. The orer of seprtion (X, Y ) of mtroi is r(x) + r(y ) r(e) + 1. A seprtion of orer k with oth X, Y k is k-seprtion. If M hs no l-seprtion with l < k, then M is k-onnete. The onnetivity of M is the lest integer k suh tht M hs k- seprtion, provie one exists (otherwise we sy the onnetivity of M is infinite). Eviently, M is onnete if n only if M hs no 1-seprtion. The onnetivity funtion of mtroi M on groun set E is the funtion λ M tht ssigns to eh seprtion (X, Y ) of E its orer; tht is, λ M (X, Y ) = r(x) + r(y ) r(m) + 1. Let M e frme mtroi represente y ise grph Ω. The following fts regring the reltionship etween the orer of seprtion (X, Y ) in M n the orer of (X, Y ) in Ω will e use extensively throughout. In generl, seprtion hs ifferent orers in Ω n F (Ω). However, if the sies of seprtion re onnete in the grph then this ifferene is t most one. To see this, let (X, Y ) e prtition of E. The orer of (X, Y ) in M is λ M (X, Y ) = r(x) + r(y ) r(m) + 1 = V (X) (X) + V (Y ) (Y ) ( V (E)) + 1 = V (X) V (Y ) (X) (Y ) + (E) + 1 = λ Ω (X, Y ) (X) (Y ) + (E) + 1. (1) Suppose oth Ω[X] n Ω[Y ] onnete. If Ω is lne, we hve λ M (X, Y ) = λ Ω (X, Y ). If Ω is unlne, we hve 1. if oth Ω[X] n Ω[Y ] re unlne, λ M (X, Y ) = λ Ω (X, Y ) + 1, 2. if one of Ω[X] or Ω[Y ] is lne while the other is unlne, then λ M (X, Y ) = λ Ω (X, Y ), n 4

5 3. if oth Ω[X] n Ω[Y ] re lne, then λ M (X, Y ) = λ Ω (X, Y ) 1. Moreover, (1) immeitely implies tht if M is onnete, then Ω must e onnete: if there is prtition (X, Y ) of E with λ Ω (X, Y ) = 0, then λ M (X, Y ) = 1. The onverse nee not hol: frme mtroi represente y onnete ise grph my e isonnete. Inee, let M=F (Ω), where Ω is onnete, n suppose (X, Y ) is 1-seprtion of M, with oth Ω[X] n Ω[Y ] onnete. If Ω is lne, then λ M (X, Y ) = λ Ω (X, Y ) = 1. Otherwise, y (1) one of the following hols: λ Ω (X, Y ) = 1, n preisely one of Ω[X] or Ω[Y ] is lne; λ Ω (X, Y ) = 2, n eh of Ω[X] n Ω[Y ] re lne. Throughout, mtrois n ise grphs re finite; grphs my hve loops n prllel eges. We often mke no istintion etween suset of elements A of mtroi M = F (G, B), the suset of eges of G representing n ege in A, n the ise sugrph G[A] inue y A. 1.2 Exlue minors re onnete, simple, n osimple Hving estlishe the stnr voulry of ise grphs n onnetivity, we my immeitely mke the oservtions tht n exlue minor is onnete, simple, n osimple. Oservtion 1.2. If M is n exlue minor for the lss of frme mtrois, then M is onnete. We enote the iret sum of two mtrois M n N y M N. Eviently, if Ω n Ψ re ise grphs, then the isjoint union Ω Ψ of Ω n Ψ represents F (Ω) F (Ψ). We enote the restrition of mtroi M to suset A E(M) y M A. If M = F (Ω), then lerly Ω[A] is ise grph representing M A. Proof of Oservtion 1.2. Suppose to the ontrry tht M is n exlue minor, n tht M hs 1-seprtion (A, B). Then M is the iret sum of its restritions to eh of A n B. By minimlity, eh of M A n M B re frme. Let Ω n Ψ e ise grphs representing M A n M B respetively, n let Ω Ψ enote the ise grph whih is the isjoint union of Ω n Ψ. Then M = M A M B = F (Ω) F (Ψ) = F (Ω Ψ), so M is frme, ontrition. Oservtion 1.3. Let M e n exlue minor for the lss of frme mtrois. Then M is simple n osimple. Proof. Suppose M hs loop e. By minimlity, there is ise grph (G, B) representing M \ e. Aing lne loop lelle e inient to ny vertex of G yiels ise grph representing M, ontrition. Similrly, if M hs 5

6 oloop f, onsier ise grph (G, B) representing M/f. Aing new vertex w, hoosing ny vertex v V (G), n ing ege f = vw to G yiels ise grph representing M, ontrition. Now suppose M hs two-element iruit {e, f}. Let (G, B) e ise grph representing M \e. If f is link in G, sy f = uv, then let G e the grph otine from G y ing e in prllel with f so e lso hs enpoints u n v, n let B = B {C \ f e f C B}. If f is n unlne loop in G, sy inient to u V (G), then let G e the grph otine from G y ing e s n unlne loop lso inient with u, n let B = B. Then M = F (G, B ), ontrition. Similrly, if e n f re elements in series in M, let (G, B) e ise grph representing M/e. If f is link in G, sy f = uv, then let G e the grph otine from G y eleting f, ing new vertex w, n putting f = uw n e = wv; let B = {C C B or C/e B}. If f is n unlne loop in G, sy inient to u V (G), let G e the grph otine from G y eleting f, ing new vertex w, n ing eges e n f in prllel, oth with enpoints u, w; let B = B (so {e, f} is n unlne yle). Agin, then M = F (G, B ), ontrition. 1.3 Working with ise grphs Before etermining further properties of exlue minors, we nee to evelop some tools n estlish some si fts out ise grphs. If X, Y re sugrphs of grph G, n X-Y pth in G is pth tht meets X Y extly in its enpoints, with one enpoint in X n the other in Y. Rerouting. Let G e grph, let P e pth in G, n let Q e pth internlly isjoint from P linking two verties x, y V (P ). We sy the pth P otine from P y repling the supth of P linking x n y with Q is otine y rerouting P long Q. Oservtion 1.4. Given two u-v pths P, P in grph, P my e trnsforme into P y sequene of reroutings. Proof. To see this, suppose P n P gree on n initil segment from u. Let x e the finl vertex on this ommon initil supth. If x = v, then P = P, so ssume x v. Let y e the next vertex of P following x tht is lso in P. Denote the supth of P from x to y y Q. Sine y is ifferent from x, the pth otine y rerouting P long Q hs stritly longer ommon initil segment with P thn P. Continuing in this mnner, eventully x = v, n P hs een trnsforme into P. The relevne of this for us is the following simple ft. If supth R of pth P is reroute long Q, n the yle R Q is lne, we refer to this s rerouting long lne yle. If C is yle, x, y re istint verties in C, P is n x-y pth ontine in C, Q is n x-y pth internlly isjoint from C, n the 6

7 yle P Q is lne, we sy the yle C otine from C y rerouting P long Q is otine from C y rerouting long lne yle. The following ft will e use extensively. Lemm 1.5. If C is otine from C y rerouting long lne yle, then C n C hve the sme is. Proof. Sine C Q is thet sugrph, this follows immeitely from the thet property. Signe grphs. A signe grph onsists of grph G together with istinguishe suset of eges Σ E(G) lle its signture. A signe grph nturlly gives rise to ise grph (G, B Σ ) in whih yle C B Σ if n only if E(C) Σ is even (it is immeite tht B Σ stisfies the thet property). We sy tht n ritrry ise grph (G, B) is signe grph if there exists set Σ E(G) so tht B Σ = B. The following gives hrteristion of when this ours. Proposition 1.6. A ise grph is signe grph if n only if it ontins no ontrlne thet sugrph. Proof. First suppose tht (G, B) is signe grph, n hoose Σ E(G) so tht B Σ = B. If P 1, P 2, P 3 re three internlly isjoint pths forming thet sugrph in G then two of E(P 1 ) Σ, E(P 2 ) Σ, n E(P 3 ) Σ hve the sme prity, n these pths will form lne yle. Thus, every thet sugrph ontins lne yle, n thus no ontrlne thet sugrph exists. To prove the onverse, let (G, B) e ise grph whih hs no ontrlne thet sugrph. We my ssume G is onnete; if not, pply the following rgument to eh omponent of G. Let T e spnning tree of G n efine Σ y the following rule: Σ = {e E(G) \ E(T ) the unique yle in T + e is unlne}. We lim tht B Σ = B. To prove this, we will show tht yle C is in B if n only if E(C) Σ is even, n we o this y inution on the numer of eges in C \ E(T ). If ll ut one ege e of C is ontine in T, then the result hols y efinition of Σ. Suppose E(C) \ E(T ) = n 2, n the result hols for ll yles hving less thn n eges not in T. Choose miniml pth P in T \ E(C) linking two verties x, y in V (C) (suh pth exists sine C hs t lest two eges not in T : sy e = uv, f C \ T ; the u-v pth in T vois f n so t some vertex leves C n then t some vertex returns to C). Cyle C is the union of two internlly isjoint x-y pths P 1, P 2 n together P, P 1, P 2 form thet sugrph of G. Let C 1 = P 1 P n C 2 = P 2 P. Sine (G, B) hs no ontrlne thet, the yle C is unlne if n only if extly one of C 1 n C 2 is unlne. However, 7

8 y inution (eh of C 1 n C 2 hs fewer eges not in T ), this hols if n only if E(C 1 ) Σ n E(C 2 ) Σ hve ifferent prity. This is equivlent to E(C) Σ eing o, thus ompleting the rgument. Blning verties. If Ω = (G, B) is ise grph n v V (G) we let Ω v enote the ise grph (G v, B ) where B onsists of ll yles in B whih o not ontin v. A vertex v in ise grph Ω is lning if Ω v is lne. When Ω hs lning vertex, the ises of its yles hve simple struture. We enote the set of links inient with vertex v in grph y δ(v). Oservtion 1.7. Let (G, B) e ise grph n suppose u is lning vertex in (G, B). Let δ(u) = {,..., e k }. For eh pir of eges e i, e j (1 i < j k), either ll yles ontining e i n e j re lne or ll yles ontining e i n e j re unlne. Proof. Fix i, j, n onsier two yles C n C ontining e i n e j. Let e i = ux i n e j = ux j. Write C = ue i x i P x j e j u n C = ue i x i P x j e j u. Pth P my e trnsforme into P y sequene of reroutings, P =P 0, P 1,..., P l =P in G u. Sine u is lning, eh rerouting is long lne yle. Hene y Lemm 1.5, t eh step m {1,..., l}, the yles ue i x i P m 1 x j e j u n ue i x i P m x j e j u hve the sme is. The ove ft prompts the introution of reltion on δ(v) for lning vertex v. Nmely, we efine on δ(v) y the rule tht e, f δ(v) stisfy e f if either e = f or there exists lne yle ontining oth e n f. Clerly is reflexive n symmetri. The reltion is lso trnsitive: Suppose n e 3 n let e i =vx i for 1 i 3. Sine there is lne yle ontining x 1 vx 2 n lne yle ontining x 2 vx 3, there is n x 1 -x 2 pth voiing v n n x 2 -x 3 pth voiing v. Hene there is n x 1 -x 3 pth P voiing v n P -x 2 pth Q voiing v. Let P Q = {y}. Together, v,,, e 3, P, n Q form thet sugrph of G. By Oservtion 1.7, the yle of this thet ontining, n the yle ontining, e 3 re oth lne. It follows tht the yle of this thet ontining, e 3 is lso lne, so e 3. We summrize this importnt property elow. Oservtion 1.8. If v is lning vertex of Ω, there exists n equivlene reltion on δ(v) so tht yle C of Ω ontining v is lne if n only if it ontins two eges from the sme equivlene lss. We ll the lsses of δ(v) its -lsses. k-signe grphs. These re generlistions of signe grphs whih we use to work with ise grphs with lning verties n other relte ise grphs. A k- signe grph onsists of grph G together with olletion Σ = {Σ 1,..., Σ k } of 8

9 susets of E(G), whih we gin ll its signture. A k-signe grph gives rise to ise grph (G, B Σ ) in whih yle C B Σ if n only if E(C) Σ i is even for every 1 i k. Agin it is strightforwr to verify tht Σ stisfies the thet property. We sy tht n ritrry ise grph (G, B) is k-signe grph if there exists olletion Σ so tht B Σ = B. A 1-signe grph is signe grph. The reer fmilir with group-lelle grphs will note tht signe grphs re grouplelle grphs where the ssoite group is Z 2 =Z/2Z, n our k-signe grphs re group-lelle y Z k 2. Oservtion 1.9. Let (G, B) e ise grph with lning vertex v fter eleting its set U of unlne loops. Let {Σ 1,..., Σ k } e the prtition of δ(v) into -lsses in (G, B)\U, n let Σ = {U, Σ 1,..., Σ k }. Then (G, B) is k-signe grph with B Σ = B Σ\Σi = B for every 1 i k. Proof. This follows esily from the ft tht is n equivlene reltion in (G, B) \ U. Bise grph representtions. In generl, frme mtroi M hs more thn one ise grph representing M. We will enounter severl situtions in whih nonisomorphi ise grphs represent the sme frme mtroi. For our purposes, we require three results on non-isomorphi ise grphs representing the sme frme mtroi. (1) If H is grph, one wy to otin n unlne ise grph (G, B) with F (G, B) = M(H) is to pinh two verties of H, s follows. Choose two istint verties u, v V (H), n let G e the grph otine from H y ientifying u n v to single vertex w. Then δ(w) = δ(u) δ(v) \ {e e = uv} (n ege with enpoints u n v eomes loop inient to w). Let B e the set of ll yles in G not meeting oth δ(u) n δ(v). It is esy to see tht the iruits of the two mtrois gree, so F (G, B) = M(H). The ise grph (G, B) otine y pinhing u n v of H is signe grph with Σ = δ(u) The signe grph otine y pinhing two verties of grph hs lning vertex. Conversely, if (G, B) is signe grph with lning vertex u, then (G, B) is otine s pinh of grph H, whih we my esrie s follows. If δ(u)/ > 2, then u is ut vertex n eh lok of G ontins t most two -lsses, else (G, B) ontins ontrlne thet, ontriting Proposition 1.6. Hene eh lok of G ontins eges in t most two -lsses of δ(u). By Oservtion 1.9 then, B is relise in eh lok G i (i {1,..., n}) of G y single set Σ i δ(u). Clerly, tking Σ = i Σ i yiels B Σ = B. Let H e the grph otine from G y splitting vertex u; tht is, reple u with two verties, u n u, put ll eges in Σ inient to u, n ll eges in δ(u) \ Σ inient to u ; put unlne loops s u u eges n leve lne loops s lne loop inient to either u or u. It is esily verifie tht M(H) = F (G, B): 9

10 u u Σ 1 Σ k Σ 1 Σ k Σ2 Σ 2 lne lne (G, B) (G, B ) Figur: F (G, B) = F (G, B ) Proposition Let (G, B) e signe grph with lning vertex u. If H is otine from (G, B) y splitting u, then M(H) = F (G, B). (2) If (G, B) is ise grph with lning vertex u, then the following roll-up opertion proues nother ise grph with frme mtroi isomorphi to F (G, B). Let Σ j = {,..., e l } e the set of eges of one of the -lsses in δ(u). Let (G, B ) e the ise grph otine from (G, B) y repling eh ege e i = uv i Σ j with n unlne loop inient to its enpoint v i (see Figure 1). It is strightforwr to hek tht F (G, B) n F (G, B ) hve the sme set of iruits. We sy ise grph (G, B ) is otine from (G, B) y the roll-up of -lss Σ j of δ(u). This opertion my lso e performe in reverse: Let (G, B ) e ise grph in whih u is lning vertex fter eleting unlne loops, n let Σ 1,..., Σ k e the -lsses of δ(u) fter eleting ll unlne loops. Let (G, B) e the ise grph otine from (G, B ) y repling eh unlne loop with n ege etween u n its originl en, putting Σ k+1 = {e e is n unlne loop in (G, B )}, setting Σ = {Σ 1,..., Σ k+1 }, n tking B = B Σ. Then F (G, B) = F (G, B ), n we sy (G, B) is otine from (G, B ) y unrolling the unlne loops of (G, B ). Hene if M is frme mtroi represente y ise grph with lning vertex u fter eleting unlne loops, then every ise grph otine y unrolling unlne loops, then rolling up -lss of δ(u), lso represents M. Oserve lso tht if H is grph n v V (H), then the ise grph (G, B) otine y rolling up ll eges in δ(v) hs F (G, B) = M(H). (3) The opertions of pinhing n splitting, n of rolling up the eges of -lss or unrolling unlne loops, re ll speil ses of the following twiste flip opertion. This opertion my e pplie to k-signe grphs hving the following struture. Let G e grph, let u V (G), let G 0,..., G m e ege isjoint onnete sugrphs of G, n let Σ = {Σ 1,..., Σ k } e olletion of susets of E(G) stisfying the following (see Figur()). 1. E(G) \ m i=0 E(G i) is empty or onsists of loops t u. 10

11 u u G 1 A G i G 1 C G i x 1 B x i C x 1 B x i A G 0 G 0 () (G, B Σ ) () (G, B Σ ) Figur: A twiste flip: Eges in Σ n Σ re she; eges mrke A in G eome inient to x i in G n re in Σ ; eges mrke C in G eome inient to u in G. 2. E(G 0 ) Σ i = for 1 i k. ( ) 3. For every 1 i m there is vertex x i so tht V (G i ) j i V (G j) {u, x i }. 4. For every 1 i m there exists unique s i, 1 s i k, so tht E(G i ) Σ j = for j s i. 5. Every ege in E(G i ) Σ si is inient with x i. Consier the resulting ise grph (G, B Σ ) n its ssoite frme mtroi F (G, B Σ ). We otin ise grph (G, B Σ ) with F (G, B Σ ) = F (G, B Σ ) from (G, B Σ ) s follows (see Figures 2() n 3). Reefine the enpoints of eh ege of the form e=yu / Σ si (note tht n ege e=x i u / Σ si thus eomes loop e=x i x i ). Reefine the enpoints of eh ege of the form e=yx i Σ si tht e=yu. so tht e=yx i with y u so For eh 1 j k, let Σ j = {e the enpoints of e hve een reefine so tht e=yx i for some y V (G i )} {e e=x i u Σ j }. Put Σ = {Σ 1,..., Σ k }. Theorem If (G, B Σ ) is otine from (G, B Σ ) s twiste flip, then F (G, B Σ ) = F (G, B Σ ). Proof. It is strightforwr to hek tht F (G, B Σ ) n F (G, B Σ ) hve the sme set of iruits. 11

12 A u A u G i B x i G i B x i C C () () Figure 3: A twiste flip s effet on single ise sugrph G i. Eges ontine in Σ n in Σ re ol. In G i () eges mrke C re in some Σ i, n in G i () eges mrke A re then in Σ i. Oserve tht if u is lning vertex in ise grph (G, B), n A δ(u)/, then pplying Oservtion 1.9 yiels signture Σ E(G) so B = B Σ, with the property tht A is isjoint from the memers of Σ. Then twiste flip opertion on (G, B Σ ) is the opertion of rolling up -lss A. A pinh opertion is otine s twiste flip y tking G = G 1 n Σ = ; then (G, B) is lne, n the ise grph (G, B ) given y twiste flip is tht otine y pinhing the verties v n x 1. Aitionlly, the speil se when eh δ Gi (x i ) Σ si = n there is no unlne loop inient to u is the urling opertion in [1]. 2 2-sums of frme mtrois n mtroils In this setion we provie neessry n suffiient onitions for 2-sum of two frme mtrois to e frme, Theorem 2.2 elow. Th-sum of two mtrois M 1 n M 2 on elements E(M 1 ) n E(M 2 ), enote M 1 2 M 2, is the mtroi on groun set (E(M 1 ) E(M 2 ))\{, } with iruits: the iruits of M i voiing e i for i = 1, 2, together with {(C 1 C 2 )\{, } C i is iruit of M i ontining e i for i = 1, 2}. The following result (inepenently of Bixy, Cunninghm, n Seymour) is funmentl. Theorem 2.1 ([8],Theorem 8.3.1). A onnete mtroi M is not 3-onnete if n only if there re mtrois M 1, M 2, eh of whih is proper minor of M, suh tht M is 2-sum of M 1 n M 2. If M is mtroi whose utomorphism group is trnsitive on E(M), then we write simply M f 2 N to inite th-sum of M n N tken on some element e E(M) n element f E(N); if lso N hs trnsitive utomorphism group we my simply write M 2 N. 12

13 Mtroils. A mtroil is pir (M, L) onsisting of mtroi M together with istinguishe suset L of its elements. A mtroil M=(M, L) is frme if there is ise grph Ω with M = F (Ω) in whih every element in L is n unlne loop. We sy ise grph in whih ll elements in L E(Ω) re unlne loops is L-ise. Thus M=(M, L) is frme mtroil if n only if there exists n L-ise grph Ω with F (Ω) = M. In this se we sy Ω represents M. Oserve tht, s long s M is simple, this is equivlent to sking tht there e frme for M ontining L. To see this, rell the onstrution given on pg of ise grph representing mtroi M with frme B. Though it is not require tht the frme B e isjoint from E, the onstrution ssumes B E =. We n o wy with this ssumption s follows. Suppose B E = F. Construt (G, B) with ege set E \ F s efore. Now n unlne loop inient to eh vertex of G, n let eh element of the frme e represente y the new loop inient to its vertex. Thus we otin frme extension N without ny e prllel elements in whih ll elements in the frme re unlne loops in the ise grph representing N. Conversely, s long s M is simple, given ise grph Ω representing M, the set of unlne loops of Ω is ontine in frme for M nmely, fter ing n unlne loop t eh vertex not lrey hving one, the sis onsisting of the set of unlne loops. The min result of this setion sys tht 2-sum of two non-grphi frme mtrois is frme if n only if eh of the summns hs frme ontining the element upon whih th-sum is tken. Theorem 2.2. Let M 1, M 2 e onnete mtrois n for i = 1, 2 let e i E(M i ). The mtroi M 1 2 M 2 is frme if n only if one of the following hols. 1. One of M 1 or M 2 is grphi n the other is frme. 2. Both mtroils (M 1, { }) n (M 2, { }) re frme. We prove more generl sttement thn Theorem 2.2, giving neessry n suffiient onitions for 2-sum of two frme mtroils to e frme. This more generl result will e require in Setion 3. The sttement n its proof will e given fter the following neessry preliminries summing ise grphs Let Ω 1, Ω 2 e ise grphs n let e i E(Ω i ) for i = 1, 2. There re two wys in whih we my perform ise grphil 2-sum opertion on Ω 1 n Ω 2 to otin ise grph representing th-sum F (Ω 1 ) 2 F (Ω 2). 1. Suppose tht e i is n unlne loop in Ω i inient with vertex v i, for i {1, 2}. The loop-sum of Ω 1 n Ω 2 on n is the ise grph otine from the isjoint union of Ω 1 n Ω 2 y ientifying verties v 1 n 13

14 v 2. Every yle in the loop-sum is ontine in one of Ω 1 or Ω 2 ; its is is efine oringly. 2. Suppose tht Ω 1 is lne, n tht e i is link in Ω i inient with verties u i, v i, for i {1, 2}. The link-sum of Ω 1 n Ω 2 on n is the ise grph otine from the isjoint union of Ω 1 n Ω 2 y ientifying u 1 with u 2 n v 1 with v 2. A yle in the link-sum is lne if it is either lne yle in Ω 1 or Ω 2 or if it my e written s union (C 1 \ ) (C 2 \ ) where for i {1, 2}, C i is lne yle in Ω i ontining e i. (It is strightforwr to verify tht the thet rule is stisfie y this onstrution.) Proposition 2.3. Let Ω 1, Ω 2 e ise grphs n let e i E(Ω i ) for i {1, 2}. If Ω is loop-sum or link-sum of Ω 1 n Ω 2 on n, then F (Ω) = F (Ω 2 ) 2 F (Ω 2). Proof. It is esily heke tht for oth the loop-sum n link-sum, the iruits of F (Ω) n of F (Ω 1 ) 2 F (Ω 2) oinie, regrless of the hoie of pirs of enpoints of n tht re ientifie in the link-sum. 2.2 Deomposing long 2-seprtion By Theorem 2.1, mtroi M of onnetivity 2 eomposes into two of its proper minors suh tht M is 2-sum of these smller mtrois. If M is frme, then every minor of M is frme, n we woul like to e le to express th-sum in terms of loop-sum or link-sum of two ise grphs representing these minors. This motivtes the following efinitions. Let M e onnete frme mtroi on E n let Ω e ise grph representing M. A 2-seprtion (A, B) of M is iseprtion of Ω. There re four types of iseprtions tht ply key roles. Define iseprtion to e typ, 2(), 2(), 3(), 3(), or 4, respetively, if it ppers s in Figure 4, where eh omponent of Ω[A] n Ω[B] is onnete; omponents of eh sie of the seprtion mrke re lne, those mrke u re unlne. We refer to iseprtion of typ() or 2() s typ, n iseprtion of type 3() or 3() s type 3. Proposition 2.4. Let M e onnete frme mtroi suh tht M = M 1 2 M 2 for two mtrois M 1, M 2. Let Ω e ise grph representing M, n let E(M i ) \ {e i } = E i for i {1, 2}. If (E 1, E 2 ) is typ (resp. typ), then there exist ise grphs Ω i with E(Ω i ) = E(M i ), i {1, 2}, suh tht Ω is the loop-sum (resp. linksum) of Ω 1 n Ω 2 on n. Proof. If (E 1, E 2 ) is typ, then for i {1, 2} let Ω i e the ise grph otine from Ω y repling Ω[E i+1 ] with n unlne loop e i inient to the vertex in V (E 1 ) V (E 2 ) (ing inies moulo 2). Then Ω is the loop-sum of Ω 1 n Ω 2 on n. Now suppose (E 1, E 2 ) is typ. Let V (E 1 ) V (E 2 ) = {x, y}, n ssume without loss of generlity tht Ω[E 1 ] is lne while Ω[E 2 ] is unlne. For 14

15 A A B A B u u u B u Typ () Typ () u A B A B u A B () Type 3 () Type 4 Figure 4: Four types of iseprtions. i {1, 2} let Ω i e the ise grph otine from Ω y repling Ω[E i+1 ] with link e i = xy n efining is s follows: Ω 1 is lne, while the lne yles of Ω 2 re preisely those not ontining tht re lne in Ω together with those yles ontining for whih repling with n x-y pth in Ω[E 1 ] yiels lne yle in Ω (Lemm 1.5 gurntees tht this olletion is well-efine). Then Ω is the link-sum of Ω 1 n Ω 2 on n Tming iseprtions In light of Proposition 2.4, we wnt to show tht for every 2-seprtion of frme mtroi M, there exists ise grph representing M for whih the orresponing iseprtion is typ or 2. We first show tht there is lwys suh representtion in whih the iseprtion is typ, 2, or 3. In preprtion for the more generl form of Theorem 2.2 we wish to prove, we now onsier mtroils. We sy mtroil M=(M, L) is onnete if M is onnete. Lemm 2.5. Let M=(M, L) e onnete frme mtroil. For every 2-seprtion (A, B) of M, there exists n L-ise representtion of M for whih (A, B) is type 1, 2, or 3. Proof. Choose n L-ise representtion Ω of (M, L) for whih Ω is not lne (ny lne representtion n e turne into n unlne one y pinh or roll-up opertion, so this is lwys possile). Let S = V (A) V (B) in Ω. Let {A 1,..., A h } e the prtition of A n {B 1,..., B k } the prtition of B so tht every 15

16 Ω[A i ] is omponent of the ise grph Ω[A] n every Ω[B j ] is omponent of the ise grph Ω[B]. Cll the grphs Ω[A 1 ],..., Ω[A h ], Ω[B 1 ],..., Ω[B k ] prts. For every 1 i h (resp. 1 j k) let δa i = 1 (δj B = 1) if Ω[A i] is lne (Ω[B j ] is lne) n δa i = 0 (δj B = 0) otherwise. Then λ M(A, B) = 2 = 1 + S h i=1 δi A k j=1 δj B. Sine eh vertex in S is in extly one Ω[A i] n extly one Ω[B j ], ouling oth sies of this eqution n rerrnging, we otin 2 = h ( k ( ) S V (Ai ) 2δA) i + S V (B j ) 2δ j B. i=1 j=1 If prt is lne, it must ontin t lest two verties in S (else M is not onnete y the isussion in Setion 1.1), so every term in the sums on the right hn sie of the ove eqution is nonnegtive. In prtiulr, letting t e the numer of verties in S ontine in prt, lne prt will ontriute t 2 to the sum, n n unlne prt will ontriute t. Cll prt neutrl if it is lne n ontins extly two verties in S. Sine the totl sum is two, the possiilities for the prts of Ω[A] n Ω[B] re: () two unlne prts eh with one vertex in S n ll other prts neutrl, () one unlne prt with two verties in S n ll other prts neutrl, () one lne prt with three verties in S, one unlne prt with one vertex in S, n ll other prts neutrl, () two lne prts with three verties in S n ll other prts neutrl, or (e) one lne prt with four verties in S n ll other prts neutrl. These possiilities re illustrte in Figure 5. Oserve tht every omponent of M \ B (resp. M \ A) is ontine in some prt Ω[A i ] (Ω[B j ]), n every prt of Ω[A] (resp. Ω[B]) is union of omponents of M \ B (resp. M \ A). Hene every iruit of M is either ontine in single prt, or trverses every prt. It is n elementry property of 2-seprtions tht if A 1,..., A l n B 1,..., B m re the omponents of M \B n M \A respetively, n (X, Y ) is ny prtition of A 1,..., A l, B 1,..., B m, then ( X, Y ) is 2-seprtion of M (this n e verifie y strightforwr rnk lultions). Hene if Ω[D] is neutrl prt, (D, D ) is 2-seprtion of M. Sine Ω[D] is lne n onnete, the iseprtion (D, D ) of Ω is typ. Suppose there re extly t neutrl prts. Repetely pplying Proposition 2.4, we otin ise grph Ω with links e 1,..., e t together with lne ise grphs Ω 1,..., Ω t eh with istinguishe ege e i E(Ω i ) so tht Ω is otine s repete link-sum of Ω with eh Ω i on eges e i n e i. It follows from the ft tht every iruit of M is either ontine in single prt or trverses every prt 16

17 u u u u.... Figure 5: The possile eompositions of Ω into the prts of Ω[A] n Ω[B]. tht elements e 1,..., e t re ll in series in F (Ω ). We use this ft to fin nother ise grph representing M in whih the iseprtion (A, B) is typ, 2, or 3. First, in Ω ontrt eges e 1,..., e t 1 : let Ω = Ω /{e 1,..., e t 1 }. Now suivie link e t to form pth P with ege set {e 1,..., e t} to otin new ise grph Ψ, in whih yle ontining P is lne if n only if the orresponing yle in Ω ontining e t is lne. Sine elements e 1,..., e t re in series in F (Ω ), F (Ψ) = F (Ω ). For the sme reson, ny ise grph Ψ otine from Ψ y permuting the orer in whih eges e 1,..., e t our in P hs F (Ψ ) = F (Ψ). Let Φ e the ise grph otine from Ψ y rrnging the eges of P in n orer so tht n initil segment of the pth hs ll of the eges e i whose orresponing neutrl prts of Ω re in A, followe y the eges e i whose orresponing neutrl prts re in B. Now let Φ e the ise grph otine y repetely link-summing eh Ω i on ege e i, i {1,..., t}. Then F (Φ) = F (Ω). Sine every unlne loop in Ω remins n unlne loop in Φ, Φ is n L-ise representtion of M. Sine t lest one of Φ[A] or Φ[B] is onnete, n Φ[A] n Φ[B] meet in t most three verties, in Φ iseprtion (A, B) is typ, 2, or Tming type 3 We now o wy with type 3 iseprtions. 17

18 Theorem 2.6. Let M=(M, L) e onnete frme mtroil. For every 2- seprtion (A, B) of M, there exists n L-ise representtion of M for whih (A, B) is typ or 2. Proof. By Lemm 2.5 we my hoose n L-ise grph Ω representing M in whih iseprtion (A, B) is typ, 2, or 3. Suppose it is type 3. Let {x, y, z} = V (A) V (B) in Ω. We first lim tht ll yles rossing (A, B) through the sme pir of verties {x, y}, {y, z}, or {z, x} hve the sme is. To see this, let C n C e two yles rossing (A, B) t {x, y}. We my ssume without loss of generlity tht δ(z) C A. Let C A = P n C B = Q, n let C A = P n C B = Q. By Oservtion 1.4, P my e trnsforme to P y sequene of reroutings in P P. Sine every rerouting in this sequene is long lne yle, y Lemm 1.5, C n P Q hve the sme is. Similrly, Q my e trnsforme into Q vi sequene of reroutings long lne yles in Q Q, so P Q n P Q = C hve the sme is. I.e., C n C re of the sme is. There re three types of yles rossing th-seprtion: those rossing t {x, y}, those rossing t {x, z}, n those rossing t {y, z}; y the lim, ll yles of the sme type hve the sme is. Let us enote the sets of these yles y C xy, C xz n C yz, respetively. We lim tht t lest one of these sets ontins n unlne yle. For suppose the ontrry. If the iseprtion of Ω is type 3(), then Ω is lne with V (A) V (B) = 3; ut then (A, B) is not 2-seprtion of F (Ω), ontrition. If the iseprtion is type 3(), then M is not onnete, ontrition. Suppose first tht just one of our sets of yles, sy C xy, ontins n unlne yle C. Suppose further tht in one of Ω[A] or Ω[B] there is z-c pth P voiing x n tht in the other sie there is z-c pth Q voiing y. Then C P Q is thet sugrph of Ω ontining extly two lne yles, ontrition. So no suh pir of pths exist. Hene either: 1. oth Ω[A] n Ω[B] ontin z-c pth, ut either every z-c pth in oth meets x or every z-c pth in oth meets y, or, 2. one of Ω[A] or Ω[B] hs no z-c pth. In s, either x or y is ut vertex of Ω, n we fin tht F (Ω) is not onnete, ontrition. Hene we hve s. Suppose without loss of generlity tht Ω[B] oes not ontin z-c pth. We hve iseprtion of type 3(). Let us enote y B 1 the lne omponent n y B 2 the unlne omponent of ise grph Ω[B]. Let Φ e the ise grph otine s follows. Deth B 2 from Ω[A], n form signe grph (G, B Σ ) from Ω[A] y ientifying verties x n y, n setting Σ = δ(y) A. Now ientify vertex x in B 1 with vertex z in (G, B Σ ), n ientity vertex y in B 1 with vertex z in B 2 (Figure 6). Assign ises to yles in Φ in Φ[A] oring to their is in (G, B Σ ) n in Φ[B] oring to their is in Ω. It is strightforwr to verify tht the iruits of F (Φ) n F (Ω) oinie, so F (Φ) = M. 18

19 A z B u A z x B z y u x y x y Ω Φ Figure 6: Fining representtion in whih the iseprtion if typ. x x y y y z z Figure 7: If just C xy n C yz ontin unlne yles, then F (Ω) is grphi. The iseprtion (A, B) in Φ is typ, n sine eges representing elements in L remin unlne loops in Φ, Φ is n L-is representtion of M s require. So now ssume tht t lest two of the three sets C xy, C yz n C xz ontin n unlne yle. Then our iseprtion is type 3(). If just two of these sets ontin n unlne yle sy C xz oes not then M is grphi, represente y the grph otine from Ω y splitting vertex y (Figure 7). Now pinhing verties x n z yiels n L-ise grph representing M in whih iseprtion (A, B) is typ. The remining se is tht ll three of C xy, C xz, n C yz ontin unlne yles, so every yle rossing (A, B) is unlne. In this se every iruit of M ontine in A or B is lne yle n every iruit meeting oth A n B is either pir of tight hnuffs meeting t vertex in V (A) V (B), or n ontrlne thet (Figure 8). Let Ω e the signe grph otine from Ω s follows. Split verties y n z, repling y with two new verties y n y, putting A B A B Figure 8: Ciruits of F (Ω) meeting oth sies of th-seprtion. 19

20 A x B Figure 9: A representtion in whih the iseprtion is typ ll eges uy A inient with y n ll eges vy B inient with y n similrly repling z with two new verties z n z, putting ll eges uz A inient with z n ll eges vz B inient with z. Now ientify verties y n z n ientify verties y n z, n put the eges in δ(z) A n in δ(z) B in Σ (Figure 9). It is esily heke tht suset C E is iruit in F (Ω) if n only if C is iruit in F (Ω ), so F (Ω ) = F (Ω). Sine in this se L is empty, Ω is n L-ise grph representing M, s require. 2.3 Proof of Theorem 2.2 With this we re rey to prove the min result of this setion. Lemm 2.7. Let M 1 =(M 1, L 1 ) n M 2 =(M 2, L 2 ) e onnete frme mtroils on E 1, E 2, respetively. If for i = 1, 2, e i E i \ L i, then (M 1 2 M 2, L 1 L 2 ) is frme if n only if one of the following hols. 1. L i = n M i is grphi for one of i = 1 or i = (M i, L i {e i }) is frme for oth i = 1, 2. Proof. The if iretion follows immeitely from Proposition 2.3. Conversely, onsier frme mtroil resulting from 2-sum, (M 1 2 M 2, L 1 L 2 ). By Theorem 2.6 there is (L 1 L 2 )-ise representtion Ω of th-sum in whih the iseprtion (E 1 \, E 2 \ ) is typ or 2. By Proposition 2.4, there re ise grphs Ω 1 on E 1 n Ω 2 on E 2 suh tht Ω is link- or loop-sum on n. If Ω is link-sum, then 1 hols. If Ω is loop-sum, then oth Ω i re (L i {e i })-ise representtions of M i, so oth mtroils (M i, L i {e i }) re frme (i {1, 2}). Lemm 2.7 immeitely implies Theorem 2.2. Proof of Theorem 2.2. Apply Lemm 2.7 with L 1 = L 2 =. 3 Exlue minors In this setion we use Theorem 2.2 to onstrut fmily E 0 of 9 exlue minors with onnetivity 2. We then show tht ny exlue minor of onnetivity 2 tht is not in E 0 hs speil struture. 20

21 U 2,4 M (K 3,3 ) M (K 5 ) Figur0: The ise grphs representing exlue minors for the lss of grphi mtrois. Those with she eges re signe grphs, with signtures given y she eges. The other two ise grphs, representing U 2,4, hve ll yles unlne. e e Figur1: The ise grphs representing M (K 3,3 ); oth re signe grphs with signture the she eges. 3.1 The exlue minors E 0 The grph otine from K 3,3 y ing n ege e linking two non-jent verties is enote K 3,3 ; we lso enote the orresponing element of M (K 3,3 ) y e. Let E 0 ={U 2,4 2 M (H) H {K 5, K 3,3, K 3,3}} {M (H 1 ) 2 M (H 2 ) H 1, H 2 {K 5, K 3,3, K 3,3}}, where th-sum is tken on e whenever H, H 1 or H 2 is K 3,3. There re three ise grphs representing U 2,4, two ise grphs representing M (K 5 ), n just one ise grph representtion of M (K 3,3 ) [11]. These re shown in Figur0. There re two ise grphs representing M (K 3,3 ), shown in Figur1. Theorem 3.1. The mtrois in E 0 re exlue minors for the lss of frme mtrois. Proof. Let M 1 2 M 2 E 0, with M 1 one of U 2,4, M (K 5 ), M (K 3,3 ), or M (K 3,3 ) n M 2 one of M (K 5 ), M (K 3,3 ), or M (K 3,3 ). Sine neither M 1 nor M 2 is grphi n M 2 hs no representtion with loop, y Theorem 2.2 M 1 2 M 2 is not frme. Sine every proper minor of U 2,4, M (K 5 ), n M (K 3,3 ) is grphi, n for every e e, oth M (K 3,3 ) \ e n M (K 3,3 )/e re grphi, every proper minor of 21

22 M 1 2 M 2 is 2-sum of grphi mtroi n frme mtroi. Hene y Theorem 2.2, every proper minor of M 1 2 M 2 is frme. 3.2 Other exlue minors of onnetivity 2 We now investigte exlue minors of onnetivity 2 tht re not in E 0. We show tht ny suh exlue minor hs the following struture. For mtroi M n suset L E(M), the mtroi otine y tking 2-sum of opy of U 2,4 on eh element in L is enote M L 2 U 2,4. Theorem 3.2. Let M e n exlue minor for the lss of frme mtrois. If M hs onnetivity 2 n is not in E 0, then M = N L 2 U 2,4 for 3-onnete frme mtroi N. We prove Theorem 3.2 vi three lemms, eh of whih requires some explntion. A olletion N of onnete mtrois is 1-roune if it hs the property tht whenever onnete mtroi M hs minor N N, then every element e E(M) is ontine in some minor N of M with N N. The following is result of Seymour ([8] Setion 11.3). Theorem 3.3. The olletion {U 2,4, F 7, F7, M (K 5 ), M (K 3,3 ), M (K 3,3 )} is 1- roune. We use Theorem 3.3 in the proof of the following lemm, to fin minor ontining the se point on whih 2-sum is tken. Lemm 3.4. Let M 1, M 2 e nontrivil mtrois n suppose M 1 2 M 2 is n exlue minor for the lss of frme mtrois, for some E(M 1 ) n E(M 2 ). Then either M 1 2 M 2 E 0 or oth M 1 n M 2 re non-inry frme mtrois. Proof. By minimlity, M 1 n M 2 re oth frme. By Theorem 2.2, neither M 1 nor M 2 is grphi. Thus eh ontins n exlue minor for the lss of grphi mtrois, nmely, one of U 2,4, F 7, F7, M (K 5 ), or M (K 3,3 ). By Theorem 3.3, for i {1, 2}, mtroi M i ontins minor N i isomorphi to one of U 2,4, F 7, F7, M (K 5 ), M (K 3,3 ), or M (K 3,3 ) with e i E(N i ); we my ssume tht if N i = M (K 3,3 ) then e i is ege e. Sine neither F 7 nor F7 re frme, neither N 1 nor N 2 is isomorphi to F 7 or F7. If N 1 2 N 2 E 0, then y minimlity, for i {1, 2}, M i = Ni n M 1 2 M 2 = N 1 2 N 2. Otherwise, N 1 = N2 = U2,4, so oth M 1 n M 2 re non-inry. Our next lemm requires two si fts. The first is result of Bixy; the seon ws prove inepenently y Brylwski n Seymour. 22

23 Proposition 3.5 ([8], Proposition ). Let M e onnete mtroi hving U 2,4 minor n let e E(M). Then M hs U 2,4 minor using e. Proposition 3.6 ([8], Proposition 4.3.6). Let N e onnete minor of onnete mtroi M n suppose tht e E(M) \ E(N). Then t lest one of M \ e n M/e is onnete n hs N s minor. Lemm 3.7. Let M 1 2 M 2 e n exlue minor for the lss of frme mtrois with oth M 1 n M 2 non-inry. Then one of M 1 or M 2 is isomorphi to U 2,4. Proof. Suppose for ontrition tht neither M 1 nor M 2 is isomorphi to U 2,4. By Propositions 3.5 n 3.6 we my hoose n element f E(M 1 ) \ { } so tht mtroi M 1 otine from M 1 y either eleting or ontrting f is onnete n hs U 2,4 s minor. Sine M 1 2 M 2 is minor of M 1 2 M 2, y minimlity M 1 2 M 2 is frme. By Theorem 2.2, (M 2, { }) is frme. Similrly, (M 1, { }) is frme. Hene y Thereom 2.2, M 1 2 M 2 is frme, ontrition. The finl lemm we nee to prove Theorem 3.2 tells us tht in our urrent setting, 2-seprtions hving one sie just 3-iruit nnot intert with eh other. The omplement of suset A E is enote A. Lemm 3.8. Let M e onnete mtroi on E with E 6 n ssume tht for every 2-seprtion (A, A ) of M, one of M[A] or M[A ] is iruit of size 3. If (A, A ) n (B, B ) r-seprtions with oth M[A] n M[B] iruit of size 3, then either A = B or A B =. Proof. Suppose for ontrition tht A B A. We onsier two ses epening on the size of A B. If A B = 1 then let A B = {e} n onsier the seprtion (A \ {e}, A {e}). Sine B \ {e} spns e, r(a ) = r(a {e}). But this implies tht (A \ {e}, A {e}) is 2-seprtion, ontrition s neither sie hs size three. Next suppose A B = 2. Then, summing the orers of the seprtions (A B, A B ) n (A B, A B ), y sumoulrity, we hve λ M (A B,A B )) + λ M (A B, A B ) = r(a B) + r(a B ) + r(a B) + r(a B ) 2r(M) + 2 r(a) + r(a ) + r(b) + r(b ) 2r(M) + 2 = λ M (A, A ) + λ M (B, B ) = 4. As M is onnete, eh of λ M (A B, A B )) n λ M (A B, A B ) is t lest two, so this implies tht (A B, A B ) is 2-seprtion, gin ontrition. Proof of Theorem 3.2. Let M e n exlue minor for the lss frme mtrois, n suppose M hs onnetivity 2 n M / E 0. By Lemm 3.4, whenever M is written s 2-sum, eh term of the sum is non-inry, n y Lemm 3.7 one of 23

24 these terms is isomorphi to U 2,4. Hene every 2-seprtion (A, A ) of M hs one of M[A] or M[A ] iruit of size 3. By Lemm 3.8 the 3-iruits orresponing to these U 2,4 minors re pirwise isjoint. Therefore we my write M = N L 2 U 2,4, where N is 3-onnete mtroi. 3.3 Exlue minors for the lss of frme mtroils Theorem 3.2 sys tht every exlue minor of onnetivity 2 for the lss of frme mtrois tht is not in E 0 n e expresse in the form N L 2 U 2,4, where N is 3-onnete frme mtroi. In this setion we equte the prolem of representing mtroi of this form s ise grph to frme mtroils. We egin with the following key result. Theorem 3.9. Let N e mtroi n let L E(N). Then N L 2 U 2,4 is frme if n only if the mtroil (N, L) is frme. Proof. Let L = {,..., e k } n repetely pply Lemm 2.7: N L 2 U 2,4 is frme ( (N {...e k 1 } ) ) 2 U ek 2,4 2 U 2,4, is frme ( (N {...e k 2 } ) ) 2 U ek 1 2,4 2 U 2,4, {e k } is frme ( (N {...e k 3 } ) ) 2 U ek 2 2,4 2 U 2,4, {e k 1, e k } is frme ( N, {,..., e k } ) is frme.. So tht we my work iretly with mtroils, we now efine minors of mtroils. Any mtroil (N, K) otine from mtroil (M, L) y sequene of the opertions of eleting or ontrting n element not in L or removing n element from L is minor of (M, L). Clerly, the lss of frme mtroils is minor-lose, n so we my sk for its set of exlue minors. We hve the following immeite orollry of Theorem 3.9. Corollry Let N e mtroi n let L E(N). Then N L 2 U 2,4 is n exlue minor for the lss of frme mtrois if n only if (N, L) is n exlue minor for the lss of frme mtroils. Our serh for the remining exlue minors of onnetivity 2 for the lss of frme mtrois is therefore equivlent to the prolem of fining exlue minors for the lss of frme mtroils. There re four wys to represent the 3-iruit U 2,3 s ise grph: lne tringle, ontrlne thet on two verties, tight hnuff onsisting of n 24

25 unlne 2-yle together with n unlne loop, or s loose hnuff onsisting of link n two unlne loops; no ise grph representtion of U 2,3 E(U 2,3 ) hs ll three elements s unlne loops. Eviently therefore, U 2,3 2 U 2,4 is not frme. Let us enote this mtroi N 9. I.e., N 9 = U 2,3 E(U 2,3 ) 2 U 2,4. Proposition N 9 is n exlue minor for the lss of frme mtrois. Proof. By Corollry 3.10, N 9 is n exlue minor for the lss of frme mtrois if n only if (U 2,3, E(U 2,3 )) is n exlue minor for the lss of frme mtroils. There is no ise grph representing U 2,3 in whih ll three elements re unlne loops, so the mtroil (U 2,3, E(U 2,3 )) is not frme. For every two element suset L E(U 2,3 ) the mtroil (U 2,3, L) is frme: link etween two verties together with n unlne loop on eh enpoint, where the two unlne loops represent the two elements in L is n L-ise grph representing U 2,3. The mtroi N 9 is the only exlue minor for the lss of frme mtrois of the form N L 2 U 2,4 with L 3: Theorem Let N e 3-onnete mtroi, let L E(N), n suppose tht M = N L 2 U 2,4 is n exlue minor for the lss of frme mtrois. If L 3 then M = N 9. Proof. Let L = {,..., e k }. By Corollry 3.10, (N, L) is n exlue minor for the lss of frme mtroils. By minimlity then, (N, {,..., e k }) is frme. Let Ω e {,..., e k }-ise grph representing (N, {,..., e k }). In Ω, eges, e 3 re unlne loops n is link. Sine N is 3-onnete, Ω is 2-onnete. Hene there re isjoint pths P, Q linking the enpoints of n the verties inient to n e 3. Contrting P n Q yiels U 2,3 s minor with E(U 2,3 ) = {,, e 3 }. By minimlity n Proposition 3.11 therefore, N = U 2,3 n L = {,, e 3 }. 4 Proof of Theorem 1.1 We re now rey to prove Theorem 1.1. Theorem 1.1. Let M e n exlue minor for the lss of frme mtrois, n suppose M is not 3-onnete. Then either M is isomorphi to mtroi in E or M is th-sum of 3-onnete non-inry frme mtroi n U 2,4. The set E of exlue minors in the sttement of Theorem 1.1 ontins E 0 n N 9. In this setion we exhiit the remining mtrois in E, n show tht ny other exlue minor of onnetivity 2 is 2-sum of 3-onnete non-inry mtroi n 25