Latin négyzetek és véges geometriák

A latin négyzet egy olyan négyzetes elrendezés, amelyben minden szimbólum soronként és oszloponként egyszer szerepel, a véges geometriák pedig nagymértékben strukturált illeszkedési rendszerek véges számú ponton és egyenesen.

Definition

Egy n-edrendű latin négyzet egy n-szer n-es elrendezés, amely n szimbólummal van kitöltve úgy, hogy minden szimbólum pontosan egyszer fordul elő minden sorban és minden oszlopban; egy véges projektív sík pontok és egyenesek illeszkedési struktúrája, amelyben bármely két pont egyetlen egyenesen fekszik, és bármely két egyenes egyetlen pontban metszi egymást.

Scope

Ez a téma a latin négyzetekkel és a kölcsönösen ortogonális latin négyzetekkel, azok hálózatokkal és transzverzális tervekkel való ekvivalenciájával, valamint a véges testekből felépített véges projektív és affin síkokkal foglalkozik. Magában foglalja az ortogonális négyzetekre vonatkozó klasszikus Euler-sejtést és a kölcsönösen ortogonális latin négyzetek és a véges projektív síkok közötti mély kapcsolatot.

Core questions

• Hány kölcsönösen ortogonális latin négyzet létezhet egy adott rendhez?
• Milyen rendekre léteznek az ortogonális négyzetek, és így a projektív síkok teljes halmazai?
• Hogyan konstruálnak a véges testek síkokat és ortogonális négyzeteket?
• Milyen illeszkedési axiómák definiálják az affin és projektív geometriákat véges halmazokon?

Key concepts

• Latin négyzet
• Kölcsönösen ortogonális latin négyzetek
• Transzverzális tervek és hálózatok
• Véges projektív sík
• Affin sík
• Galois (véges) testek

Key theories

Kölcsönösen ortogonális latin négyzetek (MOLS) és projektív síkok

Egy n-edrendű, n-1 kölcsönösen ortogonális latin négyzetből álló teljes halmaz akkor és csak akkor létezik, ha létezik egy n-edrendű véges projektív sík, összekapcsolva a latin négyzetek kombinatorikáját a véges geometriával.

Euler-sejtés cáfolata

Euler azt feltételezte, hogy nem létezik ortogonális latin négyzetpár a 4-gyel kongruens 2 rendekre; Bose, Shrikhande és Parker 1960-ban cáfolta ezt az összes ilyen rendre, kivéve a 2-t és a 6-ot.

Clinical relevance

A latin négyzetek sor-oszlop kísérleti terveket biztosítanak, amelyek egyszerre két varianciaforrást kontrollálnak, az ortogonális tömbök támogatják a faktoriális kísérleteket és a szoftvertesztelést, a véges geometriák pedig kódokat és terveket generálnak.

History

Euler 1782-ben tanulmányozta az ortogonális latin négyzeteket a harminchat tiszt problémáján keresztül; sejtése az 1960-as cáfolatig állt, amelyet Bose, Shrikhande és Parker, az úgynevezett Euler-rontók hajtottak végre.

Key figures

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

Seminal works

• colbourn2007

Frequently asked questions

Mit jelent az, ha két latin négyzet ortogonális?

Amikor a két négyzetet egymásra helyezzük, a szimbólumok minden rendezett párja pontosan egyszer fordul elő, így a négyzetek együttesen megkülönböztetik a rács minden celláját.

A Sudoku rács latin négyzet?

Egy kitöltött Sudoku egy kilencedrendű latin négyzet, azzal a kiegészítő megkötéssel, hogy minden háromszor hármas mező is tartalmazza az összes szimbólumot egyszer.