TY - JOUR

T1 - AN EFFICIENT REDUCTION FROM TWO-SOURCE TO NONMALLEABLE EXTRACTORS

T2 - ACHIEVING NEAR-LOGARITHMIC MIN-ENTROPY

AU - Ben-Aroya, Avraham

AU - Doron, Dean

AU - Ta-Shma, Amnon

N1 - Publisher Copyright:
© 2019 Society for Industrial and Applied Mathematics.

PY - 2022

Y1 - 2022

N2 - The breakthrough result of Chattopadhyay and Zuckerman [Explicit two-source extractors and resilient functions, in Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing (STOC), ACM, 2016, pp. 670-683] gives a reduction from the construction of explicit two-source extractors to the construction of explicit nonmalleable extractors. However, even assuming the existence of optimal explicit nonmalleable extractors, we only obtain a two-source extractor for poly(log n) entropy, rather than the optimal O(log n). In this paper we modify the construction to solve the above barrier. Using the currently best explicit nonmalleable extractors, we get explicit bipartite Ramsey graphs for sets of size 2k for (Formula presented). Any further improvement in the construction of nonmalleable extractors would immediately yield a corresponding two-source extractor. Intuitively, Chattopadhyay and Zuckerman use an extractor as a sampler, and we observe that we could use a weaker object-a somewhere-random condenser with a small entropy gap and a very short seed. We also show how to explicitly construct this weaker object using the error reduction technique of Raz, Reingold, and Vadhan [Error reduction for extractors, in Proceedings of the 40th Annual IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, 1999, pp. 191-201], and the constant-degree dispersers of Zuckerman [Linear degree extractors and the inapproximability of max clique and chromatic number, in Proceedings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing (STOC), ACM, 2006, pp. 681-690] that also work against extremely small tests.

AB - The breakthrough result of Chattopadhyay and Zuckerman [Explicit two-source extractors and resilient functions, in Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing (STOC), ACM, 2016, pp. 670-683] gives a reduction from the construction of explicit two-source extractors to the construction of explicit nonmalleable extractors. However, even assuming the existence of optimal explicit nonmalleable extractors, we only obtain a two-source extractor for poly(log n) entropy, rather than the optimal O(log n). In this paper we modify the construction to solve the above barrier. Using the currently best explicit nonmalleable extractors, we get explicit bipartite Ramsey graphs for sets of size 2k for (Formula presented). Any further improvement in the construction of nonmalleable extractors would immediately yield a corresponding two-source extractor. Intuitively, Chattopadhyay and Zuckerman use an extractor as a sampler, and we observe that we could use a weaker object-a somewhere-random condenser with a small entropy gap and a very short seed. We also show how to explicitly construct this weaker object using the error reduction technique of Raz, Reingold, and Vadhan [Error reduction for extractors, in Proceedings of the 40th Annual IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, 1999, pp. 191-201], and the constant-degree dispersers of Zuckerman [Linear degree extractors and the inapproximability of max clique and chromatic number, in Proceedings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing (STOC), ACM, 2006, pp. 681-690] that also work against extremely small tests.

KW - Ramsey graphs

KW - condensers

KW - nonmalleable extractors

KW - two-source extractors

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

U2 - 10.1137/17M1133245

DO - 10.1137/17M1133245

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85129462999

SN - 0097-5397

VL - 51

SP - 31

EP - 49

JO - SIAM Journal on Computing

JF - SIAM Journal on Computing

IS - 2

ER -