The recursive upper-bound conjecture for neighborly boxes

About 4 years old · traced to

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 d−kd-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 d⩾1d\geqslant 1 and n(k,d)=2dn(k,d)=2^d for k>dk>d. The recursive upper-bound conjecture. For every 1⩽k⩽d1\leqslant k\leqslant d,

n(k,d)⩽n(k−1,d−1)+n(k,d−1).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.

References

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.

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.