Applications of Derandomization Theory in Coding

Mahdi Cheraghchi

DOI: https://doi.org/10.5075/epfl-thesis-4767

2011-07-24

Abstract:Randomized techniques play a fundamental role in theoretical computer science and discrete mathematics, in particular for the design of efficient algorithms and construction of combinatorial objects. The basic goal in derandomization theory is to eliminate or reduce the need for randomness in such randomized constructions. In this thesis, we explore some applications of the fundamental notions in derandomization theory to problems outside the core of theoretical computer science, and in particular, certain problems related to coding theory. First, we consider the wiretap channel problem which involves a communication system in which an intruder can eavesdrop a limited portion of the transmissions, and construct efficient and information-theoretically optimal communication protocols for this model. Then we consider the combinatorial group testing problem. In this classical problem, one aims to determine a set of defective items within a large population by asking a number of queries, where each query reveals whether a defective item is present within a specified group of items. We use randomness condensers to explicitly construct optimal, or nearly optimal, group testing schemes for a setting where the query outcomes can be highly unreliable, as well as the threshold model where a query returns positive if the number of defectives pass a certain threshold. Finally, we design ensembles of error-correcting codes that achieve the information-theoretic capacity of a large class of communication channels, and then use the obtained ensembles for construction of explicit capacity achieving codes. [This is a shortened version of the actual abstract in the thesis.]

Discrete Mathematics,Computational Complexity,Information Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to explore the application of derandomization theory in the field of coding. Specifically, by using pseudo - random generators and random extractors, which are key tools in derandomization techniques, the paper addresses the following specific problems:

1. **Wiretap Channel Problem**:
- The paper proposes to use random extractors to construct efficient and information - theoretically optimal communication protocols to deal with the situation where an intruder may intercept part of the transmitted data in a communication system. The goal is to optimize communication efficiency while ensuring information security.

2. **Combinatorial Group Testing Problem**:
- This classic problem aims to determine the set of defective items among a large number of items by asking a series of questions, where each question reveals whether there are defective items in a specified group of items. The paper uses random condensers to explicitly construct optimal or near - optimal group - testing schemes, especially in cases where the query results are highly unreliable and in the threshold model (i.e., when the number of defective items exceeds a certain threshold, the query returns a positive result).

3. **Design of Error - Correcting Codes**:
- The paper uses random condensers and extractors to design a set of error - correcting codes that can reach the information - theoretic capacity of a large class of communication channels, and further uses these sets to construct explicit capacity - achieving codes. This not only improves the coding efficiency but also ensures reliability in various complex communication environments.

4. **Explicit Construction on the Gilbert - Varshamov Bound**:
- Finally, the paper considers the problem of explicitly constructing error - correcting codes on the Gilbert - Varshamov bound and extends the original ideas of Nisan and Wigderson. Under appropriate computational hardness assumptions, it obtains most of the code sets that can reach this bound.

Through these applications, the paper demonstrates the importance and potential of derandomization theory in the field of coding, especially in improving the security and efficiency of communication systems.