{"title":"Lower bounds on representing Boolean functions as polynomials in Z/sub m/","authors":"Shi-Chun Tsai","doi":"10.1109/SCT.1993.336537","DOIUrl":null,"url":null,"abstract":"The MOD/sub m/-degree of Boolean function F is defined to be the smallest degree of any polynomial P, over the ring of integers modulo m, such that for all 0-1 assignments x, F(x)=0 iff P(x)=0. By exploring the periodic property of the binomial coefficients module m, two new lower bounds on the MOD/sub m/-degree of the MOD/sub l/ and not-MOD/sub m/ functions are proved, where m is any composite integer and l has a prime factor not dividing m. Both bounds improve from n/sup Omega (1)/ in D.A.M. Barrington et al. (1992) to Omega (n). A lower bound, n/2, for the majority function and a lower bound, square root n, for the MidBit function are also proved.<<ETX>>","PeriodicalId":331616,"journal":{"name":"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference","volume":"209 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCT.1993.336537","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 14
Abstract
The MOD/sub m/-degree of Boolean function F is defined to be the smallest degree of any polynomial P, over the ring of integers modulo m, such that for all 0-1 assignments x, F(x)=0 iff P(x)=0. By exploring the periodic property of the binomial coefficients module m, two new lower bounds on the MOD/sub m/-degree of the MOD/sub l/ and not-MOD/sub m/ functions are proved, where m is any composite integer and l has a prime factor not dividing m. Both bounds improve from n/sup Omega (1)/ in D.A.M. Barrington et al. (1992) to Omega (n). A lower bound, n/2, for the majority function and a lower bound, square root n, for the MidBit function are also proved.<>