[논문 리뷰] Outlaw distributions and locally decodable codes

Jop Briët, Zeev Dvir외 1명|arXiv (Cornell University)|2016. 09. 20.

Coding theory and cryptography인용 수 4

한 줄 요약

이 논문은 '불량 분포'(outlaw distributions)를 소개한다. 이는 표본 수가 적을 때 기댓값을 근사하기가 어려운 부드러운 부울 함수 위의 확률 분포로, 이를 통해 일정 쿼리 수를 가지는 국소적으로 디코딩 가능한 코드(LDCs)의 존재성과 연결된다. 이 논문은 이러한 불량 분포가 O(1)-쿼리 LDC의 존재를 암시함을 증명하며, 유한 기하학, 가군수학 및 초그래프 비확산성에서의 구성 방법을 제공한다. 특히 새로운 '젠가 초그래프' 프레임워크를 도입하여, 지수적 길이보다 작은 길이를 가지며 일정한 쿼리 복잡도를 갖는 새로운 LDC를 도출한다.

ABSTRACT

Locally decodable codes (LDCs) are error correcting codes that allow for decoding of a single message bit using a small number of queries to a corrupted encoding. Despite decades of study, the optimal trade-off between query complexity and codeword length is far from understood. In this work, we give a new characterization of LDCs using distributions over Boolean functions whose expectation is hard to approximate (in~$L_\infty$~norm) with a small number of samples. We coin the term `outlaw distributions' for such distributions since they `defy' the Law of Large Numbers. We show that the existence of outlaw distributions over sufficiently `smooth' functions implies the existence of constant query LDCs and vice versa. We give several candidates for outlaw distributions over smooth functions coming from finite field incidence geometry, additive combinatorics and from hypergraph (non)expanders. We also prove a useful lemma showing that (smooth) LDCs which are only required to work on average over a random message and a random message index can be turned into true LDCs at the cost of only constant factors in the parameters.

연구 동기 및 목표

• 확률적 및 기하학적 개념을 사용하여 국소적으로 디코딩 가능한 코드(LDCs)의 새로운 특성화를 수립하기 위해.
• 표본 수가 적을 때 기댓값을 근사하기가 어려운 분포를 '불량 분포'로 정의하여 대수의 법칙을 위반하는 분포를 정의하기 위해.
• 부드러운 함수 위에 존재하는 이러한 분포의 존재가 일정 쿼리 수를 가지는 LDC의 존재를 암시함을 보여주기 위해.
• 유한체의 입사 기하학, 가군수학 및 초그래프 비확산성에서의 구체적 구성 방법을 통해 불량 분포를 제공하기 위해.
• 비준확률적 초그래프를 생성할 수 있는 도구로 '젠가 초그래프' 프레임워크를 도입하여 새로운 LDC를 도출하기 위해.

제안 방법

• 이산 도함수의 스펙트럴 노름이 작은 함수를 σ-부드러운 함수로 정의하여 영향력 있는 변수가 없음을 보장하기 위해.
• 기댓값을 L∞-노름 오차 범위 내에서 근사하기 위해 Ω(k)개의 표본이 필요한 분포를 '불량 분포'로 도입하기 위해.
• σ-부드러운 함수 위의 분포가 불량일 경우, 코드어 길이가 exp(Ω(k))인 O(1)-쿼리 LDC를 유도함을 증명하기 위해.
• 젠가 초그래프 모델을 사용: t-균일 초그래프가 (k,ε)-젠가이면, 간선 집합을 분할한 후 무작위로 k개의 매칭을 선택할 때, 비-ε-준확률적 부분그래프가 확률 ≥1/2로 생성됨을 의미함.
• 정점 복제체 위에서 다항식 함수를 정의하고 그 기댓값에서의 L∞-노름 이탈을 분석함으로써 초그래프에서 LDC를 구성하기 위해.
• 집중 및 준확률성 추론을 적용하여 비준확률성은 함수 기댓값의 큰 이탈을 암시함을 보이고, 이를 바탕으로 LDC를 구성하기 위해.

실험 결과

연구 질문

• RQ1 표본 수가 적을 때 추정이 어려운 부드러운 부울 함수 위의 분포를 통해 국소적으로 디코딩 가능한 코드를 특성화할 수 있는가?
• RQ2 무작위 매칭을 선택할 때 비준확률적 부분그래프를 생성하는 초그래프의 구조적 성질은 무엇인가?
• RQ3 젠가 초그래프 모델은 일정 쿼리 수를 가지는 LDC의 존재성과 어떻게 관련이 있는가?
• RQ4 t-균일 초그래프가 (k,ε)-젠가 상태를 유지할 수 있는 최대 매칭 수 k는 얼마이며, 이는 n에 대해 어떻게 척도화되는가?
• RQ5 기존의 조합적 구조, 예를 들어 유한 기하학이나 매칭 벡터 체계를 사용하여 불량 분포를 구성할 수 있는가?

주요 결과

• σ-부드러운 함수 위의 불량 분포는 코드어 길이가 exp(Ω(k))인 O(1)-쿼리 국소적으로 디코딩 가능한 코드의 존재를 암시한다.
• 만약 (k,ε)-젠가인 t-균일 초그래프가 존재한다면, 메시지 길이 l = Ω(ε²k/t⁴ log(t²/ε))인 (t,1,Ω(ε/t²))-LDC가 존재하며, 코드어 길이는 tn이다.
• t=2(그래프)인 경우, κJ(n,2,ε) = Θ(log n)이며, 이는 무작위 카일리 그래프에서 알려진 결과와 일치하며, 히드라드 코드의 파rameters를 갖는 2-쿼리 LDC를 도출한다.
• Fₘᵖ 위의 p-균일 초그래프에서 간선이 비자명한 직선인 경우, 어떤 ε = ε(p)에 대해 (mᵖ⁻¹, ε)-젠가이다. 이 ε는 오직 p에만 의존한다.
• (k,ε)-젠가 초그래프의 존재는 젠가 프레임워크를 통해 지수적 길이를 가지지 않는 LDC의 존재를 암시하며, 일정한 쿼리 복잡도를 유지한다.
• 핵심 보조정리는 평균적 LDC를 진정한 LDC로 변환할 수 있으며, 이때 파라미터에 대한 손실은 상수 요소만 존재한다.