Random Uniform and Pure Random Simplicial Complexes
Klas Markstr\"om, Trevor Pinto

TL;DR
This paper introduces methods to analyze properties of random uniform and pure simplicial complexes, providing bounds for topological and combinatorial features, and explores the implications for monotone boolean functions, supporting the Evasiveness conjecture.
Contribution
It presents new probabilistic models for uniform and pure simplicial complexes and connects these models to the behavior of monotone boolean functions, advancing understanding of their typical properties.
Findings
Bounds for topological and combinatorial properties of random complexes
Most monotone boolean functions are evasive
Supports the Evasiveness conjecture for non-symmetric functions
Abstract
In this paper we introduce a method which allows us to study properties of the random uniform simplicial complex. That is, we assign equal probability to all simplicial complexes with a given number of vertices and then consider properties of a complex under this measure. We are able to determine or present bounds for a number of topological and combinatorial properties. We also study the random pure simplicial complex of dimension , generated by letting any subset of size of a set of vertices be a facet with probability and considering the simplicial complex generated by these facets. We compare the behaviour of these models for suitable values of and . Finally we use the equivalence between simplicial complexes and monotone boolean functions to study the behaviour of typical such functions. Specifically we prove that most monotone boolean functions are…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTopological and Geometric Data Analysis · Geometric and Algebraic Topology · Homotopy and Cohomology in Algebraic Topology
