The recursive upper-bound conjecture for neighborly boxes

From papers

A box in Rd\mathbb{R}^d is an axis-parallel dd-dimensional cuboid. Two boxes are kk-neighborly if their intersection has dimension strictly smaller than dd but at least dkd-k. Let n(k,d)n(k,d) be the maximum size of a family of pairwise kk-neighborly boxes in Rd\mathbb{R}^d. We use the boundary conventions n(0,d)=1n(0,d)=1 for all d1d\geqslant 1 and n(k,d)=2dn(k,d)=2^d for k>dk>d. The recursive upper-bound conjecture. For every 1kd1\leqslant k\leqslant d,

n(k,d)n(k1,d1)+n(k,d1).n(k,d)\leqslant n(k-1,d-1)+n(k,d-1).

This supposition was proposed as a possible route to the value γk=1/k!\gamma_k=1/k! in the asymptotic limit conjecture. Its status is not resolved in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Jarosław Grytczuk, Andrzej P. Kisielewicz and Krzysztof Przesławski, “Neighborly boxes and strings with jokers; constructions and asymptotics”, arXiv:2508.20648 (2025).

Additional references

2 papers in this index state this conjecture (2022–2025). The statement above is taken from the most recent of them; the others are arXiv:2212.05133.

Solutions 0

No solutions have been posted yet.