Exceptional sine-sum conjecture

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=1npkq.\sum_{k=1}^n p_k\leq q.

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

2sin(π/q)i=1n1sin(π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=2n1q=2^n-1

and

{p1,,pn}{1,2,,2n1}(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.

Sources & referencesView supporting material

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.