[論文レビュー] Constructions of two-dimensional optical orthogonal codes of weight three

Xiuling Shan, Lidong Wang+2 more|arXiv (Cornell University)|Feb 21, 2026

graph theory and CDMA systems被引用数 0

ひとこと要約

論文は重み3で自己相関およびクロス相関がともに1となる最適な2次元光学正交コードの組合せ構成を開発し、すべての正の m, n に対して正確なサイズ Phi(m×n,3,1) を決定する。

ABSTRACT

The study of optical orthogonal codes has been motivated by an application in an optical code-division multiple access system. This paper focuses on optimal two-dimensional optical orthogonal codes with autocorrelation and cross-correlation both equal to $1$. By examining the structures of $n$-cyclic group divisible packings and semi-cyclic incomplete holey group divisible designs, we present new combinatorial constructions for two-dimensional $(m imes n,k,1)$-optical orthogonal codes. As a consequence, the exact number of codewords of an optimal two-dimensional $(m imes n,3,1)$-optical orthogonal code is determined for any positive integers $m$ and $n$.

研究の動機と目的

• OCDMA アプリケーションのための2次元光学正交コード (2D OOC) の動機づけと研究。
• 群分割パッキングとホーリーデザインを用いた2D (m×n,3,1)-OOC の新しい構成法の開発。
• 上界の改善と再帰的構成による最適コードサイズの達成。
• すべての正の整数 m, n に対する正確な最適サイズ Phi(m×n,3,1) の決定。
• 集合表現、差分法、補助デザインを軸に理論を整理。

提案手法

• I_m × Z_n の k-集合としての2D OOC の集合論的表現を採用し、重み k=3 を取る。
• 自己相関およびクロス相関の制約を差分多重集合の被覆特性へ translate する純差分法および混合差分法を用いる。
• ホール（holes）と規則的構造（g-regular）という2種類のホーリーデザイン／正則デザインを導入・利用し、再帰的構成（構成4.x）を可能にする。
• n-循環群分割パック(GDP)と半循環不完全ホーリーデザイン（SCIGDD）を活用して基本ブロックを構築し、完全なOOC族を展開する。
• 補助デザインとして n-循環GDDsやHGDDs、フレームスターターを用い、コードワードの大規模なファミリを構築する。
• 主定理（定理1.6）を提供し、mとnの合同類に基づく明確な例外を含む正確な最適サイズを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の m,n に対する最適な2D (m×n,3,1)-OOC の存在条件は何か。
• RQ2 2D (m×n,3,1)-OOC はどれくらい大きくなれるか（すなわち Phi(m×n,3,1) を決定）し、Johnson界限にどれだけ近いか。
• RQ3 より小さいまたは単純なデザイン（GDP、HGDD、ホーリーデザイン）から最適コードを構築する再帰的な構成法を導出できるか。
• RQ4 純差分と混合差分、およびフレームスターターが λ=1 の下で最適性を達成する役割は何か。
• RQ5 最適サイズがJohnson界を満たさない正確な合同性事例は何か。

主な発見

• 明示的な最適サイズ式が確立される：Phi(m×n,3,1) = J(m×n,3,1) − μ が複数の合同類に基づく μ によって決まる。
• 特定の場合で μ = 1（例：m ≡ 5 mod 6, n = 1）; μ ∈ {0,1} は組み合わせ（例：m ≡ 4 mod 6, n = 4; m ≡ 5,8 mod 12 かつ n = 2; および mn ≡ 0,4,8,12,16,20 mod 24 などの他のパリティ/剰余条件）によって決まる。
• 追加の縮約により Phi(m×n,3,1) ≤ J*(m×n,3,1) を得る。J* はいくつかのモジュラ条件で J を最大1だけ調整する。
• 構成は2D OOC 表現と GDP および HGDD ベースの再帰的スキームを組み合わせることで、すべての正の m,n に対して正確なサイズを示す。
• 「ホール」構成などの実用的な再帰充填を示し、小さな最適構成をより大きな格子へ拡張する。
• 例と補題を通じて、2つの正規GDDやフレームスターター等の特定の m,n 系が最適性を達成することが示される（例：2-正則 GDDs およびフレームスターターを通じて）。