[論文レビュー] On Condensation of Block Sensitivity, Certificate Complexity and the $\mathsf{AND}$ (and $\mathsf{OR}$) Decision Tree Complexity

Sai Soumya Nalli, Karthikeya Polisetty+1 more|arXiv (Cornell University)|Feb 1, 2026

Complexity and Algorithms in Graphs被引用数 0

ひとこと要約

この論文は、可変制限の下でブロック感度、証明複雑性、および AND/OR の決定木の複雑性の凝縮不能性を示し、さらに Fourier 脈動性の弱い凝縮を確立します。lossless な凝縮の限界を示す Rubinstein に似た函数を構築し、関連指標を分析します。

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 に似た構成を用いてブロック感度と証明複雑性の凝縮不能性を示す。
• AND/OR 決定木の複雑性に対する凝縮不能性と Fourier 脈動性の弱い凝縮結果を示す。

提案手法

• k^4 変数上の Modified Rubinstein 関数を、k^2 個の基本関数の k^2 個のコピーの OR として構築する。
• f,x に対する s(f,x)、bs(f,x)、C(f,x) を分析し、制限下での値を境界付け、凝縮指標の上界を導く。
• AND/OR 決定木の複雑性を 0-決定木深さ D0(f) に関連づけ、対戦戦略を用いて凝縮不能性を証明する。
• 集合系同型の手法を適用して、O(k^2) 変数へ制限することで Fourier 脈動性の弱い凝縮結果を得る。

実験結果

リサーチクエスチョン

• RQ1 ブロック感度と証明複雑性は、Omega(k) 複雑性を保ったまま O(k) 変数への制限で凝縮することができるか？
• RQ2 変数制限の下で AND/OR 決定木の複雑性は凝縮不能か？
• RQ3 Fourier 脈動性は制限下で何らかの凝縮の形を許容するか？

主な発見

• k^4 変数上でブロック感度が k^3 の関数があり、任意の制限を O(k^3) 変数へすると bs が最大で O(k^2) になる。
• 同じ構成により、 Comparable な制限下で証明複雑性の凝縮不能性が得られる。
• AND-クエリ複雑性 D∧ = k（D∨ = k）を有するブール関数があり、任意の k 変数への制限では D∧ ≤ ~O(k^{3/4})（OR も同様）になる。
• Fourier 脈動性は弱い形の凝縮を認める：O(k^2) 変数への制限でスパース性を保持する。