TY - JOUR

T1 - The (non)enumerability of the determinant and the rank

AU - Beygelzimer, Alina

AU - Ogihara, Mitsunori

N1 - Funding Information:
∗ The first author was supported in part by Grants NSF-DUE-9980943, NIH-RO1-AG18231, NIH-P30-AG18254, and an Alzheimer’s Association Grant PIO-1999-1519.

PY - 2003/7

Y1 - 2003/7

N2 - We investigate the complexity of enumerative approximation of two fundamental problems in linear algebra, computing the rank and the determinant of a matrix. We show that both are as hard to approximate (in the enumerative sense) as to compute exactly. In particular, if there exists an enumerator that, given a matrix over some finite field, outputs a list of constantly many numbers, one of which is guaranteed to be the rank of the matrix, then it can be determined in AC0 (with oracle access to the enumerator) which of these numbers is the rank. Thus, for example, if the enumerator is an FL function, then the problem of computing the rank is in FL. For the determinant function we establish the following two results: (1) If the determinant is poly-enumerable in logspace, then it can be computed exactly in FL. (2) For any prime p, if computing the determinant modulo p is (p - 1 )-enumerable in FL (i.e., if one could eliminate a single possible value for the determinant modulo p), then the determinant modulo p can be computed in FL. Because there is a close connection between these two functions and logspace counting classes, we hope that our results can give a better understanding of the power of counting in logspace, and the relationships among the complexity classes sandwiched between NL and uniform TC1.

AB - We investigate the complexity of enumerative approximation of two fundamental problems in linear algebra, computing the rank and the determinant of a matrix. We show that both are as hard to approximate (in the enumerative sense) as to compute exactly. In particular, if there exists an enumerator that, given a matrix over some finite field, outputs a list of constantly many numbers, one of which is guaranteed to be the rank of the matrix, then it can be determined in AC0 (with oracle access to the enumerator) which of these numbers is the rank. Thus, for example, if the enumerator is an FL function, then the problem of computing the rank is in FL. For the determinant function we establish the following two results: (1) If the determinant is poly-enumerable in logspace, then it can be computed exactly in FL. (2) For any prime p, if computing the determinant modulo p is (p - 1 )-enumerable in FL (i.e., if one could eliminate a single possible value for the determinant modulo p), then the determinant modulo p can be computed in FL. Because there is a close connection between these two functions and logspace counting classes, we hope that our results can give a better understanding of the power of counting in logspace, and the relationships among the complexity classes sandwiched between NL and uniform TC1.

UR - http://www.scopus.com/inward/record.url?scp=0041993888&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0041993888&partnerID=8YFLogxK

U2 - 10.1007/s00224-003-1091-9

DO - 10.1007/s00224-003-1091-9

M3 - Article

AN - SCOPUS:0041993888

VL - 36

SP - 359

EP - 374

JO - Theory of Computing Systems

JF - Theory of Computing Systems

SN - 1432-4350

IS - 4

ER -