Paley graph conjecture

About 19 years old · traced to

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,T⊂FpS,T\subset\mathbb{F}_p with ∣S∣,∣T∣>pα|S|,|T|>p^\alpha,

∣∑s∈S, t∈Tχ(s−t)∣≤p−β∣S∣∣T∣.\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.

References

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.