research
∙
05/30/2023
On the algebraic proof complexity of Tensor Isomorphism
The Tensor Isomorphism problem (TI) has recently emerged as having conne...
share
research
∙
10/12/2022
Unitary property testing lower bounds by polynomials
We study unitary property testing, where a quantum algorithm is given qu...
research
∙
11/28/2019
Schur Polynomials do not have small formulas if the Determinant doesn't!
Schur Polynomials are families of symmetric polynomials that have been c...
research
∙
11/26/2019
A Quadratic Lower Bound for Algebraic Branching Programs and Formulas
We show that any Algebraic Branching Program (ABP) computing the polynom...
research
∙
11/26/2019