ラテン方陣と有限幾何

ラテン方陣は、各記号が各行および各列に1回ずつ現れる正方配列であり、有限幾何は、有限個の点と線からなる高度に構造化された接続系です。

Definition

位数nのラテン方陣は、n個の記号で埋められたn×nの配列であり、各記号が各行および各列に正確に1回ずつ現れるものです。有限射影平面は、点と線の接続構造であり、任意の2点は一意の線上にあり、任意の2線は一意の点で交わります。

Scope

このトピックでは、ラテン方陣と互いに直交するラテン方陣、それらのネットおよび横断デザインとの等価性、および有限体から構築される有限射影平面とアフィン平面について扱います。これには、直交方陣に関する古典的なオイラーの予想と、互いに直交するラテン方陣と有限射影平面との間の深い関連性が含まれます。

Core questions

• 与えられた位数の互いに直交するラテン方陣はいくつ存在し得るか？
• どの位数に対して、直交方陣の完全集合、ひいては射影平面が存在するか？
• 有限体はどのように平面と直交方陣を構築するか？
• 有限集合上のアフィン幾何と射影幾何を定義する接続公理は何か？

Key concepts

• ラテン方陣
• 互いに直交するラテン方陣
• 横断デザインとネット
• 有限射影平面
• アフィン平面
• ガロア（有限）体

Key theories

MOLSと射影平面

位数nのn-1個の互いに直交するラテン方陣の完全集合が存在するのは、位数nの有限射影平面が存在する場合に限られ、これによりラテン方陣の組み合わせ論と有限幾何が結びつけられます。

オイラーの予想の反証

オイラーは、4を法として2に合同な位数に対しては、直交するラテン方陣のペアは存在しないと予想しました。Bose、Shrikhande、Parkerは1960年に、2と6を除くそのようなすべての位数に対してこの予想を反証しました。

Clinical relevance

ラテン方陣は、2つの変動源を同時に制御する行-列実験計画法を提供し、直交配列は要因実験とソフトウェアテストをサポートし、有限幾何はコードとデザインを生成します。

History

オイラーは1782年に36人の将校の問題を通じて直交ラテン方陣を研究しました。彼の予想は、1960年にBose、Shrikhande、Parkerによって反証されるまで維持されました。彼らは「オイラーの破壊者」と呼ばれています。

Key figures

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

Seminal works

• colbourn2007

Frequently asked questions

2つのラテン方陣が直交するとはどういう意味ですか？

2つの方陣を重ね合わせたときに、記号の順序対がそれぞれ正確に1回ずつ現れ、それによって方陣がグリッドのすべてのセルを区別できることを意味します。

数独のグリッドはラテン方陣ですか？

完成した数独は、位数9のラテン方陣であり、各3×3のボックスにもすべての記号が1回ずつ含まれるという追加の制約があります。