Quadrados Latinos e Geometrias Finitas

Um quadrado latino é uma matriz quadrada na qual cada símbolo aparece uma vez por linha e coluna, e geometrias finitas são sistemas de incidência altamente estruturados em um número finito de pontos e linhas.

Definition

Um quadrado latino de ordem n é uma matriz n por n preenchida com n símbolos de modo que cada símbolo ocorre exatamente uma vez em cada linha e cada coluna; um plano projetivo finito é uma estrutura de incidência de pontos e linhas na qual quaisquer dois pontos estão em uma única linha e quaisquer duas linhas se encontram em um único ponto.

Scope

Este tópico aborda quadrados latinos e quadrados latinos mutuamente ortogonais, sua equivalência com redes e delineamentos transversais, e planos projetivos e afins finitos construídos a partir de corpos finitos. Inclui a conjectura clássica de Euler sobre quadrados ortogonais e a profunda conexão entre quadrados latinos mutuamente ortogonais e planos projetivos finitos.

Core questions

• Quantos quadrados latinos mutuamente ortogonais de uma dada ordem podem existir?
• Para quais ordens existem conjuntos completos de quadrados ortogonais e, consequentemente, planos projetivos?
• Como os corpos finitos constroem planos e quadrados ortogonais?
• Quais axiomas de incidência definem geometrias afins e projetivas sobre conjuntos finitos?

Key concepts

• Quadrado latino
• Quadrados latinos mutuamente ortogonais
• Delineamentos transversais e redes
• Plano projetivo finito
• Plano afim
• Corpos de Galois (finitos)

Key theories

MOLS e planos projetivos

Um conjunto completo de n-1 quadrados latinos mutuamente ortogonais de ordem n existe se e somente se um plano projetivo finito de ordem n existe, ligando a combinatória de quadrados latinos à geometria finita.

Refutação da conjectura de Euler

Euler conjecturou que nenhum par de quadrados latinos ortogonais existe para ordens congruentes a 2 módulo 4; Bose, Shrikhande e Parker refutaram isso em 1960 para todas essas ordens, exceto 2 e 6.

Clinical relevance

Quadrados latinos fornecem delineamentos experimentais de linha-coluna que controlam duas fontes de variação simultaneamente, arranjos ortogonais apoiam experimentos fatoriais e testes de software, e geometrias finitas geram códigos e delineamentos.

History

Euler estudou quadrados latinos ortogonais em 1782 através de seu problema dos trinta e seis oficiais; sua conjectura permaneceu até a refutação em 1960 por Bose, Shrikhande e Parker, os chamados “destruidores de Euler”.

Key figures

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

Seminal works

• colbourn2007

Frequently asked questions

O que significa para dois quadrados latinos serem ortogonais?

Quando os dois quadrados são sobrepostos, cada par ordenado de símbolos ocorre exatamente uma vez, de modo que os quadrados distinguem conjuntamente cada célula da grade.

Uma grade de Sudoku é um quadrado latino?

Um Sudoku completo é um quadrado latino de ordem nove com a restrição adicional de que cada caixa três por três também contém cada símbolo uma vez.