Cyclic cube-free density conjecture

About 3 years old · traced to

Let ZN\mathbb{Z}_N be the cyclic group of order NN, and let A⊂ZNA\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={∑i∈Iai:∅≠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 d∣Nd\mid N, then

∣A∣⩽d−1dN.|A|\leqslant \frac{d-1}{d}N.

The bound is sharp: when NN is divisible by dd, the set {b∈ZN:b≡1,2,…,d−1(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.

References

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.