Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310562011> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4310562011 abstract "Query-to-communication lifting theorems, which connect the query complexity of a Boolean function to the communication complexity of an associated `lifted' function obtained by composing the function with many copies of another function known as a gadget, have been instrumental in resolving many open questions in computational complexity. Several important complexity questions could be resolved if we could make substantial improvements in the input size required for lifting with the Index function, from its current near-linear size down to polylogarithmic in the number of inputs $N$ of the original function or, ideally, constant. The near-linear size bound was shown by Lovett, Meka, Mertz, Pitassi and Zhang using a recent breakthrough improvement on the Sunflower Lemma to show that a certain graph associated with the Index function of near-linear size is a disperser. They also stated a conjecture about the Index function that is essential for further improvements in the size required for lifting with Index using current techniques. In this paper we prove the following; 1) The conjecture of Lovett et al. is false when the size of the Index gadget is $log N-omega(1)$. 2) Also, the Inner-Product function, which satisfies the disperser property at size $O(log N)$, does not have this property when its size is $log N-omega(1)$. 3) Nonetheless, using Index gadgets of size at least 4, we prove a lifting theorem for a restricted class of communication protocols in which one of the players is limited to sending parities of its inputs. 4) Using the ideas from this lifting theorem, we derive a strong lifting theorem from decision tree size to parity decision tree size. We use this to derive a general lifting theorem in proof complexity from tree-resolution size to tree-like $Res(oplus)$ refutation size, which yields many new exponential lower bounds on such proofs." @default.
- W4310562011 created "2022-12-12" @default.
- W4310562011 creator A5030492623 @default.
- W4310562011 creator A5042076941 @default.
- W4310562011 date "2022-11-30" @default.
- W4310562011 modified "2023-09-27" @default.
- W4310562011 title "On Disperser/Lifting Properties of the Index and Inner-Product Functions" @default.
- W4310562011 doi "https://doi.org/10.48550/arxiv.2211.17211" @default.
- W4310562011 hasPublicationYear "2022" @default.
- W4310562011 type Work @default.
- W4310562011 citedByCount "0" @default.
- W4310562011 crossrefType "posted-content" @default.
- W4310562011 hasAuthorship W4310562011A5030492623 @default.
- W4310562011 hasAuthorship W4310562011A5042076941 @default.
- W4310562011 hasBestOaLocation W43105620111 @default.
- W4310562011 hasConcept C11413529 @default.
- W4310562011 hasConcept C114614502 @default.
- W4310562011 hasConcept C118615104 @default.
- W4310562011 hasConcept C119770614 @default.
- W4310562011 hasConcept C131671149 @default.
- W4310562011 hasConcept C136764020 @default.
- W4310562011 hasConcept C14036430 @default.
- W4310562011 hasConcept C15547884 @default.
- W4310562011 hasConcept C178489894 @default.
- W4310562011 hasConcept C179145077 @default.
- W4310562011 hasConcept C187455244 @default.
- W4310562011 hasConcept C18903297 @default.
- W4310562011 hasConcept C19086982 @default.
- W4310562011 hasConcept C2524010 @default.
- W4310562011 hasConcept C2775964210 @default.
- W4310562011 hasConcept C2777382242 @default.
- W4310562011 hasConcept C2777759810 @default.
- W4310562011 hasConcept C2780990831 @default.
- W4310562011 hasConcept C29248071 @default.
- W4310562011 hasConcept C33923547 @default.
- W4310562011 hasConcept C41008148 @default.
- W4310562011 hasConcept C45374587 @default.
- W4310562011 hasConcept C46757340 @default.
- W4310562011 hasConcept C63553672 @default.
- W4310562011 hasConcept C78458016 @default.
- W4310562011 hasConcept C86803240 @default.
- W4310562011 hasConcept C90673727 @default.
- W4310562011 hasConceptScore W4310562011C11413529 @default.
- W4310562011 hasConceptScore W4310562011C114614502 @default.
- W4310562011 hasConceptScore W4310562011C118615104 @default.
- W4310562011 hasConceptScore W4310562011C119770614 @default.
- W4310562011 hasConceptScore W4310562011C131671149 @default.
- W4310562011 hasConceptScore W4310562011C136764020 @default.
- W4310562011 hasConceptScore W4310562011C14036430 @default.
- W4310562011 hasConceptScore W4310562011C15547884 @default.
- W4310562011 hasConceptScore W4310562011C178489894 @default.
- W4310562011 hasConceptScore W4310562011C179145077 @default.
- W4310562011 hasConceptScore W4310562011C187455244 @default.
- W4310562011 hasConceptScore W4310562011C18903297 @default.
- W4310562011 hasConceptScore W4310562011C19086982 @default.
- W4310562011 hasConceptScore W4310562011C2524010 @default.
- W4310562011 hasConceptScore W4310562011C2775964210 @default.
- W4310562011 hasConceptScore W4310562011C2777382242 @default.
- W4310562011 hasConceptScore W4310562011C2777759810 @default.
- W4310562011 hasConceptScore W4310562011C2780990831 @default.
- W4310562011 hasConceptScore W4310562011C29248071 @default.
- W4310562011 hasConceptScore W4310562011C33923547 @default.
- W4310562011 hasConceptScore W4310562011C41008148 @default.
- W4310562011 hasConceptScore W4310562011C45374587 @default.
- W4310562011 hasConceptScore W4310562011C46757340 @default.
- W4310562011 hasConceptScore W4310562011C63553672 @default.
- W4310562011 hasConceptScore W4310562011C78458016 @default.
- W4310562011 hasConceptScore W4310562011C86803240 @default.
- W4310562011 hasConceptScore W4310562011C90673727 @default.
- W4310562011 hasLocation W43105620111 @default.
- W4310562011 hasOpenAccess W4310562011 @default.
- W4310562011 hasPrimaryLocation W43105620111 @default.
- W4310562011 hasRelatedWork W1948038071 @default.
- W4310562011 hasRelatedWork W1990319896 @default.
- W4310562011 hasRelatedWork W2022444580 @default.
- W4310562011 hasRelatedWork W2156079344 @default.
- W4310562011 hasRelatedWork W2159953367 @default.
- W4310562011 hasRelatedWork W2406312945 @default.
- W4310562011 hasRelatedWork W2952331807 @default.
- W4310562011 hasRelatedWork W2978186572 @default.
- W4310562011 hasRelatedWork W3147035836 @default.
- W4310562011 hasRelatedWork W3185240698 @default.
- W4310562011 isParatext "false" @default.
- W4310562011 isRetracted "false" @default.
- W4310562011 workType "article" @default.