Coboundary expansion conjecture for Ramanujan balanced Cayley complexes

About 4 years old · traced to

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=PSL⁡2(Fq)G_q=\operatorname{PSL}_2(\mathbb{F}_q), and let Sp,q⊂GqS_{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 hk−1h_{k-1} denote its (k−1)(k-1)-st coboundary expansion constant. Coboundary expansion conjecture for Ramanujan balanced Cayley complexes. For any fixed k≥1k\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

hk−1(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.

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.