b83a857923d5fb75.tex
1: \begin{abstract}
2: Let $G$ be a finite abelian group of order $n$ and let $\dn$ denote the $(n-1)$-simplex on the vertex set $G$.
3: The \emph{sum complex} $X_{A,k}$ associated to a subset $A \subset G$ and $k < n$, is the $k$-dimensional simplicial complex obtained
4: by taking the full $(k-1)$-skeleton of $\dn$ together with all $(k+1)$-subsets $\sigma \subset G$ that satisfy $\sum_{x \in \sigma} x \in A$. Let $C^{k-1}(X_{A,k})$ denote the space of complex valued $(k-1)$-cochains of $X_{A,k}$.
5: Let $L_{k-1}:C^{k-1}(X_{A,k}) \rightarrow C^{k-1}(X_{A,k})$ denote the reduced $(k-1)$-th Laplacian
6: of $X_{A,k}$, and let $\mu_{k-1}(X_{A,k})$ be the minimal eigenvalue of $L_{k-1}$.
7: \\
8: It is shown that if $k \geq 1$ and $\epsilon>0$ are fixed, and $A$ is a random subset of $G$ of size $m=\lceil\frac{4k^2\log n}{\epsilon^2}\rceil$, then
9: \[
10: \pr\big[~\mu_{k-1}(X_{A,k}) < (1-\epsilon)m~\big] =O\left(\frac{1}{n}\right).
11: \]
12: \ \\ \\
13: \textbf{2000 MSC:} 05E45, 60C05
14: \\
15: \textbf{Keywords:}  Random sum complexes, High dimensional Laplacians, Spectral gap. 
16: \end{abstract}
17: