Testing Intersecting and Union-Closed Families

November 18, 2023 ยท The Ethereal ยท ๐Ÿ› Information Technology Convergence and Services

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Xi Chen, Anindya De, Yuhao Li, Shivam Nadimpalli, Rocco A. Servedio arXiv ID 2311.11119 Category cs.CC: Computational Complexity Cross-listed cs.DM, cs.DS Citations 3 Venue Information Technology Convergence and Services Last Checked 2 months ago
Abstract
Inspired by the classic problem of Boolean function monotonicity testing, we investigate the testability of other well-studied properties of combinatorial finite set systems, specifically \emph{intersecting} families and \emph{union-closed} families. A function $f: \{0,1\}^n \to \{0,1\}$ is intersecting (respectively, union-closed) if its set of satisfying assignments corresponds to an intersecting family (respectively, a union-closed family) of subsets of $[n]$. Our main results are that -- in sharp contrast with the property of being a monotone set system -- the property of being an intersecting set system, and the property of being a union-closed set system, both turn out to be information-theoretically difficult to test. We show that: $\bullet$ For $ฮต\geq ฮฉ(1/\sqrt{n})$, any non-adaptive two-sided $ฮต$-tester for intersectingness must make $2^{ฮฉ(n^{1/4}/\sqrtฮต)}$ queries. We also give a $2^{ฮฉ(\sqrt{n \log(1/ฮต)})}$-query lower bound for non-adaptive one-sided $ฮต$-testers for intersectingness. $\bullet$ For $ฮต\geq 1/2^{ฮฉ(n^{0.49})}$, any non-adaptive two-sided $ฮต$-tester for union-closedness must make $n^{ฮฉ(\log(1/ฮต))}$ queries. Thus, neither intersectingness nor union-closedness shares the $\mathrm{poly}(n,1/ฮต)$-query non-adaptive testability that is enjoyed by monotonicity. To complement our lower bounds, we also give a simple $\mathrm{poly}(n^{\sqrt{n\log(1/ฮต)}},1/ฮต)$-query, one-sided, non-adaptive algorithm for $ฮต$-testing each of these properties (intersectingness and union-closedness). We thus achieve nearly tight upper and lower bounds for two-sided testing of intersectingness when $ฮต= ฮ˜(1/\sqrt{n})$, and for one-sided testing of intersectingness when $ฮต=ฮ˜(1).$
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Computational Complexity