[논문 리뷰] Limits of Preprocessing

Filmus, Yuval, Ishai, Yuval외 2명|arXiv (Cornell University)|2017. 08. 04.

Complexity and Algorithms in Graphs참고 문헌 9인용 수 9

한 줄 요약

이 논문은 임의의 함수 f: F_q^n → F_q가 Valiant의 산술 회로 하한 프로그램을 위한 충분히 강한 린드리시티를 갖추지 못하는 q^n × q^n 행렬 M(x,y) = f(x+y)를 유도함을 보여준다. Croot-Lev-Pach 보조정리에 의해 이러한 행렬은 최대 N^ε개의 요소만 변경하면 랭크가 N^{1−ε′}인 낮은 랭크 행렬로 근사 가능하다는 것을 보이며, 이는 유한체 위에서 강력한 회로 하한을 증명하는 데에는 충분하지 않다는 것을 의미한다.

ABSTRACT

It is a classical result that the inner product function cannot be computed by an AC⁰ circuit [Merrick L. Furst et al., 1981; Miklós Ajtai, 1983; Johan Håstad, 1986]. It is conjectured that this holds even if we allow arbitrary preprocessing of each of the two inputs separately. We prove this conjecture when the preprocessing of one of the inputs is limited to output n + n/(log^{ω(1)} n) bits. Our methods extend to many other functions, including pseudorandom functions, and imply a (weak but nontrivial) limitation on the power of encoding inputs in low-complexity cryptography. Finally, under cryptographic assumptions, we relate the question of proving variants of the main conjecture with the question of learning AC⁰ under simple input distributions.

연구 동기 및 목표

• f: F_q^n → F_q에 대해 M(x,y) = f(x+y) 형태의 행렬이 Valiant의 산술 회로 하한 프로그램을 위해 충분히 린드리시티가 있는지 조사한다.
• Alman와 Williams의 히어르드라트 행렬에 대한 비린드리시티 결과를 더 넓은 범위의 구조적 행렬, 특히 유한체 위에서의 경우로 확장한다.
• 다항식 유사 행렬의 랭크 구조를 분석함으로써 프리프로세싱 기법의 회로 복잡도에서의 한계를 탐색한다.
• 유한체에서 관찰된 비린드리시티 현상이 유리수나 복소수로 사상하는 함수에게도 동일하게 적용되는지 여부를 규명한다.

제안 방법

• 낮은 차수 다항식 P에 대해 M(x,y) = P(x+y) 형태의 행렬의 랭크를 제한하기 위해 Croot-Lev-Pach (CLP) 보조정리를 사용한다.
• 다항식 근사 접근법을 적용한다: 임의의 함수 f는 모든 입력 중 N^ε개 이외의 곳에서 일치하는 차수 ≤(1−δ)(q−1)n의 다항식 P로 근사 가능하다.
• 차수 ≤⌊d/2⌋인 단항식의 수가 d = (1−δ)(q−1)n일 때 q^{(1−ε')n}으로 증가함을 활용하여 낮은 랭크 근사를 이끌어낸다.
• 벡터 공간의 성질을 이용해 임의의 함수가 최대 N^ε개의 위치에서 수정되어 낮은 차수 다항식과 일치하도록 할 수 있음을 보여준다.
• Chernoff-Hoeffding 추정을 적용하여 낮은 차수 단항식의 집합 크기를 추정하고, 이가 전체 공간에 비해 지수적으로 작다는 것을 보여준다.
• 근사와 랭크 제약 조건을 결합하여 원래 행렬 M이 최대 N^{1+ε}개의 요소에서 낮은 랭크 행렬 L과 다름을 보여준다.

실험 결과

연구 질문

• RQ1 f: F_q^n → F_q에 대해 M(x,y) = f(x+y) 형태의 행렬이 Valiant의 린드리시티 프로그램을 통해 강력한 산술 회로 하한을 증명하는 데 사용될 수 있는가?
• RQ2 히어르드라트 행렬의 비린드리시티는 유한체 위의 구조적 행렬에서 발생하는 더 넓은 현상의 특수한 경우인가?
• RQ3 유한체 위의 임의의 함수가 랭크와 하밍 거리 측면에서 낮은 차수 다항식으로 얼마나 잘 근사될 수 있는가?
• RQ4 비린드리시티 결과는 히어르드라트 행렬의 경우와 마찬가지로 유리수나 복소수 위에서 정의된 행렬로도 확장되는가?
• RQ5 Croot-Lev-Pach 보조정리는 f(x+y) 경우를 초월하여 구조적 행렬의 린드리시티를 체계적으로 제한하는 데 사용될 수 있는가?

주요 결과

• 모든 함수 f: F_q^n → F_q에 대해, M(x,y) = f(x+y) 행렬은 임의의 ε > 0과 충분히 큰 n에 대해 RF_q^M(N^{1−ε′}) ≤ N^{1+ε}를 만족한다.
• 근사 행렬 L(x,y) = P(x+y)의 랭크는 최대 m_{⌊d/2⌋}(q,n)이며, 이는 어떤 ε′ > 0에 대해 N^{1−ε′} 이하로 유계이다.
• f와 P가 다름을 보이는 입력의 수는 최대 N^ε이므로, M과 L은 최대 N^{1+ε}개의 요소에서 다름을 보인다.
• 고정된 q와 ε에 대해 이 결과는 ε′가 δ에 의존하며, 이는 q와 ε에 따라 결정된다.
• 비린드리시티 결과는 CLP 보조정리와 다항식 공간 내 낮은 차수 단항식의 집중 현상의 직접적인 결과이다.
• 논문은 f(x+y) 형태의 행렬 클래스가 유한체 위에서도 Valiant의 프로그램을 뒷받침하기에 충분히 린드리시티가 없음을 보여주며, 이는 프리프로세싱 기반의 회로 하한 증명에 내재된 한계를 시사한다.