[논문 리뷰] Thin circulant matrices and lower bounds on the complexity of some Boolean operators

M. I. Grinchuk, I. S. Sergeev|ArXiv.org|2017. 01. 30.

Coding theory and cryptography참고 문헌 3인용 수 5

한 줄 요약

이 논문은 $(k,l)$-자유 부울 순환행렬의 무게에 대한 새로운 하한을 확립하며, $Ω\left(\frac{k+l}{k^{2}l^{2}}N^{2-\frac{k+l+2}{kl}}\right)$를 도출함으로써 부울 컨볼루션 및 관련 시스템의 단조 회로 복잡도에 대한 향상된 하한을 이끌어냅니다. 이 방법은 극한 조합론과 실수체 $\mathbb{R}$ 위에서의 선형대수학을 활용한 확률적 구성 기법을 융합하여, 단조 회로가 부울 컨볼루션을 계산할 경우 $\Omega(N^2 \log^{-6}N)$의 복잡도를 도출합니다.

ABSTRACT

We prove a lower bound $Ω\left(\frac{k+l}{k^2l^2}N^{2-\frac{k+l+2}{kl}} ight)$ on the maximal possible weight of a $(k,l)$-free (that is, free of all-ones $k imes l$ submatrices) Boolean circulant $N imes N$ matrix. The bound is close to the known bound for the class of all $(k,l)$-free matrices. As a consequence, we obtain new bounds for several complexity measures of Boolean sums' systems and a lower bound $Ω(N^2\log^{-6} N)$ on the monotone complexity of the Boolean convolution of order $N$.

연구 동기 및 목표

• $(k,l)$-자유 부울 순환행렬의 최대 무게에 대한 더 강력한 하한을 확립하기 위해.
• 부울 컨볼루션 및 부울 합계의 시스템에 대한 단조 회로 복잡도에 대한 향상된 하한을 유도하기 위해.
• 순환행렬 구성 기반으로 자란키에비츠 문제를 회로 복잡도와 연결하기 위해.
• 기존 문헌에서의 단조 회로 복잡도에 대한 이전 하한을 초월하기 위해.

제안 방법

• 서로 다른 $x_i$ 및 $y_j$ 값을 가진 $k+l$-튜플인 직사각형을 정의하고, 그 합집합 크기 $m(E)$를 분석하기 위해.
• 선형대수학을 사용하여 $x_r + y_s = x_u + y_v$ 방정식의 해공간 $T_E$를 정의하고, 차원 $n(E)$를 정의하기 위해.
• 레마 1을 적용하여 $C(E) \cap \{0,\dots,N-1\}^{k+l}$ 내의 정수 직사각형 수를 $N^{n(E)}$로 하한화하기 위해.
• 레마 2를 사용하여 고정된 $n(E)$를 가진 동치류 $C(E)$의 수를 이항계수 추정에 기반해 하한화하기 위해.
• 확률적 방법을 적용: 순환행렬에 무작위로 원소를 할당하고, $k \times l$ 전부가 1인 부분행렬을 포함할 확률을 하한화하기 위해.
• 예상되는 악성 직사각형의 수를 제어하기 위해 $p = \left(\frac{k+l}{ek^2l^2}\right)N^{-\rho(k,l)}$로 설정하여, $(k,l)$-자유 행렬이 높은 확률로 존재하도록 보장하기 위해.

실험 결과

연구 질문

• RQ1 $(k,l)$-자유 $N \times N$ 부울 순환행렬의 최대 무게는 얼마인가요?
• RQ2 순환행렬의 구조는 부울 합계 시스템의 복잡도에 어떻게 영향을 미치나요?
• RQ3 극한 행렬 구성에서 유도된 개선된 단조 회로 복잡도 하한을 도출할 수 있나요?
• RQ4 자란키에비츠 문제와 단조 설정에서의 회로 복잡도 사이의 관계는 무엇인가요?
• RQ5 부울 컨볼루션의 복잡도는 알려진 상한 및 하한과 비교해 어떻게 되나요?

주요 결과

• $\Omega\left(\frac{k+l}{k^2l^2}N^{2 - \frac{k+l+2}{kl}}\right)$의 무게를 가진 $(k,l)$-자유 $N \times N$ 순환행렬이 존재합니다.
• $k = l = \Theta(\log N)$일 경우, 행렬의 무게는 $\Omega(N^2 \log^{-3}N)$입니다.
• 부울 컨볼루션의 단조 회로 복잡도는 $\Omega(N^2 \log^{-6}N)$이며, 특히 $\{\vee,\wedge\}$-회로에서의 논리합기수의 수를 의미합니다.
• 깊이-2 레크티파이어 회로를 통한 부울 합계 시스템의 복잡도는 $\Omega(N^2 \log^{-4}N)$입니다.
• 비율 $\lambda(N) = \Omega\left(\frac{N}{(\log N)^6 \log \log N}\right)$이며, 이는 이전의 하한을 초월합니다.
• 하한 $\Omega(N^2 \log^{-6}N)$는 자명한 $O(N^2)$ 상한에 매우 가까워, 단조 복잡도에 대해 강력한 하한을 시사합니다.