Abstract:Subspace designs are a (large) collection of high-dimensional subspaces {H-i- of F-q(m) such that for any low-dimensional subspace W, only a small number of subspaces from the collection have non-trivial intersection with W; more precisely, the sum of dimensions of W boolean AND H-i is at most some parameter L. The notion was put forth by Guruswami and Xing (STOC'13) with applications to list decoding variants of Reed-Solomon and algebraic-geometric codes and later also used for explicit rank-metric codes with optimal list decoding radius. Guruswami and Kopparty (FOCS'13, Combinatorica '16) gave an explicit construction of subspace designs with near-optimal parameters. This construction was based on polynomials and has close connections to folded Reed Solomon codes and required large field size (specifically q >= m). Forbes and Guruswami (RANDOM'15) used this construction to give explicit constant degree "dimension expanders" over large fields and noted that subspace designs are a powerful tool in linear-algebraic pseudorandomness. Here, we construct subspace designs over any field, at the expense of a modest worsening of the bound L on total intersection dimension. Our approach is based on a (non-trivial) extension of the polynomial-based construction to algebraic function fields and instantiating the approach with cyclotomic function fields. Plugging in our new subspace designs in the construction of Forbes and Guruswami yields dimension expanders over F-n for any field F, with logarithmic degree and expansion guarantee for subspaces of dimension Omega(n/(log logn)).

Tactical decompositions of designs over finite fields

Combinatorial t-designs from quadratic functions

On Relative T-Designs in Polynomial Association Schemes

Jacobi polynomials and design theory II

Constructions of $t$-designs from weighing matrices and walk-regular graphs

Designs in finite classical polar spaces

Invariants of Quadratic Forms and applications in Design Theory

Subspace Designs Based on Algebraic Function Fields

Nontrivial $t$-designs in polar spaces exist for all $t$

Infinite families of 3‐designs from APN functions

Infinite families of linear codes supporting more t-designs

Combinatorial t-designs from special functions

Designs from subcode supports of linear codes

$q$-Analogs of divisible design graphs and Deza graphs

A Survey on Tight Euclidean T -Designs and Tight Relative T -Designs in Certain Association Schemes

Designs, permutations, and transitive groups

Simple t-designs: A recursive construction for arbitrary t

Approximate t-designs in generic circuit architectures

Tight Relative $T$-Designs on Two Shells in Hypercubes, and Hahn and Hermite Polynomials

Tight Relative 2- and 4-Designs on Binary Hamming Association Schemes