Improved Batch Code Lower Bounds
A new Omega(sqrt(Nk)) redundancy lower bound for primitive multiset linear batch codes, via the dimension of the dual code's order-O(k) tensor.
Lean-style blueprints rendered with plasTeX — no Lean toolchain required.
A new Omega(sqrt(Nk)) redundancy lower bound for primitive multiset linear batch codes, via the dimension of the dual code's order-O(k) tensor.
Asymptotically good linear codes from expander graphs, with linear-time sequential and logarithmic-depth parallel decoding.
Approximate gradient codes from expander graphs with optimal decoding coefficients, and convergence bounds for random and adversarial stragglers.
Sufficient conditions on an outer code so that concatenation with a single random linear inner code lies on the GV bound.
Low-magic quantum circuits have low communication cost: magic lower bounds from communication, and exponential R-parallel separations.
Explicit capacity-approaching codes for all square-integrable D-repeat channels, encodable and decodable in linear / quasi-linear time.
Under fine-grained complexity assumptions, document-similarity tasks transformers can solve cannot be solved in truly subquadratic time.