137 research outputs found
Linked Tree-Decompositions of Infinite Represented Matroids
It is natural to try to extend the results of Robertson and Seymour's Graph Minors Project to other objects. As linked tree-decompositions
(LTDs) of graphs played a key role in the Graph Minors Project, establishing the existence of ltds of other objects is a useful step towards such
extensions. There has been progress in this direction for both infinite graphs and matroids.
Kris and Thomas proved that infinite graphs of
finite tree-width have LTDs. More recently, Geelen, Gerards and Whittle proved that matroids have linked branch-decompositions, which are similar to LTDs. These results suggest that infinite matroids of finite treewidth should have LTDs.
We answer this conjecture affirmatively for the representable case. Specifically, an independence space is an infinite matroid, and a point
configuration (hereafter configuration) is a represented independence space. It is shown that every configuration having tree-width has an LTD k E w (kappa element of omega) of width at most 2k. Configuration analogues for bridges of X (also called connected components modulo X) and chordality in graphs are introduced to prove this result. A correspondence is established between chordal configurations only containing subspaces of dimension at most k E w (kappa element of omega) and configuration
tree-decompositions having width at most k. This correspondence is used to characterise finite-width LTDs of configurations by their local structure, enabling the proof of the existence result. The theory developed is also used to show compactness of configuration tree-width: a configuration has tree-width at most k E w (kappa element of omega) if and only if each of its finite subconfigurations has tree-width at most k E w (kappa element of omega). The existence of LTDs for configurations having finite tree-width opens
the possibility of well-quasi-ordering (or even better-quasi-ordering) by minors those independence spaces representable over a fixed finite field and having bounded tree-width
Rank-width and Well-quasi-ordering of Skew-Symmetric or Symmetric Matrices
We prove that every infinite sequence of skew-symmetric or symmetric matrices
M_1, M_2, ... over a fixed finite field must have a pair M_i, M_j (i<j) such
that M_i is isomorphic to a principal submatrix of the Schur complement of a
nonsingular principal submatrix in M_j, if those matrices have bounded
rank-width. This generalizes three theorems on well-quasi-ordering of graphs or
matroids admitting good tree-like decompositions; (1) Robertson and Seymour's
theorem for graphs of bounded tree-width, (2) Geelen, Gerards, and Whittle's
theorem for matroids representable over a fixed finite field having bounded
branch-width, and (3) Oum's theorem for graphs of bounded rank-width with
respect to pivot-minors.Comment: 43 page
Branch-Width and Rota's Conjecture
AbstractFor a fixed finite field F and an integer k there are a finite number of matroids of branch-width k that are excluded minors for F-representability
Obstructions for Matroids of Path-Width at most k and Graphs of Linear Rank-Width at most k
International audienceEvery minor-closed class of matroids of bounded branch-width can be characterized by a minimal list of excluded minors, but unlike graphs, this list could be infinite in general. However, for each fixed finite field , the list contains only finitely many -representable matroids, due to the well-quasi-ordering of -representable matroids of bounded branch-width under taking matroid minors [J. F. Geelen, A. M. H. Gerards, and G. Whittle (2002)]. But this proof is non-constructive and does not provide any algorithm for computing these -representable excluded minors in general. We consider the class of matroids of path-width at most for fixed . We prove that for a finite field , every -representable excluded minor for the class of matroids of path-width at most~ has at most elements. We can therefore compute, for any integer and a fixed finite field , the set of -representable excluded minors for the class of matroids of path-width , and this gives as a corollary a polynomial-time algorithm for checking whether the path-width of an -represented matroid is at most . We also prove that every excluded pivot-minor for the class of graphs having linear rank-width at most has at most vertices, which also results in a similar algorithmic consequence for linear rank-width of graphs
Graph Theory
This workshop focused on recent developments in graph theory. These included in particular recent breakthroughs on nowhere-zero flows in graphs, width parameters, applications of graph sparsity in algorithms, and matroid structure results
Infinite Matroids and Determinacy of Games
Solving a problem of Diestel and Pott, we construct a large class of infinite
matroids. These can be used to provide counterexamples against the natural
extension of the Well-quasi-ordering-Conjecture to infinite matroids and to
show that the class of planar infinite matroids does not have a universal
matroid.
The existence of these matroids has a connection to Set Theory in that it
corresponds to the Determinacy of certain games. To show that our construction
gives matroids, we introduce a new very simple axiomatization of the class of
countable tame matroids
Locally finite graphs with ends: A topological approach, I. Basic theory
AbstractThis paper is the first of three parts of a comprehensive survey of a newly emerging field: a topological approach to the study of locally finite graphs that crucially incorporates their ends. Topological arcs and circles, which may pass through ends, assume the role played in finite graphs by paths and cycles. The first two parts of the survey together provide a suitable entry point to this field for new readers; they are available in combined form from the ArXiv [18]. They are complemented by a third part [28], which looks at the theory from an algebraic-topological point of view.The topological approach indicated above has made it possible to extend to locally finite graphs many classical theorems of finite graph theory that do not extend verbatim. While the second part of this survey [19] will concentrate on those applications, this first part explores the new theory as such: it introduces the basic concepts and facts, describes some of the proof techniques that have emerged over the past 10 years (as well as some of the pitfalls these proofs have in stall for the naive explorer), and establishes connections to neighbouring fields such as algebraic topology and infinite matroids. Numerous open problems are suggested
- …