Synchronization strings: explicit constructions, local decoding, and applications
Synchronization strings: explicit constructions, local decoding, and applications
复制标题
同步字符串:显式构造、本地解码和应用
DOI:
10.1145/3188745.3188940
复制
发表时间:
2018
期刊:
影响因子:
--
通讯作者:
Shahrasbi, Amirbehshad
中科院分区:
文献类型:
--
作者:
Haeupler, Bernhard;Shahrasbi, Amirbehshad
This paper gives new results for synchronization strings, a powerful combinatorial object introduced by [Haeupler, Shahrasbi; STOC’17] that allows to efficiently deal with insertions and deletions in various communication problems:- We give a deterministic, linear time synchronization string construction, improving over anO(n5) time randomized construction. Independently of this work, a deterministicO(nlog2logn) time construction was proposed by Cheng, Li, and Wu.- We give a deterministic construction of an infinite synchronization string which outputs the firstnsymbols inO(n) time. Previously it was not known whether such a string was computable.- Both synchronization string constructions are highly explicit, i.e., theith symbol can be deterministically computed inO(logi) time.- This paper also introduces a generalized notion we call long-distance synchronization strings. Such strings allow for local and very fast decoding. In particular onlyO(log3n) time and access to logarithmically many symbols is required to decode any index.The paper also provides several applications for these improved synchronization strings:- For any δ < 1 and є > 0 we provide an insdel error correcting block code with rate 1 − δ − є which can correct any δ/3 fraction of insertion and deletion errors inO(nlog3n) time. This near linear computational efficiency is surprising given that we do not even know how to compute the (edit) distance between the decoding input and output in sub-quadratic time.- We show that local decodability implies that error correcting codes constructed with long-distance synchronization strings can not only efficiently recover from δ fraction of insdel errors but, similar to [Schulman, Zuckerman; TransInf’99], also from anyO(δ / logn) fraction of block transpositions and block replications. These block corruptions allow arbitrarily long substrings to be swapped or replicated anywhere.- We show that highly explicitness and local decoding allow for infinite channel simulations with exponentially smaller memory and decoding time requirements. These simulations can then be used to give the first near linear time interactive coding scheme for insdel errors, similar to the result of [Brakerski, Naor; SODA’13] for Hamming errors.
登录
查看更多内容
DOI:
--
发表时间:
2012
期刊:
IEEE Annual Symposium on Foundations of Computer Science
影响因子:
--
作者:
Zvika Brakerski;Y. Kalai
通讯作者:
Y. Kalai
DOI:
10.1109/isit.2016.7541373
发表时间:
2016
期刊:
2016 IEEE International Symposium on Information Theory (ISIT)
影响因子:
--
作者:
V. Guruswami;Ray Li
通讯作者:
Ray Li
DOI:
--
发表时间:
1984
期刊:
影响因子:
--
作者:
J. Beck
通讯作者:
J. Beck
DOI:
--
发表时间:
2017
期刊:
IEEE Annual Symposium on Foundations of Computer Science
影响因子:
--
作者:
Alexander A. Sherstov;Pei Wu
通讯作者:
Pei Wu
DOI:
10.1109/focs.2017.27
发表时间:
2017
期刊:
58th Annual IEEE Symposium on Foundations of Computer Science
影响因子:
--
作者:
Hemenway, Brett;Ron-Zewi, Noga;Wootters, Mary
通讯作者:
Wootters, Mary