te testing sting th the e
play

Te Testing sting th the e Bo Boolean lean Ran Rank Michal - PowerPoint PPT Presentation

Te Testing sting th the e Bo Boolean lean Ran Rank Michal Parnas Joint work with: Dana Ron, Adi Shraibman The Real rank The real rank of a matrix M n n of size n n: Maximal # independent rows/columns of M. Minimal r such


  1. Te Testing sting th the e Bo Boolean lean Ran Rank Michal Parnas Joint work with: Dana Ron, Adi Shraibman

  2. The Real rank The real rank of a matrix M n  n of size n  n: • Maximal # independent rows/columns of M. • Minimal r such that M n  n can be decomposed as:         M X Y    n n n r r n • Computing exactly in poly time using Gaussian elimination.

  3. Testing the Real Rank Property Testing Algorithm: Does M have rank  d or M is  -far from rank  d (at least  -fraction of the entries should be modified to have rank  d). • Krauthgamer , Sasson 2003: non-adaptive algorithm, query complexity O(d 2 /  2 ). • Wang, and Woodruff, 2014: adaptive algorithm , query complexity O(d 2 /  ). • Balcan, Woodruff, Zhang 2018: non-adaptive algorithm, query complexity Õ(d 2 /  ).

  4. The Boolean rank • The Boolean rank of a Boolean matrix M n  n is the minimal r such that:         M X Y    n n n r r n X n  r and Y r  n are Boolean, and operations are Boolean ( 1 + 1 = 1). • Computing Boolean rank exactly is NP-hard. • Testing algorithms for real rank can’t be adapted to Boolean rank, since use linearity. Using theorem of Alon, Fischer, Newman 2007: Boolean rank  d every submatrix of M has  2 d distinct rows/columns.   d  4 d O ( 2 ) Boolean rank is testable with queries. 2 /

  5. Our Main Result Theorem: There exists a 1-sided error testing algorithm for the Boolean rank   ~ 4 /  6 with polynomial query complexity of O d

  6. Alternative Defi finitions for Boolean rank • Minimal # monochromatic rectangles to cover all 1 ’s of M. 1 0 1 0 1 1 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 Boolean rank 2 Boolean rank 2 • Minimal # bipartite bicliques to cover all edges of bipartite graph represented by M. • Boolean rank related to non-deterministic communication complexity of M.

  7. Testing the Boolean Rank Algorithm (Test M for Boolean rank d, given d and  ):   2 d d   • Select uniformly, independently, at random entries from M . O log     3   • Let U be subset of entries selected, and let W be submatrix of M induced by U . • Accept if W has Boolean rank  d, otherwise reject.   ~ 4 /  Query complexity: 6 O d M = Running time: exponential in sample size since problem is NP-hard.

  8. Proof of f Correctness Theorem: The Algorithm is a 1-sided error testing algorithm for the Boolean rank. • The algorithm always accepts M if it has Boolean rank  d. 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 M = 1 1 1 1 1 1 1 1 1 1 • If M is  -far from Boolean rank d then algorithm rejects with prob.  2/3.

  9. Basic Concept – Compatible entries y 1 y 2 1-entries (x 1 ,y 1 ) and (x 2 ,y 2 ) are compatible x 2 1 1 if M[x 1 ,y 2 ] = M[x 2 ,y 1 ] = 1 . x 1 1 1 Compatible entries can be in same monochromatic rectangle.

  10. Skeletons and beneficial entries Czumaj, Sohler 2005: combinatorial programs. Separating probabilistic analysis from combinatorial structure Parnas, Ron, Rubinfeld 2006: Tolerant testing, skeletons.

  11. Skeletons and beneficial entries Czumaj, Sohler 2005: combinatorial programs. Separating probabilistic analysis from combinatorial structure Parnas, Ron, Rubinfeld 2006: Tolerant testing, skeletons. Incompatible with all 1 1 1 1 0 1 1 1 1 1 0 0 1 1 A skeleton for M is a multiset S = {S 1 , … ,S d } 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 where each S i contains compatible 1-entries 1 1 1 1 0 1 1 1 1 1 0 1 Incompatible 0 1 0 1 with purple (can be in same monochromatic rectangle). 1 1 1 1 0 0 1 1 0 A 1-entry (x,y) is beneficial for skeleton S, if for every 1  i  d: Skeleton becomes • (x,y) is incompatible with S i , or more constrained. • Adding (x,y) to S i reduces significantly #entries that can join S i

  12. Proof Sketch for  -far M Main Claim: It is possible to define skeletons and beneficial entries such that: 1. M is  -far from Boolean rank at most d every skeleton has  2 n 2 beneficial entries. 2. Skeletons are small: Size is O(d 2 /  ). Using claim W   2 d d M = For a sample of size with prob.  2/3,   O log     3   Boolean rank of W is > d, and algorithm rejects as required.

  13. zero heavy row/column   Row x is zero-heavy for if there are columns with zeros in row x, S i n 4 d that do not have zeros in rows of entries from S i y 1 1 0 1 1 0 1 1 1 1 Rows of S i 1 0 1 1 1 1 1 1 1 1 x 0 1 0 0 0 1 0 1 0 1 1 1 Adding a 1-entry to S i from a zero-heavy row, reduces significantly #entries that can join S i

  14. Skeletons and Beneficial entries A 1-entry can be added to if: S i (x,y) y • (x,y) is compatible with each entry in S i , and 1 1 0 1 1 0 1 1 1 1 • row x or column y is zero-heavy for S i 1 0 1 1 1 1 1 1 1 1 x 0 1 0 0 0 0 1 0 1 1 1 A 1-entry is beneficial for skeleton S = {S 1 , … ,S d }, if for every 1  i  d, the it can be added to S i or it is incompatible with S i

  15. Proof of f main claim Main Claim: 1. M is  -far from Boolean rank at most d every skeleton has  2 n 2 beneficial entries. 2. Skeletons are small: Size is O(d 2 /  ). 1. Assume there are <  2 n 2 beneficial entries modify M so that it has Boolean rank  d. 2. Only entries in zero-heavy rows/columns are added to skeleton every entry added, disqualifies many other entries.

  16. Open Problems • Binary rank: 1 1 0 0 Minimal # monochromatic rectangles to partition all 1 ’s of M. Binary rank 3 1 1 1 0 0 1 1 0 Minimal # bipartite bicliques to partition all edges 0 0 0 0 of bipartite graph represented by M. Related to deterministic communication complexity of M.    2 2 d Theorem: Binary rank is testable with queries. O / Polynomial query complexity testing algorithm for binary rank? • Lower bounds on query complexity for Boolean/binary rank. • Other rank functions: non-negative rank?

  17. Thank you!

Recommend


More recommend