Packing, Tiling, Orthogonality and Completeness

From MaRDI portal
Publication:4520359

DOI10.1112/S0024609300007281zbMATH Open1027.52013arXivmath/9904066MaRDI QIDQ4520359FDOQ4520359


Authors: Mihail N. Kolountzakis Edit this on Wikidata


Publication date: 13 December 2000

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Abstract: Let be an open set of measure 1. An open set is called a ``tight orthogonal packing region for Omega if DD does not intersect the zeros of the Fourier Transform of the indicator function of Omega and D has measure 1. Suppose that Lambda is a discrete subset of . The main contribution of this paper is a new way of proving the following result (proved by different methods by Lagarias, Reeds and Wang and, in the case of Omega being the cube, by Iosevich and Pedersen: D tiles when translated at the locations Lambda if and only if the set of exponentials ELambda=exp2piilambdacdotx:lambdainLambda is an orthonormal basis for L2(Omega). (When Omega is the unit cube in then it is a tight orthogonal packing region of itself.) In our approach orthogonality of ELambda is viewed as a statement about ``packing with translates of a certain nonnegative function and, additionally, we have completeness of ELambda in L2(Omega) if and only if the above-mentioned packing is in fact a tiling. We then formulate the tiling condition in Fourier Analytic language and use this to prove our result.


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




Recommendations





Cited In (31)





This page was built for publication: Packing, Tiling, Orthogonality and Completeness

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