Abstract
Fuglede’s conjecture states that a subset \(\Omega \subseteq \mathbb {R}^{n}\) with positive and finite Lebesgue measure is a spectral set if and only if it tiles \(\mathbb {R}^{n}\) by translation. However, this conjecture does not hold in both directions for \(\mathbb {R}^n\), \(n\ge 3\). While the conjecture remains unsolved in \(\mathbb {R}\) and \(\mathbb {R}^2\), cyclic groups are instrumental in its study within \(\mathbb {R}\). This paper introduces a new tool to study spectral sets in cyclic groups and, in particular, proves that Fuglede’s conjecture holds in \(\mathbb {Z}_{p^{n}qr}\).
Similar content being viewed by others
Data Availability
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
References
Aten, C., Ayachi, B., Bau, E., FitzPatrick, D., Iosevich, A., Liu, H., Lott, A., MacKinnon, I., Maimon, S., Nan, S., Pakianathan, J., Petridis, G., Rojas Mena, C., Sheikh, A., Tribone, T., Weill, J., Yu, C.: Tiling sets and spectral sets over finite fields. J. Funct. Anal. 273(8), 2547–2577 (2017)
Coven, E.M., Meyerowitz, A.: Tiling the integers with translates of one finite set. J. Algebra 212(1), 161–174 (1999)
Dutkay, D.E., Jorgensen, P.E.T.: On the universal tiling conjecture in dimension one. J. Fourier Anal. Appl. 19(3), 467–477 (2013)
Dutkay, D.E., Lai, C.-K.: Some reductions of the spectral set conjecture to integers. Math. Proc. Camb. Philos. Soc. 156(1), 123–135 (2014)
Fallon, T., Mayeli, A., Villano, D.: The fuglede’s conjecture holds in \(\mathbb{F} _{p}^{3}\) for \(p=5,7\). Proc. Am. Math. Soc. To appear
Fallon, T., Kiss, G., Somlai, G.: Spectral sets and tiles in \(\mathbb{Z} _{p}^{2}\times \mathbb{Z} _{q}^{2}\). J. Funct. Anal. 282(12), 109472 (2022)
Fan, A., Fan, S., Shi, R.: Compact open spectral sets in \(\mathbb{Q} _p\). J. Funct. Anal. 271(12), 3628–3661 (2016)
Fan, A., Fan, S., Liao, L., Shi, R.: Fuglede’s conjecture holds in \(\mathbb{Q} _p\). Math. Ann. 375(1–2), 315–341 (2019)
Farkas, B., Matolcsi, M., Móra, P.: On Fuglede’s conjecture and the existence of universal spectra. J. Fourier Anal. Appl. 12(5), 483–494 (2006)
Ferguson, S.J., Sothanaphan, N.: Fuglede’s conjecture fails in 4 dimensions over odd prime fields. Discret. Math. 343(1), 111507, 7 (2020)
Fuglede, B.: Commuting self-adjoint partial differential operators and a group theoretic problem. J. Funct. Anal. 16, 101–121 (1974)
Greenfeld, R., Lev, N.: Fuglede’s spectral set conjecture for convex polytopes. Anal. PDE 10(6), 1497–1538 (2017)
Iosevich, A., Katz, N., Tao, T.: The Fuglede spectral conjecture holds for convex planar domains. Math. Res. Lett. 10(5–6), 559–569 (2003)
Iosevich, A., Mayeli, A., Pakianathan, J.: The Fuglede conjecture holds in \(\mathbb{Z} _p\times \mathbb{Z} _p\). Anal. PDE 10(4), 757–764 (2017)
Kiss, G., Somlai, G.: Fuglede’s conjecture holds on \(\mathbb{Z} _{p}^{2}\times \mathbb{Z} _{q}\). Proc. Am. Math. Soc. 149(10), 4181–4188 (2021)
Kiss, G., Malikiosis, R.D., Somlai, G., Vizer, M.: On the discrete Fuglede and Pompeiu problems. Anal. PDE 13(3), 765–788 (2020)
Kiss, G., Malikiosis, R.D., Somlai, G., Vizer, M.: Fuglede’s conjecture holds for cyclic groups of order \(pqrs\). J. Fourier Anal. Appl. 28, 79 (2022)
Kolountzakis, M.N., Matolcsi, M.: Complex Hadamard matrices and the spectral set conjecture. Collect. Math. (Vol. Extra), 281–291 (2006)
Kolountzakis, M.N., Matolcsi, M.: Tiles with no spectra. Forum Math. 18(3), 519–528 (2006)
Łaba, I.: The spectral set conjecture and multiplicative properties of roots of polynomials. J. Lond. Math. Soc. (2) 65(3), 661–671 (2002)
Łaba, I., Londner, I.: Splitting for integer tilings and the Coven-Meyerowitz tiling conditions. arXiv:2207.11809
Łaba, I., Londner, I.: Combinatorial and harmonic-analytic methods for integer tilings. Forum Math. Pi 10, e8 1-46 (2022)
Łaba, I., Londner, I.: The Coven-Meyerowitz tiling conditions for 3 odd prime factors. Invent. Math. 232, 365–470 (2023)
Lev, N., Matolcsi, M.: The Fuglede conjecture for convex domains is true in all dimensions. Acta Math. 228(2), 385–420 (2022)
Malikiosis, R.D.: On the structure of spectral and tiling subsets of cyclic groups. Forum Math. Sigma 10, e23 1-42 (2022)
Malikiosis, R.D., Kolountzakis, M.N.: Fuglede’s conjecture on cyclic groups of order \(p^n q\). Discret. Anal., Paper No. 12, 16 (2017)
Matolcsi, M.: Fuglede’s conjecture fails in dimension 4. Proc. Am. Math. Soc. 133(10), 3021–3026 (2005)
Pott, A.: Finite Geometry and Character Theory, vol. 1601. Springer, Berlin (1995)
Schmidt, B.: Characters and Cyclotomic Fields in Finite Geometry. Lecture Notes in Mathematics, vol. 1797. Springer, Berlin (2002)
Shi, R.: Fuglede’s conjecture holds on cyclic groups \(\mathbb{Z}_{pqr}\). Discret. Anal., Paper No. 14, 14 (2019)
Shi, R.: Equi-distributed property and spectral set conjecture on \(\mathbb{Z} _{p^2} \times \mathbb{Z} _p\). J. Lond. Math. Soc. (2) 102(3), 1030–1046 (2020)
Somlai, G.: Spectral sets in \(\mathbb{Z}_{p^{2}qr}\) tile. Discret. Anal., Paper No. 5, 10, (2023)
Szabó, S., Sands, A.D.: Factoring Groups into Subsets. Lecture Notes in Pure and Applied Mathematics, vol. 257. CRC Press, Boca Raton, FL (2009)
Tao, T.: Some notes on the coven-meyerowitz conjecture. https://terrytao.wordpress.com/2011/11/19/some-notes-on-the-coven-meyerowitz-conjecture/
Tao, T.: Fuglede’s conjecture is false in 5 and higher dimensions. Math. Res. Lett. 11(2–3), 251–258 (2004)
Zhang, T.: Fuglede’s conjecture holds in \(\mathbb{Z} _{p}\times \mathbb{Z} _{p^n}\). SIAM J. Discret. Math. 37(2), 1180–1197 (2023)
Acknowledgements
The author expresses his gratitude to the anonymous reviewers for their detailed and constructive comments which are very helpful to the improvement of the presentation of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Zhang, T. A Group Ring Approach to Fuglede’s Conjecture in Cyclic Groups. Combinatorica 44, 393–416 (2024). https://doi.org/10.1007/s00493-023-00076-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00493-023-00076-x