BIROn - Birkbeck Institutional Research Online

    Arithmetic versions of constant depth circuit complexity classes

    Chen, Hubie (2001) Arithmetic versions of constant depth circuit complexity classes. Electronic Colloquium on Computational Complexity (095), ISSN 1433-8092.

    Full text not available from this repository.


    The boolean circuit complexity classes AC^0 \subseteq AC^0[m] \subseteq TC^0 \subseteq NC^1 have been studied intensely. Other than NC^1, they are defined by constant-depth circuits of polynomial size and unbounded fan-in over some set of allowed gates. One reason for interest in these classes is that they contain the boundary marking the limits of current lower bound technology: such technology exists for AC^0 and some of the classes AC^0[m], while the other classes AC^0[m] as well as TC^0 lack such technology. Continuing a line of research originating from Valiant's work on the counting class #P, the arithmetic circuit complexity classes #AC^0 and #NC^1 have recently been studied. In this paper, we define and investigate the classes #AC^0[m] and #TC^0. Just as the boolean classes AC^0[m] and TC^0 give a refined view of NC^1, our new arithmetic classes, which fall into the inclusion chain #AC^0 \subseteq #AC^0[m] \subseteq #TC^0 \subseteq #NC^1, refine #NC^1. These new classes (along with #AC^0) are also defined by constant-depth circuits, but the allowed gates compute arithmetic functions. We also introduce the classes DiffAC^0[m] (differences of two AC^0[m] functions), which generalize the class DiffAC^0 studied in previous work. We study the structure of three hierarchies: the #AC^0[m] hierarchy, the DiffAC^0[m] hierarchy, and a hierarchy of language classes. We prove class separations and containments where possible, and demonstrate relationships among the various hierarchies. For instance, we prove that the hierarchy of classes #AC^0[m] has exactly the same structure as the hierarchy of classes AC^0[m]: AC^0[m] \subseteq AC^0[m'] iff #AC^0[m] \subseteq #AC^0[m'] We also investigate closure properties of our new classes, which generalize those appearing in previous work on #AC^0 and DiffAC^0.


    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 09 Mar 2021 18:13
    Last Modified: 09 Aug 2023 12:50


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item