Lateinische Quadrate und Endliche Geometrien

Ein lateinisches Quadrat ist ein quadratisches Schema, bei dem jedes Symbol einmal pro Zeile und Spalte vorkommt, und endliche Geometrien sind hochstrukturierte Inzidenzsysteme auf endlich vielen Punkten und Geraden.

Definition

Ein lateinisches Quadrat der Ordnung n ist ein n-mal-n-Schema, das mit n Symbolen gefüllt ist, sodass jedes Symbol genau einmal in jeder Zeile und jeder Spalte vorkommt; eine endliche projektive Ebene ist eine Inzidenzstruktur von Punkten und Geraden, in der beliebige zwei Punkte auf einer eindeutigen Geraden liegen und beliebige zwei Geraden sich in einem eindeutigen Punkt schneiden.

Scope

Dieses Thema behandelt lateinische Quadrate und wechselseitig orthogonale lateinische Quadrate, ihre Äquivalenz mit Netzen und Transversaldesigns sowie endliche projektive und affine Ebenen, die aus endlichen Körpern konstruiert werden. Es umfasst die klassische Eulersche Vermutung über orthogonale Quadrate und die tiefe Verbindung zwischen wechselseitig orthogonalen lateinischen Quadraten und endlichen projektiven Ebenen.

Core questions

• Wie viele wechselseitig orthogonale lateinische Quadrate einer gegebenen Ordnung können existieren?
• Für welche Ordnungen existieren vollständige Sätze orthogonaler Quadrate und somit projektive Ebenen?
• Wie konstruieren endliche Körper Ebenen und orthogonale Quadrate?
• Welche Inzidenzaxiome definieren affine und projektive Geometrien über endlichen Mengen?

Key concepts

• Lateinisches Quadrat
• Wechselseitig orthogonale lateinische Quadrate
• Transversaldesigns und Netze
• Endliche projektive Ebene
• Affine Ebene
• Galois- (endliche) Körper

Key theories

MOLS und projektive Ebenen

Ein vollständiger Satz von n-1 wechselseitig orthogonalen lateinischen Quadraten der Ordnung n existiert genau dann, wenn eine endliche projektive Ebene der Ordnung n existiert, was die Kombinatorik lateinischer Quadrate mit der endlichen Geometrie verbindet.

Widerlegung von Eulers Vermutung

Euler vermutete, dass kein Paar orthogonaler lateinischer Quadrate für Ordnungen existiert, die kongruent zu 2 modulo 4 sind; Bose, Shrikhande und Parker widerlegten dies 1960 für alle derartigen Ordnungen außer 2 und 6.

Clinical relevance

Lateinische Quadrate bieten experimentelle Designs mit Zeilen- und Spaltenanordnung, die zwei Variationsquellen gleichzeitig kontrollieren, orthogonale Anordnungen unterstützen faktorielle Experimente und Softwaretests, und endliche Geometrien generieren Codes und Designs.

History

Euler untersuchte 1782 orthogonale lateinische Quadrate anhand seines Problems der sechsunddreißig Offiziere; seine Vermutung bestand bis zur Widerlegung im Jahr 1960 durch Bose, Shrikhande und Parker, die sogenannten Euler-Spoiler.

Key figures

• Leonhard Euler
• R. C. Bose
• E. T. Parker

Seminal works

• colbourn2007

Frequently asked questions

Was bedeutet es, dass zwei lateinische Quadrate orthogonal sind?

Wenn die beiden Quadrate übereinandergelegt werden, tritt jedes geordnete Symbolpaar genau einmal auf, sodass die Quadrate gemeinsam jede Zelle des Rasters unterscheiden.

Ist ein Sudoku-Gitter ein lateinisches Quadrat?

Ein ausgefülltes Sudoku ist ein lateinisches Quadrat der Ordnung neun mit der zusätzlichen Bedingung, dass jedes Drei-mal-Drei-Feld ebenfalls jedes Symbol einmal enthält.