DOCSLIB.ORG

On Excluded Minors and Biased Graph Representations of Frame Matroids

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Excluded Minors and Biased Graph Representations of Frame Matroids On excluded minors and biased graph representations of frame matroids by Daryl Funk M.Sc., University of Victoria, 2009 B.Sc., Simon Fraser University, 1992 Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in the Department of Mathematics Faculty of Science c Daryl Funk 2015 SIMON FRASER UNIVERSITY Spring 2015 All rights reserved. However, in accordance with the Copyright Act of Canada, this work may be reproduced without authorization under the conditions for “Fair Dealing.” Therefore, limited reproduction of this work for the purposes of private study, research, criticism, review and news reporting is likely to be in accordance with the law, particularly if cited appropriately. APPROVAL Name: Daryl Funk Degree: Doctor of Philosophy (Mathematics) Title of Thesis: On excluded minors and biased graph representations of frame matroids Examining Committee: Dr. Jonathan Jedwab, Chair Professor, Department of Mathematics Dr. Matthew DeVos Senior Supervisor Associate Professor, Department of Mathematics Dr. Luis Goddyn Co-Supervisor Professor, Department of Mathematics Dr. Bojan Mohar Internal Examiner Professor, Department of Mathematics Dr. Daniel Slilaty External Examiner Professor, Department of Mathematics and Statistics Wright State University Date Defended: 8 January 2015 ii Partial Copyright Licence iii ABSTRACT A biased graph is a graph in which every cycle has been given a bias, either balanced or unbalanced. Biased graphs provide representations for an important class of matroids, the frame matroids. As with graphs, we may take minors of biased graphs and of matroids, and a family of biased graphs or matroids is minor-closed if it contains every minor of every member of the family. For any such class, we may ask for the set of those objects that are minimal with respect to minors subject to not belonging to the class — i.e., we may ask for the set of excluded minors for the class. A frame matroid need not be uniquely represented by a biased graph. This creates complications for the study of excluded minors. Hence this thesis has two main intertwining lines of investigation: (1) excluded minors for classes of frame matroids, and (2) biased graph representations of frame matroids. Trying to determine the biased graphs representing a given frame matroid leads to the necessity of determining the biased graphs representing a given graphic matroid. We do this in Chapter 3. Determining all possible biased graph representations of non-graphic frame matroids is more difficult. In Chapter 5 we determine all biased graphs representa- tions of frame matroids having a biased graph representation of a certain form, subject to an additional connectivity condition. Perhaps the canonical examples of biased graphs are group-labelled graphs. Not all biased graphs are group-labellable. In Chapter 2 we give two characterisations of those biased graphs that are group labellable, one topological in nature and the other in terms of the existence of a sequence of closed walks in the graph. In contrast to graphs, which are well-quasi-ordered by the minor relation, this characterisation enables us to construct infinite antichains of biased graphs, even with each member on a fixed number of vertices. These constructions are then used to exhibit infinite antichains of frame matroids, each of whose members are of a fixed rank. In Chapter 4, we begin an investigation of excluded minors for the class of frame ma- troids by seeking to determine those excluded minors that are not 3-connected. We come close, determining a set E of 18 particular excluded minors and drastically narrowing the search for any remaining such excluded minors. Keywords: Frame matroid; biased graph; excluded minors; representations; group-labelling; gain graph; well-quasi-ordering; lift matroid; graphic matroid iv I am asked sometimes what a matroid is. I often “You put it very graphically," said Humpty revert to our sacred writings and recall the en- Dumpty. counter of Alice with the grinning Cheshire cat. At one stage the cat vanishes away, beginning “But I can’t do it with all the grins," said Alice. with the tip of its tail and ending with the grin, “Some of them have the most uncatly shapes. which persists long after the remainder of the Whatever can be behind them?" cat. “That’s what makes it interesting," said Humpty “I expect you saw a lot of loose grins wandering Dumpty. “You have to classify the Uncats. around," said Humpty Dumpty. “Yes, indeed," said Alice. “But with some of them you could see they belonged to cats. I It now will be right to describe kept trying to imagine what the cats behind them Each particular batch were like." Distinguishing those that are Fanos and bite “What an Auslandish thing to do," said Humpty From K. Kuratowskis that scratch." Dumpty. “Oh it’s very interesting," said Alice. “I look at the grin and I see the eyes and whiskers and “I’ve heard something like that before," said Al- the ears and the warm furry body and the long ice crossly. “The creatures here all recite far too sinuous tail." much poetry." And she stalked angrily away. - Tutte, apparently apocryphal; found at http://userhome.brooklyn.cuny.edu/skingan/matroids/toast.html v Contents Approval ii Partial Copyright Licence iii Abstract iv Tutte on matroids v Table of Contents vi List of Figures ix Overview 1 1 Introduction 5 1.1 Matroids . 5 1.1.1 Matroid minors . 8 1.2 Biased graphs and frame matroids . 11 1.2.1 Group-labelled graphs . 11 1.2.2 Biased graphs represent frame matroids . 15 1.2.3 Minors of biased graphs . 19 1.2.4 Biased graph representations . 24 1.3 Some useful technical tools . 27 1.3.1 Rerouting . 27 1.3.2 A characterisation of signed graphs . 28 1.3.3 Biased graphs with a balancing vertex . 29 1.3.4 Pinches and roll ups . 31 1.3.5 Connectivity . 33 1.3.6 How to find a U2;4 minor . 34 2 When is a biased graph group-labellable? 38 2.1 Context and preliminaries . 39 2.1.1 Lift matroids . 40 vi 2.1.2 Branch decompositions . 42 2.1.3 Spikes and swirls . 43 2.2 A Topological Characterisation . 44 2.2.1 Group-labelling by arbitrary groups . 46 2.3 Constructing minor-minimal non-group-labellable biased graphs . 49 2.4 Excluded Minors — Biased Graphs . 51 2.5 Excluded Minors — Matroids . 57 2.5.1 Excluded minors — frame matroids . 57 2.5.2 Excluded minors — lift matroids . 60 2.6 Infinite antichains in GΓ, FΓ, LΓ ......................... 64 2.7 Finitely group-labelled graphs of bounded branch-width . 66 2.7.1 Linked branch decompositions and a lemma about trees . 67 2.7.2 Rooted Γ-labelled graphs . 68 2.7.3 Proof of Theorem 2.5 . 69 3 Biased graph representations of graphic matroids 72 3.1 Six families of biased graphs whose frame matroids are graphic . 72 3.2 Proof of Theorem 3.1 . 76 4 On excluded minors of connectivity 2 for the class of frame matroids 82 4.1 On connectivity . 84 4.1.1 Excluded minors are connected, simple and cosimple . 84 4.1.2 Separations in biased graphs and frame matroids . 85 4.2 2-sums of frame matroids and matroidals . 86 4.2.1 2-summing biased graphs . 87 4.2.2 Decomposing along a 2-separation . 87 4.2.3 Proof of Theorem 4.7 . 94 4.3 Excluded minors . 95 4.3.1 The excluded minors E0 ......................... 95 4.3.2 Other excluded minors of connectivity 2 . 96 4.3.3 Excluded minors for the class of frame matroidals . 98 4.4 Proof of Theorem 4.1 . 99 4.4.1 The excluded minors E1 . 101 4.4.2 Finding matroidal minors using configurations . 105 4.4.3 Proof of Lemma 4.26 . 109 4.5 Some excluded minors of connectivity 2 not in E . 116 5 Representations of frame matroids having a biased graph representation with a balancing vertex 121 vii 5.1 Introduction . 121 5.2 Preliminaries . 123 5.2.1 Cocircuits and hyperplanes in biased graphs . 123 5.2.2 Committed vertices . 126 5.2.3 H-reduction and H-enlargement . 129 5.3 Proof of Theorem 5.1 . 131 5.3.1 All but the balancing vertex are committed . 132 5.3.2 Ω has ≥ 2 uncommitted vertices . 133 5.4 Biased graphs representing reductions of Ω . 156 6 Outlook 194 Bibliography 197 viii List of Figures Figure 1 Some minor-closed classes of biased graphs and of matroids. 2 Figure 2 A twisted flip. 4 Figure 3 A twisted flip’s effect on a single lobe . 4 Figure 1.1 The 4-point line U2;4 .......................... 7 Figure 1.2 The Fano matroid F7........................... 7 Figure 1.3 A biased graph . 11 Figure 1.4 Graphs embedded on a surface give rise to biased graphs. 12 Figure 1.5 Biased graphs representing excluded minors for graphic matroids . 13 Figure 1.6 Extending M(G) by V provides a frame for E. 15 Figure 1.7 Q8 is frame, but not linear . 17 Figure 1.8 The Vamos matroid . 18 Figure 1.9 A twisted flip . 26 Figure 1.10 A roll-up: F (G; B) =∼ F (G0; B0) ..................... 32 Figure 1.11 The biased graphs representing U2;4. 34 Figure 1.12 Finding U2;4 (i) . 35 Figure 1.13 Finding U2;3 (ii) . 35 Figure 1.14 Finding U2;4 (iii) . 36 Figure 2.1 A 2-complex for the Higman group . 47 Figure 2.2 Constructing a biased graph from K. 48 Figure 2.3 A Higman group-labelled graph .
Load more

Recommended publications
  • On Excluded Minors and Biased Graph Representations of Frame Matroids
    On excluded minors and biased graph representations of frame matroids by Daryl Funk M.Sc., University of Victoria, 2009 B.Sc., Simon Fraser University, 1992 Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in the Department of Mathematics Faculty of Science c Daryl Funk 2015 SIMON FRASER UNIVERSITY Spring 2015 All rights reserved. However, in accordance with the Copyright Act of Canada, this work may be reproduced without authorization under the conditions for \Fair Dealing." Therefore, limited reproduction of this work for the purposes of private study, research, criticism, review and news reporting is likely to be in accordance with the law, particularly if cited appropriately. APPROVAL Name: Daryl Funk Degree: Doctor of Philosophy (Mathematics) Title of Thesis: On excluded minors and biased graph representations of frame matroids Examining Committee: Dr. Jonathan Jedwab, Chair Professor, Department of Mathematics Dr. Matthew DeVos Senior Supervisor Associate Professor, Department of Mathematics Dr. Luis Goddyn Co-Supervisor Professor, Department of Mathematics Dr. Bojan Mohar Internal Examiner Professor, Department of Mathematics Dr. Daniel Slilaty External Examiner Professor, Department of Department of Mathematics and Statistics Wright State University Date Defended: 8 January 2015 ii Partial Copyright Licence iii ABSTRACT A biased graph is a graph in which every cycle has been given a bias, either balanced or un- balanced. Biased graphs provide representations for an important class of matroids, the frame matroids. As with graphs, we may take minors of biased graphs and of matroids, and a family of biased graphs or matroids is minor-closed if it contains every minor of every member of the family.
    [Show full text]
  • Projective Planarity of Matroids of 3-Nets and Biased Graphs
    AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 76(2) (2020), Pages 299–338 Projective planarity of matroids of 3-nets and biased graphs Rigoberto Florez´ ∗ Deptartment of Mathematical Sciences, The Citadel Charleston, South Carolina 29409 U.S.A. [email protected] Thomas Zaslavsky† Department of Mathematical Sciences, Binghamton University Binghamton, New York 13902-6000 U.S.A. [email protected] Abstract A biased graph is a graph with a class of selected circles (“cycles”, “cir- cuits”), called “balanced”, such that no theta subgraph contains exactly two balanced circles. A 3-node biased graph is equivalent to an abstract partial 3-net. We work in terms of a special kind of 3-node biased graph called a biased expansion of a triangle. Our results apply to all finite 3-node biased graphs because, as we prove, every such biased graph is a subgraph of a finite biased expansion of a triangle. A biased expansion of a triangle is equivalent to a 3-net, which, in turn, is equivalent to an isostrophe class of quasigroups. A biased graph has two natural matroids, the frame matroid and the lift matroid. A classical question in matroid theory is whether a matroid can be embedded in a projective geometry. There is no known general answer, but for matroids of biased graphs it is possible to give algebraic criteria. Zaslavsky has previously given such criteria for embeddability of biased-graphic matroids in Desarguesian projective spaces; in this paper we establish criteria for the remaining case, that is, embeddability in an arbitrary projective plane that is not necessarily Desarguesian.
    [Show full text]
  • Templates for Representable Matroids Kevin Manuel Grace Louisiana State University and Agricultural and Mechanical College, [email protected]
    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 Mechanical College, [email protected] Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Discrete Mathematics and Combinatorics Commons Recommended Citation Grace, Kevin Manuel, "Templates for Representable Matroids" (2018). LSU Doctoral Dissertations. 4610. https://digitalcommons.lsu.edu/gradschool_dissertations/4610 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. TEMPLATES FOR REPRESENTABLE MATROIDS A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics by Kevin Manuel Grace B.S., Pensacola Christian College, 2006 M.S., University of South Alabama, 2010 August 2018 \It is the glory of God to conceal a thing: but the honour of kings is to search out a matter." Proverbs 25:2 ii Acknowledgments It is a profound understatement to say that this dissertation would not have been possible without my advisor, Professor Stefan van Zwam. He has had a tremendous influence on every aspect of this dissertation. I would especially like to thank him for his guidance on presenting my research and for his help with the programming that was necessary. It was an honor to be his first graduate student.
    [Show full text]
  • On the Excluded Minors for Matroids of Branch-Width Three
    On the Excluded Minors for Matroids of Branch-Width Three Petr Hlinˇen´y∗ School of Mathematical and Computing Sciences, Victoria University, P.O. Box 600, Wellington, New Zealand; and Institute for Theoretical Computer Science†(ITI MFF), Charles University, Malostransk´en´am. 25, 118 00 Praha 1, Czech Republic. [email protected] Submitted: March 19, 2002; Accepted: July 23, 2002. Abstract Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple, G. Whittle, On Matroids of Branch-Width Three, submitted 2001] that if M is an excluded minor for matroids of branch-width 3, then M has at most 14 elements. We show that there are exactly 10 such binary matroids M (7 of which are regular), proving a conjecture formulated by Dharmatilake in 1994. We also construct numbers of such ternary and quaternary matroids M, and provide a simple practical algorithm for finding a width-3 branch-decomposition of a matroid. The arguments in our paper are computer-assisted | we use a program Macek [P. Hlinˇen´y, The Macek Program, http://www.mcs.vuw.ac.nz/research/macek, 2002] for structural computations with represented matroids. Unfortunately, it seems to be infeasible to search through all matroids on at most 14 elements. Keywords: representable matroid, minor, branch-width. MR Subject Classifications: 05B35, 05C83 ∗The research was supported by a New Zealand Marsden Fund research grant to Geoff Whittle. y(Supported by the Ministry of Education of Czech Republic as project LN00A056.) the electronic journal of combinatorics 9 (2002), #R32 1 1 Introduction We assume that the reader is familiar with basic terms of graph theory.
    [Show full text]
  • Well-Quasi-Ordering of Matrices Under Schur Complement And
    Well-Quasi-Ordering of Matrices under Schur Complement and Applications to Directed Graphs Mamadou Moustapha Kanté Clermont-Université, Université Blaise Pascal, LIMOS, CNRS Complexe Scientifique des Cézeaux 63173 Aubiére Cedex, France [email protected] Abstract In [Rank-Width and Well-Quasi-Ordering of Skew-Symmetric or Symmetric Matri- ces, arXiv:1007.3807v1] Oum proved that, for a fixed finite field F, any infinite se- quence M1, M2,... of (skew) symmetric matrices over F of bounded F-rank-width has a pair i < j, such that Mi is isomorphic to a principal submatrix of a principal pivot transform of Mj. We generalise this result to σ-symmetric matrices introduced by Rao and myself in [The Rank-Width of Edge-Coloured Graphs, arXiv:0709.1433v4]. (Skew) symmetric matrices are special cases of σ-symmetric matrices. As a by- product, we obtain that for every infinite sequence G1, G2,... of directed graphs of bounded rank-width there exist a pair i < j such that Gi is a pivot-minor of Gj. Another consequence is that non-singular principal submatrices of a σ-symmetric matrix form a delta-matroid. We extend in this way the notion of representability of delta-matroids by Bouchet. Key words: rank-width; sigma-symmetry; edge-coloured graph; well-quasi-ordering; principal pivot transform; pivot-minor. arXiv:1102.2134v3 [math.CO] 8 Jul 2014 1 Introduction Clique-width [6] is a graph complexity measure that emerges in the works by Courcelle et al. (see for instance the book [7]). It extends tree-width [21] in the sense that graph classes of bounded tree-width have bounded clique- width, but the converse is false (distance hereditary graphs have clique-width at most 3 and unbounded tree-width).
    [Show full text]
  • Graphs of Bounded Rank-Width
    Graphs of Bounded Rank-width Sang-il Oum A Dissertation Presented to the Faculty of Princeton University in Candidacy for the Degree of Doctor of Philosophy Recommended for Acceptance by the Program in Applied and Computational Mathematics May 2005 c Copyright by Sang-il Oum, 2005. All Rights Reserved iii Abstract We define rank-width of graphs to investigate clique-width. Rank-width is a com- plexity measure of decomposing a graph in a kind of tree-structure, called a rank- decomposition. We show that graphs have bounded rank-width if and only if they have bounded clique-width. It is unknown how to recognize graphs of clique-width at most k for fixed k > 3 in polynomial time. However, we find an algorithm recognizing graphs of rank-width at most k, by combining following three ingredients. First, we construct a polynomial-time algorithm, for fixed k, that confirms rank- width is larger than k or outputs a rank-decomposition of width at most f(k) for some function f. It was known that many hard graph problems have polynomial-time algo- rithms for graphs of bounded clique-width, however, requiring a given decomposition corresponding to clique-width (k-expression); we remove this requirement. Second, we define graph vertex-minors which generalizes matroid minors, and prove that if {G1,G2,...} is an infinite sequence of graphs of bounded rank-width, then there exist i < j such that Gi is isomorphic to a vertex-minor of Gj. Conse- quently there is a finite list Ck of graphs such that a graph has rank-width at most k if and only if none of its vertex-minors are isomorphic to a graph in Ck.
    [Show full text]
  • Varieties of Combinatorial Geometries by J
    transactions of the american mathematical society Volume 271, Number 2, June 1982 VARIETIES OF COMBINATORIAL GEOMETRIES BY J. KAHN1 AND J. P. S. KUNG Abstract. A hereditary class of (finite combinatorial) geometries is a collection of geometries which is closed under taking minors and direct sums. A sequence of universal models for a hereditary class 'S of geometries is a sequence (T„ ) of geometries in ?T with rank Tn = n, and satisfying the universal property: if G is a geometry in 5" of rank n, then G is a subgeometry of T„. A variety of geometries is a hereditary class with a sequence of universal models. We prove that, apart from two degenerate cases, the only varieties of combina- torial geometries are ( 1) the variety of free geometries, (2) the variety of geometries coordinatizable over a fixed finite field, and (3) the variety of voltage-graphic geometries with voltages in a fixed finite group. 1. Introduction. The notion of free objects in a variety is one of the most important and pervasive ideas in universal algebra. In this paper, we investigate how that notion can be interpreted in the context of the theory of combinatorial geometries (or matroids). No detailed knowledge of universal algebra is required for reading this paper. However, we do assume familiarity with the basic concepts of the theory of combinatorial geometries [2, 4 and 13]. To fix our terminology, let G be a finite geometric lattice. Its maximum and minimum are denoted by 1 and 0. Let S be the set of points (or atoms) in G.
    [Show full text]
  • A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas
    A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas Compiled by Thomas Zaslavsky Department of Mathematical Sciences Binghamton University (SUNY) Binghamton, New York, U.S.A. 13902-6000 E-mail: [email protected] Submitted: March 19, 1998; Accepted: July 20, 1998. Eighth Edition 6 September 2012 Mathematics Subject Classifications (2000): Primary 05-00, 05-02, 05C22; Secondary 05B20, 05B35, 05C07, 05C10, 05C15, 05C17, 05C20, 05C25, 05C30, 05C35, 05C38, 05C40, 05C45, 05C50, 05C60, 05C62, 05C65, 05C70, 05C75, 05C80, 05C83, 05C85, 05C90, 05C99, 05E25, 05E30, 06A07, 15A06, 15A15, 15A39, 15A99, 20B25, 20F55, 34C99, 51D20, 51D35, 51E20, 51M09, 52B12, 52C07, 52C35, 57M27, 68Q15, 68Q25, 68R10, 82B20, 82D30, 90B10, 90C08, 90C27, 90C35, 90C57, 90C60, 91B14, 91C20, 91D30, 91E10, 92D40, 92E10, 94B75. Colleagues: HELP! If you have any suggestions whatever for items to include in this bibliography, or for other changes, please let me hear from you. Thank you. Copyright c 1996, 1998, 1999, 2003{2005, 2009{2012 Thomas Zaslavsky the electronic journal of combinatorics #DS8 ii Index A 1 H 135 O 227 V 301 B 22 I 160 P 230 W 306 C 54 J 163 Q 241 X 317 D 77 K 171 R 242 Y 317 E 91 L 188 S 255 Z 321 F 101 M 201 T 288 G 113 N 221 U 301 [I]t should be borne in mind that incompleteness is a necessary concomitant of every collection of whatever kind. Much less can completeness be expected in a first collection, made by a single individual, in his leisure hours, and in a field which is already boundless and is yet expanding day by day.
    [Show full text]
  • Matroid Pathwidth and Code Trellis Complexity∗ 1
    MATROID PATHWIDTH AND CODE TRELLIS COMPLEXITY∗ NAVIN KASHYAP† Abstract. We relate the notion of matroid pathwidth to the minimum trellis state-complexity (which we term trellis-width) of a linear code, and to the pathwidth of a graph. By reducing from the problem of computing the pathwidth of a graph, we show that the problem of determining the pathwidth of a representable matroid is NP-hard. Consequently, the problem of computing the trellis-width of a linear code is also NP-hard. For a finite field F, we also consider the class of F-representable matroids of pathwidth at most w, and correspondingly, the family of linear codes over F with trellis-width at most w. These are easily seen to be minor-closed. Since these matroids (and codes) have branchwidth at most w, a result of Geelen and Whittle shows that such matroids (and the corresponding codes) are characterized by finitely many excluded minors. We provide the complete list of excluded minors for w = 1, and give a partial list for w = 2. Key words. Matroids, pathwidth, linear codes, trellis complexity, NP-hard. AMS subject classifications. 05B35, 94B05 1. Introduction. The notion of pathwidth of a matroid has received some recent attention in the matroid theory literature [7], [9]. This notion has long been studied in the coding theory literature, where it is used as a measure of trellis complexity of a linear code [14], [5], [17]. However, there appears to be no standard coding-theoretic nomenclature for this notion. It has been called the state complexity of a code in [10], but the use of this term there conflicts slightly with its use in [17].
    [Show full text]
  • A Characterisation of Jointless Dowling Geometries Irasema Sarmiento* Mathematical Institute, Oxjord Untver.Vity, 24-29 St
    DISCRETE MATHEMATICS ELSEVIER Discrete Mathematics 197/198 ( 1999 ) 713--731 A characterisation of jointless Dowling geometries Irasema Sarmiento* Mathematical Institute, Oxjord Untver.vity, 24-29 St. Giles', O.'@~rd OX1 3LB. UK Received 9 July 1997; revised 18 December 1997; accepted 3 August 1998 Abstract We use statistics of flats of small rank in order to characterise the jointless Dowling geometries defined by groups of order exceeding three and having rank greater than 3. In particular, we show that if the Tutte polynomial of a matroid is identical to the Tutte polynomial of a jointless Dowling geometry, then the matroid is indeed a jointless Dowling geometry. For rank 3 (and groups of order exceeding 3) this holds only if the order of the group is even. @ 1999 Elsevier Science B.V. All rights reserved 1. Introduction Characterising classes of matroids by their Tutte polynomials is particularly inter- esting due to the large number of applications of Tutte polynomials [7]. Only a few classes of matroids have been shown to be characterised by their Tutte polynomials. Examples of such classes of matroids are projective and affine geometries and Dowling lattices [4]. We will prove here that jointless Dowling lattices are also characterised by their Tutte polynomials. Dowling lattices are group-theoretic generalisations of partition lattices [108]. They have, as well, an interpretation as matroids of gain graphs [14], and are, together with representable matroids, the only non-degenerate varieties [10]. Similarities between projective geometries and Dowling lattices have been studied in [1,2]. Dowling lattices form an infinite family of supersolvable tangential blocks [13].
    [Show full text]
  • SKEW PARTIAL FIELDS, MULTILINEAR REPRESENTATIONS of MATROIDS, and a MATRIX TREE THEOREM for Geoff Whittle, Whose Insights and Ki
    SKEW PARTIAL FIELDS, MULTILINEAR REPRESENTATIONS OF MATROIDS, AND A MATRIX TREE THEOREM R.A. PENDAVINGH AND S.H.M. VAN ZWAM ABSTRACT. We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such represen- tations extends Tutte’s definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte’s repre- sentability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field. Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field. Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class. MSC subject classification: 05B35 Keywords: matroids, representations, skew partial fields, multilinear rep- resentations, matrix tree theorem For Geoff Whittle, whose insights and kindness have made working in ma- troid theory even more rewarding. 1. INTRODUCTION A matrix with entries in R is totally unimodular if the determinant of each square submatrix is in 1, 0, 1 . A matroid is regular if it can be represented by a totally unimodular{− matrix.g Regular matroids are well-studied objects with many attractive properties. For instance, a binary matroid is either regular, and therefore representable over every field, or it is representable only over fields of characteristic 2. Whittle proved a similar, but more complicated, classification of the repre- sentability of ternary matroids [24, 25].
    [Show full text]
  • Secret-Sharing Matroids Need Not Be Algebraic
    Secret-Sharing Matroids need not be Algebraic Aner Ben-Efraim∗ September 27, 2018 Abstract We combine some known results and techniques with new ones to show that there exists a non- algebraic, multi-linear matroid. This answers an open question by Mat´uˇs(Discrete Mathematics 1999), and an open question by Pendavingh and van Zwam (Advances in Applied Mathematics 2013). The proof is constructive and the matroid is explicitly given. Keywords: Algebraic Matroids, Multi-Linear Matroids. 1 Introduction The aim of this paper is to compare two natural extensions of linear representations of matroids: multi- linear representations and algebraic representations. Specifically, we show that there exists a non-algebraic, multi-linearly representable matroid. Linear matroids. The beginning of matroid theory dates back to the work of Whitney in 1935. Whitney defined the matroid axioms as an abstraction of the linear dependence properties of a set of vectors. It is therefore not surprising that the class of linear matroids, i.e., matroids that originate from linear dependence, is probably the most well studied class of matroids. The class of linear matroids has many desirable properties, such as closure to minors and duality. Quite early in the study of matroids, MacLane proved that not all matroids are linear. The smallest non-linear matroid was presented by V´amos [20] (the V´amos matroid). Since linear algebra can also be done over division rings, and the linear dependence over division rings arXiv:1403.6363v1 [math.CO] 25 Mar 2014 clearly satisfies the matroid axioms, the class of matroids representable over division rings is probably the most natural extension of linear matroids.
    [Show full text]