Fuglede's conjecture, proposed in 1974, asks whether a set can be used to tile a space by translation if and only if it has a special kind of symmetry called a spectrum (a set of frequencies whose associated waves form a perfect coordinate system over the set). This equivalence between tiling and having a spectrum is surprising because tiling is a geometric notion while having a spectrum is an analytic one. The conjecture has been proven in some settings and disproven in others, so researchers continue to investigate specific contexts where it holds.
This paper proves Fuglede's conjecture for a particular family of mathematical objects called cyclic groups of square-free order. A square-free number is one that is not divisible by any perfect square other than 1, such as 6, 10, or 15. In these settings, the paper gives a complete and clean answer: a subset A of such a group is spectral if and only if it tiles the group, and both conditions happen precisely when the size of A divides the size of the group and A is spread out as evenly as possible, hitting each equally-spaced coset exactly once. This is a full structural description with no ambiguity or leftover cases.
The central technical achievement is what the authors call a prime-coordinate elimination theorem. Roughly speaking, this result says that if you have a spectral set living in a product space that includes a prime-sized component unrelated to the set's size, you can project away that component and still have a valid spectral set. This lets the authors reduce a complicated problem in a large group down to simpler pieces, one prime factor at a time. By repeating this reduction process, they handle square-free groups with any number of prime factors, no matter how many or how different in size.