[論文レビュー] On the existence of k-homogeneous Latin bitrades

Behrooz Bagheri Gh., E. S. Mahmoodian|ArXiv.org|Oct 13, 2008

Mathematical Dynamics and Fractals参考文献 8被引用数 7

ひとこと要約

本稿は、すべての奇数 $k \geq 3$ および $m \geq k$ に対して、および偶数 $k > 2$ に対して $m \geq \min\{k+u, \frac{3k}{2}\}$ の条件下で、体積 $km$ の $k$-一様ラテンビトレードの存在を確立する。ここで $u$ は $k$ の奇数因子である。本稿は巡回設計を用いてこのようなビトレードを構成し、$k = 3$ から $37$ までのすべての $k$ および $m \geq k$ に対して存在を検証し、組合せデザイン理論における長年の存在問題を解決する。

ABSTRACT

Following the earlier work on {homogeneous Latin bitrades by Cavenagh, Donovan, and Dr'apal (2003 and 2004) Bean, Bidkhori, Khosravi, and E. S. Mahmoodian (2005) we prove the following results. All k-homogeneous Latin bitrades of volume km exist, for 1) all odd number k and m is greater than or equal to k, 2) all even number k > 2 and m is greater than or equal to min{k +u,3k/2}, where u is any odd number which divides k, 3) all m is greater than or equal to k, where k is greater than or equal to 3 and is lesser than or equal to 37.

研究の動機と目的

• すべての $k \geq 3$ および $m \geq k$ に対して、体積 $km$ の $k$-一様ラテンビトレードの存在問題を解決すること。
• 従来の $k$-一様ビトレードに関する結果を拡張し、すべての奇数 $k$ および偶数 $k > 2$ に対して、特定の $m$-上限の下で構成的証明を提供すること。
• すべての $k$ について $3 \leq k \leq 37$ およびすべての $m \geq k$ に対して、このようなビトレードの存在を検証し、この範囲における包括的な存在分類を完了すること。
• 巡回 $k$-一様ラテンビトレードの明示的な基本行を提供し、アルゴリズム的構成と検証を可能にすること。

提案手法

• 特定の循環的パターンのセル位置と記号を有する基本行から導かれる巡回設計を用いて、$k$-一様ラテンビトレードを構成する。
• 奇数 $k = 2\ell + 1$ の場合、$i = 1$ から $\ell+1$ までと $i = 1$ から $\ell$ までのそれぞれに対して、$(\ell+i,i)_{2i-1}$ および $(i,\ell+1+i)_{2i}$ のペアの和集合として基本行 $B_m^{2\ell+1}$ を定義する。
• 偶数 $k > 2$ の場合、$m \geq \min\{k+u, \frac{3k}{2}\}$ という条件（$u$ は $k$ の奇数因子）を用いて、巡回構成における構造的一致性を保証する。
• 先行研究からの定理Aおよび定理Bを用いて、既存の $k$-一様ビトレードを組み合わせてより大きなビトレードを構成し、帰納的構成を可能にする。
• $k = 32, 34$ および $m = 32$ から $49$ までの明示的列挙を通じて、広範なパrameter範囲における実行可能性を検証する。
• アミル・フーシャン・ホーシュープールによるプログラミングによる計算的検証を用いて、$k = 32$ および $k = 34$ の構成された基本行の正しさを確認する。

実験結果

リサーチクエスチョン

• RQ1 どの整数 $k \geq 3$ および $m \geq k$ に対して、体積 $km$ の $k$-一様ラテンビトレードが存在するか？
• RQ2 すべての奇数 $k \geq 3$ およびすべての $m \geq k$ に対して、$k$-一様ラテンビトレードを構成できるか？
• RQ3 偶数 $k > 2$ に対して、体積 $km$ の $k$-一様ラテンビトレードが存在する最小の $m$ は何か？ これは $k$ の奇数因子にどのように依存するか？
• RQ4 すべての $k$ について $3 \leq k \leq 37$ およびすべての $m \geq k$ に対して、$k$-一様ラテンビトレードは存在するか？
• RQ5 巡回構成を、存在条件を満たす任意の $k$ および $m$ に対して、$k$-一様ラテンビトレードを体系的に生成するために使用できるか？

主な発見

• すべての奇数整数 $k \geq 3$ およびすべての $m \geq k$ に対して、体積 $km$ の $k$-一様ラテンビトレードが存在し、巡回基本行を用いた構成的証明が与えられる。
• すべての偶数整数 $k > 2$ に対して、$m \geq \min\{k+u, \frac{3k}{2}\}$ のとき、体積 $km$ の $k$-一様ラテンビトレードが存在する。ここで $u$ は $k$ の任意の奇数因子である。
• $3 \leq k \leq 37$ およびすべての $m \geq k$ に対して、$k$-一様ラテンビトレードが存在し、この範囲における存在分類が完了する。
• $m = 32$ から $49$ までについて、$k = 32$ および $k = 34$ の明示的な基本行が提供され、広範なパrameterセットにおける構成の実行可能性が確認される。
• 適切に定義された基本行を有する巡回設計を用いた構成法により、各行、各列、各記号が正確に $k$ 回ずつ出現することが保証され、$k$-一様性の条件を満たす。
• 計算的検証により、$k = 32$ および $k = 34$ の構成された基本行の正しさが確認され、理論的主張を支持する。