~/talk

Testing Positive Semidefiniteness and Eigenvalue Approximation

slides:none on file

Presents concrete testers and tight bounds: for Schatten-1 norm, adaptive matrix‑vector Krylov methods use a polynomial filtering trick to get 1/epsilon^{1/3} queries (general p gives epsilon^{-p/(2p+1)}), and matching lower bounds show optimality. For bilinear sketches a GAG^T sketch with k = Theta(1/epsilon^2) rows gives nonadaptive PSD testing and an eigenvalue estimator; adaptivity can reduce bilinear queries to 1/epsilon via a stochastic gradient‑style iteration. Spectrum recovery needs Gaussian sketches and a subtract trace/k I correction to be optimal.

AI-written summary · about

  1. 0:00Problem definition
  2. 3:03Matrix-vector query testers
  3. 7:34Krylov subspace iteration
  4. 12:31Eigenvalue deflation strategy
  5. 17:38Generalizing to p-norms
  6. 20:15Bilinear sketch analysis
  7. 22:57Trace-based testing
  8. 27:58Adaptive gradient methods
  9. 30:26Spectrum estimation
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.