Fraenkel's conjecture on complementary Beatty sequences

About 9 years old · traced to

Let d≥3d\geq 3, let α1<α2<…<αd\alpha_1<\alpha_2<\ldots<\alpha_d, and let γ1,…,γd\gamma_1,\ldots,\gamma_d be real numbers. Suppose that the vectors

(⌊nαi+γi⌋)i=1d,(\lfloor n\alpha_i+\gamma_i\rfloor)_{i=1}^d,

for n∈Nn\in\mathbb{N}, split the positive integers. Fraenkel's conjecture. Then

αi=2d−12d−i,i=1,…,d.\alpha_i=\frac{2^d-1}{2^{d-i}},\qquad i=1,\ldots,d.

This is the nonhomogeneous rational-modulus form of Fraenkel's conjecture on partitions of the positive integers by Beatty-type sequences. The statement concerns the uniqueness of the moduli, while the shifts γi\gamma_i are unrestricted; the source presents it as a conjecture and gives historical references to work on special cases.

References

Primary source

Aviezri S. Fraenkel and Urban Larsson, “Playability and arbitrarily large rat games”, arXiv:1705.03061 (2017).

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.