Related papers: A group ring approach to Fuglede's conjecture in c…
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 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…
We present an approach to Fuglede's conjecture in $\mathbb{Z}_p^3$ using linear programming bounds, obtaining the following partial result: if $A\subseteq\mathbb{Z}_p^3$ with $p^2-p\sqrt{p}+\sqrt{p}<|A|<p^2$, then $A$ is not spectral.
We investigate tiling properties of spectra of measures, i.e., sets $\Lambda$ in $\br$ such that $\{e^{2\pi i \lambda x}: \lambda\in\Lambda\}$ forms an orthogonal basis in $L^2(\mu)$, where $\mu$ is some finite Borel measure on $\br$. Such…
By analyzing the connection between complex Hadamard matrices and spectral sets we prove the direction ``spectral -> tile'' of the Sectral Set Conjecture for all sets A of size at most 5 in any finite Abelian group. This result is then…
A set $\Omega \subset \mathbb{R}^d$ is said to be spectral if $L^2(\Omega)$ admits an orthogonal basis of exponentials. While the product of spectral sets is known to be spectral, the converse fails in general. In this paper, we prove that…
In \cite{BCKM} it was shown that "Tiling implies Spectral" holds for a union of three intervals and the reverse implication was studied under certain restrictive hypotheses on the associated spectrum. In this paper, we reinvestigate the…
The study of Fuglede's conjecture on the direct product of elementary abelian groups was initiated by Iosevich et al. For the product of two elementary abelian groups the conjecture holds. For $\mathbb{Z}_p^3$ the problem is still open if…
A set $\Omega$ in a locally compact abelian group is called spectral if $L^2(\Omega)$ has an orthogonal basis of group characters. An important problem, connected with the so-called Spectral Set Conjecture (saying that $\Omega$ is spectral…
The purpose of the present paper is to place a number of geometric (and hands-on) configurations relating to spectrum and geometry inside a general framework for the {\it Fuglede conjecture}. Note that in its general form, the Fuglede…
We study spectral theory for bounded Borel subsets of $\br$ and in particular finite unions of intervals. For Hilbert space, we take $L^2$ of the union of the intervals. This yields a boundary value problem arising from the minimal operator…
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)…
Given a lattice $\Lambda$ in a locally compact abelian group $G$ and a measurable subset $\Omega$ with finite and positive measure, then the set of characters associated to the dual lattice form a frame for $L^2(\Omega)$ if and only if 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.
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z^d}$ which tiles that lattice by translations, in fact tiles periodically. We announce here a disproof of this conjecture for sufficiently large $d$, which…
Recent methods developed by Tao \cite{tao}, Kolountzakis and Matolcsi \cite{nspec} have led to counterexamples to Fugelde's Spectral Set Conjecture in both directions. Namely, in $\RR^5$ Tao produced a spectral set which is not a tile,…
Zassenhaus Conjecture for torsion units states that every augmentation one torsion unit of the integral group ring of a finite group G is conjugate to an element of G in the units of rational group algebra QG. This conjecture has been…
A set $\Omega$, of Lebesgue measure 1, in the real line is called spectral if there is a set $\Lambda$ of real numbers such that the exponential functions $e_\lambda(x) = \exp(2\pi i \lambda x)$ form a complete orthonormal system on…
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…
A bounded measurable set $\Omega$, of Lebesgue measure 1, in the real line is called spectral if there is a set $\Lambda$ of real numbers ("frequencies") such that the exponential functions $e_\lambda(x) = \exp(2\pi i \lambda x)$,…