FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2805134734> ?p ?o ?g. }

• W2805134734 abstract "Algebraic proof systems reduce computational problems to problems about estimating the distance of a sequence of functions [EQUATION], given as oracles, from a linear error correcting code V. The soundness of such systems relies on methods that act locally on u and map it to a single function u* that is, roughly, as far from V as are u1, ..., uk.Motivated by these applications to efficient proof systems, we study a natural worst-case to average-case reduction of distance for linear spaces, and show several general cases in which the following statement holds: If some member of a linear space U = span(u1, ..., uk) is δ-far from (all elements) of V in relative Hamming distance, then nearly all elements of U are (1 − ϵ)δ-far from V; the value of ϵ depends only on the distance of the code V and approaches 0 as that distance approaches 1. Our results improve on the previous state-of-the-art which showed that nearly all elements of U are 1/2δ-far from V [Rothblum, Vadhan and Wigderson, STOC 2013].When V is a Reed-Solomon (RS) code, as is often the case for algebraic proof systems, we show how to boost distance via a new local transformation that may be useful elsewhere. Relying on the affine-invariance of V, we map a vector u to a random linear combination of affine transformations of u, and show this process amplifies distance from V. Assuming V is an RS code with sufficiently large distance, this amplification process converts a function u that is somewhat far from V to one that is (1 − ϵ)-far from V; as above, ϵ depends only on the distance of V and approaches 0 as the distance of V approaches 1.We give two concrete application of these techniques. First, we revisit the axis-parallel low-degree test for bivariate polynomials of [Polischuk-Spielman, STOC 1994] and prove a list-decoding type result for it, when the degree of one axis is extremely small. This result is similar to the recent list-decoding-regime result of [Chiesa, Manohar and Shinkar, RANDOM 2017] but is proved using different techniques, and allows the degree in one axis to be arbitrarily large. Second, we improve the soundness analysis of the recent RS proximity testing protocol of [Ben-Sasson et al., ICALP 2018] and extend it to the list-decoding regime, bringing it closer to the Johnson bound." @default.
• W2805134734 created "2018-06-13" @default.
• W2805134734 creator A5020540233 @default.
• W2805134734 creator A5031695135 @default.
• W2805134734 creator A5058111762 @default.
• W2805134734 date "2018-06-22" @default.
• W2805134734 modified "2023-09-23" @default.
• W2805134734 title "Worst-case to average case reductions for the distance to a code" @default.
• W2805134734 doi "https://doi.org/10.5555/3235586.3235610" @default.
• W2805134734 hasPublicationYear "2018" @default.
• W2805134734 type Work @default.
• W2805134734 sameAs 2805134734 @default.
• W2805134734 citedByCount "4" @default.
• W2805134734 countsByYear W28051347342019 @default.
• W2805134734 countsByYear W28051347342021 @default.
• W2805134734 countsByYear W28051347342022 @default.
• W2805134734 crossrefType "journal-article" @default.
• W2805134734 hasAuthorship W2805134734A5020540233 @default.
• W2805134734 hasAuthorship W2805134734A5031695135 @default.
• W2805134734 hasAuthorship W2805134734A5058111762 @default.
• W2805134734 hasConcept C11413529 @default.
• W2805134734 hasConcept C114614502 @default.
• W2805134734 hasConcept C118615104 @default.
• W2805134734 hasConcept C14036430 @default.
• W2805134734 hasConcept C154945302 @default.
• W2805134734 hasConcept C157125643 @default.
• W2805134734 hasConcept C173110770 @default.
• W2805134734 hasConcept C176370821 @default.
• W2805134734 hasConcept C177264268 @default.
• W2805134734 hasConcept C193319292 @default.
• W2805134734 hasConcept C199360897 @default.
• W2805134734 hasConcept C202444582 @default.
• W2805134734 hasConcept C2639959 @default.
• W2805134734 hasConcept C2776760102 @default.
• W2805134734 hasConcept C33923547 @default.
• W2805134734 hasConcept C41008148 @default.
• W2805134734 hasConcept C57273362 @default.
• W2805134734 hasConcept C73150493 @default.
• W2805134734 hasConcept C78458016 @default.
• W2805134734 hasConcept C86803240 @default.
• W2805134734 hasConcept C92757383 @default.
• W2805134734 hasConceptScore W2805134734C11413529 @default.
• W2805134734 hasConceptScore W2805134734C114614502 @default.
• W2805134734 hasConceptScore W2805134734C118615104 @default.
• W2805134734 hasConceptScore W2805134734C14036430 @default.
• W2805134734 hasConceptScore W2805134734C154945302 @default.
• W2805134734 hasConceptScore W2805134734C157125643 @default.
• W2805134734 hasConceptScore W2805134734C173110770 @default.
• W2805134734 hasConceptScore W2805134734C176370821 @default.
• W2805134734 hasConceptScore W2805134734C177264268 @default.
• W2805134734 hasConceptScore W2805134734C193319292 @default.
• W2805134734 hasConceptScore W2805134734C199360897 @default.
• W2805134734 hasConceptScore W2805134734C202444582 @default.
• W2805134734 hasConceptScore W2805134734C2639959 @default.
• W2805134734 hasConceptScore W2805134734C2776760102 @default.
• W2805134734 hasConceptScore W2805134734C33923547 @default.
• W2805134734 hasConceptScore W2805134734C41008148 @default.
• W2805134734 hasConceptScore W2805134734C57273362 @default.
• W2805134734 hasConceptScore W2805134734C73150493 @default.
• W2805134734 hasConceptScore W2805134734C78458016 @default.
• W2805134734 hasConceptScore W2805134734C86803240 @default.
• W2805134734 hasConceptScore W2805134734C92757383 @default.
• W2805134734 hasLocation W28051347341 @default.
• W2805134734 hasOpenAccess W2805134734 @default.
• W2805134734 hasPrimaryLocation W28051347341 @default.
• W2805134734 hasRelatedWork W1970606468 @default.
• W2805134734 hasRelatedWork W1970808997 @default.
• W2805134734 hasRelatedWork W2053086236 @default.
• W2805134734 hasRelatedWork W2067596507 @default.
• W2805134734 hasRelatedWork W2087900794 @default.
• W2805134734 hasRelatedWork W2148352980 @default.
• W2805134734 hasRelatedWork W2416431186 @default.
• W2805134734 hasRelatedWork W2536319456 @default.
• W2805134734 hasRelatedWork W2765206040 @default.
• W2805134734 hasRelatedWork W2767632300 @default.
• W2805134734 hasRelatedWork W2794982701 @default.
• W2805134734 hasRelatedWork W2885314357 @default.
• W2805134734 hasRelatedWork W2898776076 @default.
• W2805134734 hasRelatedWork W2914525031 @default.
• W2805134734 hasRelatedWork W2949308554 @default.
• W2805134734 hasRelatedWork W2950122418 @default.
• W2805134734 hasRelatedWork W2963518007 @default.
• W2805134734 hasRelatedWork W3158852179 @default.
• W2805134734 hasRelatedWork W3196419982 @default.
• W2805134734 hasRelatedWork W4180724 @default.
• W2805134734 isParatext "false" @default.
• W2805134734 isRetracted "false" @default.
• W2805134734 magId "2805134734" @default.
• W2805134734 workType "article" @default.