Descripción del proyecto
EN LOS ULTIMOS AÑOS OBSERVAMOS UNA OLEADA DE TECNOLOGIAS CUANTICAS NOVEDOSAS COMO, POR EJEMPLO, LOS GENERADORES CUANTICOS DE NUMEROS ALEATORIOS O LOS PRIMEROS PROTOTIPOS DE ORDENADORES CUANTICOS. SE CREE QUE ESTOS DISPOSITIVOS PRONTO CAMBIARAN DRASTICAMENTE LA FORMA EN QUE PROCESAMOS LA INFORMACION Y NOS COMUNICAMOS, ALLANANDO EL CAMINO PARA AVANCES IMPORTANTES EN MUCHAS DISCIPLINAS DE INVESTIGACION, TAN DIVERSAS COMO LAS MATEMATICAS, LA QUIMICA O INCLUSO LA MEDICINA. SIN EMBARGO, LAS PROMESAS DE LAS TECNOLOGIAS CUANTICAS SOLO PUEDEN CUMPLIRSE SI SE PUEDE CERTIFICAR EL CORRECTO FUNCIONAMIENTO DE SUS COMPONENTES. ESTO PLANTEA UN DESAFIO EXTRAORDINARIO PARA DISEÑAR HERRAMIENTAS DE CERTIFICACION ADECUADAS QUE PERMITAN A LOS USUARIOS FINALES CERTIFICAR QUE EL DISPOSITIVO QUE UTILIZAN FUNCIONA DE ACUERDO CON SUS ESPECIFICACIONES Y GENERA EL RESULTADO CORRECTO. AL MISMO TIEMPO, INSTA A UNA CARACTERIZACION EXHAUSTIVA DE LOS FENOMENOS CUANTICOS DE LOS QUE ESTOS DISPOSITIVOS OBTIENEN SU VENTAJA.EN VERIQTAS, ABORDAMOS ESTOS DESAFIOS Y DESARROLLAMOS METODOS DE CERTIFICACION VERSATILES PARA TECNOLOGIAS CUANTICAS ACTUALES Y FUTURAS QUE: (I) SON FACTIBLES DESDE EL PUNTO DE VISTA EXPERIMENTAL, (II) SE BASAN EN CONJUNTOS MINIMOS DE SUPOSICIONES FISICAMENTE BIEN JUSTIFICADAS, (III) RECONOCEN TODAS LAS LIMITACIONES IMPUESTAS POR LOS DISPOSITIVOS, Y (IV) SE BASAN EN INFORMACION QUE ES FACILMENTE ACCESIBLE EN LOS SISTEMAS CUANTICOS SUBYACENTES. NUESTRA PROPUESTA SE ESTRUCTURA EN TORNO A TRES LINEAS DE INVESTIGACION. LAS DOS PRIMERAS ESTAN DEDICADAS A LOS ESCENARIOS MAS RELEVANTES PARA EL DESPLIEGUE DE LAS TECNOLOGIAS CUANTICAS: REDES CUANTICAS, UN MARCO MUY AMPLIO QUE MODELA, POR EJEMPLO, PROTOCOLOS DE COMUNICACION CUANTICA; SISTEMAS CUANTICOS INTERACTUANTES DE MUCHOS CUERPOS, ES DECIR, EL SOPORTE DETRAS DE LOS DISPOSITIVOS DE COMPUTACION CUANTICA. LA TERCERA LINEA DE INVESTIGACION ES TRANSVERSAL A LAS DOS ANTERIORES Y TIENE COMO OBJETIVO PROPORCIONAR HERRAMIENTAS Y CONCEPTOS NOVEDOSOS PARA LA CERTIFICACION QUE SE PUEDAN USAR DE MANERA GENERAL EN APLICACIONES DE INFORMACION CUANTICA. VERIQTAS (I) PROPORCIONARA LAS HERRAMIENTAS PARA COMPRENDER Y CARACTERIZAR LA FISICA DE LOS SISTEMAS CUANTICOS COMPLEJOS, Y (II) LLEVARA EL CAMPO DE LA CERTIFICACION CUANTICA A UN NIVEL DE APLICABILIDAD COMPLETAMENTE NUEVO. LOS RESULTADOS OBTENIDOS SERAN CRUCIALES PARA EL BUEN DESARROLLO, ESTANDARIZACION Y DESPLIEGUE DE LAS TECNOLOGIAS CUANTICAS EN EL FUTURO.