Submodular Functions, Optimization, and Applications to Machine Learning — Spring Quarter, Lecture 8 —

http://www.ee.washington.edu/people/faculty/bilmes/classes/ee596b_spring_2016/

Prof. Jeff Bilmes

University of Washington, Seattle Department of Electrical Engineering http://melodi.ee.washington.edu/~bilmes

Apr 25th, 2016

f (A) + f (B) f (A B) + f (A B) Clockwise from top left:v Lásló Lovász Jack Edmonds ∪ ∩ Satoru Fujishige George Nemhauser ≥ Laurence Wolsey = f (A ) + 2f (C) + f (B ) = f (A ) +f (C) + f (B ) = f (A B) András Frank r r r r Lloyd Shapley ∩ H. Narayanan Robert Bixby William Cunningham William Tutte Richard Rado Alexander Schrijver Garrett Birkho Hassler Whitney Richard Dedekind

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F1/40 (pg.1/162) Logistics Review Cumulative Outstanding Reading

Read chapters 2 and 3 from Fujishige’s book. Read chapter 1 from Fujishige’s book.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F2/40 (pg.2/162) Logistics Review Announcements, Assignments, and Reminders

Homework 3, available at our assignment dropbox (https://canvas.uw.edu/courses/1039754/assignments), due (electronically) Monday (5/2) at 11:55pm. Homework 2, available at our assignment dropbox (https://canvas.uw.edu/courses/1039754/assignments), due (electronically) Monday (4/18) at 11:55pm. Homework 1, available at our assignment dropbox (https://canvas.uw.edu/courses/1039754/assignments), due (electronically) Friday (4/8) at 11:55pm. Weekly Office Hours: Mondays, 3:30-4:30, or by skype or google hangout (set up meeting via our our discussion board (https: //canvas.uw.edu/courses/1039754/discussion_topics)).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F3/40 (pg.3/162) Logistics Review Class Road Map - IT-I

L1(3/28): Motivation, Applications, & L11(5/2): Basic Definitions L12(5/4): L2(3/30): Machine Learning Apps L13(5/9): (diversity, complexity, parameter, learning L14(5/11): target, surrogate). L15(5/16): L3(4/4): Info theory exs, more apps, L16(5/18): definitions, graph/combinatorial examples, example, visualization L17(5/23): L4(4/6): Graph and Combinatorial L18(5/25): Examples, matrix rank, Venn diagrams, L19(6/1): examples of proofs of submodularity, some L20(6/6): Final Presentations useful properties maximization. L5(4/11): Examples & Properties, Other Defs., Independence L6(4/13): Independence, , Examples, matroid rank is submodular L7(4/18): Matroid Rank, More on Partition Matroid, System of Distinct Reps, Transversals, Transversal Matroid, L8(4/20): Transversals, Matroid and representation, Dual Matroids, Geometries L9(4/25): L10(4/27): Finals Week: June 6th-10th, 2016. Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F4/40 (pg.4/162) Logistics Review System of Distinct Representatives

Let (V, ) be a set system (i.e., = (Vk : i I) where Vi V for all V V ∈ ⊆ i), and I is an index set. Hence, I = . | | |V| A family (vi : i I) with vi V is said to be a system of distinct ∈ ∈ representatives of if a bijection π : I I such that vi V and V ∃ ↔ ∈ π(i) vi = vj for all i = j. 6 6 In a system of distinct representatives, there is a requirement for the representatives to be distinct. We can re-state (and rename) this as a: Definition 8.2.2 (transversal) Given a set system (V, ) and index set I for as defined above, a set V V T V is a transversal of if there is a bijection π : T I such that ⊆ V ↔ x V for all x T (8.19) ∈ π(x) ∈ Note that due to π : T I being a bijection, all of I and T are ↔ “covered” (so this makes things distinct automatically).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F5/40 (pg.5/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V, ) with = (Vi : i I), and Vi V for all i. V V ∈ ⊆ Then, for any J I, let ⊆ V (J) = j∈J Vj (8.19) ∪ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). We| have | → Theorem 8.2.2 (Hall’s theorem)

Given a set system (V, ), the family of subsets = (Vi : i I) has a V V ∈ transversal (vi : i I) iff for all J I ∈ ⊆ V (J) J (8.20) | | ≥ | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.6/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V, ) with = (Vi : i I), and Vi V for all i. V V ∈ ⊆ Then, for any J I, let ⊆ V (J) = j∈J Vj (8.19) ∪ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). Hall’s| theorem| → ( J I, V (J) J ) as a bipartite graph. ∀ ⊆ | | ≥ | | V I

4

3 2

1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.7/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V, ) with = (Vi : i I), and Vi V for all i. V V ∈ ⊆ Then, for any J I, let ⊆ V (J) = j∈J Vj (8.19) ∪ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). Hall’s| theorem| → ( J I, V (J) J ) as a bipartite graph. ∀ ⊆ | | ≥ | | V I

4

3 2

1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.8/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V, ) with = (Vi : i I), and Vi V for all i. V V ∈ ⊆ Then, for any J I, let ⊆ V (J) = j∈J Vj (8.19) ∪ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). Moreover,| | we have→ Theorem 8.2.3 (Rado’s theorem (1942)) If M = (V, r) is a matroid on V with rank function r, then the family of subsets (Vi : i I) of V has a transversal (vi : i I) that is independent in ∈ ∈ M iff for all J I ⊆ r(V (J)) J (8.21) ≥ | |

Note, a transversal T independent in M means that r(T ) = T . | | Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.9/162) We wish all jobs to be filled, and hence Hall’s condition ( J I, V (J) J ) is a necessary and sufficient condition for this ∀ ⊆ | | ≥ | | to be possible. Note if V = I , then Hall’s theorem is the Marriage Theorem | | | | (Frobenious 1917), where an edge (v, i) in the graph indicate compatibility between two individuals v V and i I coming from ∈ ∈ two separate groups V and I. If J I, V (J) J , then all individuals in each group can be ∀ ⊆ | | ≥ | | matched with a compatible mate.

Logistics Review Application’s of Hall’s theorem

Consider a set of jobs I and a set of applicants V to the jobs. If an applicant v V is qualified for job i I, we add edge (v, i) to the ∈ ∈ bipartite graph G = (V,I,E).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F7/40 (pg.10/162) Note if V = I , then Hall’s theorem is the Marriage Theorem | | | | (Frobenious 1917), where an edge (v, i) in the graph indicate compatibility between two individuals v V and i I coming from ∈ ∈ two separate groups V and I. If J I, V (J) J , then all individuals in each group can be ∀ ⊆ | | ≥ | | matched with a compatible mate.

Logistics Review Application’s of Hall’s theorem

Consider a set of jobs I and a set of applicants V to the jobs. If an applicant v V is qualified for job i I, we add edge (v, i) to the ∈ ∈ bipartite graph G = (V,I,E). We wish all jobs to be filled, and hence Hall’s condition ( J I, V (J) J ) is a necessary and sufficient condition for this ∀ ⊆ | | ≥ | | to be possible.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F7/40 (pg.11/162) If J I, V (J) J , then all individuals in each group can be ∀ ⊆ | | ≥ | | matched with a compatible mate.

Logistics Review Application’s of Hall’s theorem

Consider a set of jobs I and a set of applicants V to the jobs. If an applicant v V is qualified for job i I, we add edge (v, i) to the ∈ ∈ bipartite graph G = (V,I,E). We wish all jobs to be filled, and hence Hall’s condition ( J I, V (J) J ) is a necessary and sufficient condition for this ∀ ⊆ | | ≥ | | to be possible. Note if V = I , then Hall’s theorem is the Marriage Theorem | | | | (Frobenious 1917), where an edge (v, i) in the graph indicate compatibility between two individuals v V and i I coming from ∈ ∈ two separate groups V and I.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F7/40 (pg.12/162) Logistics Review Application’s of Hall’s theorem

Consider a set of jobs I and a set of applicants V to the jobs. If an applicant v V is qualified for job i I, we add edge (v, i) to the ∈ ∈ bipartite graph G = (V,I,E). We wish all jobs to be filled, and hence Hall’s condition ( J I, V (J) J ) is a necessary and sufficient condition for this ∀ ⊆ | | ≥ | | to be possible. Note if V = I , then Hall’s theorem is the Marriage Theorem | | | | (Frobenious 1917), where an edge (v, i) in the graph indicate compatibility between two individuals v V and i I coming from ∈ ∈ two separate groups V and I. If J I, V (J) J , then all individuals in each group can be ∀ ⊆ | | ≥ | | matched with a compatible mate.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F7/40 (pg.13/162) Logistics Review More general conditions for existence of transversals

Theorem 8.2.2 (Polymatroid transversal theorem)

If = (Vi : i I) is a finite family of non-empty subsets of V , and V V ∈ f : 2 Z+ is a non-negative, integral, monotone non-decreasing, and → submodular function, then has a system of representatives (vi : i I) V ∈ such that

f( i∈J vi ) J for all J I (8.19) ∪ { } ≥ | | ⊆ if and only if

f(V (J)) J for all J I (8.20) ≥ | | ⊆ Given Theorem ??, we immediately get Theorem 8.2.2 by taking f(S) = S for S V . | | ⊆ We get Theorem ?? by taking f(S) = r(S) for S V , the rank ⊆ function of the matroid.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F8/40 (pg.14/162) This means that the transversals of are the bases of matroid M. V Therefore, all maximal partial transversals of have the same V cardinality!

Transversal Matroid Matroid and representation Other Matroid Properties Combinatorial Geometries Transversal Matroid

Transversals, themselves, define a matroid. Theorem 8.3.1 If is a family of finite subsets of a ground set V , then the collection of V partial transversals of is the set of independent sets of a matroid V M = (V, ) on V . V

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F9/40 (pg.15/162) Therefore, all maximal partial transversals of have the same V cardinality!

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversal Matroid

Transversals, themselves, define a matroid. Theorem 8.3.1 If is a family of finite subsets of a ground set V , then the collection of V partial transversals of is the set of independent sets of a matroid V M = (V, ) on V . V

This means that the transversals of are the bases of matroid M. V

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F9/40 (pg.16/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversal Matroid

Transversals, themselves, define a matroid. Theorem 8.3.1 If is a family of finite subsets of a ground set V , then the collection of V partial transversals of is the set of independent sets of a matroid V M = (V, ) on V . V

This means that the transversals of are the bases of matroid M. V Therefore, all maximal partial transversals of have the same V cardinality!

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F9/40 (pg.17/162) In fact, we easily have: Lemma 8.3.2 A subset T V is a partial transversal of iff there is a matching in ⊆ V (V,I,E) in which every edge has one endpoint in T (T matched into I).

Given a set system (V, ), with = (Vi : i I), we can define a V V ∈ bipartite graph G = (V,I,E) associated with that has edge set V (v, i): v V, i I, v Vi . { ∈ ∈ ∈ } A matching in this graph is a set of edges no two of which that have a common endpoint.

V I V I

4 4

3 3 2 2 1 1

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversals and Bipartite Matchings Transversals correspond exactly to matchings in bipartite graphs.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F10/40 (pg.18/162) In fact, we easily have: Lemma 8.3.2 A subset T V is a partial transversal of iff there is a matching in ⊆ V (V,I,E) in which every edge has one endpoint in T (T matched into I).

A matching in this graph is a set of edges no two of which that have a common endpoint.

V I V I

4 4

3 3 2 2 1 1

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversals and Bipartite Matchings Transversals correspond exactly to matchings in bipartite graphs. Given a set system (V, ), with = (Vi : i I), we can define a V V ∈ bipartite graph G = (V,I,E) associated with that has edge set V (v, i): v V, i I, v Vi . { ∈ ∈ ∈ }

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F10/40 (pg.19/162) In fact, we easily have: Lemma 8.3.2 A subset T V is a partial transversal of iff there is a matching in ⊆ V (V,I,E) in which every edge has one endpoint in T (T matched into I).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversals and Bipartite Matchings Transversals correspond exactly to matchings in bipartite graphs. Given a set system (V, ), with = (Vi : i I), we can define a V V ∈ bipartite graph G = (V,I,E) associated with that has edge set V (v, i): v V, i I, v Vi . { ∈ ∈ ∈ } A matching in this graph is a set of edges no two of which that have a common endpoint.

V I V I

4 4

3 3 2 2 1 1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F10/40 (pg.20/162) Lemma 8.3.2 A subset T V is a partial transversal of iff there is a matching in ⊆ V (V,I,E) in which every edge has one endpoint in T (T matched into I).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversals and Bipartite Matchings Transversals correspond exactly to matchings in bipartite graphs. Given a set system (V, ), with = (Vi : i I), we can define a V V ∈ bipartite graph G = (V,I,E) associated with that has edge set V (v, i): v V, i I, v Vi . { ∈ ∈ ∈ } A matching in this graph is a set of edges no two of which that have a common endpoint. In fact, we easily have:

V I V I

4 4

3 3 2 2 1 1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F10/40 (pg.21/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversals and Bipartite Matchings Transversals correspond exactly to matchings in bipartite graphs. Given a set system (V, ), with = (Vi : i I), we can define a V V ∈ bipartite graph G = (V,I,E) associated with that has edge set V (v, i): v V, i I, v Vi . { ∈ ∈ ∈ } A matching in this graph is a set of edges no two of which that have a common endpoint. In fact, we easily have: Lemma 8.3.2 A subset T V is a partial transversal of iff there is a matching in ⊆ V (V,I,E) in which every edge has one endpoint in T (T matched into I). V I V I

4 4

3 3 2 2 1 1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F10/40 (pg.22/162) Consider the following graph (left), and two max-matchings (two right instances) A B A B A B

D C D C D C AC is a maximum matching, as is AD, BC , but they are not the { } { } same size.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Arbitrary Matchings and Matroids?

Are arbitrary matchings matroids?

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F11/40 (pg.23/162) AC is a maximum matching, as is AD, BC , but they are not the { } { } same size.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Arbitrary Matchings and Matroids?

Are arbitrary matchings matroids? Consider the following graph (left), and two max-matchings (two right instances) A B A B A B

D C D C D C

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F11/40 (pg.24/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Arbitrary Matchings and Matroids?

Are arbitrary matchings matroids? Consider the following graph (left), and two max-matchings (two right instances) A B A B A B

D C D C D C AC is a maximum matching, as is AD, BC , but they are not the { } { } same size.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F11/40 (pg.25/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Partition Matroid, rank as matching

Example where ` = 5, (k1, k2, k3, k4, k5) = V (2, 2, 1, 1, 3). Recall, Γ : 2 R as the neighbor → V I function in a bipartite graph, the neighbors of X is defined as Γ(X) = V I 1 v V (G) X : E(X, v ) = , and 1 { ∈ \ { } 6 ∅} recall that Γ(X) is submodular. I | | V2 2 Here, for X V , we have Γ(X) = ⊆ i I :(v, i) E(G) and v X . { ∈ ∈ ∈ } V3 I 3 For such a constructed bipartite graph, the rank function of a partition matroid I P` V4 4 is r(X) = min( X Vi , ki) = the i=1 | ∩ | maximum matching involving X. V5 I 5

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F12/40 (pg.26/162) ` X = min( A V (Ii) , Ii ) (8.2) | ∩ | | | i=1    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.3) Ji∈{∅,Ii} 0 if Ji = | \ | i∈{1,...,`} ∅    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.4) Ji⊆Ii 0 if Ji = | \ | i∈{1,...,`} ∅ X = min ( V (Ji) A + Ii Ji ) (8.5) Ji⊆Ii | ∩ | | \ | i∈{1,...,`}

Start with partition matroid rank function in the subsequent equations. X r(A) = min( A Vi , ki) (8.1) | ∩ | i∈{1,...,`}

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Morphing Partition Matroid Rank

Recall the partition matroid rank function. Note, ki = Ii in the bipartite | | graph representation, and since a matroid, w.l.o.g., Vi ki (also, recall, | | ≥ V (J) = j∈J Vj). ∪

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F13/40 (pg.27/162) ` X = min( A V (Ii) , Ii ) (8.2) | ∩ | | | i=1    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.3) Ji∈{∅,Ii} 0 if Ji = | \ | i∈{1,...,`} ∅    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.4) Ji⊆Ii 0 if Ji = | \ | i∈{1,...,`} ∅ X = min ( V (Ji) A + Ii Ji ) (8.5) Ji⊆Ii | ∩ | | \ | i∈{1,...,`}

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Morphing Partition Matroid Rank

Recall the partition matroid rank function. Note, ki = Ii in the bipartite | | graph representation, and since a matroid, w.l.o.g., Vi ki (also, recall, | | ≥ V (J) = j∈J Vj). ∪ Start with partition matroid rank function in the subsequent equations. X r(A) = min( A Vi , ki) (8.1) | ∩ | i∈{1,...,`}

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F13/40 (pg.28/162)    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.3) Ji∈{∅,Ii} 0 if Ji = | \ | i∈{1,...,`} ∅    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.4) Ji⊆Ii 0 if Ji = | \ | i∈{1,...,`} ∅ X = min ( V (Ji) A + Ii Ji ) (8.5) Ji⊆Ii | ∩ | | \ | i∈{1,...,`}

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Morphing Partition Matroid Rank

Recall the partition matroid rank function. Note, ki = Ii in the bipartite | | graph representation, and since a matroid, w.l.o.g., Vi ki (also, recall, | | ≥ V (J) = j∈J Vj). ∪ Start with partition matroid rank function in the subsequent equations. X r(A) = min( A Vi , ki) (8.1) | ∩ | i∈{1,...,`} ` X = min( A V (Ii) , Ii ) (8.2) | ∩ | | | i=1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F13/40 (pg.29/162)    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.4) Ji⊆Ii 0 if Ji = | \ | i∈{1,...,`} ∅ X = min ( V (Ji) A + Ii Ji ) (8.5) Ji⊆Ii | ∩ | | \ | i∈{1,...,`}

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Morphing Partition Matroid Rank

Recall the partition matroid rank function. Note, ki = Ii in the bipartite | | graph representation, and since a matroid, w.l.o.g., Vi ki (also, recall, | | ≥ V (J) = j∈J Vj). ∪ Start with partition matroid rank function in the subsequent equations. X r(A) = min( A Vi , ki) (8.1) | ∩ | i∈{1,...,`} ` X = min( A V (Ii) , Ii ) (8.2) | ∩ | | | i=1    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.3) Ji∈{∅,Ii} 0 if Ji = | \ | i∈{1,...,`} ∅

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F13/40 (pg.30/162) X = min ( V (Ji) A + Ii Ji ) (8.5) Ji⊆Ii | ∩ | | \ | i∈{1,...,`}

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Morphing Partition Matroid Rank

Recall the partition matroid rank function. Note, ki = Ii in the bipartite | | graph representation, and since a matroid, w.l.o.g., Vi ki (also, recall, | | ≥ V (J) = j∈J Vj). ∪ Start with partition matroid rank function in the subsequent equations. X r(A) = min( A Vi , ki) (8.1) | ∩ | i∈{1,...,`} ` X = min( A V (Ii) , Ii ) (8.2) | ∩ | | | i=1    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.3) Ji∈{∅,Ii} 0 if Ji = | \ | i∈{1,...,`} ∅    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.4) Ji⊆Ii 0 if Ji = | \ | i∈{1,...,`} ∅

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F13/40 (pg.31/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Morphing Partition Matroid Rank

Recall the partition matroid rank function. Note, ki = Ii in the bipartite | | graph representation, and since a matroid, w.l.o.g., Vi ki (also, recall, | | ≥ V (J) = j∈J Vj). ∪ Start with partition matroid rank function in the subsequent equations. X r(A) = min( A Vi , ki) (8.1) | ∩ | i∈{1,...,`} ` X = min( A V (Ii) , Ii ) (8.2) | ∩ | | | i=1    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.3) Ji∈{∅,Ii} 0 if Ji = | \ | i∈{1,...,`} ∅    X A V (Ii) if Ji = = min | ∩ | 6 ∅ + Ii Ji (8.4) Ji⊆Ii 0 if Ji = | \ | i∈{1,...,`} ∅ X = min ( V (Ji) A + Ii Ji ) (8.5) Ji⊆Ii | ∩ | | \ | i∈{1,...,`} Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F13/40 (pg.32/162) ` ! X = min V (J) V (Ii) A Ii J + Ii (8.7) J⊆I | ∩ ∩ | − | ∩ | | | i=1 = min ( V (J) V (I) A J + I ) (8.8) J⊆I | ∩ ∩ | − | | | | = min ( V (J) A J + I ) (8.9) J⊆I | ∩ | − | | | |

In fact, this bottom (more general) expression is the expression for the rank of a transversal matroid.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries ... Morphing Partition Matroid Rank

Continuing,

` X r(A) = min ( V (Ji) V (Ii) A Ii Ji + Ii ) (8.6) Ji⊆Ii | ∩ ∩ | − | ∩ | | | i=1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F14/40 (pg.33/162) = min ( V (J) V (I) A J + I ) (8.8) J⊆I | ∩ ∩ | − | | | | = min ( V (J) A J + I ) (8.9) J⊆I | ∩ | − | | | |

In fact, this bottom (more general) expression is the expression for the rank of a transversal matroid.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries ... Morphing Partition Matroid Rank

Continuing,

` X r(A) = min ( V (Ji) V (Ii) A Ii Ji + Ii ) (8.6) Ji⊆Ii | ∩ ∩ | − | ∩ | | | i=1 ` ! X = min V (J) V (Ii) A Ii J + Ii (8.7) J⊆I | ∩ ∩ | − | ∩ | | | i=1

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F14/40 (pg.34/162) = min ( V (J) A J + I ) (8.9) J⊆I | ∩ | − | | | |

In fact, this bottom (more general) expression is the expression for the rank of a transversal matroid.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries ... Morphing Partition Matroid Rank

Continuing,

` X r(A) = min ( V (Ji) V (Ii) A Ii Ji + Ii ) (8.6) Ji⊆Ii | ∩ ∩ | − | ∩ | | | i=1 ` ! X = min V (J) V (Ii) A Ii J + Ii (8.7) J⊆I | ∩ ∩ | − | ∩ | | | i=1 = min ( V (J) V (I) A J + I ) (8.8) J⊆I | ∩ ∩ | − | | | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F14/40 (pg.35/162) In fact, this bottom (more general) expression is the expression for the rank of a transversal matroid.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries ... Morphing Partition Matroid Rank

Continuing,

` X r(A) = min ( V (Ji) V (Ii) A Ii Ji + Ii ) (8.6) Ji⊆Ii | ∩ ∩ | − | ∩ | | | i=1 ` ! X = min V (J) V (Ii) A Ii J + Ii (8.7) J⊆I | ∩ ∩ | − | ∩ | | | i=1 = min ( V (J) V (I) A J + I ) (8.8) J⊆I | ∩ ∩ | − | | | | = min ( V (J) A J + I ) (8.9) J⊆I | ∩ | − | | | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F14/40 (pg.36/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries ... Morphing Partition Matroid Rank

Continuing,

` X r(A) = min ( V (Ji) V (Ii) A Ii Ji + Ii ) (8.6) Ji⊆Ii | ∩ ∩ | − | ∩ | | | i=1 ` ! X = min V (J) V (Ii) A Ii J + Ii (8.7) J⊆I | ∩ ∩ | − | ∩ | | | i=1 = min ( V (J) V (I) A J + I ) (8.8) J⊆I | ∩ ∩ | − | | | | = min ( V (J) A J + I ) (8.9) J⊆I | ∩ | − | | | |

In fact, this bottom (more general) expression is the expression for the rank of a transversal matroid.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F14/40 (pg.37/162) We note that since the empty set is a transversal of the empty ∅ ∈ I subfamily of , thus (I1’) holds. V We already saw that if T is a partial transversal of , and if T 0 T , V ⊆ then T 0 is also a partial transversal. So (I2’) holds.

Suppose that T1 and T2 are partial transversals of such that V T1 < T2 . Exercise: show that (I3’) holds. | | | |

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Partial Transversals Are Independent Sets in a Matroid

In fact, we have Theorem 8.3.3

Let (V, ) where = (V1,V2,...,V`) be a subset system. Let V V I = 1, . . . , ` . Let be the set of partial transversals of . Then (V, ) is { } I V I a matroid.

Proof.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F15/40 (pg.38/162) We already saw that if T is a partial transversal of , and if T 0 T , V ⊆ then T 0 is also a partial transversal. So (I2’) holds.

Suppose that T1 and T2 are partial transversals of such that V T1 < T2 . Exercise: show that (I3’) holds. | | | |

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Partial Transversals Are Independent Sets in a Matroid

In fact, we have Theorem 8.3.3

Let (V, ) where = (V1,V2,...,V`) be a subset system. Let V V I = 1, . . . , ` . Let be the set of partial transversals of . Then (V, ) is { } I V I a matroid.

Proof. We note that since the empty set is a transversal of the empty ∅ ∈ I subfamily of , thus (I1’) holds. V

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F15/40 (pg.39/162) Suppose that T1 and T2 are partial transversals of such that V T1 < T2 . Exercise: show that (I3’) holds. | | | |

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Partial Transversals Are Independent Sets in a Matroid

In fact, we have Theorem 8.3.3

Let (V, ) where = (V1,V2,...,V`) be a subset system. Let V V I = 1, . . . , ` . Let be the set of partial transversals of . Then (V, ) is { } I V I a matroid.

Proof. We note that since the empty set is a transversal of the empty ∅ ∈ I subfamily of , thus (I1’) holds. V We already saw that if T is a partial transversal of , and if T 0 T , V ⊆ then T 0 is also a partial transversal. So (I2’) holds.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F15/40 (pg.40/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Partial Transversals Are Independent Sets in a Matroid

In fact, we have Theorem 8.3.3

Let (V, ) where = (V1,V2,...,V`) be a subset system. Let V V I = 1, . . . , ` . Let be the set of partial transversals of . Then (V, ) is { } I V I a matroid.

Proof. We note that since the empty set is a transversal of the empty ∅ ∈ I subfamily of , thus (I1’) holds. V We already saw that if T is a partial transversal of , and if T 0 T , V ⊆ then T 0 is also a partial transversal. So (I2’) holds.

Suppose that T1 and T2 are partial transversals of such that V T1 < T2 . Exercise: show that (I3’) holds. | | | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F15/40 (pg.41/162) Exercise:

Therefore, this function is submodular. Note that it is a minimum over a set of modular functions. Is this true in general?

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversal Matroid Rank

Transversal matroid has rank

r(A) = min ( V (J) A J + I ) (8.10) J⊆I | ∩ | − | | | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F16/40 (pg.42/162) Note that it is a minimum over a set of modular functions. Is this true in general? Exercise:

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversal Matroid Rank

Transversal matroid has rank

r(A) = min ( V (J) A J + I ) (8.10) J⊆I | ∩ | − | | | | Therefore, this function is submodular.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F16/40 (pg.43/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Transversal Matroid Rank

Transversal matroid has rank

r(A) = min ( V (J) A J + I ) (8.10) J⊆I | ∩ | − | | | | Therefore, this function is submodular. Note that it is a minimum over a set of modular functions. Is this true in general? Exercise:

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F16/40 (pg.44/162) There is no reason in a matroid such an A could not consist of a single element. Such an a is called a loop. { } In a matric (i.e., linear) matroid, the only such loop is the value 0, as all non-zero vectors have rank 1. The 0 can appear > 1 time with different indices, as can a self loop in a graph appear on different nodes. Note, we also say that two elements s, t are said to be parallel if s, t { } is a circuit.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid loops

A circuit in a matroids is well defined, a subset A E is circuit if it is ⊆ an inclusionwise minimally dependent set (i.e., if r(A) < A and for | | any a A, r(A a ) = A 1). ∈ \{ } | | −

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F17/40 (pg.45/162) Such an a is called a loop. { } In a matric (i.e., linear) matroid, the only such loop is the value 0, as all non-zero vectors have rank 1. The 0 can appear > 1 time with different indices, as can a self loop in a graph appear on different nodes. Note, we also say that two elements s, t are said to be parallel if s, t { } is a circuit.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid loops

A circuit in a matroids is well defined, a subset A E is circuit if it is ⊆ an inclusionwise minimally dependent set (i.e., if r(A) < A and for | | any a A, r(A a ) = A 1). ∈ \{ } | | − There is no reason in a matroid such an A could not consist of a single element.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F17/40 (pg.46/162) In a matric (i.e., linear) matroid, the only such loop is the value 0, as all non-zero vectors have rank 1. The 0 can appear > 1 time with different indices, as can a self loop in a graph appear on different nodes. Note, we also say that two elements s, t are said to be parallel if s, t { } is a circuit.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid loops

A circuit in a matroids is well defined, a subset A E is circuit if it is ⊆ an inclusionwise minimally dependent set (i.e., if r(A) < A and for | | any a A, r(A a ) = A 1). ∈ \{ } | | − There is no reason in a matroid such an A could not consist of a single element. Such an a is called a loop. { }

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F17/40 (pg.47/162) Note, we also say that two elements s, t are said to be parallel if s, t { } is a circuit.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid loops

A circuit in a matroids is well defined, a subset A E is circuit if it is ⊆ an inclusionwise minimally dependent set (i.e., if r(A) < A and for | | any a A, r(A a ) = A 1). ∈ \{ } | | − There is no reason in a matroid such an A could not consist of a single element. Such an a is called a loop. { } In a matric (i.e., linear) matroid, the only such loop is the value 0, as all non-zero vectors have rank 1. The 0 can appear > 1 time with different indices, as can a self loop in a graph appear on different nodes.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F17/40 (pg.48/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid loops

A circuit in a matroids is well defined, a subset A E is circuit if it is ⊆ an inclusionwise minimally dependent set (i.e., if r(A) < A and for | | any a A, r(A a ) = A 1). ∈ \{ } | | − There is no reason in a matroid such an A could not consist of a single element. Such an a is called a loop. { } In a matric (i.e., linear) matroid, the only such loop is the value 0, as all non-zero vectors have rank 1. The 0 can appear > 1 time with different indices, as can a self loop in a graph appear on different nodes. Note, we also say that two elements s, t are said to be parallel if s, t { } is a circuit.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F17/40 (pg.49/162) Let F be any field (such as R, Q, or some finite field F, such as a Galois field GF(p) where p is prime (such as GF(2)), but not Z. Succinctly: A field is a set with +, , closure, associativity, ∗ commutativity, and additive and multiplictaive identities and inverses. We can more generally define matroids on a field.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Representable

Definition 8.4.1 (Matroid isomorphism)

Two matroids M1 and M2 respectively on ground sets V1 and V2 are isomorphic if there is a bijection π : V1 V2 which preserves independence → (equivalently, rank, circuits, and so on).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F18/40 (pg.50/162) We can more generally define matroids on a field.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Representable

Definition 8.4.1 (Matroid isomorphism)

Two matroids M1 and M2 respectively on ground sets V1 and V2 are isomorphic if there is a bijection π : V1 V2 which preserves independence → (equivalently, rank, circuits, and so on).

Let F be any field (such as R, Q, or some finite field F, such as a Galois field GF(p) where p is prime (such as GF(2)), but not Z. Succinctly: A field is a set with +, , closure, associativity, ∗ commutativity, and additive and multiplictaive identities and inverses.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F18/40 (pg.51/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Representable

Definition 8.4.1 (Matroid isomorphism)

Two matroids M1 and M2 respectively on ground sets V1 and V2 are isomorphic if there is a bijection π : V1 V2 which preserves independence → (equivalently, rank, circuits, and so on).

Let F be any field (such as R, Q, or some finite field F, such as a Galois field GF(p) where p is prime (such as GF(2)), but not Z. Succinctly: A field is a set with +, , closure, associativity, ∗ commutativity, and additive and multiplictaive identities and inverses. We can more generally define matroids on a field.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F18/40 (pg.52/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Representable

Definition 8.4.1 (Matroid isomorphism)

Two matroids M1 and M2 respectively on ground sets V1 and V2 are isomorphic if there is a bijection π : V1 V2 which preserves independence → (equivalently, rank, circuits, and so on).

Let F be any field (such as R, Q, or some finite field F, such as a Galois field GF(p) where p is prime (such as GF(2)), but not Z. Succinctly: A field is a set with +, , closure, associativity, ∗ commutativity, and additive and multiplictaive identities and inverses. We can more generally define matroids on a field.

Definition 8.4.2 (linear matroids on a field)

Let X be an n m matrix and E = 1, . . . , m , where Xij F for some × { } ∈ field, and let be the set of subsets of E such that the columns of X are I linearly independent over F.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F18/40 (pg.53/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Representable

Definition 8.4.1 (Matroid isomorphism)

Two matroids M1 and M2 respectively on ground sets V1 and V2 are isomorphic if there is a bijection π : V1 V2 which preserves independence → (equivalently, rank, circuits, and so on).

Let F be any field (such as R, Q, or some finite field F, such as a Galois field GF(p) where p is prime (such as GF(2)), but not Z. Succinctly: A field is a set with +, , closure, associativity, ∗ commutativity, and additive and multiplictaive identities and inverses. We can more generally define matroids on a field.

Definition 8.4.3 (representable (as a linear matroid)) Any matroid isomorphic to a linear matroid on a field is called representable over F

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F18/40 (pg.54/162) In particular:

Theorem 8.4.4 Transversal matroids are representable over all finite fields of sufficiently large cardinality, and are representable over any infinite field.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Representability of Transversal Matroids

Piff and Welsh in 1970, and Adkin in 1972 proved an important theorem about representability of transversal matroids.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F19/40 (pg.55/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Representability of Transversal Matroids

Piff and Welsh in 1970, and Adkin in 1972 proved an important theorem about representability of transversal matroids. In particular:

Theorem 8.4.4 Transversal matroids are representable over all finite fields of sufficiently large cardinality, and are representable over any infinite field.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F19/40 (pg.56/162) It can be shown that this is a matroid and is representable. However, this matroid is not isomorphic to any transversal matroid.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Converse: Representability of Transversal Matroids

The converse is not true, however. Example 8.4.5 Let V = 1, 2, 3, 4, 5, 6 be a ground set and let M = (V, ) be a set { } I system where is all subsets of V of cardinality 2 except for the pairs I ≤ 1, 2 , 3, 4 , 5, 6 . { } { } { }

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F20/40 (pg.57/162) However, this matroid is not isomorphic to any transversal matroid.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Converse: Representability of Transversal Matroids

The converse is not true, however. Example 8.4.5 Let V = 1, 2, 3, 4, 5, 6 be a ground set and let M = (V, ) be a set { } I system where is all subsets of V of cardinality 2 except for the pairs I ≤ 1, 2 , 3, 4 , 5, 6 . { } { } { }

It can be shown that this is a matroid and is representable.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F20/40 (pg.58/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Converse: Representability of Transversal Matroids

The converse is not true, however. Example 8.4.5 Let V = 1, 2, 3, 4, 5, 6 be a ground set and let M = (V, ) be a set { } I system where is all subsets of V of cardinality 2 except for the pairs I ≤ 1, 2 , 3, 4 , 5, 6 . { } { } { }

It can be shown that this is a matroid and is representable. However, this matroid is not isomorphic to any transversal matroid.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F20/40 (pg.59/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Review from Lecture 6

The next frame comes from lecture 6.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F21/40 (pg.60/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries V Matroids, other definitions using matroid rank r : 2 Z+ → Definition 8.5.3 (closed/flat/subspace) A subset A E is closed (equivalently, a flat or a subspace) of matroid M ⊆ if for all x E A, r(A x ) = r(A) + 1. ∈ \ ∪ { } Definition: A hyperplane is a flat of rank r(M) 1. − Definition 8.5.4 (closure) Given A E, the closure (or span) of A, is defined by ⊆ span(A) = b E : r(A b ) = r(A) . { ∈ ∪ { } } Therefore, a closed set A has span(A) = A.

Definition 8.5.5 (circuit)

A subset A E is circuit or a cycle if it is an inclusionwise-minimal ⊆ dependent set (i.e., if r(A) < A and for any a A, r(A a ) = A 1). | | ∈ \{ } | | −

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F22/40 (pg.61/162) Definition 8.5.1 (spanning set of a set) Given a matroid = (V, ), and a set Y V , then any set X Y such M I ⊆ ⊆ that r(X) = r(Y ) is called a spanning set of Y .

Definition 8.5.2 (spanning set of a matroid) Given a matroid = (V, ), any set A V such that r(A) = r(V ) is M I ⊆ called a spanning set of the matroid.

A base of a matroid is a minimal spanning set (and it is independent) but supersets of a base are also spanning. V is always trivially spanning. Consider the terminology: “spanning tree in a graph”, comes from spanning in a matroid sense.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Spanning Sets

We have the following definitions:

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F23/40 (pg.62/162) Definition 8.5.2 (spanning set of a matroid) Given a matroid = (V, ), any set A V such that r(A) = r(V ) is M I ⊆ called a spanning set of the matroid.

A base of a matroid is a minimal spanning set (and it is independent) but supersets of a base are also spanning. V is always trivially spanning. Consider the terminology: “spanning tree in a graph”, comes from spanning in a matroid sense.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Spanning Sets

We have the following definitions: Definition 8.5.1 (spanning set of a set) Given a matroid = (V, ), and a set Y V , then any set X Y such M I ⊆ ⊆ that r(X) = r(Y ) is called a spanning set of Y .

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F23/40 (pg.63/162) A base of a matroid is a minimal spanning set (and it is independent) but supersets of a base are also spanning. V is always trivially spanning. Consider the terminology: “spanning tree in a graph”, comes from spanning in a matroid sense.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Spanning Sets

We have the following definitions: Definition 8.5.1 (spanning set of a set) Given a matroid = (V, ), and a set Y V , then any set X Y such M I ⊆ ⊆ that r(X) = r(Y ) is called a spanning set of Y .

Definition 8.5.2 (spanning set of a matroid) Given a matroid = (V, ), any set A V such that r(A) = r(V ) is M I ⊆ called a spanning set of the matroid.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F23/40 (pg.64/162) V is always trivially spanning. Consider the terminology: “spanning tree in a graph”, comes from spanning in a matroid sense.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Spanning Sets

We have the following definitions: Definition 8.5.1 (spanning set of a set) Given a matroid = (V, ), and a set Y V , then any set X Y such M I ⊆ ⊆ that r(X) = r(Y ) is called a spanning set of Y .

Definition 8.5.2 (spanning set of a matroid) Given a matroid = (V, ), any set A V such that r(A) = r(V ) is M I ⊆ called a spanning set of the matroid.

A base of a matroid is a minimal spanning set (and it is independent) but supersets of a base are also spanning.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F23/40 (pg.65/162) Consider the terminology: “spanning tree in a graph”, comes from spanning in a matroid sense.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Spanning Sets

We have the following definitions: Definition 8.5.1 (spanning set of a set) Given a matroid = (V, ), and a set Y V , then any set X Y such M I ⊆ ⊆ that r(X) = r(Y ) is called a spanning set of Y .

Definition 8.5.2 (spanning set of a matroid) Given a matroid = (V, ), any set A V such that r(A) = r(V ) is M I ⊆ called a spanning set of the matroid.

A base of a matroid is a minimal spanning set (and it is independent) but supersets of a base are also spanning. V is always trivially spanning.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F23/40 (pg.66/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Spanning Sets

We have the following definitions: Definition 8.5.1 (spanning set of a set) Given a matroid = (V, ), and a set Y V , then any set X Y such M I ⊆ ⊆ that r(X) = r(Y ) is called a spanning set of Y .

Definition 8.5.2 (spanning set of a matroid) Given a matroid = (V, ), any set A V such that r(A) = r(V ) is M I ⊆ called a spanning set of the matroid.

A base of a matroid is a minimal spanning set (and it is independent) but supersets of a base are also spanning. V is always trivially spanning. Consider the terminology: “spanning tree in a graph”, comes from spanning in a matroid sense.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F23/40 (pg.67/162) We define the set of sets ∗ for M ∗ as follows: I ∗ = A V : V A is a spanning set of M (8.11) I { ⊆ \ } = V S : S V is a spanning set of M (8.12) { \ ⊆ } i.e., ∗ are complements of spanning sets of M. I That is, a set A is independent in the dual matroid M ∗ if removal of A from V does not decrease the rank in M: ∗ = A V : rankM (V A) = rankM (V ) (8.13) I { ⊆ \ } In other words, a set A V is independent in the dual M ∗ (i.e., ⊆ A ∗) if its complement is spanning in M (residual V A must ∈ I \ contain a base in M). Dual of the dual: Note, we have that (M ∗)∗ = M.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid Given a matroid M = (V, ), a dual matroid M ∗ = (V, ∗) can be I I defined on the same ground set V , but using a very different set of independent sets ∗. I

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F24/40 (pg.68/162) That is, a set A is independent in the dual matroid M ∗ if removal of A from V does not decrease the rank in M: ∗ = A V : rankM (V A) = rankM (V ) (8.13) I { ⊆ \ } In other words, a set A V is independent in the dual M ∗ (i.e., ⊆ A ∗) if its complement is spanning in M (residual V A must ∈ I \ contain a base in M). Dual of the dual: Note, we have that (M ∗)∗ = M.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid Given a matroid M = (V, ), a dual matroid M ∗ = (V, ∗) can be I I defined on the same ground set V , but using a very different set of independent sets ∗. I We define the set of sets ∗ for M ∗ as follows: I ∗ = A V : V A is a spanning set of M (8.11) I { ⊆ \ } = V S : S V is a spanning set of M (8.12) { \ ⊆ } i.e., ∗ are complements of spanning sets of M. I

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F24/40 (pg.69/162) In other words, a set A V is independent in the dual M ∗ (i.e., ⊆ A ∗) if its complement is spanning in M (residual V A must ∈ I \ contain a base in M). Dual of the dual: Note, we have that (M ∗)∗ = M.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid Given a matroid M = (V, ), a dual matroid M ∗ = (V, ∗) can be I I defined on the same ground set V , but using a very different set of independent sets ∗. I We define the set of sets ∗ for M ∗ as follows: I ∗ = A V : V A is a spanning set of M (8.11) I { ⊆ \ } = V S : S V is a spanning set of M (8.12) { \ ⊆ } i.e., ∗ are complements of spanning sets of M. I That is, a set A is independent in the dual matroid M ∗ if removal of A from V does not decrease the rank in M: ∗ = A V : rankM (V A) = rankM (V ) (8.13) I { ⊆ \ }

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F24/40 (pg.70/162) Dual of the dual: Note, we have that (M ∗)∗ = M.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid Given a matroid M = (V, ), a dual matroid M ∗ = (V, ∗) can be I I defined on the same ground set V , but using a very different set of independent sets ∗. I We define the set of sets ∗ for M ∗ as follows: I ∗ = A V : V A is a spanning set of M (8.11) I { ⊆ \ } = V S : S V is a spanning set of M (8.12) { \ ⊆ } i.e., ∗ are complements of spanning sets of M. I That is, a set A is independent in the dual matroid M ∗ if removal of A from V does not decrease the rank in M: ∗ = A V : rankM (V A) = rankM (V ) (8.13) I { ⊆ \ } In other words, a set A V is independent in the dual M ∗ (i.e., ⊆ A ∗) if its complement is spanning in M (residual V A must ∈ I \ contain a base in M).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F24/40 (pg.71/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid Given a matroid M = (V, ), a dual matroid M ∗ = (V, ∗) can be I I defined on the same ground set V , but using a very different set of independent sets ∗. I We define the set of sets ∗ for M ∗ as follows: I ∗ = A V : V A is a spanning set of M (8.11) I { ⊆ \ } = V S : S V is a spanning set of M (8.12) { \ ⊆ } i.e., ∗ are complements of spanning sets of M. I That is, a set A is independent in the dual matroid M ∗ if removal of A from V does not decrease the rank in M: ∗ = A V : rankM (V A) = rankM (V ) (8.13) I { ⊆ \ } In other words, a set A V is independent in the dual M ∗ (i.e., ⊆ A ∗) if its complement is spanning in M (residual V A must ∈ I \ contain a base in M). Dual of the dual: Note, we have that (M ∗)∗ = M.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F24/40 (pg.72/162) Theorem 8.5.3 (Dual matroid bases) Let M = (V, ) be a matroid and (M) be the set of bases of M. Then I B define

∗(M) = V B : B (M) . (8.14) B { \ ∈ B } Then ∗(M) is the set of basis of M ∗ (that is, ∗(M) = (M ∗). B B B

Hence, a base B of M (where B = V B∗ is as small as possible while still spanning) is the \ complement of a base B∗ of M ∗ (where B∗ = V B is as large as \ possible while still being independent). In fact, we have that

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid: Bases

The smallest spanning sets are bases.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F25/40 (pg.73/162) Theorem 8.5.3 (Dual matroid bases) Let M = (V, ) be a matroid and (M) be the set of bases of M. Then I B define

∗(M) = V B : B (M) . (8.14) B { \ ∈ B } Then ∗(M) is the set of basis of M ∗ (that is, ∗(M) = (M ∗). B B B

In fact, we have that

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid: Bases

The smallest spanning sets are bases. Hence, a base B of M (where B = V B∗ is as small as possible while still spanning) is the \ complement of a base B∗ of M ∗ (where B∗ = V B is as large as \ possible while still being independent).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F25/40 (pg.74/162) Theorem 8.5.3 (Dual matroid bases) Let M = (V, ) be a matroid and (M) be the set of bases of M. Then I B define

∗(M) = V B : B (M) . (8.14) B { \ ∈ B } Then ∗(M) is the set of basis of M ∗ (that is, ∗(M) = (M ∗). B B B

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid: Bases

The smallest spanning sets are bases. Hence, a base B of M (where B = V B∗ is as small as possible while still spanning) is the \ complement of a base B∗ of M ∗ (where B∗ = V B is as large as \ possible while still being independent). In fact, we have that

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F25/40 (pg.75/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual of a Matroid: Bases

The smallest spanning sets are bases. Hence, a base B of M (where B = V B∗ is as small as possible while still spanning) is the \ complement of a base B∗ of M ∗ (where B∗ = V B is as large as \ possible while still being independent). In fact, we have that Theorem 8.5.3 (Dual matroid bases) Let M = (V, ) be a matroid and (M) be the set of bases of M. Then I B define

∗(M) = V B : B (M) . (8.14) B { \ ∈ B } Then ∗(M) is the set of basis of M ∗ (that is, ∗(M) = (M ∗). B B B

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F25/40 (pg.76/162) ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.77/162) ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.78/162) ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.79/162) ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.80/162) ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.81/162) ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.82/162) 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆ ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.83/162) ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆ ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.84/162) ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆ ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.85/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries An exercise in duality Terminology

∗(M), the bases of M ∗, are called cobases of M. B The circuits of M ∗ are called cocircuits of M. The hyperplanes of M ∗ are called cohyperplanes of M. The independent sets of M ∗ are called coindependent sets of M. The spanning sets of M ∗ are called cospanning sets of M.

Proposition 8.5.4 (from Oxley 2011) Let M = (V, ) be a matroid, and let X V . Then I ⊆ ∗ 1 X is independent in M iff V X is cospanning in M (spanning in M ). \ 2 X is spanning in M iff V X is coindependent in M (independent in \ M ∗). ∗ 3 X is a hyperplane in M iff V X is a cocircuit in M (circuit in M ). \ ∗ 4 X is a circuit in M iff V X is a cohyperplane in M (hyperplane in M ). \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F26/40 (pg.86/162) Recall, in cycle matroid, a spanning set of G is any set of edges that are incident to all nodes (i.e., any superset of a spanning forest), a minimal spanning set is a spanning tree (or forest), and a circuit has a nice visual interpretation (a cycle in the graph). A cut in a graph G is a set of edges, the removal of which increases the number of connected components. I.e., X E(G) is a cut in G if ⊆ k(G) < k(G X). \ A minimal cut in G is a cut X E(G) such that X x is not a cut ⊆ \{ } for any x X. ∈ A cocycle (cocircuit) in a is a minimal graph cut. A mincut is a circuit in the dual “cocycle” (or “cut”) matroid. All dependent sets in a cocycle matroid are cuts (i.e., a dependent set is a minimal cut or contains one).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example duality: graphic matroid

Using a graphic/cycle matroid, we can already see how dual matroid concepts demonstrates the extraordinary flexibility and power that a matroid can have.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F27/40 (pg.87/162) A cut in a graph G is a set of edges, the removal of which increases the number of connected components. I.e., X E(G) is a cut in G if ⊆ k(G) < k(G X). \ A minimal cut in G is a cut X E(G) such that X x is not a cut ⊆ \{ } for any x X. ∈ A cocycle (cocircuit) in a graphic matroid is a minimal graph cut. A mincut is a circuit in the dual “cocycle” (or “cut”) matroid. All dependent sets in a cocycle matroid are cuts (i.e., a dependent set is a minimal cut or contains one).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example duality: graphic matroid

Using a graphic/cycle matroid, we can already see how dual matroid concepts demonstrates the extraordinary flexibility and power that a matroid can have. Recall, in cycle matroid, a spanning set of G is any set of edges that are incident to all nodes (i.e., any superset of a spanning forest), a minimal spanning set is a spanning tree (or forest), and a circuit has a nice visual interpretation (a cycle in the graph).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F27/40 (pg.88/162) A minimal cut in G is a cut X E(G) such that X x is not a cut ⊆ \{ } for any x X. ∈ A cocycle (cocircuit) in a graphic matroid is a minimal graph cut. A mincut is a circuit in the dual “cocycle” (or “cut”) matroid. All dependent sets in a cocycle matroid are cuts (i.e., a dependent set is a minimal cut or contains one).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example duality: graphic matroid

Using a graphic/cycle matroid, we can already see how dual matroid concepts demonstrates the extraordinary flexibility and power that a matroid can have. Recall, in cycle matroid, a spanning set of G is any set of edges that are incident to all nodes (i.e., any superset of a spanning forest), a minimal spanning set is a spanning tree (or forest), and a circuit has a nice visual interpretation (a cycle in the graph). A cut in a graph G is a set of edges, the removal of which increases the number of connected components. I.e., X E(G) is a cut in G if ⊆ k(G) < k(G X). \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F27/40 (pg.89/162) A cocycle (cocircuit) in a graphic matroid is a minimal graph cut. A mincut is a circuit in the dual “cocycle” (or “cut”) matroid. All dependent sets in a cocycle matroid are cuts (i.e., a dependent set is a minimal cut or contains one).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example duality: graphic matroid

Using a graphic/cycle matroid, we can already see how dual matroid concepts demonstrates the extraordinary flexibility and power that a matroid can have. Recall, in cycle matroid, a spanning set of G is any set of edges that are incident to all nodes (i.e., any superset of a spanning forest), a minimal spanning set is a spanning tree (or forest), and a circuit has a nice visual interpretation (a cycle in the graph). A cut in a graph G is a set of edges, the removal of which increases the number of connected components. I.e., X E(G) is a cut in G if ⊆ k(G) < k(G X). \ A minimal cut in G is a cut X E(G) such that X x is not a cut ⊆ \{ } for any x X. ∈

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F27/40 (pg.90/162) A mincut is a circuit in the dual “cocycle” (or “cut”) matroid. All dependent sets in a cocycle matroid are cuts (i.e., a dependent set is a minimal cut or contains one).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example duality: graphic matroid

Using a graphic/cycle matroid, we can already see how dual matroid concepts demonstrates the extraordinary flexibility and power that a matroid can have. Recall, in cycle matroid, a spanning set of G is any set of edges that are incident to all nodes (i.e., any superset of a spanning forest), a minimal spanning set is a spanning tree (or forest), and a circuit has a nice visual interpretation (a cycle in the graph). A cut in a graph G is a set of edges, the removal of which increases the number of connected components. I.e., X E(G) is a cut in G if ⊆ k(G) < k(G X). \ A minimal cut in G is a cut X E(G) such that X x is not a cut ⊆ \{ } for any x X. ∈ A cocycle (cocircuit) in a graphic matroid is a minimal graph cut.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F27/40 (pg.91/162) All dependent sets in a cocycle matroid are cuts (i.e., a dependent set is a minimal cut or contains one).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example duality: graphic matroid

Using a graphic/cycle matroid, we can already see how dual matroid concepts demonstrates the extraordinary flexibility and power that a matroid can have. Recall, in cycle matroid, a spanning set of G is any set of edges that are incident to all nodes (i.e., any superset of a spanning forest), a minimal spanning set is a spanning tree (or forest), and a circuit has a nice visual interpretation (a cycle in the graph). A cut in a graph G is a set of edges, the removal of which increases the number of connected components. I.e., X E(G) is a cut in G if ⊆ k(G) < k(G X). \ A minimal cut in G is a cut X E(G) such that X x is not a cut ⊆ \{ } for any x X. ∈ A cocycle (cocircuit) in a graphic matroid is a minimal graph cut. A mincut is a circuit in the dual “cocycle” (or “cut”) matroid.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F27/40 (pg.92/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example duality: graphic matroid

Using a graphic/cycle matroid, we can already see how dual matroid concepts demonstrates the extraordinary flexibility and power that a matroid can have. Recall, in cycle matroid, a spanning set of G is any set of edges that are incident to all nodes (i.e., any superset of a spanning forest), a minimal spanning set is a spanning tree (or forest), and a circuit has a nice visual interpretation (a cycle in the graph). A cut in a graph G is a set of edges, the removal of which increases the number of connected components. I.e., X E(G) is a cut in G if ⊆ k(G) < k(G X). \ A minimal cut in G is a cut X E(G) such that X x is not a cut ⊆ \{ } for any x X. ∈ A cocycle (cocircuit) in a graphic matroid is a minimal graph cut. A mincut is a circuit in the dual “cocycle” (or “cut”) matroid. All dependent sets in a cocycle matroid are cuts (i.e., a dependent set is a minimal cut or contains one).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F27/40 (pg.93/162) It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ }

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.94/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning. A graph G

5 Minimally spanning in M (and thus 2 7 a base (maximally independent) in M) 1 12 3 9 8 8 1 4 6 11 4 7 2 10

3 6 5 Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.95/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

Minimally spanning in M (and thus Maximally independent in M* (thus a base (maximally independent) in M) a base, minimally spanning, in M*) 5 2 7 2 5 12 7 1 1 12 3 9 3 9 4 8 8 8 8 1 6 11 1 4 6 11 4 2 7 4 7 10 2 10 5 3 6 3 6 5

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.96/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

Minimally spanning in M (and thus Maximally independent in M* (thus a base (maximally independent) in M) a base, minimally spanning, in M*)

5 5 2 7 2 7 12 1 12 1 3 9 3 9 8 8 8 8 1 4 6 11 1 4 6 11 4 7 4 7 2 10 2 10

3 6 5 3 6 5 Spanning in M, but not a base, and Independent in M* (does not independent (has cycles) not contain a cut) Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.97/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

Independent but not spanning Dependent in M* (contains in M, and not closed in M. a cocycle, is a nonminimal cut) 5 2 7 2 5 12 7 1 1 12 3 9 3 9 4 8 6 8 8 8 1 11 1 4 6 11 4 2 7 4 7 10 2 10 5 3 6 3 6 5

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.98/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

Spanning in M, but not a base, and Independent in M* (does not independent (has cycles) not contain a cut) 5 2 5 2 7 7 12 1 12 1 3 9 3 9 8 8 4 8 8 1 4 6 11 1 6 11 4 4 7 2 7 2 10 10 5 3 6 5 3 6

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.99/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

Independent but not spanning Dependent in M* (contains in M, and not closed in M. a cocycle, is a nonminimal cut) 5 5 2 7 2 7 1 12 1 12 3 9 3 9 8 8 8 8 1 4 6 11 1 4 6 11 4 7 4 7 2 10 2 10

3 6 5 3 6 5

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.100/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

A hyperplane in M, dependent A cycle in M* (minimally dependent but not spanning in M in M*, a cocycle, or a minimal cut) 5 5 2 7 2 7 1 12 1 12 3 9 3 9 8 8 8 8 1 4 6 11 1 4 6 11 4 7 4 7 2 10 2 10

3 6 5 3 6 5

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.101/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Example: cocycle matroid (sometimes “cut matroid”)

The dual of the cycle matroid is called the cocycle matroid. Recall, ∗ = A V : V A is a spanning set of M I { ⊆ \ } It consists of all sets of edges the complement of which contains a spanning tree — i.e., an independent set can’t consist of edges that, if removed, would render the graph non-spanning.

A hyperplane in M, dependent A cycle in M* (minimally dependent but not spanning in M in M*, a cocycle, or a minimal cut) 5 5 2 7 2 7 1 12 1 12 3 9 3 9 8 8 8 8 1 4 6 11 1 4 6 11 4 7 4 7 2 10 2 10

3 6 5 3 6 5

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F28/40 (pg.102/162) Also, if I J ∗, then clearly also I ∗ since if V J is spanning ⊆ ∈ I ∈ I \ in M, so must V I. Therefore, (I2’) holds. \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Clearly ∗, so (I1’) holds. ∅ ∈ I

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.103/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Clearly ∗, so (I1’) holds. ∅ ∈ I Also, if I J ∗, then clearly also I ∗ since if V J is spanning ⊆ ∈ I ∈ I \ in M, so must V I. Therefore, (I2’) holds. \

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.104/162) Since V J is spanning in M, V J contains some base (say \ \ B V J) of M. Also, V I contains a base of M, say B0 V I. ⊆ \ \ ⊆ \ Since B I V I, and B I is independent in M, we can choose \ ⊆ \ \ the base B0 of M s.t. B I B0 V I. \ ⊆ ⊆ \ Since B and J are disjoint, we have both: 1) B I and J I are \ \ disjoint; and 2) B I I J. Also note, B0 and I are disjoint. ∩ ⊆ \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Consider I,J ∗ with I < J . We need to show that there is some ∈ I | | | | member v J I such that I + v is independent in M ∗, which means ∈ \ that V (I + v) = (V I) v is still spanning in M. That is, removing \ \ \ v from V I doesn’t make (V I) v not spanning in M. \ \ \

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.105/162) Since B I V I, and B I is independent in M, we can choose \ ⊆ \ \ the base B0 of M s.t. B I B0 V I. \ ⊆ ⊆ \ Since B and J are disjoint, we have both: 1) B I and J I are \ \ disjoint; and 2) B I I J. Also note, B0 and I are disjoint. ∩ ⊆ \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Consider I,J ∗ with I < J . We need to show that there is some ∈ I | | | | member v J I such that I + v is independent in M ∗, which means ∈ \ that V (I + v) = (V I) v is still spanning in M. That is, removing \ \ \ v from V I doesn’t make (V I) v not spanning in M. \ \ \ Since V J is spanning in M, V J contains some base (say \ \ B V J) of M. Also, V I contains a base of M, say B0 V I. ⊆ \ \ ⊆ \

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.106/162) Since B and J are disjoint, we have both: 1) B I and J I are \ \ disjoint; and 2) B I I J. Also note, B0 and I are disjoint. ∩ ⊆ \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Consider I,J ∗ with I < J . We need to show that there is some ∈ I | | | | member v J I such that I + v is independent in M ∗, which means ∈ \ that V (I + v) = (V I) v is still spanning in M. That is, removing \ \ \ v from V I doesn’t make (V I) v not spanning in M. \ \ \ Since V J is spanning in M, V J contains some base (say \ \ B V J) of M. Also, V I contains a base of M, say B0 V I. ⊆ \ \ ⊆ \ Since B I V I, and B I is independent in M, we can choose \ ⊆ \ \ the base B0 of M s.t. B I B0 V I. \ ⊆ ⊆ \

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.107/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Consider I,J ∗ with I < J . We need to show that there is some ∈ I | | | | member v J I such that I + v is independent in M ∗, which means ∈ \ that V (I + v) = (V I) v is still spanning in M. That is, removing \ \ \ v from V I doesn’t make (V I) v not spanning in M. \ \ \ Since V J is spanning in M, V J contains some base (say \ \ B V J) of M. Also, V I contains a base of M, say B0 V I. ⊆ \ \ ⊆ \ Since B I V I, and B I is independent in M, we can choose \ ⊆ \ \ the base B0 of M s.t. B I B0 V I. \ ⊆ ⊆ \ Since B and J are disjoint, we have both: 1) B I and J I are \ \ disjoint; and 2) B I I J. Also note, B0 and I are disjoint. ∩ ⊆ \ ... Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.108/162) Therefore, J I B0, and there is a v J I s.t. v / B0. \ 6⊆ ∈ \ ∈ So B0 is disjoint with I v , means B0 V (I v ), or ∪ { } ⊆ \ ∪ { } V (I v ) is spanning in M, and therefore I v ∗. \ ∪ { } ∪ { } ∈ I

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Now J I B0, since otherwise (i.e., assuming J I B0): \ 6⊆ \ ⊆ B = B I + B I (8.15) | | | ∩ | | \ | I J + B I (8.16) ≤ | \ | | \ | < J I + B I B0 (8.17) | \ | | \ | ≤ | | which is a contradiction. The last inequality on the right follows since J \ I ⊆ B0 (by assumption) and B \ I ⊆ B0 implies that (J \ I) ∪ (B \ I) ⊆ B0, but since J and B are disjoint, we have that |J \ I| + |B \ I| ≤ |B0|.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.109/162)... So B0 is disjoint with I v , means B0 V (I v ), or ∪ { } ⊆ \ ∪ { } V (I v ) is spanning in M, and therefore I v ∗. \ ∪ { } ∪ { } ∈ I

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Now J I B0, since otherwise (i.e., assuming J I B0): \ 6⊆ \ ⊆ B = B I + B I (8.15) | | | ∩ | | \ | I J + B I (8.16) ≤ | \ | | \ | < J I + B I B0 (8.17) | \ | | \ | ≤ | | which is a contradiction. Therefore, J I B0, and there is a v J I s.t. v / B0. \ 6⊆ ∈ \ ∈

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.110/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries The dual of a matroid is (indeed) a matroid

Theorem 8.5.5 Given matroid M = (V, ), let M ∗ = (V, ∗) be as previously defined. I I Then M ∗ is a matroid.

Proof. Now J I B0, since otherwise (i.e., assuming J I B0): \ 6⊆ \ ⊆ B = B I + B I (8.15) | | | ∩ | | \ | I J + B I (8.16) ≤ | \ | | \ | < J I + B I B0 (8.17) | \ | | \ | ≤ | | which is a contradiction. Therefore, J I B0, and there is a v J I s.t. v / B0. \ 6⊆ ∈ \ ∈ So B0 is disjoint with I v , means B0 V (I v ), or ∪ { } ⊆ \ ∪ { } V (I v ) is spanning in M, and therefore I v ∗. \ ∪ { } ∪ { } ∈ I Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F29/40 (pg.111/162) Theorem 8.5.7 Let M be a graphic matroid (i.e., one that can be represented by a graph G = (V,E)). Then M ∗ is not necessarily also graphic.

Hence, for graphic matroids, duality can increase the space and power of matroids, and since they are based on a graph, they are relatively easy to use: 1) all cuts are dependent sets; 2) minimal cuts are cycles; 3) bases are one edge less than minimal cuts; and 4) independent sets are edges that are not cuts.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid Duals and Representability

Theorem 8.5.6 Let M be an F-representable matroid (i.e., one that can be represented by ∗ a finite sized matrix over field F). Then M is also F-representable.

Hence, for matroids as general as matric matroids, duality does not extend the space of matroids that can be used.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F30/40 (pg.112/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid Duals and Representability

Theorem 8.5.6 Let M be an F-representable matroid (i.e., one that can be represented by ∗ a finite sized matrix over field F). Then M is also F-representable.

Hence, for matroids as general as matric matroids, duality does not extend the space of matroids that can be used. Theorem 8.5.7 Let M be a graphic matroid (i.e., one that can be represented by a graph G = (V,E)). Then M ∗ is not necessarily also graphic.

Hence, for graphic matroids, duality can increase the space and power of matroids, and since they are based on a graph, they are relatively easy to use: 1) all cuts are dependent sets; 2) minimal cuts are cycles; 3) bases are one edge less than minimal cuts; and 4) independent sets are edges that are not cuts.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F30/40 (pg.113/162) Non-negativity integral follows since X + rM (V X) rM (X) + rM (V X) rM (V ). | | \ ≥ \ ≥ Monotone non-decreasing follows since, as X increases by one, X | | always increases by 1, while rM (V X) decreases by one or zero. \ Therefore, rM ∗ is the rank function of a matroid. That it is the dual matroid rank function is shown in the next proof.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual Matroid Rank Theorem 8.5.8 ∗ The rank function rM ∗ of the dual matroid M may be specified in terms of the rank rM in matroid M as follows. For X V : ⊆

rM ∗ (X) = X + rM (V X) rM (V ) (8.18) | | \ −

Note, we again immediately see that this is submodular by the properties of submodular functions we saw in lectures 1 and 2. I.e., |X| is modular, complement f(V \ X) is submodular if f is submodular, rM (V ) is a constant, and summing submodular functions and a constant preserves submodularity.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F31/40 (pg.114/162) Monotone non-decreasing follows since, as X increases by one, X | | always increases by 1, while rM (V X) decreases by one or zero. \ Therefore, rM ∗ is the rank function of a matroid. That it is the dual matroid rank function is shown in the next proof.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual Matroid Rank Theorem 8.5.8 ∗ The rank function rM ∗ of the dual matroid M may be specified in terms of the rank rM in matroid M as follows. For X V : ⊆

rM ∗ (X) = X + rM (V X) rM (V ) (8.18) | | \ −

Note, we again immediately see that this is submodular by the properties of submodular functions we saw in lectures 1 and 2. Non-negativity integral follows since X + rM (V X) rM (X) + rM (V X) rM (V ). The right inequality follows| | since rM\ is submodular.≥ \ ≥

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F31/40 (pg.115/162) Therefore, rM ∗ is the rank function of a matroid. That it is the dual matroid rank function is shown in the next proof.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual Matroid Rank Theorem 8.5.8 ∗ The rank function rM ∗ of the dual matroid M may be specified in terms of the rank rM in matroid M as follows. For X V : ⊆

rM ∗ (X) = X + rM (V X) rM (V ) (8.18) | | \ −

Note, we again immediately see that this is submodular by the properties of submodular functions we saw in lectures 1 and 2. Non-negativity integral follows since X + rM (V X) rM (X) + rM (V X) rM (V ). | | \ ≥ \ ≥ Monotone non-decreasing follows since, as X increases by one, X | | always increases by 1, while rM (V X) decreases by one or zero. \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F31/40 (pg.116/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual Matroid Rank Theorem 8.5.8 ∗ The rank function rM ∗ of the dual matroid M may be specified in terms of the rank rM in matroid M as follows. For X V : ⊆

rM ∗ (X) = X + rM (V X) rM (V ) (8.18) | | \ −

Note, we again immediately see that this is submodular by the properties of submodular functions we saw in lectures 1 and 2. Non-negativity integral follows since X + rM (V X) rM (X) + rM (V X) rM (V ). | | \ ≥ \ ≥ Monotone non-decreasing follows since, as X increases by one, X | | always increases by 1, while rM (V X) decreases by one or zero. \ Therefore, rM ∗ is the rank function of a matroid. That it is the dual matroid rank function is shown in the next proof.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F31/40 (pg.117/162) or

rM (V X) = rM (V ) (8.20) \ But a subset X is independent in M ∗ only if V X is spanning in M (by \ the definition of the dual matroid).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual Matroid Rank Theorem 8.5.8 ∗ The rank function rM ∗ of the dual matroid M may be specified in terms of the rank rM in matroid M as follows. For X V : ⊆

rM ∗ (X) = X + rM (V X) rM (V ) (8.18) | | \ − Proof.

A set X is independent in (V, rM ∗ ) if and only if

rM ∗ (X) = X + rM (V X) rM (V ) = X (8.19) | | \ − | |

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F31/40 (pg.118/162) But a subset X is independent in M ∗ only if V X is spanning in M (by \ the definition of the dual matroid).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual Matroid Rank Theorem 8.5.8 ∗ The rank function rM ∗ of the dual matroid M may be specified in terms of the rank rM in matroid M as follows. For X V : ⊆

rM ∗ (X) = X + rM (V X) rM (V ) (8.18) | | \ − Proof.

A set X is independent in (V, rM ∗ ) if and only if

rM ∗ (X) = X + rM (V X) rM (V ) = X (8.19) | | \ − | | or

rM (V X) = rM (V ) (8.20) \

...

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F31/40 (pg.119/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Dual Matroid Rank Theorem 8.5.8 ∗ The rank function rM ∗ of the dual matroid M may be specified in terms of the rank rM in matroid M as follows. For X V : ⊆

rM ∗ (X) = X + rM (V X) rM (V ) (8.18) | | \ − Proof.

A set X is independent in (V, rM ∗ ) if and only if

rM ∗ (X) = X + rM (V X) rM (V ) = X (8.19) | | \ − | | or

rM (V X) = rM (V ) (8.20) \ But a subset X is independent in M ∗ only if V X is spanning in M (by \ the definition of the dual matroid).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F31/40 (pg.120/162) This is called the restriction of M to Y , and is often written M Y . | If Y = V X, then we have that M Y has the form: \ |

Y = Z : Z X = ,Z (8.22) I { ∩ ∅ ∈ I} is considered a deletion of X from M, and is often written M X. \ Hence, M Y = M (V Y ), and M (V X) = M X. | \ \ | \ Y \ The rank function is of the same form. I.e., rY : 2 Z+, where → rY (Z) = r(Z) for Z Y . ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid restriction/deletion

Let M = (V, ) be a matroid and let Y V , then I ⊆

Y = Z : Z Y,Z (8.21) I { ⊆ ∈ I}

is such that MY = (Y, Y ) is a matroid with rank r(MY ) = r(Y ). I

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F32/40 (pg.121/162) If Y = V X, then we have that M Y has the form: \ |

Y = Z : Z X = ,Z (8.22) I { ∩ ∅ ∈ I} is considered a deletion of X from M, and is often written M X. \ Hence, M Y = M (V Y ), and M (V X) = M X. | \ \ | \ Y \ The rank function is of the same form. I.e., rY : 2 Z+, where → rY (Z) = r(Z) for Z Y . ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid restriction/deletion

Let M = (V, ) be a matroid and let Y V , then I ⊆

Y = Z : Z Y,Z (8.21) I { ⊆ ∈ I}

is such that MY = (Y, Y ) is a matroid with rank r(MY ) = r(Y ). I This is called the restriction of M to Y , and is often written M Y . |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F32/40 (pg.122/162) Hence, M Y = M (V Y ), and M (V X) = M X. | \ \ | \ Y \ The rank function is of the same form. I.e., rY : 2 Z+, where → rY (Z) = r(Z) for Z Y . ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid restriction/deletion

Let M = (V, ) be a matroid and let Y V , then I ⊆

Y = Z : Z Y,Z (8.21) I { ⊆ ∈ I}

is such that MY = (Y, Y ) is a matroid with rank r(MY ) = r(Y ). I This is called the restriction of M to Y , and is often written M Y . | If Y = V X, then we have that M Y has the form: \ |

Y = Z : Z X = ,Z (8.22) I { ∩ ∅ ∈ I} is considered a deletion of X from M, and is often written M X. \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F32/40 (pg.123/162) Y The rank function is of the same form. I.e., rY : 2 Z+, where → rY (Z) = r(Z) for Z Y . ⊆

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid restriction/deletion

Let M = (V, ) be a matroid and let Y V , then I ⊆

Y = Z : Z Y,Z (8.21) I { ⊆ ∈ I}

is such that MY = (Y, Y ) is a matroid with rank r(MY ) = r(Y ). I This is called the restriction of M to Y , and is often written M Y . | If Y = V X, then we have that M Y has the form: \ |

Y = Z : Z X = ,Z (8.22) I { ∩ ∅ ∈ I} is considered a deletion of X from M, and is often written M X. \ Hence, M Y = M (V Y ), and M (V X) = M X. | \ \ | \ \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F32/40 (pg.124/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid restriction/deletion

Let M = (V, ) be a matroid and let Y V , then I ⊆

Y = Z : Z Y,Z (8.21) I { ⊆ ∈ I}

is such that MY = (Y, Y ) is a matroid with rank r(MY ) = r(Y ). I This is called the restriction of M to Y , and is often written M Y . | If Y = V X, then we have that M Y has the form: \ |

Y = Z : Z X = ,Z (8.22) I { ∩ ∅ ∈ I} is considered a deletion of X from M, and is often written M X. \ Hence, M Y = M (V Y ), and M (V X) = M X. | \ \ | \ Y \ The rank function is of the same form. I.e., rY : 2 Z+, where → rY (Z) = r(Z) for Z Y . ⊆

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F32/40 (pg.125/162) Let Z V and let X be a base of Z. Then a subset I of V Z is ⊆ \ independent in M/Z iff I X is independent in M. ∪ The rank function takes the form

r (Y ) = r(Y Z) r(Z) = r(Y Z) (8.23) M/Z ∪ − | So given I V Z and X is a base of Z, r (I) = I is identical to ⊆ \ M/Z | | r(I Z) = I + r(Z) = I + X but r(I Z) = r(I X). This ∪ | | | | | | ∪ ∪ implies r(I X) = I + X , or I X is independent in M. ∪ | | | | ∪ A minor of a matroid is any matroid obtained via a series of deletions and contractions of some matroid. In fact, it is the case M/Z = (M ∗ Z)∗ (Exercise: show why). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid contraction M/Z

Contraction is dual to deletion, and is like a forced inclusion of contained base, but with a similar ground set removal. Contracting Z is written M/Z.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F33/40 (pg.126/162) The rank function takes the form

r (Y ) = r(Y Z) r(Z) = r(Y Z) (8.23) M/Z ∪ − | So given I V Z and X is a base of Z, r (I) = I is identical to ⊆ \ M/Z | | r(I Z) = I + r(Z) = I + X but r(I Z) = r(I X). This ∪ | | | | | | ∪ ∪ implies r(I X) = I + X , or I X is independent in M. ∪ | | | | ∪ A minor of a matroid is any matroid obtained via a series of deletions and contractions of some matroid. In fact, it is the case M/Z = (M ∗ Z)∗ (Exercise: show why). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid contraction M/Z

Contraction is dual to deletion, and is like a forced inclusion of contained base, but with a similar ground set removal. Contracting Z is written M/Z. Let Z V and let X be a base of Z. Then a subset I of V Z is ⊆ \ independent in M/Z iff I X is independent in M. ∪

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F33/40 (pg.127/162) So given I V Z and X is a base of Z, r (I) = I is identical to ⊆ \ M/Z | | r(I Z) = I + r(Z) = I + X but r(I Z) = r(I X). This ∪ | | | | | | ∪ ∪ implies r(I X) = I + X , or I X is independent in M. ∪ | | | | ∪ A minor of a matroid is any matroid obtained via a series of deletions and contractions of some matroid. In fact, it is the case M/Z = (M ∗ Z)∗ (Exercise: show why). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid contraction M/Z

Contraction is dual to deletion, and is like a forced inclusion of contained base, but with a similar ground set removal. Contracting Z is written M/Z. Let Z V and let X be a base of Z. Then a subset I of V Z is ⊆ \ independent in M/Z iff I X is independent in M. ∪ The rank function takes the form

r (Y ) = r(Y Z) r(Z) = r(Y Z) (8.23) M/Z ∪ − |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F33/40 (pg.128/162) A minor of a matroid is any matroid obtained via a series of deletions and contractions of some matroid. In fact, it is the case M/Z = (M ∗ Z)∗ (Exercise: show why). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid contraction M/Z

Contraction is dual to deletion, and is like a forced inclusion of contained base, but with a similar ground set removal. Contracting Z is written M/Z. Let Z V and let X be a base of Z. Then a subset I of V Z is ⊆ \ independent in M/Z iff I X is independent in M. ∪ The rank function takes the form

r (Y ) = r(Y Z) r(Z) = r(Y Z) (8.23) M/Z ∪ − | So given I V Z and X is a base of Z, r (I) = I is identical to ⊆ \ M/Z | | r(I Z) = I + r(Z) = I + X but r(I Z) = r(I X). This ∪ | | | | | | ∪ ∪ implies r(I X) = I + X , or I X is independent in M. ∪ | | | | ∪

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F33/40 (pg.129/162) In fact, it is the case M/Z = (M ∗ Z)∗ (Exercise: show why). \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid contraction M/Z

Contraction is dual to deletion, and is like a forced inclusion of contained base, but with a similar ground set removal. Contracting Z is written M/Z. Let Z V and let X be a base of Z. Then a subset I of V Z is ⊆ \ independent in M/Z iff I X is independent in M. ∪ The rank function takes the form

r (Y ) = r(Y Z) r(Z) = r(Y Z) (8.23) M/Z ∪ − | So given I V Z and X is a base of Z, r (I) = I is identical to ⊆ \ M/Z | | r(I Z) = I + r(Z) = I + X but r(I Z) = r(I X). This ∪ | | | | | | ∪ ∪ implies r(I X) = I + X , or I X is independent in M. ∪ | | | | ∪ A minor of a matroid is any matroid obtained via a series of deletions and contractions of some matroid.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F33/40 (pg.130/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid contraction M/Z

Contraction is dual to deletion, and is like a forced inclusion of contained base, but with a similar ground set removal. Contracting Z is written M/Z. Let Z V and let X be a base of Z. Then a subset I of V Z is ⊆ \ independent in M/Z iff I X is independent in M. ∪ The rank function takes the form

r (Y ) = r(Y Z) r(Z) = r(Y Z) (8.23) M/Z ∪ − | So given I V Z and X is a base of Z, r (I) = I is identical to ⊆ \ M/Z | | r(I Z) = I + r(Z) = I + X but r(I Z) = r(I X). This ∪ | | | | | | ∪ ∪ implies r(I X) = I + X , or I X is independent in M. ∪ | | | | ∪ A minor of a matroid is any matroid obtained via a series of deletions and contractions of some matroid. In fact, it is the case M/Z = (M ∗ Z)∗ (Exercise: show why). \ Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F33/40 (pg.131/162) Theorem 8.6.1

Let M1 and M2 be given as above, with rank functions r1 and r2. Then the size of the maximum size set in 1 2 is given by I ∩ I   (r1 r2)(V ) , min r1(X) + r2(V X) (8.24) ∗ X⊆V \

This is an instance of the convolution of two submodular functions, f1 and f2 that, evaluated at Y V , is written as: ⊆   (f1 f2)(Y ) = min f1(X) + f2(Y X) (8.25) ∗ X⊆Y \

While (V, 1 2) is typically not a matroid (Exercise: show graphical I ∩ I example.), we might be interested in finding the maximum size common independent set. That is, find max X such that both | | X 1 and X 2. ∈ I ∈ I

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries

Let M1 = (V, 1) and M2 = (V, 2) be two matroids. Consider their I I common independent sets 1 2. I ∩ I

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F34/40 (pg.132/162) Theorem 8.6.1

Let M1 and M2 be given as above, with rank functions r1 and r2. Then the size of the maximum size set in 1 2 is given by I ∩ I   (r1 r2)(V ) , min r1(X) + r2(V X) (8.24) ∗ X⊆V \

This is an instance of the convolution of two submodular functions, f1 and f2 that, evaluated at Y V , is written as: ⊆   (f1 f2)(Y ) = min f1(X) + f2(Y X) (8.25) ∗ X⊆Y \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid Intersection

Let M1 = (V, 1) and M2 = (V, 2) be two matroids. Consider their I I common independent sets 1 2. I ∩ I While (V, 1 2) is typically not a matroid (Exercise: show graphical I ∩ I example.), we might be interested in finding the maximum size common independent set. That is, find max X such that both | | X 1 and X 2. ∈ I ∈ I

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F34/40 (pg.133/162) This is an instance of the convolution of two submodular functions, f1 and f2 that, evaluated at Y V , is written as: ⊆   (f1 f2)(Y ) = min f1(X) + f2(Y X) (8.25) ∗ X⊆Y \

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid Intersection

Let M1 = (V, 1) and M2 = (V, 2) be two matroids. Consider their I I common independent sets 1 2. I ∩ I While (V, 1 2) is typically not a matroid (Exercise: show graphical I ∩ I example.), we might be interested in finding the maximum size common independent set. That is, find max X such that both | | X 1 and X 2. ∈ I ∈ I Theorem 8.6.1

Let M1 and M2 be given as above, with rank functions r1 and r2. Then the size of the maximum size set in 1 2 is given by I ∩ I   (r1 r2)(V ) , min r1(X) + r2(V X) (8.24) ∗ X⊆V \

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F34/40 (pg.134/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid Intersection

Let M1 = (V, 1) and M2 = (V, 2) be two matroids. Consider their I I common independent sets 1 2. I ∩ I While (V, 1 2) is typically not a matroid (Exercise: show graphical I ∩ I example.), we might be interested in finding the maximum size common independent set. That is, find max X such that both | | X 1 and X 2. ∈ I ∈ I Theorem 8.6.1

Let M1 and M2 be given as above, with rank functions r1 and r2. Then the size of the maximum size set in 1 2 is given by I ∩ I   (r1 r2)(V ) , min r1(X) + r2(V X) (8.24) ∗ X⊆V \

This is an instance of the convolution of two submodular functions, f1 and f2 that, evaluated at Y V , is written as: ⊆   (f1 f2)(Y ) = min f1(X) + f2(Y X) (8.25) ∗ X⊆Y \ Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F34/40 (pg.135/162) Γ(X) X 0, X ⇔ | | − | | ≥ ∀ minX Γ(X) X 0 ⇔ | | − | | ≥ minX Γ(X) + V X V ⇔ | | | | − | | ≥ | | minX Γ(X) + V X V ⇔ | | | \ | ≥ | | [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | | So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · | Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.136/162) minX Γ(X) X 0 ⇔ | | − | | ≥ minX Γ(X) + V X V ⇔ | | | | − | | ≥ | | minX Γ(X) + V X V ⇔ | | | \ | ≥ | | [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | | So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · | Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | | Γ(X) X 0, X ⇔ | | − | | ≥ ∀

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.137/162) minX Γ(X) + V X V ⇔ | | | | − | | ≥ | | minX Γ(X) + V X V ⇔ | | | \ | ≥ | | [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | | So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · | Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | | Γ(X) X 0, X ⇔ | | − | | ≥ ∀ minX Γ(X) X 0 ⇔ | | − | | ≥

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.138/162)   minX Γ(X) + V X V ⇔ | | | \ | ≥ | | [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | | So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · | Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | | Γ(X) X 0, X ⇔ | | − | | ≥ ∀ minX Γ(X) X 0 ⇔ | | − | | ≥ minX Γ(X) + V X V ⇔ | | | | − | | ≥ | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.139/162) [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | | So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · | Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | | Γ(X) X 0, X ⇔ | | − | | ≥ ∀ minX Γ(X) X 0 ⇔ | | − | | ≥ minX Γ(X) + V X V ⇔ | | | | − | | ≥ | | minX Γ(X) + V X V ⇔ | | | \ | ≥ | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.140/162) So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · | Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | | Γ(X) X 0, X ⇔ | | − | | ≥ ∀ minX Γ(X) X 0 ⇔ | | − | | ≥ minX Γ(X) + V X V ⇔ | | | | − | | ≥ | | minX Γ(X) + V X V ⇔ | | | \ | ≥ | | [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.141/162) Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | | Γ(X) X 0, X ⇔ | | − | | ≥ ∀ minX Γ(X) X 0 ⇔ | | − | | ≥ minX Γ(X) + V X V ⇔ | | | | − | | ≥ | | minX Γ(X) + V X V ⇔ | | | \ | ≥ | | [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | | So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · |

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.142/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Convolution and Hall’s Theorem

Recall Hall’s theorem, that a transversal exists iff for all X V , we ⊆ have Γ(X) X . | | ≥ | | Γ(X) X 0, X ⇔ | | − | | ≥ ∀ minX Γ(X) X 0 ⇔ | | − | | ≥ minX Γ(X) + V X V ⇔ | | | | − | | ≥ | | minX Γ(X) + V X V ⇔ | | | \ | ≥ | | [Γ( ) ](V ) V ⇔ · ∗ | · | ≥ | | So Hall’s theorem can be expressed as convolution. Exercise: define g(A) = [Γ( ) ](A), prove that g is submodular. · ∗ | · | Note, in general, convolution of two submodular functions does not preserve submodularity (but in certain special cases it does).

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F35/40 (pg.143/162) Theorem 8.6.3

Let M1 = (V1, 1), M2 = (V2, 2), ... , Mk = (Vk, k) be matroids, with I I I rank functions r1, . . . , rk. Then the union of these matroids is still a matroid, having rank function   r(Y ) = min Y X + r1(X V1) + + rk(X Vk) (8.27) X⊆Y | \ | ∩ ··· ∩

for any Y V1 ...Vk. ⊆ ∪

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid Union Definition 8.6.2

Let M1 = (V1, 1), M2 = (V2, 2), ... , Mk = (Vk, k) be matroids. We I I I define the union of matroids as M1 M2 Mk = (V1 V2 Vk, 1 2 k), where ∨ ∨ · · · ∨ ] ]···] I ∨ I ∨ · · · ∨ I

I1 2 k = I1 I2 Ik I1 1,...,Ik k (8.26) ∨ I ∨ · · · ∨ I { ] ]···] | ∈ I ∈ I } Note A B designates the disjoint union of A and B. ]

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F36/40 (pg.144/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroid Union Definition 8.6.2

Let M1 = (V1, 1), M2 = (V2, 2), ... , Mk = (Vk, k) be matroids. We I I I define the union of matroids as M1 M2 Mk = (V1 V2 Vk, 1 2 k), where ∨ ∨ · · · ∨ ] ]···] I ∨ I ∨ · · · ∨ I

I1 2 k = I1 I2 Ik I1 1,...,Ik k (8.26) ∨ I ∨ · · · ∨ I { ] ]···] | ∈ I ∈ I } Note A B designates the disjoint union of A and B. ] Theorem 8.6.3

Let M1 = (V1, 1), M2 = (V2, 2), ... , Mk = (Vk, k) be matroids, with I I I rank functions r1, . . . , rk. Then the union of these matroids is still a matroid, having rank function   r(Y ) = min Y X + r1(X V1) + + rk(X Vk) (8.27) X⊆Y | \ | ∩ ··· ∩ for any Y V1 ...Vk. ⊆ ∪ Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F36/40 (pg.145/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Exercise: Matroid Union, and Matroid duality

Exercise: Describe M M ∗. ∨

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F37/40 (pg.146/162) (a) The only (b) The two (c) The four (d) The eight matroid with zero one-element two-element three-element elements. matroids. matroids. matroids. This is a nice way to show matroids with low ground set sizes. What about matroids that are low rank but with many elements?

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroids of three or fewer elements are graphic

All matroids up to and including three elements (edges) are graphic.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F38/40 (pg.147/162) This is a nice way to show matroids with low ground set sizes. What about matroids that are low rank but with many elements?

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroids of three or fewer elements are graphic

All matroids up to and including three elements (edges) are graphic.

(a) The only (b) The two (c) The four (d) The eight matroid with zero one-element two-element three-element elements. matroids. matroids. matroids.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F38/40 (pg.148/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Matroids of three or fewer elements are graphic

All matroids up to and including three elements (edges) are graphic.

(a) The only (b) The two (c) The four (d) The eight matroid with zero one-element two-element three-element elements. matroids. matroids. matroids. This is a nice way to show matroids with low ground set sizes. What about matroids that are low rank but with many elements? Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F38/40 (pg.149/162) Proposition 8.7.1 (affine matroid) Let ground set E = 1, . . . , m index column vectors of a matrix, and let { } I be the set of subsets X of E such that X indices affinely independent vectors. Then (E, ) is a matroid. I Exercise: prove this.

Otherwise, the set is called affinely independent. Concisely: points v1, v2, . . . , vk are affinely independent if { } v2 v1, v3 v1, . . . , vk v1 are linearly independent. − − − Example: in 2D, three collinear points are affinely dependent, three non-collear points are affinely independent, and 4 non-collinear ≥ points are affinely dependent.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Affine Matroids Given an n m matrix with entries over some field F, we say that a × subset S 1, . . . , m of indices (with corresponding column vectors ⊆ { } vi : i S , with S = k) is affinely dependent if m 1 and there { ∈ } | | P≥k exists elements a1, . . . , ak F, not all zero with i=1 ai = 0, such Pk { } ∈ that i=1 aivi = 0.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F39/40 (pg.150/162) Proposition 8.7.1 (affine matroid) Let ground set E = 1, . . . , m index column vectors of a matrix, and let { } I be the set of subsets X of E such that X indices affinely independent vectors. Then (E, ) is a matroid. I Exercise: prove this.

Concisely: points v1, v2, . . . , vk are affinely independent if { } v2 v1, v3 v1, . . . , vk v1 are linearly independent. − − − Example: in 2D, three collinear points are affinely dependent, three non-collear points are affinely independent, and 4 non-collinear ≥ points are affinely dependent.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Affine Matroids Given an n m matrix with entries over some field F, we say that a × subset S 1, . . . , m of indices (with corresponding column vectors ⊆ { } vi : i S , with S = k) is affinely dependent if m 1 and there { ∈ } | | P≥k exists elements a1, . . . , ak F, not all zero with i=1 ai = 0, such Pk { } ∈ that i=1 aivi = 0. Otherwise, the set is called affinely independent.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F39/40 (pg.151/162) Proposition 8.7.1 (affine matroid) Let ground set E = 1, . . . , m index column vectors of a matrix, and let { } I be the set of subsets X of E such that X indices affinely independent vectors. Then (E, ) is a matroid. I Exercise: prove this.

Example: in 2D, three collinear points are affinely dependent, three non-collear points are affinely independent, and 4 non-collinear ≥ points are affinely dependent.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Affine Matroids Given an n m matrix with entries over some field F, we say that a × subset S 1, . . . , m of indices (with corresponding column vectors ⊆ { } vi : i S , with S = k) is affinely dependent if m 1 and there { ∈ } | | P≥k exists elements a1, . . . , ak F, not all zero with i=1 ai = 0, such Pk { } ∈ that i=1 aivi = 0. Otherwise, the set is called affinely independent. Concisely: points v1, v2, . . . , vk are affinely independent if { } v2 v1, v3 v1, . . . , vk v1 are linearly independent. − − −

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F39/40 (pg.152/162) Proposition 8.7.1 (affine matroid) Let ground set E = 1, . . . , m index column vectors of a matrix, and let { } I be the set of subsets X of E such that X indices affinely independent vectors. Then (E, ) is a matroid. I Exercise: prove this.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Affine Matroids Given an n m matrix with entries over some field F, we say that a × subset S 1, . . . , m of indices (with corresponding column vectors ⊆ { } vi : i S , with S = k) is affinely dependent if m 1 and there { ∈ } | | P≥k exists elements a1, . . . , ak F, not all zero with i=1 ai = 0, such Pk { } ∈ that i=1 aivi = 0. Otherwise, the set is called affinely independent. Concisely: points v1, v2, . . . , vk are affinely independent if { } v2 v1, v3 v1, . . . , vk v1 are linearly independent. − − − Example: in 2D, three collinear points are affinely dependent, three non-collear points are affinely independent, and 4 non-collinear ≥ points are affinely dependent.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F39/40 (pg.153/162) Exercise: prove this.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Affine Matroids Given an n m matrix with entries over some field F, we say that a × subset S 1, . . . , m of indices (with corresponding column vectors ⊆ { } vi : i S , with S = k) is affinely dependent if m 1 and there { ∈ } | | P≥k exists elements a1, . . . , ak F, not all zero with i=1 ai = 0, such Pk { } ∈ that i=1 aivi = 0. Otherwise, the set is called affinely independent. Concisely: points v1, v2, . . . , vk are affinely independent if { } v2 v1, v3 v1, . . . , vk v1 are linearly independent. − − − Example: in 2D, three collinear points are affinely dependent, three non-collear points are affinely independent, and 4 non-collinear ≥ points are affinely dependent. Proposition 8.7.1 (affine matroid) Let ground set E = 1, . . . , m index column vectors of a matrix, and let { } I be the set of subsets X of E such that X indices affinely independent vectors. Then (E, ) is a matroid. I

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F39/40 (pg.154/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Affine Matroids Given an n m matrix with entries over some field F, we say that a × subset S 1, . . . , m of indices (with corresponding column vectors ⊆ { } vi : i S , with S = k) is affinely dependent if m 1 and there { ∈ } | | P≥k exists elements a1, . . . , ak F, not all zero with i=1 ai = 0, such Pk { } ∈ that i=1 aivi = 0. Otherwise, the set is called affinely independent. Concisely: points v1, v2, . . . , vk are affinely independent if { } v2 v1, v3 v1, . . . , vk v1 are linearly independent. − − − Example: in 2D, three collinear points are affinely dependent, three non-collear points are affinely independent, and 4 non-collinear ≥ points are affinely dependent. Proposition 8.7.1 (affine matroid) Let ground set E = 1, . . . , m index column vectors of a matrix, and let { } I be the set of subsets X of E such that X indices affinely independent vectors. Then (E, ) is a matroid. I Exercise: prove this. Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F39/40 (pg.155/162) 2 We can plot the points in R as on the right: Points have rank 1, lines have rank 2, planes have rank 3. y Flats (points, lines, planes, etc.) have rank equal (2,0) to one more than their geometric dimension.

Any two points constitute a line, but lines with (1,0) (1,1) only two points are not drawn. Lines indicate collinear sets with 3 points, while ≥ x any two points have rank 2. (0,0) (0,1) (0,2) Dependent sets consist of all subsets with 4 ≥ elements (rank 3), or 3 collinear elements (rank 2). Any two points have rank 2.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Euclidean Representation of Low-rank Matroids

Consider the affine matroid with n m = 2 6 matrix on the field × × F = R, and let the elements be (0, 0), (1, 0), (2, 0), (0, 1), (0, 2), (1, 1) . { }

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F40/40 (pg.156/162) Points have rank 1, lines have rank 2, planes have rank 3. Flats (points, lines, planes, etc.) have rank equal to one more than their geometric dimension. Any two points constitute a line, but lines with only two points are not drawn. Lines indicate collinear sets with 3 points, while ≥ any two points have rank 2. Dependent sets consist of all subsets with 4 ≥ elements (rank 3), or 3 collinear elements (rank 2). Any two points have rank 2.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Euclidean Representation of Low-rank Matroids

Consider the affine matroid with n m = 2 6 matrix on the field × × F = R, and let the elements be (0, 0), (1, 0), (2, 0), (0, 1), (0, 2), (1, 1) . 2 { } We can plot the points in R as on the right:

y (2,0)

(1,0) (1,1)

(0,0) (0,1) (0,2) x

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F40/40 (pg.157/162) Flats (points, lines, planes, etc.) have rank equal to one more than their geometric dimension. Any two points constitute a line, but lines with only two points are not drawn. Lines indicate collinear sets with 3 points, while ≥ any two points have rank 2. Dependent sets consist of all subsets with 4 ≥ elements (rank 3), or 3 collinear elements (rank 2). Any two points have rank 2.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Euclidean Representation of Low-rank Matroids

Consider the affine matroid with n m = 2 6 matrix on the field × × F = R, and let the elements be (0, 0), (1, 0), (2, 0), (0, 1), (0, 2), (1, 1) . 2 { } We can plot the points in R as on the right: Points have rank 1, lines have rank 2, planes have rank 3. y (2,0)

(1,0) (1,1)

(0,0) (0,1) (0,2) x

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F40/40 (pg.158/162) Any two points constitute a line, but lines with only two points are not drawn. Lines indicate collinear sets with 3 points, while ≥ any two points have rank 2. Dependent sets consist of all subsets with 4 ≥ elements (rank 3), or 3 collinear elements (rank 2). Any two points have rank 2.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Euclidean Representation of Low-rank Matroids

Consider the affine matroid with n m = 2 6 matrix on the field × × F = R, and let the elements be (0, 0), (1, 0), (2, 0), (0, 1), (0, 2), (1, 1) . 2 { } We can plot the points in R as on the right: Points have rank 1, lines have rank 2, planes have rank 3. y Flats (points, lines, planes, etc.) have rank equal (2,0) to one more than their geometric dimension.

(1,0) (1,1)

(0,0) (0,1) (0,2) x

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F40/40 (pg.159/162) Lines indicate collinear sets with 3 points, while ≥ any two points have rank 2. Dependent sets consist of all subsets with 4 ≥ elements (rank 3), or 3 collinear elements (rank 2). Any two points have rank 2.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Euclidean Representation of Low-rank Matroids

Consider the affine matroid with n m = 2 6 matrix on the field × × F = R, and let the elements be (0, 0), (1, 0), (2, 0), (0, 1), (0, 2), (1, 1) . 2 { } We can plot the points in R as on the right: Points have rank 1, lines have rank 2, planes have rank 3. y Flats (points, lines, planes, etc.) have rank equal (2,0) to one more than their geometric dimension.

Any two points constitute a line, but lines with (1,0) (1,1) only two points are not drawn.

(0,0) (0,1) (0,2) x

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F40/40 (pg.160/162) Dependent sets consist of all subsets with 4 ≥ elements (rank 3), or 3 collinear elements (rank 2). Any two points have rank 2.

Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Euclidean Representation of Low-rank Matroids

Consider the affine matroid with n m = 2 6 matrix on the field × × F = R, and let the elements be (0, 0), (1, 0), (2, 0), (0, 1), (0, 2), (1, 1) . 2 { } We can plot the points in R as on the right: Points have rank 1, lines have rank 2, planes have rank 3. y Flats (points, lines, planes, etc.) have rank equal (2,0) to one more than their geometric dimension.

Any two points constitute a line, but lines with (1,0) (1,1) only two points are not drawn. Lines indicate collinear sets with 3 points, while ≥ x any two points have rank 2. (0,0) (0,1) (0,2)

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F40/40 (pg.161/162) Transversal Matroid Matroid and representation Dual Matroid Other Matroid Properties Combinatorial Geometries Euclidean Representation of Low-rank Matroids

Consider the affine matroid with n m = 2 6 matrix on the field × × F = R, and let the elements be (0, 0), (1, 0), (2, 0), (0, 1), (0, 2), (1, 1) . 2 { } We can plot the points in R as on the right: Points have rank 1, lines have rank 2, planes have rank 3. y Flats (points, lines, planes, etc.) have rank equal (2,0) to one more than their geometric dimension.

Any two points constitute a line, but lines with (1,0) (1,1) only two points are not drawn. Lines indicate collinear sets with 3 points, while ≥ x any two points have rank 2. (0,0) (0,1) (0,2) Dependent sets consist of all subsets with 4 ≥ elements (rank 3), or 3 collinear elements (rank 2). Any two points have rank 2.

Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F40/40 (pg.162/162)