Rota s Conjecture. Jim Geelen, Bert Gerards, and Geoff Whittle
|
|
- Adelia Patterson
- 5 years ago
- Views:
Transcription
1 Rota s Conjecture Jim Geelen, Bert Gerards, and Geoff Whittle
2 Rota s Conjecture For each finite field field F, there are at most a finite number of excluded minors for F-representability.
3 Ingredients of Proof 1. Corollaries of structure theorems for members of proper minor-closed classes of F-representable matroids. 2. Reduction to matroids that are in some sense highly connected. 3. Techniques that generalise those described in Notices paper.
4 Connectivity Functions (A, B) partition of E(M). Then λ M (A) = r(a) + r(b) r(m). If λ M (A) < k, and A, B k, then (A, B) is a k-separation of M. If M is represented, then λ M (A) is the rank of A B.
5 Connectivity Functions (A, B) partition of E(M). Then λ M (A) = r(a) + r(b) r(m). If λ M (A) < k, and A, B k, then (A, B) is a k-separation of M. If M is represented, then λ M (A) is the rank of A B.
6 How can λ behave? Can represent schematically using blob diagrams.
7 Tutte Connectivity M is (Tutte) k-connected if it has no l-separations for l k.
8 Tutte Connectivity M is (Tutte) k-connected if it has no l-separations for l k. Theorem (Notices Paper) There exists a k such that every k-connected excluded minor has at most 2k elements.
9 f -connectivity f an integer-valued function. Then M is f -connected if, whenever (A, B) is a k-separation of M, then either A f (k) or B f (k).
10 f -connectivity f an integer-valued function. Then M is f -connected if, whenever (A, B) is a k-separation of M, then either A f (k) or B f (k). Theorem Let M be an excluded minor for F-representability. Then, for all k there exists n such that, if (A, B) is a k-separation of M, then either A n or B n. This was topic of talk in Princeton 2014.
11 This Talk Outline proof that f -connected excluded minors have bounded size.
12 Note In any unexplained context, F is a finite field; M is an excluded minor for F.
13 Hypotheses The proof uses unwritten-up theorems from matroid minors project. We ll distinguish these by calling such results Hypotheses. In fact for this talk we only need one, but no harm in seeing them all.
14 Hypothesis 1 F-representable matroids are well quasi ordered under the minor order.
15 Big blobs are identified by high-order tangles.
16 Tangle Talk The tangle axioms. A tangle T of order θ + 1 is a collection of subsets of E(M) such that If X T, then λ(x ) θ 1. If (X, Y ) is a θ-separation, then either X or Y is in T. If X, Y, Z T, then X Y Z = E(M). E(M) {e} / T.
17 Tangle Talk The tangle axioms. A tangle T of order θ + 1 is a collection of subsets of E(M) such that If X T, then λ(x ) θ 1. If (X, Y ) is a θ-separation, then either X or Y is in T. If X, Y, Z T, then X Y Z = E(M). E(M) {e} / T. If (X, Y ) is a θ-separation and X T, we will say that X is T -small and that Y contains T.
18 Rank in Tangles Say Z is contained in a T -small set. Then r T (Z), the rank of Z in T is defined by r T (Z) = min{λ(x ) : X Z; X is T -small}.
19 Rank in Tangles Say Z is contained in a T -small set. Then r T (Z), the rank of Z in T is defined by r T (Z) = min{λ(x ) : X Z; X is T -small}. Lemma r T is the rank function of a matroid.
20 Fragile Elements If N is a minor of M, an element e is N-fragile if at least one of M/e or M\e does not have N as a minor.
21 Fragile Elements If N is a minor of M, an element e is N-fragile if at least one of M/e or M\e does not have N as a minor. Hypothesis 2 Let M be an F-representable matroid, T be a tangle in M. Then the set of N-fragile elements has bounded rank in T
22 Relaxation Recall that a relaxation M 2 of M 1 is obtained by turning a circuit-hyperplane into a basis. For all e, either M 1 \e = M 2 \e or M 1 /e = M 2 /e. Relaxation does not behave well wrt representability. But what about wheels and whirls?
23 Hypothesis 3 There exists an integer h such that the following holds. If M 1 and M 2 are F representable matroids on a common ground set, T is a tangle in M, and X is the set of elements such that M 1 \x = M 2 \x for x X. Then r(x ) h. Hypothesis 3 is a lot of work :(
24 Domination Let f and f be functions. Then f dominates f if f (x) f (x) for all x. Note that statement like excluded minors are f -connected remain true for any function f that dominates f.
25 Keeping Connectivity We have a very large excluded minor. We know it is f -connected with f (0) = 0 and f (1) = 1. We would like to remove lots of elements and keep f -connectivity when we remove arbitrary subsets of them. We can t do that, but we can get close.
26 Keeping Connectivity We have a very large excluded minor. We know it is f -connected with f (0) = 0 and f (1) = 1. We would like to remove lots of elements and keep f -connectivity when we remove arbitrary subsets of them. We can t do that, but we can get close.
27 (f, k)-connectivity Just like f -connectivity except that we only require it for {0, 1,..., k}.
28 An induced tangle If M is (f, k)-connected matroid with more than 3f (k) elements, then there is an obvious tangle of order k induced by (f, k)-connectivity. In the same way, f -connectivity induces an obvious maximal tangle.
29 If T is a tangle in M, then X is T -independent if X is independent in M(T ) the matroid of T.
30 Finding connectivity we can keep Le f be a function with f (0) = 0 and f (1) = 2 (for technical reasons). Then f is defined by f (n) = f (n) + n. Note that f (1) = 3 This is problematic.
31 Finding connectivity we can keep Le f be a function with f (0) = 0 and f (1) = 2 (for technical reasons). Then f is defined by f (n) = f (n) + n. Note that f (1) = 3 This is problematic. M is strongly f -connected, if M is f -connected and M has no triangle-triads.
32 Theorem let f be a function with f (0) = 0 and f (1) = 2. Then there exists a function f with f (1) = 0 and f (1) = 2 that dominates f, and a 2-variable function γ such that, if M is an F-representable f -connected matroid, E(M) γ(n, k), and T is the tangle induced by f, then there is a T -independent set X such that either M\X is strongly (f, k)-connected for all X X, or M/X is strongly (f, k)-connected for all X X.
33 We need a theorem of GGHZ. But first we need to know about spikes in matroids.
34 We need a theorem of GGHZ. But first we need to know about spikes in matroids. Theorem There is a function f such that, for all k, there is an n such that, if M is F-representable and (f, k)-connected, E n, λ(x ) k, then either there is an e E X such that M\e or M/e is (f, k)-connected, or there is a spike {L 1,..., L n } such that X L i 1 for all i.
35 Spikes are not so bad If M is (f, k)-connected and {a, b} is a leg of a spike in M, then M\a/b is (f, k)-connected.
36 Lemma Let T be a tangle in M, and C D be a T -independent set such that M/C\D is (f, k)-connected, C D 6n, and T has high enough order, then, up to duality, there is an n-element set X C D such that M\X is strongly ( f, k)-connected for all X X.
37 Lemma Let T be a tangle in M, and C D be a T -independent set such that M/C\D is (f, k)-connected, C D 6n, and T has high enough order, then, up to duality, there is an n-element set X C D such that M\X is strongly ( f, k)-connected for all X X. With these ingredients, the proof of our connectivity result is not difficult.
38 Revision on fixed elements and clones What we really need to know is Lemma If e is fixed in M, then no representation of M\e extends to two projectively inequivalent representations of M.
39 We need to control the number of non-fixed elements in our excluded minor. Fortunately we have the next cool result of GZ. Theorem If T is a tangle in a 3-connected F-representable matroid, then the set of non-fixed elements has bounded rank in T.
40 Weakly fixed elements We cannot quite use the previous theorem as in our strongly f -connected matroids we may have arbitrarily many series classes. But the issue can be dealt with by the notion of weakly fixed elements.
41 Weakly fixed elements We cannot quite use the previous theorem as in our strongly f -connected matroids we may have arbitrarily many series classes. But the issue can be dealt with by the notion of weakly fixed elements. Corollary If k is large enough and M is a strongly ( f, k)-connected, F-representable matroid, then M has a bounded number of elements that are not weakly fixed.
42 Inequivalent Representations Not surprisingly, these are an issue. But f -connectivity is very strong and we can use another nice theorem of GGHZ.
43 Inequivalent Representations Not surprisingly, these are an issue. But f -connectivity is very strong and we can use another nice theorem of GGHZ. Theorem if M is f -connected with f (0) = 0 and f (1) = 1, then M has a bounded number of inequivalent F- representations.
44 Inequivalent Representations Not surprisingly, these are an issue. But f -connectivity is very strong and we can use another nice theorem of GGHZ. Theorem if M is f -connected with f (0) = 0 and f (1) = 1, then M has a bounded number of inequivalent F- representations. This extends to strongly f -connected.
45 Corollary of Hypothesis 3 If k is very large, M 1 and M 2 are F-representable on the same ground set, M 1 is (f, k)-cpnnected, and X is the set of elements such that M 1 \x = M 2 \x for all x X, then X has bounded size.
A 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 informationRelaxations of GF(4)-representable matroids
Relaxations of GF(4)-representable matroids Ben Clark James Oxley Stefan H.M. van Zwam Department of Mathematics Louisiana State University Baton Rouge LA United States clarkbenj@myvuw.ac.nz oxley@math.lsu.edu
More informationA CHAIN THEOREM FOR MATROIDS
A CHAIN THEOREM FOR MATROIDS JAMES OXLEY, CHARLES SEMPLE, AND GEOFF WHITTLE Abstract. Tutte s Wheels-and-Whirls Theorem proves that if M is a 3-connected matroid other than a wheel or a whirl, then M has
More informationTOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS VII
TOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS VII CAROLYN CHUN AND JAMES OXLEY Abstract. Let M be a 3-connected binary matroid; M is internally 4- connected if one side of every
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 informationTOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS IV
TOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS IV CAROLYN CHUN, DILLON MAYHEW, AND JAMES OXLEY Abstract. In our quest to find a splitter theorem for internally 4-connected binary
More informationTOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS III
TOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS III CAROLYN CHUN, DILLON MAYHEW, AND JAMES OXLEY Abstract. This paper proves a preliminary step towards a splitter theorem for internally
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 informationJAMES OXLEY, CHARLES SEMPLE, AND GEOFF WHITTLE
WILD TRIANGLES IN 3-CONNECTED MATROIDS JAMES OXLEY, CHARLES SEMPLE, AND GEOFF WHITTLE Abstract. Let {a, b, c} be a triangle in a 3-connected matroid M. In this paper, we describe the structure of M relative
More informationFORK-DECOMPOSITIONS OF MATROIDS
FORK-DECOMPOSITIONS OF MATROIDS RHIANNON HALL, JAMES OXLEY, CHARLES SEMPLE, AND GEOFF WHITTLE Abstract. One of the central problems in matroid theory is Rota s conjecture that, for all prime powers q,
More informationMATROID PACKING AND COVERING WITH CIRCUITS THROUGH AN ELEMENT
MATROID PACKING AND COVERING WITH CIRCUITS THROUGH AN ELEMENT MANOEL LEMOS AND JAMES OXLEY Abstract. In 1981, Seymour proved a conjecture of Welsh that, in a connected matroid M, the sum of the maximum
More informationModularity and Structure in Matroids
Modularity and Structure in Matroids by Rohan Kapadia A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Doctor of Philosophy in Combinatorics and
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 informationAN UPGRADED WHEELS-AND-WHIRLS THEOREM FOR 3-CONNECTED MATROIDS. 1. Introduction
AN UPGRADED WHEELS-AND-WHIRLS THEOREM FOR 3-CONNECTED MATROIDS JAMES OXLEY, CHARLES SEMPLE, AND GEOFF WHITTLE Abstract. Let M be a 3-connected matroid that is not a wheel or a whirl. In this paper, we
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 informationMATROIDS DENSER THAN A PROJECTIVE GEOMETRY
MATROIDS DENSER THAN A PROJECTIVE GEOMETRY PETER NELSON Abstract. The growth-rate function for a minor-closed class M of matroids is the function h where, for each non-negative integer r, h(r) is the maximum
More informationCyclic Flats, Sticky Matroids, and Intertwines
Cyclic Flats, Sticky Matroids, and Intertwines Joseph E. Bonin The George Washington University Part I Essential Matroid Background and Cyclic Flats Matroids via Flats There are many equivalent formulations
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 informationOn Rota s conjecture and excluded minors containing large projective geometries
Journal of Combinatorial Theory, Series B 96 (2006) 405 425 www.elsevier.com/locate/jctb On Rota s conjecture and excluded minors containing large projective geometries Jim Geelen a, Bert Gerards b,c,
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 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 informationCONSTRUCTING A 3-TREE FOR A 3-CONNECTED MATROID. 1. Introduction
CONSTRUCTING A 3-TREE FOR A 3-CONNECTED MATROID JAMES OXLEY AND CHARLES SEMPLE For our friend Geoff Whittle with thanks for many years of enjoyable collaboration Abstract. In an earlier paper with Whittle,
More informationSemimatroids and their Tutte polynomials
Semimatroids and their Tutte polynomials Federico Ardila Abstract We define and study semimatroids, a class of objects which abstracts the dependence properties of an affine hyperplane arrangement. We
More informationTOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS II
TOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS II CAROLYN CHUN, DILLON MAYHEW, AND JAMES OXLEY Abstract. Let M and N be internally 4-connected binary matroids such that M has a proper
More informationTemplates for Representable Matroids
Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 6-12-2018 Templates for Representable Matroids Kevin Manuel Grace Louisiana State University and Agricultural and
More informationCharacterizing binary matroids with no P 9 -minor
1 2 Characterizing binary matroids with no P 9 -minor Guoli Ding 1 and Haidong Wu 2 1. Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana, USA Email: ding@math.lsu.edu 2. Department
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 informationPROJECTIVE GEOMETRIES IN EXPONENTIALLY DENSE MATROIDS. II
PROJECTIVE GEOMETRIES IN EXPONENTIALLY DENSE MATROIDS. II PETER NELSON Abstract. We show for each positive integer a that, if M is a minor-closed class of matroids not containing all rank-(a + 1) uniform
More informationOn the interplay between graphs and matroids
On the interplay between graphs and matroids James Oxley Abstract If a theorem about graphs can be expressed in terms of edges and circuits only it probably exemplifies a more general theorem about matroids.
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 informationON THE HIGHLY CONNECTED DYADIC, NEAR-REGULAR, AND SIXTH-ROOT-OF-UNITY MATROIDS
ON THE HIGHLY CONNECTED DYADIC, NEAR-REGULAR, AND SIXTH-ROOT-OF-UNITY MATROIDS BEN CLARK, KEVIN GRACE, JAMES OXLEY, AND STEFAN H.M. VAN ZWAM arxiv:1903.04910v1 [math.co] 9 Mar 2019 Abstract. Subject to
More informationPage Line Change 80-5 Replace by Adjoin or delete a zero row Omit non-zero before column Replace the sentence beginning Clearly
MATROID THEORY James G. Oxley Oxford University Press, New York, 1992 Errata and Update on Conjectures, Problems, and References Latest update: December 10, 2005 The comments below apply to all printings
More informationarxiv: v1 [math.co] 19 Oct 2018
On the structure of spikes arxiv:1810.08416v1 [math.co] 19 Oct 2018 Abstract Vahid Ghorbani, Ghodratollah Azadi and Habib Azanchiler Department of mathematics, University of Urmia, Iran Spikes are an important
More informationMATROID THEORY, Second edition
MATROID THEORY, Second edition James Oxley Oxford University Press, New York, 2011 Errata and Update on Conjectures, Problems, and References Latest update: August 16, 2016 The reader is encouraged to
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
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 informationWhat Do Lattice Paths Have To Do With Matrices, And What Is Beyond Both?
What Do Lattice Paths Have To Do With Matrices, And What Is Beyond Both? Joseph E. Bonin The George Washington University These slides are available at blogs.gwu.edu/jbonin Some ideas in this talk were
More informationOn Matroid and Polymatroid Connectivity
Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 2014 On Matroid and Polymatroid Connectivity Dennis Wayne Hall II Louisiana State University and Agricultural and
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 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 informationExtremal Matroid Theory and The Erdös-Pósa Theorem
Extremal Matroid Theory and The Erdös-Pósa Theorem Kasper Kabell Department of Mathematical Sciences University of Aarhus, Denmark PhD Thesis January 2006 This thesis is submitted to the Faculty of Science
More informationA Dual Fano, and Dual Non-Fano Matroidal Network
California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 6-2016 A Dual Fano, and Dual Non-Fano Matroidal Network Stephen
More informationBranchwidth of graphic matroids.
Branchwidth of graphic matroids. Frédéric Mazoit and Stéphan Thomassé Abstract Answering a question of Geelen, Gerards, Robertson and Whittle [2], we prove that the branchwidth of a bridgeless graph is
More informationCounting Matroids. Rudi Pendavingh. 6 July, Rudi Pendavingh Counting Matroids 6 July, / 23
Counting Matroids Rudi Pendavingh 6 July, 2015 Rudi Pendavingh Counting Matroids 6 July, 2015 1 / 23 First steps Definitions [n] := {1,..., n} m n := #{M matroid : E(M) = [n]} m n,r := #{M matroid : E(M)
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 informationWHAT IS A MATROID? JAMES OXLEY
WHAT IS A MATROID? JAMES OXLEY Abstract. Matroids were introduced by Whitney in 1935 to try to capture abstractly the essence of dependence. Whitney s definition embraces a surprising diversity of combinatorial
More informationRANK-WIDTH AND WELL-QUASI-ORDERING OF SKEW-SYMMETRIC OR SYMMETRIC MATRICES
RANK-WIDTH AND WELL-QUASI-ORDERING OF SKEW-SYMMETRIC OR SYMMETRIC MATRICES SANG-IL OUM Abstract. We prove that every infinite sequence of skew-symmetric or symmetric matrices M, M 2,... over a fixed finite
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 informationPOL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005
POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationTangle-tree duality: in graphs, matroids and beyond
Tangle-tree duality: in graphs, matroids and beyond Reinhard Diestel Mathematisches Seminar, Universität Hamburg Sang-il Oum KAIST, Daejeon, 34141 South Korea October 31, 2018 Abstract We apply a recent
More informationSELF-DUAL UNIFORM MATROIDS ON INFINITE SETS
SELF-DUAL UNIFORM MATROIDS ON INFINITE SETS NATHAN BOWLER AND STEFAN GESCHKE Abstract. We extend the notion of a uniform matroid to the infinitary case and construct, using weak fragments of Martin s Axiom,
More informationMatroid Secretary for Regular and Decomposable Matroids
Matroid Secretary for Regular and Decomposable Matroids Michael Dinitz Weizmann Institute of Science mdinitz@cs.cmu.edu Guy Kortsarz Rutgers University, Camden guyk@camden.rutgers.edu Abstract In the matroid
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
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 informationLecture 4: Completion of a Metric Space
15 Lecture 4: Completion of a Metric Space Closure vs. Completeness. Recall the statement of Lemma??(b): A subspace M of a metric space X is closed if and only if every convergent sequence {x n } X satisfying
More informationThe geometry of secants in embedded polar spaces
The geometry of secants in embedded polar spaces Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands June 1, 2006 Abstract Consider
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 informationA Decomposition Theorem for Binary Matroids with no Prism Minor
DOI 10.1007/s00373-013-1352-6 ORIGINAL PAPER A Decomposition Theorem for Binary Matroids with no Prism Minor S. R. Kingan Manoel Lemos Received: 21 March 2012 / Revised: 13 January 2013 Springer Japan
More informationUNAVOIDABLE CONNECTED MATROIDS RETAINING A SPECIFIED MINOR
UNAVOIDABLE CONNECTED MATROIDS RETAINING A SPECIFIED MINOR CAROLYN CHUN, GUOLI DING, DILLON MAYHEW, AND JAMES OXLEY Abstract. A sufficiently large connected matroid M contains a big circuit or a big cocircuit.
More informationMatrix representations of matroids of biased graphs correspond to gain functions
Matrix representations of matroids of biased graphs correspond to gain functions Daryl Funk Daniel Slilaty September 19, 2016 Abstract Let M be a frame matroid or a lifted-graphic matroid and let (G, B)
More informationHamilton Circuits and Dominating Circuits in Regular Matroids
Hamilton Circuits and Dominating Circuits in Regular Matroids S. McGuinness Thompson Rivers University June 1, 2012 S. McGuinness (TRU) Hamilton Circuits and Dominating Circuits in Regular Matroids June
More informationConvex Optimization Notes
Convex Optimization Notes Jonathan Siegel January 2017 1 Convex Analysis This section is devoted to the study of convex functions f : B R {+ } and convex sets U B, for B a Banach space. The case of B =
More informationMINORS OF GRAPHS OF LARGE PATH-WIDTH. A Dissertation Presented to The Academic Faculty. Thanh N. Dang
MINORS OF GRAPHS OF LARGE PATH-WIDTH A Dissertation Presented to The Academic Faculty By Thanh N. Dang In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in Algorithms, Combinatorics
More informationCharacterizations of the finite quadric Veroneseans V 2n
Characterizations of the finite quadric Veroneseans V 2n n J. A. Thas H. Van Maldeghem Abstract We generalize and complete several characterizations of the finite quadric Veroneseans surveyed in [3]. Our
More informationDiskrete Mathematik und Optimierung
Diskrete Mathematik und Optimierung Winfried Hochstättler, Robert Nickel: Joins of Oriented Matroids Technical Report feu-dmo009.07 Contact: winfried.hochstaettler@fernuni-hagen.de robert.nickel@fernuni-hagen.de
More informationCHARACTERISTIC POLYNOMIALS WITH INTEGER ROOTS
CHARACTERISTIC POLYNOMIALS WITH INTEGER ROOTS Gordon Royle School of Mathematics & Statistics University of Western Australia Bert s Matroid Jamboree Maastricht 2012 AUSTRALIA PERTH WHERE EVERY PROSPECT
More informationThe tree-like connectivity structure of finite graphs and matroids
The tree-like connectivity structure of finite graphs and matroids Dissertation zur Erlangung des Doktorgrades der Fakultät für Mathematik, Informatik und Naturwissenschaften der Universität Hamburg vorgelegt
More informationTHE CRITICAL NUMBER OF DENSE TRIANGLE-FREE BINARY MATROIDS
THE CRITICAL NUMBER OF DENSE TRIANGLE-FREE BINARY MATROIDS JIM GEELEN AND PETER NELSON Abstract. We show that, for each real number ε > 0 there is an integer c such that, if M is a simple triangle-free
More informationContinuous Ordinal Clustering: A Mystery Story 1
Continuous Ordinal Clustering: A Mystery Story 1 Melvin F. Janowitz Abstract Cluster analysis may be considered as an aid to decision theory because of its ability to group the various alternatives. There
More informationSequences of height 1 primes in Z[X]
Sequences of height 1 primes in Z[X] Stephen McAdam Department of Mathematics University of Texas Austin TX 78712 mcadam@math.utexas.edu Abstract: For each partition J K of {1, 2,, n} (n 2) with J 2, let
More information/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Matroids and Greedy Algorithms Date: 10/31/16
60.433/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Matroids and Greedy Algorithms Date: 0/3/6 6. Introduction We talked a lot the last lecture about greedy algorithms. While both Prim
More informationThe Banach-Tarski paradox
The Banach-Tarski paradox 1 Non-measurable sets In these notes I want to present a proof of the Banach-Tarski paradox, a consequence of the axiom of choice that shows us that a naive understanding of the
More informationGraphs & Algorithms: Advanced Topics Nowhere-Zero Flows
Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows Uli Wagner ETH Zürich Flows Definition Let G = (V, E) be a multigraph (allow loops and parallel edges). An (integer-valued) flow on G (also called
More informationEntropic and informatic matroids
Entropic and informatic matroids Emmanuel Abbe Abstract This paper studies dependencies between random variables by means of information theoretic functionals such as the entropy and the mutual information.
More informationTHE MINIMALLY NON-IDEAL BINARY CLUTTERS WITH A TRIANGLE 1. INTRODUCTION
THE MINIMALLY NON-IDEAL BINARY CLUTTERS WITH A TRIANGLE AHMAD ABDI AND BERTRAND GUENIN ABSTRACT. It is proved that the lines of the Fano plane and the odd circuits of K 5 constitute the only minimally
More informationOn the representability of the bi-uniform matroid
On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 1, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large
More informationOn 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 LENGTH OF NOETHERIAN MODULES
THE LENGTH OF NOETHERIAN MODULES GARY BROOKFIELD Abstract. We define an ordinal valued length for Noetherian modules which extends the usual definition of composition series length for finite length modules.
More informationSpanning and Independence Properties of Finite Frames
Chapter 1 Spanning and Independence Properties of Finite Frames Peter G. Casazza and Darrin Speegle Abstract The fundamental notion of frame theory is redundancy. It is this property which makes frames
More informationResolving a conjecture on degree of regularity of linear homogeneous equations
Resolving a conjecture on degree of regularity of linear homogeneous equations Noah Golowich MIT-PRIMES, Department of Mathematics Massachusetts Institute of Technology Massachusetts, U.S.A. Submitted:
More informationSpectral Graph Theory Lecture 2. The Laplacian. Daniel A. Spielman September 4, x T M x. ψ i = arg min
Spectral Graph Theory Lecture 2 The Laplacian Daniel A. Spielman September 4, 2015 Disclaimer These notes are not necessarily an accurate representation of what happened in class. The notes written before
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 informationThe Tutte Polynomial for Matroids of Bounded Branch-Width
Combinatorics, Probability and Computing 9XX 00, 000 000. c 9XX Cambridge University Press DOI: 0.07/S0000000000000000 Printed in the United Kingdom The Tutte Polynomial for Matroids of Bounded Branch-Width
More informationBranch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids
Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids Petr Hliněný School of Mathematical and Computing Sciences, Victoria University of Wellington, New Zealand hlineny@member.ams.org
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 In Lecture 6 we proved (most of) Ostrowski s theorem for number fields, and we saw the product formula for absolute values on
More informationA Kruskal-Katona Type Theorem for the Linear Lattice
A Kruskal-Katona Type Theorem for the Linear Lattice Sergei Bezrukov Department of Mathematics and Computer Science University of Paderborn Fürstenallee 11 D-33102 Paderborn, Germany Aart Blokhuis Department
More informationThe Catalan matroid.
The Catalan matroid. arxiv:math.co/0209354v1 25 Sep 2002 Federico Ardila fardila@math.mit.edu September 4, 2002 Abstract We show how the set of Dyck paths of length 2n naturally gives rise to a matroid,
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationPerfect matchings in highly cyclically connected regular graphs
Perfect matchings in highly cyclically connected regular graphs arxiv:1709.08891v1 [math.co] 6 Sep 017 Robert Lukot ka Comenius University, Bratislava lukotka@dcs.fmph.uniba.sk Edita Rollová University
More informationConsequences of Continuity
Consequences of Continuity James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 4, 2017 Outline 1 Domains of Continuous Functions 2 The
More informationarxiv: v3 [math.co] 31 Oct 2018
Tangle-tree duality: in graphs, matroids and beyond arxiv:1701.02651v3 [math.co] 31 Oct 2018 Reinhard Diestel Mathematisches Seminar, Universität Hamburg Sang-il Oum KAIST, Daejeon, 34141 South Korea November
More informationA Non-Topological View of Dcpos as Convergence Spaces
A Non-Topological View of Dcpos as Convergence Spaces Reinhold Heckmann AbsInt Angewandte Informatik GmbH, Stuhlsatzenhausweg 69, D-66123 Saarbrücken, Germany e-mail: heckmann@absint.com Abstract The category
More informationAxioms for infinite matroids
1 Axioms for infinite matroids Henning Bruhn Reinhard Diestel Matthias Kriesell Rudi Pendavingh Paul Wollan Abstract We give axiomatic foundations for infinite matroids with duality, in terms of independent
More informationTHE LARGEST INTERSECTION LATTICE OF A CHRISTOS A. ATHANASIADIS. Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin.
THE LARGEST INTERSECTION LATTICE OF A DISCRIMINANTAL ARRANGEMENT CHRISTOS A. ATHANASIADIS Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin. 6 (1997), 229{246] about the \largest" intersection
More informationOrdering functions. Raphaël Carroy. Hejnice, Czech Republic January 27th, Universität Münster 1/21
Ordering functions Raphaël Carroy Universität Münster Hejnice, Czech Republic January 27th, 2014 1/21 General background: 0-dimensional Polish spaces, and functions The Baire space ω ω of infinite sequences
More information2 Lecture Defining Optimization with Equality Constraints
2 Lecture 2 2.1 Defining Optimization with Equality Constraints So far we have been concentrating on an arbitrary set. Because of this, we could of course incorporate constrains directly into the set.
More information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationPERFECT BINARY MATROIDS
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT PERFECT BINARY MATROIDS Allan Mills August 1999 No. 1999-8 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, TN 38505 PERFECT BINARY MATROIDS ALLAN D. MILLS Abstract.
More information