{"id":1882,"date":"2016-07-13T12:03:15","date_gmt":"2016-07-13T16:03:15","guid":{"rendered":"http:\/\/matroidunion.org\/?p=1882"},"modified":"2016-07-13T14:29:16","modified_gmt":"2016-07-13T18:29:16","slug":"delta-matroids-origins","status":"publish","type":"post","link":"https:\/\/matroidunion.org\/?p=1882","title":{"rendered":"Delta-matroids: Origins."},"content":{"rendered":"

Guest post by\u00a0Carolyn Chun<\/a>.<\/em><\/p>\n

In a previous post<\/a>, Dr. Pivotto posted about multimatroids.\u00a0 Her post includes a definition of delta-matroid, and a natural way that delta-matroids arise in the context of multimatroid theory.\u00a0 I recommend her post to readers interested in multimatroids, which generalize delta-matroids.<\/span>\u00a0 I will discuss delta-matroids in this post, their discovery and natural ways that a mathematician may innocently stumble into their wonderful world.<\/p>\n

Delta-matroids were first studied by Andre Bouchet [BG].\u00a0 <\/span>I use $X\\bigtriangleup Y$ to denote symmetric difference of sets $X$ and $Y$, which is equal to $(X\\cup Y)-(X\\cap Y)$. To get a delta-matroid, take a finite set $E$ and a collection of subsets $\\mathcal{F}$, called feasible sets, satisfying the following.<\/p>\n

I) $\\mathcal{F}\\neq \\emptyset$.<\/p>\n

II) If $F,F\u2019\\in \\mathcal{F}$ and $e\\in F\\bigtriangleup F\u2019$, then there exists $f\\in F\\bigtriangleup F\u2019$ such that $F\\bigtriangleup \\{e,f\\}$ is in $\\mathcal{F}$.<\/p>\n

Then $D=(E,\\mathcal{F})$ is a delta-matroid.<\/p>\n

It is worth noting that the feasible sets of a delta-matroid can have different cardinalities.\u00a0 <\/span>Taking all of the feasible sets of smallest cardinality gives the bases of a matroid, namely the lower matroid for $D$.\u00a0 <\/span>Likewise the feasible sets with maximum cardinality give the bases of the upper matroid of $D$.\u00a0 <\/span>No other collections of feasible sets of a given size are guaranteed to comprise the bases of a matroid.<\/p>\n

Taking minors in delta-matroids is modeled well by considering the bases of a matroid minor.\u00a0 <\/span>Take $e\\in E$.\u00a0 <\/span>As long as $e$ is not in every feasible set (that is, $e$ is not a coloop), the deletion of $e$ from $D$, written $D\\backslash e$, is the delta-matroid $(E-e,\\{F \\mid\u00a0F\\in\\mathcal{F}\\text{ and }e\\notin F\\}).$ \u00a0As long as $e$ is not in no feasible set (that is, $e$ is not a loop), then contracting $e$ from $D$, written $D\/e$,\u00a0 <\/span>is the delta-matroid $(E-e,\\{F-e \\mid F\\in \\mathcal{F}\\text{ and }e\\in F\\})$.\u00a0 <\/span>If $e$ is a loop or coloop, then $D\\backslash e=D\/e$.<\/p>\n

There are several natural ways to get to delta-matroids.\u00a0 <\/span>They keep showing up, like the page where you die in a choose-your-own-adventure book.\u00a0 <\/span>The stairs grow dimmer and dimmer as you walk down the stone staircase into darkness.\u00a0 <\/span>You hear what may be screams in the distance.\u00a0 <\/span>You finally reach a closed door and hold your candle up to read the label, scrawled in blood.<\/i>\u00a0 <\/span>The label on the door in this metaphor is \u201cdelta-matroids,\u201d and they are not as scary as I portrayed them in that story.<\/p>\n

<\/a>***<\/p>\n

0) Choose your own adventure by preceding to the appropriate section.<\/a><\/p>\n

1) \u201cI studied embedded graphs and now I see delta-matroids everywhere.\u201d<\/a><\/p>\n

2) \u201cPartial duality brings me to delta-matroids.\u201d<\/a><\/p>\n

3) \u201cI left out a basis axiom when defining matroids.\u00a0 <\/span>Ahoy, delta-matroids!\u201d<\/a><\/p>\n

4) \u201cCircle graphs seemed like fun.\u00a0 <\/span>Until they hatched into delta-matroids.\u201d<\/a><\/p>\n

5) \u201cC\u2019mon, skew symmetric matrices.\u00a0 <\/span>This can\u2019t end in delta-matroids.\u00a0 <\/span>Or can it?\u201d<\/a><\/p>\n

6) \u201cDNA recombination in ciliates is my cup of tea.\u00a0 <\/span>Who knew I was brewing delta-matroids?\u201d<\/a><\/p>\n

7) \u201cI abandon this quest and run away.\u201d<\/a><\/p>\n

<\/a>***<\/p>\n

1) \u201cI studied embedded graphs and now I see delta-matroids everywhere.\u201d <\/i><\/p>\n

One way to arrive at delta-matroids is by considering cellularly embedded graphs, which I like to think of as ribbon graphs, following [EMM].<\/p>\n

To get a cellularly embedded graph, start with a surface (compact, connected 2-manifold), then put vertices (points) and edges (curves between vertices) onto the surface so that no edges cross and each face (unbroken piece of the surface enclosed by edges and vertices) is basically a disk.\u00a0 <\/span>That is, no face contains a handle or cross-cap.<\/p>\n

The particular embedding of a graph encodes more information than the abstract graph, which just encodes adjacencies.\u00a0 <\/span>There\u2019s an order to the edges incident with a vertex as you circumnavigate the vertex in the embedding, but not in the abstract graph.\u00a0 <\/span>If you take the matroid of an embedded graph, then you lose the extra information stored in the embedding and you wind up with the matroid of the abstract graph.\u00a0 <\/span>For example, a pair of loops is indistinguishable from a pair of loops, even though the first pair of loops are embedded in a sphere so that the graph has three faces, and the second pair of loops is embedded in a torus so that the graph has one face.\u00a0 <\/span>By looking at the matroid of an embedded graph, you can\u2019t even tell if the graph is embedded in an orientable surface or a non-orientable surface.\u00a0 <\/span>So matroids are the wrong object to model embedded graphs.\u00a0 \u00a0<\/span><\/p>\n

\"image001\"<\/a>Here is a figure by Steven Noble, where $\\mathcal{R}$ is the set of ribbon graphs.\u00a0 <\/span>The correspondence between graphs and matroids is akin to the correspondence between ribbon graphs and question mark.\u00a0 <\/span>Likewise, graphs are to embedded graphs as matroids are to question mark. Andre Bouchet showed that delta-matroids are the question mark.<\/p>\n

To get a ribbon graph, begin with a cellularly embedded graph, cut around the vertices and edges, and throw away the faces.\u00a0 <\/span>The vertices have become disks, and the edges have become ribbons connecting disks. Each missing face counts as a boundary component in the ribbon graph.\u00a0 <\/span>We have not lost any of the information from our embedding, since the faces were just disks and can be glued back along the boundary components to return to the original presentation.\u00a0 <\/span>Spanning forests in a ribbon graph are exactly what you expect, and the edge sets of spanning forests of a ribbon graph give the bases of a matroid.\u00a0 <\/span>To get a quasi-tree, we are allowed to delete edges (remove ribbons) from our ribbon graph so that we leave behind a ribbon graph with exactly as many boundary components as the original graph had connected components.\u00a0 <\/span>Note that each spanning forest is a quasi-tree.\u00a0 <\/span>The edge sets of quasi-trees are the feasible sets of a delta-matroid.\u00a0 <\/span>The reader may take a break to draw a ribbon graph with quasi-trees of multiple sizes.\u00a0 <\/span>For more information along these lines, I refer you to [CMNR1] or [CMNR2].<\/p>\n

You may be familiar with the mutually enriching relationship between graphs and matroids.\u00a0 <\/span>There appears to be a similar mutually enriching relationship between ribbon graphs and delta-matroids.\u00a0 <\/span>Tutte said, \u201cIf a theorem about graphs can be expressed in terms of edges and circuits only it probably exemplifies a more general theorem about matroids.\u201d\u00a0 <\/span>To alter this quote for our purposes, we say, \u201cIf a theorem about ribbon graphs can be expressed in terms of edges and quasi-trees only it probably exemplifies a more general theorem about delta-matroids.\u201d<\/p>\n

Protip:\u00a0 <\/span>Not every delta-matroid can be represented by a ribbon graph.\u00a0 <\/span>Geelen and Oum gave an excluded minor characterization for ribbon-graphic delta-matroids in [GO].<\/p>\n

<\/a>***<\/p>\n

2) \u201cPartial duality brings me to delta-matroids.\u201d<\/i><\/p>\n

A planar graph has a nice, well-defined dual.\u00a0 <\/span>Not all graphs have well-defined duals.\u00a0 <\/span>A graph that is not planar that is cellularly embedded in a surface has a well-defined dual, but the dual depends on the surface.\u00a0 <\/span>The matroid of a graph has a well-defined dual, as do all matroids.\u00a0 <\/span>Matroids are nice and general in that sense.\u00a0 <\/span>The notion of partial duality was developed by Chmutov [CG] in the context of embedded graphs, which can be viewed as ribbon graphs, as discussed in ending (1).<\/a>\u00a0 <\/span>To get the dual from a ribbon graph, replace the boundary components with vertices, and the vertices with boundary components.\u00a0 <\/span>Now the ribbons still link up the vertices, but they are short and thick, rather than being long and ribbony.\u00a0 <\/span>In fact, one way to look at taking a dual is to focus on the ribbon edges, and simply switch the parts of each edge that are incident with vertices with the parts of the edge that are incident with boundary components.\u00a0 <\/span>Furthermore, there\u2019s nothing particularly special about switching parts of the ribbon edges for the entire ribbon graph, rather than just a subset of the edges.\u00a0 <\/span>We use $G^A$ to denote the partial dual of a ribbon-graph, $G$, with respect to the edge set $A$.<\/p>\n

Here is a drawing of a partial dual for a ribbon graph that Iain Moffatt drew.\u00a0 <\/span>Actually, it is a slide from a talk by Steven Noble using Iain Moffatt\u2019s figures, with a dash of copyright infringement.\u00a0 <\/span>Luckily, this is being used for educational purposes and I\u2019m not being paid for this.\u00a0 <\/span>Unless Spielberg buys the movie rights to this.\u00a0 <\/span>Then I will cut Noble and Moffatt in on the profits.<\/p>\n

\"image003\"<\/a><\/p>\n

Partial duality is also natural enough in matroids, but the partial dual of a matroid is rarely a matroid.\u00a0 <\/span>Recall that $X\\bigtriangleup Y$ denotes symmetric difference of sets $X$ and $Y$, which is equal to $(X\\cup Y)-(X\\cap Y)$.\u00a0 <\/span>A matroid $M=(E,\\mathcal{B})$ defined in terms of its bases has a dual that may be written $(E,\\{E\\bigtriangleup B \\mid B\\in\\mathcal{B}\\})$.\u00a0 <\/span>The dual of a matroid is a matroid.\u00a0 <\/span>Now, for a set $A\\subseteq E$, the entity $(E,\\{A\\bigtriangleup B\\mid B\\in\\mathcal{B}\\}):=M*A$ is the partial dual with respect to $A$.\u00a0 <\/span>There is a way to make sure that the partial dual with respect to $A$ is a matroid.\u00a0 <\/span>The following result is Theorem 3.10 in [CMNR2].<\/p>\n

Theorem.<\/i>\u00a0 <\/span>Let $M=(E,\\mathcal{B})$ be a matroid and $A$ be a subset of $E$.\u00a0 <\/span>Then $M*A$ is a matroid if and only if $A$ is separating or $A\\in\\{\\emptyset,E\\}$.<\/i><\/p>\n

Whenever $A$ is not empty or the ground set of a component of the matroid, then the partial dual with respect to $A$ is (scrawled in blood)<\/i> a delta-matroid!\u00a0 <\/span>Matroids may be too abstract for most human beings, but they are not quite abstract enough to accommodate partial duality, which is a natural notion generalizing from ribbon graphs.\u00a0 <\/span>Delta-matroids are the right object, and we tend to view the set of partial duals of a delta-matroid as all belonging to the same equivalence class, just as matroid theorists often view a matroid and its dual as belonging to one equivalence class.<\/p>\n

<\/a>***<\/p>\n

3) \u201cI left out a basis axiom when defining matroids.\u00a0 <\/span>Ahoy, delta-matroids!\u201d<\/i><\/p>\n

For a set $E$ and a collection $\\mathcal{B}$ of subsets of $E$, the set $\\mathcal{B}$ form the bases of matroid $(E,\\mathcal{B})$ exactly when the following hold.<\/p>\n

I) $\\mathcal{B}\\neq \\emptyset$.<\/p>\n

II) If $B,B\u2019\\in \\mathcal{B}$ and $e\\in B\\bigtriangleup B\u2019$, then there exists $f\\in B\\bigtriangleup B\u2019$ such that $B\\bigtriangleup \\{e,f\\}$ is in $\\mathcal{B}$.<\/p>\n

III) The sets in $\\mathcal{B}$ are equicardinal.<\/p>\n

Omit (III) and hello, sailor!\u00a0 <\/span>You have the definition of a delta-matroid!\u00a0 <\/span>Just change the word \u201cbases\u201d to the phrase \u201cfeasible sets.\u201d<\/p>\n

<\/a>***<\/p>\n

4) \u201cCircle graphs seemed like fun.\u00a0 <\/span>Until they hatched into delta-matroids.\u201d<\/i><\/p>\n

You approach the nest full of circle graphs with the stealth and speed of a mongoose, only to discover they are cracking open, each containing an even delta-matroid, where even will be defined in a moment.\u00a0 <\/span>You should have known that a circle graph is a ribbon-graph in disguise, and a ribbon-graph is, in turn, just a dressed-up delta-matroid.\u00a0 <\/span>Geelen and Oum used this relationship in [GO] to find an excluded-minor characterization for ribbon-graphic delta-matroids.<\/p>\n

A delta-matroid is even exactly when all of its feasible sets have the same parity.\u00a0 <\/span>They do not all have to have even parity, odd parity is also fine in an even delta-matroid, as long as the parity is exclusive.\u00a0 <\/span>Maybe a better title would be a monogamous delta-matroid, but maybe not.\u00a0 <\/span>A circle graph is easy to view as a ribbon-graph.\u00a0 <\/span>To get a circle graph, you start with a circle, and draw chords (straight lines) across it, and then you check to see which ones cross each other.\u00a0 <\/span>Your circle graph has a vertex for each chord, and an edge between each pair of vertices corresponding to chords that cross.\u00a0 <\/span>Go back to the chord diagram and fatten up your chords into ribbons, which cross each other.\u00a0 <\/span>Where two chords cross, just let one ribbon go over the other, we don\u2019t restrict ourselves to two-dimensions.\u00a0 <\/span>It doesn\u2019t matter which ribbon is higher than the other, but don\u2019t put any twists into the edges.\u00a0 <\/span>Now view the circle as a big vertex.\u00a0 <\/span>Your chord diagram has become a ribbon-graph.\u00a0 <\/span>It is worth noting that the ribbon-graph corresponds to a graph embedded in an orientable surface.<\/p>\n

The edges in your circle graph now correspond to pairs of intertwined loops in your ribbon-graph.\u00a0 <\/span>By intertwined, I mean that two loops, $a$ and $b$, incident with a single vertex so that, when you circumnavigate the vertex they share, you hit $a$, $b$, $a$, and then $b$; rather than $a$, $a$, $b$, and $b$.\u00a0 <\/span>Now the feasible sets of your delta-matroid include the empty set (because your vertex has a single boundary component), no single-element sets, and each pair $\\{v,w\\}$ where $vw$ is an edge in your circle graph.\u00a0 <\/span>Check this by drawing a big vertex and two interlaced ribbon-graph loops and tracing around the boundary components.\u00a0 <\/span>You will find there\u2019s only one boundary component.\u00a0 <\/span>The rest of the feasible sets of the delta-matroid come from the remaining quasi-trees in the ribbon-graph, but you\u2019ll find that, mysteriously, there are no quasi-trees with an odd number of edges.\u00a0 <\/span>Ribbon-graphs from orientable surfaces give even delta-matroids.\u00a0 <\/span>Bouchet showed that even ribbon-graph delta-matroids also come naturally from 4-regular directed graphs.\u00a0 <\/span>For more information along these lines, see Section 4.2 and Section 5.2 of [CMNR1].<\/p>\n

Bouchet and Duchamp showed in [BD] that ribbon-graphs correspond to a subset of binary delta-matroids, which will be considered in (5).<\/a>\u00a0 <\/span>They did this by giving an excluded minor characterization for binary delta-matroids.\u00a0 <\/span>In [GO], Geelen and Oum built on the work of Bouchet [BC] in the area of circle graphs and found pivot-minor-minimal non-circle-graphs. As an application of this they obtained the excluded minors for ribbon-graphic delta-matroids.<\/p>\n

<\/a>***<\/p>\n

5) \u201cC\u2019mon, skew symmetric matrices.\u00a0 <\/span>This can\u2019t end in delta-matroids.\u00a0 <\/span>Or can it?\u201d<\/i><\/p>\n

A lot of matroid theorists enjoy representable matroids, which have matrix representations.\u00a0 <\/span>Delta-matroids do not disappoint.\u00a0 <\/span>Take an $E$x$E$ skew-symmetric matrix over your favorite field.\u00a0 <\/span>For $A\\subseteq E$, consider the $A$x$A$ submatrix obtained by restricting to the rows and columns labeled by elements in $A$.\u00a0 <\/span>If this submatrix is non-singular, then put $A$ into the collection $\\mathcal{F}$.\u00a0 <\/span>Guess what $(E,\\mathcal{F})$ is.\u00a0 <\/span>A delta-matroid!\u00a0 <\/span>Every ribbon-graphic delta-matroid has a partial dual that has a binary matrix representation.\u00a0 <\/span>If you pick a field with characteristic other than two, then your delta-matroids representable over that field will be even.\u00a0 <\/span>This follows from the nature of skew-symmetric matrices.\u00a0 <\/span>For more information along these lines, see Section 5.7 in [CMNR1]<\/p>\n

<\/a>***<\/p>\n

6) \u201cDNA recombination in ciliates is my cup of tea.\u00a0 <\/span>Who knew I was brewing delta-matroids?\u201d<\/i><\/p>\n

The title to this section may sound like a good pick-up line, but I have had no success with it.\u00a0 <\/span>Ciliates (phylum Ciliophora) are single-celled organisms that experience nuclear dimorphism.\u00a0 <\/span>Their cells each contain two nuclei, which contain different, but related, genomes. The DNA reconstruction in ciliates has something to do with 4-regular graphs, which can be thought of as medial graphs of ribbon graphs.\u00a0 <\/span>I\u2019m out of my depth here, so I will refer you to the amazing work of people who know more about this subject.\u00a0 <\/span>Jonoska and Saito put together a book on biomathematics that is on my reading list.\u00a0 <\/span>I\u2019ll highlight in particular an article by Brijder and Hoogeboom [BH] in this book for more delta-matroids.\u00a0 <\/span>While you\u2019re waiting for your local library to order that book, I suggest checking out [AJS] by Angeleska, Jonoska, and Saito.<\/p>\n

*<\/a>**<\/p>\n

7) \u201cI abandon this quest and run away.\u201d<\/i><\/p>\n

Very well, you decide to abandon this quest and run away.\u00a0 <\/span>You drop your axe.\u00a0 <\/span>You put down your boomerang.\u00a0 <\/span>You throw away your ninja stars.\u00a0 <\/span>You retire the commander of your armies, and donate your blowtorches to charity.\u00a0 <\/span>You turn from the Siren-like call of the delta-matroids, but what is that sound?\u00a0 <\/span>Is the song growing stronger even as you run away?\u00a0 <\/span>Yes, delta-matroids seem to be in front of you every direction you face.\u00a0 <\/span>After a meltdown or two, you pull yourself together and return to (0)<\/a>, resolved to pick a different course of action.<\/p>\n

***<\/p>\n

[AJS] A. Angeleska, N. Jonoska, and M. Saito. DNA recombination through assembly graphs. Discrete Applied Mathematics<\/i>. 157:14<\/b> (2009) 3020\u20133037.<\/p>\n

[BC] A. Bouchet, Circle graph obstructions, J. Combin. Theory Ser. B.<\/i> 60<\/b> (1994) 107\u2013144.<\/p>\n

[BG] A. Bouchet, Greedy algorithm and symmetric matroids, Math. Program.<\/i> 38<\/b> (1987) 147\u2013 159.<\/p>\n

[BD] A. Bouchet and A. Duchamp, Representability of delta-matroids over GF(2), Linear Algebra Appl.<\/i> 146<\/b> (1991) 67\u201378.<\/p>\n

[BH] R. Brijder and H. Hoogeboom, The algebra of gene assembly in ciliates.\u00a0 <\/span>In: N. Jonoska and M. Saito (eds.) Discrete and Topological Models in Molecular Biology.<\/i> Natural Computing Series, Springer, Heidelberg (2014) 289\u2014307.<\/p>\n

[CG] S. Chmutov, Generalized duality for graphs on surfaces and the signed Bollob\u00e1s\u2013Riordan polynomial, J. Combin. Theory Ser. B.<\/i> 99<\/b> (2009) 617\u2013638.<\/p>\n

[CMNR1] C. Chun, I. Moffatt, S. Noble, and R. Rueckriemen, Matroids, delta-matroids, and embedded graphs, arXiv:1403.0920.<\/p>\n

[CMNR2] C. Chun, I. Moffatt, S. Noble, and R. Rueckriemen, On the interplay between embedded graphs and delta-matroids, arXiv:1602.01306.<\/p>\n

[EMM] J. Ellis-Monaghan and I. Moffatt, Graphs on surfaces: Dualities, Polynomials, and Knots<\/i>, Springer, (2013).<\/p>\n

[GO] J. Geelen, S. Oum, Circle graph obstructions under pivoting. J. Graph Theory.<\/i> 61<\/b> (2009) 1\u201311.<\/p>\n","protected":false},"excerpt":{"rendered":"

Guest post by\u00a0Carolyn Chun. In a previous post, Dr. Pivotto posted about multimatroids.\u00a0 Her post includes a definition of delta-matroid, and a natural way that delta-matroids arise in the context of multimatroid theory.\u00a0 I recommend her post to readers interested … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1882","post","type-post","status-publish","format-standard","hentry","category-matroids"],"_links":{"self":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/1882","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1882"}],"version-history":[{"count":26,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/1882\/revisions"}],"predecessor-version":[{"id":1941,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/1882\/revisions\/1941"}],"wp:attachment":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1882"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1882"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1882"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}