[논문 리뷰] On the multidimensional permanent and q-ary designs

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

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-분할 초그래프 구조에서 유도된 인cidenc 배열의 다차원 행렬식과 일치함을 규명한다.

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-설계를 이용하여 스티너 시스템과 t-설계를 q-아리 초입방형 프레임워크로 일반화하기.
• 이러한 설계의 존재성과 수세기와 인cidenc 배열의 다차원 행렬식 사이의 연결 고리 확립하기.
• 특정 매개변수 집합에 대해 H- 및 A-설계를 생성하는 구축 방법 제공하기.
• 이 설계들과 MDS 코드, 완전 매칭, 클리크 매칭과 같은 알려진 조합적 구조물 간의 관계 탐구하기.
• 특히 코드 거리와 초그래프 구조와 관련하여 H-설계 또는 A-설계로의 분할 존재 조건 규명하기.

제안 방법

• H(n,q,w,t) 및 A(n,q,w,t) 설계를 무게가 지정된 Q_{q*}^n 내의 코드워드 부분집합으로 모델링하며, *는 누락된 좌표를 나타낸다.
• H-설계를 (n-w)-면의 집합으로 정의하며, 각 (n-t)-면을 정확히 한 번만 관통하도록 한다. A-설계를 (n-t)-면의 집합으로 정의하며, 각 (n-w)-면을 정확히 한 번만 덮도록 한다.
• L = Q_q^n(w) 및 R = Q_q^n(t)로 구성된 부분집합을 가진 k-분할 초그래프 G(n,q,w,t)로 (n-w)-면과 (n-t)-면 간의 인cidenc 관계를 표현한다.
• 면 간의 인cidenc 수를 코딩하는 인cidenc 배열 M(G,L) 또는 M(G,R)을 구성하고, 유효한 설계의 수를 세기 위해 다차원 행렬식을 사용한다.
• 제안사항 4 및 5를 적용하여 (R,L)-완전 코드(즉, A-설계)의 수가 M(G,L)의 k-차원 행렬식과 같음을 보이며, 동일하게 H-설계의 경우에도 적용된다.
• 인cidenc 배열의 초그래프 완전 매칭과 대각합을 이용하여 다차원 행렬식을 통한 수세기 메커니즘을 체계화한다.

실험 결과

연구 질문

• RQ1 H(n,q,w,t) 설계가 존재하는 매개변수 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) 설계의 수는 k-차원 행렬식인 M(G(n,q,w,t), L)과 같으며, 여기서 k = (n-t choose n-w) * q^{w-t}.
• H(n,q,w,t) 설계의 수는 m-차원 행렬식인 M(G(n,q,w,t), R)과 같으며, 여기서 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 내 완전 클리크 매칭과 일치하며, 해밍 거리가 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-설계로 확장되었다.