Related papers: Tiling sets and spectral sets over finite fields

In this paper we prove the "Tiling implies Spectral" part of Fuglede's paper for the case of three intervals. Then we prove the "Spectral implies Tiling" part of the conjecture for the case of three equal intervals as also when the…

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.

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…

In this short note we construct a spectral, non-tiling set of size $2p$ in $(\mathbb{Z}/p\mathbb{Z})^4$, $p$ odd prime. This example complements a previous counterexample in [arXiv:1509.01090], which existed only for $p \equiv 3 \pmod{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…

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. In this work we disprove this conjecture for sufficiently large $d$, which also…

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

Fuglede's conjecture in $\mathbb{Q}_p$ is proved. That is to say, a Borel set of positive and finite Haar measure in $\mathbb{Q}_p$ is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation.

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

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…

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…

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

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 study the problem of tiling and packing in vector spaces over finite fields, its connections with zeroes of classical exponential sums, and with the Jacobian conjecture

Decorating the Spectre tile with hexagons reveals triangular hexagonal clusters whose structure we study. In the process we reprove that the Spectre tilings exist and are uniquely hierarchical. The proof is not computer-assisted.

In this paper we go over the history of the Fuglede or Spectral Set Conjecture as it has developed over the last 30 years or so. We do not aim to be exhaustive and we do not cover important areas of development such as the results on the…

We consider primitive substitution tilings on R^d whose expansion maps are unimodular. We assume that all the eigenvalues of the expansion maps are algebraic conjugates with the same multiplicity. In this case, we can construct a…

Motivated by applications in reliable and secure communication, we address the problem of tiling (or partitioning) a finite constellation in $\mathbb{Z}_{2^L}^n$ by subsets, in the case that the constellation does not possess an abelian…

In this paper, we consider real and complex algebras as well as algebras over general fields. In Section 2, we revisit and prove several results on (quadratic) algebras over general fields. As an example, we demonstrate that a quadratic…