Matches in SemOpenAlex for { <https://semopenalex.org/work/W3198905979> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3198905979 startingPage "96" @default.
- W3198905979 abstract "Given a function f : [N]k → [M]k, the Z-test is a three query test for checking if a function f is a direct product, namely if there are functions g1, ... gk : [N] → [M] such that f(x1, ..., xk) = (g1(x1), ... gk(xk)) for every input x e [N]k.This test was introduced by Impagliazzo et. al. (SICOMP 2012), who showed that if the test passes with probability e > [EQUATION] then f is Ω(e) close to a direct product function some precise sense. It remained an open question whether the soundness of this test can be pushed all the way down to exp(−k) (which would be optimal). This is our main result: we show that whenever f passes the Z test with probability e > exp(−k), there must be a global reason for this: namely, f must be close to a product function on some Ω(e) fraction of its domain.Towards proving our result we analyze the related (two-query) V-test, and prove a restricted global structure theorem for it. Such theorems were also proven previous works on direct product testing the small soundness regime. The most recent work, by Dinur and Steurer (CCC 2014), analyzed the V test the exponentially small soundness regime. We strengthen their conclusion of that theorem by moving from an in expectation statement to a stronger concentration of measure type of statement, which we prove using hyper-contractivity. This stronger statement allows us to proceed to analyze the Z test.We analyze two variants of direct product tests. One for functions on ordered tuples, as above, and another for functions on sets, [EQUATION]. The work of Impagliazzo et. al was actually focused only on functions of the latter type, i.e. on sets. We prove exponentially small soundness for the Z-test for both variants. Although the two appear very similar, the analysis for tuples is more tricky and requires some additional ideas." @default.
- W3198905979 created "2021-09-13" @default.
- W3198905979 creator A5029616850 @default.
- W3198905979 creator A5049199617 @default.
- W3198905979 date "2017-01-01" @default.
- W3198905979 modified "2023-09-26" @default.
- W3198905979 title "Exponentially Small Soundness for the Direct Product Z-test." @default.
- W3198905979 hasPublicationYear "2017" @default.
- W3198905979 type Work @default.
- W3198905979 sameAs 3198905979 @default.
- W3198905979 citedByCount "0" @default.
- W3198905979 crossrefType "journal-article" @default.
- W3198905979 hasAuthorship W3198905979A5029616850 @default.
- W3198905979 hasAuthorship W3198905979A5049199617 @default.
- W3198905979 hasConcept C114614502 @default.
- W3198905979 hasConcept C118615104 @default.
- W3198905979 hasConcept C14036430 @default.
- W3198905979 hasConcept C17744445 @default.
- W3198905979 hasConcept C199360897 @default.
- W3198905979 hasConcept C199539241 @default.
- W3198905979 hasConcept C2524010 @default.
- W3198905979 hasConcept C2777026412 @default.
- W3198905979 hasConcept C33923547 @default.
- W3198905979 hasConcept C39920170 @default.
- W3198905979 hasConcept C41008148 @default.
- W3198905979 hasConcept C58193220 @default.
- W3198905979 hasConcept C78458016 @default.
- W3198905979 hasConcept C86803240 @default.
- W3198905979 hasConcept C90673727 @default.
- W3198905979 hasConceptScore W3198905979C114614502 @default.
- W3198905979 hasConceptScore W3198905979C118615104 @default.
- W3198905979 hasConceptScore W3198905979C14036430 @default.
- W3198905979 hasConceptScore W3198905979C17744445 @default.
- W3198905979 hasConceptScore W3198905979C199360897 @default.
- W3198905979 hasConceptScore W3198905979C199539241 @default.
- W3198905979 hasConceptScore W3198905979C2524010 @default.
- W3198905979 hasConceptScore W3198905979C2777026412 @default.
- W3198905979 hasConceptScore W3198905979C33923547 @default.
- W3198905979 hasConceptScore W3198905979C39920170 @default.
- W3198905979 hasConceptScore W3198905979C41008148 @default.
- W3198905979 hasConceptScore W3198905979C58193220 @default.
- W3198905979 hasConceptScore W3198905979C78458016 @default.
- W3198905979 hasConceptScore W3198905979C86803240 @default.
- W3198905979 hasConceptScore W3198905979C90673727 @default.
- W3198905979 hasLocation W31989059791 @default.
- W3198905979 hasOpenAccess W3198905979 @default.
- W3198905979 hasPrimaryLocation W31989059791 @default.
- W3198905979 hasRelatedWork W1596420628 @default.
- W3198905979 hasRelatedWork W2075551673 @default.
- W3198905979 hasRelatedWork W2087326429 @default.
- W3198905979 hasRelatedWork W2091126969 @default.
- W3198905979 hasRelatedWork W2129578811 @default.
- W3198905979 hasRelatedWork W2398977735 @default.
- W3198905979 hasRelatedWork W2403485039 @default.
- W3198905979 hasRelatedWork W2417273130 @default.
- W3198905979 hasRelatedWork W2543172121 @default.
- W3198905979 hasRelatedWork W2574098572 @default.
- W3198905979 hasRelatedWork W2810012235 @default.
- W3198905979 hasRelatedWork W2907996431 @default.
- W3198905979 hasRelatedWork W2909747729 @default.
- W3198905979 hasRelatedWork W2949884761 @default.
- W3198905979 hasRelatedWork W2950094046 @default.
- W3198905979 hasRelatedWork W2963100062 @default.
- W3198905979 hasRelatedWork W2995201291 @default.
- W3198905979 hasRelatedWork W2997346744 @default.
- W3198905979 hasRelatedWork W3034941656 @default.
- W3198905979 hasRelatedWork W3090539902 @default.
- W3198905979 hasVolume "24" @default.
- W3198905979 isParatext "false" @default.
- W3198905979 isRetracted "false" @default.
- W3198905979 magId "3198905979" @default.
- W3198905979 workType "article" @default.