MENGER'S THEOREM AND MATROIDS
|
|
- Clifton Thornton
- 5 years ago
- Views:
Transcription
1 MENGER'S THEOREM AND MATROIDS R. A. BRUALDI 1. Introduction Let G be a finite directed graph with X, Y disjoint subsets of the nodes of G. Menger's theorem [6] asserts that the maximum cardinal number of a set 0 of pairwise node disjoint paths from X to Y equals the minimum cardinal number of a set which separates X from Y. A special case of Menger's theorem occurs when all the edges of G have initial node in X and terminal node in Y (the bipartite situation). The resulting special case is the well-known Konig duality theorem [5]. In [1,2 and 3] generalizations of Konig's theorem were obtained by assuming that X and Y had matroids defined on them and then requiring that the set of initial (resp. terminal) nodes of 0 be independent in the matroid on X (resp. Y). The case where Y only had a matroid defined on it had already been handled by Rado [8]. Our purpose in this note is to raise Menger's theorem to the same level of generality. 2. Matroids We present here those aspects of matroid theory which are required for the statement and proof of our main result. Let be a finite set. A matroid [11] 8 on E is a non-empty collection of subsets of E, called independent sets, satisfying: (i) Ae$, A' L A imply A'e&, (ii)a l,a 2 e& i I-/4J + 1 = /I 2 implythereisan A;6y4 2 \-4 1 with^ u {x}es. Subsets of E which are not in & are called dependent sets. Each subset A of E has a welldefined rank, r(a), which is equal to the common cardinal number of all maximal independent subsets of A. The rank of the matroid $ is r{e). A maximal independent subset of is a basis of S. For A c E the closure of A is defined by: Put another way, the closure of A consists of the elements of A along with those elements of E\A which depend on A. If cl (A) = A, we call A a.flat (or a closed set). Thus if A is closed and y A, r(a u {y}) = r(a) +1. If $ is a matroid on E and F ^ E, then $ F = {A F : A e S) is a matroid on F, called the restriction of $ to F. Obviously the rank functions of and 8 F agree on subsets of F; we will not distinguish them. Let B be a basis of $E\F- Then $ F = {A ^ F \ AKJ BsS) is a matroid on F, called the contraction of $ to F. The contraction & 0F does not depend on the choice of basis B of & \ F (see [1] and also [2]). If r F denotes the rank function of F, then = r{akj{e\f})-r{e\f), for all A^F. If E u E 2 are disjoint sets and S u t are matroids on E t, E 2 respectively, then S y & 2 - {^i v A 2 : AiG&i (i = 1, 2)} is a matroid on JE ± u E 2, called the direct Received 18 June, Research supported by a N.A.T.O. postdoctoral fellowship at the University of Sheffield. [J. LONDON MATH. SOC. (2), 4 (1971), 46-50]
2 MENGER'S THEOREM AND MATROIDS 47 sum of i x and S 2. If F t E t (i = 1, 2), then r(f x u F 2 ) = r^f^+r 2^) where r, r 1, r 2 denote the rank functions of ^ <? 2, S u S 2 respectively. If is an arbitrary finite set, then the collection &{E) of all subsets of is obviously a matroid. 3. Main result Let G be a finite directed graph whose set of nodes is N. By a path 9 in G we mean a linearly ordered sequence (x u x 2,..., * ) of n ^ 2 distinct nodes of G with (x f, A',+I) an edge of G (1 ^ i < n). The initial node of 0 is x l5 denoted by In 0, while the terminal node of 0 is x n, denoted by Ter0. If 0 is a collection of paths, then In 0 = {In0 : 0 e 0} and Ter 0 = {Ter0 : 9 e 0}. The set of nodes of the path 9 = (xj, x 2,..., x n ) is Nod0 = {x lt x 2,..., x n }. If 0 is a set of paths in G, then 0 is pairwise node disjoint provided the sets Nod 9 (9 e 0) form a pairwise disjoint collection of sets. If 9 l = (x l}..., x n ) and 9 2 = (x n,..., x m ) are paths having only the node x n in common, then 9 X.9 2 is tne P atn ( x u > ^n» > **.) Let X and 7 be sets of nodes of G and let <^>1, ^2 be matroids on X, Y with rank functions r 1, r 2, respectively. In what is to follow we are to be interested in paths from X to Y (paths with initial node in X and terminal node in Y). There is no loss in generality if we then assume that X and Y are disjoint sets with each edge (z ls z 2 ) with {z u z 2 } r\x T 0 satisfying z x ex,z 2 $X and each edge (z ls z 2 ) with {z t,z 2 }n Y # 0 satisfying z x $ Y, z 2 e Y. This is because we may select sets X* = {x* : x e X}, Y* = {y*:yey} where \X\ = Z*, Y = \Y% and X*, 7*, N are pairwise disjoint, and consider instead of G the graph G* whose set of nodes is N u AT* u 7* and whose set of edges consists of those edges of G along with the edges {{x*,x):xex}u{(y,y*):yey}. We may then carry the matroid structures on X, 7 over to X*, 7*, respectively. We thus make the above assumption on G so that, in particular, every path from X to 7 has only its initial node in X and its terminal node in 7. A subset Z of the nodes of G is called a separating set (for the sets X, 7 with matroids S x, S 2 respectively) provided every path 9 from X to 7 satisfies {Nod 9} r\z # 0. The index of the separating set Z is H(Z) = r\z n X)+r\Z n Y) + \Z\{X u 7}. The definition of a separating set could be modified by insisting in the above definition that Z n X is a flat of the matroid i x on X and that Z n 7 is a flat of <T 2 on 7. It could also be modified by saying that Z is a separating set provided In0 ecl^z n X), Ter 0 e cl 2 (Z n 7) or {Nod0} n Z # 0 for all paths 0 of G from Z to 7 (cl' denotes the closure operator for <T (i = 1, 2)). No matter what definition is used the following theorem is true. THEOREM. The maximum cardinal number of a set 0 of pairwise node disjoint paths from X to 7 with InOe^1 and Ter0e<f 2 equals the minimum index of a separating set. In the proof presented below we shall be guided by both Pym's recent simplification [7] of Dime's proof [4] of Menger's theorem and the proof of the result for the bipartite situation as given in [1] and [3].
3 48 R. A. BRUALDI Let 0 be a collection of pairwise node disjoint paths from X to Y with In Ter0eS 2, and let Z be a separating set with Z 1 =ZnX, Z 2 =Zr>Y, Z o = Z\{Z t vz 2 ). Let 0! s 0 consist of those paths 0 with In0eZ 1} 0 2 g0 consist of those paths 0 with Ter0eZ 2, and 0 o = 0\{0 x u 0 2 }. Since In < * I0J < T X {Z^), and since Ter Ge^2, 0 2 ^ r 2 (Z 2 ). All paths in 0 o must contain a node of Z o ; since paths in 0 and hence in 0 O are pairwise node disjoint, 0 O < Z 0. Hence l l < l il + l 2l + l ol < r l (Z 1 )+r 2 {Z 2 ) + \Z 0 \ = /i(z). Thus if A: is the minimum index of a separating set, to complete the proof we need only show that there is a set of k pairwise node disjoint paths from X to Y whose initial (resp. terminal) nodes comprise an independent set of 8 x (resp. S 2 ). We prove this by induction on the number of edges of G. If G has only one edge, this is readily verified. Otherwise we distinguish two cases. We may assume each node of X and each node of Y is incident with at least one edge of G. Case 1. Every separating set Z with index k satisfies Z = X or Z = Y. Let x, z be nodes with xex and (x,z) an edge of G. Consider the graph G' obtained from G by removing the edge (x, z) only, and consider still the sets X, Y and matroids S 1 and S 1. If all separating sets W relative to G' have index p'(w) ^ k, then the conclusion follows by induction. Otherwise there is a separating set W relative to G' with n'{w) < k. But then W VJ {x} is a separating set relative to G with H(W u {x}) < k; we must have equality and since xex, W u {x} <= X. Likewise W \J {y} is a separating set relative to G with index k, and since z$x, W KJ {Z} S Y. Since Xn7 = 0, this means W = 0, k = 1, {x}e l, {z}e 2. The path (x,z) is of the type desired. Case 2. There is a separating set Z with index k with Z ^ X, Z # Y. Let Z l =ZriX,Z 2 =Zr\Y, and Z o = Z\{Z X uz 2 }. Let G 1 be the graph consisting of those nodes and edges on paths 6 of G with InfleX! = X\Z lt TerQeZ 0 vz 2, and no other nodes in common with X\Z t or Z o uz 2. The graph G 1 has fewer edges than G since no edge with terminal node in Y\Z can belong to G 1. Consider the disjoint sets X t and Z o u Z 2 with matroid <f Xl on X t and matroid ^(Z o ) < f 2 on Z o u Z 2. Suppose, relative to these considerations, there were a separating set A with index n l (A) < k r^iz^). Consider A\JZ± and let 9 be any path in G from X to 7. If Intf^ and Ter0^Z 2, then {Nod 0} nz o?t 0; hence an initial segment of 0 is a path from X t to Z o in G 1 so that {Nod0} n{ This means ^4 u Z t is a set separating X from 7; moreover = r 1^ n X} uzj+r 2^ n Y) + 4\{* u y} = r 1 Xl(AnX)+r\Z 1 )+r\an Y) + \A\{Xu Y}\ This is a contradiction. Hence by induction there is a set Q t of paths in G 1 with In ^^^, and Ter 0 X e ^(Z o ) «^ 2. In particular Ter i = Z o u B 2,
4 MENGER'S THEOREM AND MATROIDS 49 where B 2 is a basis of <^ 2. It follows by an analogous argument that if G 2 is the graph consisting of those nodes and edges on paths 0 in G with InfleZj uz 0) Ter 0 e Y 2 = ^\Z 2 and no other nodes in common with Z t u Z o or Y\Z 2, then there is a set 0 2 of k r z (Z 2 ) = r x {Z 1 )-\-\Z 0 \ pairwise node disjoint paths in G 2 with In 0 G 2 &zi ^( z o) and with Ter 0 2 e % Y2. In particular In 0 2 = J3 X u Z o where B x is a basis of S^. The paths in Q 1 and 0 2 can have only the nodes of Z o in common; otherwise the separating property of Z is violated. The collection 0 = {9 1 & i 1 2 } { } {9,.0 2 : 0! G i, 0 2 e 0 2, Ter0 x = In0 2 ez o } is a collection of pairwise node disjoint paths in G with In 0 = B x u In 0 t e g 1 and Ter 0 = B 2 u Ter 0 2 G 8 2. This completes the proof. If it is assumed that X n 7 = 0 and that the only nodes of paths in X and Y are the initial node in X and terminal node in Y, then the notion of a separating set needs to be replaced by that of a separating triple (Z 1,Z 0,Z 2 ) where Z x X, Z 2 ^ Y and every path 0 from X to Y satisfies In 0 G Z 1} Ter 0 GZ 2, or If the index of a separating triple is defined by ^1(Z 1 )+r 2 (Z 2 ) + Z 0, the preceding theorem remains valid provided degenerate paths consisting of one node are permitted. This extension can be derived from the preceding theorem by introducing new nodes and edges as explained previously. As an example consider the graph whose set of nodes is {x u x 2, y} and set of edges is (x u x 2 ) and (x 2, y) with matroid S 1 = {0, {xj} on X = {x u x 2 } and matroid S 2 = {0, {y}} on Y = {y}. If one uses the notion of a separating set as before, then {x 2 } is a separating set with index 0; on the other hand the path 0 = (x lt x 2, y) satisfies {In9}eS x, {Ter0} G S 2. Examples of separating triples with index 1 are ({xj, 0, 0) or (0, {x 2 }, 0) or ({x 2 }, {x 2 }, 0). We could have proved the theorem directly in this more general setting, but we have chosen not to. Another way to prove the theorem is as follows. If i z consists of those sets A X such that there is a set 0 of pairwise node disjoint paths from X to Y with In 0 = A, Ter 0 G S 2, then it is not difficult to show that $ 3 is a matroid on X. Thus in the theorem we are investigating the maximum cardinality of a subset of X which is independent in both S 1 and # 3. One can then use the method in [10] provided one can find a formula for the rank function of S 3. A special case of our theorem gives such a formula. It does not seem easier to prove this special case and pass to the general case as indicated above. (This method was suggested to me by D. J. A. Welsh.) From our theorem the rank function for S 2 (assuming X n Y = 0, etc., but with extensions as already indicated) is given by r\a) = min {r\z n Y) + Z\y }, where the minimum is taken over all sets Z separating A from Y. Finally we remark that the theorem remains true for infinite graphs. If there are no separating sets of finite index, then there are arbitrarily large collections 0 of paths of the type desired, while if there is a separating set of finite index, the theorem JOUR. 13
5 50 MENGER'S THEOREM AND MATROIDS remains true as given. The transition to infinite graphs can be accomplished in much the same way as Erdos has extended Menger's theorem to infinite graphs (see [5; pp ]). References 1. R. A. Brualdi, " Symmetrized form of R. Rado's theorem on independent representatives ", unpublished paper (1967). 2. f " Admissible mappings between dependence structures, Proc. London Math. Soc. (3), 21 (1970), , A general theorem concerning common transversals. Proceedings of the 1969 Oxford conference on combinatorial mathematics edited by D. J. A. Welsh (Academic Press) G. A. Dirac, " Short proof of Menger's theorem ", Mathematika, 13 (1966), D. Konig, Theorie der endlichen und unenlichen Graphen (Chelsea, New York, 1950). 6. K. Menger, " Zur allgemeinem Kurventheorie ", Fund. Math., 10 (1924), J. S. Pym, " A proof of Menger's theorem ", Monatch. Math., 73 (1969), R. Rado, "A theorem on independence relations", Quart. J. Math. Oxford Ser., 13 (1942), W. T. Tutte, " Lectures on matroids ", /. Res. Nat. Bur. Standards, 69B (1965), D. J. A. Welsh, " On matroid theorems of Edmonds and Rado ", /. London Math. Soc. (2), 2 (1970), H. Whitney, " On the abstract properties of linear dependence ", Amer. J. Math., 57 (1935), University of Sheffield, and University of Wisconsin.
On the intersection of infinite matroids
On the intersection of infinite matroids Elad Aigner-Horev Johannes Carmesin Jan-Oliver Fröhlich University of Hamburg 9 July 2012 Abstract We show that the infinite matroid intersection conjecture of
More informationTHE NUMBER OF LOCALLY RESTRICTED DIRECTED GRAPHS1
THE NUMBER OF LOCALLY RESTRICTED DIRECTED GRAPHS1 LEO KATZ AND JAMES H. POWELL 1. Preliminaries. We shall be concerned with finite graphs of / directed lines on n points, or nodes. The lines are joins
More informationON SIZE, CIRCUMFERENCE AND CIRCUIT REMOVAL IN 3 CONNECTED MATROIDS
ON SIZE, CIRCUMFERENCE AND CIRCUIT REMOVAL IN 3 CONNECTED MATROIDS MANOEL LEMOS AND JAMES OXLEY Abstract. This paper proves several extremal results for 3-connected matroids. In particular, it is shown
More informationA MATROID EXTENSION RESULT
A MATROID EXTENSION RESULT JAMES OXLEY Abstract. Adding elements to matroids can be fraught with difficulty. In the Vámos matroid V 8, there are four independent sets X 1, X 2, X 3, and X 4 such that (X
More informationFinite connectivity in infinite matroids
Finite connectivity in infinite matroids Henning Bruhn Paul Wollan Abstract We introduce a connectivity function for infinite matroids with properties similar to the connectivity function of a finite matroid,
More informationCombinatorial Batch Codes and Transversal Matroids
Combinatorial Batch Codes and Transversal Matroids Richard A. Brualdi, Kathleen P. Kiernan, Seth A. Meyer, Michael W. Schroeder Department of Mathematics University of Wisconsin Madison, WI 53706 {brualdi,kiernan,smeyer,schroede}@math.wisc.edu
More informationMinimal Paths and Cycles in Set Systems
Minimal Paths and Cycles in Set Systems Dhruv Mubayi Jacques Verstraëte July 9, 006 Abstract A minimal k-cycle is a family of sets A 0,..., A k 1 for which A i A j if and only if i = j or i and j are consecutive
More informationSubmodular Functions, Optimization, and Applications to Machine Learning
Submodular Functions, Optimization, and Applications to Machine Learning Spring Quarter, Lecture http://www.ee.washington.edu/people/faculty/bilmes/classes/eeb_spring_0/ Prof. Jeff Bilmes University of
More informationR u t c o r Research R e p o r t. Uniform partitions and Erdös-Ko-Rado Theorem a. Vladimir Gurvich b. RRR , August, 2009
R u t c o r Research R e p o r t Uniform partitions and Erdös-Ko-Rado Theorem a Vladimir Gurvich b RRR 16-2009, August, 2009 RUTCOR Rutgers Center for Operations Research Rutgers University 640 Bartholomew
More informationDiskrete Mathematik und Optimierung
Diskrete Mathematik und Optimierung Winfried Hochstättler Michael Wilhelmi: Sticky matroids and Kantor s Conjecture Technical Report feu-dmo044.17 Contact: {Winfried.Hochstaettler, Michael.Wilhelmi}@fernuni-hagen.de
More informationCombinatorial Optimisation, Problems I, Solutions Term /2015
/0/205 Combinatorial Optimisation, Problems I, Solutions Term 2 204/205 Tomasz Tkocz, t (dot) tkocz (at) warwick (dot) ac (dot) uk 3. By Problem 2, any tree which is not a single vertex has at least 2
More informationIntroduction to Graph Theory
Introduction to Graph Theory George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 351 George Voutsadakis (LSSU) Introduction to Graph Theory August 2018 1 /
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationTUTTE POLYNOMIALS OF GENERALIZED PARALLEL CONNECTIONS
TUTTE POLYNOMIALS OF GENERALIZED PARALLEL CONNECTIONS JOSEPH E. BONIN AND ANNA DE MIER ABSTRACT. We use weighted characteristic polynomials to compute Tutte polynomials of generalized parallel connections
More informationSergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada. and
NON-PLANAR EXTENSIONS OF SUBDIVISIONS OF PLANAR GRAPHS Sergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada and Robin Thomas 1 School of Mathematics
More informationTHE NUMBER OF POINTS IN A COMBINATORIAL GEOMETRY WITH NO 8-POINT-LINE MINORS
THE NUMBER OF POINTS IN A COMBINATORIAL GEOMETRY WITH NO 8-POINT-LINE MINORS JOSEPH E. BONIN AND JOSEPH P. S. KUNG ABSTRACT. We show that when n is greater than 3, the number of points in a combinatorial
More informationSpanning Paths in Infinite Planar Graphs
Spanning Paths in Infinite Planar Graphs Nathaniel Dean AT&T, ROOM 2C-415 600 MOUNTAIN AVENUE MURRAY HILL, NEW JERSEY 07974-0636, USA Robin Thomas* Xingxing Yu SCHOOL OF MATHEMATICS GEORGIA INSTITUTE OF
More informationThe Erdős-Menger conjecture for source/sink sets with disjoint closures
1 The Erdős-Menger conjecture for source/sink sets with disjoint closures Reinhard Diestel Erdős conjectured that, given an infinite graph G and vertex sets A, B V (G), there exist a set P of disjoint
More informationDisjoint Hamiltonian Cycles in Bipartite Graphs
Disjoint Hamiltonian Cycles in Bipartite Graphs Michael Ferrara 1, Ronald Gould 1, Gerard Tansey 1 Thor Whalen Abstract Let G = (X, Y ) be a bipartite graph and define σ (G) = min{d(x) + d(y) : xy / E(G),
More informationParity Versions of 2-Connectedness
Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida
More informationDiskrete Mathematik und Optimierung
Diskrete Mathematik und Optimierung Winfried Hochstättler, Robert Nickel: On the Chromatic Number of an Oriented Matroid Technical Report feu-dmo007.07 Contact: winfried.hochstaettler@fernuni-hagen.de
More informationSubmodular Functions, Optimization, and Applications to Machine Learning
Submodular Functions, Optimization, and Applications to Machine Learning Spring Quarter, Lecture http://www.ee.washington.edu/people/faculty/bilmes/classes/ee_spring_0/ Prof. Jeff Bilmes University of
More informationON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II
To the memory of my Mother ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II KRZYSZTOF P LOTKA Abstract. We say that a function h: R R is a Hamel function (h HF) if h, considered as a subset of R 2, is a Hamel
More informationDirac s Map-Color Theorem for Choosability
Dirac s Map-Color Theorem for Choosability T. Böhme B. Mohar Technical University of Ilmenau, University of Ljubljana, D-98684 Ilmenau, Germany Jadranska 19, 1111 Ljubljana, Slovenia M. Stiebitz Technical
More informationON REPRESENTATIVES OF SUBSETS
26 P. HALL ON REPRESENTATIVES OF SUBSETS P. HALL - 1. Let a set S of raw things be divided into m classes of n things each in two distinct ways, (a) and (6); so that there are m (a)-classes and m (6)-classes.
More informationMatroids on graphs. Brigitte Servatius Worcester Polytechnic Institute. First Prev Next Last Go Back Full Screen Close Quit
on K n on graphs Brigitte Servatius Worcester Polytechnic Institute Page 1 of 35 on K n Page 2 of 35 1. Whitney [9] defined a matroid M on a set E: M = (E, I) E is a finite set I is a collection of subsets
More informationANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99
ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS N. HEGYVÁRI, F. HENNECART AND A. PLAGNE Abstract. We study the gaps in the sequence of sums of h pairwise distinct elements
More informationTHE STRUCTURE OF 3-CONNECTED MATROIDS OF PATH WIDTH THREE
THE STRUCTURE OF 3-CONNECTED MATROIDS OF PATH WIDTH THREE RHIANNON HALL, JAMES OXLEY, AND CHARLES SEMPLE Abstract. A 3-connected matroid M is sequential or has path width 3 if its ground set E(M) has a
More informationMaximum union-free subfamilies
Maximum union-free subfamilies Jacob Fox Choongbum Lee Benny Sudakov Abstract An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called
More informationMatroid Optimisation Problems with Nested Non-linear Monomials in the Objective Function
atroid Optimisation Problems with Nested Non-linear onomials in the Objective Function Anja Fischer Frank Fischer S. Thomas ccormick 14th arch 2016 Abstract Recently, Buchheim and Klein [4] suggested to
More informationAdvanced Topics in Discrete Math: Graph Theory Fall 2010
21-801 Advanced Topics in Discrete Math: Graph Theory Fall 2010 Prof. Andrzej Dudek notes by Brendan Sullivan October 18, 2010 Contents 0 Introduction 1 1 Matchings 1 1.1 Matchings in Bipartite Graphs...................................
More informationarxiv: v1 [math.co] 28 Oct 2016
More on foxes arxiv:1610.09093v1 [math.co] 8 Oct 016 Matthias Kriesell Abstract Jens M. Schmidt An edge in a k-connected graph G is called k-contractible if the graph G/e obtained from G by contracting
More information1 Matroid intersection
CS 369P: Polyhedral techniques in combinatorial optimization Instructor: Jan Vondrák Lecture date: October 21st, 2010 Scribe: Bernd Bandemer 1 Matroid intersection Given two matroids M 1 = (E, I 1 ) and
More informationOn the Length of a Partial Independent Transversal in a Matroidal Latin Square
On the Length of a Partial Independent Transversal in a Matroidal Latin Square Daniel Kotlar Department of Computer Science Tel-Hai College Upper Galilee 12210, Israel dannykot@telhai.ac.il Ran Ziv Department
More informationMatroid intersection, base packing and base covering for infinite matroids
Matroid intersection, base packing and base covering for infinite matroids Nathan Bowler Johannes Carmesin June 25, 2014 Abstract As part of the recent developments in infinite matroid theory, there have
More informationTree sets. Reinhard Diestel
1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked
More informationMatroids/1. I and I 2 ,I 2 > I 1
Matroids 1 Definition A matroid is an abstraction of the notion of linear independence in a vector space. See Oxley [6], Welsh [7] for further information about matroids. A matroid is a pair (E,I ), where
More information4. Duality Duality 4.1 Duality of LPs and the duality theorem. min c T x x R n, c R n. s.t. ai Tx = b i i M a i R n
2 4. Duality of LPs and the duality theorem... 22 4.2 Complementary slackness... 23 4.3 The shortest path problem and its dual... 24 4.4 Farkas' Lemma... 25 4.5 Dual information in the tableau... 26 4.6
More informationKatarzyna Mieczkowska
Katarzyna Mieczkowska Uniwersytet A. Mickiewicza w Poznaniu Erdős conjecture on matchings in hypergraphs Praca semestralna nr 1 (semestr letni 010/11 Opiekun pracy: Tomasz Łuczak ERDŐS CONJECTURE ON MATCHINGS
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationTUTTE POLYNOMIALS OF q-cones
TUTTE POLYNOMIALS OF q-cones JOSEPH E. BONIN AND HONGXUN QIN ABSTRACT. We derive a formula for the Tutte polynomial t(g ; x, y) of a q-cone G of a GF (q)-representable geometry G in terms of t(g; x, y).
More informationMONOTONE SUBNETS IN PARTIALLY ORDERED SETS
MONOTONE SUBNETS IN PARTIALLY ORDERED SETS R. W. HANSELL 1. Introduction. Let X be a partially ordered set (poset) with respect to a relation ^. We assume, for convenience of notation only, that X has
More informationThe Intersection Theorem for Direct Products
Europ. J. Combinatorics 1998 19, 649 661 Article No. ej9803 The Intersection Theorem for Direct Products R. AHLSWEDE, H.AYDINIAN AND L. H. KHACHATRIAN c 1998 Academic Press 1. INTRODUCTION Before we state
More informationAn Introduction to Transversal Matroids
An Introduction to Transversal Matroids Joseph E Bonin The George Washington University These slides and an accompanying expository paper (in essence, notes for this talk, and more) are available at http://homegwuedu/
More informationAN ALGORITHM FOR CONSTRUCTING A k-tree FOR A k-connected MATROID
AN ALGORITHM FOR CONSTRUCTING A k-tree FOR A k-connected MATROID NICK BRETTELL AND CHARLES SEMPLE Dedicated to James Oxley on the occasion of his 60th birthday Abstract. For a k-connected matroid M, Clark
More informationarxiv: v2 [math.co] 21 Oct 2013
LARGE MATCHINGS IN BIPARTITE GRAPHS HAVE A RAINBOW MATCHING arxiv:1305.1466v2 [math.co] 21 Oct 2013 DANIEL KOTLAR Computer Science Department, Tel-Hai College, Upper Galilee 12210, Israel RAN ZIV Computer
More informationEven Cycles in Hypergraphs.
Even Cycles in Hypergraphs. Alexandr Kostochka Jacques Verstraëte Abstract A cycle in a hypergraph A is an alternating cyclic sequence A 0, v 0, A 1, v 1,..., A k 1, v k 1, A 0 of distinct edges A i and
More informationGRAPH ALGORITHMS Week 7 (13 Nov - 18 Nov 2017)
GRAPH ALGORITHMS Week 7 (13 Nov - 18 Nov 2017) C. Croitoru croitoru@info.uaic.ro FII November 12, 2017 1 / 33 OUTLINE Matchings Analytical Formulation of the Maximum Matching Problem Perfect Matchings
More informationHAMBURGER BEITRÄGE ZUR MATHEMATIK
HAMBURGER BEITRÄGE ZUR MATHEMATIK Heft 166 A Cantor-Bernstein theorem for paths in graphs R. Diestel, Hamburg C. Thomassen, TU Denmark February 2003 A Cantor-Bernstein theorem for paths in graphs 1 Reinhard
More informationTransversal and cotransversal matroids via their representations.
Transversal and cotransversal matroids via their representations. Federico Ardila Submitted: May, 006; Accepted: Feb. 7, 007 Mathematics Subject Classification: 05B5; 05C8; 05A99 Abstract. It is known
More informationCounting bases of representable matroids
Counting bases of representable matroids Michael Snook School of Mathematics, Statistics and Operations Research Victoria University of Wellington Wellington, New Zealand michael.snook@msor.vuw.ac.nz Submitted:
More informationSELF-DUAL GRAPHS BRIGITTE SERVATIUS AND HERMAN SERVATIUS
SELF-DUAL GRAPHS BRIGITTE SERVATIUS AND HERMAN SERVATIUS Abstract. We consider the three forms of self-duality that can be exhibited by a planar graph G, map self-duality, graph self-duality and matroid
More informationA NOTE ON QUASI ISOMETRIES II. S.M. Patel Sardar Patel University, India
GLASNIK MATEMATIČKI Vol. 38(58)(2003), 111 120 A NOTE ON QUASI ISOMETRIES II S.M. Patel Sardar Patel University, India Abstract. An operator A on a complex Hilbert space H is called a quasi-isometry if
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationThe Reduction of Graph Families Closed under Contraction
The Reduction of Graph Families Closed under Contraction Paul A. Catlin, Department of Mathematics Wayne State University, Detroit MI 48202 November 24, 2004 Abstract Let S be a family of graphs. Suppose
More informationEXCLUDING SUBDIVISIONS OF INFINITE CLIQUES. Neil Robertson* Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA
EXCLUDING SUBDIVISIONS OF INFINITE CLIQUES Neil Robertson* Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA P. D. Seymour Bellcore 445 South St. Morristown, New
More informationThe number of edge colorings with no monochromatic cliques
The number of edge colorings with no monochromatic cliques Noga Alon József Balogh Peter Keevash Benny Sudaov Abstract Let F n, r, ) denote the maximum possible number of distinct edge-colorings of a simple
More informationHOW IS A CHORDAL GRAPH LIKE A SUPERSOLVABLE BINARY MATROID?
HOW IS A CHORDAL GRAPH LIKE A SUPERSOLVABLE BINARY MATROID? RAUL CORDOVIL, DAVID FORGE AND SULAMITA KLEIN To the memory of Claude Berge Abstract. Let G be a finite simple graph. From the pioneering work
More informationAn Introduction of Tutte Polynomial
An Introduction of Tutte Polynomial Bo Lin December 12, 2013 Abstract Tutte polynomial, defined for matroids and graphs, has the important property that any multiplicative graph invariant with a deletion
More informationAN EXTENSION OF A THEOREM OF NAGANO ON TRANSITIVE LIE ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 45, Number 3, September 197 4 AN EXTENSION OF A THEOREM OF NAGANO ON TRANSITIVE LIE ALGEBRAS HÉCTOR J. SUSSMANN ABSTRACT. Let M be a real analytic
More informationDisjointness conditions in free products of. distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1)
Proc. Univ. of Houston Lattice Theory Conf..Houston 1973 Disjointness conditions in free products of distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1) 1. Introduction. Let L be
More informationA UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS
A UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS STEVO TODORCEVIC Abstract. We show that for each positive integer k there is a sequence F n : R k R of continuous functions which represents via point-wise
More informationDetermining a Binary Matroid from its Small Circuits
Determining a Binary Matroid from its Small Circuits James Oxley Department of Mathematics Louisiana State University Louisiana, USA oxley@math.lsu.edu Charles Semple School of Mathematics and Statistics
More informationRegular matroids without disjoint circuits
Regular matroids without disjoint circuits Suohai Fan, Hong-Jian Lai, Yehong Shao, Hehui Wu and Ju Zhou June 29, 2006 Abstract A cosimple regular matroid M does not have disjoint circuits if and only if
More informationTopics Related to Combinatorial Designs
Postgraduate notes 2006/07 Topics Related to Combinatorial Designs 1. Designs. A combinatorial design D consists of a nonempty finite set S = {p 1,..., p v } of points or varieties, and a nonempty family
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H, K) with H K = G and E(H K) = and V (H) V (K) = k. Such a separation is proper if V (H) \ V (K) and V (K)
More informationNotes on Graph Theory
Notes on Graph Theory Maris Ozols June 8, 2010 Contents 0.1 Berge s Lemma............................................ 2 0.2 König s Theorem........................................... 3 0.3 Hall s Theorem............................................
More informationHAMBURGER BEITRÄGE ZUR MATHEMATIK
HAMBURGER BEITRÄGE ZUR MATHEMATIK Heft 8 Degree Sequences and Edge Connectivity Matthias Kriesell November 007 Degree sequences and edge connectivity Matthias Kriesell November 9, 007 Abstract For each
More informationCountable Menger s theorem with finitary matroid constraints on the ingoing edges
Countable Menger s theorem with finitary matroid constraints on the ingoing edges Attila Joó Alfréd Rényi Institute of Mathematics, MTA-ELTE Egerváry Research Group. Budapest, Hungary jooattila@renyi.hu
More informationA CRITERION FOR THE EXISTENCE OF TRANSVERSALS OF SET SYSTEMS
A CRITERION FOR THE EXISTENCE OF TRANSVERSALS OF SET SYSTEMS JERZY WOJCIECHOWSKI Abstract. Nash-Williams [6] formulated a condition that is necessary and sufficient for a countable family A = (A i ) i
More informationCLIQUES IN THE UNION OF GRAPHS
CLIQUES IN THE UNION OF GRAPHS RON AHARONI, ELI BERGER, MARIA CHUDNOVSKY, AND JUBA ZIANI Abstract. Let B and R be two simple graphs with vertex set V, and let G(B, R) be the simple graph with vertex set
More informationGraphs, matroids and the Hrushovski constructions
Graphs, matroids and the Hrushovski constructions David Evans, School of Mathematics, UEA, Norwich, UK Algebra, Combinatorics and Model Theory, Koç University, Istanbul August 2011. ACMT () August 2011
More informationCross-Intersecting Sets of Vectors
Cross-Intersecting Sets of Vectors János Pach Gábor Tardos Abstract Given a sequence of positive integers p = (p 1,..., p n ), let S p denote the set of all sequences of positive integers x = (x 1,...,
More informationHilbert s Metric and Gromov Hyperbolicity
Hilbert s Metric and Gromov Hyperbolicity Andrew Altman May 13, 2014 1 1 HILBERT METRIC 2 1 Hilbert Metric The Hilbert metric is a distance function defined on a convex bounded subset of the n-dimensional
More informationWelsh s problem on the number of bases of matroids
Welsh s problem on the number of bases of matroids Edward S. T. Fan 1 and Tony W. H. Wong 2 1 Department of Mathematics, California Institute of Technology 2 Department of Mathematics, Kutztown University
More informationCMPSCI611: The Matroid Theorem Lecture 5
CMPSCI611: The Matroid Theorem Lecture 5 We first review our definitions: A subset system is a set E together with a set of subsets of E, called I, such that I is closed under inclusion. This means that
More informationAn inequality for polymatroid functions and its applications
An inequality for polymatroid functions and its applications E. Boros a K. Elbassioni b V. Gurvich a L. Khachiyan b a RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway NJ 08854-8003; ({boros,
More informationChapter 2. Matching theory What is matching theory? Combinatorics Chapter 2
Combinatorics 18.315. Chapter 2 Chapter 2. Matching theory. 2.1. What is matching theory? An answer to this question can be found in the survey paper [HR] of L.H. Harper and G.-C. Rota: Roughly speaking,
More informationDecomposition of random graphs into complete bipartite graphs
Decomposition of random graphs into complete bipartite graphs Fan Chung Xing Peng Abstract We consider the problem of partitioning the edge set of a graph G into the minimum number τg) of edge-disjoint
More informationCONDITIONS FOR THE EXISTENCE OF HAMILTONIAN CIRCUITS IN GRAPHS BASED ON VERTEX DEGREES
CONDITIONS FOR THE EXISTENCE OF HAMILTONIAN CIRCUITS IN GRAPHS BASED ON VERTEX DEGREES AHMED AINOUCHE AND NICOS CHRISTOFIDES 1. Introduction The terminology used in this paper is that of [7]. The term
More informationON CONTRACTING HYPERPLANE ELEMENTS FROM A 3-CONNECTED MATROID
ON CONTRACTING HYPERPLANE ELEMENTS FROM A 3-CONNECTED MATROID RHIANNON HALL Abstract. Let K 3,n, n 3, be the simple graph obtained from K 3,n by adding three edges to a vertex part of size three. We prove
More informationLehrstuhl für Mathematische Grundlagen der Informatik
Lehrstuhl für Mathematische Grundlagen der Informatik W. Hochstättler, J. Nešetřil: Antisymmetric Flows in Matroids Technical Report btu-lsgdi-006.03 Contact: wh@math.tu-cottbus.de,nesetril@kam.mff.cuni.cz
More informationTHE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS
SOOCHOW JOURNAL OF MATHEMATICS Volume 28, No. 4, pp. 347-355, October 2002 THE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS BY HUA MAO 1,2 AND SANYANG LIU 2 Abstract. This paper first shows how
More informationReverse mathematics and marriage problems with unique solutions
Reverse mathematics and marriage problems with unique solutions Jeffry L. Hirst and Noah A. Hughes January 28, 2014 Abstract We analyze the logical strength of theorems on marriage problems with unique
More informationList of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,
List of Theorems Mat 416, Introduction to Graph Theory 1. Ramsey s Theorem for graphs 8.3.11. Theorem 1 The numbers R(p, q) exist and for p, q 2, R(p, q) R(p 1, q) + R(p, q 1). If both summands on the
More informationClaw-free Graphs. III. Sparse decomposition
Claw-free Graphs. III. Sparse decomposition Maria Chudnovsky 1 and Paul Seymour Princeton University, Princeton NJ 08544 October 14, 003; revised May 8, 004 1 This research was conducted while the author
More information10.3 Matroids and approximation
10.3 Matroids and approximation 137 10.3 Matroids and approximation Given a family F of subsets of some finite set X, called the ground-set, and a weight function assigning each element x X a non-negative
More informationACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms
1. Computability, Complexity and Algorithms (a) Let G(V, E) be an undirected unweighted graph. Let C V be a vertex cover of G. Argue that V \ C is an independent set of G. (b) Minimum cardinality vertex
More informationJournal Algebra Discrete Math.
Algebra and Discrete Mathematics Number 2. (2005). pp. 20 35 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE On posets of width two with positive Tits form Vitalij M. Bondarenko, Marina V.
More informationDEGREE SEQUENCES OF INFINITE GRAPHS
DEGREE SEQUENCES OF INFINITE GRAPHS ANDREAS BLASS AND FRANK HARARY ABSTRACT The degree sequences of finite graphs, finite connected graphs, finite trees and finite forests have all been characterized.
More informationON A QUESTION OF SIERPIŃSKI
ON A QUESTION OF SIERPIŃSKI THEODORE A. SLAMAN Abstract. There is a set of reals U such that for every analytic set A there is a continuous function f which maps U bijectively to A. 1. Introduction A set
More informationThe Structure of the Tutte-Grothendieck Ring of Ribbon Graphs
Rose-Hulman Undergraduate Mathematics Journal Volume 13 Issue 2 Article 2 The Structure of the Tutte-Grothendieck Ring of Ribbon Graphs Daniel C. Thompson MIT, dthomp@math.mit.edu Follow this and additional
More informationAntoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS
Opuscula Mathematica Vol. 6 No. 1 006 Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS Abstract. A graph G of order n is said to be arbitrarily vertex decomposable if for each sequence (n
More informationON A FAMILY OF PLANAR BICRITICAL GRAPHS
ON A FAMILY OF PLANAR BICRITICAL GRAPHS By L. LOVASZf and M. D. PLUMMER [Received 19 August 1973] 1. Introduction A l-factor of a graph G is a set of independent lines in 0 which span V(O). Tutte ([7])
More informationGame saturation of intersecting families
Game saturation of intersecting families Balázs Patkós Máté Vizer November 30, 2012 Abstract We consider the following combinatorial game: two players, Fast and Slow, claim k-element subsets of [n] = {1,
More informationAN INTRODUCTION TO TRANSVERSAL MATROIDS
AN INTRODUCTION TO TRANSVERSAL MATROIDS JOSEPH E BONIN October 26, 2010 CONTENTS 1 Prefatory Remarks 1 2 Several Perspectives on Transversal Matroids 2 21 Set systems, transversals, partial transversals,
More informationMath 5707: Graph Theory, Spring 2017 Midterm 3
University of Minnesota Math 5707: Graph Theory, Spring 2017 Midterm 3 Nicholas Rancourt (edited by Darij Grinberg) December 25, 2017 1 Exercise 1 1.1 Problem Let G be a connected multigraph. Let x, y,
More informationRobin Thomas and Peter Whalen. School of Mathematics Georgia Institute of Technology Atlanta, Georgia , USA
Odd K 3,3 subdivisions in bipartite graphs 1 Robin Thomas and Peter Whalen School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA Abstract We prove that every internally
More informationGeneralized Quadrangles Weakly Embedded in Finite Projective Space
Generalized Quadrangles Weakly Embedded in Finite Projective Space J. A. Thas H. Van Maldeghem Abstract We show that every weak embedding of any finite thick generalized quadrangle of order (s, t) in a
More informationHADAMARD DETERMINANTS, MÖBIUS FUNCTIONS, AND THE CHROMATIC NUMBER OF A GRAPH
HADAMARD DETERMINANTS, MÖBIUS FUNCTIONS, AND THE CHROMATIC NUMBER OF A GRAPH BY HERBERT S. WILF 1 Communicated by Gian-Carlo Rota, April 5, 1968 The three subjects of the title are bound together by an
More information