Improved lowness results for solvable black-box group problems
In order to study the complexity of computational problems that arise from group theory in a general framework, Babai and Szemerédi [4, 2] introduced the theory of black-box groups. They proved that several problems over black-box groups are in the class NP ∩ co-AM, thereby implying that these problems are low (powerless as oracle) for ∑ 2 p and hence cannot be complete for NP unless the polynomial hierarchy collapses.
In , Arvind and Vinodchandran study the counting complexity of a number of computational problems over solvable groups. Using a constructive version of a fundamental structure theorem about finite abelian groups and a randomized algorithm from  for computing generator sets for the commutator series of any solvable group, they prove that these problems are in randomized versions of low complexity counting classes like SPP and LWPP and hence low for the class PP.
In this paper, we improve the upper bounds of  for these problems. More precisely, we avoid the randomized algorithm from  for computing the commutator series. This immediately places all these problems in either SPP or LWPP. These upper bounds imply lowness of these problems for classes other than PP. In particular, SPP is low for all gap-definable counting classes  (PP, C=P, ModkP etc) and LWPP is known to be low for PP and C=P. These results are in favor of the belief that these problems are unlikely to be complete for NP.
Unable to display preview. Download preview PDF.
- 4.L. Babai and M. Szemerédi. On the complexity of matrix group problems I. Proc. 25th IEEE Symposium on Foundations of Computer Science, 229–240, 1984.Google Scholar
- 5.J. L. Balcázar, J. Díaz and J. Gabarró. Structural Complexity — I & II. Springer Verlag, Berlin Hiedelberg, 1988.Google Scholar
- 7.W. Burnside. Theory of Groups of Finite Order, Dover Publications, INC, 1955.Google Scholar
- 10.M. Fellows and N. Koblitz. Self-witnessing polynomial time complexity and prime factorization. Proc. 6th Structure in Complexity Theory Conference, 107–110, 1992.Google Scholar
- 11.M. Furst, J. E. Hopcroft and E. Luks. Polynomial time algorithms for permutation groups. Proc. 21st IEEE Symposium of Foundations of Computer Science, 36–45, 1980.Google Scholar
- 12.M. Hall. The Theory of Groups. Macmillan, New York, 1959.Google Scholar
- 13.C. Hoffmann. Group-Theoretic Algorithms and Graph Isomorphism. Lecture Notes in Computer Science #136, Springer Verlag, 1982.Google Scholar