[논문 리뷰] Sensitivity and block sensitivity of nested canalyzing function

Yuan Li, John O. Adeyeye|arXiv (Cornell University)|2012. 09. 07.

Sparse and Compressive Sensing Techniques참고 문헌 7인용 수 3

한 줄 요약

이 논문은 네스티드 캐널라이징 함수(NCFs)의 민감도와 블록 민감도에 대한 정확한 공식을 제공하며, 둘 다 $\frac{n+1}{2}$ 와 $n$ 사이에 있으며, 이 두 경계가 날카로운 경계임을 증명한다. 또한 단조성과 네스티드 캐널라이징 성질을 모두 만족하는 함수를 특성화하고, 다항계수를 통해 그 정확한 개수를 유도한다.

ABSTRACT

Based on a recent characterization of nested canalyzing function (NCF), we obtain the formula of the sensitivity of any NCF. Hence we find that any sensitivity of NCF is between $\frac{n+1}{2}$ and $n$. Both lower and upper bounds are tight. We prove that the block sensitivity, hence the $l$-block sensitivity, is same to the sensitivity. It is well known that monotone function also has this property. We eventually find all the functions which are both monotone and nested canalyzing (MNCF). The cardinality of all the MNCF is also provided.

연구 동기 및 목표

• 모든 네스티드 캐널라이징 함수(NCF)의 민감도에 대한 정확한 공식을 유도하기 위해 고유한 대수적 정규형(ANF)과 층 수를 사용한다.
• 기존에 단조 함수에서만 알려진 성질을 확장하여, 모든 NCF에 대해 블록 민감도가 민감도와 동일함을 증명한다.
• 단조성과 네스티드 캐널라이징 성질을 모두 만족하는 부울 함수의 집합을 특성화하고, 그 정확한 기수를 계산한다.
• NCF의 민감도에 대해 날카로운 경계를 설정하여, $\frac{n+1}{2}$ 에서 $n$ 사이의 범위를 가지며, 양 끝 경계가 달성 가능함을 보인다.
• 층 구조와 변수 프로파일을 활용하여 다항계수를 이용해 MNCFs의 완전한 조합적 특성화를 제공한다.

제안 방법

• 이전 연구에서 규명된 NCF의 고유한 대수적 정규형(ANF)을 활용하며, $ f = M_1(M_2(\cdots(M_r \oplus 1)\oplus 1)\cdots)\oplus b $ 로 표현되며, $ M_i $ 는 변수 또는 그의 보수의 곱이다.
• NCF의 계층적 구조를 결정하는 '층 수' $ r $ 의 개념을 도입한다.
• 각 입력에서의 민감도를 분석하기 위해, 개별 비트를 뒤집을 때 $ M_i $ 의 중첩된 구조를 따라 출력에 미치는 영향을 추적하며, 특히 체인에서 첫 번째 0 비트에 초점을 맞춘다.
• NCF의 계층적 의존성 덕분에 함수 값이 변하는 최소 블록은 항상 단일 비트이므로, 블록 민감도가 민감도와 동일함을 증명한다.
• 층 구조 $[k_1, \dots, k_r]$ 를 고정하여 MNCFs를 세며, $k_i \geq 1$ for $i < r$ 이고 $k_r \geq 2$ 이며, 단조성을 유지하기 위해 일관된 극성 값을 할당한다.
• 각 프로파일에 대해 유효한 변수 할당 수를 다항계수 $ \binom{n}{k_1, \dots, k_r} $ 를 통해 세며, 극성과 출력 값에 대한 4가지 선택을 곱한다.

실험 결과

연구 질문

• RQ1 모든 네스티드 캐널라이징 함수의 정확한 민감도는 무엇이며, 그 날카로운 경계는 무엇인가?
• RQ2 모든 네스티드 캐널라이징 함수에 대해 블록 민감도가 민감도와 동일한가, 단조 함수에서 알려진 성질이 일반화되는가?
• RQ3 부울 함수 중에서 단조성과 네스티드 캐널라이징 성질을 모두 만족하는 함수는 무엇이며, 그 개수는 얼마인가?
• RQ4 NCF의 층 수와 변수 프로파일이 민감도와 단조성에 어떤 영향을 미치는가?
• RQ5 모든 단조 네스티드 캐널라이징 함수의 집합을 완전히 나열할 수 있으며, 그 정확한 기수는 얼마인가?

주요 결과

• 모든 NCF의 민감도는 $\frac{n+1}{2}$ 와 $n$ 사이에 있으며, 이 경계는 날카로우며, 층 수 $ r = n $ 일 때 하한이 달성된다.
• NCF의 모든 경우에 대해 블록 민감도가 민감도와 동일하다: $ bs(f) = s(f) $, 이는 계층적 구조로 인해 최소 블록이 항상 단일 비트여야 하기 때문이다.
• NCF의 민감도는 오직 층 수 $ r $ 에 의존한다: $ r = 1 $ 일 경우 민감도는 $ n $ 이며, $ r > 1 $ 일 경우 첫 번째 값이 뒤집히는 층에 의해 결정된다.
• 모든 단조성과 네스티드 캐널라이징 성질을 동시에 만족하는 함수(MNCFs)는 층 간에 번갈아 극성을 가지며, 홀수 $ i $ 에 대해 $ M_i = \prod (x_j \oplus a) $, $ M_{i+1} = \prod (x_j \oplus \overline{a}) $ 를 만족한다.
• MNCFs의 총 개수는 $ 4 \sum_{\substack{k_1+\cdots+k_r=n \\ k_i\geq1, i<r, k_r\geq2}} \binom{n}{k_1,\dots,k_r} $ 이며, 유효한 층 프로파일에 대한 다항계수로부터 유도된다.
• 기수 공식은 극성의 2가지 선택($ a \in \{0,1\} $)과 출력 값의 2가지 선택($ b \in \{0,1\} $)을 포함하며, 변수 할당은 층 구조에 의해 제약을 받는다.