Necessary and sufficient condition for bounded distance equivalence of parallelotope model sets

Let ΓRm×Rn\Gamma \subset \mathbb{R}^m \times \mathbb{R}^n be a lattice, let p2p_2 denote projection onto the second factor, and let WRnW \subset \mathbb{R}^n be the half-open parallelotope

W={j=1ntjvj:0tj<1},W = \left\{ \sum_{j=1}^n t_j v_j \,: \, 0 \leq t_j <1 \right\},

where v1,,vnv_1, \ldots, v_n are linearly independent vectors in Rn\mathbb{R}^n. The bounded-distance equivalence conjecture. The model set Λ(Γ,W)\Lambda(\Gamma, W) is bounded distance equivalent to a lattice if and only if there exist vectors w1,,wnp2(Γ)w_1, \ldots, w_n \in p_2(\Gamma) such that

v1=w1,vk=wk+span(w1,w2,,wk1)(2kn).v_1 = w_1, \quad v_k = w_k + \operatorname{span}(w_1, w_2, \ldots, w_{k-1}) \quad (2\leq k \leq n).

This conjecture proposes that the sufficient condition for bounded distance equivalence established for parallelotope windows is also necessary, characterizing exactly when such a model set is bounded distance equivalent to a lattice.

Sources & referencesView supporting material

Primary source

Sigrid Grepstad, “Bounded distance equivalence of cut-and-project sets and equidecomposability”, arXiv:2409.05450 (2026).

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.