Fuglede's conjecture fails in 4 dimensions over odd prime fields

DOI10.1016/J.DISC.2019.04.026zbMATH Open1430.52029arXiv1901.08734OpenAlexW2912918749WikidataQ123252245 ScholiaQ123252245MaRDI QIDQ2279258FDOQ2279258

Authors: Samuel J. Ferguson, Nat Sothanaphan 

Publication date: 12 December 2019

Published in: Discrete Mathematics (Search for Journal in Brave)

Abstract: 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 combination of characters orthogonal with respect to $E$. We disprove Fuglede's conjecture in $mathbb{Z}_p^4$ for all odd primes $p$, by using log-Hadamard matrices to exhibit spectral sets of size $2p$ which do not tile, extending the result of Aten et al. that the conjecture fails in $mathbb{Z}_p^4$ for primes $pequiv3pmod4$ and in $mathbb{Z}_p^5$ for all odd primes $p$. We show, however, that our method does not extend to $mathbb{Z}_p^3$. We also prove the conjecture in $mathbb{Z}_2^4$, resolving all cases of four-dimensional vector spaces over prime fields. Our simple proof method does not extend to higher dimensions. The authors, however, have written a computer program to verify that the conjecture holds in $mathbb{Z}_2^5$ and $mathbb{Z}_2^6$. Finally, we modify Terry Tao's counterexample to show that the conjecture fails in $mathbb{Z}_2^{10}$. Fuglede's conjecture in $mathbb{Z}_p^d$ is now resolved in all cases except when $d=3$ and $pgeq11$, or when $p=2$ and $d=7,8,9$.

Full work available at URL: https://arxiv.org/abs/1901.08734

Recommendations

• Fuglede’s conjecture fails in dimension 4
• A counterexample to Fuglede's conjecture in \((\mathbb{Z}/p\mathbb{Z})^4\) for all odd primes
• Fuglede's conjecture is false in 5 and higher dimensions
• Fuglede's conjecture holds in \(\mathbb{Q}_p\)
• Giuga's primality conjecture for number fields
• The Tate conjecture for four-dimensional cubics
• Odoni's conjecture for number fields
• Fermat quartics with only trivial solutions in any odd degree number field
• Counterexamples to the Kneser conjecture in dimension four
• The Tate conjecture for powers of ordinary cubic fourfolds over finite fields

zbMATH Keywords

tilingprime fieldspectral setFuglede's conjecturelog-Hadamard matrix

Mathematics Subject Classification ID

Singular and oscillatory integrals (Calderón-Zygmund, etc.) (42B20) Tilings in (2) dimensions (aspects of discrete geometry) (52C20) Tilings in (n) dimensions (aspects of discrete geometry) (52C22)

Cites Work

• Commuting self-adjoint partial differential operators and a group theoretic problem
• Fuglede's conjecture is false in 5 and higher dimensions
• The Fuglede conjecture holds in \(\mathbb{Z}_p\times \mathbb{Z}_p\)
• Fuglede’s conjecture fails in dimension 4
• Tiles with no spectra
• Complex Hadamard matrices and the spectral set conjecture
• On Fuglede's conjecture and the existence of universal spectra
• Title not available (Why is that?)
• Spectral theory of commuting self-adjoint partial differential operators
• Around Rédei's theorem
• Tiles with no spectra in dimension 4
• Tiling sets and spectral sets over finite fields

Cited In (16)

• A Fuglede type conjecture for discrete Gabor bases
• Title not available (Why is that?)
• A counterexample to Fuglede's conjecture in \((\mathbb{Z}/p\mathbb{Z})^4\) for all odd primes
• Fuglede’s conjecture fails in dimension 4
• Tiles with no spectra in dimension 4
• Fuglede’s Conjecture Holds in \(\boldsymbol{\mathbb{Z}_{p}\times \mathbb{Z}_{p^{n}}}\)
• Spectral sets and tiles in \(\mathbb{Z}_p^2 \times \mathbb{Z}_q^2\)
• Tiling sets and spectral sets over finite fields
• On Gabor orthonormal bases over finite prime fields
• On the structure of spectral and tiling subsets of cyclic groups
• Fuglede's conjecture is false in 5 and higher dimensions
• Fuglede's conjecture holds in \(\mathbb{Q}_p\)
• Tiling and spectrality for generalized Sierpinski self-affine sets
• The Fuglede conjecture holds in \(\mathbb{Z}_5^3\)
• Fuglede's conjecture holds on \(\mathbb{Z}_p^2\times\mathbb{Z}_q\)
• Fuglede's conjecture holds for cyclic groups of order \(pqrs\)

Uses Software

• Hadamard

This page was built for publication: Fuglede's conjecture fails in 4 dimensions over odd prime fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279258)