Events and Activities

Chapter 14 of the classic text "Computational Complexity" by Arora and Barak is titled "Circuit lower bounds: complexity theory's Waterloo". I will discuss the lower bound problem in the context of algebraic complexity where there are barriers...

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 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...

This colloquium will explore some fundamental issues in the mathematics of plasmas, focusing on the stability and instability of solutions to Vlasov-type equations, which are crucial for describing the behavior of charged particles in a plasma. A...

A class of tensors, called "concise (m,m,m)-tensors  of minimal border rank", play an important role in proving upper bounds for the complexity of matrix multiplication. For that reason Problem 15.2 of "Algebraic Complexity Theory" by Bürgisser...

Ohta described the ordinary part of the 'etale cohomology of towers of modular curves in terms of Hida families. Ohta's approach crucially depended on the one-dimensional nature of modular curves. In this talk, I will present joint work with Chris...

Expander graphs are a staple of theoretical computer science. These are graphs which are both sparse and well connected. They are simple to construct and modify. Therefore they are a central gadget in numerous applications in TCS and combinatorics...

Expander graphs are a staple of theoretical computer science. These are graphs which are both sparse and well connected. They are simple to construct and modify. Therefore they are a central gadget in numerous applications in TCS and combinatorics...

In this talk, I will present several a priori interior and boundary trace estimates for the 3D incompressible Navier–Stokes equation, which recover and extend the current picture of higher derivative estimates in the mixed norm. Then we discuss the...