Fuglede’s Conjecture Holds in Z_p Z_p^n

DOI10.1137/22M1493598zbMATH Open1527.43004arXiv2109.08400WikidataQ123003124 ScholiaQ123003124MaRDI QIDQ6161256FDOQ6161256

Authors:

Publication date: 27 June 2023

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

Abstract: 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 if it tiles the group by translation. In this paper, we prove a divisibility property for a set in $mathbb{Z}_{p}imesmathbb{Z}_{p^n}$. Then using the divisibility property and equi-distributed property, we prove that Fuglede's conjecture holds in the group $mathbb{Z}_{p}imesmathbb{Z}_{p^n}$.

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

Recommendations

• The Fuglede conjecture holds in \(\mathbb{Z}_p\times \mathbb{Z}_p\)
• Fuglede's conjecture holds on \(\mathbb{Z}_p^2\times\mathbb{Z}_q\)
• Fuglede's conjecture holds in \(\mathbb{Q}_p\)
• Fuglede's conjecture holds on cyclic groups \(\mathbb{Z}_{pqr}\)
• The Fuglede conjecture holds in \(\mathbb{Z}_5^3\)
• Fuglede's conjecture holds for cyclic groups of order \(pqrs\)
• Fuglede's conjecture on cyclic groups of order \(p^n q\)
• On the Littlewood conjecture in \(\mathbb{Z}/p\mathbb{Z}\)
• A counterexample to Fuglede's conjecture in \((\mathbb{Z}/p\mathbb{Z})^4\) for all odd primes
• Zassenhaus conjecture on torsion units holds for \(\mathrm{PSL}(2,p)\) with \(p\) a Fermat or Mersenne prime

zbMATH Keywords

spectral settileFuglede's conjecture

Mathematics Subject Classification ID

Fourier series and coefficients in several variables (42B05) Character groups and dual objects (43A40) Spectral synthesis on groups, semigroups, etc. (43A45) Tilings in (2) dimensions (aspects of discrete geometry) (52C20) Additive number theory; partitions (11P99)

Cites Work

• The Fuglede spectral conjecture holds for convex planar domains
• Commuting self-adjoint partial differential operators and a group theoretic problem
• Fuglede's conjecture is false in 5 and higher dimensions
• Fuglede's conjecture holds in \(\mathbb{Q}_p\)
• Compact open spectral sets in \(\mathbb{Q}_p\)
• 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
• Tiling the integers with translates of one finite set
• Fuglede's spectral set conjecture for convex polytopes
• THE SPECTRAL SET CONJECTURE AND MULTIPLICATIVE PROPERTIES OF ROOTS OF POLYNOMIALS
• On the structure of spectral and tiling subsets of cyclic groups
• Tiles with no spectra in dimension 4
• Factoring groups into subsets.
• Tiling sets and spectral sets over finite fields
• Fuglede's conjecture on cyclic groups of order \(p^n q\)
• On the discrete Fuglede and Pompeiu problems
• Fuglede's conjecture fails in 4 dimensions over odd prime fields
• Fuglede's conjecture holds for cyclic groups of order \(pqrs\)
• The Fuglede conjecture for convex domains is true in all dimensions
• Equi-distributed property and spectral set conjecture on \(\mathbb{Z}_{p^2} \times \mathbb{Z}_p\)
• Fuglede's conjecture holds on \(\mathbb{Z}_p^2\times\mathbb{Z}_q\)
• Fuglede's conjecture holds on cyclic groups \(\mathbb{Z}_{pqr}\)
• Spectral sets and tiles in \(\mathbb{Z}_p^2 \times \mathbb{Z}_q^2\)
• Combinatorial and harmonic-analytic methods for integer tilings
• The Coven-Meyerowitz tiling conditions for 3 odd prime factors

Cited In (5)

• A Fuglede type conjecture for discrete Gabor bases
• The \(F^{a,b,c}\) conjecture is true. II.
• Tiling and spectrality for generalized Sierpinski self-affine sets
• THE INEQUALITY cn(PSL(n, K) < 4 HOLDS FOR n = 2,3 AND INFINITE FIELD K
• Universal spectra in \(G\times\mathbb{Z}_p\)

This page was built for publication: Fuglede’s Conjecture Holds in \(\boldsymbol{\mathbb{Z}_{p}\times \mathbb{Z}_{p^{n}}}\)

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