Causal erasure channels

Raef Bassily, Adam Davison Smith

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

We consider the communication problem over binary causal adversarial erasure channels. Such a channel maps n input bits to n output symbols in {0,1, Λ}, where Λ denotes erasure. The channel is causal if, for every i, the channel adversarially decides whether to erase the ith bit of its input based on inputs 1,..., i, before it observes bits i+1 to n. Such a channel is p-bounded if it can erase at most a p fraction of the input bits over the whole transmission duration. Causal channels provide a natural model for channels that obey basic physical restrictions but are otherwise unpredictable or highly variable. For a given erasure rate p, our goal is to understand the optimal rate (the "capacity") at which a randomized encoder/decoder can transmit reliably across all causal p- bounded erasure channels. In this paper, we introduce the causal erasure model and provide new upper bounds (impossibility results) and lower bounds (analyses of codes) on the achievable rate. Our bounds separate the achievable rate in the causal erasures setting from the rates achievable in two related models: random erasure channels (strictly weaker) and fully adversarial erasure channels (strictly stronger). Specifically, we show: A strict separation between random and causal erasures for all constant erasure rates p ∈ (0,1). In particular, we show that the capacity of causal erasure channels is 0 for p ≥ 1/2 (while it is nonzero for random erasures). A strict separation between causal and fully adversarial erasures for p ∈ (0, φ) where φ ≈ 0.348. For p ∈ [φ, 1 /2), we show codes for causal erasures that have higher rate than the best known constructions for fully adversarial channels. Our results contrast with existing results on correcting causal bit-flip errors (as opposed to erasures) [10, 9, 7, 4, 11], For the separations we provide, the analogous separations for bit-flip models are either not known at all or much weaker.

Original languageEnglish (US)
Title of host publicationProceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014
PublisherAssociation for Computing Machinery
Pages1844-1857
Number of pages14
ISBN (Print)9781611973389
StatePublished - Jan 1 2014
Event25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014 - Portland, OR, United States
Duration: Jan 5 2014Jan 7 2014

Publication series

NameProceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

Other

Other25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014
CountryUnited States
CityPortland, OR
Period1/5/141/7/14

Fingerprint

Flip
Strictly
Causal Model
Optimal Rates
Encoder
Rate Constant
Model
Binary
Lower bound
Upper bound
Denote
Restriction
Output
Communication

All Science Journal Classification (ASJC) codes

  • Software
  • Mathematics(all)

Cite this

Bassily, R., & Smith, A. D. (2014). Causal erasure channels. In Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014 (pp. 1844-1857). (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms). Association for Computing Machinery.
Bassily, Raef ; Smith, Adam Davison. / Causal erasure channels. Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery, 2014. pp. 1844-1857 (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).
@inproceedings{61a912bd2a9a4e7d8d0ea502e8459162,
title = "Causal erasure channels",
abstract = "We consider the communication problem over binary causal adversarial erasure channels. Such a channel maps n input bits to n output symbols in {0,1, Λ}, where Λ denotes erasure. The channel is causal if, for every i, the channel adversarially decides whether to erase the ith bit of its input based on inputs 1,..., i, before it observes bits i+1 to n. Such a channel is p-bounded if it can erase at most a p fraction of the input bits over the whole transmission duration. Causal channels provide a natural model for channels that obey basic physical restrictions but are otherwise unpredictable or highly variable. For a given erasure rate p, our goal is to understand the optimal rate (the {"}capacity{"}) at which a randomized encoder/decoder can transmit reliably across all causal p- bounded erasure channels. In this paper, we introduce the causal erasure model and provide new upper bounds (impossibility results) and lower bounds (analyses of codes) on the achievable rate. Our bounds separate the achievable rate in the causal erasures setting from the rates achievable in two related models: random erasure channels (strictly weaker) and fully adversarial erasure channels (strictly stronger). Specifically, we show: A strict separation between random and causal erasures for all constant erasure rates p ∈ (0,1). In particular, we show that the capacity of causal erasure channels is 0 for p ≥ 1/2 (while it is nonzero for random erasures). A strict separation between causal and fully adversarial erasures for p ∈ (0, φ) where φ ≈ 0.348. For p ∈ [φ, 1 /2), we show codes for causal erasures that have higher rate than the best known constructions for fully adversarial channels. Our results contrast with existing results on correcting causal bit-flip errors (as opposed to erasures) [10, 9, 7, 4, 11], For the separations we provide, the analogous separations for bit-flip models are either not known at all or much weaker.",
author = "Raef Bassily and Smith, {Adam Davison}",
year = "2014",
month = "1",
day = "1",
language = "English (US)",
isbn = "9781611973389",
series = "Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms",
publisher = "Association for Computing Machinery",
pages = "1844--1857",
booktitle = "Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014",

}

Bassily, R & Smith, AD 2014, Causal erasure channels. in Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Association for Computing Machinery, pp. 1844-1857, 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, OR, United States, 1/5/14.

Causal erasure channels. / Bassily, Raef; Smith, Adam Davison.

Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery, 2014. p. 1844-1857 (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Causal erasure channels

AU - Bassily, Raef

AU - Smith, Adam Davison

PY - 2014/1/1

Y1 - 2014/1/1

N2 - We consider the communication problem over binary causal adversarial erasure channels. Such a channel maps n input bits to n output symbols in {0,1, Λ}, where Λ denotes erasure. The channel is causal if, for every i, the channel adversarially decides whether to erase the ith bit of its input based on inputs 1,..., i, before it observes bits i+1 to n. Such a channel is p-bounded if it can erase at most a p fraction of the input bits over the whole transmission duration. Causal channels provide a natural model for channels that obey basic physical restrictions but are otherwise unpredictable or highly variable. For a given erasure rate p, our goal is to understand the optimal rate (the "capacity") at which a randomized encoder/decoder can transmit reliably across all causal p- bounded erasure channels. In this paper, we introduce the causal erasure model and provide new upper bounds (impossibility results) and lower bounds (analyses of codes) on the achievable rate. Our bounds separate the achievable rate in the causal erasures setting from the rates achievable in two related models: random erasure channels (strictly weaker) and fully adversarial erasure channels (strictly stronger). Specifically, we show: A strict separation between random and causal erasures for all constant erasure rates p ∈ (0,1). In particular, we show that the capacity of causal erasure channels is 0 for p ≥ 1/2 (while it is nonzero for random erasures). A strict separation between causal and fully adversarial erasures for p ∈ (0, φ) where φ ≈ 0.348. For p ∈ [φ, 1 /2), we show codes for causal erasures that have higher rate than the best known constructions for fully adversarial channels. Our results contrast with existing results on correcting causal bit-flip errors (as opposed to erasures) [10, 9, 7, 4, 11], For the separations we provide, the analogous separations for bit-flip models are either not known at all or much weaker.

AB - We consider the communication problem over binary causal adversarial erasure channels. Such a channel maps n input bits to n output symbols in {0,1, Λ}, where Λ denotes erasure. The channel is causal if, for every i, the channel adversarially decides whether to erase the ith bit of its input based on inputs 1,..., i, before it observes bits i+1 to n. Such a channel is p-bounded if it can erase at most a p fraction of the input bits over the whole transmission duration. Causal channels provide a natural model for channels that obey basic physical restrictions but are otherwise unpredictable or highly variable. For a given erasure rate p, our goal is to understand the optimal rate (the "capacity") at which a randomized encoder/decoder can transmit reliably across all causal p- bounded erasure channels. In this paper, we introduce the causal erasure model and provide new upper bounds (impossibility results) and lower bounds (analyses of codes) on the achievable rate. Our bounds separate the achievable rate in the causal erasures setting from the rates achievable in two related models: random erasure channels (strictly weaker) and fully adversarial erasure channels (strictly stronger). Specifically, we show: A strict separation between random and causal erasures for all constant erasure rates p ∈ (0,1). In particular, we show that the capacity of causal erasure channels is 0 for p ≥ 1/2 (while it is nonzero for random erasures). A strict separation between causal and fully adversarial erasures for p ∈ (0, φ) where φ ≈ 0.348. For p ∈ [φ, 1 /2), we show codes for causal erasures that have higher rate than the best known constructions for fully adversarial channels. Our results contrast with existing results on correcting causal bit-flip errors (as opposed to erasures) [10, 9, 7, 4, 11], For the separations we provide, the analogous separations for bit-flip models are either not known at all or much weaker.

UR - http://www.scopus.com/inward/record.url?scp=84902089900&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84902089900&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84902089900

SN - 9781611973389

T3 - Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

SP - 1844

EP - 1857

BT - Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014

PB - Association for Computing Machinery

ER -

Bassily R, Smith AD. Causal erasure channels. In Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery. 2014. p. 1844-1857. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).