The problems seem "innocent", but they are not easy ...

1 Matrix-resistance and log-depth circuits

If not said otherwise, by a “matrix” A we will always mean an n-by-n (0,1) matrix.

The covering number Cov(A) of A is the smallest number r such that all 1-entries of A can be covered by at most r of its (not necessarily disjoint) all-1 submatrices. A complement of A is the matrix co-A = J - A where J is the all-1 matrix.

Example: If In is an identity matrix (has 1’s on the diagonal and 0’s elsewhere else) then Cov(In) = n.

The resistance Res(A) of A is the smallest number r for which there exist r matrices A1,...,Ar such that:

(i) A = A1 + A2 + ... + Ar (sum over the reals, not mod 2), and

(ii) Cov(co-Ai) r for all i.

What makes this measure non-trivial is that we want the covering number of complements co-Ai, not of the matrices Ai themselves, be small. Would we replace (ii) by “Cov(Ai) r for all i”, the resulting measure Res(A) would be trivial: then we would have that Res(In) n12 and, more general, that Res(A) Cov(A)12.

Equivalent definition (can be shown relatively easily): Res(A) is the smallest number r for which it is possible to associate with each row/column x a sequence x = (x1,,xr) of subsets xi of {1,,r} such that:

1. If A[x,y] = 1 then |xi yi| = 0 for precisely one i.

2. If A[x,y] = 0 then |xi yi| > 0 for all i.

Easy counting shows that matrices A with Res(A) about n12 exist!

Proof: There are at most 2 to the power of r2n distinct assignments. But we have 2 to the power of n2 distinct matrices. Since no two distinct matrices can have the same assignment, r2 must be at least n. Q.E.D.

We however need explicit matrices of high resistance. That such matrices must have many 1’s follows form

Lemma 1 If no row of A has more than D ones, then Cov(A) = O((D log n)12).

Problem 2 Exhibit A with Res(A) at least nϵ for an absolute constant ϵ > 0.

Any such matrix would re-solve a 30 years old problem in circuit complexity: give a super-linear lower bound for log-depth circuits (Valiant 1977). See my paper “On graph complexity” on how does it happen.

Problem 3 If A has |A| ones and has no 2 × 2 all-1 submatrix, does then Cov(A) (|A|∕n)ϵ?

Explicit matrices A with |A|≥ n32 ones and no 2 × 2 all-1 submatrices are known. Such are, for example, point-line incidence matrices of finite projective planes PG(q,2) with n = q2 + q + 1. (In fact, these matrices have more nice properties like: any s-by-t submatrix with st > n32 must have at least one 1, meaning that the corresponding bipartite graph is a good expander.) Thus, a positive answer to Problem 2 would imply such an answer for Problem 1. (See our paper “On covering graphs by complete bipartite subgraphs” with Sasha Kulikov on how this happens.)

2 Matrix-resistance and communication complexity

Say that a matrix A has small resistance if Res(A) does not exceed 2 to the power of (log log n)c for a constant c independent of n. Otherwise, A has large resistance.

Problem 4 Does there exists a matrix of small resistance whose complement has large resistance?

Note that here we do not need the matrix be explicitly given—a mere existence would be enough!

A positive answer would separate the second level of the communication complexity hierarchy, show that Σ2Π2, and hence resolve a more than 20 years old problem in communication complexity (Babai, Frankl, Simon 1986).

3 Min-Rank Conjecture and circuits for linear transformations

Let M be an n-by-n matrix with entries in {0,1,*}. A completion of M is a (0,1) matrix obtained by setting the stars to constants 0 and 1. The min-rank mr(M) of M is the smallest possible rank (over the reals) of a completion of M. A canonical completion of M is obtained by setting all stars to 0.

Let now F = (f1,,fn) : {0,1}n →{0,1}n be a sequence of boolean functions fi : {0,1}n →{0,1} about which we only know the following: fi(x1,,xn) can only depend on those variables xj for which M[i,j] = *. That is, fi does not depend on those variables on which the ith row of M specified values (0 or 1).

Conjecture 5 (Min-Rank Conjecture) Let A be the canonical completion of M. The number of solutions of the system of equations Ax = F(x) does not exceed 2 to the power of n - c mr(M), where c > 0 is a constant.

If true, this would imply that using non-linear gates cannot help much when computing linear transformations, at least in log-depth circuits. See our paper “Min-rank conjecture for log-depth circuits” with Georg Schnitger for details.