[論文レビュー] On the multidimensional permanent and q-ary designs

Vladimir N. Potapov|arXiv (Cornell University)|Jan 19, 2011

graph theory and CDMA systems参考文献 9被引用数 3

ひとこと要約

本稿では、q-ary超立方体の枠組みの中で、組合せデザインの2つの一般化—HデザインとAデザイン—を導入し、それらの存在と列挙を多次元パーマネントに関連付ける。すべての s,t ≥ 1 に対して H(2^{t+1}, s2^t, 2^{t+1}-1, 2^{t+1}-2) デザインの存在を証明し、このようなデザインの数が、k部グラフ構造から導かれる隣接配列の多次元パーマネントに一致することを確立する。

ABSTRACT

An $H(n,q,w,t)$ design is considered as a collection of $(n-w)$-faces of the hypercube $Q^n_q$ perfectly piercing all $(n-t)$-faces. We define an $A(n,q,w,t)$ design as a collection of $(n-t)$-faces of hypercube $Q^n_q$ perfectly cowering all $(n-w)$-faces. The numbers of H- and A-designs are expressed in terms of multidimensional permanent. We present several constructions of H- and A-design and prove the existence of $H(2^{t+1},s2^t,2^{t+1}-1,2^{t+1}-2)$ designs for every $s,t\geq 1$. Keywords: perfect matching, clique matching, permanent, MDS code, generalized Steiner system, H-design.

研究の動機と目的

• HデザインとAデザインを用いて、Steiner系やtデザインをq-ary超立方体フレームワークに一般化すること。
• これらのデザインの存在と列挙が、隣接配列の多次元パーマネントに関連することを確立すること。
• 特に特定のパrameterセットに対して、H-およびAデザインを構成的に生成する方法を提供すること。
• MDSコード、完全マッチング、クリークマッチングなどの既知の組合せ的対象との間の関係を調査すること。
• HデザインまたはAデザインへの分割が存在する条件を特定すること、特に符号距離とハイパーグラフ構造との関係において。

提案手法

• H(n,q,w,t) および A(n,q,w,t) デザインを、* が欠損座標を表す Q_{q*}^n 内の重みが指定された語の部分集合としてモデル化する。
• Hデザインを、各 (n-t)-面をちょうど一度貫く (n-w)-面の集合として定義し、Aデザインを、各 (n-w)-面をちょうど一度被覆する (n-t)-面の集合として定義する。
• (n-w)-面と (n-t)-面のインシデント構造を、L = Q_q^n(w) および R = Q_q^n(t) という部分からなるk部ハイパーグラフ G(n,q,w,t) として表現する。
• 面間のインシデント数を符号化する隣接配列 M(G,L) または M(G,R) を構築し、有効なデザインの数を数えるためにk次元パーマネントを用いる。
• 命題4および5を適用して、(R,L)-完全符号（すなわちAデザイン）の数が M(G,L) のk次元パーマネントに等しくなることを示し、同様にHデザインに対しても同様の関係を確立する。
• ハイパーグラフの完全マッチングと隣接配列における対角和を用いて、多次元パーマネントによるカウントメカニズムを形式化する。

実験結果

リサーチクエスチョン

• RQ1 どのパrameter n, q, w, t に対して H(n,q,w,t) デザインが存在するか？
• RQ2 多次元パーマネントのような組合せ的不変量を用いて、A(n,q,w,t) デザインの数をどのように列挙できるか？
• RQ3 Hデザイン、Aデザインと、MDSコードや完全マッチングなどの既知の対象との間の構造的関係は何か？
• RQ4 (n-w)-面の集合がHデザインに分割可能となる条件は何か？
• RQ5 多次元パーマネントを用いて、無限個のパrameterセットに対してHデザインの存在を証明できるか？

主な発見

• A(n,q,w,t) デザインの数は、k = (n-t choose n-w) * q^{w-t} である隣接配列 M(G(n,q,w,t), L) のk次元パーマネントに等しい。
• H(n,q,w,t) デザインの数は、m = (w choose t) である隣接配列 M(G(n,q,w,t), R) のm次元パーマネントに等しい。
• H(n,q,n,t) デザインは、最小距離 d = n - t + 1 を持つ Q_q^n 内のMDSコードに正確に一致する。
• A(n,q,n,n-1) デザインは、Q_q^n 内の完全クリークマッチングに一致し、ハミング距離3のこのようなデザインが存在するのは n = 2^t のときに限る。
• すべての s,t ≥ 1 に対して、H(2^{t+1}, s2^t, 2^{t+1}-1, 2^{t+1}-2) デザインの存在が証明された。
• n = 2^{t+1}, q = 2^t の場合の正確なクリークマッチングの構成を、パーマネントに基づくカウントフレームワークを用いて、より広いクラスのHデザインへと拡張した。