DeepAI AI Chat
Log In Sign Up

Even Simpler Deterministic Matrix Sketching

02/03/2022
by   Edo Liberty, et al.
0

This paper provides a one-line proof of Frequent Directions (FD) for sketching streams of matrices. The simpler proof arises from sketching the covariance of the stream of matrices rather than the stream itself.

READ FULL TEXT
09/07/2020

A Simpler NP-Hardness Proof for Familial Graph Compression

This document presents a simpler proof showcasing the NP-hardness of Fam...
12/09/2018

Equivalence of pushdown automata via first-order grammars

A decidability proof for bisimulation equivalence of first-order grammar...
02/01/2023

Formalizing π_4(𝕊^3) ≅ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda

Brunerie's 2016 PhD thesis contains the first synthetic proof in Homotop...
11/02/2018

On the Lazy Set object

The aim of this article is to employ the Lazy Set algorithm as an exampl...
05/03/2022

Optimal minimization of the covariance loss

Let X be a random vector valued in ℝ^m such that X_2≤ 1 almost surely. F...
11/19/2020

Estimation of Shortest Path Covariance Matrices

We study the sample complexity of estimating the covariance matrix Σ∈ℝ^d...
11/08/2018

Bisimilarity of Open Terms in Stream GSOS

Stream GSOS is a specification format for operations and calculi on infi...