[논문 리뷰] On Condensation of Block Sensitivity, Certificate Complexity and the $\mathsf{AND}$ (and $\mathsf{OR}$) Decision Tree Complexity

Sai Soumya Nalli, Karthikeya Polisetty외 1명|arXiv (Cornell University)|2026. 02. 01.

Complexity and Algorithms in Graphs인용 수 0

한 줄 요약

이 논문은 변수 제한 하에서 block sensitivity, certificate complexity, 그리고 AND/OR 결정 트리 복잡도에 대한 incondensability 결과를 보이고, 또한 Fourier sparsity에 대한 약한 condensation를 확립한다. Rubinstein-유사 함수를 구성하여 손실 없는 condensation의 한계를 보이고 관련 지표를 분석한다.

ABSTRACT

Given an $n$-bit Boolean function with a complexity measure (such as block sensitivity, query complexity, etc.) $M(f) = k$, the hardness condensation question asks whether $f$ can be restricted to $O(k)$ variables such that the complexity measure is $Ω(k)$? In this work, we study the condensability of block sensitivity, certificate complexity, AND (and OR) query complexity and Fourier sparsity. We show that block sensitivity does not condense under restrictions, unlike sensitivity: there exists a Boolean function $f$ with query complexity $k$ such that any restriction of $f$ to $O(k)$ variables has block sensitivity $O(k^{\frac{2}{3}})$. This answers an open question in Göös, Newman, Riazanov, and Sokolov (2024) in the negative. The same function yields an analogous incondensable result for certificate complexity. We further show that $\mathsf{AND}$(and $\mathsf{OR}$) decision trees are also incondensable.

연구 동기 및 목표

• 주요 불 대수 함수 복잡도 지표가 원래 지표가 k일 때 O(k) 변수로의 제한 하에서 응결하는지 조사한다.
• Rubinstein-유사 구성으로 block sensitivity와 certificate complexity의 비응결성(incondensability) 결과를 보인다.
• AND/OR 결정 트리 복잡도와 Fourier sparsity에 대한 약한 응결 결과를 보인다.

제안 방법

• k^4 변수에 대한 Modified Rubinstein 함수를 k^2 개의 베이스 함수를 k^2 변수에서 OR로 구성하여 생성한다.
• s(f,x), bs(f,x), 와 C(f,x)를 분석하여 제한 하에서 그 값을 상한하고 응집된 측정치들의 상한을 도출한다.
• AND/OR 결정 트리 복잡도를 0-결정 트리 깊이 D0(f)와 연관시키고 적대 전략을 사용하여 incondensability를 입증한다.
• 집합계 시스템 동형화 기법을 적용하여 O(k^2) 변수로 제한함으로써 Fourier sparsity에 대한 약한 condensation 결과를 얻는다.

실험 결과

연구 질문

• RQ1 블록 민감도와 certificate complexity가 Omega(k)를 보존하면서 O(k) 변수로의 제한 하에서 응결하는가?
• RQ2 변수 제한 하에서 AND/OR 결정 트리 복잡도는 비응결성인가?
• RQ3 제한 하에서 Fourier sparsity가 어떤 형태의 응결을 허용하는가?

주요 결과

• k^4 변수에서 bs가 k^3인 함수가 존재하며, 어떤 제한이 O(k^3)일 때도 bs가 최대 O(k^2)로 감소한다.
• 동일한 구성은 비교적 유사한 제한에서 certificate complexity에 대한 비응결성(incondensability) 결과를 산출한다.
• D∧ = k (및 D∨ = k)인 AND-쿼리 복잡도를 갖는 불 함수가 존재하여 k 변수로의 제한에서 D∧ ≤ ~O(k^{3/4})(및 OR에 대해서도 마찬가지)로 감소한다.
• Fourier sparsity는 약한 응결의 형식을 허용한다: sparsity를 k로 보존하는 O(k^2) 변수로의 제한이 존재한다.