Skip to main content
Log in

Deterministic Compression with Uncertain Priors

  • Published:
Algorithmica Aims and scope Submit manuscript

Abstract

Communication in “natural” settings, e.g., between humans, is distinctly different from that in classical designed settings, in that the former is invariably characterized by the sender and receiver not being in perfect agreement with each other. Solutions to classical communication problems thus have to overcome an extra layer of uncertainty introduced by this lack of prior agreement. One of the classical goals of communication is compression of information, and in this context lack of agreement implies that sender and receiver may not agree on the “prior” from which information is being generated. Most classical mechanisms for compressing turn out to be non-robust when sender and receiver do not agree on the prior. Juba et al. (Proc. ITCS 2011) showed that there do exists compression schemes with shared randomness between sender and receiver that do not share a prior that can compress information down roughly to its entropy. In this work, we explore the assumption of shared randomness between the sender and receiver and highlight why this assumption is problematic when dealing with natural communication. We initiate the study of deterministic compression schemes amid uncertain priors, and expose some of the mathematical facets of this problem. We show some non-trivial deterministic compression schemes, and some lower bounds on natural classes of compression schemes. We show that a full understanding of deterministic communication turns into challenging (open) questions in graph theory and communication complexity.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. The fractional chromatic number of a graph G is the smallest positive real w such that there exists a collection of independent sets \(I_1,\ldots ,I_t\) in G with weights \(w_1,\ldots ,w_t\) such that \(\sum _{j=1}^t w_j = w\) and for every vertex \(u \in V(G)\) it is the case that \(\sum _{j : I_j \ni u} w_j \ge 1\).

References

  1. Braverman, M., Rao, A.: Information equals amortized communication. In: Ostrovsky, R. (ed.) IEEE 52nd Annual Symposium on Foundations of Computer Science (FOCS), pp. 748–757. Palm Springs, CA (2011)

  2. Cole, R., Vishkin, U.: Deterministic coin tossing with applications to optimal parallel list ranking. Inf. Control 70(1), 32–53 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  3. Cover, T.M., Thomas, J.A.: Elements of Information Theory. Wiley, New York (1991)

    Book  MATH  Google Scholar 

  4. Goldreich, O., Juba, B., Sudan, M.: A theory of goal-oriented communication. J. ACM 59(2), 8 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  5. Harsha, P., Jain, R., McAllester, D.A., Radhakrishnan, J.: The communication complexity of correlation. IEEE Trans. Inf. Theory 56(1), 438–449 (2010). Preliminary version in IEEE CCC 2007

    Article  MathSciNet  Google Scholar 

  6. Juba, B., Kalai, A.T., Khanna, S., Sudan, M.: Compression without a common prior: an information-theoretic justification for ambiguity in language. In: Chazelle, B. (ed.) ICS, pp. 79–86. Tsinghua University Press, Beijing (2011)

    Google Scholar 

  7. Juba, B., Sudan, M.: Universal semantic communication I. In: Proceedings of the 2008 ACM International Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17–20, 2008, pages 123–132. ACM (2008)

  8. Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997)

    Book  MATH  Google Scholar 

  9. Linial, N.: Locality in distributed graph algorithms. SIAM J. Comput. 21(1), 193–201 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  10. Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(379–423), 623–656 (1948)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ziv, J., Lempel, A.: A universal algorithm for sequential data compression. IEEE Trans. Inf. Theory 23(3), 337–342 (1977)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Madhu Sudan.

Additional information

An extended abstract of this paper appeared in the Proceedings of Innovations in Theoretical Computer Science, ITCS’14, Princeton, NJ, USA, January 12–14, 2014.

E. Haramaty: Work done in part when this author was visiting Microsoft Research New England.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Haramaty, E., Sudan, M. Deterministic Compression with Uncertain Priors. Algorithmica 76, 630–653 (2016). https://doi.org/10.1007/s00453-015-0107-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00453-015-0107-6

Keywords

Navigation