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)).

Cubes of symmetric designs

Projection cubes of symmetric designs

On higher-dimensional symmetric designs

Symmetric $(15,8,4)$-designs in terms of the geometry of binary simplex codes of dimension $4$

Tilings with $n$-Dimensional Chairs and their Applications to Asymmetric Codes

Sliced Orthogonal Array-Based Latin Hypercube Designs

Codes, Cubes, and Graphical Designs

Symmetric 2$-$(36,15,6) designs with an automorphism of order two

On orthogonal symmetric chain decompositions

Small transitive homogeneous $3$-$(v,\{4,6\},1)$ designs

Triangle decompositions of PG(n,2)

Constructions of Pairs of Orthogonal Latin Cubes

Small examples of mosaics of combinatorial designs

Higher-dimensional grid-imprimitive block-transitive designs

Dimension towers of SICs. I. Aligned SICs and embedded tight frames

Invariants of Quadratic Forms and applications in Design Theory

Designs in finite classical polar spaces

Pairwise transitive 2-designs

Subspace Designs Based on Algebraic Function Fields

Some Constructions for Amicable Orthogonal Designs

Sliced space-filling designs with different levels of two-dimensional uniformity