Three-way tiling sets in two dimensions

DOI10.1007/S10440-008-9424-YMaRDI QIDQ844248zbMATH OpenOpenAlexFDO

Authors David R. Larson, Peter Massopust, Gestur Ólafsson

Publication date 18 January 2010

Published in Acta Applicandae Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.3520

affine Weyl group formidable figure full range lattice tiling

Reflection and Coxeter groups (group-theoretic aspects) (20F55) Fractals (28A80) Nontrigonometric harmonic analysis involving wavelets and other special systems (42C40) Rings and algebras of continuous, differentiable or analytic functions (46E25) Reflection groups, reflection geometries (51F15) Numerical methods for wavelets (65T60)

Abstract: In this article we show that there exist measurable sets W in the plane with finite measure that tile the plane in a measurable way under the action of a expansive matrix A, an affine Weyl group W, and a full rank lattice G. This note is follow-up research to the earlier article "Coxeter groups and wavelet sets" by the first and second authors, and is also relevant to the earlier article "Coxeter groups, wavelets, multiresolution and sampling" by M. Dobrescu and the third author. After writing these two articles, the three authors participated in a workshop at the Banff Center on "Operator methods in fractal analysis, wavelets and dynamical systems," December 2 -- 7, 2006, organized by O. Bratteli, P. Jorgensen, D. Kribs, G. Olafsson, and S. Silvestrov, and discussed the interrelationships and differences between the articles, and worked on two open problems posed in the Larson-Massopust article. We solved part of Problem 2, including a surprising positive solution to a conjecture that was raised, and we present our results in this article.

Review text

A compact connected subset \(S\subset\mathbb{R}^n\) is called a formidable figure if there exists a finite set of affine hyperplanes that cuts \(S\) into congruent subsets \(S_j\), each similar to \(S\), so that reflection from any of the hyperplanes bounding \(S_j\) takes it into some \(S_i\). The collection of these hyperplanes generates the affine Weyl group denoted by \(W_S\). Let \(\Gamma\) be a full rank lattice in \(\mathbb{R}^n\) with fundamental domain \(\prod^n_{i=1} [0,b_i]\) and \(A\in\text{GL}_n(\mathbb{R})\) be an expansive matrix. The triple \((W_S,\Gamma, A)\) is said to be available if there exists a set \(\Sigma\subset\mathbb{R}^n\) which simultaneously (a) is \(W_S\)-congruent to the \(S\); (b) \(\{A^n\Sigma; n\in\mathbb{Z}\}\) is a measurable tiling of \(\mathbb{R}^n\); (c) is \(\Gamma\)-congruent to the set \(\prod^n_{i=1} [0,b_i]\). The authors prove that for an arbitrary expansive \(2\times 2\) matrix \(A\) and a foldable figure \(S\subset\mathbb{R}^2\) there exists a full range lattice \(\Gamma\) such that \((W_S,\Gamma,A)\) is available.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Three-way tiling sets in two dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q844248)