Abstract
Three decades of research in communication complexity have led to the invention of a number of techniques to lower bound randomized communication complexity. The majority of these techniques involve properties of large submatrices (rectangles) of the truth-table matrix defining a communication problem. The only technique that does not quite fit is information complexity, which has been investigated over the last decade. Here, we connect information complexity to one of the most powerful “rectangular” techniques: the recently-introduced smooth corruption (or “smooth rectangle”) bound. We show that the former subsumes the latter under rectangular input distributions.
As an application, we obtain an optimal Ω(n) lower bound on the information complexity—under the uniform distribution—of the so-called orthogonality problem (ORT), which is in turn closely related to the much-studied Gap-Hamming-Distance problem (GHD). The proof of this bound is along the lines of recent communication lower bounds for GHD, but we encounter a surprising amount of additional technical detail.
Work supported in part by NSF Grant IIS-0916565.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ablayev, F.: Lower bounds for one-way probabilistic communication complexity and their application to space complexity. Theoretical Computer Science 175(2), 139–159 (1996)
Bar-Yossef, Z., Jayram, T.S., Kumar, R., Sivakumar, D.: An information statistics approach to data stream and communication complexity. J. Comput. Syst. Sci. 68(4), 702–732 (2004)
Barak, B., Braverman, M., Chen, X., Rao, A.: How to compress interactive communication. In: Proc. 41st Annual ACM Symposium on the Theory of Computing, pp. 67–76 (2010)
Beame, P., Pitassi, T., Segerlind, N., Wigderson, A.: A strong direct product theorem for corruption and the multiparty communication complexity of disjointness. Comput. Complexity 15(4), 391–432 (2006)
Braverman, M., Weinstein, O.: A Discrepancy Lower Bound for Information Complexity. In: Gupta, A., et al. (eds.) A. Gupta et al (Eds.): APPROX/RANDOM 2012. LNCS, vol. 7408, pp. 459–470. Springer, Heidelberg (2012)
Chakrabarti, A., Kondapally, R., Wang, Z.: Information complexity versus corruption and applications to orthogonality and gap-hamming. CoRR abs/1205.0968 (2012)
Chakrabarti, A., Regev, O.: An optimal lower bound on the communication complexity of gap-hamming-distance. In: Proc. 43rd Annual ACM Symposium on the Theory of Computing, pp. 51–60 (2011)
Chakrabarti, A., Shi, Y., Wirth, A., Yao, A.C.: Informational complexity and the direct sum problem for simultaneous message complexity. In: Proc. 42nd Annual IEEE Symposium on Foundations of Computer Science, pp. 270–278 (2001)
Cover, T.M., Thomas, J.A.: Elements of Information Theory, 2nd edn. Wiley-Interscience [John Wiley & Sons], Hoboken, NJ (2006)
Feller, W.: An Introduction to Probability Theory and its Applications. John Wiley, New York (1968)
Indyk, P., Woodruff, D.P.: Tight lower bounds for the distinct elements problem. In: Proc. 45th Annual IEEE Symposium on Foundations of Computer Science, pp. 283–289 (2003)
Jain, R., Klauck, H.: The partition bound for classical communication complexity and query complexity. In: Proc. 25th Annual IEEE Conference on Computational Complexity, pp. 247–258 (2010)
Jain, R., Pereszlényi, A., Yao, P.: A direct product theorem for bounded-round public-coin randomized communication complexity. CoRR abs/1201.1666 (2012)
Jain, R., Radhakrishnan, J., Sen, P.: A Direct Sum Theorem in Communication Complexity via Message Compression. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 300–315. Springer, Heidelberg (2003)
Jain, R., Radhakrishnan, J., Sen, P.: A property of quantum relative entropy with an application to privacy in quantum communication. J. ACM 56(6) (2009)
Jayram, T.S., Kumar, R., Sivakumar, D.: Two applications of information complexity. In: Proc. 35th Annual ACM Symposium on the Theory of Computing, pp. 673–682 (2003)
Kerenidis, I., Laplante, S., Lerays, V., Roland, J., Xiao, D.: Lower bounds on information complexity via zero-communication protocols and applications. Technical Report TR12-038, ECCC (2012)
Klauck, H.: Rectangle size bounds and threshold covers in communication complexity. In: Proc. 18th Annual IEEE Conference on Computational Complexity, pp. 118–134 (2003)
Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997)
Lee, T., Shraibman, A., Špalek, R.: A direct product theorem for discrepancy. In: Proc. 23rd Annual IEEE Conference on Computational Complexity, pp. 71–80 (2008)
Linial, N., Shraibman, A.: Lower bounds in communication complexity based on factorization norms. Rand. Struct. Alg. 34(3), 368–394 (2009); Preliminary version in Proc. 39th Annual ACM Symposium on the Theory of Computing, pp. 699–708 (2007)
Saks, M., Sun, X.: Space lower bounds for distance approximation in the data stream model. In: Proc. 34th Annual ACM Symposium on the Theory of Computing, pp. 360–369 (2002)
Shaltiel, R.: Towards proving strong direct product theorems. Comput. Complexity 12(1-2), 1–22 (2003)
Sherstov, A.A.: The pattern matrix method for lower bounds on quantum communication. In: Proc. 40th Annual ACM Symposium on the Theory of Computing, pp. 85–94 (2008)
Sherstov, A.A.: The communication complexity of gap hamming distance. Technical Report TR11-063, ECCC (2011)
Sherstov, A.A.: Strong direct product theorems for quantum communication and query complexity. In: Proc. 43rd Annual ACM Symposium on the Theory of Computing, pp. 41–50 (2011)
Vidick, T.: A concentration inequality for the overlap of a vector on a large set, with application to the communication complexity of the gap-hamming-distance problem. Technical Report TR11-051, ECCC (2011)
Woodruff, D.P., Zhang, Q.: Tight bounds for distributed functional monitoring. Technical Report (2011), http://arxiv.org/abs/1112.5153
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chakrabarti, A., Kondapally, R., Wang, Z. (2012). Information Complexity versus Corruption and Applications to Orthogonality and Gap-Hamming. In: Gupta, A., Jansen, K., Rolim, J., Servedio, R. (eds) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. APPROX RANDOM 2012 2012. Lecture Notes in Computer Science, vol 7408. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32512-0_41
Download citation
DOI: https://doi.org/10.1007/978-3-642-32512-0_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32511-3
Online ISBN: 978-3-642-32512-0
eBook Packages: Computer ScienceComputer Science (R0)