Exceptional sine-sum conjecture

About 22 years old · traced to

Let qq and nn be positive integers, and let p1,…,pnp_1,\ldots,p_n be distinct integers relatively prime to qq such that q>(7/4)nq>(7/4)^n and

∑k=1npk≤q.\sum_{k=1}^n p_k\leq q.

Assume that for every k∈{1,…,n}k\in\{1,\ldots,n\},

2sin⁡(π/q)≤∑i=1n1∣sin⁡(πpkpˉi/q)∣,\frac{2}{\sin(\pi/q)}\leq\sum_{i=1}^n\frac{1}{\left|\sin(\pi p_k\bar p_i/q)\right|},

where pˉi\bar p_i denotes the modular inverse of pip_i modulo qq. Exceptional sine-sum conjecture. Then

q=2n−1q=2^n-1

and

{p1,…,pn}≡{1,2,…,2n−1}(modq).\{p_1,\ldots,p_n\}\equiv\{1,2,\ldots,2^{n-1}\}\pmod q.

This conjecture is used to sharpen an exponential bound in the attempted proof of Fraenkel's conjecture. The paper reports computational support but does not establish the assertion.

References

Primary source

Ron Graham and Kevin O'Bryant, “A Discrete Fourier Kernel and Fraenkel's Tiling Conjecture”, arXiv:math/0407306 (2005).

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.