Lattice Embeddings of Planar Point Sets

Let M be a finite non-collinear set of points in the Euclidean plane, with the squared distance between each pair of points integral. Considering the points as lying in the complex plane, there is at most one positive square-free integer D , called the “characteristic” of M , such that a congruent c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Discrete & computational geometry 2016-10, Vol.56 (3), p.693-710
Hauptverfasser: Knopf, Michael, Milzman, Jesse, Smith, Derek, Zhu, Dantong, Zirlin, Dara
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Let M be a finite non-collinear set of points in the Euclidean plane, with the squared distance between each pair of points integral. Considering the points as lying in the complex plane, there is at most one positive square-free integer D , called the “characteristic” of M , such that a congruent copy of M embeds in Q ( - D ) . We generalize the work of Yiu and Fricke on embedding point sets in Z 2 by providing conditions that characterize when M embeds in the lattice corresponding to O - D , the ring of integers in Q ( - D ) . In particular, we show that if the square of every ideal in O - D is principal and the distance between at least one pair of points in M is integral, then M embeds in O - D . Moreover, if M is primitive, so that the squared distances between pairs of points are relatively prime, and O - D is a principal ideal domain, then M embeds in O - D .
ISSN:0179-5376
1432-0444
DOI:10.1007/s00454-016-9812-4