Video Lectures

Separate tags with a comma.

Dot-Product Proofs

Yuval Ishai

A dot-product proof is a simple probabilistic proof system in which the verifier decides whether to accept an input vector based on a single linear combination of the entries of the input and a proof vector. I will present constructions of linear...

A random walk on a hyperbolic group G will converge almost surely to the boundary, defining a stationary measure at infinity. When G is a cocompact fuchsian group, this boundary is the circle, and when the random walk is finitely supported it is...