Paley ETF RIP-constant conjecture

Let p1(mod4)p\equiv 1\pmod{4} be prime, let Φp\Phi_p be the Paley equiangular tight frame, and let δK=δK(Φp)\delta_K=\delta_K(\Phi_p) denote its RIP constant of order KK. Paley ETF RIP-constant conjecture. For every K1K\geq 1,

δK=O(KplogKlogp).\delta_K=O\left(\sqrt{\frac{K}{p}}\,\log K\,\log p\right).

Consequently, for constants c1,c2>0c_1,c_2>0 and 0<δ<210<\delta<\sqrt{2}-1, Φp\Phi_p has the (c1p/logc2p,δ)(c_1p/\log^{c_2}p,\delta)-RIP. The conjecture was proposed as a random-model prediction for Paley ETFs, remains open, and is described as difficult; it is consistent with the conjectured polylogarithmic clique number of Paley graphs.

Sources & referencesView supporting material

Primary source

Shohei Satake, “On the Paley RIP and Paley graph extractor”, arXiv:2405.08608 (2024).

Additional references

2 papers in this index state this conjecture (2012–2024). The statement above is taken from the most recent of them; the others are arXiv:1204.5958.

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.