Related papers: The Fuglede conjecture for convex domains is true …

Let $\Omega$ be a convex polytope in $\mathbb{R}^d$. We say that $\Omega$ is spectral if the space $L^2(\Omega)$ admits an orthogonal basis consisting of exponential functions. There is a conjecture, which goes back to Fuglede (1974), that…

A set $\Omega \subset \mathbb{R}^d$ is said to be spectral if the space $L^2(\Omega)$ admits an orthogonal basis of exponential functions. Fuglede (1974) conjectured that $\Omega$ is spectral if and only if it can tile the space by…

A set $\Omega \subset \mathbb{R}^d$ is said to be spectral if the space $L^2(\Omega)$ has an orthogonal basis of exponential functions. It is well-known that in many respects, spectral sets "behave like" sets which can tile the space by…

Let $\Omega\subset \mathbb{R}^d$ be a set of finite measure. The periodic tiling conjecture suggests that if $\Omega$ tiles $\mathbb{R}^d$ by translations then it admits at least one periodic tiling. Fuglede's conjecture suggests that…

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…

Fuglede's conjecture states that a subset $\Omega\subseteq\mathbb{R}^{n}$ of positive and finite Lebesgue measure is a spectral set if and only if it tiles $\mathbb{R}^{n}$ by translation. The conjecture does not hold in both directions for…

The Fuglede conjecture states that a set is spectral if and only if it tiles by translation. The conjecture was disproved by T. Tao for dimensions 5 and higher by giving a counterexample in $\mathbb{Z}_3^5$. We present a computer program…

A conjecture of Fuglede states that a bounded measurable set D, of measure 1, can tile space by translations if and only if the Hilbert space L^2(D) has an orthonormal basis consisting of exponentials exp(i 2 pi lambda x). If D has the…

Let $\Omega$ be a compact convex domain in the plane. We prove that $L^2(\Omega)$ has an orthogonal basis of exponentials if and only if $\Omega$ tiles the plane by translation.

A bounded set $\Omega \subset \mathbb{R}^d$ is called a spectral set if the space $L^2(\Omega)$ admits a complete orthogonal system of exponential functions. We prove that a cylindric set $\Omega$ is spectral if and only if its base is a…

Fuglede's spectral set conjecture states that a subset $\Omega$ of a locally compact abelian group $G$ tiles the group by translation if and only if there exists a subset of continuous group characters which is an orthogonal basis of…

We study tiling and spectral sets in vector spaces over prime fields. The classical Fuglede conjecture in locally compact abelian groups says that a set is spectral if and only if it tiles by translation. This conjecture was disproved by T.…

The spectral set conjecture, also known as the Fuglede conjecture, asserts that every bounded spectral set is a tile and vice versa. While this conjecture remains open on ${\mathbb R}^1$, there are many results in the literature that…

In this paper we study subsets $E$ of ${\Bbb Z}_p^d$ such that any function $f: E \to {\Bbb C}$ can be written as a linear combination of characters orthogonal with respect to $E$. We shall refer to such sets as spectral. In this context,…

The notion of weak tiling played a key role in the proof of Fuglede's spectral set conjecture for convex domains, due to the fact that every spectral set must weakly tile its complement. In this paper, we revisit the notion of weak tiling…

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…

Fuglede's conjecture in $\mathbb{Z}_{p}^{d}$, $p$ a prime, says that a subset $E$ tiles $\mathbb{Z}_{p}^{d}$ by translation if and only if $E$ is spectral, meaning any complex-valued function $f$ on $E$ can be written as a linear…

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…

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…

For p=5,7, we show that a subset \(E \subset \F_p^3\) is spectral if and only if E tiles \(\F_p^3\) by translation. Additionally, we give an alternate proof that the conjecture holds for p=3.