Matches in SemOpenAlex for { <https://semopenalex.org/work/W2181355034> ?p ?o ?g. }
- W2181355034 abstract "An open problem in complexity theory is to find the minimal degree of a polynomial representing the $n$-bit OR function modulo composite $m$. This problem is related to understanding the power of circuits with $text{MOD}_m$ gates where $m$ is composite. The OR function is of particular interest because it is the simplest function not amenable to bounds from communication complexity. Tardos and Barrington established a lower bound of $Omega((log n)^{O_m(1)})$, and Barrington, Beigel, and Rudich established an upper bound of $n^{O_m(1)}$. No progress has been made on closing this gap for twenty years, and progress will likely require new techniques. We make progress on this question viewed from a different perspective: rather than fixing the modulus $m$ and bounding the minimum degree $d$ in terms of the number of variables $n$, we fix the degree $d$ and bound $n$ in terms of the modulus $m$. For degree $d=2$, we prove a quasipolynomial bound of $nle m^{O(d)}le m^{O(log m)}$, improving the previous best bound of $2^{O(m)}$ implied by Tardos and Barrington's general bound. To understand the computational power of quadratic polynomials modulo $m$, we introduce a certain dichotomy which may be of independent interest. Namely, we define a notion of boolean rank of a quadratic polynomial $f$ and relate it to the notion of diagonal rigidity. Using additive combinatorics, we show that when the rank is low, $f(mathbf x)=0$ must have many solutions. Using techniques from exponential sums, we show that when the rank of $f$ is high, $f$ is close to equidistributed. In either case, $f$ cannot represent the OR function in many variables." @default.
- W2181355034 created "2016-06-24" @default.
- W2181355034 creator A5008139378 @default.
- W2181355034 date "2015-09-29" @default.
- W2181355034 modified "2023-09-27" @default.
- W2181355034 title "Quadratic polynomials of small modulus cannot represent OR." @default.
- W2181355034 cites W1530008367 @default.
- W2181355034 cites W1763371106 @default.
- W2181355034 cites W1826122826 @default.
- W2181355034 cites W1904076199 @default.
- W2181355034 cites W2027317757 @default.
- W2181355034 cites W2041210515 @default.
- W2181355034 cites W2054996571 @default.
- W2181355034 cites W2059892717 @default.
- W2181355034 cites W2069582894 @default.
- W2181355034 cites W2070678975 @default.
- W2181355034 cites W2109782186 @default.
- W2181355034 cites W2129107602 @default.
- W2181355034 cites W2129774539 @default.
- W2181355034 cites W2137442467 @default.
- W2181355034 cites W2147154704 @default.
- W2181355034 cites W2157443379 @default.
- W2181355034 cites W2340787257 @default.
- W2181355034 cites W2950794907 @default.
- W2181355034 cites W337358633 @default.
- W2181355034 cites W46930346 @default.
- W2181355034 cites W3149466283 @default.
- W2181355034 hasPublicationYear "2015" @default.
- W2181355034 type Work @default.
- W2181355034 sameAs 2181355034 @default.
- W2181355034 citedByCount "0" @default.
- W2181355034 crossrefType "posted-content" @default.
- W2181355034 hasAuthorship W2181355034A5008139378 @default.
- W2181355034 hasConcept C114614502 @default.
- W2181355034 hasConcept C118615104 @default.
- W2181355034 hasConcept C121332964 @default.
- W2181355034 hasConcept C129844170 @default.
- W2181355034 hasConcept C130367717 @default.
- W2181355034 hasConcept C134306372 @default.
- W2181355034 hasConcept C14036430 @default.
- W2181355034 hasConcept C154945302 @default.
- W2181355034 hasConcept C164226766 @default.
- W2181355034 hasConcept C166437778 @default.
- W2181355034 hasConcept C187455244 @default.
- W2181355034 hasConcept C24890656 @default.
- W2181355034 hasConcept C2524010 @default.
- W2181355034 hasConcept C2775997480 @default.
- W2181355034 hasConcept C33923547 @default.
- W2181355034 hasConcept C41008148 @default.
- W2181355034 hasConcept C54732982 @default.
- W2181355034 hasConcept C63584917 @default.
- W2181355034 hasConcept C77553402 @default.
- W2181355034 hasConcept C78458016 @default.
- W2181355034 hasConcept C86803240 @default.
- W2181355034 hasConcept C90119067 @default.
- W2181355034 hasConceptScore W2181355034C114614502 @default.
- W2181355034 hasConceptScore W2181355034C118615104 @default.
- W2181355034 hasConceptScore W2181355034C121332964 @default.
- W2181355034 hasConceptScore W2181355034C129844170 @default.
- W2181355034 hasConceptScore W2181355034C130367717 @default.
- W2181355034 hasConceptScore W2181355034C134306372 @default.
- W2181355034 hasConceptScore W2181355034C14036430 @default.
- W2181355034 hasConceptScore W2181355034C154945302 @default.
- W2181355034 hasConceptScore W2181355034C164226766 @default.
- W2181355034 hasConceptScore W2181355034C166437778 @default.
- W2181355034 hasConceptScore W2181355034C187455244 @default.
- W2181355034 hasConceptScore W2181355034C24890656 @default.
- W2181355034 hasConceptScore W2181355034C2524010 @default.
- W2181355034 hasConceptScore W2181355034C2775997480 @default.
- W2181355034 hasConceptScore W2181355034C33923547 @default.
- W2181355034 hasConceptScore W2181355034C41008148 @default.
- W2181355034 hasConceptScore W2181355034C54732982 @default.
- W2181355034 hasConceptScore W2181355034C63584917 @default.
- W2181355034 hasConceptScore W2181355034C77553402 @default.
- W2181355034 hasConceptScore W2181355034C78458016 @default.
- W2181355034 hasConceptScore W2181355034C86803240 @default.
- W2181355034 hasConceptScore W2181355034C90119067 @default.
- W2181355034 hasLocation W21813550341 @default.
- W2181355034 hasOpenAccess W2181355034 @default.
- W2181355034 hasPrimaryLocation W21813550341 @default.
- W2181355034 hasRelatedWork W2020505980 @default.
- W2181355034 hasRelatedWork W2140644794 @default.
- W2181355034 hasRelatedWork W2403485039 @default.
- W2181355034 hasRelatedWork W2549898738 @default.
- W2181355034 hasRelatedWork W258677105 @default.
- W2181355034 hasRelatedWork W2626013949 @default.
- W2181355034 hasRelatedWork W2950769787 @default.
- W2181355034 hasRelatedWork W2951405814 @default.
- W2181355034 hasRelatedWork W2963282263 @default.
- W2181355034 hasRelatedWork W2972131259 @default.
- W2181355034 hasRelatedWork W3009759485 @default.
- W2181355034 hasRelatedWork W3013848491 @default.
- W2181355034 hasRelatedWork W3022249633 @default.
- W2181355034 hasRelatedWork W3037199564 @default.
- W2181355034 hasRelatedWork W3108210915 @default.
- W2181355034 hasRelatedWork W3133665495 @default.
- W2181355034 hasRelatedWork W3134940046 @default.
- W2181355034 hasRelatedWork W3135050128 @default.
- W2181355034 hasRelatedWork W3170725852 @default.
- W2181355034 hasRelatedWork W3206577904 @default.