Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1
1
Springer.com
C O N T E N T S
T. BRYLAWSKI
The Tutte polynomial .......................................... 125
J. G. OXLEY
On 3-connected matroids and graphs ............................ 177
R. PEELE
The poset of subpartitions and Cayley's formula for the
complexity of a complete graph ................................ 289
A. RECSKI
Engineering applications of matroids .......................... 301
D. J. A. WELSH
Matroids and combinatorial optimisation ....................... 323
T. ZASLAVSKI
Voltage-Graphic Matroids ...................................... 417
CENTRO INTERNAZIONALE MATEMATICO E S T I V O
(c.I.M.E.)
da cui si deduce p = ql
1
. Iterando questo ragionamento, si pro
va la tesi.,
a* : 9(P2) + 4 ( P1 )
ponendo
ponendo
dove p e J(L~) . *
La definizione di & ben posta, in quanto, se x, y e J(L,)
$1
a n b = &(a) b+a~(b)-ab
= ~(ab
) + ~ ( a )C + as(b) + ae(c)- ab-ac ;
i > E(Z) = 1
iii) a(b+c) = ab + ac
(a+b)c = ac+ bc
per ogni a, b e S .
Osserviamo che, nelle precedenti ipotesi, la struttura (S,+ ,x)
risulta anchlessaun con0 di valutazione.
siano SI * S2 coni di valutazione; unlapplicazione
Ip: S1 - s*
per -x,yeL.
Osserviamo che le congruenze (r) sono compatibili con la
struttura di semianello, in quanto, per ogni a e L e per ogni
x,ye L:
i) &(x) = I se x puro;
ii) E
i
xi =
i
E x i con xi p u m per ogni i .
risulta percid unlaumentazione per V(L) .
Si ha poi immediatamente che il massimo u del reticolo corrL
sponde alltunits del semianello, e che il minimo z del reticolo
corrisponde all'integrale del semianello, cio& t(z) = 1 e
z-x = E (X)Z per ogni xt v ( L ) .
~efiniamoora unloperazione su v(L), che indicheremo con X,
zione decrescente su P . .
Viceversa, 6 owio che ogni IA , con A e Y(P) ,2 UM fun-
tale che
2) se x = 2
k
ak . con ak puro per ogni k .
poniamo
tale che
poi = i 09
1 2 '
a v b i a ~ b= a + b
tale che
che implica
9l ( X I 9 8 (XI = 9 ' ( x )
da cui:
Sia L un reticolo distributivo finito; consideriamo il grup-
po abeliano libero su L. Tale gruppo si pu6 dotare di una strur
tura di Z-algebra mediante l'operazione di prodotto indotta dal-
l'inf~ del reticolo. Questa algebra si dice algebra di semi-
gruppo di L , e si indica con L&, rrL( .Sia I(L) l'ideale di
Z E , ~generato dagli elementi del tipo
tale che
d w e i 6 l~immersionecanonica di L in w ( L ) .
i) t(x) = I se x Q puro;
e, se a = r x i
i
. b=ryj
j
, dove xiPyj sono puri, si ha:
axb =
i,j
(xivyj) .
4.5. PROPOSIZIONE Lfimmersionecanonica
j : v(L) -+ w(L)
h un morfismo di coni di valutazione..
Osserviamo che la costruzione di W ( L ) pu6 essere ripetuta
utilizzando lloperazione sup di L in luogo dell'operazione inf;
X
si ottiene cos? un anello W ( L ) , che gode evidentemente delle
stesse propriet3 di w ( L ) .
pih precisamente:
tale che
7 ( x ) = u+ 2- X
DIMOSTRAZIONE
i) gli elementi supirriducibili di L sono owiamente linearmen
te indipendenti in W ( L ) ;
D~sTRAzIONE Segue dal fatto che J(L) una base per W(L) ,
e che ogni valutazione f :. L + A si pud esprimere nella forma
!Poi, dove rp: W ( L ) + A 6 un morfismo di gruppi.
Poniamo in01tre
ez ='z .
5. I. PROFQS IZIONE L * insieme
da cui
. 9= (p-dp)(q-dq)
P
= p ~ q d+p ~ d q - d ~ ~ q -
=~O~ d q
allora
Abbiamo quindi:
DIMOSTRAZIONE
f inizione d i ~ ( pq), ..
Segue d a l l a Proposizione precedente e dalla de-
Ma eb0a = &(eb)-a = 0 se b
segue l(affermazione.,
#a . mentre ea0 a = a ; da qui
p: PxP -22
M 3) ) p(x,z)
X<Z<Y
= 0 per ogni x , y c ~ ,x # y .
Se P 6 un insieme parzialmente ordinato finito e pK b il
x
suo duale d*-ordine,indichiamo con p la funzione di ~8bius
di P
x
.
5.5. PROWSIZIONE Per ogni x;y c P , si ha:
% %
v: P X P + a
ponendo
.
In quest*ultimaalgg
bra, l*affermazionedel teorema si scrive come
( x - ai) + (x-
j
bj) - (x- .V. (aihbJ. ) ) =
= x- (y ai)v(?/ b.)
J J
V (ai4b.) =
J (y ai)~(Y
J b.)
J 'm
i,j
5.9. PROWSIZIONE Sia L un r e t i c o l o d i s t r i b u t i v o f i n i t o t a l e
che J(L) r i s u l t i a sua v o l t a un r e t i c o l o ; per ogni pl,
p2,..., p,sJ(L),
A
DIMOSTRAZIONE S i ha:
i) 6 ed ? non appartengono a T;
ii) T & untanticatena;
iii) ogni catena massirnale tra ed ? ha intersezione non
vuota con T .
11 Corollario 5.10 pu6 essere generalizzato come segue:
Allora
In particolare,
*
q k ( l ) = qk . N e segue che
f
a n a l o g ~ e n t e ,definiamo c k (a,b) come il numero d e l l e catene
t a l i che
xep
f(x)=f (b)
Ponendo A = - 1 si ha la tesi.
5: PXP z
-- - vf(a.b) +
XIb
v(a.x) .,
f(x)=f (b)
. Se s e P , indichiamo
con sL lvinsiemedei complementi di s in P . Allora
DIMOSTRAZIONE Sia
f:P+ b,fl
f(x) = x v s ;
~(6,;) = o
Allora, l 1 insieme
ortogonali per M(P) ..
f epip e P f una base cii idempotenti
Quindi
abbiamo
da qui si ha la tesi..
e, dcaltra parte
Inoltre si ha:
(I-c)r = ~ * r - c =
~0r .
Allora
=
ccC
(?-c)(s .
r d
,u(r,?)r)
I(?-~)=e-.=>~(r,?)r ,
ccC rlt
tale che:
i) g 6 un morfismo d'ordine;
ii) per ogni xc P, e (~(x)) = Q(x) ;
iii) per ogni xeP, x _< @(x) .
Gli elementi x e P tali che Q(x) = x si dicono chiusi.
induce un morfismo
s e e solo se:
s o d d i s f i l e condizioni i ) e i i ) .
Poniamo
Per q a Q, , sia
si ha allora che g, e $, costituiscono una connessione di Galois,
e che le funzioni
ponendo
nito, e sia
-
si ha, indicando con p e p le funzioni di ~8biusdi P e P
rispettivamente:
*
.
Sia P un insieme parzialmente ordinato finito dotato di mi-
nimo 0 e tale che, per ogni x,yeP, x 2 y tutte le catene
massimali tra x e y abbiano lo stesso numero di elementi; si dg
finisce rango di un elemento x e P l'intero
1' intero
Osserviamo che
e , grazie a l l a semirnodularit~d i L :
t a l e che:
implica
v a-x
aeF
DP~OSTRAZIONE Segue dalla Proposizione 6.8..
dove
x + A r(;)-r(x)
r(?)-r(tvy)
tvy + A
s i ha:
(a1
(2 r ( t v y v a ) + r ( t v y ) a~) = r ( t v y) + r ( a ) i
a = P ..
DIMOSTRAZIONE Segue dalla Proposizione precedente, ponendo
n =
i
If x e L; x atomo, x 2 air x 3 ai-lf I
per i = 1, 2,... ,k
{ Y ~ L ; ~ * a =~ 6 -) ~=
= f 5 )u f y e ~ ;r ( y ) = 1. Y A ak-lf 9
da cui
( 6 = I
k
nl n2 ... 5 .,
S i a L un r e t i c o l o geometrico, e s i a A l t i n s i e m e d e g l i at?
m i d i L. Un sottoinsieme I d i A s i d i c e indipendente se, po-
68
sto y = V x , risulta
X€ I
per k 5 r - 2; inoltre:
e, infine:
8. Laanello di Tutte-Grothendieck
[P,?] L
'
P *
dove Lq, ;&-P indica 1' intervallo Cq, i] nel reticolo L-p .
Osserviamo infine che, fissato p e L , llapplicazione
tale che:
se p 6 un atomo di L e non 6 istmo di L.
h:Y + A
tale che
Da cib si deduce
v b
V B = be8 , vC= v
ccc
C .
.Ip(G,?)l = (-1) ( ) L O
.
8.5. COROLLARIO Per ogni L e6P e per ogni p atomo d i L ,
s i ha:
a) IP(P,;)I 5 I p ( ~ ~ ~ );l
l'uguaglianza sussiste .se e solo se p & un istmo;
b) IP~-~(~.;)I 5 IB(~.?)I
dove p indica la funzione di ~bbiusdi L-p ;
L-P
c) se x,y e L sono tali che x e yL e inoltre (x,y) 6
una coppia modulare, allora
.
poichC a e L-p e pL-p (;,a) = ~(5,a) Se p 6 un istmo di L ,
il teorena segue immediatamente, in quanto
risulta:
Lquguaglianza s u s s i s t e s e e solo s e x & un elemento mo-
dulare .
DIMOSTRAZIONE Dal momento che x 6 un coatomo d i L , un elerne2
to aeL t a l e che (x,a) s i a una coppia modulare e a s i a un
complemento d i x Q necessariamente un atomo non minore d i x ; l a
disuguaglianza segue a l l o r a dal Teorema precedente..
risulta:
DIMOSTRAZIONE
elementi x ~ - ~
x ~ ...,
, - ~ , x1 '.
Si applica il Teorema 8.7 successivamente agli
9. Unlapplicazione geometrica
r(x) = d-dim x .
Per definizione, poniamo
f
r ( ~ ~=)max r(x); x e L
si d i d f-polinomio di H.
risulta allora
allora
dove p s i intende r e l a t i v a ad Lg
H -.
9.4. TEOREMA Sia H una famiglia f i n i t a d i i p e r p i a n i d i IR
d
.
Allora
d
S i a H una famiglia f i n i t a d i i p e r p i a n i d i IR ; l ' i n v a r i a n -
t e d i Eulero d i Bd 6 d e f i n i t o come l l i n t e r o :
9.6. TEOREMA Ltinvariante d i Eulero non dipende d a l l a famiglia
d i iperpiani H . d
I n o l t r e , k(W ) = (-1 )
d
.
DIMOSTRAZIONE Per ogni famiglia H r i s u l t a :
d
S i a H una famiglia f i n i t a d i iperpiani d i IR ,e s i a K un
canpatto d i IRd con interno non vuoto; indichiamo con HI il
sottoinsieme d i H c o s t i t u i t o dagli iperpiani che intersecano
llinterno d i K . H' induce a l l o r a una partizione d i K ; indi-
chiamo con f ' il numero d e l l e facce d i dimensione j d i t a l e
j
partizione. La c a r a t t e r i s t i c a d i Eulero d i K s i definisce come
1 1 intero
d
Sia H una famiglia finita di iperpiani in IR , e sia L~
il semireticolo ad essa associato; in generale, LH risulta is2
morfo ai semireticoli associati ad altre famiglie di iperpiani
in spazi di dimensione diversa. Fra queste famiglie, diremo rap
n
presentazione minimale di LH una famiglia di iperpiani di IR ,
con n = r(L H ) , il cui semireticolo associato sia isomorfo ad
L~ '
Vogliamo ora esaminare il caso in cui alcune delfe regioni
relative alla Pamiglia H di iperpiani siano limitate; osservis
mo che, in questo caso, la famiglia H non 6 centrale, ed d una
rappresentazione minimale del semireticolo ad essa associato.
d
DIMOSTRAZIONE Sia h un iperpiano di IR , h 4H ; poniamo
Con argomenti analoghi a quelli utilizzati nella dimostrazione
del Teorema 9.1, si ottiene che 1 soddisfa la seguente ricur-
sione:
I t P~~~(B*x)I 1 t
XeL~vh
=
Xt2LH
PH(~,X)I + It
XCLHuh
PHuh(h,x)I .
Sia x c L ; analogamente a quanto fatto nella dimostrazione
Huh
del Teorema 9.1, si dimostra che
di conseguenza:
p ~ v(6.~1
h = E
~ ~ ( 6 . x- ) ~~,~(h*x)
xrLHuh XeL XCLHuh
H
L
Huh
reticoli l'identita ( x x ) diventa:
Ax
Osserviamo ora che i reticoli LH ed LHuh , duali di iH ed
"X
A
L rispettivamente, sono semimodulari; di conseguenza, grazie
Hllh
alllaffermazione d) del Teorema 7.4, abbiamo
.
go, ricordando per6 che la faccia n h in pd corrisponde
h€H
solo alla faccia hzHl
in Pd+1
.
Sia H m a famiglia finita di iperpiani dello spazio affine
Pd . Consideriano il completamento proiettivo I P ~di IRd ottg
nuto aggiungendo 1 iperpiano all*infinite, ha ; sia L la re-
strizione del reticolo duale di quell0 dei sottospazi di 4 al
llinsiemedi atomi H uhm. L~ 6 un reticolo geometric0 e con-
H
tiene come sottosemireticolo L~ '
La famiglia Ha= H u h a o di iperpiani di 4 si dira can-
pletarnento proiettivo di H .
Le regioni relative ad Ha in pd sono nello stesso nwnero
di quelle relative ad H in IRd . ~isultainoltre
d
9.11. PROWSIZIONE sia H una famiglia centrale di IR ,e
sia h$H un iperpiano parallel0 ad uno degli iperpiani
in H .Allora
di Ed-' . quindi,
dove ih,?], 6 ~lintervallosuperiore con minimo h nel retic?
lo lrbh . Ora, si verifica facilmente che la funzione
y :x -+ x v h
/( 6 )1 se G + connesso
1 z XG(0)I =
\ O altrimenti,
8. K. BACLAWSKI e A. B J ~ R N E R , Fixed p o i n t i n p a r t i a l l y o r d e r e d
sets, Advances i n Math. 31 (1979). 263-287.
-
31 (1980), 261-270.
E. BENDER e J. GOLDMAN, On t h e a p p l i c a t i o n of ~ 8 b i u si n v e ~
s i o n i n combinatorial a n a l y s i s , Amer. Math.Monthlyg (1975).
7 89- 803.
A. R , matroid i n e q u a l i t i e s , ~ i s c r e t eMath.
B ~ ~ ~ R N ESome 31
(1980). 101-103.
A. BJ~RNER
S h, e l l a b l e and Cohen-Macaulay p a r t i a l l y ordered
sets, p r e p r i n t .
-
Th. 2 (1970), 257-260.
F. FARMER, C e l l u l a r homology f o r p o s e t s , p r e p r i n t .
L. GEISSINGER, V a l u a t i o n s of d i s t r i b u t i v e l a t t i c e s I , 11,
111, Archiv Math. 24 (19 7 3 ) , 230-239, 337-345 , 475-481.
M. GREENE e R. NETTLETON, ~ 8 b i u sf u n c t i o n of t h e l a t t i c e of
dense graphs, J. Res. Nat. B u r . Standards 64 ( I 962), 41-47.
C. GREENE, On t h e ~ c b i u sa l g e b r a of a p a r t i a l l y ordered s e t ,
Advances i n Math. 10 (1973), 177-187.
C. GREENE, An i n e q u a l i t y f o r t h e ~ 8 b i u sf u n c t i o n of a geo-
m e t r i c l a t t i c e , Studies i n Appl. Math. 2 (1975), 71-74.
-
SOC. 42 ( 1 9 3 7 ) ~416-460.
-
36 (1969), 15-30, 343-368.
115. D. SMITH, M u l t i p l i c a t i o n o p e r a t o r s on i n c i d e n c e a l g e b r a s ,
I n d i a n a Univ. Math. 2. 20 (1970/71), 369-383.
-5 (1973), 171-178.
141. T. ZASLAVSKY, A c o m b i n a t o r i a l a n a l y s i s of t o p o l o g i c a l d i s -
s e c t i o n s , Advances i n Math. 25 (1977), 267-289.
ANDREA B R I N I
SOME REMARKS ON THE CRITICAL PROBLEM
Andrea B r i n i
( U n i v e r s i t s d i Bologna)
Introduction
i ) L i s a l a t t i c e with 8 element
i i ) v: LxL--+Z s a t i s f i e s t h e i d e n t i t i e s
v(x,y) = 0 if xCy
and
v(x,y) = v(x,z)v(z,y)>O f o r every X6zSy.
Given a s e t E of elements i n L, l e t M(E) be t h e l a t t i c e spanned by E ; t h e
s e t E i s c a l l e d a Re'dei s e t i f , f o r every element x i n M(E) and every p o s i t i v e
i n t e g e r n , t h e number of elements y i n M(E) such t h a t v(x,y) = n i s f i n i t e . I n
p a r t i c u l a r , every f i n i t e s e t i s a R6dei s e t .
Given a R6dei s e t E of elements i n L and an element aeL, t h e R6dei Zeta
function of E based on a i s d e f i n e d a s
p(s;a,E) =<-l)lA1v(a,~)-s,
ACE
where 'fi denotes t h e supremum i n L of t h e elements belonging t o t h e f i n i t e
subset A.
The following r e s u l t e x h i b i t s t h e connection between t h e REdei zeta
function of a s e t E and t h e Mijbius f u n c t i o n of t h e l a t t i c e 11(E) spanned by E.
IGI~P(~;~,&) .
Proof. F i r s t of a l l , we r e c a l l t h a t a c h a r a c t e r of G can be seen a s an homo-
morphism of G i n t o t h e complex u n i t c i r c l e ( s e e e.g. [13]). Given t h e s e t
A = {A1,
- . ,A n land a k-tuple y = (xl, . ,xk) of c h a r a c t e r s , we d e f i n e t h e
"kernel of x r e l a t i v e t o A" a s t h e l a r g e s t subgroup B i n M(A) - t h e l a t t i c e
spanned by A - such t h a t X. i s t r i v i a l on B f o r every i; t h u s , B i s t h e sub-
group o f G generated by t h e s u b c o l l e c t i o n of a l l subgroups A such t h a t X. is
j
t r i v i a l on A. f o r every i.
J
The proof i s now by ~ g b i u si n v e r s i o n over M(A). L e t us d e f i n e two f u n c t i o n s
i n t h e following way:
Thus, we have
f o r every B c If@).
We r e c a l l now t h a t a f i n i t e a b e l i a n group G can be s p l i t t e d i n t o a d i r e c t
sum
c1@c2$ ' * .$cr
of c y c l i c groups of prime power o r d e r pei; hence, a c h a r a c t e r of G i s known
whenever i t s value on a generator of C . i s given, f o r every i = 1,
e.
,r. Since .
i t s v a l u e must be an p l - t h r o o t of t h e u n i t y i n t h e complex f i e l d , we i n f e r
t h a t t h e number of c h a r a c t e r s of a f i n i t e a b e l i a n group equals i t s order.
Thus, we have
and, by M6bius i n v e r s i o n ,
f ( ~ )= 2
C>,B
~(B,C)(IGI/ICI)~
\ c l k p ( k ; 6 , s ) = qnk 5 p@,x)q-r(x)k=
xeM(S)
Furthermore, we have
c ( M ; ~ ) s ~(2+max
o ~ ( min
N€R(M) CcC(P1)
ICI))] .
dim ( k e r 6 ) = k(G)
and
dim (C(G,K)) = IvI -k(G).
<L I f > = f ( e )
f o r every feC(G,K).
Now, i t i s well-known t h a t t h e c y c l e matroid M ( E ) of t h e graph G = (It,S) i s
represented over K by t h e a p p l i c a t i o n
such t h a t
$ ( e ) = Le
f o r every esE.
Thus, M(E) i s r e p l e s e n t a b l e over any f i e l d K and we can s t a t e t h e following
~ ~ ( =1 P) ( G ) ~ ( ~; A( )~ ) .
By Theorem (2.2), r e c a l l i n g t h a t k(G)=n-r, we g e t t h e a s s e r t i o n .
'la
b) L e t 6 be t h e l i n e a r o p e r a t o r
d e f i n e d a s follows:
inequality
C(M(Sn,q,d-l) ;q) dn-k
holds.
Now, s e t
moreover, f o r e v e r y ( j l , . ,jn)eA, s e t
The s u b s e t
of V i s a f l a t of t h e m a t r o i d M(S
n,q,d-1
) and w i l l be c a l l e d coordinate f l a t .
We have
bt = L j h j + 5 iiki , p j ,Si€GF(q).
j i
and t h i s i m p l i e s
max (min I c I ) =
NCR(G(Sn 1) ccC(N)
,q ,d-1
2. G.BIRKHOFF, "Lattice Theory", 3rd ed., Providence: Amer. Math. Soc. Coll.
Publ. 25 (1967) .
3. R.C.BOSE, Mathematical theory of symmetrical factorial design, Sankhya 8
(1947), 107-166.
10. T.A.DOWLING, Codes, packings and the critical problem, Atti del Convegno
di Geometria Combinatoria e sue Applicazioni, Perugia, 1971, 210-224.
12. J.P.KUNG, M.R.MURTY and G.C.ROTA, On the Rddei zeta function, to appear
13. N.JACOBSON, "Basic Algebra I", W.H.Freerpan and Comp., San F r a n c i s c o , 1970.
THOMAS BRYLAWSKI
D e p a r t m e n t of M a t h e m a t i c s
U n i v e r s i t y of N o r t h C a r o l i n a
C h a p e l H i l l , N. C. 27514
of [159]) but has steadily developed over the years and shown
and cardinality r(~)-i4j. The Tutte polynomial and its chief evalua-
(the sum being taken over all elements in the geometric lattice
associated with M, and the rank 'function and Mtlbius function u(0,x)
b e i n g computed i n t h a t l a t t i c e ) , h a v e come up i n a v a r i e t y of a p p l i c a t i o n s .
a s a g e n e r a t i n g f u n c t i o n f o r t h e M6bius f u n c t i o n . It h a s a p p l i c a t i o n s ,
c o n c e n t r a t i n g ( a f t e r t h e n e x t , m o t i v a t i o n a l , s e c t i o n ) on t h e s t r u c t u r e
c o i n c i d e w i t h important i n v a r i a n t s .
- graph c o l o r i n g [8, 27, 29, 39, 57, 64, 82, 95, 107, 117, 124,
135, 137, 138, 140, 142, 145, 146, 151, 153, 154, 157, 160,
1721
and p r o j e c t i v e s p a c e (32, 49, 50, 76, 77, 163, 164, 167, 168,
174, 1 7 5 1
- a c y c l i c , t o t a l l y c y c l i c , and c o h e r e n t o r i e n t a t i o n s of graphs
and o r i e n t e d m a t r o i d s [16, 44, 50, 61, 76, 77, 87, 89, 90, 134,
- packing and coding theory 136, 65, 75, 107, 153, 154, 1551
- intersection numbers f o r s u b s e t s of p o i n t s i n a f i n i t e
- covering [lo41
- t o p o l o g i c a l d i s s e c t i o n s 1164, 1651
matroids of c r i t i c a l exponent a t l e a s t k.
i n p r e d i c t a b l e ways,while f o r o t h e r s (such a s t h e f r e e e r e c t i o n ) ,
of t h e s e c l a s s e s - near-designswhich simultaneously g e n e r a l i z e
i n e q u a l i t i e s (such a s l o g concavity) s a t i s f i e d by t h e e v a l u a t i o n s
1421 o r 1601).
o p p o r t u n i t y f o r a l l of us a t t h e conference t o s h a r e i d e a s i n t h e
b e a u t i f u l surroundings of Varenna.
I n t h i s s e c t i o n , we i l l u s t r a t e t h e idea of a "Tutte-
K p o i n t s by showing a r e l a t i o n s h i p between r e l e v a n t p r o p e r t i e s of
G on t h e one hand and t h e p a i r (G-p, G/p) on t h e o t h e r . I n the
of d e l e t i o n and c o n t r a c t i o n f o r v a r i o u s s p e c i a l c l a s s e s of matroids
(graphic, r e p r e s e n t a b l e , e t c . ) .
multiple points).
2. I n a binary v e c t o r r e p r e s e n t a t i o n f o r M, there
cardinality).
5. M* has a p a r t i t i o n i n t o c i r c u i t s .
8. G(M) is two-colorable.
connected graph:
(1-2, 5-6, 3-4, etc.), and all have appeared in the litera-
ture. Our proof'will be different than the ones usually presented
1 if M satisfies Pi
xi(M) =
0 if M does not.
Then each xi is an invariant and we will show that each obeys
arguments.
of
-
M-p which misses M-p, then H' u q i s a hyperplane of
PG(n-1,2) which misses M, where q i s t h e t h i r d p o i n t on some
of l e n g t h K and dimension n a s s o c i a t e d w i t h a m a t r o i d M
r e p r e s e n t e d by a m a t r i x N i s p r e c i s e l y t h e v e c t o r subspace of
w-N
- i s z e r o i n t h a t column f o r any, y. F u r t h e r , a n isthmus i s
r e p r e s e n t e d by t h e m a t r i x 111 and f o r t h i s r e p r e s e n t a t i o n , t h e s c a l a r
vector w= 1 g i v e s t h e d e s i r e d conclusion.
row-equivalent r e p r e s e n t a t i o n s of M, s i n c e i f P is a nonsingular
w-N
- = f&.P
-1).(P-N). NOW assume t h a t p E M i s n o t a l o o p and
( a p p l y i n g a p p r o p r i a t e row o p e r a t i o n s i f n e c e s s a r y ) i s r e p r e s e n t e d
\
by t h e ( f i r s t ) column v e c t o r of N. The m a t r i x N i s t h e n of
t h e f o l l o w i n g form: J
Using t h e s e r e p r e s e n t a t i o n s , i t i s obvious t h a t , i f p is an
If p i s n o t an isthmus, t h e n some e n t r y of
v
- i s 1. L e t w be a v e c t o r such t h a t y
[a] = 1.
-
Then TN = 1
n u l l i t y a t most two,so i s g r a p h i c w i t h g r a p h i c a l r e p r e s e n t a t i o n a
t h e c i r c u i t e l i m i n a t i o n axiom f o r b i n a r y matroids t h a t a l l c i r c u i t s
B1.
* *
x3(M ) = 0 if M
* is a loop
B2.
* x3(M*) = 1 if M* is an isthmus
of M
*
*
B4. x,(M*) = x3(M*-p) - x3(~*/p) if p is neither a
loop nor an isthmus.
[1 if M has a p a r t i t i o n into c i r c u i t s
CI, otherwise.
If M h a s a loop p, clearly
*
x;(M) = x5(M-p). x;(p) = x;(M-p). If M contains an isthmus,
N and
w e n rows (i.e.
,I:[
property of every row being even).
and x ~ ( M=
M/p
) x;(M-p)
If
= x:(M/~) = 0.
A has an odd row, s o do
has a p a r t i t i o n i n t o c i r c u i t s ) , then
If A has a l l
N has
( g r a p h i c a l l y , a n edge j o i n i n g a v e r t e x t o i t s e l f ) , i t c a n n o t b e
xA(G) = A ( A - ~ ) each
~, edge b e i n g a n isthmus. Further, t h e matroid
of G i s t h e d i r e c t sum of n i s t h m u s e s , and, c o n v e r s e l y , a d i r e c t
sum of n isthmuses i s represented by any t r e e of n edges. Thus,
x ~ ( ~' xP~ )( P )
for trees - A = (1-1)" = - A
A
To prove -. B4, we must
X;(GP) = 1.
Proof of P
10'
When xi is viewed as a (generalized) Tutte-Grothendieck
similar recursion.
3. The T u t t e Polynomial.
n e i t h e r , i t i s c a l l e d a nonfactor.
polynomial o p e r a t i o n s t a k e p l a c e i n R.
We w i l l s e e i n t h e f i r s t proof t h a t t h i s i s s o because an a b s t r a c t
"decomposition" of M a l o n g t h e l i n e s of T1 and T2 i s indepen-
d e n t o f how we o r d e r t h e p o i n t s o f M.
r e c u r s i v e l y d e f i n e d by T'l-T'3 below:
T13. to(isthmus) = x, t o ( l o o p ) = y.
have t h a t
p a r a l l e l , then, e , g . , ( M - P ~ - ~ ) /=
P ~( M / P ~ ) - P ~ - ~
and
. again
and we n o t e t h a t i f i s n o t t h e l a s t point i n t h e o r d e r , we
pk
can s t i l l transpose i t with pk-l. (We apply TI' and T2' to
Second Proof. We d e f i n e t h e f u n c t i o n
isthmus of M. Then,
factsit is the latter case which shows why we only use the identity
nullity polynomioZ by
S(M;u,v) = 1 ucor(A)vnu1(A)
AZS
Proposition 3.3.
1. S(M;u,v) = t(M;u+l,v+l) .
2. t(M;O,O) = 0.
J represents deletion,
p E M.
a l g e b r a with loops).
by i n d u c t i o n on t h e s i z e of M, t h a t f must, i n a d d i t i o n , s a t i s f y
of 0.I)we o b t a i n :
the inductive proof above. The proof rests on the fact that deletions
M1@(MZ-p) = (M1M2) - p. Now assume lM2I = K+1, and that T2' holds
more p r o p e r t i e s of t h e T u t t e polynomia1,but f i r s t we d i s c u s s t h e
n a t u r e of a Tutte-Grothendieck i n v a r i a n t .
diagram below
t h e empty matroid.)
In this categorical context, Theorem 3.5 states that the ideal
from the rest,all are related in a fairly natural way to the Tutte
Definition 3.8
t(M1) = t(M2).
p E M.
(3.8.2).
elements of the form i(~)-i(M-p)-i(M/p). Then G/S = FAG[. ..,x iyj ,...],
the integer polynomial ring Z[x,y] viewed as a free abelian group.
The Tutte polynomial t : M -+ G/S serves as a universal T-G
G / S = FAG I . ..,xiyj,...]
cients ib 1 in t(M):
ij
p i c t u r e d placed
1 if G = M'
XM1 (G> =
0 otherwise.
Then:
1. I3 11'
2' I3 g 12'
3. I1 n I2.t
2 1
0'
4. (I1 n 12) - IO contains, for example, the cardinality
placing p on t h e i n t e r s e c t i o n of t h e nine-point l i n e s s i n c e t h e
M/p - M'/q .
Note that since both El and E2 are symmetric and reflexive, we
El and E2.
I i n v a r i a n t which i s n o t an I - i n v a r i a n t .
2- 1
Conversely, we w i l l show t h a t i f , f o r a l l M and M', t(M) = t ( ~ ' ) implies
E x e r c i s e s 3.14 1. We i l l u s t r a t e a c h a i n of E2-equivalences f o r
and (3.8.5). We show that, in fact, they are a special case of T-G
f (2)
M has a loop
o t h e w i s a where 2 is t h e canonical
(points identified).
with loops, and such t h a t g(M) = g(M') when M and M' have t h e
f on geometries such t h a t
-f = g.
if M c o n t a i n s a loop.
Proof.
-- We f i r s t show t h a t f o r a T-G invariant I , f (M) = 0
But * -
= M"-q, and M"/q = M. Thus, ?(M) = 0. For k loops,
u s i n g t h e above argument.
= 7( M - ~ )+ ? ( M / ~ ) .
Conversely, i f ? satisfies T1 and i s z e r o on l o o p s , d e f i n e f from 7
by (3.15'). Then,for.any geometry G and n o n f a c t o r p, we have
Thus, f satisfies TIG and (3.15.1) i s equivalent t o (3.15.2), in
t h e group case.
?(G) = 1 biOxi
i
- t(G;x,O)
g(G) = t(G;g(I).O)
0 if M contains a loop
otherwise
i=O
where v(0.x) i s t h e M6bius f u n c t i o n i n L(M) of t h e i n t e r v a l
= 1 u'XIhCOr(y)~(x,y) .
x,yaL(M) :
xsy
i s t h e geometric l a t t i c e of t h e c o n t r a c t i o n MIX.
of rank n:
and have thus far neglected invariants which satisfy Tl', the
b of R.
Then,
b i s t h e c o e f f i c i e n t of xiy' in t(M)).
ij
;*
2. If f, i n additioqsatisfies T2 (here R=P), t h e n
3. If f i s a geometric r i n g i n v a r i a n t which s a t i s f i e s
TIVG. f (G) = f (G-p) + bf (G/p), t h e n
f ( G ) = b r ( G ) . t ( ~ ; v , 0).
~ , = by riy j
t(H-p) = ~ b ; ~ xand~ ~f (Mfp)
15
. Then:
2. If f obeys T2, then f (Bij) = (f (~))~(f (L))', so that
(3.15),
-f is a matroid invariant which obeys T1' with a = 1.
The rest of the proof imitates (3.15).
and show how they affect the Tutte polynomial. Of course, the
dent sets are the independent sets of M along with subsets consist-
p, M u p , is defined by M x p = (M*+~)*.
free position.
- t(E(M)) cannot be c a l c u l a t e d from t(M), where E(M) i s the
P r o p o s i t i o n 4.4
=landb. = O f o r a l l i > n
t(M1) = t ( ~ ) /where
~ ~
brim lj
and a l l j.
5. Although
-t(M)- c a n b e c a l c u l a t e d from t(M) (and, i n
- -7
They have t h e same T u t t e polynomial and T(M'*) = t(M ) = x(x+l)(x+2).
- -
However, t h e r e a d e r may r e a d i l y check t h a t t(~'*) * t(M*).
p a i r s w i t h i d e n t i c a l T u t t e polynomials. D e l e t i n g and c o n t r a c t i n g p
of M v M t o show t h a t
max ( i + j ) = max (IAI - r(A) + r(M) - r(A))
aij'O S
A'
proofs i s t h a t , t o g e t h e r , t h e y g i v e a d e l e t i o n - c o n t r a c t i o n proof t h a t
i n turn.
with qcBnB'.
q E B1-B.
were introduced.
(M-q) (M'-q') (;l q, whose closed sets are all sets of the form
while A' and B' u Iq') are closed in M'. We may then define the
* * *
series connection dually: S(Mq,Mi,)
9 9
= (P(M .M',))
A related .
operation is the two-sum of Seymour [125]. For our purposes, ve m y
i p ( ~) ' f p ( ~ ; )
. -
I n p a r t i c u l a r , t(P(M M',)
ip(~(~q,M;l)) =x*<f*f1)(x,O)=
q' q
i s independent o f t h e c h o i c e of p o i n t s q and q ' , and we have
t h e f o l l o w i n g formulas :
We t h e n have t h e following:
t h i s d e f i n i t i o n i s independent of t h e o r d e r i n g on t h e p o i n t s o f M
and i n c l u d e s a s s p e c i a l c a s e s : r e p l a c i n q a l l t h e p o i n t s of M
Proof.
- Fix M' and l e t f(M) = t(M a M'). We w i l l show t h a t f
9' 9
s a t i s f i e s t h e (weighted) T-G recursions T2 and T1' w i t h a = f'
tP(n:) = x' + (Y
k-2 + yk-3 +
... + y + l ) y l ,
and
multiplicity k. Further,
t ( d k ) ) = (yk-l + ... + y + l ) r ( M ) t ( ~ ; yk-l+.
b l + ..+y+x k
, Y 1.
y ...-by+ 1
t ( ~ ( ~ ) ; l . l )= k r ( M ) t ( ~ ; l , l ) , i t s number of independent s e t s i s
k k
lcrMt(M;~,l), and t h e number of spanning s e t s i s ( 2 - 1 ) r ( M ) t ( ~ ; 1 , 2 ).
~ ( M 1 . i ~by
) (4.8.9) ( o r a p a r a l l e l connection by (4.8.8)). I n any event,
t(M;) S t(Gi) by induction, and formula (4.8.6) gives the desired result.
Two celebrated open problems in graph theory are whether any graph
and the Poincare polynomial along with the formulas of Proposition 3.18
formula for the Tutte polynomial of a matroid from the weighted sum
= [n + (y-1)-
a - a
(x-l)~] t(M;x,~).
ay
= [K-n + (x-1)-
a
ax
- (y-l)~]
a t(M;x,y).
4. SKC (M;z,u) = 11 SKC(M/p)]dz + un,
n+l m
where jdz i s t h e (formal)
I zn u nd z = -
z u
i n t e g r a l operator:
n+l
p in A, A - p c o n t r i b u t e s one t o t h e c o e f f i c i e n t of z'-'u' in
duality.
An a l t e r n a t e proof i s based on r e c u r s i o n .
n' + (y-1)-
a - (x-1)-
a
aY ax '
We t h e n have t h e f o l l o w i n g :
K.t(M).
3. -a s (2,~)= -(az
az KC az
n z+u z+l)) = (nzn-' + zn z)ta(T, z+u z+l).
a
-
By the chain rule, -a t Z+U -U
( , z+1) = (T ax + -1 t(x,y),
a where
az z 2 ay
this substitution:
= - )
nodloops loops
.
t(M/p;x,y) + ( ~ - 1 ) ~1 ~(M/P;~,Y)
= .zn-1t ( M / z+u
p ; ~, z+l) + 1 z n t ( ~ / p ; e 9z+l)
nonloops loops
(the term corresponding to the empty set of cardinality zero and corank
n = r(H)).
group. Then:
t (M ;x'.Y'.x,Y) =
P 4'
K-n 1
X'Y) + $x'Y-xY')
a
(1-XI- ax
Examples 5.3
the same Tutte polynomial. Thus, t(M) cannot, in general, determine whether
2. Assume M(S) and M'(Sf) are two matroids such that, for some ordering
point,since only in that case can we not determine from the set {t(~/p)?
nonisomorphic matroids M (of the same rank) such that MI-pi = M2-pi
and M
1 2
for all i (see, e.g., 1371). 'IJe exhibit the smallest pair
1268, 3456,and 3478; while those of M2 are 1234, 1237, 1268, 3456,
The respective duals of these matroids are minimum examples of non-
any point p,
- -
G/p = G'/p = L4, a four-point line. However, G has
h y p e r p l a n e ) which s a t i s f i e s t h e e q u a t i o n :
P r o p o s i t i o n 5.5
SKC(M;z,u) = ( z + l )
k :kcn
[tun-'-1) - 1 k k
n ( F k,M)SK(F
a
a EA
( o r , e q u i v a l e n t l y , i n any hyperplane).
a l l parameters, t h e number of a l l s e t s i n M of f i x e d c a r d i n a l i t y
deduced from t(M). This was seen i n Example 3.11 where f o r two matroids
M and M', with t h e same T u t t e polynomial, M had 5
three-point planes,while M' had 6 such three-point planes. I n
Example
- 5.6 Let M1 and M2 be t h e matroids of (4.5.2), let
*
Pi' and M
* be a s given i n (4.5.11, let L3 be a three-point l i n e ,
polynomial for the double point "shadows" those for the two-point lines.
What can be determined from the number of certain closed sets is the
i,j:aij>O, and
= 0
airj*
for it>i,j'>j
where c and c
a r e consecutive corners. Some elementary remarks
iji'j '
about t h e border polynomials a r e contained i n t h e following proposition.
larger nullity).
Xi'j '
+ bill y ,where either i l < io r j l < j. Thus,
i',jl
nntroidwhich i s n o t f r e e .
nullity j' with i' > i ( k ) and j' > j 2 j(k). This c o n t r a d i c t s
by s i m i l a r i d e n t i t i e s .
P r o p o s i t i o n 5.10 Let
*
FB(M ) = Ih *
f it(k), j * ( k ) ~ i t J be t h e closed-
k=O
(i*(k>,j*(k)) = O (K-k),i(K-k)).
W e have a l r e a d y s e e n t h a t i f s(H*) = 7 a;) ui v j , then
i,j
* ( s e e (3.3.7)).By (5.9.2),
a i j = 'ji
Thus,
Here a - a i , j - k ) j j k [ K-k+jK-k
- j (K-k) ] f i , j by (5.9.1).
l e a s t one o f t h e c o o r d i n a t e s i s e q u a l . )
*
Example 5.11 1. L e t M b e a s i n (4.5.1). It t h e n h a s t h e closed-
s e t polynomial:
2
s3 + 5s + 2s
Thus, F
*
(M) = s
3
+ 5s + 2 2
s t +3st + 2 s t 2 + 4't . Note t h a t the only
B
p o s i t i v e term i n F(M*) - FB(d) is 2s. F M * = F ~ M where
*
However, F(M' )
* - *
FB(M' ) = 3 s .
i j
The b o r d e r polynomial, FB(M) = Zf
-s
ii
t , can t h e n b e c a l c u l a t e d from
*
F(M ) = ... + 3 8 s t + ... * *
F(M4).
3
a s p e c i a l c l a s s o f m a t r o i d s c a l l e d near-designs.
S p e c i a l c a s e s o f near-designs a r e r a n k - t h r e e c o m b i n a t o r i a l g e o m e t r i e s
n-1 + i).
v a r i o u s m u l t i p l i c i t i e s (up t o q) on the p o i n t s .
(*I fn-i,k(i)-i
= f(O,i,n) =
2
i-l K-k (m)
k(i)-k(d '
I: U(X,Y)
x,Y:
r (x)=i
r(y)=j
Edmonds, Murty, and Young which introduced perfect matroid designs ( 1701
of independent points much as was done for atoms in (5.4). (Note that,
Young-Murty-Edmonds formula.)
of the identity:
gives t h e second formula.
X(M) = 1 .
xsy
k ( i ) hn-j
Thus, t h e c o e f f i c i e n t of u is Zu(x,y) over a l l p a i r s x Iy with
We now g e n e r a l i z e t h e s e r e s u l t s t o near-designs.
k(j) = ij
n-l+i
f is the coefficient of u A (when ~ h ~ = +0) ,~ and
, ~
1 9 1
n-1 nonzero terms of s-degree greater than one in FB(M) (see (5.7)), where
then the nonzero coefficients ifij i in F(M) = FB(M) are given by:
4. If the parameters of a near-design M are given a s i n (5.12). then the
where, for a l l i:
t(M;x, y) = ~ a ~ ~ ( x - l ) ~k-nti,
~ ( ~ where
- l )
,
i-1
K-k (m)
i-1
I
m= 0
K-k(m)
I,
i
Proof. 1. The A-polynomial coefficient, p.(A), of u in
- is, by d e f i n i t i o n , a sum of c h a r a c t e r i s t i c polynomials of f l a t s
x(M;u,h)
of l o o p s ( t h e exponent i0 o f t h e u - c o - f f i c i e n t of An in i) plus
il
u p (A) of A-degree n-1, and 1fi1, t h e number of atoms, i s t h e
il
appear on t h e border.
of rank i:
t o obtain:
Hence,
where c i s given
i 'j i 'j
and
The number of p o i n t s , WI, i s given by K = n+bn-l,O, and t h e
n 1
t(M;x,y) = (x-1) Sm (M;x_l, (x-1) (Y-1))
where
S m ~t h e c a r d i n a l i t y - n u l l i t y polynomia1,is given by:
g e n e r a l formulas i n (5.14).
t(G )
1
* t(G2) or Y(G;) i F(G;). What i s the s m a l l e s t such p a i r ?
Research Problems 5.17
1. Find, i f p o s s i b l e , two matroids M1 and M2 which a r e not
for all i.
rank i +1 are larger than the flats of rank i for all i. For
of a m a t r o i d ?
a problem w i l l n o t b e r e s o l v e d u s i n g Tutte-Grothendieck r e c u r s i o n !
R e l a t e d problems i n c l u d e t h e following:
b2,0 = 2b1,0 f 0. Is
m-l
- a prime power? To answer t h i s q u e s t i o n ,
2
*
consider M . From bk,O = 1, bk-l,O = 3 and b10 f 0, i t is not
*
h a r d t o show t h a t M i s connected, h a s rank t h r e e , and h a s c a r d i n a l i t y
n=-
m
2
-1
.
problem.
T u t t e polynomials o f m a t r o i d s of s i z e K.
t h e number o f s u b f a m i l i e s o f FK each c o n t a i n i n g
fl.l
= [%I members, we o b t a i n matroids
e l e m e n t a r y e s t i m a t e s we g e t t h e f i r s t s t a t e m e n t .
To count the number of distinct Tutte polynomials observe that,
{aij)
all of which are nonnegative and which sum to 2
K
. Thus, there are
at most [
2K+~?2K
K2+2K] < zK3 choices for coefficients (and distinct polynomials).
actual number of Tutte polynomials is even smaller. Aside from those subtle
considerations pointed out in (6.1), there are several identities and equalities
inequalities leads into many areas of matroid theory and more general
and the dual of (4.4.3) show how to reduce to the isthmus-free case.
(K+1) x (n+l) matrices {%,n) such that the (i,j)-th entry of %.n is the
polynolial
Proof. 1. These identities are found in [38] where they are shown
to be a basis.
2. One e a s i l y checks t h a t i d e n t i t i e s (a-f) a r e independent s i n c e each
f a c t t h a t t h e l o o p l e s s geometry G h a s no m u l t i p l e p o i n t s . To prove
k z+l
S (M8;z,l) = z t(M';- z+1), so t h a t
KC 9
i+j k-i
+ l K = b i j + 1 z .
i,j
Letting v = z+l, we g e t :
k-i
Kt-k =
v
Considering t h e constant term on t h e r i g h t (m=j), we g e t t h a t whenever
K' > k,
is t o t a l l y s e p a r a b l e , s i n c e then t h e nonzero c o e f f i c i e n t in
bn' ,j
t(M') does n o t appear i n Ik. B u t , i f p i s a n o n f a c t o r , then I M ' I 2 k+2,
l i n e a r i t y , i t holds i n t(M').
M"* with M"/p = M'. Then, t(M') = t(M") - t(M"-p). The two matroids M"
minor f o r a l l ( i ' , j V ) : (0,O) < ( i ' , j ' ) 5 (i,j). we may now apply
the "southwest boundary". Further, bij > 0 if and only if it "lies within
F' are cyclic flats with IF( 5 IFT(, then F 2 F'. These matroids
c i r c u i t s p r e c i s e l y when P'
k
- P'
k-1
i s nonempty ( i . e . , when bk is not
an isthmus i n zk) .
The f o l l o w i n g f a c t s a r e e i t h e r found i n 11141 o r c a n b e e a s i l y
demonstrated by t h e r e a d e r .
K i s d e t e r m i n e d by t h e sequence:
operations:
where pi E
-Bi - BiVl.
- We use the conventions that, for i > 0,
ai+l,...,a n).
e. Free coextension: N(ao, ...,
a ) x p = N(O,ao + Iral, a ). ...,
f. Duality: If a nested matroidl N of rank n and cardinalFty
the sequence
consisting of si points in
-Bi - Bi-l
- (i = 0, ...,n), then r(S1)
fi (s)
- = min(fi-l(s) + si,i). This is easily shown by induction since
and so adds one to the rank of S' (unless rank i is reached). Thus:
Wg 2 W1 w i t h e q u a l i t y i f and o n l y i f G i s a modular p l a n e ( s e e
(5.15.4)).
b e proved i n d u c t i v e l y u s i n g p r o p e r t i e s o f t h e T u t t e decomposition
by r e s e a r c h e r s i n matroid t h e o r y a r e t h o s e o f t h e geometric T u t t e
polynomial
n
n-i
X(G) = 1 W;A = (-~)?E(G;~-X)
i-0
Thus,
n
(6.9.1) IxI(G) = I wih
n-i = -t(G;A+l), so that
i=O
The p r i n c i p a l c o n j e c t u r e i s t h a t t h e sequence
a r e independent.
(6.9.6) wn-i 2 w
i
for a l l i 5 ] . That Wn-i I Vi i s y e t unproved.
K 5 wi and K 5 W
i'
m o d a l i t y and r e l a t e d c o n c e p t s .
sequences a r e c h a r a c t e r i z e d by t h e l o c a l p r o p e r t i e s t h a t f o r a l l i,
"-1
a 0, and A > 0 > 0.
j Aj-l
3. Stronger conditions
which g u a r a n t e e unimodality a r e a l s o amenable t o l o c a l c o n s i d e r a t i o n s .
(9
the sequence (a; = --L ) is log concave. A motivation for this
n+m
= (x+c;). Further, for such truncated polynomials, the
i=l
12
inequality will be strict (ai > a!-la;+l)
unless all c = 1. (See [79].) Qe introduce this concept because it
i
is known to hold for many well-studied sequences of Whitney numbers
and
n-m
(T~(G)) = w,-,(G) - W,-,+~(G) + • - + -
It is easy to see that Whitney numbers of the first kind for
n
(The polynomials are, respectively, (x+lln, (*i), and
n i=l
i ji=O
5. We c o n j e c t u r e t h a t t h e Whitney numbers of t h e f i r s t kind a r e
s t r o n g l y l o g concave.
Thus, we c o n j e c t u r e t h a t
Equivalently,
2 (1[-i-1 n-i+l
K - i ] ( n-i I b i - l b i + l .
(-
bi' -
a r e s t r o n g l y l o g concave, then
so are these numbers for G1 @ G2. This amounts for Whitney numbers,
This latter inequality (*) may not be hard to prove and is interesting
in its own right. It is probably true since it holds when the two
i i
polynomials p(x) = Zaix and q(x) = Ccix have real negative roots.
the degree-one case. We also note that the analogous result for the
1; m]
by Harper (see 1811).
b.
2. 1f = is 1
.0. concave, are the coefficients of
K-1-n
x(G) strongly log concave? In particular, show that the log concavity
show below) which give unimodal or strongly log concave Tutte coefficients
or Whitney numbers.
4. We cover our bets by offering the problem of finding a geometry
p(x) with real negative roots, then (wi) would be the coefficients
- -
(a;) in the sense that, for all i, a. 2 a'
1 i -
dominates t h e sequence
-
Proof. 1. (%Im = 1 a r ( b -b,cl) (where we can assume t h a t (b.)
r=O i s eventually zero)
- -
2. Assume t h a t f o r some r, a < a' and l e t r b e minimal w i t h
r r
t h i s property. Then, a < a:, and, f o r a l l s r r, a
s
5 a'.
S
Thus,
-a -
< a' for a l l s > r which c o n t r a d i c t s t h e h y p o t h e s i s t h a t
s s
and bi+l : bi::b;+l : b;, and applying (6.12.2) yields the result.
We a r e now ready t o prove t h e l o g concavity of (wi) from t h e
(Equivalently, t h e r e is no c o n s t a n t term i n
-t(G).) Therefore,
(6.12.5) wi = w ~ +
+ wi~ , and
c i e n t s of
-t(G) i s l o g concave. Then,the Whitney numbers (wi) and
expansion of t h e right-hand s i d e , we o b t a i n :
Similarly,
Let k be fixed. By t h e l o g concavity of (bi), (bk+jbkmj)
concave.
men, dj = b ; + l - b l = 1 [ i ] a i - 2 ] . ~f G has
iaj+n-2 n- 2 n-2
*
an isthmus, then x(G ) = 0 and t h e r e i s nothing t o prove. So,
Let j be such t h a t A. 1 0
J
- bin a bl).
3
men,
and, f o r a l l i,
i n c r e a s e s i n r a t i o a s l e a s t a s f a s t a s t h e s i n g l e binomial c o e f f i c i e n t
a b
*
; bj a
*
bjW1 ; and, f i n a l l y , t h a t (b*) i s unimodal.
- 1 j j
o r i e n t e d m a t r o i d s ) , have i n t e r e s t i n g i n t e r p r e t a t i o n s . W e then r e l a t e
ing formulas.
B(G) = bl
-- -a t(?1;0,0)
ax = (-1)
n+l d
=x(M;~)
Further,
unless M i s a boolean a l g e b r a ;
r(M) = 1, and
3. These i n v a r i a n t s a r e a l s o r e l a t e d through t h e f o l l o w i n g c o n s t r u c t i o n s .
a. For t r u n c a t i o n :
b ( T " - ~ ( M ) ) = I,(M).
b. For f r e e e x t e n s i o n :
B(M+p) = u(M)
c. For f r e e coextension:
G , ( ~ x p ) = I (M)
a ( ~ x p )= i(M)
~ ( M x p ) = b (M)
d. For d u a l i t y :
B(M*) = B(M)
e. For d i r e c t s u m w i t h a n isthmus:
ji(Mep) = wi(M)
identity).
For example, r e s u l t s of [35] show t h a t I i s a n independent
A s an example of a l a t t i c e - t h e o r e t i c g e n e r a l i z a t i o n of (6.15.3b),
1 u(0,x) = - u M ( o . l ) .
xeL(M) :
xrl
M1 w
' M2'
E s s e n t i a l t o t h e proof of a l l t h e i n e q u a l i t i e s below i s t h a t if
5* *
>w M2, and, f o r any matroid M of rank n and c a r d i n a l i t y K,
we have t h a t T~-"(B ) 5 M 2 B ~ ~ ~ - ~ .
K w w
l i s t some r e l e v a n t r e s u l t s below.
3. wr(M1) zwr(M
2
1, 6r (M l ~ G , ( M ~ )Ir(M1)
, 2 Ir(M2). biO(M1) rbiO(M2),
P E M1-
M2 = P(M1,M")
2 2
with Mi 2w M;, M;' ZW M;', and a t l e a s t one of t h e
*
Case 4. If MI-p i s s e p a r a b l e , then M1/p is separable,
i s t h e c l a s s of excluded minors f o r t h e h e r e d i t a r y c l a s s
H = IM : no minor of M is i n Cl.
Since, when c a l c u l a t i n g T-G group i n v a r i a n t s , we f o r b i d d e l e t i o n
t h e c l a s s of a l l matroids A4 i s p a r t i t i o n e d i n t o parametric f a m i l i e s .
A class C of m a t r o i d s i s a parametric (T-G) eztrernal class
with respect t o t h e parametrization p and a g i v e n T-G group
as a T-G minor.
E' = I L 4 , M(K4)I,
excluded minors E.
minors
i
E'= i E @ B : EEE, i2O).
Proof.
- 1. The reader r e a d i l y checks t h a t any proper geometric
p o i n t of C, we o b t a i n B"' a s a minor of M.
3. This i s proved i n 1241.
(6.18).
g) t o d e f i n e t h e i n v a r i a n t .
t h r e e p r o p e r t i e s below:
1. Whenever M E C, then f (M) = g(p(M)) .
A s a n e q u i v a l e n t c o n d i t i o n , we have,
such t h a t
2. For a l l M E M and n o n f a c t o r s q E M,
of n o n f a c t o r s s i n c e , by h y p o t h e s i s , f and g 0 p b o t h obey t h e
recursion T1 on t h e c l a s s C.
former ( t h e l a t t e r c a s e f o l l o w s s i m i i a r l y ) . Then,
f(M1) = f(M1-q) + f(Mt/q). Either M1/q is i n C o r not. If it
2 ~(P(M)).
p :M + P and a f u n c t i o n g :P + Z. such t h a t
q E M.
q E M such t h a t
and
q E E such t h a t
g(p(E/q) = f ( E / q ) . Hence,
f ( E ) = f (E-q) + f (E/q)
= g(p(E-q)) + g(p(E/q))
> g(p(E)).
Otherwise, E = Ilij d C s o t h a t by o u r d e f i n i t i o n of f,
f(E) = c
is > g(p(E)).
i s maximized on t h e extremal c l a s s . I n t h i s l a t t e r c a s e , a l l i n e q u a l i t i e s a r e
r e v e r s e d , and we w i l l r e f e r t o t h e c o n d i t i o n s by (6.20.2), etc.
We now s t a t e some of t h e c l a s s i c a l T-G i n e q u a l i t i e s i n terms of
cardinality:
e q u a l i t y ( f o r e i t h e r i n v a r i a n t ) on t h e extremal c l a s s BL of d i r e c t
sums of a line and a boolean algebra (see (6.19.1)).
(see (6.19.2)).
if G is connected
p(G) =
if G is separable,
-
Proof. The proofs for all these are routine calculations using (6.19)
and (6.20). We mention below only a few hints and the original
-
1. This first appeared in [68]. For any geometry G, G/q is
calculations:
a(C
4
@ B ~ )= 14-2i > '
~
2
6 = a(L3
Bi+l
1,
i+2
and a(C3 @ C3 @ Bi) = 3 6 ~ >2 8-2i+2
~ = '
(L~ @ B ).
of the above invariants are zero on the class of T-G excluded minors,
[53]. For connected geometries, the fact that B(G) = 1 if and only if
class N of all nested matroids where the parametrization is, for all
P(M) = (n;ao,al,a2,..-,a
-
where a = a +a +...+ar. Further, equality holds precisely on the
i 2 3
class N u L of nested matroids and matroids with loops.
I M ~ = 1, v(M) = 1 = g(1;0,1).
p(L ) = (2;0,l,m-1).
RL
Thus, p(Lm) = m-1 =
):( = g(p(M)).
have s i z e K+1.
which also follows from the fact that if gap obeys the T-G recursion
(6.20.3).
Then f; = f i or f
i
- 1, and e q u a l s fi -1 i f and o n l y i f
-
q e F -q f o r every f l a t F E M w i t h rank i and s i z e fi.
i i
-
Similarly, f o r i < n, f; 2 fi since i f q j Fi, then Fiuq -q
is a f l a t i n M/q of rank i and s i z e a t l e a s t fi, while i f
-
q E Fi, then f o r any p d Fi, F.up - q is a f l a t i n M/q of
rank i and s i z e z f
i'
An upper bound f o r f; is fi+l - 1, and.
Let
A A
or i 2 i and
2m+l'
it by a term-by-term comparison.
N(0,fl,. ..,fi-fi-l,...,K-fn-l).
2. For matroids parameterized as in (6.23),
a(M) S gn + ... + g1
with equality on the extremal class N u L where, for all i,
fixed, then g(n;O,a l,...,an) > g(n;O,bl, ....bn) where, for all i,
.
a + ... + ai < bo + ... + bi with strict inequality for at least
one i. ( T h i s i s a consequence of t h e f a c t t h a t f o r t h e two r e s p e c t i v e
s t r a i g h t f o r w a r d way,noting t h a t i f p i s i n f r e e position, M is
e x t r e n a l c l a s s e s of m a t r o i d s f o r t h e independence number Ir
and t h e Whitney number w
r'
a bound w i l l t h e n b e o b t a i n e d f o r a l l m a t r o i d s of r a n k n, cardinality
..
Nash-Williams. C. St. J.A.. "An Application of matroids to ~- r a. p h
theory," Theory of Graphs International Symposium (Rome),
Dunod (Paris) (1966), 263-265.
107. Oxley, J. G . , "Colouring, packing and t h e c r i t i c a l problem,"
Q u a r t . J. Math. Oxford, ( 2 ) , 2, 11-22.
124. Seymour, P. D., "On Tutte's extension of the four-colour problem "
(preprint, 1979).
135. Szekeres, G. and Wilf, H., "An Inequality for the chromatic
number of a graph," J. Comb. Th. 4 (1968), 1-3.
147. Van Lint, J. H., Coding Theory, Springer Lecture Notes, 201,
(1971).
(c.I.M.E.)
JAMES G. OXLEY
ON 3-CONNECTED MATROIDS AND GRAPHS
James G. Oxley
University of North Carolina, Chapel Hill, USA
and
Australian National University, Canberra, Australia
Introduction
The terminology used here for matroids and graphs will in general fol-
low Welsh [I91 and Bondy and Murty [I] respectively. In particular, if T
M\T and M/T will denote respectively the deletion and contraction of T
from M. The uniform matroid of rank r on a set of k elements will be
For larger values of n, the precise relationship between the graph and
Wm the resulting graph has a vertex of degree two and so is not 3-connected.
share this property with the cycle matroids of wheels is the class of whirls.
all those circuits of M([tlm) other than the rim, together with all sets of
edges formed by adding a single spoke to the set of edges of the rim. In
Figure 1, the wheel [U3 is shown along with a Euclidean representation for
research.
From this theorem one can deduce a recursive construction for all 3-
(ii) non-trivial l i f t s .
The remainder of this paper will concentrate on minimally 3-connected
(6) THEOREM (Halin 14, Satz 7.61). Let G be a minimaZ2y 3-connected graph
MoreoiJer, the following are the only graphs attaining equality i n these
bounds :
Wm-l for 4 (m i6 :
K3,m-3 f o r m z 8 .
In the case oi' arbitrary minimally 3-connected matroids, precisely the
been characterized [9, Theorem 5.2 and Corollary 5.111. However, this re-
sult is rather cumbersome and, instead of stating it, we merely note that if
K3,m-3'
A lower bound on the number of elements in a minimally n-connected
Theorem 9 now prompts the question as to what one can say about the number
connected matroids.
cocircuits meetZng C.
cocridts.
least 1 1 2 1 ~ ~=1 1/2(1~(~) I- rkM) . If one uses the full force of Lemma 10,
then it is not difficult to improve this bound by one and thereby obtain the
theorem. The details may be found in the proof of Proposition 2.20 of [ll].
degree three than in arbitrary minimal cutsets of size three. This leads oneto
ask whether one can strengthen (12) by replacing "minimal cutsets of size
three" by "vertices of degree three." The next theorem answers this ques-
tion.
The proof of this result is similar to the proof of Theorem 11 and uses
instead of Lemma 10 its graph-theoretic analogue (see Halin 15, Satz 51).
I E(G) I , the bound in Theorem 9 is the sharper, while for other values of
I E(G) I, Theorem 13 gives the sharper bound. The following result is obtained
by combining the two theorems and for each value of IE(G) I choosing the
better of the two bounds. A small amount of additional argument enables
Halin's bound to be sharpened within the given range. We observe that for
graph. Then
for n 2 4. The proofs of most of the results stated above rely on Tutte's
17, Satz 11 has shown that every circuit in a minimally n-connected graph
meets a vertex of degree n and, from this, using the proof method of
Theorem 11, one can deduce a new lower bound on the number of vertices of
The links between graph theory and matroid theory have always been
close (see, for example, 120, 61). The results above show that in the study
tions to obtain not only new matroid results but also new graph results.
References
13. J. G. Oxley, On some extremal connectivity results for graphs and matroids
(submitted).
19. D.J.A. Welsh, Matroid Theory (London Math. Soc. Monographs No. 8,
Academic Press, London, 1976).
RHODES P E E L E
THE POSET OF SUBPARTITIONS AND CAYLEY'S FORMULA
Rhodes Peele
Pembroke S t a t e U n i v e r s i t y
Pembroke NC 28372 USA
I. Introduction.
on n v e r t i c e s i s nn-'."
c m b i n a t o r i a l o b j e c t t h a t probably has o t h e r a p p l i c a t i o n s .
11. The Poset of Subpartitions. Define a poset P as follows :
n
a i s an element of P i f f a i s a subset of some (possibly improper)
n
subset of (1,2, ... , nl = n.
Further notation :
n - lU(a)l
m. I f a i s a nonempty s u b p a r t i t i o n o f 5, then h ( a ) = t ( a ) n
t h e blocks o f U(a).
assigned a r b i t r a r y values. 3
n o t be needed. )
n-2
Theorem (cayley). L e t n > 1. Then !Tree(n) 1 = n .
Proof. For a l l a c P we have
n
and so by M6bius i n v e r s i o n ,
Taking a = v we get
i s kept i n mind :
REFERENCES
Hasse Diagram o f [ v , ~ ) f o r P
4
CEKTRO INTEIZKAZIONALE MATEMATICO E S T I V O
(c.I.M.E.
ANDRAS RECSKI
ENGINEERING APPLICATIONS OF MATROIDC - A SURVEY
ANDRAS RECSKI
RESEARCH INSTITUTE FOR TELECOMMUNICATION,
1026 EUDAPEST, HUNGARY
INTRODUCTION
T h e a i m o f t h e p r e s e n t 2 3 n t r i b u t i o n i s t w o f o l d . F i r s t , we
s k e t c h some e n g i n e e r i n g p r o b l e m s w h e r e m a t r o i d s c a n b e a p p l i e d
t o otkain nontrivial resiilts. Next, one a p p l i c a t i o n i n e l e c t r i c
n e t w o r k t h e o r y I s a e s c r i b e d i n some d e t a i l s . E f f o r t was made t o
g i v e a more o r l e s s c o m p l e t e l i s t of r e f e r e n c e s . The p a p e r i s
intended f o r mathematicians - no p r e v i o u s k n o w l e d g e i n e n g i n e e r
ing is required.
,,"
of vertices, edges and faces (and the incidence relations among
them) is solved, still uncertainities, caused by "wrong" or "mis-
understandable" drawings can arise. For example, if the second
drawing of Fig. 2 is 0 P fig.2 I
'1'.
the input, the corn- 1 1
I 8'
8 ','
puter should prob- I
t
\ ,' ,'t\
t '
ably "ask" the user
whether the "non-
existence of the
point P" was inten-
tional. Again, two types of questions can be quite natural:
Question a Is the given input understandable for the com-
puter?
Question 2 If not, determine the minimal number of further
questions to be answered (and give such a system of questions).
3 , Consider the fundamental problem of network analysis. Details
will be given in Chapter 111, so only the questions are formulat-
ed now:
Question 2 Is the given network uniquely solvable?
Question 2 If yes, determine the "degree of freedom" or
"complexity" of the network (and give a system of as many inde-
pendent state variables).
V, STRONGER NECESSARY C O N D I T I O N
Let the network graph contain k edges and let uV and iv de-
note the voltage and current of the vth edge, respectively. If we
formally generate all the network equations, the system to be
solved is Nx=3 where x=(u,,u2 ,...,uk,il,i2 ,...
,ik)*. N can be de-
I: [
written as [ N ' I N ~ ~ Nxo
~ ] =O. Hence the network is uniquely solv-
ACKNOWLEDGEMENTS :
The author's contributions to these topics could not be ob-
tained without the highly stimulating discussions in the last ten
years with many friends and colleagues, most notably with A. Csur-
gay, A. Frank, M. Iri, L. Lov6sz, T. Roska and V. T. Sbs.
REFERENCES
Items [l] -1661 were explicitly mentioned in the present pa-
per. The further 76 items are other papers, related to the appli-
cations of matroids to network theory. Special thanks are due to
Mr. Masataka Nakamura, University of Tokyo, who has compiled most
of them. Further papers, related to the rigidity problems, can be
found among the references of [58,65,66]. A substantial part of
the research of Japanese sci~olarsis devoted to a structural the-
o q of systems, which may be formulated in matroidal terms and
solved by a technique usually called "principal partition". See
[26] for a review of these activities.
D.J.A. WELSH
M e r t o n C o l l e g e , U n i v e r s i t y of O x f o r d
L e c t u r e s given a t t h e C e n t r o Internazionale M a t e m a t i c o
-
E s t i v o , V i l l a M o n a s t e r o , V a r e n n a , f r o m A u g u s t 24 September
2 , 1980
Matroids and Combinatorial Optimisation
1. Computational Complexity
1. Introduction
2. Low l e v e l complexity
3. The c l a s s NP
4. NP-complete problems
5. Some examples
6. P-space
2. Matroid Theory
1. Definitions
2. Classes of matroids
3. s p e c i a l matroids
4. Excluded minor theorems
5. Matroid polyhedra
1. The p a r i t y problem
2. 2-polymatroids
3. The ~ a l l a i - ~ o v s si zd e n t i t y
4. ii minimax theorem f o r l i n e a r 2-polymatroids
5. On a polynomial algorithm f o r t h e 2-parity problem
6. Pinning p l a n a r s t r u c t u r e s
1. The concept of an o r a c l e
2. Examples a n d f u r t h e r r e s u l t s
3. The 2-parity problem i s exponential
8. Flows i n Matroids
1. The max flow min c u t theorem
2. Mu1ticommodity flows
3. Multicommodity flows i n matroids
4. Summary o f r e s u l t s
1. Computational Complexity
91. Introduction
unresolved.
this!)
d i f f i c u l t t o show t h a t i n o r d e r t o decide t h e s i z e o f t h e l a r g e s t c i r c u i t
Welsh C761, and Borodin and Munro C751.1 We w i l l be more concerned with
83. The c l a s s NP
and a t y p i c a l i n s t a n c e i s a s p e c i f i c i n t e g e r .
A s f a r a s t h e s e l e c t u r e s a r e c o n c e r n e d , s i n c e we a r e only concerned
i n p r e c i s i o n i n making t h i s o u r s t a n d a r d i n t e r p r e t a t i o n o f s i z e when d e a l i n g
w i t h graph problems.
c a r e h a s t o be e x e r c i s e d , ( p a r t i c u l a r l y i n problems involving l a r g e
i s a d e c i s i o n problem i.e. a p a r t i t i o n of Z * ( t h e s e t of a l l f i n i t e
sequences from E ) i n t o two s e t s L and E*\L corresponding t o t h e o u t p u t
ACCEPT o r NON ACCEPT, then we nay L belongs t o t h e c l a s s P is there e x i s t s
i l l u s t r a t e d by example.
Example.
-- Let I* be the c o l l e c t i o n of inputs corresponding t o a l l graphs,
C*\L i s i n NP.
5 4. NP-complete problems
I n t h i s case.we w r i t e L
1 a L2-
A language L i s c a l l e d NP-complete i f :
( 3 ) LENP.
i n complexity theory:
r e f e r r e d t o a s SATISFIABILITY. We d e s c r i b e it a s follows.
assignment o f t h e values ' t r u e ' and ' f a l s e ' t o the variables. The a s s o c i a t e d
satisfiable.
language.
problems.
( :) GRAPH COLOURAEILITY
b i p a r t i t e and c l e a r l y belongs t o P.
(2) CLIQUE
LINEAR PROGRAMMING i s i n P.
(4) TOTAL UNIMODULARITY
t h e most i n t r i g u i n g is:
16. P-space
We c l o s e t h i s b r i e f i n t r o d u c t i o n t o t h e t h e o r y o f P and NP by
still solvable.
i s defined a s follows:
QBF
INSTANCE: A well formed quantified Boolean formula
QUESTION: Is F true?
of these examples have been of the following type involving games on graphs:-
VERTEX HEX
51. Definitions
v e c t o r space i s minimal.
ti a s a s u b c o n t r a c t i o n i f we can o b t a i n H from G by an a p p r o p r i a t e
o f G. A cccycle i s a minimal c u t s e t .
A b r i d g e o r isthmus i s a c u t s e t of s i z e 1. We u s u a l l y w r i t e
A matroid i s a p a i r c o n s i s t i n g of a f i n i t e s e t S and a c o l l e c t i o n
following axioms:
(11) $ E 3 ;
it i s a maximal independent s u b s e t o f S.
A s u b s e t F of S i s a f l a t o r a c l o s e d s e t o r a subspace i f f o r
x o f S a loop of M on S i f r ( { x l ) = 0 and a s e t C i s a c i r c u i t i f it i s
D u a l i t y and Minors
t a k i n g minors.
(M*) * = M*.
vector space
matroid o p e r a t i o n s .
I n t h i s s e c t i o n we b r i e f l y d e s c r i b e some d i f f e r e n t c l a s s o f matroids
Represen t a b l e matroids
Figure 1
Graphic matroids
t h i s way i s c a l l e d graphic.
Cographic Matroids
Transversal Matroids
collection A i s c a l l e d a t r a n s v e r s a l matroid.
A collection 8 o f s u b s e t s of S i s t h e s e t o f hyperplanes of a
matroid on S i f :
(if 111 2 2 ;
s e t s Ai;
A S t e i n e r system S ( d , k , n) i s a c o l l e c t i o n o f k-subsets c a l l e d
block.
I t i s easy t o s e e t h a t t h e blocks of any S(d, k , n) form the
denote t h i s matroid by U
k,n'
A uniform matroid o f p a r t i c u l a r importance i s t h e matroid U
2,4
often called the 4 point line. I t i s t h e s m a l l e s t matroid which i s n o t
'2,4.
The s m a l l e s t b i n a r y matroid which is n o t r e p r e s e n t a b l e over t h e
M(G) o r M(G*) .
I n p a r t i c u l a r K5 w i l l be used t o denote the graph K5 and i t s
isomorphic to S5.
By p o s t u l a t i n g a u 6 e t c . t o be members o f 8 we a r e demanding t h a t
Reid [ 7 0 3 , Bixby [79] and notably Seymour [771, [793, r80! and r811 .
We summarise t h e s e r e s u l t s below.
M E EX(F~,F;).
p a r t i c u l a r l y i n l e c t u r e s 6 , 7 and 8.
f o r a l l A,B c_ S;
(1) r(+) = 0
values we have j u s t a p o l y m a t r o ~ d .
P i n R; by t h e 2n + n i n e q u a l i t i e s (n = IS 1) o f t h e form:
An a l t e r n a t i v e d e f i n i t i o n o f a polymatroid i s a s follows.
of Edmonds C701.
Theorem 1. I f P i s t h e independence polytope o f an i n t e g e r polymatroid
a l l t h e v e r t i c e s of P a r e i n t e g e r valued.
t h e o n l y s o l u t i o n v must be i n t e g r a l .
(i) $ s 3
(ii) A E ~ B ,E A J BE^ -
Define problem n ( 3,w) t o b e t h e problem o f f i n d i n g a member o f a
o f maximum weight.
by t h e following procedure:
I t is n o t d i f f i c u l t t o prove
-
Proof. Straightforward s e e Welsh [76, Chapter 192.
n o t be d i s j o i n t .
X = X
1
u...
(1) r ( A ) = min ( r l X + .
XCA
.+rkX + IA\xI) -
T h i s c o n s t r u c t i o n i n matroid theory has many a p p l i c a t i o n s , s e e f o r example
t h e a r t i c l e by A. Recski i n t h i s volume.
i n t e r s e c t i o n algorithm.
for a l l AES,
rl (A) + r2(S\A) 2 k.
c o l o u r i n g v e r t i c e s t h e p l a y e r s a l t e r n a t e l y colour edges o f G.
p o s s i b l e s t r a t e g i e s of t h e o t h e r p l a y e r . Mutually e x c l u s i v e p o s s i b i l i t i e s
Figure 1
V(T1) = V ( T 2 ) E V ( G ) such t h a t { u , v ) c V ( T i ) .
S i m i l a r 'derived' theorems c h a r a c t e r i s e c u t and n e u t r a l graphs.
polynomial time.
A of S w i t h
Then M. on T = S \ ( X
1
u X ) h a s rank function ri,
2
for U 5 T, given by
r (U) = r ( U
1
U X2) - r (XZ)
r (U) = r ( U u X1)
2
- r (X1) .
Using ( 2 ) , M1, M 2 have a common independent s e t o f s i z e t i f and o n l y i f
f o r a l l UET,
Algorithm
chosen s o t h a t
e. E X . Such a s e t i s c a l l e d an independent p a r i t y s e t .
Proof.
- L e t Mi, 15 i < k , be matroids on S . Take S1, ...,Sk t o be d i s j o i n t
1
a given block i s {ei,. - , ek. 1 where e 3 i s t h e copy o f e .
i
E S i n the s e t S
j'
I t i s e a s y t o see t h a t t h e r e i s a 1-1 correspondence between k - p a r i t y s e t s
However f o r k = 2 t h e s i t u a t i o n i s d i f f e r e n t .
I t i s n o t d i f f i c u l t t o prove:
u : 2
s + R+ satisfies
(1) u(+) = 0,
t a k i n g only i n t e g e r v a l u e s and t o s a t i s f y t h e c o n s t r a i n t
44) u ({XI) = 2 f o r a l l x c S.
F i r s t some examples :
(E,u) i s a 2-polymatroid.
A s e t Xc_ S i s a matching i n t h e 2-polymatroid (S,u) i f
t h e r e i s no ambiguity by v ( S ) .
l a r g e s t independent s e t i n t h e polymatroid'.
i n both M1 and M
2-
d i s j o i n t edges, o f t e n denoted by a ( G ) .
following p r o p o s i t i o n .
Proof.
- We assume M i s simple on S = S u S where
1 2
p a r i t y s e t o f s i z e 2k i n M. 0
5 3. The ~ a l l a i - ~ o v a ) sIzd e n t i t y
a l l t h e v e r t i c e s o f G by
o f Lovasz CEO].
5 :' 2 + Z i s defined by
then ( S , U ) i s a matroid.
A
Proof.
- ~ ~ ( =
$ 0.
1
Let X = T \ A , so that
t h a t X i s a b a s i s o f t h e matroid ( S , p A ) . Then
2-polymatroid.
54. A min-max theorem f o r l i n e a r 2-polymatroids
on S by d e f i n i n g
a l l l i n e s i n P we have a l i n e a r 2-polymktroid.
p r o j e c t i v e space P. Then
sketch t h e main i d e a .
value o f
A s p a r t of t h i s we s t a t e without proof:
L e t A; be t h e subspace of P spanned by 3; ,$ \ 3 O.
L e t A' be the subspace s p a n n e d by
2
T2\ 30a n d i n g e n e r a l let
a n d m o r e generally
spaces A! n A , 0 5 i 5 k. Thus
But
a n d u s i n g integrality.
which proves one h a l f o f t h e i d e n t i t y .
~ u pt e span ( f - l ( T 1 ) ) .
rank 2 v ( F ) - 1.
Hence ~ ( 35 v~( J )) - 1.
f l a t s i n P.
For c l e a r l y t h e r i g h t hand s i d e of (*I i s i n c r e a s e d by 1 i f we
t o i l l u s t r a t e the d i f f i c u l t y .
which Case 1 a p p l i e s .
where r ( A ) = 2V.
i
+ 1, 1 5 i 5 k.
either
p r o j e c t i v e space.
c e r t a i n l y formidable problem.
56. Pinning p l a n a r s t r u c t u r e s
a r i s i n g i n t h e theory o f r i g i d s t r u c t u r e s .
and
V(X) = 0 i f x ispinned.
A structure is rigid i f i t s o n l y i n f i n i t e s i m a l motion i s v(x) = O v
x E V(G) .
Deciding whether o r n o t a s t r u c t u r e i s r i g i d i s a s t r a i g h t f o r w a r d
G rigid.
F i r s t n o t e , t h a t although we r e p r e s e n t w a s a f u n c t i o n only of G,
i n r e a l i t y it i s a f u n c t i o n a l s o of i t s r e p r e s e n t a t i o n i n t h e plane. An
0
Example. G
by e x a c t l y 2. Using t h i s b a s i c i d e a i t i s n o t d i f f i c u l t t o s e e ( f o r
i n a 2-polymatroid.
But by t h e ~ o v s s z - ~ a l l ai di e n t i t y t h i s i s e q u i v a l e n t t o f i n d i n g
2-parity algorithm.
i f NP = P.
5. Oracle Bounds on Algorithms
on a n n-set w i l l be 0(2") .
Accordingly t h e complexity o f matroid computations i s o f t e n
YES if A E d(~)
I(A) =
NO if not.
circuit.
and
loop. Then
C (LOOP ) = C (LOOP ) = n,
i n e n
whereas f o r n > 1,
$ -oracle.
t h e exception r a t h e r than t h e r u l e .
following theorem.
(n-3/2) logn
ah) S e
lim ID^(^) l / ~ ( n )= 0
n-
-
Proof. See Robinson and Welsh r 8 0 ? .
e x p o n e n t i a l with r e s p e c t t o any b i n a r y o r a c l e .
s m a l l e s t c i r c u i t i n t h e matroid MIT.
respect t o 8 b u t polynomial w i t h r e s p e c t t o
f . I n o t h e r words t h e
i n r e a l i t y a hopeless q u e s t s i n c e i n p r a c t i c e i n o r d e r t o s e t up t h i s
i n t e r e s t t o t h e work o f Chapter 4.
Proposition. With r e s p e c t t o t h e rank o r a c l e t h e 2-parity problem i s
exponential.
v(S,!.ll) = t + l .
we have
(,,Yl) > ( 2 - ~ ) ~
f o r s u f f i c i e n t l y l a r g e n and t h i s prove t h e p r o p o s i t i o n .
r e c e n t papers o f Robinson and Welsh [SO], Jensen and Korte C801 (where very
to u
2r4
to U
2,4'
F7 o r F*
7
.
An easy consequence o f Theorem 2 i s t h a t M i s r e g u l a r i f and only i f it i s
This l a s t r e s u l t i s e s p e c i a l l y s i g n i f i c a n t i n view of t h e r e c e n t
5 2. Splitters
notion o f a k-separation.
i s l-separable.
s p l i t t e r s a r e n o t easy t o f i n d . The e x i s t e n c e o f a s p l i t t e r f o r a c l a s s
u s u a l l y seems to mean a f a i r l y s i g n i f i c a n t s t r u c t u r e c o n s t r a i n t on t h e
class.
-
Proof. Suppose M i s a s p l i t t e r , then t h e r e e x i s t s a l a r g e b i n a r y p r o j e c t i v e
0
space c o n t a i n i n g and t h i s i s n o t 2-separable,contradiction.
(2) The c l a s s o f g r a p h i c matroids has no s p l i t t e r .
space.
t h a t t h e t r u t h o f Hadwiger's c o n j e c t u r e f o r t h e c a s e n = 5 i s e q u i v a l e n t
6 b i u s ladder.
Figure 1
Then
n o r L - t r i v i a l s i n q l e element e x t e n s i o n o f N i n t h e c l a s s 3.
Then we can prove t h e following p r o p o s i t i o n which g i v e s u s a
s t r a i g h t f o r w a r d method o f d e c i d i n g whether o r n o t N i s a s p l i t t e r f o r a
c l a s s o f b ~ n a r ymatroids.
(i) N i s compressed i n 3,
(ii) N* i s compressed i n 3 *,
(iii) N i s n o t isomorphic t o t h e polygon matroid o f t h e wheel W
n
f o r any n 2 3;
t h e n N is a s p l i t t e r f o r 3.
The S Wn i s t h e graph on n + 1 v e r t i c e s , n o f which form t h e
r i m , with t h e remaining v e r t e x ( t h e c e n t r e ) joined t o each o f t h e r i m
vertices.
very important s p l i t t e r .
no minor isomorphic t o F
7-
and ~ \ e
= F* t h e n e i s e i t h e r a loop o f M o r o f M* o r e i s p a r a l l e l to
7
some o t h e r element o f M. But t h i s i s proved by brute' f o r c e checking a l l
p r o p o s i t i o n f a i l s , f o r example i f 8 i s t h e f i n i t e c l a s s o f minors of
splitter for 9.
The whirl mn i s d e f i n e d a s follows. Consider t h e wheel Wn, it
f o r any e€RlO, R
10
\e = K3,3, R /e = K*
10 3,3
.
More important i s the following property
Theorem 2.1. 0
matroids .
Before giving Seymour's r e s u l t we need one l a s t s e t of definitions.
i s a 3-sum o f M1 and M
2 -
I n each case we c a l l M anrl M2 t h e parts of t h e sum.
1
i n t o t h e s e smaller s t r u c t u r e .
Figure 2
(6) I f M i s b i n a r y t h e following a r e e q u i v a l e n t
Ex(F7,F;.R1*) .
T h i s i s r e a l l y t h e crux o f t h e whole proof s i n c e it e s s e n t i a l l y
an m
- x n matrix with e n t r i e s from {0,1,-1) i s t o t a l l y unimodular.
Given a b i n a r y matroid b! t e s t i f it i s 1, 2 o r 3 s e p a r a b l e . If
(b) M i s cographic o r ( c ) F i s R
10 -
P o s s i b i l i t i e s ( a ) and (b) can t h e n be checked by a n a l g o r i t h m o f
l e a s t a s f a r a s Veblen (1912).
A s we s h a l l s e e t h e s p l i t t e r . t h e o r y developed i n t h e l a s t c h a p t e r
more hope.
i n t e g e r t.
t
The converse i s not always t r u e , t h e r e e x i s t 1-blocks over GF(p )
chromatic polynomial P ( M ; X ) d e f i n e d by
i s a w e l l known Tutte-Grothendieck i n v a r i a n t ( s e e t h e L e c t u r e s i n t h i s
i n t e r s e c t i o n i s a f l a t o f t h e type required.
v a r i o u s v e c t o r r e p r e s e n t a t i o n s o f M i n V ( r , a ) i s a t-block. I n o t h e r words
geometrical s t r u c t u r e .
v e c t o r s o f V(3,2) ,
polynomial
chromatic polynomial is
a p p r o p r i a t e values we have
GF(q) .
(6) The Fano matroid F7 i s a 2-block over GF'(2).
n e g a t i v e l n t e g e r n a i v e s t h e number o f p r o p e r c o l o u r i n g s o f t h e v e r t i c e s o f
C uslnq n o r fewer c o l o u r s . A p r o p e r c o l o u r i n g o f G is a c o l o u r i n g o f t h e
f o r which G h a s an n c o l o u r i n g i s g i v e n by
x ( G ) = i n f n:P(M(G ) ; n ) > 0.
n<-~+
non-bipartite graphs.
I n f a c t T u t t e L66aJ proves:
an odd c i r c u i t .
s e e f o r example Ore r 6 7 1.
t h e n t h e s i t u a t i o n changes.
X $(e) - Z ~ ( e =) 0 mod H ,
et6+(v) efR-(v)
i n the literature.
I f t h e r e e x i s t s some H-flow on D we say t h a t D s u p p o r t s an H-flow.
answers.
Proof.
- Straightforward application of contraction-deletion, see the lectures
on K4 i s 3.2.1 = 6 .
h = k.
A s a f i r s t consequence o f Theorem 1 we have t h e following r e s u l t :
Proof. This statement follows from t h e Four Colour Theorem of Appel and
Hence
s i n c e G* i s p l a n a r . 0
I n h i s fundamental paper i n 1954, W.T. T u t t e made two c o n j e c t u r e s .
To see t h a t t h i s c o n j e c t u r e , i f t r u e , i s b e s t p o s s i b l e consider t h e
t h e s m a l l e s t graph with t h i s p r o p e r t y .
3-edge colourable .
Using t h i s , a second c o n j e c t u r e of T u t t e 1693 can be formulated a s :
t a n g e n t i a l 2-block of rank 7.
F7, K
5
and P*
10 -
Seymour's theory o f s p l i t t e r s i s a major s t e p towards proving t h i s
asserts
contains K a s a subcontraction.
n+l
Dirac C521 showed t h a t i t was t r u e f o r n = 3 and Wagner C641 showed
graph.
has no 4-flow.
i s n o t K5, I f it were
7 o r P ; ~ (we use Kg f o r M*(K5), P;o
F f o r W*(PlO).
b u t n e i t h e r g r a p h i c nor cographic.
r e a d e r w i l l q u i c k l y r e a l i s e t h a t t h e 3-dimensional Desargues c o n f i g u r a t i o n
i s a s a matroid i d e n t i c a l w i t h M ( K )
5
.
The motivation f o r t h i s c o n j e c t u r e i s a r e c e n t paper by Walton and
t h a t x ( M ) < t.
8. Flows i n Matroids
P
(1) X ai j u j C c (lSiSn),
j =1
and u= (ul,-.-,u
P
) i s a maximum e-flow i f it maximises E u. s u b j e c t t o
c a p a c i t y , C(C*), by
equal t o t h e min c a p a c i t y of e .
t h e min c a p a c i t y o f e .
by proving:
t o F;.
-
The o r i g i n a l proof o f t h i s was very involved, we now show how t h e
straightforward.
e satisfies
c o n t a i n i n g any o t h e r element p E S.
we know M cannot be r e g u l a r . Hence M > F7 o r F;. But M )' F;, s o M > F7.
f a i r l y s t r a i g h t f o r w a r d arguments show t h a t i f p a r t s o f a 1 o r 2 s e p a r a t i o n
completes t h e proof. 0
Note.
- I t i s i n t e r e s t i n g t h a t t h e above proof u s e s s p l i t t e r s together
belong t o
30; it i s easy t o prove t h a t cographic matroids belong t o %;
it i s r o u t i n e t o check t h a t R E FO. Hence i f we could prove t h a t
distinct vertices, (u v )
1' 1
, (15 i 5 k ) , where u i s a source o f commodity
i
i d e s t i n e d f o r t h e sink vi, and c . t h e c a p a c i t y of t h e edge e i s an
I j
upper bound on t h e total amount o f matroid t h a t t h e edge e
j
can accommodate
2-commodity flow
of P and l e t P* be t h e blocker o f B , t h a t 1s P * = {X : X c _ E ( G ) ,
X nP
i
# I$ V IS 1 5i I t , and X i s a minimal s e t with t h i s p r o p e r t y ) .
I t i s obvlous t h a t
(1) v ( 1 P ) 5 m i n l ~ l : D c l P * .
e q u a l i t y h o l d s i n (1) when k = 1.
P i s a Mengerian c l u t t e r .
k
For k = 2, however t h i s i s f a l s e .
Examplel. L e t G be a s shown,
v
2
v
1
b u t t h e minimum c a r d i n a l i t y o f a blocker o f p 2 i s 2.
l e t u1,u2,v1,v2 be v e r t i c e s o f G. Let c : E + Q+ be a c i p a c i t y f u n c t i o n
$1 + (b2 such t h a t
u2 from v
2 -
T h i s r e s u l t s , o r i g i n a l l y proved by Hu [631 by a very long and involved
problem.
Let be t h e c o l l e c t i o n o f c i r c u i t s C such t h a t IC n FI = 1, i n
c o c i r c u i t C* o f M
Proof. L e t 4 be such a flow. I f C i s any c i r c u i t o f M we know IC n C*l # 1
and s o i f C n F = {f}
Hence
+ +
Accordingly we say M i s F-flowing over 74 OR ) i f f o r a l l p € Z
+) I
+@
* t h e e x i s t e n c e of an F-flow w i t h v a l u e s i n Z+CR+) .
+
We go f u r t h e r and d e s c r i b e M a s k-flowing o v e r Z+ ( o r o v e r lR ) i f F i s
Obviously we have:
Cographic m a t r o i d s
can be s t a t e d a s :
says
I n o t h e r words, it i s e a s y t o prove
54. A summary of r e s u l t s
o f t h e s e d e l i g h t f u l r e s u l t s i n t h e next s e c t i o n .
proving:
below
1-flowing Ex (FL;) ?
3-flowing Ex ( M ( K 4 ) ) EX ( F ~ , R ~ ~ , M ( H ~ ) )
by adding on t h e v e c t o r ( 1 , 1 , 1 , 1 , 1 ) .
c l o s e d under d u a l i t y !
References
Whitney, H . , On t h e a b s t r a c t p r o p e r t i e s o f l i n e a r dependence,
Am. J . Math. 57 (19351, 509-533.
CENTRO INTERNAZIONALE MATEMATICO ESTIVO
(c.I.M.E.)
VOLTAGE-GRAPHIC MATROIDS
THOMAS ZASLAVSKY
Voltage-Graphic Matroids
Thomas Zaslavsky
The Ohio State University
Bicircular
graphs
s e t of spanning f o r e s t s of T .
* +
0 ) ED(r) , the equidirected c i r c l e matroid of a digraph T (~atthews):
.
-f
6 = 22, cp(e) = + 1 when
group on N , ~ ( e )= vw if e is directed v + w .
8) @ = @*A ,A = a graph on n nodes; @ is A with each edge replaced
a mapping
K: N -+ (0)U ((1,...,P) X (Y)
where l;l and n2 are the numerical and group parts of K . Let
b
x@ (kg+l) = the number of proper b-colorings of @ and let x@(P@;) = the
of G(@) .
b
Balanced Chromatic Polynomial Theorem. Xm(bg) is a polynomial in p .
b
ZA ~($,A)A~(~), summed over balanced flats A s E
Indeed ~ ~ ( 1= ) .
b
Fundamental Theorem. Let %(A) denote the balanced chromatic poly-
X (A) = L %(A- 1) .
@ Xstable
This theorem reduces calculation of X (A)
@
, or of ~ ( h ), to that of
EXAMPLES (continued)
1) X;(A) = Xr(h) .
4) )):(A) = T (-l)n-kfk~k , where f = the number of k-tree spanning
k
forest; in r .
3) b
x@(A) = ZA 2n-rk A x~,~(A/P) , smed over flats A of. G(T) .
8) x~(A)= g%(~/g) .
9 ) p(~n(@);~) = g"((~-l)/~)~ , where (x), is the falling factorial.
flats of G ( @ ) .
cells).
closed in G@) .
circles in a theta graph are balanced, then the third is also. The pair
References
Department of Mathematics
The Ohio State University
231 West 18th Avenue
Columbus, Ohio .?3210
U.S.A.
MATROIDS WHOSE GROUND SETS ARE DOMAINS OF FUNCTIONS
ABSTRACT