Cyclic cube-free density conjecture

Let ZN\mathbb{Z}_N be the cyclic group of order NN, and let AZNA\subset\mathbb{Z}_N be dd-cube-free, meaning that there is no multiset S={a1,,ad}S=\{a_1,\ldots,a_d\} such that

ΣS={iIai:I[d]}A.\Sigma^*S=\left\{\sum_{i\in I}a_i:\varnothing\neq I\subset [d]\right\}\subset A.

Cyclic cube-free density conjecture. If dNd\mid N, then

Ad1dN.|A|\leqslant \frac{d-1}{d}N.

The bound is sharp: when NN is divisible by dd, the set {bZN:b1,2,,d1(modd)}\{b\in\mathbb{Z}_N:b\equiv 1,2,\ldots,d-1\pmod d\} has this size. The paper proves the case d=3d=3, while the general assertion remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Yuchen Meng, “A note on cube-free problems”, arXiv:2311.12318 (2025).

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.