# Difference between revisions of "Matroids seminar"

(9 intermediate revisions by 3 users not shown) | |||

Line 4: | Line 4: | ||

* compute many interesting examples | * compute many interesting examples | ||

* discover concrete applications | * discover concrete applications | ||

+ | For updates, join our mailing list, matroids [at] lists.wisc.edu | ||

We are happy to have new leaders of the discussion, and the wide range of topics to which matroids are related mean that each week is a great chance for a new participant to drop in! If you would like to talk but need ideas, see the [[Matroids seminar/ideas]] page. | We are happy to have new leaders of the discussion, and the wide range of topics to which matroids are related mean that each week is a great chance for a new participant to drop in! If you would like to talk but need ideas, see the [[Matroids seminar/ideas]] page. | ||

Line 10: | Line 11: | ||

'''Organizers''': Colin Crowley, Connor Simpson; Daniel Corey, Jose Israel Rodriguez | '''Organizers''': Colin Crowley, Connor Simpson; Daniel Corey, Jose Israel Rodriguez | ||

− | + | {|cellpadding="8px" style="vertical-align:top; text-align:left; cellpadding:10px;" | |

− | {| cellpadding="8px" style="vertical-align:top; text-align:left; cellpadding:10px;" | + | |- |

+ | |5/03/2019 | ||

+ | | | ||

+ | <div style="font-weight:bold;">[http://www.math.wisc.edu/~csimpson6/ Connor Simpson]</div> | ||

+ | <div class="mw-collapsible mw-collapsed" data-expandtext="Show abstract" data-collapsetext="Hide abstract" style="width:450px; overflow:auto;"> | ||

+ | <div><i>A flip-free proof of the Heron-Rota-Welsh conjecture</i></div> | ||

+ | <div class="mw-collapsible-content"> | ||

+ | The simplicial presentation of a matroid yields a flip-free proof of the Kahler package in degree 1 for the Chow ring of a matroid, which is enough to give a new proof of the Heron-Rota-Welsh conjecture. | ||

+ | This talk is more or less a continuation of the one that Chris Eur gave earlier in the semester in the algebra seminar, and is based on the same joint work with Spencer Backman and Chris Eur. | ||

+ | </div></div> | ||

+ | |- | ||

+ | |4/12/2019 & 4/19/2019 | ||

+ | | | ||

+ | <div style="font-weight:bold;">No seminar</div> | ||

+ | <div class="mw-collapsible mw-collapsed" data-expandtext="Show abstract" data-collapsetext="Hide abstract" style="width:450px; overflow:auto;"> | ||

+ | <div><i>Many organizers are traveling.</i></div> | ||

+ | <div class="mw-collapsible-content"> | ||

+ | None. | ||

+ | </div></div> | ||

+ | |- | ||

+ | |4/05/2019 | ||

+ | | | ||

+ | <div style="font-weight:bold;">Jose Israel Rodriguez</div> | ||

+ | <div class="mw-collapsible mw-collapsed" data-expandtext="Show abstract" data-collapsetext="Hide abstract" style="width:450px; overflow:auto;"> | ||

+ | <div><i>Planar pentads, polynomial systems, and polymatroids</i></div> | ||

+ | <div class="mw-collapsible-content"> | ||

+ | Computing exceptional sets using fiber products naturally yields multihomogeneous systems of polynomial equations. | ||

+ | In this talk, I will utilize a variety of tools from the forthcoming paper "A numerical toolkit for multiprojective varieties" to work out an example from kinematics: exceptional planar pentads. | ||

+ | In particular, we will derive a multihomogeneous polynomial system whose solutions have meaning in kinematics and discuss how polymatroids play a role in describing the solutions. | ||

+ | </div></div> | ||

+ | |- | ||

|3/29/2019 | |3/29/2019 | ||

| | | | ||

− | <div style="font-weight:bold;">Colin Crowley</div> | + | <div style="font-weight:bold;">[https://sites.google.com/view/colincrowley/home Colin Crowley]</div> |

<div><i>Binary matroids and Seymour's decomposition in coding theory</i></div> | <div><i>Binary matroids and Seymour's decomposition in coding theory</i></div> | ||

<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||

− | We will begin by discussing the equivalence between a binary matroid and a binary linear code. And then following [https://ac.els-cdn.com/009589568990052X/1-s2.0-009589568990052X-main.pdf?_tid=a1d8598e-c5f2-4c07-8d7b-0843e88c416f&acdnat=1552505468_33915774714b2e407e4fd7001ba33100 this paper] and [https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=4544972 this one], we will describe the Maximum Likelihood decoding problem and then outline how Seymour's decomposition theorem for | + | We will begin by discussing the equivalence between a binary matroid and a binary linear code. And then following [https://ac.els-cdn.com/009589568990052X/1-s2.0-009589568990052X-main.pdf?_tid=a1d8598e-c5f2-4c07-8d7b-0843e88c416f&acdnat=1552505468_33915774714b2e407e4fd7001ba33100 this paper] and [https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=4544972 this one], we will describe the Maximum Likelihood decoding problem and then outline how Seymour's decomposition theorem for regular matroids led to a polynomial time algorithm on a subclass of binary linear codes. |

</div></div> | </div></div> | ||

|- | |- | ||

|3/15/2019 | |3/15/2019 | ||

| | | | ||

− | <div style="font-weight:bold;">Daniel Corey</div> | + | <div style="font-weight:bold;">[https://sites.google.com/site/dcorey2814/home Daniel Corey]</div> |

<div><i>The geometry of thin Schubert cells</i></div> | <div><i>The geometry of thin Schubert cells</i></div> | ||

Line 59: | Line 90: | ||

|2/15/2019 | |2/15/2019 | ||

| | | | ||

− | <div style="font-weight:bold;">Colin Crowley</div> | + | <div style="font-weight:bold;">[https://sites.google.com/view/colincrowley/home Colin Crowley]</div> |

<div><i>Matroid polytopes</i></div> | <div><i>Matroid polytopes</i></div> |

## Latest revision as of 16:47, 18 July 2019

The matroids seminar & reading group meets **10:00--10:45 on Fridays in Van Vleck 901** in order to discuss matroids from a variety of viewpoints.
In particular, we aim to

- survey open conjectures and recent work in the area
- compute many interesting examples
- discover concrete applications

For updates, join our mailing list, matroids [at] lists.wisc.edu

We are happy to have new leaders of the discussion, and the wide range of topics to which matroids are related mean that each week is a great chance for a new participant to drop in! If you would like to talk but need ideas, see the Matroids seminar/ideas page.

To help develop an inclusive environment, a subset of the organizers will be available before the talk in the ninth floor lounge to informally discuss background material e.g., "What is a variety?", "What is a circuit?", "What is a greedy algorithm?" (this is especially for those coming from an outside area).

**Organizers**: Colin Crowley, Connor Simpson; Daniel Corey, Jose Israel Rodriguez

5/03/2019 |
A flip-free proof of the Heron-Rota-Welsh conjectureThe simplicial presentation of a matroid yields a flip-free proof of the Kahler package in degree 1 for the Chow ring of a matroid, which is enough to give a new proof of the Heron-Rota-Welsh conjecture. This talk is more or less a continuation of the one that Chris Eur gave earlier in the semester in the algebra seminar, and is based on the same joint work with Spencer Backman and Chris Eur. |

4/12/2019 & 4/19/2019 |
No seminar
Many organizers are traveling.None. |

4/05/2019 |
Jose Israel Rodriguez
Planar pentads, polynomial systems, and polymatroidsComputing exceptional sets using fiber products naturally yields multihomogeneous systems of polynomial equations. In this talk, I will utilize a variety of tools from the forthcoming paper "A numerical toolkit for multiprojective varieties" to work out an example from kinematics: exceptional planar pentads. In particular, we will derive a multihomogeneous polynomial system whose solutions have meaning in kinematics and discuss how polymatroids play a role in describing the solutions. |

3/29/2019 |
Binary matroids and Seymour's decomposition in coding theoryWe will begin by discussing the equivalence between a binary matroid and a binary linear code. And then following this paper and this one, we will describe the Maximum Likelihood decoding problem and then outline how Seymour's decomposition theorem for regular matroids led to a polynomial time algorithm on a subclass of binary linear codes. |

3/15/2019 |
The geometry of thin Schubert cellsWe will cover the distinction between the thin Schubert cell of a matroid and the realization space of a matroid, how to compute examples, Mnev universality, and time permitting, maps between thin Schubert cells. |

3/8/2019 |
Vladmir Sotirov
is sickPlague and pestilence! |

3/1/2019 |
The multivariate Tutte polynomial of a flag matroidFlag matroids are combinatorial objects whose relation to ordinary matroids are akin to that of flag varieties to Grassmannians. We define a multivariate Tutte polynomial of a flag matroid, and show that it is Lorentzian in the sense of Branden-Huh '19. As a consequence, we obtain a flag matroid generalization of Mason’s conjecture concerning the f-vector of independent subsets of a matroid. This is an on-going joint work with June Huh. |

2/22/2019 | |

2/15/2019 |
Matroid polytopesWe outline the original formulation of matroid polytopes as moment polytopes of subvarieties of the Grassmanian, following Combinatorial Geometries, Convex Polyhedra, and Schbert Cells. |

2/8/2019 |
Proving the Heron-Rota-Welsh conjectureWe outline the proof of the Heron-Rota-Welsh conjecture given by Adiprasito, Huh, and Katz in their paper Hodge theory for combinatorial geometries |

1/25/2019 & 2/1/2019 |
Algebraic matroids in actionWe discuss algebraic matroids and their applications; see Algebraic Matroids in Action. |

1/18/2019 |
Introduction to matroidsWe'll cover the basic definitions and some examples, roughly following these notes. |