Abstract:We initiate the study of Boolean function analysis on high-dimensional expanders. We give a random-walk based definition of high-dimensional expansion, which coincides with the earlier definition in terms of two-sided link expanders. Using this definition, we describe an analog of the Fourier expansion and the Fourier levels of the Boolean hypercube for simplicial complexes. Our analog is a decomposition into approximate eigenspaces of random walks associated with the simplicial complexes. Our random-walk definition and the decomposition have the additional advantage that they extend to the more general setting of posets, encompassing both high-dimensional expanders and the Grassmann poset, which appears in recent work on the unique games conjecture. We then use this decomposition to extend the Friedgut–Kalai–Naor theorem to high-dimensional expanders. Our results demonstrate that a constant-degree high-dimensional expander can sometimes serve as a sparse model for the Boolean slice or hypercube, and quite possibly additional results from Boolean function analysis can be carried over to this sparse model. Therefore, this model can be viewed as a derandomization of the Boolean slice, containing only points in contrast to points in the ( k )-slice (which consists of all n -bit strings with exactly k ones).
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to extend Boolean function analysis to high - dimensional expanders. Specifically, the authors introduce a definition of high - dimensional expanders based on random walks and show how to define analogues of Boolean function analysis on simplicial complexes, such as Fourier expansion and its hierarchy. Through this method, they are able to generalize the classical concepts of Boolean function analysis on the Boolean hypercube to more general high - dimensional expanders.
### The core contributions of the paper include:
1. **New Definition of High - Dimensional Expanders**:
- A definition of high - dimensional expanders based on random walks is proposed, which is equivalent to the previous two - sided link expander definition.
- This new definition is applicable not only to simplicial complexes but can also be naturally extended to partially ordered sets (posets), including high - dimensional expanders and Grassmann partially ordered sets.
2. **Function Decomposition**:
- An approximately orthogonal decomposition of functions on high - dimensional expanders is introduced, which is similar to the Fourier decomposition on the Boolean hypercube.
- It is proved that this decomposition is approximately orthogonal on high - dimensional expanders and can be used to derive the relationship between the total influence and the norms of the decomposition components.
3. **Generalization of Boolean Function Analysis**:
- The Friedgut - Kalai - Naor (FKN) theorem is generalized to high - dimensional expanders. The FKN theorem is a fundamental result in Boolean function analysis, which shows that Boolean functions close to linear functions are actually close to a certain type of function (called "dictator").
- It is proved that on high - dimensional expanders, Boolean linear functions correspond to independent sets rather than single points, which makes the proof of the linear theorem non - trivial.
### Background and Motivation of the Paper:
- **Boolean Function Analysis**: Traditionally, functions on the Boolean cube are studied. In recent years, research in this field has been extended to more general domains, including groups, association schemes, error - correcting codes and quantum Boolean functions.
- **High - Dimensional Expanders**: Have become a new research area in recent years. They are sparse models of high - dimensional objects, similar to how graph expanders are sparse models of complete graphs. High - dimensional expanders have found applications in multiple fields such as topological overlap theory, Markov chain analysis, coding theory and property testing.
### Main Technical Contributions of the Paper:
- **Random Walk Definition**: By defining high - dimensional random walks, the authors provide a new perspective to understand high - dimensional expanders, and this definition is equivalent to the existing two - sided link expander definition.
- **Function Decomposition**: On high - dimensional expanders, functions can be decomposed into approximately eigenvectors, which are related to the random walk operator. This decomposition is approximately orthogonal and can be used to derive the relationship between the total influence and the norms of the decomposition components.
- **Generalization of the FKN Theorem**: By regarding high - dimensional expanders as convex combinations of small sub - complexes, the authors prove that Boolean functions close to linear functions are actually close to a certain type of function, thus generalizing the FKN theorem.
In conclusion, through introducing the definition of high - dimensional expanders based on random walks, this paper successfully generalizes the concepts of Boolean function analysis to high - dimensional expanders, providing new tools and perspectives for the development of this field.