Related papers: Fuglede's conjecture is false in 5 and higher dime…

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$…

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…

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 set $\Omega \subset \mathbb{R}^d$ is said to be spectral if the space $L^2(\Omega)$ has an orthogonal basis of exponential functions. A conjecture due to Fuglede (1974) stated that $\Omega$ is a spectral set if and only if it can tile the…

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…

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 $\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…

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…

Fuglede's conjecture states that for a subset $\Omega$ of a locally compact abelian group $G$ with positive and finite Haar measure, there exists a subset of the dual group of $G$ which is an orthogonal basis of $L^{2}(\Omega)$ if and only…

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…

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…

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…

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…

We prove that no smooth symmetric convex body $\Omega$ with at least one point of non-vanishing Gaussian curvature can admit an orthogonal basis of exponentials. (The non-symmetric case was proven by Kolountzakis). This is further evidence…

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…

We discuss part of Fuglede's original paper (1974) in which he posed his famous conjecture on which bodies in Euclidean space admit an orthogonal basis of exponentials for their $L^2$ space.

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…

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…

Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. Under mild assumptions, we show…

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.