[논문 리뷰] Set Families with Low Pairwise Intersection

Calvin Beideman, Jeremiah Blocki|arXiv (Cornell University)|2014. 04. 17.

Cryptography and Data Security참고 문헌 4인용 수 3

한 줄 요약

이 논문은 수론 기법과 라마누잔 소수를 활용하여 약한 $(n, \theta, \nu)$-공유 집합 가족의 명시적 구성법을 제시한다. $n = 4\theta^2\ln 4\theta$ 일 때, 가족의 크기는 $(2\theta \ln 2\theta)^{\nu+1}$이며, 이는 라즈 등이 제시한 비명시적 구성법의 성능을 정확히 따라간다. 이 구성법은 저메모리, 병렬가능한 가짜난수 생성기 구현을 가능하게 하며, 다양한 매개변수 설정에서 이러한 가족의 최대 크기에 대한 날카운 경계를 설정한다.

ABSTRACT

A $\left(n,\ell,γ ight)$-sharing set family of size $m$ is a family of sets $S_1,\ldots,S_m\subseteq [n]$ s.t. each set has size $\ell$ and each pair of sets shares at most $γ$ elements. We let $m\left(n,\ell,γ ight)$ denote the maximum size of any such set family and we consider the following question: How large can $m\left(n,\ell,γ ight)$ be? $\left(n,\ell,γ ight)$-sharing set families have a rich set of applications including the construction of pseudorandom number generators and usable and secure password management schemes. We analyze the explicit construction of Blocki et al using recent bounds on the value of the $t$'th Ramanujan prime. We show that this explicit construction produces a $\left(4\ell^2\ln 4\ell,\ell,γ ight)$-sharing set family of size $\left(2 \ell \ln 2\ell ight)^{γ+1}$ for any $\ell\geq γ$. We also show that the construction of Blocki et al can be used to obtain a weak $\left(n,\ell,γ ight)$-sharing set family of size $m$ for any $m >0$. These results are competitive with the inexplicit construction of Raz et al for weak $\left(n,\ell,γ ight)$-sharing families. We show that our explicit construction of weak $\left(n,\ell,γ ight)$-sharing set families can be used to obtain a parallelizable pseudorandom number generator with a low memory footprint by using the pseudorandom number generator of Nisan and Wigderson. We also prove that $m\left(n,n/c_1,c_2n ight)$ must be a constant whenever $c_2 \leq \frac{2}{c_1^3+c_1^2}$. We show that this bound is nearly tight as $m\left(n,n/c_1,c_2n ight)$ grows exponentially fast whenever $c_2 > c_1^{-2}$.

연구 동기 및 목표

• 가짜난수 생성 및 암호관리에 활용할 수 있는 약한 $(n, \theta, \nu)$-공유 집합 가족에 대한 명시적이고 효율적인 구성법 개발.
• 최근의 라마누잔 소수에 대한 경계를 활용하여 블록리 등이 제안한 구성법을 분석하여 날카운 매개변수 간 상호교환 관계 확립.
• 만약 $c_2 \leq 2/(c_1^3 + c_1^2)$ 이면 $m(n, n/c_1, c_2 n)$ 이 상수임을 증명하고, $c_2 > 1/c_1^2$ 이면 지수적으로 증가함을 보여, 가족 크기의 임계 행동을 규명.
• 약한 집합 가족에 대해, 명시적 구성법이 라즈 등이 제시한 비명시적 구성법의 성능을 정확히 따라간다는 것을 입증.
• 다양한 매개변수 설정에서 쌍별 교차가 제한된 집합 가족의 최대 크기에 대한 날카운 점근적 경계 제공.

제안 방법

• 최근에 확립된 $t$-번째 라마누잔 소수에 대한 경계를 활용하여, 블록리 등이 제안한 $(n, \theta, \nu)$-공유 집합 가족의 명시적 구성법을 분석.
• 임의의 잔류류에 대한 랜덤 선택 과정을 통해 $n = 4\theta^2 \ln 4\theta$ 일 때, 크기가 $(2\theta \ln 2\theta)^{\nu+1}$ 인 약한 $(n, \theta, \nu)$-공유 집합 가족을 구성.
• 체르노프 경계와 유니온 경계를 활용하여 산술급수에서 랜덤으로 집합을 선택할 경우, 쌍별 교차가 최대 $\nu$ 이하가 되는 확률이 양수임을 보임.
• 니산-위그너드라 프레임워크를 적용하여 구성된 집합 가족으로부터 병렬가능한 가짜난수 생성기를 구축하고, 작은 회로를 통한 명시적 인덱스 계산을 통해 저메모리 사용 가능.
• 극한 조합론과 확률적 방법을 활용하여, 특히 $\theta = n/c_1$ 및 $\nu = c_2 n$ 일 때의 조밀한 매개변수 설정에서 $m(n, \theta, \nu)$ 의 상한 및 하한 경계를 증명.
• 소수의 곱에 기반한 구성적 방법을 활용하여 쌍별 최대공약수가 제한된 정수를 선택하고, 집합 가족 크기의 극한 경계 유도에 기여.

실험 결과

연구 질문

• RQ1 라즈 등이 제시한 비명시적 구성법의 성능을 정확히 따라가는, 약한 $(n, \theta, \nu)$-공유 집합 가족에 대한 명시적 구성법을 설계할 수 있는가?
• RQ2 매개변수 설정이 조밀할 경우, 각 집합의 크기가 $\theta$ 이고, 임의의 두 집합의 교차가 최대 $\nu$ 개의 원소를 가질 때, 집합 가족의 최대 크기 $m(n, \theta, \nu)$ 는 얼마인가?
• RQ3 $m(n, n/c_1, c_2 n)$ 이 $c_1$ 과 $c_2$ 의 함수로 어떻게 행동하는가? 특히 상수 성장과 지수 성장 사이의 임계 영역에서의 행동을 묻는다.
• RQ4 최근의 라마누잔 소수 경계를 활용하여, 블록리 등의 구성법을 엄밀히 분석하여 가족 크기에 대한 명시적이고 날카운 경계를 도출할 수 있는가?
• RQ5 만약 $c_2 \leq 2/(c_1^3 + c_1^2)$ 이면 상한 $m(n, n/c_1, c_2 n) = \text{const}$ 는 날카로운가? 그리고 $c_2$ 가 증가함에 따라 가족 크기가 어떻게 지수적으로 증가하는가?

주요 결과

• 약한 $(n, \theta, \nu)$-공유 집합 가족의 크기가 $(2\theta \ln 2\theta)^{\nu+1}$ 인 명시적 구성법이 $n = 4\theta^2 \ln 4\theta$ 일 때 확립되었으며, 이는 약한 가족에 대해 라즈 등이 제시한 비명시적 구성법의 성능을 정확히 따라간다.
• 작은 회로를 통한 명시적 인덱스 계산을 통해 실시간으로 집합 인덱스를 계산함으로써, 저메모리 사용이 가능한 병렬가능한 가짜난수 생성기를 가능하게 한다.
• 모든 $c_2 \leq 2/(c_1^3 + c_1^2)$ 에 대해 $m(n, n/c_1, c_2 n)$ 이 상수임을 증명하여, 상수 크기의 가족에 대한 날카운 임계점을 확립한다.
• 만약 $c_2 > 1/c_1^2$ 이면, 가족 크기 $m(n, n/c_1, c_2 n)$ 는 지수적으로 증가함을 보여, 상한 경계가 거의 날카로운 것으로 확인된다.
• 논문은 $\theta \geq \nu+1$ 일 때 $m(n, \theta, \nu) \geq m(n, \theta+1, \nu)$ 임을 증명하여, $\nu \leq n/2$ 이면 최대 크기 가족이 $\theta = \nu+1$ 에서 도달되며, $\nu \geq n/2$ 이면 $\theta = \nu$ 에서 도달됨을 보여, 각각 ${n \choose \nu+1}$ 과 ${n \choose \nu}$ 의 값을 가짐을 규명한다.
• 모듈로 $c_1$ 의 잔류류를 활용한 랜덤 구성법은 $\nu > n/c_1^2$ 일 때 지수 크기의 $(n, \theta, \nu)$-공유 집합 가족을 생성하며, 비율이 양수임을 보여 비존재하지 않는 가족이 존재하지 않음을 입증한다.