Fraenkel's conjecture on complementary Beatty sequences

Let d3d\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 nNn\in\mathbb{N}, split the positive integers. Fraenkel's conjecture. Then

αi=2d12di,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.

Sources & referencesView supporting material

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.