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

About 2 years old · traced to

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 W⊂RnW \subset \mathbb{R}^n be the half-open parallelotope

W={∑j=1ntjvj : 0≤tj<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,…,wn∈p2(Γ)w_1, \ldots, w_n \in p_2(\Gamma) such that

v1=w1,vk=wk+span⁡(w1,w2,…,wk−1)(2≤k≤n).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.

References

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.