new direct product results in communication complexity

14
New Direct Product results in Communication Complexity Rahul Jain Centre for Quantum Technologies and Department of Computer Science National University of Singapore.

Upload: jania

Post on 25-Feb-2016

32 views

Category:

Documents


1 download

DESCRIPTION

New Direct Product results in Communication Complexity. Rahul Jain Centre for Quantum Technologies and Department of Computer Science National University of Singapore. TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A A A A A A A A A A A. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: New Direct Product results in Communication Complexity

New Direct Product results in Communication Complexity

Rahul Jain

Centre for Quantum Technologies andDepartment of Computer ScienceNational University of Singapore.

Page 2: New Direct Product results in Communication Complexity

Direct Product

x1; : : :;xk y1; : : : ;yk

f µ X £ Y £ Z

Let there be ERROORR!

Direct Product : Is the trivial protocol essentially optimal ?

Can we solve k copies faster ?

Open: Rpub1¡ 2¡ ( k ) (f k) = (k ¢Rpub

² (f )) ?

Task: Output z1; : : :zk 2 Z k such that for all i;(xi ;yi ;zi ) 2 f

Page 3: New Direct Product results in Communication Complexity

Our Results

x1; : : :;xk y1; : : : ;yk

x1; :: : ;xk y1; :: : ;yk

f µ X £ Y £ Z

Application: Direct product for

(First shown by [Klauck 10])

Page 4: New Direct Product results in Communication Complexity

One-Way Case

Page 5: New Direct Product results in Communication Complexity

New Characterization

¸ has error at most ²¸ is one-way for ¹

x1x2x3...

y1 y2 y3 ¢¢¢

...

¢¢¢

rec1;¹² (f ) = minf log 1

¹ (R ) g

x1x2x3...

y1 y2 y3 ¢¢¢

...

¢¢¢

Page 6: New Direct Product results in Communication Complexity

New Characterization

Use message compression of [Braverman, Rao 10] to get a one-way protocol with communication

Page 7: New Direct Product results in Communication Complexity

Message Compression[Braverman, Rao 10]

Page 8: New Direct Product results in Communication Complexity

Direct Product

Page 9: New Direct Product results in Communication Complexity

Two-way casef µ X £ Y £ Z

¸ has error at most ²

x1x2x3...

y1 y2 y3

rec¹² (f ) = minf log 1

¹ (R ) g

¢¢¢

...

¢¢¢x1x2x3...

y1 y2 y3 ¢¢¢

...

¢¢¢

¸ is message-like for ¹

Page 10: New Direct Product results in Communication Complexity

ApplicationDirect Product for Set Disjointness

[Razborov 92]

Our result

Page 11: New Direct Product results in Communication Complexity

Thanks !

Questions ?Holy Grail: Rpub

1¡ 2¡ ( k ) (f k) = (k ¢Rpub² (f )) ?

En route:

Page 12: New Direct Product results in Communication Complexity
Page 13: New Direct Product results in Communication Complexity
Page 14: New Direct Product results in Communication Complexity