[논문 리뷰] On Linear Index Coding for Random Graphs

Ishay Haviv, Michael Langberg|arXiv (Cornell University)|2011. 07. 02.

Cooperative Communication and Network Coding참고 문헌 14인용 수 6

한 줄 요약

이 논문은 유한체 F 위에서의 에르되시-레니 공작 그래프 G(n, p)에 대한 선형 색인 코드의 최소 길이를 연구한다. 국소적으로 디코딩 가능한 및 저밀도 색인 코드라는 두 가지 제한된 모델을 도입하고, 상수 p와 고정된 체 F에 대해 G(n, p)의 minrank가 거의 확실히 Ω(√n)임을 증명한다. 쿼리 또는 희박성 제약 조건 하에서는 더 강력한 ω(√n) 하한을 얻으며, 이는 저밀도 코드에 대한 하한 개선이 √n 장벽을 극복하는 데 충분하다는 것을 보여준다.

ABSTRACT

A sender wishes to broadcast an n character word x in F^n (for a field F) to n receivers R_1,...,R_n. Every receiver has some side information on x consisting of a subset of the characters of x. The side information of the receivers is represented by a graph G on n vertices in which {i,j} is an edge if R_i knows x_j. In the index coding problem the goal is to encode x using a minimum number of characters in F in a way that enables every R_i to retrieve the ith character x_i using the encoded message and the side information. An index code is linear if the encoding is linear, and in this case the minimum possible length is known to be equal to a graph parameter called minrank (Bar-Yossef et al., FOCS'06). Several bounds on the minimum length of an index code for side information graphs G were shown in the study of index coding. However, the minimum length of an index code for the random graph G(n,p) is far from being understood. In this paper we initiate the study of the typical minimum length of a linear index code for G(n,p) over a field F. First, we prove that for every constant size field F and a constant p, the minimum length of a linear index code for G(n,p) over F is almost surely Omega(\sqrt{n}). Second, we introduce and study the following two restricted models of index coding: 1. A locally decodable index code is an index code in which the receivers are allowed to query at most q characters from the encoded message. 2. A low density index code is a linear index code in which every character of the word x affects at most q characters in the encoded message. Equivalently, it is a linear code whose generator matrix has at most q nonzero entries in each row.

연구 동기 및 목표

• 고정된 유한체 F 위에서의 무작위 그래프 G(n, p)에 대한 선형 색인 코드의 일반적인 최소 길이를 이해하는 것.
• 더 강력한 minrank 하한을 유도하기 위해 국소적으로 디코딩 가능한 및 저밀도 색인 코드라는 두 가지 제한된 모델을 도입하고 분석하는 것.
• 저밀도 색인 코드에 대한 하한 개선이 일반 선형 색인 코드의 Ω(√n) 장벽을 극복하는 데 충분한지 보여주는 것.
• 국소적으로 디코딩 가능한 색인 코딩에서 쿼리 복잡도와 코드 길이 간의 관계를 조사하는 것.

제안 방법

• 상수 p와 고정된 체 F에 대해, 확률론적 및 극적 조합 기법을 사용하여 G(n, p)의 minrank가 거의 확실히 Ω(√n)임을 증명한다.
• 수신자가 인코딩된 메시지에서 최대 q개의 위치를 쿼리하는 국소적으로 디코딩 가능한 색인 코드를 도입하고, q = eΩ(n^{1/3})일 때 코드 길이에 대해 eΩ(n/q)의 하한을 도출한다.
• 각 입력 기호가 최대 q개의 출력 기호에 영향을 주는 저밀도 색인 코드를 도입하며, 이는 각 행에 최대 q개의 비영원소를 가진 생성 행렬에 해당한다.
• 생성 행렬의 행 공간 내에서 k-의존 집합의 1-교차 가족의 재귀적 구성법을 적용하여 하한을 도출한다.
• 가능한 생성 행렬에 대한 유니온 바운드를 적용하고, 생성 행렬의 스팬에 속하는 어떤 코드워드에 의해 모든 정점가 만족될 확률을 추정한다.
• 모든 일반 선형 코드에 대한 ω(√n) 하한이 저밀도 코드에 대해 q = ω(1)일 때 존재한다면, 이는 일반 선형 코드에 대해서도 해당 하한이 존재함을 보여주는 감소를 활용한다.

실험 결과

연구 질문

• RQ1 고정된 유한체 F 위에서의 무작위 그래프 G(n, p)에 대한 선형 색인 코드의 일반적인 최소 길이는 무엇인가?
• RQ2 G(n, p)에 대해 국소적으로 디코딩 가능한 색인 코드는 일반 선형 코드보다 더 짧은 길이를 달성할 수 있는가? 그리고 쿼리 복잡도는 이에 어떻게 영향을 미치는가?
• RQ3 저밀도 색인 코드에 대해 ω(√n) 하한을 확립하는 것이 G(n, p)에 대한 일반 minrank 하한을 향상시키는 데 충분한가?
• RQ4 q = 2 및 q = 3일 때, G(n, p)에 대한 저밀도 색인 코드의 길이에 대해 가장 날카로운 하한은 무엇인가?
• RQ5 저밀도 제약 조건 하에서, 작은 ε > 0에 대해 G(n, p)의 minrank가 n^{1−ε} 또는 n^{2/3−ε}로 아래로 유계일 수 있는가?

주요 결과

• 모든 상수 p와 고정된 유한체 F에 대해, G(n, p)의 minrank는 거의 확실히 Ω(√n)이며, 이는 선형 색인 코드 길이에 대한 기초 하한을 설정한다.
• q = eΩ(n^{1/3}) 쿼리로 국소적으로 디코딩 가능한 색인 코드에 대해, 최소 길이는 거의 확실히 eΩ(n/q)이며, 이는 q = o(√n)일 때 ω(√n) 하한을 의미한다.
• q = 2인 저밀도 색인 코드에 대해, 최소 길이는 충분히 작은 p에 대해 임의의 ε > 0에 대해 거의 확실히 n^{1−ε} 이상이다.
• q = 3인 저밀도 색인 코드에 대해, 최소 길이는 충분히 작은 p에 대해 임의의 ε > 0에 대해 거의 확실히 n^{2/3−ε} 이상이다.
• q = ω(1)일 때 저밀도 색인 코드에 대해 ω(√n) 하한이 존재한다면, 이는 일반 선형 색인 코드에 대해서도 해당 하한이 존재함을 의미하므로, 이 모델은 향후 향상의 핵심 대상이 된다.
• 충분히 작은 p와 고정된 ε > 0에 대해, n이 증가함에 따라 (q, ℓ)-저밀도 색인 코드가 G(n, p)에 존재할 확률은 지수적으로 0으로 수렴한다.