English

Lower bound for monotone Boolean convolution

Computational Complexity 2020-01-22 v3

Abstract

Any monotone Boolean circuit computing the nn-dimensional Boolean convolution requires at least n2n^2 and-gates. This precisely matches the obvious upper bound.

Keywords

Cite

@article{arxiv.1708.03523,
  title  = {Lower bound for monotone Boolean convolution},
  author = {Mike S. Paterson},
  journal= {arXiv preprint arXiv:1708.03523},
  year   = {2020}
}

Comments

Lemma 5 fails and this seems vital to the current approach