Zero-boundary-measure conjecture for SRS tiles

About 13 years old · traced to

Let r=(r0,…,rd−1)∈Ed\mathbf{r}=(r_0,\ldots,r_{d-1})\in\mathcal{E}_d with r0≠0r_0\neq0, and let Tr(x)\mathcal{T}_{\mathbf{r}}(\mathbf{x}) be the SRS tile associated with x∈Zd\mathbf{x}\in\mathbb{Z}^d. Write ∂Tr(x)\partial\mathcal{T}_{\mathbf{r}}(\mathbf{x}) for its boundary and let the dd-dimensional Lebesgue measure be denoted by Leb⁡d\operatorname{Leb}_d.

SRS tile boundary conjecture. For every x∈Zd\mathbf{x}\in\mathbb{Z}^d,

Leb⁡d(∂Tr(x))=0.\operatorname{Leb}_d\bigl(\partial\mathcal{T}_{\mathbf{r}}(\mathbf{x})\bigr)=0.

This conjecture concerns the regularity of SRS tiles and is stated immediately after the weak-tiling conjecture. The survey gives no resolution.

References

Primary source

Peter Kirschenhofer and Jörg M. Thuswaldner, “Shift Radix Systems - A Survey”, arXiv:1312.0386 (2013).

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.