[논문 리뷰] More on additive triples of bijections

Sean Eberhard|arXiv (Cornell University)|2017. 04. 08.

graph theory and CDMA systems참고 문헌 9인용 수 7

한 줄 요약

이 논문은 이전의 전단사 함수의 덧셈 삼중항에 대한 연구를 확장하여, $G$가 순서 $n$인 아벨 군이고 $f$가 $\sum f(i) = \sum G$를 만족할 때, $\{1,\dots,n\} \to G$로의 전단사 함수의 집합 $S$에서 $\pi_1 + \pi_2 + \pi_3 = f$의 해의 점 游수를 점근적으로 계산한다. 푸리에 분석과 특성 합 추정을 통해, 충돌 엔트로피가 낮은 함수에 대한 편향을 반영하는 특수 급수 $\mathfrak{S}(f)$를 포함한 정밀한 점근적 표현을 유도하며, 네 개 이상의 항수를 가질 경우 합의 분포가 점차 균일해짐을 보인다.

ABSTRACT

We study additive properties of the set $S$ of bijections (or permutations) $\{1,\dots,n\} o G$, thought of as a subset of $G^n$, where $G$ is an arbitrary abelian group of order $n$. Our main result is an asymptotic for the number of solutions to $π_1 + π_2 + π_3 = f$ with $π_1,π_2,π_3\in S$, where $f:\{1,\dots,n\} o G$ is an arbitary function satisfying $\sum_{i=1}^n f(i) = \sum G$. This extends recent work of Manners, Mrazović, and the author. Using the same method we also prove a less interesting asymptotic for solutions to $π_1 + π_2 + π_3 + π_4 = f$, and we also show that the distribution $π_1+π_2$ is close to flat in $L^2$. As in the previous paper, our method is based on Fourier analysis, and we prove our results by carefully carving up $\widehat{G}^n$ and bounding various character sums. This is most complicated when $G$ has even order, say when $G = \mathbf{F}_2^d$. At the end of the paper we explain two applications, one coming from the Latin squares literature (counting transversals in Latin hypercubes) and one from cryptography (PRP-to-PRF conversion).

연구 동기 및 목표

• 홀수 순서 군을 초월하여 $\sum G = 0$를 만족하는 모든 아벨 군으로 덧셈 삼중항 $\pi_1 + \pi_2 + \pi_3 = f$의 점근적 수를 일반화하는 것.
• 함수 $f$의 충돌 엔트로피에 따라 $\pi_1 + \pi_2 + \pi_3$의 분포가 균일성에서 얼마나 떨어지는지 정량화하는 데 특수 급수 $\mathfrak{S}(f)$를 활용하는 것.
• $d \geq 4$개의 항수로 분석을 확장하고, 합의 분포가 점차 균일해지는 것을 보이는 것.
• 두 개의 랜덤 인젝션 $\pi_1 + \pi_2$의 $L^2$-거리에 대한 경계를 설정하여 균일성에 가까운지를 보이는 것.
• 결과를 두 분야에 적용하는 것: 라틴 초입방체 내 전이조수의 수 계산 및 XOR을 통한 PRP에서 PRF로의 변환의 보안 분석.

제안 방법

• 전단사 함수의 집합 $S$와 관련된 특성 합을 분석하기 위해 군 $\widehat{G}^n$에서의 푸리에 분석을 사용한다.
• 이 방법은 $\widehat{G}^n$을 정교하게 분해하고 지수 합을 경계하는 데 중점을 두며, 특히 $G = \mathbf{F}_2^d$인 경우 도전적인 케이스를 다룬다.
• 특수 급수 $\mathfrak{S}(f) = \exp\left(-\frac{1}{2n^2}\sum_{x \in G}|f^{-1}(x)|^2\right)$는 균일한 점근적 수에 대한 수정 요소로 유도된다.
• $d \geq 4$인 경우, $\pi_1 + \cdots + \pi_d = f$의 해의 수에 대해 정량적 경계 $\left(1 + O_d(n^{3-d})\right)n!^d / n^{n-1}$를 증명하여 근사 균일성을 보인다.
• 두 개의 랜덤 인젝션 $\pi_1, \pi_2: \{1,\dots,m\} \to G$의 합에 대해 $O(m/n^{3/2})$의 $L^2$-거리 경계를 도출하여 균일성에 가까운 정도를 보인다.
• 결과는 암호학적 보안 경계(예: XOR 기반 PRF 구조) 및 라틴 초입방체 내 전이조수의 수 계산에 응용된다.

실험 결과

연구 질문

• RQ1 임의의 $f: \{1,\dots,n\} \to G$에 대해 $\sum f(i) = \sum G$를 만족할 때, $\pi_1 + \pi_2 + \pi_3 = f$의 점근적 해의 수는 얼마인가?
• RQ2 $\pi_1 + \pi_2 + \pi_3$의 분포가 균일성에서 얼마나 떨어지는지, 그리고 $f$의 충돌 엔트로피가 그에 미치는 영향은 무엇인가?
• RQ3 $d$가 증가함에 따라 $\pi_1 + \cdots + \pi_d$의 분포는 어떻게 변화하는가? 특히 $d \geq 4$일 경우 어떻게 되는가?
• RQ4 두 개의 랜덤 전단사 함수의 합 $\pi_1 + \pi_2$는 $L^2$ 기준으로 균일 분포에 얼마나 가까운가?
• RQ5 이러한 덧셈 조합론적 결과를 이용해 XOR 기반 PRP에서 PRF로의 변환의 보안 경계를 향상시킬 수 있는가?

주요 결과

• $\pi_1 + \pi_2 + \pi_3 = f$의 덧셈 $f$-삼중항 수는 점근적으로 $\left(\mathfrak{S}(f) + o(1)\right)n!^3 / n^{n-1}$이며, 여기서 $\mathfrak{S}(f) = \exp\left(-\frac{1}{2n^2}\sum_{x \in G}|f^{-1}(x)|^2\right)$이다.
• 특수 급수 $\mathfrak{S}(f)$는 $f$가 상수일 때 $e^{-1/2}$로 최소화되어 고충돌 함수를 약간 피하는 경향을 보인다.
• $d \geq 4$인 경우, $\pi_1 + \cdots + \pi_d = f$의 해의 수는 점근적으로 $\left(1 + O_d(n^{3-d})\right)n!^d / n^{n-1}$로 표현되며, 이는 근사 균일성을 나타낸다.
• $\pi_1 + \pi_2$의 분포와 균일 분포 사이의 $L^2$-거리가 $m$ 요소에 대한 인젝션에 대해 $O(m/n^{3/2})$임을 보이며, 강한 집중성을 의미한다.
• 두 개의 독립된 PRP $\tilde{\pi}_1 + \tilde{\pi}_2$는 $\text{Adv}_{F}^{\text{PRF}}(m) \leq 2\text{Adv}_{E}^{\text{PRP}}(m) + O(m/2^{3d/2})$의 우연의 우수도를 가지며, 보안 경계를 향상시킨다.
• 결과는 $\pi_1 + \cdots + \pi_d = \pi_{d+1}$의 해와의 관련성을 통해 라틴 초입방체 내 전이조수의 정량적 수를 제공한다.