Coboundary expansion conjecture for random balanced Cayley complexes

At least 3 years old · documented by

Let GG be a finite group, let A⊆GA\subseteq G, and let YA,kY_{A,k} denote the random balanced Cayley complex associated with AA. For a binary kk-cochain ϕ∈Ck(X;F2)\phi\in C^k(X;\mathbb{F}_2), write

∥ϕ∥H=∣{σ∈X(k):ϕ(σ)≠0}∣\|\phi\|_{\rm H}=\left|\left\{\sigma\in X(k):\phi(\sigma)\neq 0\right\}\right|

for its Hamming norm, and

∥ϕ∥csy=min⁡{∣supp⁡(ϕ+dk−1ψ)∣:ψ∈Ck−1(X;F2)}\|\phi\|_{\rm csy}=\min\left\{|\operatorname{supp}(\phi+d_{k-1}\psi)|:\psi\in C^{k-1}(X;\mathbb{F}_2)\right\}

for its cosystolic norm. Define the kk-th coboundary expansion constant by

hk(X)=min⁡{∥dkϕ∥H∥ϕ∥csy:ϕ∈Ck(X;F2)∖Bk(X;F2)}.h_k(X)=\min\left\{\frac{\|d_k\phi\|_{\rm H}}{\|\phi\|_{\rm csy}}:\phi\in C^k(X;\mathbb{F}_2)\setminus B^k(X;\mathbb{F}_2)\right\}.

Coboundary expansion conjecture for random balanced Cayley complexes. For any fixed k≥1k\geq 1 there exist constants C(k)<∞C(k)<\infty and ϵ(k)>0\epsilon(k)>0 such that for any group GG, the random balanced Cayley complexes YA,kY_{A,k} with ∣A∣=C(k)log⁡D(G)|A|=C(k)\log D(G) satisfy hk−1(YA,k)≥ϵ(k)h_{k-1}(Y_{A,k})\geq\epsilon(k) a.a.s. as ∣G∣→∞|G|\to\infty.

This would provide a coboundary-expansion analogue of the paper's logarithmic-size result for the spectral gap, establishing robust cohomological triviality for random balanced Cayley complexes. The source presents it as a suggested conjecture and gives no resolution.

References

Primary source

Roy Meshulam, “Random Balanced Cayley Complexes”, arXiv:2211.02085 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.