arXiv++ Combinatorics

The notion of $(k,m)$-agreeable society was introduced by Deborah Berg et al.: a family of convex subsets of $\R^d$ is called $(k,m)$-agreeable if any subfamily of size $m$ contains at least one non-empty $k$-fold intersection. In that paper, the $(k,m)$-agreeability of a convex family was shown to imply the existence of a subfamily of size $βn$ with non-empty intersection, where $n$ is the size of the original family and $β\in[0,1]$ is an explicit constant depending only on $k,m$ and $d$. The quantity $β(k,m,d)$ is called the minimal \emph{agreement proportion} for a $(k,m)$-agreeable family in $\R^d$. If we only assume that the sets are convex, simple examples show that $β=0$ for $(k,m)$-agreeable families in $\R^d$ where $k<d$. In this paper, we introduce new techniques to find positive lower bounds when restricting our attention to families of $d$-boxes, i.e. cuboids with sides parallel to the coordinates hyperplanes. We derive explicit formulas for the first non-trivial case: the case of $(2,3)$-agreeable families of $d$-boxes with $d\geq 2$.

Toda proved in 1989 that the (discrete) polynomial time hierarchy, $\mathbf{PH}$, is contained in the class $\mathbf{P}^{#\mathbf{P}}$, namely the class of languages that can be decided by a Turing machine in polynomial time given access to an oracle with the power to compute a function in the counting complexity class $#\mathbf{P}$. This result which illustrates the power of counting is considered to be a seminal result in computational complexity theory. An analogous result in the complexity theory over the reals (in the sense of Blum-Shub-Smale real machines) has been missing so far. In this paper we formulate and prove a real analogue of Toda's theorem. Unlike Toda's proof in the discrete case, which relied on sophisticated combinatorial arguments, our proof is topological in nature. As a consequence of our techniques we are also able to relate the computational hardness of two extremely well-studied problems in algorithmic semi-algebraic geometry -- namely the problem of deciding sentences in the first order theory of the reals with a constant number of quantifier alternations, and that of computing Betti numbers of semi-algebraic sets. We obtain a polynomial time reduction of the compact version of the first problem to the second. This latter result might be of independent interest to researchers in algorithmic semi-algebraic geometry.