Templates for Representable Matroids

The matroid structure theory of Geelen, Gerards, and Whittle has led to a hypothesis that a highly connected member of a minor-closed class of matroids representable over a finite field is a mild modification (known as a perturbation) of a frame matroid, the dual of a frame matroid, or a matroid representable over a proper subfield. They introduced the notion of a template to describe these perturbations in more detail. In this dissertation, we determine these templates for various classes and use them to prove results about representability, extremal functions, and excluded minors. Chapter 1 gives a brief introduction to matroids and matroid structure theory. Chapters 2 and 3 analyze this hypothesis of Geelen, Gerards, and Whittle and propose some refined hypotheses. In Chapter 3, we define frame templates and discuss various notions of template equivalence. Chapter 4 gives some details on how templates relate to each other. We define a preorder on the set of frame templates over a finite field, and we determine the minimal nontrivial templates with respect to this preorder. We also study in significant depth a specific type of template that is pertinent to many applications. Chapters 5 and 6 apply the results of Chapters 3 and 4 to several subclasses of the binary matroids and the quaternary matroids---those matroids representable over the fields of two and four elements, respectively. Two of the classes we study in Chapter 5 are the even-cycle matroids and the even-cut matroids. Each of these classes has hundreds of excluded minors. We show that, for highly connected matroids, two or three excluded minors suffice. We also show that Seymour\u27s 1-Flowing Conjecture holds for sufficiently highly connected matroids. In Chapter 6, we completely characterize the highly connected members of the class of golden-mean matroids and several other closely related classes of quaternary matroids. This leads to a determination of the extremal functions for these classes, verifying a conjecture of Archer for matroids of sufficiently large rank

Recognition of generalized network matrices

In this PhD thesis, we deal with binet matrices, an extension of network matrices. The main result of this thesis is the following. A rational matrix A of size n times m can be tested for being binet in time O(n^6 m). If A is binet, our algorithm outputs a nonsingular matrix B and a matrix N such that [B N] is the node-edge incidence matrix of a bidirected graph (of full row rank) and A=B^{-1} N. Furthermore, we provide some results about Camion bases. For a matrix M of size n times m', we present a new characterization of Camion bases of M, whenever M is the node-edge incidence matrix of a connected digraph (with one row removed). Then, a general characterization of Camion bases as well as a recognition procedure which runs in O(n^2m') are given. An algorithm which finds a Camion basis is also presented. For totally unimodular matrices, it is proven to run in time O((nm)^2) where m=m'-n. The last result concerns specific network matrices. We give a characterization of nonnegative {r,s}-noncorelated network matrices, where r and s are two given row indexes. It also results a polynomial recognition algorithm for these matrices.Comment: 183 page

Structural and decomposition results for binet matrices, bidirected graphs and signed-graphic matroids.

In this thesis we deal with binet matrices and the class of signed-graphic matroids which is the class of matroids represented over R by binet matrices. The thesis is divided in three parts. In the first part, we provide the vast majority of the notions used throughout the thesis and some results regarding the class of binet matrices. In this part, we focus on the class of linear and integer programming problems in which the constraint matrix is binet and provide methods and algorithms which solve these problems efficiently. The main new result is that the existing combinatorial methods can not solve the {lcub}0, 1/2{rcub}-separation problem (special case of the well known separation problem) with integral binet matrices. The main new results of the whole thesis are provided in the next two parts. In the second part, we present a polynomial time algorithm to construct a bidirected graph for any totally unimodular matrix B by finding node-edge incidence matrices Q and S such that QB = S. Seymour's famous decomposition theorem for regular matroids states that any totally unimodular matrix can be constructed through a series of composition operations called k-sums starting from network matrices and their transposes and two compact representation matrices B1 and B2 of a certain ten element matroid. Given that B1 and B2 are binet matrices, we examine the k-sums of network and binet matrices (k = 1,2, 3). It is shown that the k-sum of a network and a binet matrix is a binet matrix, but binet matrices are not closed under this operation for k = 2, 3. A new class of matrices is introduced, the so-called tour matrices, which generalises network and totally unimodular matrices. For any such matrix there exists a bidirected graph such that the columns represent a collection of closed tours in the graph. It is shown that tour matrices are closed under 1-, 2- and 3-sum as well as under elementary operations on their rows and columns. Given the constructive proofs of the above results regarding the k-sum operations and existing recognition algorithms for network and binet matrices, an algorithm is presented which constructs a bidirected graph for any totally unimodular matrix. In the third part of this thesis we deal with the frame matroid of a signed graph, or simply the signed-graphic matroid. Several new results are provided in this last part of the thesis. Specifically, given a signed graph, we provide methods to find representation matrices of the associated signed-graphic matroid over GF(2), GF(3) and R. Furthermore, two new matroid recognition algorithms are presented in this last part. The first one determines whether a binary matroid is signed-graphic or not and the second one determines whether a (general) matroid is binary signed-graphic or not. Finally, one of the most important new results of this thesis is the decomposition theory for the class of binary signed-graphic matroids which is provided in the last chapter. In order to achieve this result, we employed Tutte's theory of bridges. The proposed decomposition differs from previous decomposition results on matroids that have appeared in the literature in the sense that it is not based on k-sums, but rather on the operation of deletion of a cocircuit. Specifically, it is shown that certain minors resulting from the deletion of a cocircuit of a binary matroid will be graphic matroids except for one that will be signed-graphic if and only if the matroid is signed-graphic. The decomposition theory for binary signed-graphic matroids is a joint work with G. Appa and L. Pitsoulis

Even Cycle and Even Cut Matroids

In this thesis we consider two classes of binary matroids, even cycle matroids and even cut matroids. They are a generalization of graphic and cographic matroids respectively. We focus on two main problems for these classes of matroids. We first consider the Isomorphism Problem, that is the relation between two representations of the same matroid. A representation of an even cycle matroid is a pair formed by a graph together with a special set of edges of the graph. Such a pair is called a signed graph. A representation for an even cut matroid is a pair formed by a graph together with a special set of vertices of the graph. Such a pair is called a graft. We show that two signed graphs representing the same even cycle matroid relate to two grafts representing the same even cut matroid. We then present two classes of signed graphs and we solve the Isomorphism Problem for these two classes. We conjecture that any two representations of the same even cycle matroid are either in one of these two classes, or are related by a local modification of a known operation, or form a sporadic example. The second problem we consider is finding the excluded minors for these classes of matroids. A difficulty when looking for excluded minors for these classes arises from the fact that in general the matroids may have an arbitrarily large number of representations. We define degenerate even cycle and even cut matroids. We show that a 3-connected even cycle matroid containing a 3-connected non-degenerate minor has, up to a simple equivalence relation, at most twice as many representations as the minor. We strengthen this result for a particular class of non-degenerate even cycle matroids. We also prove analogous results for even cut matroids

LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volum