Λατινικά Τετράγωνα και Πεπερασμένες Γεωμετρίες

Ένα λατινικό τετράγωνο είναι μια τετραγωνική διάταξη στην οποία κάθε σύμβολο εμφανίζεται μία φορά ανά γραμμή και στήλη, και οι πεπερασμένες γεωμετρίες είναι συστήματα πρόσπτωσης με υψηλή δομή σε πεπερασμένο αριθμό σημείων και γραμμών.

Definition

Ένα λατινικό τετράγωνο τάξης n είναι μια διάταξη n-επί-n γεμάτη με n σύμβολα έτσι ώστε κάθε σύμβολο να εμφανίζεται ακριβώς μία φορά σε κάθε γραμμή και κάθε στήλη. Ένα πεπερασμένο προβολικό επίπεδο είναι μια δομή πρόσπτωσης σημείων και γραμμών στην οποία οποιαδήποτε δύο σημεία βρίσκονται σε μια μοναδική γραμμή και οποιεσδήποτε δύο γραμμές τέμνονται σε ένα μοναδικό σημείο.

Scope

Αυτό το θέμα πραγματεύεται τα λατινικά τετράγωνα και τα αμοιβαία ορθογώνια λατινικά τετράγωνα, την ισοδυναμία τους με δίκτυα (nets) και εγκάρσια σχέδια (transversal designs), καθώς και τα πεπερασμένα προβολικά και αφινικά επίπεδα που κατασκευάζονται από πεπερασμένα σώματα. Περιλαμβάνει την κλασική εικασία του Euler για τα ορθογώνια τετράγωνα και τη βαθιά σύνδεση μεταξύ των αμοιβαία ορθογώνιων λατινικών τετραγώνων και των πεπερασμένων προβολικών επιπέδων.

Core questions

• Πόσα αμοιβαία ορθογώνια λατινικά τετράγωνα μιας δεδομένης τάξης μπορούν να υπάρχουν;
• Για ποιες τάξεις υπάρχουν πλήρη σύνολα ορθογώνιων τετραγώνων, και επομένως προβολικά επίπεδα;
• Πώς κατασκευάζουν τα πεπερασμένα σώματα επίπεδα και ορθογώνια τετράγωνα;
• Ποια αξιώματα πρόσπτωσης ορίζουν αφινικές και προβολικές γεωμετρίες πάνω σε πεπερασμένα σύνολα;

Key concepts

• Λατινικό τετράγωνο
• Αμοιβαία ορθογώνια λατινικά τετράγωνα
• Εγκάρσια σχέδια και δίκτυα
• Πεπερασμένο προβολικό επίπεδο
• Αφινικό επίπεδο
• Σώματα Galois (πεπερασμένα)

Key theories

MOLS και προβολικά επίπεδα

Ένα πλήρες σύνολο n-1 αμοιβαία ορθογώνιων λατινικών τετραγώνων (MOLS) τάξης n υπάρχει αν και μόνο αν υπάρχει ένα πεπερασμένο προβολικό επίπεδο τάξης n, συνδέοντας τη συνδυαστική των λατινικών τετραγώνων με την πεπερασμένη γεωμετρία.

Αναίρεση της εικασίας του Euler

Ο Euler υπέθεσε ότι δεν υπάρχει ζεύγος ορθογώνιων λατινικών τετραγώνων για τάξεις που είναι ισοδύναμες με 2 modulo 4. Οι Bose, Shrikhande και Parker το διέψευσαν αυτό το 1960 για όλες αυτές τις τάξεις εκτός από τις 2 και 6.

Clinical relevance

Τα λατινικά τετράγωνα παρέχουν πειραματικά σχέδια γραμμών-στηλών που ελέγχουν ταυτόχρονα δύο πηγές διακύμανσης, οι ορθογώνιες διατάξεις υποστηρίζουν παραγοντικά πειράματα και δοκιμές λογισμικού, και οι πεπερασμένες γεωμετρίες παράγουν κώδικες και σχέδια.

History

Ο Euler μελέτησε τα ορθογώνια λατινικά τετράγωνα το 1782 μέσω του προβλήματος των τριάντα έξι αξιωματικών του. Η εικασία του παρέμεινε μέχρι την αναίρεση του 1960 από τους Bose, Shrikhande και Parker, τους λεγόμενους «Euler spoilers».

Key figures

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

Seminal works

• colbourn2007

Frequently asked questions

Τι σημαίνει για δύο λατινικά τετράγωνα να είναι ορθογώνια;

Όταν τα δύο τετράγωνα υπερτίθενται, κάθε διατεταγμένο ζεύγος συμβόλων εμφανίζεται ακριβώς μία φορά, έτσι ώστε τα τετράγωνα να διακρίνουν από κοινού κάθε κελί του πλέγματος.

Είναι ένα πλέγμα Sudoku ένα λατινικό τετράγωνο;

Ένα συμπληρωμένο Sudoku είναι ένα λατινικό τετράγωνο τάξης εννέα με τον επιπλέον περιορισμό ότι κάθε κουτί τρία-επί-τρία περιέχει επίσης κάθε σύμβολο μία φορά.