• DocumentCode
    3663039
  • Title

    Restrictions of nondegenerate Boolean functions and degree lower bounds over different rings

  • Author

    Chia-Jung Lee;Satyanarayana V. Lokam;Shi-Chun Tsai;Ming-Chuan Yang

  • Author_Institution
    Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan
  • fYear
    2015
  • fDate
    6/1/2015 12:00:00 AM
  • Firstpage
    501
  • Lastpage
    505
  • Abstract
    A Boolean function f : {0, 1}n → {0, 1} is called nondegenerate if f depends on all its n variables. We show that, for any nondegenerate function f, there exists a variable xi such that at least one of the restrictions fIxi=0 or fIxi=1 must depend on all the remaining n - 1 variables. We also consider lower bounds on the degrees of polynomials representing a Boolean function over different rings. Let dq(f) be the degree of the (unique) polynomial over the ring ℤq exactly representing f. For distinct primes pi let m = Πri=1 peii. Then, we show that any nondegenerate symmetric Boolean function f must have m · dp1e1(f)...dprer(f) > n. We use the existence of nondegenerate subfunctions to prove degree lower bounds on random functions. Specifically, we show that m · dp1e1(f)...dprer(f) > lg n - 1 holds for almost all f when f is chosen uniformly at random from all n-variate Boolean functions. Our proof uses the second moment method to show that a random f must almost always contain a nondegenerate symmetric subfunction on at least lg n - 1 variables. It follows that an n-variate nondegenerate symmetric Boolean function can have degree o(√(n)) over at most one finite field and that almost all f can have degree o(√(lg n)) over at most one finite field.
  • Keywords
    "Boolean functions","Polynomials","Method of moments","Computational complexity","Blogs","Computer science"
  • Publisher
    ieee
  • Conference_Titel
    Information Theory (ISIT), 2015 IEEE International Symposium on
  • Electronic_ISBN
    2157-8117
  • Type

    conf

  • DOI
    10.1109/ISIT.2015.7282505
  • Filename
    7282505