Information Complexity: an Overview Rotem Oshman, Princeton CCI Based on work by Braverman, Barak, Chen, Rao, and others Charles River Science of Information.

Slides:



Advertisements
Similar presentations
Fast Moment Estimation in Data Streams in Optimal Space Daniel Kane, Jelani Nelson, Ely Porat, David Woodruff Harvard MIT Bar-Ilan IBM.
Advertisements

1+eps-Approximate Sparse Recovery Eric Price MIT David Woodruff IBM Almaden.
The Data Stream Space Complexity of Cascaded Norms T.S. Jayram David Woodruff IBM Almaden.
The Polynomial Method In Quantum and Classical Computing Scott Aaronson (MIT) OPEN PROBLEM.
Estimating the Sortedness of a Data Stream Parikshit GopalanU T Austin T. S. JayramIBM Almaden Robert KrauthgamerIBM Almaden Ravi KumarYahoo! Research.
Numerical Linear Algebra in the Streaming Model Ken Clarkson - IBM David Woodruff - IBM.
Xiaoming Sun Tsinghua University David Woodruff MIT
Property Testing and Communication Complexity Grigory Yaroslavtsev
Mechanism Design, Machine Learning, and Pricing Problems Maria-Florina Balcan.
Summarizing Distributed Data Ke Yi HKUST += ?. Small summaries for BIG data  Allow approximate computation with guarantees and small space – save space,
The Role of Communication Complexity in Distributed Computing Rotem Oshman.
Uniqueness of Optimal Mod 3 Circuits for Parity Frederic Green Amitabha Roy Frederic Green Amitabha Roy Clark University Akamai Clark University Akamai.
Vladimir(Vova) Braverman UCLA Joint work with Rafail Ostrovsky.
ABSTRACT We consider the problem of computing information theoretic functions such as entropy on a data stream, using sublinear space. Our first result.
1 Information complexity and exact communication bounds April 26, 2013 Mark Braverman Princeton University Based on joint work with Ankit Garg, Denis Pankratov,
Parallel Algorithms for Geometric Graph Problems Grigory Yaroslavtsev 361 Levine STOC 2014, joint work with Alexandr Andoni, Krzysztof.
Chris Beck, Russell Impagliazzo, Shachar Lovett. History of Sampling Problems Earliest uses of randomness in algorithms were for sampling, not decision.
Algorithms for Distributed Functional Monitoring Ke Yi HKUST Joint work with Graham Cormode (AT&T Labs) S. Muthukrishnan (Google Inc.)
Derandomization: New Results and Applications Emanuele Viola Harvard University March 2006.
Advanced Computer Graphics (Spring 2006) COMS 4162, Lecture 3: Sampling and Reconstruction Ravi Ramamoorthi
Avraham Ben-Aroya (Tel Aviv University) Oded Regev (Tel Aviv University) Ronald de Wolf (CWI, Amsterdam) A Hypercontractive Inequality for Matrix-Valued.
Reverse Hashing for Sketch Based Change Detection in High Speed Networks Ashish Gupta Elliot Parsons with Robert Schweller, Theory Group Advisor: Yan Chen.
Time-Decaying Sketches for Sensor Data Aggregation Graham Cormode AT&T Labs, Research Srikanta Tirthapura Dept. of Electrical and Computer Engineering.
Dept. of Computer Science Distributed Computing Group Asymptotically Optimal Mobile Ad-Hoc Routing Fabian Kuhn Roger Wattenhofer Aaron Zollinger.
Distributed Computing with Adaptive Heuristics Michael Schapira Princeton Innovations in Computer Science 09 January 2011 Partially supported by NSF Aaron.
A survey on stream data mining
Yet another algorithm for dense max cut - go greedy Claire Mathieu Warren Schudy (presenting) Brown University Computer Science SODA 2008.
Maria-Florina Balcan Learning with Similarity Functions Maria-Florina Balcan & Avrim Blum CMU, CSD.
Sketching and Streaming Entropy via Approximation Theory Nick Harvey (MSR/Waterloo) Jelani Nelson (MIT) Krzysztof Onak (MIT)
1 Computational Complexity CPSC 468b, Spring 2007 Time: Tu & Th, 1:00-2:15 pm Room: AKW 500 Dist. Group: IV (not Natural Sci.) Satisfies “QR”
Advanced Computer Graphics (Spring 2005) COMS 4162, Lecture 3: Sampling and Reconstruction Ravi Ramamoorthi
Quantum Algorithms II Andrew C. Yao Tsinghua University & Chinese U. of Hong Kong.
A Brief Introduction To The Theory of Computer Science and The PCP Theorem By Dana Moshkovitz Faculty of Mathematics and Computer Science The Weizmann.
Depth-Bounded Communication Complexity for Distributed Computation Student: Jie-Hong Jiang Mentor: Prof. Robert Brayton EE249 Class Project 12/3/2002.
1 Algorithms for Large Data Sets Ziv Bar-Yossef Lecture 13 June 22, 2005
Triangle Inequality Theorem Communication Tools. What is the Triangle Inequality Theorem? In mathematics, the triangle inequality states that for any.
CLASSIFYING SIMULATORS Canada 10 iQST, Dongsheng Wang Calgary, 12/06/2015.
Tennessee Technological University1 The Scientific Importance of Big Data Xia Li Tennessee Technological University.
1 Information and interactive computation January 16, 2012 Mark Braverman Computer Science, Princeton University.
Mohamed Hefeeda 1 School of Computing Science Simon Fraser University, Canada Optimal Partitioning of Fine-Grained Scalable Video Streams Mohamed Hefeeda.
Communication Complexity Rahul Jain Centre for Quantum Technologies and Department of Computer Science National University of Singapore. TexPoint fonts.
Information Theory for Data Streams David P. Woodruff IBM Almaden.
2012/1/25 Complete Problem for Perfect Zero-Knowledge Quantum Interactive Proof Jun Yan State Key Laboratory of Computer Science, Institute.
Submissions Stats 119 submissions – Paris ‘09: 113 (deadline after STOC) Prague '06: 87 Aarhus '03: 65 Florence '00: junk submissions 34 papers accepted.
Computation Theory 主講人:虞台文. Content Overview The Limitation of Computing Complexities Textbooks & Grading.
Introduction to computing Why study computer science? It encompasses many things. There is a multiplicity of university and industry courses available.
Polynomials Emanuele Viola Columbia University work partially done at IAS and Harvard University December 2007.
Massive Data Sets and Information Theory Ziv Bar-Yossef Department of Electrical Engineering Technion.
Calculating frequency moments of Data Stream
Interactive Channel Capacity. [Shannon 48]: A Mathematical Theory of Communication An exact formula for the channel capacity of any noisy channel.
Gillat Kol (IAS) joint work with Anat Ganor (Weizmann) Ran Raz (Weizmann + IAS) Exponential Separation of Information and Communication.
Ankit Garg Princeton Univ. Joint work with Mark Braverman Young Kun Ko Princeton Univ. Princeton Univ. Jieming Mao Dave Touchette Princeton Univ. Univ.
The Message Passing Communication Model David Woodruff IBM Almaden.
Sketching complexity of graph cuts Alexandr Andoni joint work with: Robi Krauthgamer, David Woodruff.
Imperfectly Shared Randomness
Information Complexity Lower Bounds
Classification Analytical methods classical methods
Turing Machines Space bounds Reductions Complexity classes
Circuit Lower Bounds A combinatorial approach to P vs NP
Communication Amid Uncertainty
Approximate Matchings in Dynamic Graph Streams
Sublinear Algorithmic Tools 2
Turnstile Streaming Algorithms Might as Well Be Linear Sketches
Umans Complexity Theory Lectures
Near-Optimal (Euclidean) Metric Compression
States… Associative Property Examples Non-Examples.
Classical Algorithms from Quantum and Arthur-Merlin Communication Protocols Lijie Chen MIT Ruosong Wang CMU.
Imperfectly Shared Randomness
On The Quantitative Hardness of the Closest Vector Problem
Lecture 15: Least Square Regression Metric Embeddings
Presentation transcript:

Information Complexity: an Overview Rotem Oshman, Princeton CCI Based on work by Braverman, Barak, Chen, Rao, and others Charles River Science of Information Day 2014

Classical Information Theory Shannon ‘48, A Mathematical Theory of Communication:

Motivation: Communication Complexity Yao ‘79, “Some complexity questions related to distributive computing”

Motivation: Communication Complexity Yao ‘79, “Some complexity questions related to distributive computing”

Applications: – Circuit complexity – Streaming algorithms – Data structures – Distributed computing – Property testing – … Motivation: Communication Complexity

Example: Streaming Lower Bounds Streaming algorithm: Reduction from communication complexity [AMS’97] data algorithm How much space is required to approximate f(data)?

Example: Streaming Lower Bounds Streaming algorithm: Reduction from communication complexity [Alon, Matias, Szegedy ’99] data algorithm State of the algorithm

Advances in Communication Complexity

Extending Information Theory to Interactive Computation

Information Cost

Information Cost: Basic Properties

Information vs. Communication

Information vs. Amortized Communication

Direct Sum Theorem [BR‘10]

Compression

Using Information Complexity to Prove Communication Lower Bounds

Extending IC to Multiple Players Recent interest in multi-player number-in- hand communication complexity Motivated by “big data”: – Streaming and sketching, e.g., [Woodruff, Zhang ‘11,’12,’13] – Distributed learning, e.g., [Awasthi, Balcan, Long ‘14]

Extending IC to Multiple Players

Information Complexity on Private Channels

Extending IC to Multiple Players

Conclusion Information complexity extends classical information theory to the interactive setting Picture is much less well-understood Powerful tool for lower bounds Fascinating open problems: – Compression – Information complexity for multi-player computation, quantum communication, …