Any monotone property of 3-uniform hypergraphs is weakly evasive

For a Boolean function f, let D ( f ) denote its deterministic decision tree complexity, i.e., minimum number of (adaptive) queries required in worst case in order to determine f. In a classic paper, Rivest and Vuillemin 11] show that any non-constant monotone property P : { 0 , 1 } ( n 2 ) ? { 0 , 1 } of n-vertex graphs has D ( P ) = ? ( n 2 ) .We extend their result to 3-uniform hypergraphs. In particular, we show that any non-constant monotone property P : { 0 , 1 } ( n 3 ) ? { 0 , 1 } of n-vertex 3-uniform hypergraphs has D ( P ) = ? ( n 3 ) .Our proof combines the combinatorial approach of Rivest and Vuillemin with the topological approach of Kahn, Saks, and Sturtevant 6]. Interestingly, our proof makes use of Vinogradov's Theorem (weak Goldbach Conjecture), inspired by its recent use by Babai et al. 1] in the context of the topological approach. Our work leaves the generalization to k-uniform hypergraphs as an intriguing open question.

[1]  Ronald L. Rivest,et al.  On Recognizing Graph Properties from Adjacency Matrices , 1976, Theor. Comput. Sci..

[2]  D. Robinson A Course in the Theory of Groups , 1982 .

[3]  Noam Nisan,et al.  On the degree of boolean functions as real polynomials , 2005, computational complexity.

[4]  Andrew Chi-Chih Yao Monotone Bipartite Graph Properties are Evasive , 1988, SIAM J. Comput..

[5]  Zhiqiang Zhang,et al.  Communication Complexities of XOR functions , 2008, ArXiv.

[6]  Michael E. Saks,et al.  Probabilistic Boolean decision trees and the complexity of evaluating game trees , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[7]  Robert Oliver,et al.  Fixed-point sets of group actions on finite acyclic complexes , 1975 .

[8]  Michael E. Saks,et al.  A topological approach to evasiveness , 1984, Comb..

[9]  K. F. Roth,et al.  The Method of Trigonometrical Sums in the Theory of Numbers , 2004 .

[10]  Zhiqiang Zhang,et al.  On the parity complexity measures of Boolean functions , 2010, Theor. Comput. Sci..

[11]  Eyal Kushilevitz,et al.  Learning Decision Trees Using the Fourier Spectrum , 1993, SIAM J. Comput..

[12]  Subhash Khot,et al.  Evasiveness of Subgraph Containment and Related Properties , 2001, SIAM J. Comput..

[13]  Raghav Kulkarni Evasiveness through a circuit lens , 2013, ITCS '13.

[14]  H. Buhrman,et al.  Complexity measures and decision tree complexity: a survey , 2002, Theor. Comput. Sci..

[15]  Frank H. Lutz Some Results Related to the Evasiveness Conjecture , 2001, J. Comb. Theory, Ser. B.

[16]  Noam Nisan,et al.  Constant depth circuits, Fourier transform, and learnability , 1993, JACM.

[17]  Raghav Kulkarni,et al.  Evasiveness and the Distribution of Prime Numbers , 2010, STACS.

[18]  Miklos Santha,et al.  Query Complexity of Matroids , 2013, CIAC.

[19]  László Lovász,et al.  Lecture Notes on Evasiveness of Graph Properties , 2002, ArXiv.

[20]  Thomas P. Hayes,et al.  The Quantum Black-Box Complexity of Majority , 2002, Algorithmica.

[21]  C. Haselgrove,et al.  Some Theorems in the Analytic Theory of Numbers , 1951 .

[22]  Ryan O'Donnell,et al.  Every decision tree has an influential variable , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[23]  Ashley Montanaro,et al.  On the communication complexity of XOR functions , 2009, ArXiv.