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

Additivity of symmetric and subspace designs

Projection cubes of symmetric designs

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

New Constructions of Large Cyclic Subspace Codes and Sidon Spaces.

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

Pairwise transitive 2-designs

Subspace Designs Based on Algebraic Function Fields

Designs in finite classical polar spaces

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

On higher-dimensional symmetric designs

Triangle decompositions of PG(n,2)

Affine groups as flag-transitive and point-primitive automorphism groups of symmetric designs

On subspace designs

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

Cubes of symmetric designs

Anzahl theorems for disjoint subspaces generating a non-degenerate subspace II: quadratic forms

An Additive Theorem and Restricted Sumsets

Flag-transitive 2-designs with prime-square or prime-cube block length

Analysing 2-$(v,k,2)$ designs admitting a flag-transitive almost simple automorphism group with socle $PSL(2,q)$ by means of conics and hyperovals of $PG(2,q)$

ACD codes over skew-symmetric dualities