Descrizione del progetto
Sviluppo di algoritmi efficienti per un’elaborazione ottimale delle informazioni
Le ingenti spese generali necessarie per correggere gli errori causati dal rumore indesiderato ostacolano lo sfruttamento della teoria quantistica nella tecnologia dell’informazione. Nonostante siano stati fatti progressi nella progettazione di codici migliori per la correzione degli errori e di schemi con tolleranza ai guasti, i limiti della comunicazione su un mezzo quantistico rumoroso non sono ancora compresi. Il progetto AlgoQIP, finanziato dall’UE, si propone di sviluppare una teoria algoritmica di elaborazione ottimale delle informazioni che vada oltre l’approccio statistico della teoria di Shannon. Ciò sarà possibile grazie allo sviluppo di algoritmi efficienti che prendano come input la descrizione di un modello di rumore e producano un metodo quasi ottimale per una comunicazione affidabile secondo tale modello. Questi algoritmi troveranno applicazione diretta nello sviluppo delle tecnologie quantistiche.
Obiettivo
In the road towards quantum technologies capable of exploiting the revolutionary potential of quantum theory for information technology, a major bottleneck is the large overhead needed to correct errors caused by unwanted noise. Despite important research activity and great progress in designing better error correcting codes and fault-tolerant schemes, the fundamental limits of communication/computation over a quantum noisy medium are far from being understood. In fact, no satisfactory quantum analogue of Shannon’s celebrated noisy coding theorem is known.
The objective of this project is to leverage tools from mathematical optimization in order to build an algorithmic theory of optimal information processing that would go beyond the statistical approach pioneered by Shannon. Our goal will be to establish efficient algorithms that determine optimal methods for achieving a given task, rather than only characterizing the best achievable rates in the asymptotic limit in terms of entropic expressions. This approach will address three limitations — that are particularly severe in the quantum context — faced by the statistical approach: the non-additivity of entropic expressions, the asymptotic nature of the theory and the independence assumption.
Our aim is to develop efficient algorithms that take as input a description of a noise model and output a near-optimal method for reliable communication under this model. For example, our algorithms will answer: how many logical qubits can be reliably stored using 100 physical qubits that undergo depolarizing noise with parameter 5%? We will also develop generic and efficient decoding algorithms for quantum error correcting codes. These algorithms will have direct applications to the development of quantum technologies. Moreover, we will establish methods to compute the relevant uncertainty of large structured systems and apply them to obtain tight and non-asymptotic security bounds for (quantum) cryptographic protocols.
Campo scientifico
- natural sciencesphysical sciencesquantum physics
- natural sciencescomputer and information sciencescomputer securitycryptography
- engineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarequantum computers
- natural sciencescomputer and information sciencesdata sciencedata processing
Programma(i)
Argomento(i)
Meccanismo di finanziamento
ERC-STG - Starting GrantIstituzione ospitante
78153 Le Chesnay Cedex
Francia