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

Triangle decompositions of PG(n,2)

Designs, permutations, and projective planes

Codes and Pseudo-Geometric Designs from the Ternary M-Sequences with Welch-type Decimation D = 2 ⋅ 3(n−1)/2 + 1

Periodic balanced binary triangles

Splitting Group Divisible Designs with Block Size 2 X 4

Codes and Pseudo-Geometric Designs from the Ternary $m$-Sequences with Welch-type decimation $d=2\cdot 3^{(n-1)/2}+1$

Designs, permutations, and transitive groups

The Triangle Intersection Problem for S(2, 4, V) Designs

Triangle-free triple systems

The fine triangle intersection problem for kite systems

Block-Transitive and Point-Primitive 2-(V,K,2) Designs with Sporadic Socle

Pairwise transitive 2-designs

Subspace Designs Based on Algebraic Function Fields

Uniformly resolvable three-wise balanced designs with block sizes four and six

Block-Transitive Symmetric Designs and Alternating Groups

The Fine Triangle Intersection Problem for (K4−e)-Designs

On a Pair of Orthogonal Golf Designs

Decomposition of Polynomial Ideals into Triangular Regular Sequences

Interlacing triangles, Schubert puzzles, and graph colorings

Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems

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