Arrow Research search
Back to FOCS

FOCS 2013

Explicit Subspace Designs

Conference Paper Accepted Paper Algorithms and Complexity ยท Theoretical Computer Science

Abstract

A subspace design is a collection {H 1, H 2, .. ., H M } of subspaces of F m q with the property that no low-dimensional subspace W of F q m intersects too many subspaces of the collection. Subspace designs were introduced by Guruswami and Xing (STOC 2013) who used them to give a randomized construction of optimal rate list-decodable codes over constant-sized large alphabets and sub-logarithmic (and even smaller) list size. Subspace designs are the only non-explicit part of their construction. In this paper, we give explicit constructions of subspace designs with parameters close to the probabilistic construction, and this implies the first deterministic polynomial time construction of list-decodable codes achieving the above parameters. Our constructions of subspace designs are natural and easily described, and are based on univariate polynomials over finite fields. Curiously, the constructions are very closely related to certain good list-decodable codes (folded RS codes and univariate multiplicity codes). The proof of the subspace design property uses the polynomial method (with multiplicities): Given a target low-dimensional subspace W, we construct a nonzero low-degree polynomial P W that has several roots for each H that non-trivially intersects W. The construction of P W is based on the classical Wronskian determinant and the folded Wronskian determinant, the latter being a recently studied notion that we make explicit in this paper. Our analysis reveals some new phenomena about the zeroes of univariate polynomials, namely that polynomials with many structured roots or many high multiplicity roots tend to be linearly independent.

Authors

Keywords

  • Polynomials
  • Frequency modulation
  • Reed-Solomon codes
  • Decoding
  • Probabilistic logic
  • Computer science
  • Explicit Identification
  • Finite Field
  • List Size
  • Code Construction
  • Explicit Construction
  • Deterministic Time
  • Linearly Independent
  • Polynomial Method
  • Dimensional Space
  • Construction Analysis
  • Polynomial Of Degree
  • Probabilistic Method
  • Extensive Field
  • Linear Constraints
  • Linear Space
  • Construct Design
  • Forward Error Correction
  • Basis For The Construction
  • Space Of Polynomials
  • Alphabet Size
  • Algebraic coding
  • List-decoding
  • Pseudorandomness

Context

Venue
IEEE Symposium on Foundations of Computer Science
Archive span
1975-2025
Indexed papers
3809
Paper id
460252095065216410
v2026.09.13