Related papers: Fuglede's conjecture for a union of two intervals

The purpose of the present paper is to address multiple aspects of the Fuglede question dealing (Fourier spectra vs geometry) with a variety of $L^2$ contexts where we make precise the interplay between the three sides of the question: (i)…

We exhibit a subset of a finite Abelian group, which tiles the group by translation, and such that its tiling complements do not have a common spectrum (orthogonal basis for their $L^2$ space consisting of group characters). This disproves…

In this article, we prove that a compact open set in the field $\mathbb{Q}_p$ of $p$-adic numbers is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation, and also if and only if it is $p$-homogeneous which is easy to check.…

We prove that is a measurable domain tiles R or R^2 by translations, and if it is "close enough" to a line segment or a square respectively, then it admits a lattice tiling. We also prove a similar result for spectral sets in dimension 1,…

We give an example of a set $\Omega \subset \R^5$ which is a finite union of unit cubes, such that $L^2(\Omega)$ admits an orthonormal basis of exponentials $\{\frac{1}{|\Omega|^{1/2}} e^{2\pi i \xi_j \cdot x}: \xi_j \in \Lambda \}$ for…

The periodic tiling conjecture asserts that if a region $\Sigma\subset \mathbb R^d$ tiles $\mathbb R^d$ by translations then it admits at least one fully periodic tiling. This conjecture is known to hold in $\mathbb R$, and recently it was…

In this paper we study Fuglede's conjecture on the direct product of two cyclic groups. After collecting the known results we prove that Fuglede's conjecture holds on $\mathbb{Z}_{pq} \times \mathbb{Z}_{pq} \cong \mathbb{Z}_p^2 \times…

A bounded measurable set $\Omega\subset{\mathbb R}^d$ is called a spectral set if it admits some exponential orthonormal basis $\{e^{2\pi i \langle\lambda,x\rangle}: \lambda\in\Lambda\}$ for $L^2(\Omega)$. In this paper, we show that in…

We prove that if a tile in $\mathbb Z^d$ has prime size $p$, then it must be spectral. The proof is by contradiction, it is simply shown that the tiling complement of such a tile can not annihilate all $p$-subgroups. In addition, with a…

In this note we give an example of a set $\W\subset \R^4$ such that $L^2(\W)$ admits an orthonormal basis of exponentials $\{\frac{1}{|\W |^{1/2}}e^{2\pi i x, \xi}\}_{\xi\in\L}$ for some set $\L\subset\R^4$, but which does not tile $\R^4$…

We call a set $K \subset {\mathbb R}^s$ with positive Lebesgue measure a {\it spectral set} if $L^2(K)$ admits an exponential orthonormal basis. It was conjectured that $K$ is a spectral set if and only if $K$ is a tile (Fuglede's…

Let $\Omega \subset \mathbb{R}$ be a compact set with measure $1$. If there exists a subset $\Lambda \subset \mathbb{R}$ such that the set of exponential functions $E_{\Lambda}:=\{e_\lambda(x) = e^{2\pi i \lambda x}|_\Omega :\lambda \in…

We prove Union-Closed sets conjecture.

Greenfeld and Lev conjectured that the Cartesian product of two sets $A$ and $B$ is spectral if and only if $A$ and $B$ are spectral. We construct a counterexample to this fact using the existence of a tile that has no spectra.

A conjecture of Fuglede states that a bounded measurable set $\Omega$ in space, of measure 1, can tile space by translations if and only if the Hilbert space $L^2(\Omega)$ has an orthonormal basis consisting of exponentials. If $\Omega$ has…

In this paper we study the spectrality of arc-length measures supported on the union of two line segments in the plane. We show that any such spectral measure must admit a line spectrum. Moreover, when the two segments are non-parallel,…

We say that a function $f \in L^1(\mathbb{R})$ tiles at level $w$ by a discrete translation set $\Lambda \subset \mathbb{R}$, if we have $\sum_{\lambda \in \Lambda} f(x-\lambda)=w$ a.e. In this paper we survey the main results, and prove…

Suppose $f\in L^1(\mathbb{R}^d)$, $\Lambda\subset\mathbb{R}^d$ is a finite union of translated lattices such that $f+\Lambda$ tiles with a weight. We prove that there exists a lattice $L\subset{\mathbb{R}}^d$ such that $f+L$ also tiles,…

In this paper, we show an equi-disctributed property in $2$-dimensional finite abelian groups $\mathbb{Z}_{p^2}\times \mathbb{Z}_{p}$ where $p$ is a prime number. By using this equi-disctributed property, we prove that Fuglede's spectral…

Let $Q$ be a fundamental domain of some full-rank lattice in ${\Bbb R}^d$ and let $\mu$ and $\nu$ be two positive Borel measures on ${\Bbb R}^d$ such that the convolution $\mu\ast\nu$ is a multiple of $\chi_Q$. We consider the problem as to…