English

On hardness of computing analytic Brouwer degree

Computational Complexity 2025-09-11 v2 Combinatorics Probability

Abstract

We prove that counting the analytic Brouwer degree of rational coefficient polynomial maps in Map(Cd,Cd)\operatorname{Map}(\mathbb C^d, \mathbb C^d) -- presented in degree-coefficient form -- is hard for the complexity class ♯P\operatorname{\sharp P}, in the following sense: if there is a randomized polynomial time algorithm that counts the Brouwer degree correctly for a good fraction of all input instances (with coefficients of bounded height where the bound is an input to the algorithm), then P♯P=BPP\operatorname{P}^{\operatorname{\sharp P}} =\operatorname{BPP}.

Keywords

Cite

@article{arxiv.2307.08724,
  title  = {On hardness of computing analytic Brouwer degree},
  author = {Somnath Chakraborty},
  journal= {arXiv preprint arXiv:2307.08724},
  year   = {2025}
}

Comments

Require major revisions, and will take time

R2 v1 2026-06-28T11:32:50.053Z