Generalization of Pinching Operation to Binary Matroids

Total Page:16

File Type:pdf, Size:1020Kb

Generalization of Pinching Operation to Binary Matroids J. Algebra Comb. Discrete Appl. Received: 14 April 2020 7(3) • 247–258 Accepted: 1 May 2020 Journal of Algebra Combinatorics Discrete Structures and Applications Generalization of pinching operation to binary matroids Research Article Vahid Ghorbani, Ghodratollah Azadi, Habib Azanchiler Abstract: In this paper, we generalize the pinching operation on two edges of graphs to binary matroids and investigate some of its basic properties. For n ≥ 2, the matroid that is obtained from an n-connected matroid by this operation is a k-connected matroid with k 2 f2; 3; 4g or is a disconnected matroid. We find conditions to guarantee this k. Moreover, we show that Eulerian binary matroids are char- acterized by this operation and we also provide some interesting applications of this operation. 2010 MSC: 05B35 Keywords: Binary matroid, Connectivity, Pinching, Splitting, Splitting off, Element splitting 1. Introduction The matroid and graph notations and terminology used here will follow [4] and [7]. Let G be a graph p and S be a subset of the edge set E(G). We denote by GS the graph that is obtained from G by adding p a new vertex w and replacing any edge uv 2 S with two edges uw and wv. The transition from G to GS is called the k-pinching operation [2] where k = jSj. If S is the empty set, then 0-pinching means adding a new single vertex w. If jSj = 1, then applying the pinching operation is equivalent to the subdivision p of uv where S = fuvg. If S = E(G), then we have the parallel classes on the new vertex w on GS such that the sequence of the cardinality of them is equal to the degree sequence of the vertices of G. Applying the pinching operation on graphs is a useful method for solving 2k-edge-connectivity prob- lems for graphs [2]. For example, suppose that G is a 2k-edge-connected graph. Then the graph G0 obtained from G by pinching together any k edges of G is also 2k-edge-connected. Raghunathan, Shikare, and Wapare [5] extended the splitting operation and Azadi [1] extended the splitting off and the element splitting operations from graphs to binary matroids. These operations are defined as follows. Definition 1.1. Let M be a binary matroid on a set E and A be a matrix that represents M over GF (2). Consider two elements x and y of E(M). Let Ax;y be the matrix that is obtained by adjoining an extra Vahid Ghorbani (Corresponding Author), Ghodratollah Azadi, Habib Azanchiler; Department of Mathematics, Urmia University, Iran (email: [email protected], [email protected], [email protected]) http://dx.doi.org/10.13069/jacodesmath.784992 ISSN 2148-838X 247 V. Ghorbani et al. / J. Algebra Comb. Discrete Appl. 7(3) (2019) 247–258 row to A whose entries are zero everywhere except in the columns corresponding to x and y where it takes value 1. Let Mx;y be the matroid that represents by the matrix Ax;y. Then the transition from M to Mx;y is called the splitting operation. Definition 1.2. Let M be a binary matroid on a set E and A be a matrix that represents M over GF (2). 0 Consider two elements x and y of E(M). Let Ax;y be the matrix that is obtained by adjoining an extra row to A whose entries are zero everywhere except in the columns corresponding to x and y where it takes value 1 and then adjoining an extra column to the resulting matrix with this column being zero everywhere 0 0 except in the last row. Let Mx;y be the matroid that represents by the matrix Ax;y. Then the transition 0 from M to Mx;y is called the element splitting operation. Definition 1.3. Let M be a binary matroid on a set E and A be a matrix that represents M over GF (2). Consider two elements x and y of E(M). Let Axy be the matrix that is obtained by adjoining an extra column to A which is the sum of the columns corresponding to x and y, and then deleting the two columns corresponding to x and y. Let Mxy be the matroid that represents by the matrix Axy. Then the transition from M to Mxy is called the splitting off operation. Splitting off operation on graphs is defined as follows. Definition 1.4. Let G be a graph. Consider two adjacent non-loop edges x = uw and y = vw. The splitting off a pair (x; y) of edges from a vertex w means that we replace the edges x and y by a new edge α = uv. If u = v then the resulting loop is deleted from the graph. 2. 2-pinching operation in 2-connected graphs Let G be a 2-connected graph with the edge set E(G) and S ⊆ E(G) where S = fx = u1v1; y = u2v2g. To apply the 2-pinching operation, we first delete x and y and add new vertex w. Then we add new 0 00 0 00 edges x = u1w, x = wv1, y = u2w and y = wv2. When x and y are adjacent, we take v1 = v2 = v. 0 00 0 00 p Therefore, x = u1w, x = wv, y = u2w and y = wv (Figure1). We denote by Gxy the graph that is obtained by applying the 2-pinching operation on edges x and y. Note that we can retrieve the graph G p 0 00 0 00 from Gxy by splitting off the pair (x ; x ) and then splitting off the pair (y ; y ). Figure 1. 2-pinching operation on fx; zg and fx; yg. Now let G be a 2-connected graph and x; y 2 E(G). Then G has a cycle Cn of length n containing both x and y. Assume that the cycle Cn has the minimum cardinality among all such cycles. After 0 0 applying the 2-pinching operation on x and y, the cycle Cn transforms into two cycles Ck+2 and Cn−k 00 00 0 0 0 where k is the length of shortest path Q among endpoints of x and y such that x ; y 2 Ck+2 and x ; y 2 0 0 00 00 1 0 0 0 Cn−k. In other words, Ck+2 = E(Q)[fx ; y g and Cn−k = Cn −(E(Q)[fx; yg) [fx ; y g. Note that 0 00 00 0 0 0 if k = 0, then x and y are adjacent and Cn transforms to C2 = fx ; y g and Cn = Cn −fx; yg [fx ; y g. 1 In this section, for cycle Cn of length n from a graph G, we consider just its edge set 248 V. Ghorbani et al. / J. Algebra Comb. Discrete Appl. 7(3) (2019) 247–258 Theorem 2.1. Let G be a graph and x; y 2 E(G). Suppose that G has a cycle Cn with a minimum 0 00 0 00 0 0 length containing both x and y. Let x ; x ; y ; y ,Ck+2 and Cn−k be the notations as mentioned above. 0 0 p p Moreover, let δ = fCk+2;Cn−kg and C be a subset of edges of Gxy. Then C forms a cycle of Gxy if and only if C 2 δ or C satisfies one of the following conditions. (i) C is a cycle of G which contains neither x nor y; (ii) C = C0−fxg[fx0; x00g where C0 is a cycle of G containing x but not y, or C = C00−fyg[fy0; y00g where C00 is a cycle of G containing y but not x; and (iii) C = C1∆C2 where C1 2 δ, and C2 is a cycle of type (i) or (ii) such that C1 \ C2 6= ;. Proof. It is clear that if C 2 δ or if C is a cycle of G containing neither x nor y, then C is a cycle of p 0 0 00 0 0 Gxy. Now suppose that C = C − fxg [ fx ; x g = C − fu1v1g [ fu1w; v1wg where C is a cycle of G containing x but not y and has length k0 + 1, so 0 0 C = v1xu1e1z1:::ek0−1zk0−1ek0 v1: 0 00 After applying the pinching operation on x we delete x and add x = u1w and x = v1w. Thus 0 0 00 00 0 (C − fxg) [ fx ; x g = u1e1z1:::ek0−1zk0−1ek0 v1x wx u1: p 00 0 00 0 Therefore C is a cycle of Gxy. Similarly, if C = C −fyg [fy ; y g = C −fu2v2g [fu2w; v2wg where 00 p C is a cycle of G containing y but not x, then C is a cycle of Gxy. Now suppose that C1 is a cycle of p type (i) or (ii) and C2 2 δ such that C1 \ C2 6= ;. To show that C1∆C2 is a cycle of Gxy, we consider the following two possible cases. Figure 2. Internally disjoint paths. 0 Case(1) Let C1 be a cycle of type (i). Assume that C1 has a non-empty intersection with both Ck+2 and 0 0 0 Cn−k. Let Q1 and Q2 be the paths such that C1\Cn−k = E(Q1) and C1\Ck+2 = E(Q2). Moreover, let Q3 , Q4 be internally disjoint paths which have the same end vertices as of Q1 and Q2 such that 0 C1 = E(Q1)[E(Q2)[E(Q3)[E(Q4) (See figure2).
Recommended publications
  • Arxiv:1910.05689V1 [Math.CO]
    ON GRAPHIC ELEMENTARY LIFTS OF GRAPHIC MATROIDS GANESH MUNDHE1, Y. M. BORSE2, AND K. V. DALVI3 Abstract. Zaslavsky introduced the concept of lifted-graphic matroid. For binary matroids, a binary elementary lift can be defined in terms of the splitting operation. In this paper, we give a method to get a forbidden-minor characterization for the class of graphic matroids whose all lifted-graphic matroids are also graphic using the splitting operation. Keywords: Elementary lifts; splitting; binary matroids; minors; graphic; lifted-graphic Mathematics Subject Classification: 05B35; 05C50; 05C83 1. Introduction For undefined notions and terminology, we refer to Oxley [13]. A matroid M is quotient of a matroid N if there is a matroid Q such that, for some X ⊂ E(Q), N = Q\X and M = Q/X. If |X| = 1, then M is an elementary quotient of N. A matroid N is a lift of M if M is a quotient of N. If M is an elementary quotient of N, then N is an elementary lift of M. A matroid N is a lifted-graphic matroid if there is a matroid Q with E(Q)= E(N) ∪ e such that Q\e = N and Q/e is graphic. The concept of lifted-graphic matroid was introduced by Zaslavsky [19]. Lifted-graphic matroids play an important role in the matroid minors project of Geelen, Gerards and Whittle [9, 10]. Lifted- graphic matroids are studied in [4, 5, 6, 7, 19]. This class is minor-closed. In [5], it is proved that there exist infinitely many pairwise non-isomorphic excluded minors for the class of lifted-graphic matroids.
    [Show full text]
  • The Circuit and Cocircuit Lattices of a Regular Matroid
    University of Vermont ScholarWorks @ UVM Graduate College Dissertations and Theses Dissertations and Theses 2020 The circuit and cocircuit lattices of a regular matroid Patrick Mullins University of Vermont Follow this and additional works at: https://scholarworks.uvm.edu/graddis Part of the Mathematics Commons Recommended Citation Mullins, Patrick, "The circuit and cocircuit lattices of a regular matroid" (2020). Graduate College Dissertations and Theses. 1234. https://scholarworks.uvm.edu/graddis/1234 This Thesis is brought to you for free and open access by the Dissertations and Theses at ScholarWorks @ UVM. It has been accepted for inclusion in Graduate College Dissertations and Theses by an authorized administrator of ScholarWorks @ UVM. For more information, please contact [email protected]. The Circuit and Cocircuit Lattices of a Regular Matroid A Thesis Presented by Patrick Mullins to The Faculty of the Graduate College of The University of Vermont In Partial Fulfillment of the Requirements for the Degree of Master of Science Specializing in Mathematical Sciences May, 2020 Defense Date: March 25th, 2020 Dissertation Examination Committee: Spencer Backman, Ph.D., Advisor Davis Darais, Ph.D., Chairperson Jonathan Sands, Ph.D. Cynthia J. Forehand, Ph.D., Dean of Graduate College Abstract A matroid abstracts the notions of dependence common to linear algebra, graph theory, and geometry. We show the equivalence of some of the various axiom systems which define a matroid and examine the concepts of matroid minors and duality before moving on to those matroids which can be represented by a matrix over any field, known as regular matroids. Placing an orientation on a regular matroid M allows us to define certain lattices (discrete groups) associated to M.
    [Show full text]
  • Cycles of Binary Matroids with No F* 7 -Minor
    A. Galluccio, M. Loebl ∗ CYCLES OF BINARY MATROIDS WITH NO F7 -MINOR R. 431 Maggio 1996 Anna Galluccio — Istituto di Analisi dei Sistemi ed Informatica del CNR, Viale Manzoni 30, 00185 Roma, Italy Martin Loebl — Department of Applied Mathematics, Charles University, 11800 Prague 1, Czech Republic. Abstract We study the circuit lattice of a binary matroid, i.e. the set of all integer linear combinations of circuits of a binary matroid. In this paper we prove ∗ that if a binary matroid B does not contain an F7 -minor then the circuit lattice of B admits a basis consisting of cycles. 1 Introduction We will show in this paper that the lattice generated by the circuits of a ∗ binary matroid without an F7 -minor has a basis consisting of cycles. It may be viewed as a continuation of our paper [1] where bases of lattices of directed cycles of digraphs and cycles of graphs were described. Let us recall some basic definitions related to binary matroids (see [7] for an exposition of the matroid theory). Let V d denote the d-dimensional d d+1 vector space over GF [2] and F = V −0V d+1 the d-dimensional projective 2 space. F is called Fano plane and denoted sometimes F7. Simple binary matroids are the nonempty subsets of a projective space. Each binary matroid is obtained from a simple binary matroid by adding new copies of some vectors or of the zero vector. Two copies of the same nonzero vector in a binary matroid are called parallel, each copy of the zero vector is a loop.
    [Show full text]
  • Introduction to Graph Theory
    Introduction to Graph Theory George Voutsadakis1 1Mathematics and Computer Science Lake Superior State University LSSU Math 351 George Voutsadakis (LSSU) Introduction to Graph Theory August 2018 1 / 41 Outline 1 Matroids Introducing Matroids Examples of Matroids Matroids and Graphs Matroids and Transversals George Voutsadakis (LSSU) Introduction to Graph Theory August 2018 2 / 41 Matroids Introducing Matroids Subsection 1 Introducing Matroids George Voutsadakis (LSSU) Introduction to Graph Theory August 2018 3 / 41 Matroids Introducing Matroids Spanning Trees, Bases and Transversals Recall that a spanning tree in a connected graph G is a connected subgraph of G containing no cycles and including every vertex of G. Note that a spanning tree cannot contain another spanning tree as a proper subgraph. Moreover, if B1 and B2 are spanning trees of G and e is an edge of B1, then there is an edge f in B2, such that (B1 −{e}) ∪{f } (the graph obtained from B1 on replacing e by f ) is also a spanning tree of G. Analogous results hold in the theory of vector spaces and in transversal theory: If V is a vector space and if B1 and B2 are bases of V and e is an element of B1, then we can find an element f of B2 such that (B1 −{e}) ∪{f } is also a basis of V . If E is a set of points and F a collection of subsets of E, T1 and T2 are transversals of F and x an element of T1, there exists an element y of T2, such that (T1 −{x}) ∪{y} is also a transversal of F.
    [Show full text]
  • Chapter 2 Characterizations of Binary Eulerian Matroids*
    CHAPTER 2 CHARACTERIZATIONS OF BINARY EULERIAN MATROIDS* ^ A paper based on the text included in this chapter has been publshed in Indian J. Pure Appl. Math., see Reference No.13 isted at the end. 2.1 INTRODUCTION Eulerian and bipartite matroids have been discussed by Welsh [16]. We recall that a graph is Eulerian if it contains a closed walk that traverses each edge exactly once. It is well known that a graph is Eulerian if and only if its edge set can be partitioned into cycles. Analogously a matroid (S, ^) is Eulerian if there exist disjoint circuits C ,C ,...,C such that 12 ri S = C uC u ...uC 12 n Also a graph is bipartite iff every cycle of it is of even length. Analogously, a matroid (S, 5=") is defined to be bipartite if every circuit has even cardinality. Welsh [16] generalized Euler's well known theorem [see Theorem 1.8] for graphs to binary matroids. In this chapter we generalize Shank's characterization [Theorem 1.11] of Eulerian graphs to binary matroids [Theorem 2.3.1]. The Theorem 2.4.1 extends the characterization of Eulerian graphs [Theorem 1.10] due to Toida and Mckee whereas the Theorem 2.5.1 generalizes results [Theorem 1.13] due to Bondy and Halberstan for graphs. Corresponding results for binary bipartite matroids have been derived. The motivation for these results are from graph theory. They are either analogous to or generalizations of corresponding graph-theoretic results. 13 2.2. EULERIAN AND BIPARTITE MATROIDS We begin with the theorem due to Welsh [16].
    [Show full text]
  • A Characterization of the Graphic Split-Off Matroids
    AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 50 (2011), Pages 25–35 A characterization of the graphic split-off matroids M.M. Shikare∗ S.B. Dhotre K.V. Dalvi Department of Mathematics University of Pune Pune 411 007 India Abstract We consider the problem of determining precisely which graphs G have the property that the split-off operation, by every pair of edges, on the cycle matroid M(G) yields a graphic matroid. This problem is solved by proving that there are exactly four minor-minimal graphs that do not have this property. 1 Introduction The split-off operation for a binary matroid with respect to a pair of elements is defined as follows [9]: Let M be a binary matroid on a set E, and let A be a matrix that represents M over GF (2). Suppose that x, y ∈ E, and the element a ∈ E. Let Axy be the matrix obtained from A by adjoining an extra column, with label a, which is the sum of the columns corresponding to x and y, and then deleting the two columns corresponding to x and y.LetMxy be the vector matroid of the matrix Axy. The transition from M to Mxy is called a split-off operation and the matroid Mxy is referred as the split-off matroid. The split-off operation on a graphic matroid, in general, need not yield a graphic matroid. We characterize precisely those graphic matroids M having the property that for every pair {x, y} of its elements, the matroid Mxy is graphic. This charac- terization is given in terms of the forbidden minors.
    [Show full text]
  • Quaternary Bicycle Matroids and the Penrose Polynomial for Delta-Matroids 3 of the Bicycle Spaces of M Relative to the Subsets Y of the Ground Set of M
    Noname manuscript No. (will be inserted by the editor) Quaternary Bicycle Matroids and the Penrose Polynomial for Delta-Matroids Robert Brijder · Hendrik Jan Hoogeboom Received: date / Accepted: date Abstract In contrast to matroids, vf-safe delta-matroids have three kinds of minors and are closed under the operations of twist and loop complementation. We show that the delta-matroids representable over GF(4) with respect to the nontrivial automor- phism of GF(4) form a subclass of the vf-safe delta-matroids closed under twist and loop complementation. In particular, quaternary matroids are vf-safe. Using this result, we show that the matroid of a bicycle space of a quaternary ma- troid M is obtained from M by using loop complementation. As a consequence, the matroid of a bicycle space of a quaternary matroid M is independent of the chosen representation. This also leads to, e.g., an extension of a known parity-type charac- terization of the bicycle dimension, a generalization of the tripartition of Rosenstiehl and Read [Ann. Disc. Math. (1978)], and a suitable generalization of the dual notions of bipartite and Eulerian binary matroids to a vf-safe delta-matroids. Finally, we generalize a number of results concerning the Penrose polynomial from binary matroids to vf-safe delta-matroids. In this general setting the Penrose polynomial turns out to have a recursive relation much like the recursive relation of the Tutte polynomial. Keywords bicycle matroid · quaternary matroid · Penrose polynomial · delta- matroid · graph tripartition Mathematics Subject Classification (2010) 05C31 · 05B35 · 05C50 · 05C25 R.B. is a postdoctoral fellow of the Research Foundation – Flanders (FWO).
    [Show full text]
  • 36 DM10 Abstracts
    36 DM10 Abstracts IP0 IP3 D´enes K¨onig Prize Lecture: Ramsey Numbers of Extremal Problems for Convex Lattice Polytopes Graphs and Hypergraphs In this survey I will present several extremal problems, and Determining or estimating Ramsey numbers is one of the some solutions, concerning convex lattice polytopes. A typ- central problems in combinatorics. In this talk we discuss ical example is to determine the minimal volume that a recent progress on some longstanding conjectures in this convex lattice polytope can have if it has exactly n ver- area which have played an important role in the develop- tices. Other examples are the minimal surface area, or the ment of Ramsey theory. minimal lattice width in the same class of polytopes. These problems are related to a question of V I Arnold from 1980 Jacob Fox asking for the number of (equivalence classes of) lattice Princeton University polytopes of volume V in d-dimensional space, where two [email protected] convex lattice polytopes are equivalent if one can be carried to the other by a lattice preserving affine transformation. IP1 Imre B´ar´any Binary Matroid Minors R´enyi Institute University College London The graph minors project is a sequence of extraordinary [email protected] theorems proved by Neil Robertson and Paul Seymour in the 1980s. The banner theorem of that project is that every minor-closed family of graphs is characterized by a finite IP4 set of excluded minors. The project also has a number Optimizing in a Strategic World: A Survey of Re- of remarkable algorithmic consequences, for example, the cent Research in Algorithmic Game Theory membership testing problem can be efficiently solved for any minor-closed class of graphs.
    [Show full text]
  • Introduction to Graph Theory
    Introduction to Graph Theory Fourth edition Introduction to Graph Theory Fourth edition Robin J. Wilson Addison Wesley Longman Limited Edinburgh Gate, Harlow, Essex CM20 2JE, England and Associated Companies throughout the world. ©Robin Wilson 1972, 1996 All rights reserved; no part of this publication may be reproduced, stored in any retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise without either the prior written permission of the Publishers or a licence permitting restricted copying in the United Kingdom issued by the Copyright Licensing Agency Ltd., 90 Tottenham Court Road, London W1P9HE. First published by Oliver & Boyd, 1972 Second edition published by Longman Group Ltd, 1979 Third edition, 1985 Fourth edition, 1996 Reprinted 1998 British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library ISBN 0-582-24993-7 Library of Congress Cataloging-in-Publication Data A catalog record for this book is available from the Library of Congress Set by 8 in 10 on 12pt Times Produced through Longman Malaysia, PP Contents Preface to the fourth edition vii 1 Introduction 1 What is a graph? 1 2 Definitions and examples 2 Definition 8 3 Examples 17 4 Three puzzles 21 3 Paths and cycles 5 Connectivity 26 6 Eulerian graphs 31 7 Hamiltonian graphs 35 8 Some algorithms 38 4 Trees 9 Properties of trees 43 10 Counting trees 47 11 More applications 51 5 Planarity 12 Planar graphs 13 Euler's formula 60 14 Graphs on other surfaces
    [Show full text]
  • How Many Circuits Determine an Oriented Matroid?
    HOW MANY CIRCUITS DETERMINE AN ORIENTED MATROID? KOLJA KNAUER, LUIS PEDRO MONTEJANO, AND JORGE LUIS RAM´IREZ ALFONS´IN This paper is dedicated to the memory of Michel Las Vergnas Abstract. Las Vergnas & Hamidoune studied the number of circuits needed to de- termine an oriented matroid. In this paper we investigate this problem and some new variants, as well as their interpretation in particular classes of matroids. We present general upper and lower bounds in the setting of general connected orientable matroids, leading to the study of subgraphs of the base graph and the intersection graph of circuits. We then consider the problem for uniform matroids which is closely related to the notion of (connected) covering numbers in Design Theory. Finally, we also devote special attention to regular matroids as well as some graphic and cographic matroids leading in particular to the topics of (connected) bond and cycle covers in Graph Theory. 1. Introduction For the general background on matroid and oriented matroid theory we refer the reader to [30] and [4], respectively. An (oriented) matroid is a finite ground set together with a (usually large) set of (oriented) circuits satisfying certain axioms. But, how many of these circuits are actually needed to fully describe a given (oriented) matroid ? In [25, page 721] Lehman shows, that the set Se of circuits of a connected matroid M containing a fixed element e, distinguishes M from all other matroids on the same ground 0 set, that is, if a matroid M on the same ground contains all circuits from Se then M and M0 are the same.
    [Show full text]
  • Circular Flow and Circular Chromatic Number in the Matroid Context
    Circular Flow and Circular Chromatic Number in the Matroid Context by Laura Elena Ch´avez Lomel´ı B.Sc., Universidad Nacional Aut´onoma de M´exico, 1992. M.Sc., University of Oxford, 1994. a Thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics c Laura Elena Ch´avez Lomel´ı 2007 SIMON FRASER UNIVERSITY Spring 2007 All rights reserved. This work may not be reproduced in whole or in part, by photocopy or other means, without the permission of the author. APPROVAL Name: Laura Elena Ch´avez Lomel´ı Degree: Doctor of Philosophy Title of Thesis: Circular Flow and Circular Chromatic Number in the Matroid Context Examining Committee: Dr. Ladislav Stacho Chair Dr. L. A. Goddyn Senior Supervisor Dr. P. Hell Supervisory Committee Dr. P. Lisonek Supervisory Committee Dr. M. Mishna Internal Examiner Dr. D. J. A. Welsh External Examiner Date of Defense: April 2, 2007 ii Abstract This thesis considers circular flow-type and circular chromatic-type parameters (φ and χ, respectively) for matroids. In particular we focus on orientable matroids and √6 1-matroids. These parameters are obtained via two approaches: algebraic and orientation-based. The general questions we discuss are: bounds for flow number; characterizations of Eulerian and bipartite matroids; and possible connections between the two possible extensions of φ: algebraic and orientation. In the case of orientable matroids, we obtain characterizations of bipartite rank-3 matroids and Eulerian uniform, rank-3 matroids; an asymptotic result regarding the flow number of uniform matroids; and an improvement on the known bound for flow number of matroids of arbitrary rank.
    [Show full text]
  • Flows in Graphs and Matroids ICGT Grenoble, 2014
    Flows in graphs and matroids ICGT Grenoble, 2014 Bertrand Guenin, University of Waterloo July, 2014 Flows in graphs and matroids ICGT Grenoble, 2014 2 2 2 Demand edges 1 2 3 Capacity edges 1 3 1 Defining flows A flow instance: • Graph G = (V; E) • Demand edges: Σ E(G) ⊆ • Capacity edges: E(G) Σ n • Integer weights w 0 for all e E e ≥ 2 Flows in graphs and matroids ICGT Grenoble, 2014 2 2 2 Demand edges 1 2 3 Capacity edges 1 3 1 Defining flows A flow instance: • Graph G = (V; E) • Demand edges: Σ E(G) ⊆ • Capacity edges: E(G) Σ n • Integer weights w 0 for all e E e ≥ 2 Flows in graphs and matroids ICGT Grenoble, 2014 y 0 for all C C is a flow if C ≥ 2 Capacity constraints: for every capacity edge e, X (y : e C C ) w C 2 2 ≤ e Demand constraints: for every demand edge e, X (y : e C C )= w C 2 2 e 2 2 2 1 2 3 1 3 1 Let C be the set of circuits containing exactly one demand edge. Flows in graphs and matroids ICGT Grenoble, 2014 Capacity constraints: for every capacity edge e, X (y : e C C ) w C 2 2 ≤ e Demand constraints: for every demand edge e, X (y : e C C )= w C 2 2 e 2 2 2 1 2 3 1 3 1 Let C be the set of circuits containing exactly one demand edge. y 0 for all C C is a flow if C ≥ 2 Flows in graphs and matroids ICGT Grenoble, 2014 Demand constraints: for every demand edge e, X (y : e C C )= w C 2 2 e 2 2 2 1 2 3 1 3 1 Let C be the set of circuits containing exactly one demand edge.
    [Show full text]