Caltech Home > PMA Home > Calendar > Logic Seminar
open search form
Wednesday, May 04, 2022
12:00 PM - 1:00 PM
Online Event

Logic Seminar

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 kechris@caltech.edu.