Relationships Among PL, #L, and the Determinant

@article{Allender1996RelationshipsAP,
  title={Relationships Among PL, \#L, and the Determinant},
  author={Eric Allender and Mitsunori Ogihara},
  journal={RAIRO Theor. Informatics Appl.},
  year={1996},
  volume={30},
  pages={1-21}
}
Recent results by Toda, Vinay, Damm, and Valiant have shown that the complexity of the determinant is characterized by the complexity ofcounting the number ofaccepting computations ofa nondeterministic logspace-bounded machine. (This class of functions is known as #L) By using that characterization and by establishing a few elementary closure properties, we give a very simple proof of theorem of Jung, showing that probabilistic logspace-bounded (PL) machines lose none of their computational… 
Nondeterministic NC 1 Computation.
TLDR
It is proved that boolean circuits, algebraic circuits, programs over nondeterministic-nite automata, and programs over constant integer matrices yield equivalent deenitions of the latter three classes, and closure properties are investigated.
Unambiguity in Logspace – a Survey
TLDR
An overview over three different, increasingly more restrictive notions of unambiguity and their relationship with deterministic and nondeterministic logspace is given.
Isolation, Matching, and Counting Uniform and Nonuniform Upper Bounds
TLDR
It is shown that the perfect matching problem is in the complexity class SPL (in the nonuniform setting), and if there are problems in DSPACE(n) requiring exponential-size circuits, then all of the results hold in the uniform setting.
Verifying the determinant in parallel
TLDR
It is proved that computing the rank is equivalent under AC0 reductions to verifying the determinant, and it is shown that for functions, there exists an NC1 checker even if they are hard to verify, and that they can be extended into functions whose verification is easy.
Arithmetic Circuits and Counting Complexity Classes
TLDR
Innovative work by Kabanets and Impagliazzo shows that, in some cases, providing lower bounds on arithmetic circuit size can yield consequences about Boolean complexity classes, which are intimately linked to the arithmetic complexity of the Permanent.
Bounded Depth Arithmetic Circuits: Counting and Closure
TLDR
This paper characterize #AC0 in terms of counting paths in a family of bounded-width graphs and resolves several questions regarding the closure properties of # AC0 and GapAC0.
Counting Classes and the Fine Structure between NC1 and L
TLDR
The structure of classes in between NC1 and L based on counting functions or, equivalently, based on arithmetic circuits is examined, and the upper bound L is obtained for all these hierarchies.
Arithmetic Circuits and the Hadamard Product of Polynomials
TLDR
It is shown that noncommutative polynomial identity testing for algebraic branching programs over rationals is complete for the logspace counting class $\ceql$, and over fields of characteristic $p$ the problem is in $\ModpL/\Poly$.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 42 REFERENCES
Adaptive logspace and depth-bounded reducibilities
  • J. Balcázar
  • Computer Science
    [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference
  • 1991
The author discusses a number of results regarding the study of the computational power of depth-bounded reducibilities, their use to classify the complexity of computational problems, and their
Counting auxiliary pushdown automata and semi-unbounded arithmetic circuits
  • V. Vinay
  • Computer Science
    [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference
  • 1991
TLDR
One of the highlights of the present work is an exact characterization of the important class DET, which is shown that DET is exactly the class of functions that can be computed as the difference between the outputs of two counting logspace machines.
A Very Hard log-Space Counting Class
Two Applications of Inductive Counting for Complementation Problems
TLDR
It is shown that small numbers of “role switches” in two- person pebbling can be eliminated and a general result that shows closure under complementation of classes defined by semi-unbounded fan-in circuits is shown.
Depth reduction for noncommutative arithmetic circuits
TLDR
The results show that OptSACi is contained in AC1, and other results relating Boolean and arithmetic circuit complexity are proved.
PP is closed under intersection
TLDR
It is shown that PP is closed under a variety of polynomial-time truth-table reductions and in complexity theory include the definite collapse and (assuming P ? PP) separation of certain query hierarchies over PP.
Gap-Definable Counting Classes
The Power of the Middle Bit of a #P Function
This paper studies the class MP of languages which can be solved in polynomial time with the additional information of one bit from a #P function ?. The middle bit of ?(x) is shown to be as powerful
Complexity classes defined by counting quantifiers
TLDR
The polynomial-time counting hierarchy, a hierarchy of complexity classes related to the notion of counting, is studied, settling many open questions dealing with oracle characterizations, closure under Boolean operations, and relations with other complexity classes.
...
1
2
3
4
5
...