Higher Dimensional Fourier Quasicrystals from Lee-Yang Varieties

This paper generalizes a one-dimensional construction by Kurasov and Sarnak to arbitrary dimensions by utilizing complex algebraic varieties derived from Lee-Yang polynomials to create higher-dimensional Fourier quasicrystals with unit masses that are Delone almost periodic sets having finite intersections with discrete periodic sets.

The Gist

Imagine you are trying to arrange a crowd of people in a vast, empty field. You want them to follow two very specific, almost contradictory rules:

1. The "No Clumping" Rule: No two people can stand too close together, and no area of the field can be left completely empty. They must be spread out perfectly evenly, like a grid, but not necessarily in a perfect, repeating square pattern.
2. The "Magic Echo" Rule: If you shout a specific sound at this crowd, the way the sound bounces back (the "echo") must also be perfectly organized, with echoes coming from specific, distinct points in space, rather than a messy blur.

In the world of mathematics, a pattern that follows these rules is called a Fourier Quasicrystal. For a long time, mathematicians knew how to build these patterns in a single line (1D), but building them in 2D, 3D, or even higher dimensions was a massive puzzle.

This paper, by Alon, Kummer, Kurasov, and Vinzant, solves that puzzle. They show how to build these perfect, non-repeating patterns in any number of dimensions.

Here is how they did it, explained through a few creative metaphors:

1. The Invisible Wall (The Lee–Yang Variety)

Think of the mathematical space where these patterns live as a giant, multi-dimensional room. Inside this room, there is a special, invisible "wall" or surface called a Lee–Yang Variety.

This wall has a very strange property: it avoids certain "forbidden zones." Imagine the room is filled with fog. The wall is made of a material that simply refuses to exist in the foggy corners where the air is too thin or too thick. It only exists in the "sweet spot" or on the boundary.

The authors found a way to construct these walls so that they are perfectly symmetrical and have a specific shape that guarantees the "Magic Echo" rule will work.

2. The Projector (The Matrix L)

Now, imagine you have a high-tech projector (represented by a mathematical tool called a matrix). This projector shines a beam of light into the room.

• The beam moves in a specific direction.
• The authors carefully tuned the projector so that its beam is "positive" in a mathematical sense (meaning it doesn't twist or fold back on itself in a weird way).
• When this beam hits the invisible wall (the Lee–Yang Variety), it casts a shadow.

3. The Shadow is the Quasicrystal

The "shadow" cast by the beam hitting the wall is the Fourier Quasicrystal.

• Why is it perfect? Because the wall was built with special rules (avoiding the forbidden zones), the shadow it casts is guaranteed to be a Delone set. This means the points in the shadow are perfectly spaced out—never too close, never too far.
• Why is it a quasicrystal? Because the wall is an algebraic shape (defined by equations), the shadow has a hidden order. If you analyze the "echoes" of this shadow, they land on a neat, discrete list of points, just like a crystal, even though the shadow itself never repeats its pattern exactly.

4. The "Real-Rooted" Secret

The paper relies on a concept called real-rootedness. In simpler terms, imagine you have a complex machine with many gears. Usually, when you turn the crank, the gears might spin in wild, imaginary directions.

The authors' special wall is built so that no matter how you turn the crank (mathematically speaking), the gears always spin in the real, physical world. This ensures that the resulting pattern exists in our actual space (like a 2D plane or 3D room) and not in some abstract, imaginary dimension.

5. Why This Matters (According to the Paper)

Before this paper, we only knew how to make these perfect, non-repeating patterns in a straight line. The authors showed that you can make them in 2D, 3D, and beyond.

They also proved that these patterns are "genuinely high-dimensional."

• The Analogy: Imagine you have a 3D sculpture. Sometimes, a 3D sculpture is just a stack of 2D pictures glued together.
• The Result: The authors proved their new patterns are not just stacks of lower-dimensional patterns. They are truly new, complex structures that cannot be broken down into simpler, one-dimensional lines.

Summary

The authors built a mathematical "factory":

1. Input: A special, invisible wall (Lee–Yang Variety) and a carefully tuned projector (Matrix).
2. Process: The projector shines through the wall.
3. Output: A perfect, non-repeating pattern of points (a Fourier Quasicrystal) that exists in any dimension you choose.

This pattern is so well-ordered that if you "listen" to it (mathematically), it sings a perfect, discrete song, proving that even in the most complex, high-dimensional spaces, perfect order can exist without repetition.

Technical Summary

Problem Statement
The paper addresses the construction of Fourier quasicrystals (FQs) with unit masses in arbitrary dimensions $d \geq 1$. A Fourier quasicrystal is defined as a set $\Lambda \subseteq \mathbb{R}^d$ whose counting measure $\mu_\Lambda = \sum_{x \in \Lambda} \delta_x$ is a tempered measure such that its distributional Fourier transform is also a discrete measure with polynomial growth. While one-dimensional FQs were previously constructed by Kurasov and Sarnak using Lee–Yang polynomials, the existence of non-periodic Delone FQ-sets in higher dimensions remained an open question. Specifically, the authors aim to generalize the one-dimensional construction to $\mathbb{R}^d$ for any $d$, producing sets that are not merely products of lower-dimensional FQs or rotations thereof.

Methodology
The authors employ a geometric construction rooted in the interplay between real algebraic geometry and discrete geometry. The core of their method involves:

1. Strict Lee–Yang Varieties: They introduce a class of complex algebraic varieties $X \subseteq (\mathbb{P}^1)^n$ of codimension $d$ (dimension $c = n-d$). These varieties, termed "strict Lee–Yang varieties," satisfy specific conditions:
   • Invariance under the coordinate-wise involution $z \mapsto 1/z$.
   • A "real-rootedness" property: for any point $z \in X$, either $z$ lies on the torus $T^n$ (where $|z_i|=1$) or the number of sign changes in the vector $\log|z|$ is at least $d$.
   • The intersection of $X$ with the torus, $X(T)$, is contained in the smooth part of $X$.
2. Exponential Mapping: They utilize a real $n \times d$ matrix $L$ with positive $d \times d$ minors (ensuring the column span lies in the positive Grassmannian $Gr^+(d, n)$).
3. Construction of $\Lambda$: The FQ-set is defined as the preimage of the variety under the exponential map:
   $$\Lambda = \{ x \in \mathbb{C}^d \mid \exp(2\pi i L x) \in X \}.$$
   The authors prove that under the stated conditions, $\Lambda$ is a subset of $\mathbb{R}^d$.

Key Contributions and Results

• Existence in Arbitrary Dimensions: The paper proves that for any dimension $d$, the set $\Lambda(X, L)$ constructed from a strict Lee–Yang variety $X$ and a matrix $L$ with positive minors is a Delone set (uniformly discrete and relatively dense) and a Fourier quasicrystal with unit masses.
• Spectral Properties: The spectrum $\Lambda'$ of the resulting FQ is shown to be a discrete subset of $\mathbb{R}^d$ contained in the image of a specific set of integer vectors under $L^T$. Specifically, $\Lambda' = \{ L^T k \mid k \in \mathbb{Z}^n, \text{var}(k) < d \}$, where $\text{var}(k)$ denotes the number of sign changes in $k$.
• Non-Periodicity and Almost Periodicity:
  • The constructed sets are Bohr almost periodic.
  • Under mild conditions (specifically, if the $d \times d$ minors of $L$ are $\mathbb{Q}$-linearly independent and $X$ is not a coset of an algebraic subtorus), the sets are "genuinely" high-dimensional. They intersect every discrete periodic set in only finitely many points and do not contain any one-dimensional Fourier quasicrystal as a subset (even up to isometry or asymptotic closeness).
• Hyperuniformity: The authors demonstrate that every discrete set $\Lambda$ whose counting measure is a Fourier quasicrystal is "stealthy hyperuniform." This means the diffraction measure has an isolated point at the origin, a property typically associated with crystals rather than quasicrystals.
• Reduction to Strict Varieties: The paper shows that many algebraic varieties can be transformed into strict Lee–Yang varieties via coordinate changes, broadening the scope of applicable constructions. It also establishes that Delone FQs arising from a recent construction by Lawton and Tsikh (based on real-rooted trigonometric systems) can be obtained via the authors' method.

Significance
The paper provides a positive answer to the question of whether non-periodic Delone Fourier quasicrystals exist in arbitrary dimensions, a question previously open for $d > 1$. By generalizing the Kurasov–Sarnak construction, the authors establish a robust framework for generating these sets using algebraic geometry. The work clarifies the structural properties of FQs, showing they can be Delone, non-periodic, and possess "crystal-like" physical properties (stealthy hyperuniformity) despite being aperiodic. The construction relies on the geometric properties of Lee–Yang varieties, extending the concept of real-rootedness from polynomials to higher-codimensional algebraic varieties.