Coalgebraic tools for randomness-conserving protocols

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 state and...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 125; p. 100734
Main Authors Kozen, Dexter, Soloviev, Matvey
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.02.2022
Subjects
Coalgebra
Entropy
Protocol
Randomness
Reduction
Transducer
Transducer
Randomness
Reduction
Coalgebra
Entropy
Protocol
Online AccessGet full text

Cover

More Information
Summary: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 state and loss of entropy. We show how to use these tools to construct various entropy-conserving reductions between processes.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2021.100734