Abstract:We fully determine the communication complexity of approximating matrix rank, over any finite field $\mathbb{F}$. We study the most general version of this problem, where $0\leq r<R\leq n$ are given integers, Alice and Bob's inputs are matrices $A,B\in\mathbb{F}^{n\times n}$, respectively, and they need to distinguish between the cases $\mathrm{rk}(A+B)=r$ and $\mathrm{rk}(A+B)=R$. We show that this problem has randomized communication complexity $\Omega(1+r^{2}\log|\mathbb{F}|)$. This is optimal in a strong sense because $O(1+r^{2}\log|\mathbb{F}|)$ communication is sufficient to determine, for arbitrary $A,B$, whether $\mathrm{rk}(A+B)\leq r$. Prior to our work, lower bounds were known only for consecutive integers $r$ and $R$, with no implication for the approximation of matrix rank. Our lower bound holds even for quantum protocols and even for error probability $\frac{1}{2}-\frac{1}{4}|\mathbb{F}|^{-r/3}$, which too is virtually optimal because the problem has a two-bit classical protocol with error $\frac{1}{2}-\Theta(|\mathbb{F}|^{-r})$. As an application, we obtain an $\Omega(\frac{1}{k}\cdot n^{2}\log|\mathbb{F}|)$ space lower bound for any streaming algorithm with $k$ passes that approximates the rank of an input matrix $M\in\mathbb{F}^{n\times n}$ within a factor of $\sqrt{2}-\delta$, for any $\delta>0$. Our result is an exponential improvement in $k$ over previous work. We also settle the randomized and quantum communication complexity of several other linear-algebraic problems, for all settings of parameters. This includes the determinant problem (given matrices $A$ and $B$, distinguish between the cases $\mathrm{det}(A+B)=a$ and $\mathrm{det}(A+B)=b$, for fixed field elements $a\ne b)$ and the subspace sum and subspace intersection problem (given subspaces $S$ and $T$ of known dimensions $m$ and $\ell$, respectively, approximate the dimensions of $S+T$ and $S\cap T$).

Privacy-Preserving Matrix Rank Computation and Its Applications

Privacy Preserving Point-of-Interest Recommendation Using Decentralized Matrix Factorization.

On the Privacy of Matrix Masking-Based Verifiable (Outsourced) Computation

Information-Theoretically Private Matrix Multiplication From MDS-Coded Storage

Verifiable Private Multi-Party Computation: Ranging and Ranking

An Efficient Matrix Multiplication with Enhanced Privacy Protection in Cloud Computing and Its Applications

The Communication Complexity of Approximating Matrix Rank

Distributed Matrix-Vector Multiplication with Sparsity and Privacy Guarantees

Implementing quantum anonymous multi-party ranking: The influence and application of the law of large numbers

Private and Secure Distributed Matrix Multiplication With Flexible Communication Load

A Systematic Approach Towards Efficient Private Matrix Multiplication

EPVM: efficient and publicly verifiable computation for matrix multiplication with privacy preservation

A Communication-Efficient Distributed Matrix Multiplication Scheme with Privacy, Security, and Resiliency

Effective Lower Bounds on the Matrix Rank and Their Applications

Secure Distributed Matrix Multiplication with Precomputation

A Rank Equality Of Matrices And Its Application

Rate-Optimal Rank Aggregation with Private Pairwise Rankings

The Application of Differential Privacy for Rank Aggregation: Privacy and Accuracy

High-Performance Privacy-Preserving Matrix Completion for Trajectory Recovery

Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations