SearcharxivSearch

arXiv · 1804.04005

Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions

Abstract

The recent line of study on randomness extractors has been a great success, resulting in exciting new techniques, new connections, and breakthroughs to long standing open problems in several seemingly different topics. These include seeded non-malleable extractors, privacy amplification protocols with an active adversary, independent source extractors (and explicit Ramsey graphs), and non-malleable codes in the split state model. However, in all cases there is still a gap to optimum and the motivation to close this gap remains strong. In this paper, we introduce a set of new techniques to further push the frontier in the above questions. Our techniques lead to improvements in all of the above questions, and in several cases partially optimal constructions. Specifically, we obtain: 1. A seeded non-malleable extractor with seed length $O(log n)+log^{1+o(1)}(1/\epsilon) and entropy requirement O(log log n+log(1/\epsilon)), where the entropy requirement is asymptotically optimal by a recent result of Gur and Shinkar \cite{GurS17}; 2. A two-round privacy amplification protocol with optimal entropy loss for security parameter up to \Omega(k), which solves the privacy amplification problem completely; 3. A two-source extractor for entropy O(\frac{log n log log n}{log log log n}), which also gives an explicit Ramsey graph on N vertices with no clique or independent set of size (log N)^{O(\frac{log log log N}{log log log log N})}; and 4. The first explicit non-malleable code in the 2-split state model with \emph{constant} rate, which has been a major goal in the study of non-malleable codes for quite some time. One small caveat is that the error of this code is only (an arbitrarily small) constant, but we can also achieve negligible error with rate \Omega(log log log n/log log n), which already improves the rate in \cite{Li17} exponentially.

Explore related subjects

Keep this discovery

BibTeXRIS

Xin Li. 2018-04-09. Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions. https://arxiv.org/abs/1804.04005

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC