research
∙
11/28/2022
Symmetric Formulas for Products of Permutations
We study the formula complexity of the word problem 𝖶𝗈𝗋𝖽_S_n,k : {0,1}^k...
research
∙
12/09/2020
Shrinkage of Decision Lists and DNF Formulas
We establish nearly tight bounds on the expected shrinkage of decision l...
research
∙
12/07/2020
Monotone Circuit Lower Bounds from Robust Sunflowers
Robust sunflowers are a generalization of combinatorial sunflowers that ...
research
∙
04/28/2020
Tree-depth and the Formula Complexity of Subgraph Isomorphism
For a fixed "pattern" graph G, the colored G-subgraph isomorphism proble...
research
∙
10/01/2019
Thresholds in the Lattice of Subspaces of (F_q)^n
Let Q be an ideal (downward-closed set) in the lattice of linear subspac...
research
∙
06/13/2018