Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297663618> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4297663618 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.
- W4297663618 created "2022-09-30" @default.
- W4297663618 creator A5008139378 @default.
- W4297663618 date "2015-09-29" @default.
- W4297663618 modified "2023-09-26" @default.
- W4297663618 title "Quadratic polynomials of small modulus cannot represent OR" @default.
- W4297663618 doi "https://doi.org/10.48550/arxiv.1509.08896" @default.
- W4297663618 hasPublicationYear "2015" @default.
- W4297663618 type Work @default.
- W4297663618 citedByCount "0" @default.
- W4297663618 crossrefType "posted-content" @default.
- W4297663618 hasAuthorship W4297663618A5008139378 @default.
- W4297663618 hasBestOaLocation W42976636181 @default.
- W4297663618 hasConcept C114614502 @default.
- W4297663618 hasConcept C118615104 @default.
- W4297663618 hasConcept C121332964 @default.
- W4297663618 hasConcept C129844170 @default.
- W4297663618 hasConcept C130367717 @default.
- W4297663618 hasConcept C134306372 @default.
- W4297663618 hasConcept C14036430 @default.
- W4297663618 hasConcept C154945302 @default.
- W4297663618 hasConcept C164226766 @default.
- W4297663618 hasConcept C166437778 @default.
- W4297663618 hasConcept C187455244 @default.
- W4297663618 hasConcept C24890656 @default.
- W4297663618 hasConcept C2524010 @default.
- W4297663618 hasConcept C2775997480 @default.
- W4297663618 hasConcept C33923547 @default.
- W4297663618 hasConcept C41008148 @default.
- W4297663618 hasConcept C54732982 @default.
- W4297663618 hasConcept C63584917 @default.
- W4297663618 hasConcept C77553402 @default.
- W4297663618 hasConcept C78458016 @default.
- W4297663618 hasConcept C86803240 @default.
- W4297663618 hasConcept C90119067 @default.
- W4297663618 hasConceptScore W4297663618C114614502 @default.
- W4297663618 hasConceptScore W4297663618C118615104 @default.
- W4297663618 hasConceptScore W4297663618C121332964 @default.
- W4297663618 hasConceptScore W4297663618C129844170 @default.
- W4297663618 hasConceptScore W4297663618C130367717 @default.
- W4297663618 hasConceptScore W4297663618C134306372 @default.
- W4297663618 hasConceptScore W4297663618C14036430 @default.
- W4297663618 hasConceptScore W4297663618C154945302 @default.
- W4297663618 hasConceptScore W4297663618C164226766 @default.
- W4297663618 hasConceptScore W4297663618C166437778 @default.
- W4297663618 hasConceptScore W4297663618C187455244 @default.
- W4297663618 hasConceptScore W4297663618C24890656 @default.
- W4297663618 hasConceptScore W4297663618C2524010 @default.
- W4297663618 hasConceptScore W4297663618C2775997480 @default.
- W4297663618 hasConceptScore W4297663618C33923547 @default.
- W4297663618 hasConceptScore W4297663618C41008148 @default.
- W4297663618 hasConceptScore W4297663618C54732982 @default.
- W4297663618 hasConceptScore W4297663618C63584917 @default.
- W4297663618 hasConceptScore W4297663618C77553402 @default.
- W4297663618 hasConceptScore W4297663618C78458016 @default.
- W4297663618 hasConceptScore W4297663618C86803240 @default.
- W4297663618 hasConceptScore W4297663618C90119067 @default.
- W4297663618 hasLocation W42976636181 @default.
- W4297663618 hasOpenAccess W4297663618 @default.
- W4297663618 hasPrimaryLocation W42976636181 @default.
- W4297663618 hasRelatedWork W1580860198 @default.
- W4297663618 hasRelatedWork W2038111284 @default.
- W4297663618 hasRelatedWork W2056263286 @default.
- W4297663618 hasRelatedWork W2119160892 @default.
- W4297663618 hasRelatedWork W2158501005 @default.
- W4297663618 hasRelatedWork W2181355034 @default.
- W4297663618 hasRelatedWork W2401469347 @default.
- W4297663618 hasRelatedWork W2724336131 @default.
- W4297663618 hasRelatedWork W3022683369 @default.
- W4297663618 hasRelatedWork W335086411 @default.
- W4297663618 isParatext "false" @default.
- W4297663618 isRetracted "false" @default.
- W4297663618 workType "article" @default.