[论文解读] 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元超立方体框架下，引入并分析了组合设计的两种推广——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.

研究动机与目标

• 将Steiner系与t-设计推广至q元超立方体框架，采用H-设计与A-设计。
• 建立这些设计的存在性与计数问题与其邻接数组多维永久式之间的联系。
• 提供构造H-与A-设计的方法，尤其针对特定参数集。
• 研究这些设计与已知组合对象（如MDS码、完美匹配与团匹配）之间的关系。
• 确定将(n-w)-面划分为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)-面之间的关联结构表示为k部超图G(n,q,w,t)，其中L = Q_q^n(w)与R = Q_q^n(t)为两部分。
• 构建邻接数组M(G,L)或M(G,R)，编码面之间的关联数，并利用k维永久式来计数有效设计。
• 应用命题4与5，证明(R,L)-完美码（即A-设计）的数量等于M(G,L)的k维永久式，同理适用于H-设计。
• 利用超图完美匹配与邻接数组的主对角线和，通过多维永久式形式化计数机制。

实验结果

研究问题

• RQ1 对于哪些参数n, q, w, t，H(n,q,w,t)设计存在？
• RQ2 如何利用多维永久式等组合不变量来枚举A(n,q,w,t)设计的数量？
• RQ3 H-设计、A-设计与已知对象（如MDS码与完美匹配）之间的结构关系为何？
• RQ4 在何种条件下，(n-w)-面集合可被划分为H-设计？
• RQ5 多维永久式能否用于证明无限参数族中H-设计的存在性？

主要发现

• A(n,q,w,t)设计的数量等于邻接数组M(G(n,q,w,t), L)的k维永久式，其中k = (n-t choose n-w) * q^{w-t}。
• H(n,q,w,t)设计的数量等于M(G(n,q,w,t), R)的m维永久式，其中m = (w choose t)。
• H(n,q,n,t)设计恰好对应于Q_q^n中最小距离d = n - t + 1的MDS码。
• A(n,q,n,n-1)设计对应于Q_q^n中的完美团匹配，且当且仅当n = 2^t时，存在汉明距离为3的此类设计。
• 已证明对所有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-设计类别。