Coboundary expansion conjecture for Ramanujan balanced Cayley complexes

From papers

Let pp and qq be distinct odd primes with q>2pq>2\sqrt p and Legendre symbol (pq)=1\left(\frac pq\right)=1, let Gq=PSL2(Fq)G_q=\operatorname{PSL}_2(\mathbb{F}_q), and let Sp,qGqS_{p,q}\subset G_q be the subset of cardinality p+1p+1 arising from the Lubotzky–Phillips–Sarnak Ramanujan graph construction. Let YSp,q,kY_{S_{p,q},k} be the associated balanced Cayley complex, and let hk1h_{k-1} denote its (k1)(k-1)-st coboundary expansion constant. Coboundary expansion conjecture for Ramanujan balanced Cayley complexes. For any fixed k1k\geq 1 there exist constants p0(k)<p_0(k)<\infty and ϵ0(k)>0\epsilon_0(k)>0 such that if p>p0(k)p>p_0(k), q>2pq>2\sqrt p and (pq)=1\left(\frac pq\right)=1, then

hk1(YSp,q,k)ϵ0(k).h_{k-1}\left(Y_{S_{p,q},k}\right)\geq\epsilon_0(k).

This is proposed as a coboundary-expansion analogue of the established spectral-gap estimate for these complexes. The source gives no resolution of the conjecture.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.