Paley graph conjecture

Let pp be a prime. For 0<α10<\alpha\leq1 and β>0\beta>0, define the property P(α,β)\mathcal{P}(\alpha,\beta) to mean that for every pair of subsets S,TFpS,T\subset\mathbb{F}_p with S,T>pα|S|,|T|>p^\alpha,

sS,tTχ(st)pβST.\left|\sum_{s\in S,\,t\in T}\chi(s-t)\right|\leq p^{-\beta}|S||T|.

Paley graph conjecture. For each 0<α10<\alpha\leq1, there exist β=β(α)>0\beta=\beta(\alpha)>0 and p(α)>0p(\alpha)>0 such that P(α,β)\mathcal{P}(\alpha,\beta) holds for every prime p>p(α)p>p(\alpha). This is a pseudorandomness conjecture for Paley graphs, asserting cancellation in quadratic-character sums between all sufficiently large vertex subsets. It is used in the paper to obtain the desired restricted isometry estimates for Paley matrices for both congruence classes of primes; the supplied text presents it as well known but gives no resolution, so its database status is open.

Sources & referencesView supporting material

Primary source

Shohei Satake, “On the restricted isometry property of the Paley matrix”, arXiv:2011.02907 (2020).

Additional references

2 papers in this index state this conjecture (2007–2020). The statement above is taken from the most recent of them; the others are arXiv:math/0701421.

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.