26 de junio de 2017

Llamado a registro de aspirantes a beca doctoral CONICET 2017

Se llama a una preinscripción de postulantes a Beca Interna Doctoral del CONICET relacionada al proyecto PICT-PRH 2015-1208:


«Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional»


en el área de los sistemas formales para computación cuántica (lambda-cálculo, pi-cálculo, teoría de tipos, realisabilidad, reescritura, etc.), bajo la dirección de Alejandro Díaz-Caro en la Universidad Nacional de Quilmes (Bernal, Buenos Aires, Argentina).

Laboratorios de pertenencia:
* LoReL
* Infinis

Principales interacciones (proyectos conjuntos) con: Université Paris-Sud. École Normal Supérieure de Paris-Saclay. Inria. LORIA. Aix-Marseille Université. Università degli Studi di Torino. Universidad de la República (Uruguay). Universidade Federal de Santa Maria (Brazil). Universidad de Buenos Aires.

Requisitos: ser menor de 30 años, graduado o próximo a recibirse (antes del 01/04/2018) con muy buen desempeño académico en Licenciatura en Ciencias de la Computación o carreras afines.

23 de junio de 2017

2a Jornada de Lógica, Computación e Información Cuántica

2a Jornada de Lógica, Computación e Información Cuántica 
Jueves 13 de julio de 2017 
Universidad Nacional Arturo Jauretche
Av. Calchaquí 6200, Florencio Varela
-- Salón Auditorio --

El 13 de julio se realizará la 2a jornada de lógica, computación e información cuántica. El objetivo de las jornadas es proveer un espacio de encuentro para quienes trabajamos en fundamentos lógicos de la computación cuántica desde una perspectiva interdisciplinaria. Contaremos con charlas del Dr. Guido Bellomo (postdoctorando en el Dpto. Computación de Ciencias Exactas-UBA), el Dr. Simon Perdrix (investigador CNRS en el laboratorio LORIA de Nancy, Francia) y el Dr. Christian de Ronde (Investigador CONICET, Profesor UNAJ y FFyL-UBA). El encuentro se realizará en la Sede de la Universidad Nacional Arturo Jauretche desde las 10:30 hasta las 16:30 horas. 

Esta convocatoria que surge de jóvenes investigadores del área busca ser amplia e inclusiva. Están todos invitados a sumarse al encuentro. Se agradece la difusión.

==============================================================

Programa:

10:30 Café 
11:00 Christian de RondeOn the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)
12:00 Almuerzo 
14:00 Simon PerdrixDiagrammatic Quantum Reasoning: Completeness and Incompleteness
15:00 Café 
15:30 Guido BellomoQuantum entropies and lossless quantum data compression

==============================================================

Resúmenes:

Christian de Ronde (Universidad Nacional Arturo Jauretche & CONICET) - On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures).
Quantum superpositions are being used today in laboratories all around the world in order to create the most outstanding technological and experimental developments of the last centuries. However, while many experimentalists are showing that Schrödinger's cats are growing fat, while it becomes more and more clear that quantum superpositions are telling us something about quantum physical reality even at the macroscopic scale, philosophers of QM in charge of analyzing and interpreting these mathematical expressions (through the many interpretations of QM that can be found in the literature) have not been capable of providing a coherent physical representation of them. In this paper we attempt to discuss the importance of providing a physical representation of quantum superpositions that goes beyond the mere reference to mathematical structures and measurement outcomes.

Simon Perdrix (CNRS / LORIA, Francia) - Diagrammatic Quantum Reasoning: Completeness and Incompleteness.
The ZX-calculus introduced by Coecke and Duncan is a graphical formal language for quantum reasoning based on the complementarity of observables. I'll introduce this category-based diagrammatic calculus, give some examples, and focus on the question of completeness of the language for quantum mechanics. The language is complete if for any two diagrams representing the same quantum evolution, one can be transformed into the other using the rules of the ZX-calculus. The language was known  to be complete for non universal fragments of quantum mechanics, and incomplete in general. I will present the first complete axiomatisation of the ZX-calculus for a universal fragment of quantum mechanics.

Guido Bellomo (Universidad de Buenos Aires) - Quantum entropies and lossless quantum data compression.
One of the main concerns in classical and quantum information theories is the problem of encoding information by using fewest resources as possible. This task is known as data compression and it can be carried out either in a lossy or a lossless way, depending on whether the original data can be recovered with or without errors, respectively. Based on the problem of quantum data compression in a lossless way, we present here an operational interpretation for the family of quantum Rényi entropies. In order to do this, we appeal to a very general quantum encoding scheme that satisfies a quantum version of the Kraft-McMillan inequality. Then, in the standard situation, where one is intended to minimize the usual average length of the quantum codewords, we recover the known results, namely that the von Neumann entropy of the source bounds the average length of the optimal codes. Otherwise, we show that by invoking an exponential average length, related to an exponential penalization over large codewords, the quantum Rényi entropies arise as the natural quantities relating the optimal encoding schemes with the source description, playing an analogous role to that of von Neumann entropy.

28 de marzo de 2017

Próximos seminarios: París y La Plata

Del 3 al 12 de abril estaré en París, visitando el grupo de Gilles Dowek. El jueves 6 a las 14hs daré el siguiente seminario en el grupo Deducteam (Librería del laboratorio LSV, Cachan):

A lambda calculus for density matrices
Density matrices describe quantum systems in mixed state, that is, a statistical set of several quantum states. All the postulates of quantum mechanics can be described in such a formalism, and hence, also quantum computing can be done using density matrices. One advantage of this formalism is that it gives a natural way to reason about the probabilistic outputs of an algorithm.  In this talk we present an extension to lambda calculus for density matrices with a linear type system. Its denotational semantics is the set of density matrices and functions upon them, and so, it is possible to equate programs producing the same density matrices. For example the process of tossing a coin, and according to its result, apply Z or not to a balanced superposition, and the process of tossing a coin and not looking at its result, may look quite different in most quantum programming languages. Yet both processes output the same density matrices thus have the same denotation in our calculus.
A la vuelta, el martes 25 de abril a las 10:30hs, daré el siguiente seminario en el departamento de Física de la Universidad Nacional de La Plata (esquina de calles 115 y 49):

Cálculo lambda y computación cuántica
En esta charla vamos a dar una rápida introducción al cálculo lambda, un modelo de computación equivalente a las Máquinas de Turing, y su relación con la lógica intuicionista. Luego presentaremos diferentes extensiones al cálculo lambda para computación cuántica, en sus dos paradigmas: el paradigma de control clásico y datos cuánticos, orientado principalmente a estudiar propiedades en los lenguajes de programación para la computadora cuántica, y el paradigma de control y datos cuánticos, orientado a estudiar las consecuencias lógicas de la computación cuántica desde un punto de vista computacional.