Coboundary expansion conjecture for random balanced Cayley complexes

Let GG be a finite group, let AGA\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(ϕ+dk1ψ):ψCk1(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 k1k\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)logD(G)|A|=C(k)\log D(G) satisfy hk1(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.

Sources & referencesView supporting material

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.