Xavier Goaoc, Simplifying inclusion-exclusion formulas

I’ll explain how to construct, given a set system, an inclusion-exclusion formula valid for that set system and with size sensitive to the size of the Venn diagram of the set system. The main ingredient of the proof are random simplicial complexes. The talk will start from first principle.
This is joint work with J. Matousek, M. Tancer, Z. Safernova and P. Patak from Charles university.