Descrizione del progetto
Uno studio affronta i problemi di lunga data della teoria dell’estrattore di casualità
La casualità di alta qualità è fondamentale per l’informatica. Ad esempio, nel campo della crittografia, gli estrattori di casualità sono impiegati per la generazione di chiavi segrete e casuali da fonti semi-segrete. In generale, gli estrattori casuali sono algoritmi che convertono una sorgente debolmente casuale e un seme effettivamente casuale in una distribuzione uniforme di numeri casuali. Il progetto EXT, finanziato dall’UE, intende analizzare alcuni dei problemi più rilevanti rimasti senza soluzione nella sfera della teoria dell’estrattore di casualità. Sviluppandosi sulla scia di esiti di successo di ricerche passate effettuate sul campo, il progetto applicherà tecniche provenienti dalla teoria dell’estrattore di casualità a tre problemi scelti accuratamente: la derandomizzazione del calcolo delimitato dallo spazio, costruzioni di grafi di Ramsey e codici decodificabili localmente.
Obiettivo
"Randomness extractors are central in theoretical computer science and have a huge impact in complexity theory, error correcting codes, and cryptography to name a few. Informally, a randomness extractor is an algorithm that ""purifies"" the randomness of an imperfect random source by extracting from it a sequence of uniform and independent random bits. The myriad of applications make randomness extractor theory a vibrant and exciting research field with a major impact. Over the last few years, there has been a flurry of progress on deep long-standing open problems in the field and the PI's work played a key role in this development. Several novel ideas were introduced which give hope that other long-standing open problems in the field can be resolved. Moreover, the new techniques raise new and intriguing questions. In this research, we propose to study some of the most important open problems in randomness extractor theory: classic as well as the new challenges that arise. Moreover, we propose to apply results and techniques from randomness extract theory to three carefully chosen problems with a huge impact on their respective fields: (1) derandomization of space-bounded computation; (2) Ramsey graph constructions; and (3) locally decodable codes. Progress on any of these problems would be ground breaking. Despite the significant challenge, we believe that we are in a unique place to pursue these long-standing open problems both within randomness extractors theory and beyond. Indeed, as mentioned, the PI's work on randomness extractors was pivotal to the exciting progress in the field. Moreover, the PI obtained a breakthrough result on Ramsey graphs construction and the first improvement in 25 years on a problem related to derandomization of space-bounded computation. Both results were obtained using machinery from randomness extractor theory."
Campo scientifico
Programma(i)
Argomento(i)
Meccanismo di finanziamento
ERC-STG - Starting GrantIstituzione ospitante
69978 Tel Aviv
Israele