DRAFT
Caltech Logo

Logic Seminar

Wednesday, May 4, 2022
12:00pm to 1:00pm
Add to Cal
Online Event
Filter flows
Garrett Ervin, Department of Mathematical Sciences, Carnegie Mellon University,

A directed hypergraph GG consists of a vertex set VV along with a collection of directed hyperedges (A,B)(A,B), where AA and BB are finite subsets of VV. Given a set of vertices XX, we think of the edge (A,B)(A,B) as being on the boundary of XX if XX intersects AA and does not completely contain BB.
We can generalize the notion of directed hypergraph as follows. A filter graph GG consists of an infinite vertex set VV along with a collection of edges (F,G)(F,G), where FF and GG are filters on VV. Given a set of vertices XX, we think of the edge (F,G)(F,G) as being on the boundary of XX if XX is FF-positive and the complement of XX is GG-positive.
Filter graphs seem to be surprisingly graph-like. We'll show that filter graphs satisfy the natural generalization of the max-flow/min-cut theorem, where point masses flowing along directed edges in the usual hypergraph setting are replaced by ultrafilters flowing along filter-edges.

For more information, please contact Math Dept. by phone at 626-395-4335 or by email at A. Kechris at [email protected].