Pith. sign in

REVIEW 1 cited by

Lower bounds for oblivious subspace embeddings

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1308.3280 v1 pith:6DHZQKUL submitted 2013-08-15 cs.DM cs.CGmath.PR

classification cs.DMcs.CGmath.PR
keywords deltasubspaceboundslowerobliviouscolumndimensiondistribution
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

An oblivious subspace embedding (OSE) for some eps, delta in (0,1/3) and d <= m <= n is a distribution D over R^{m x n} such that for any linear subspace W of R^n of dimension d, Pr_{Pi ~ D}(for all x in W, (1-eps) |x|_2 <= |Pi x|_2 <= (1+eps)|x|_2) >= 1 - delta. We prove that any OSE with delta < 1/3 must have m = Omega((d + log(1/delta))/eps^2), which is optimal. Furthermore, if every Pi in the support of D is sparse, having at most s non-zero entries per column, then we show tradeoff lower bounds between m and s.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Well-invertible column subsets of sparse matrices are rare

    math.PR 2026-07 accept novelty 7.5 of 10

    Under mild sparsity and overlap assumptions, almost every proportional-size column subset of a sparse matrix has smallest singular value o(1), so constant-sparsity SparseStack maps are not (Ω(k), Ω(1))-OSI.

Pith tools