MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Freeman Dyson writes in his article "Birds and Frogs", that a unique quasicrystal exists corresponding to every Pisot-Vijayaraghavan number. Is this statement a theorem?

p.s.I couldn't find about this in any paper.

share|cite|improve this question
+1 for relationsheep, birds, and frogs. – Daniel Litt Jan 7 '11 at 19:09
This seems too strong a claim. In case they are useful, the following two links should give you some pointers on what is known: (A paper: "Additive and multiplicative properties of point sets based on beta-integers" by Christiane Frougny, Jean-Pierre Gazeau & Rudolf Krejcar) and (Slides: "Beta-lattice multiresolution of quasicrystalline Bragg peaks", by A. Elkharrat, J.P. Gazeau, and F. Denoyer.) – Andrés E. Caicedo Jan 7 '11 at 20:09
@Daniel, sorry, I edited the sheep out. – Gerry Myerson Jan 8 '11 at 0:04
The first link above seems to have changed, and should be updated to – Andrés E. Caicedo Jun 20 '13 at 20:05

Do you have a particular definition in mind for quasicrystal? To my understanding, there are several related concepts that give different answers. If you want an expansion rule, such patterns exist in 2 dimensions for every algebraic integer that is larger than its Galois conjugates (and conversely, depending on requirements of the expansion rule). These are most easily constructed for PV numbers (a theorem I proved, cf Lecture notes by Thurston on tiling, or Richard Kenyon,

One definition seems to be a low-dimensional slice of a higher-dimensional periodic arrangement, e.g. take an $n$-plane in $m$-space, look at all lattice points in a nbhd of radius r, and project. There are continuous families of these, and they are not associated with algebraic integers. These are said to have "long range translational order".

Either of these two constructions, and others as well, give ordered patterns in which matter in principle would "crystallize", if the energy of interactions of molecules could be carefully controlled.

The intersection of examples with expansion rules and long range translational order are the examples corresponding to PV numbers. I believe the locations of the sharp peaks in the X-ray diffraction diagram only depend on the PV number, and that's probably what Freeman Dyson had in mind --- I know he was very interested in X-ray diffraction.

share|cite|improve this answer

In her book Quasicrystals and geometry Majorie Senechal discusses the relationship between quasicrystals and PV number on pp. 126-128. She cites Pisot (1946) and Cassels (1965).

First she presents an alternative characterization of PV numbers:

Theorem 4.1 Let $\mu_1>1$ be a real algebraic integer. Then $\mu_1$ is a PV number if and only if there exist nonzero $q \in \mathbb{R}$ such that $$\lim_{m\rightarrow \infty} \mu_1^m q = 0 \mod \mathbb{Z}.$$

Thus it follows that

Theorem 4.2 The diffraction condition is satisfied for an $\mathcal{A}$ sequence if and only if the leading eigenvalue $\lambda_1$ of $\mathcal{A}$ is a PV number.

I note that she defined an $\mathcal{A}$ sequence to be "any sequence of points $\Lambda = \{x_n\}$ such that, for all $n,$ $x_n - x_{n-1} \in \{\alpha_1, \ldots, \alpha_n\}$ and $\Lambda$ has suitably defined predecessors of all orders with respect to the [linear map which may be represented by a primitive matrix] $\mathcal{A}.$"

It's a nice book, easy to read. Highly recommended.

Oh, the references are:

C. Pisot (1946), Repartition (mod 1) des puissances successives des nombres reels, Commentarii Mathematici Helvetici, Vol. 19, 153-60.

J.W.S. Cassells (1965), Diophantine Approximation, Cambridge Tracts in Mathematics and Mathematical Physics No. 45, Combridge University Press.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.