Video Lectures

Separate tags with a comma.

Rational Proofs

Pablo Azar

We study a new type of proof system, where an unbounded prover and a polynomial time verifier interact, on inputs a string $x$ and a function $f$, so that the Verifier may learn $f(x)$. The novelty of our setting is that there no longer are ``good...

In three very interesting and suggestive papers, H. Carayol introduced new aspects of complex geometry and Hodge theory into the study of non-classical automorphic representations -- in particular, those involving the totally degenerate limits of...