라틴 방진과 유한 기하학

라틴 방진은 각 기호가 행과 열에 한 번씩 나타나는 정사각형 배열이며, 유한 기하학은 유한한 수의 점과 선으로 이루어진 고도로 구조화된 결합 시스템입니다.

Definition

차수 n의 라틴 방진은 n개의 기호로 채워진 n-by-n 배열로, 각 기호가 모든 행과 모든 열에 정확히 한 번씩 나타납니다. 유한 사영 평면은 점과 선의 결합 구조로, 임의의 두 점은 유일한 선 위에 놓이고 임의의 두 선은 유일한 점에서 만납니다.

Scope

이 주제는 라틴 방진과 상호 직교 라틴 방진, 이들의 망(nets) 및 횡단 설계(transversal designs)와의 등가성, 그리고 유한체(finite fields)로부터 구축된 유한 사영 및 아핀 평면을 다룹니다. 여기에는 직교 방진에 대한 고전적인 오일러 추측과 상호 직교 라틴 방진 및 유한 사영 평면 사이의 깊은 연관성이 포함됩니다.

Core questions

• 주어진 차수의 상호 직교 라틴 방진은 몇 개까지 존재할 수 있는가?
• 어떤 차수에 대해 완전한 직교 방진 집합, 즉 사영 평면이 존재하는가?
• 유한체는 어떻게 평면과 직교 방진을 구성하는가?
• 유한 집합에 대한 아핀 및 사영 기하학을 정의하는 결합 공리(incidence axioms)는 무엇인가?

Key concepts

• 라틴 방진
• 상호 직교 라틴 방진
• 횡단 설계 및 망(nets)
• 유한 사영 평면
• 아핀 평면
• 갈루아 (유한) 체

Key theories

MOLS와 사영 평면

차수 n의 완전한 n-1개의 상호 직교 라틴 방진 집합은 차수 n의 유한 사영 평면이 존재할 때 그리고 그 때에만 존재하며, 이는 라틴 방진 조합론을 유한 기하학과 연결시킵니다.

오일러 추측의 반박

오일러는 4를 법으로 하여 2와 합동인 차수에 대해서는 직교 라틴 방진 쌍이 존재하지 않는다고 추측했습니다. Bose, Shrikhande, Parker는 1960년에 2와 6을 제외한 모든 그러한 차수에 대해 이 추측을 반박했습니다.

Clinical relevance

라틴 방진은 두 가지 변동 원인을 동시에 제어하는 행-열 실험 설계를 제공하며, 직교 배열은 요인 실험 및 소프트웨어 테스트를 지원하고, 유한 기하학은 코드와 설계를 생성합니다.

History

오일러는 1782년 36명의 장교 문제(thirty-six officers problem)를 통해 직교 라틴 방진을 연구했습니다. 그의 추측은 1960년 Bose, Shrikhande, Parker에 의해 반증될 때까지 유지되었는데, 이들을 소위 오일러 스포일러(Euler spoilers)라고 부릅니다.

Key figures

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

Seminal works

• colbourn2007

Frequently asked questions

두 라틴 방진이 직교한다는 것은 무엇을 의미합니까?

두 방진을 겹쳐 놓았을 때, 각 순서쌍의 기호가 정확히 한 번씩 나타나므로, 이 방진들은 그리드의 모든 셀을 공동으로 구별합니다.

스도쿠 격자는 라틴 방진입니까?

완성된 스도쿠는 차수 9의 라틴 방진이며, 각 3x3 상자에도 모든 기호가 한 번씩 포함되어야 한다는 추가 제약이 있습니다.