Simplicial Complexes and Boolean Functions

Jesús Aransay 🌐, Alejandro del Campo 📧 and Julius Michaelis 🌐

November 29, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


In this work we formalise the isomorphism between simplicial complexes of dimension $n$ and monotone Boolean functions in $n$ variables, mainly following the definitions and results as introduced by N. A. Scoville. We also take advantage of the AFP representation of ROBDD (Reduced Ordered Binary Decision Diagrams) to compute the ROBDD representation of a given simplicial complex (by means of the isomorphism to Boolean functions). Some examples of simplicial complexes and associated Boolean functions are also presented.
BSD License


Theories of Simplicial_complexes_and_boolean_functions