Geometric Models for Quasicrystals II. Local Rules Under Isometries

The atomic structures of quasicrystalline materials exhibit long range order under translations. It is believed that such materials have atomic structures which approximately obey local rules restricting the location of nearby atoms. These local constraints are typically invariant under rotations, and it is of interest to establish conditions under which such local rules can nevertheless enforce order under translations in any structure that satisfies them. A set of local rules in is a finite collection of discrete sets {Y _i } containing 0, each of which is contained in the ball of radius ρ around 0 in . A set X satisfies the local rules under isometries if the ρ -neighborhood of each is isometric to an element of . This paper gives sufficient conditions on a set of local rules such that if X satisfies under isometries, then X has a weak long-range order under translations, in the sense that X is a Delone set of finite type. A set X is a Delone set of finite type if it is a Delone set whose interpoint distance set X-X is a discrete closed set. We show for each minimal Delone set of finite type X that there exists a set of local rules such that X satisfies under isometries and all other Y that satisfy under isometries are Delone sets of finite type. A set of perfect local rules (under isometries or under translations, respectively) is a set of local rules such that all structures X that satisfy are in the same local isomorphism class (under isometries or under translations, respectively). If a Delone set of finite type has a set of perfect local rules under translations, then it has a set of perfect local rules under isometries, and conversely. Received February 14, 1997, and in revised form February 14, 1998, February 19, 1998, and March 5, 1998.