Skip to main content
SpringerLink
Log in
Book cover

International Conference on Relational and Algebraic Methods in Computer Science

RAMiCS 2018: Relational and Algebraic Methods in Computer Science pp 298–313Cite as

Coalgebraic Tools for Randomness-Conserving Protocols

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11194))

Abstract

We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and analyzed in terms of the tradeoff between latency and loss of entropy. We show how to use these tools to construct various entropy-conserving reductions between processes.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Adamek, J.: Foundations of Coding. Wiley, Hoboken (1991)

    Book  Google Scholar 

  2. Blum, M.: Independent unbiased coin flips from a correlated biased source: a finite state Markov chain. Combinatorica 6(2), 97–108 (1986)

    Article  MathSciNet  Google Scholar 

  3. Böcherer, G., Ali Amjad, R.: Informational divergence and entropy rate on rooted trees with probabilities. In: Proceedings of the IEEE International Symposium on Information Theory (June 2014)

    Google Scholar 

  4. Chung, K.L.: A Course in Probability Theory, 2nd edn. Academic Press, Cambridge (1974)

    MATH  Google Scholar 

  5. Cover, T.M., Thomas, J.A.: Elements of Information Theory. Wiley-Interscience, Hoboken (1991)

    Book  Google Scholar 

  6. Doberkat, E.-E.: Stochastic Relations: Foundations for Markov Transition Systems. Studies in Informatics. Chapman Hall, London (2007)

    Book  Google Scholar 

  7. Dodis, Y., Elbaz, A., Oliveira, R., Raz, R.: Improved randomness extraction from two independent sources. In: Jansen, K., Khanna, S., Rolim, J.D.P., Ron, D. (eds.) APPROX/RANDOM -2004. LNCS, vol. 3122, pp. 334–344. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27821-4_30

    Chapter  Google Scholar 

  8. Elias, P.: The efficient construction of an unbiased random sequence. Ann. Math. Stat. 43(3), 865–870 (1992)

    Article  Google Scholar 

  9. Feller, W.: An Introduction to Probability Theory and Its Applications, vol. 1, 2nd edn. Wiley, Hoboken (1971)

    MATH  Google Scholar 

  10. Hirschler, T., Woess, W.: Comparing entropy rates on finite and infinite rooted trees with length functions. IEEE Trans. Inf. Theory (2017)

    Google Scholar 

  11. Kozen, D., Soloviev, M.: Coalgebraic tools for randomness-conserving protocols. Technical report, Cornell, July 2018. https://arxiv.org/abs/1807.02735

  12. Nisan, N., Ta-shma, A.: Extracting randomness: a survey and new constructions. J. Comput. Syst. Sci. 58, 148–173 (1999)

    Article  MathSciNet  Google Scholar 

  13. Pae, S., Loui, M.C.: Optimal random number generation from a biased coin. In: Proceedings of the 16th ACM-SIAM Symposium on Discrete Algorithms, Vancouver, Canada, pp. 1079–1088, January 2005

    Google Scholar 

  14. Pae, S., Loui, M.C.: Randomizing functions: Simulation of discrete probability distribution using a source of unknown distribution. Trans. Inf. Theory 52(11), 4965–4976 (2006)

    Article  MathSciNet  Google Scholar 

  15. Panangaden, P.: Labelled Markov Processes. Imperial College Press, London (2009)

    Book  Google Scholar 

  16. Peres, Y.: Iterating von Neumann’s procedure for extracting random bits. Ann. Stat. 20(1), 590–597 (1992)

    Article  MathSciNet  Google Scholar 

  17. Peres, Y., Mossel, E., Hillar, C.: New coins from old: computing with unknown bias. Combinatorica 25(6), 707–724 (2005)

    Article  MathSciNet  Google Scholar 

  18. Srinivasan, A., Zuckerman, D.: Computing with very weak random sources. SIAM J. Comput. 28, 264–275 (1999)

    Article  MathSciNet  Google Scholar 

  19. Ta-shma, A.: On extracting randomness from weak random sources. In: Proceedings of the 28th ACM Symposium Theory of Computing, pp. 276–285 (1996)

    Google Scholar 

Download references

Acknowledgments

Thanks to Joel Ouaknine and Aaron Wagner for valuable discussions. Thanks to the Bellairs Research Institute of McGill University for providing a wonderful research environment. Research was supported by NSF grants CCF1637532, IIS-1703846, and IIS-1718108, AFOSR grant FA9550-12-1-0040, ARO grant W911NF-17-1-0592, and a grant from the Open Philanthropy project.

Author information

Authors and Affiliations

  1. Cornell University, Ithaca, USA

    Dexter Kozen & Matvey Soloviev

Authors
  1. Dexter Kozen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matvey Soloviev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dexter Kozen .

Editor information

Editors and Affiliations

  1. Université Laval, Québec, QC, Canada

    Jules Desharnais

  2. University of Canterbury, Christchurch, New Zealand

    Walter Guttmann

  3. Open Universiteit, Heerlen, The Netherlands

    Stef Joosten

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kozen, D., Soloviev, M. (2018). Coalgebraic Tools for Randomness-Conserving Protocols. In: Desharnais, J., Guttmann, W., Joosten, S. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2018. Lecture Notes in Computer Science(), vol 11194. Springer, Cham. https://doi.org/10.1007/978-3-030-02149-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-02149-8_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-02148-1

  • Online ISBN: 978-3-030-02149-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation