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

On the Dimensions of Hermitian Subfield Subcodes from Higher-Degree Places

Subfield subcodes of projective Reed-Muller codes

Galois subcovers of the Hermitian curve in characteristic $p$ with respect to subgroups of order $dp$ with $d\not=p$ prime

Euclidean and Hermitian Self-orthogonal Algebraic Geometry Codes and Their Application to Quantum Codes.

Differential Codes on Higher Dimensional Varieties Via Grothendieck's Residue Symbol

Subspace configurations and low degree points on curves

Schubert Subspace Codes

Bases for Riemann–Roch spaces of linearized function fields with applications to generalized algebraic geometry codes

Dimension theory of noncommutative curves

Explicit non-special divisors of small degree, algebraic geometric hulls, and LCD codes from Kummer extensions

Rational Points on Curves over Finite Fields

Subspace Designs Based on Algebraic Function Fields

Subfield codes of $C_D$-codes over $\mathbb{F}_2[x]/\langle x^3-x \rangle$ are really nice!

Higher codimension nef and effective cycles on the Hilbert scheme of 3 points in projective 3-space

Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Linear codes associated to determinantal varieties in the space of hermitian matrices

The Subfield and Extended Codes of a Subclass of Optimal Three-Weight Cyclic Codes

Complementary Dual Subfield Linear Codes Over Finite Fields

PhD thesis: Homological Quantum Codes Beyond the Toric Code

Contribution to Munuera'S Problem on the Main Conjecture of Geometric Hyperelliptic Mds Codes

Higher-degree symmetric rank-metric codes