310 likes | 501 Views
Vinith Misra, Tsachy Weissman { vinith , tsachy }@ stanford.edu. The Porosity of Additive Noise Sequences. ISIT, 7/5/ 2012. Outline. Universality and porosity Related work Main results Converse ideas Predictability and practicality. (Lossless) Source Coding. Known source model
E N D
Vinith Misra, TsachyWeissman {vinith, tsachy}@stanford.edu The Porosity ofAdditive Noise Sequences ISIT, 7/5/2012
Outline • Universality and porosity • Related work • Main results • Converse ideas • Predictability and practicality
(Lossless) Source Coding • Known source model • Optimal compression rate achievable.
Universal Source Coding • Encoder and decoder can *adapt*. • Strong sense of universality: optimal compression for *every* source model.
Channel Coding • Relevant component: channel model . • Encoder/decoder can be optimized for given .
Universal Channel Coding • unknown. • Fixed encoder, adaptive *decoder*. • Universality not as strong as in source coding.
Feedback to the rescue? • Encoder and decoder can adapt. • Stronger form of universality? • (More fundamental channel coding problem?)
Modulo-additive channels • Stronger analogy with source coding. • Source process <-> Noise process. • More general: individual noise sequence.
“Porosity,” or • How rapidly can encoder/decoder communicate? • Best possible rate: .
Individual sequence properties Compressibility: (Lempel/Ziv) Predictability: (Feder/Merhav/Gutman) Denoisability: (Weissman et al.)
LZ Parallel #1:Individual sequences LZ Individual source sequence Porosity Individual noise sequence
LZ Parallel #2:Finite-state encoding/decoding LZ Finite state source encoder and decoder Porosity Finite state channel encoder and decoder
LZ Parallel #3:Finite-state converse LZ FSM can compress no better than compressibility. Porosity FSM can transmit no faster than porosity.
LZ Parallel #4:Universal achievability schemes LZ 2 universalachievabilities: • Sequence of FS schemes. • Single infinite-state scheme. Porosity 2 universalachievabilities: • Sequence of FS schemes • Single infinite-state scheme. (Lomnitz/Feder)
Outline • Universality and porosity • Previous work • Main results • Converse and achievability ideas • Predictability and practicality
Lomnitz/Feder (2011) • Competitive universality introduced. • Rate-adaptive scheme achieves . • No “iterated fixed-blocklength” scheme does better.
Shayevitz/Feder (2009) • Achieves first-order “empirical capacity.” • Can generalize to m-order empirical capacity. • Related: Eswaran/Sarwate/Sahai/Gastpar [2010].
Outline • Universality and porosity • Previous work • Main results • Converse ideas • Predictability and practicality
Converse Suppose an FS scheme achieves rate and error with positive probability. Then . i.e. .
Achievability There exists a sequence of FS schemes such that for all noise sequences .
Outline • Universality and porosity • Previous work • Main results • Converse ideas • Predictability and practicality
Cthulhu vs. Shannon. Cannot beat 1 bit per sample. Entropy code
Outline • Universality and porosity • Previous work • Main results • Converse ideas • Predictability and practicality
A linear-complexity alternative • LZ-baseduniversal predictor. (Feder et al. [92]) • 1st orderS/F scheme
A linear-complexity alternative • LZ-baseduniversal predictor. (Feder et al. [92]) • 1st orderS/F scheme
Performance? • Shayevitz/Feder rate guarantee: • (predictability) • (Closing the gap?)