tag:blogger.com,1999:blog-131210662024-03-07T16:31:37.398-03:00Computación CuánticaBlog sobre computación cuántica y fundamentos de las ciencias de la computación. En general cubrimos los temas de investigación a los que nosotros nos dedicamos, los cuales comenzaron siendo computación cuántica, y con el tiempo van evolucionando, cambiando, agregando nuevas áreas, etc.Gabriel Sennohttp://www.blogger.com/profile/15468850923251475032noreply@blogger.comBlogger222125tag:blogger.com,1999:blog-13121066.post-76737096274287858122018-09-03T20:36:00.001-03:002018-09-03T20:36:21.844-03:00Futuro del blogComo habrán visto, este año no hemos publicado nada en este blog. En cambio, seguimos publicando por Twitter y Facebook. Les dejo los links al twitter y facebook de este blog, para que se suscriban allí y puedan seguirnos. El blog continuará online, ya que tiene muchos posts antiguos que no me gustaría perder, pero dudo que sigamos publicando por este medio.<br />
<br />
Facebook: <a href="https://www.facebook.com/ComputacionCuantica">ComputacionCuantica</a><br />
Twitter: <a href="https://twitter.com/compucuantica">@compucuantica</a><br />
<br />
Este post cierra un largo camino comenzado en 2005 (¡cuando existían muchos blogs!). Nos vemos en las redes sociales.<br />
<br />Alejandro Díaz-Carohttp://www.blogger.com/profile/14037980280881243781noreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-79131237312341471922017-12-27T16:58:00.000-03:002017-12-27T16:58:28.942-03:00Slides TPNC<br />
<div style="text-align: justify;">
<span style="background-color: white; color: #222222; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13.2px;">Los slides de mi presentación en <a href="http://grammars.grlmc.com/TPNC2017/">TPNC</a> los pueden ver aquí: </span><a href="https://www.slideshare.net/JanusDC/typing-quantum-superpositions-and-measurement" style="background-color: white; color: #335d6e; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13.2px; text-decoration-line: none;">SlideShare</a><span style="background-color: white; color: #222222; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13.2px;">.</span></div>
<span style="background-color: white; color: #222222; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13.2px;"><div style="text-align: justify;">
<span style="font-size: 13.2px;">Presenté el paper "<i>Typing quantum superpositions and measurement</i></span><span style="font-size: 13.2px;">", coautoreado con <a href="http://www.lsv.fr/~dowek/">Gilles Dowek</a>, y del cual les comenté en </span><a href="http://computacioncuantica.blogspot.com.ar/2017/09/en-praga-unificando-paradigmas-para.html" style="color: #335d6e; font-size: 13.2px; text-decoration-line: none;">este post</a><span style="font-size: 13.2px;">. El paper ya fue publicado en </span><a href="https://doi.org/10.1007/978-3-319-71069-3_22" style="color: #335d6e; font-size: 13.2px; text-decoration-line: none;">Lecture Notes in Computer Science</a><span style="font-size: 13.2px;"> (y pueden bajar una versión gratuita desde </span><a href="https://arxiv.org/abs/1601.04294" style="color: #335d6e; font-size: 13.2px; text-decoration-line: none;">arXiv</a><span style="font-size: 13.2px;">).</span></div>
<div style="text-align: justify;">
<span style="font-size: 13.2px;"><br /></span></div>
<div style="text-align: justify;">
<span style="font-size: 13.2px;">Les dejo una fotito de Praga.</span></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh7Jh1YAp8E8bMZvzDly0BTx3YqAp00iVW-7hbUhw_D7XFEajVfekgXNgy_qFcl2CHmW4DgmeWCJ2js-geq8gSwEv3amc9J5w-g8onCAdW4HvWHidgHhLbrUBpcgFa29tg6cC3FLw/s1600/IMG_20171219_084305.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="753" data-original-width="1600" height="187" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh7Jh1YAp8E8bMZvzDly0BTx3YqAp00iVW-7hbUhw_D7XFEajVfekgXNgy_qFcl2CHmW4DgmeWCJ2js-geq8gSwEv3amc9J5w-g8onCAdW4HvWHidgHhLbrUBpcgFa29tg6cC3FLw/s400/IMG_20171219_084305.jpg" width="400" /></a></div>
<div style="text-align: justify;">
<span style="font-size: 13.2px;"><br /></span></div>
</span>Alejandro Díaz-Carohttp://www.blogger.com/profile/14037980280881243781noreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-61266350845301155472017-12-04T10:46:00.001-03:002017-12-04T10:46:05.540-03:00Slides y Poster en APLASLos slides de mi presentación en APLAS los pueden ver aquí: <a href="https://www.slideshare.net/JanusDC/a-lambda-calculus-for-density-matrices-with-classical-and-probabilistic-controls">SlideShare</a>.<br />
Presenté el paper "<i>A lambda calculus for density matrices with classical and probabilistic controls</i>", del cual les comenté en <a href="http://computacioncuantica.blogspot.com.ar/2017/08/confluencia-probabilista-en-brasil-y.html">este post</a>. El paper ya fue publicado en <a href="http://dx.doi.org/10.1007/978-3-319-71237-6_22">Lecture Notes in Computer Science</a> (y pueden bajar una versión gratuita, corregida y con todas las pruebas, desde <a href="https://arxiv.org/abs/1705.00097">arXiv</a>).<br />
<br />
Además, aproveché y llevé un poster del paper, en colaboración con Gilles Dowek, que voy a presentar en TPNC dentro de dos semanas y comenté en <a href="http://computacioncuantica.blogspot.com.ar/2017/09/en-praga-unificando-paradigmas-para.html">este post</a>: "<i>Typing quantum superpositions and measurement</i>". Acá les dejo el <a href="http://diaz-caro.web.unq.edu.ar/posterAPLAS17.pdf">poster</a>, y el paper por ahora sólo lo pueden bajar de <a href="https://arxiv.org/abs/1601.04294">arXiv</a> (actualizaré el post cuando aparezca en Lecture Notes in Computer Science, lo que debería ser muy pronto, y luego de la conferencia con los slides que use para presentarlo).<br />
<br />
Les dejo una pequeña postal de Suzhou, China, donde de llevó a cabo APLAS.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgXuwwBJMSHABrTHXIPispGXcLpwVrVLgNHB_WaBdwBqzsEFIbPBsjMs7ME1dPbgNwN8l98JauRMBFy-aUWeVgJhCPhmkjjPpe6YDmXjSToOxl9yaOwcm3upZ9bfvEFQaqH6nys/s1600/24297195_10156289148784245_2299488596485659148_o.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1200" data-original-width="1600" height="240" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgXuwwBJMSHABrTHXIPispGXcLpwVrVLgNHB_WaBdwBqzsEFIbPBsjMs7ME1dPbgNwN8l98JauRMBFy-aUWeVgJhCPhmkjjPpe6YDmXjSToOxl9yaOwcm3upZ9bfvEFQaqH6nys/s320/24297195_10156289148784245_2299488596485659148_o.jpg" width="320" /></a></div>
<br />Unknownnoreply@blogger.com1tag:blogger.com,1999:blog-13121066.post-68177671595670502252017-11-07T17:26:00.001-03:002017-11-07T17:26:59.990-03:00Visita de Marcos Villagra a Buenos Aires<p dir="ltr">Mañana, luego de casi 8 años, finamente nos vamos a conocer personalmente dos de los autores de este blog: Marcos Villagra, de la Universidad Nacional de Asunción (Paraguay) me visita en la Universidad Nacional de Quilmes (Argentina). </p>
<p dir="ltr">Marcos comenzó a colaborar en el blog en 2009, cuando era estudiante de doctorado en Japón y yo estudiante de doctorado en Francia. Luego de estos años compartiendo el blog, y con ambos haciendo ciencia desde nuestros países de origen, se nos da esta oportunidad de juntarnos a buscar cómo colaborar científicamente y no sólo con la divulgación desde este blog.</p>
<p dir="ltr">Después les contaremos qué sale del encuentro.</p>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-37235784466131311002017-09-13T09:30:00.000-03:002017-12-27T17:05:37.538-03:00En Praga unificando paradigmas para tratar el no clonado en lenguajes cuánticos<div style="text-align: justify;">
En este post les quiero contar de un nuevo paper que acaba de ser aceptado en el <a href="http://grammars.grlmc.com/TPNC2017/">6th International Conference on Theory and Practice of Natural Computing (TPNC 2017)</a> que tendrá lugar en Praga (República Checa) del 18 al 20 de diciembre. Este paper lo co-autoreamos con <a href="http://www.lsv.fr/~dowek/">Gilles Dowek</a>, del <a href="http://www.inria.fr/index.en.html">Inria</a> y la <a href="http://www.ens-cachan.fr/">ENS Paris-Saclay</a> (Francia). El preprint (con un extenso apéndice) lo pueden descargar desde <a href="https://arxiv.org/abs/1601.04294">arXiv:1601.04294</a>, y el paper pronto va a estar disponible en <a href="http://www.springer.com/gp/computer-science/lncs">LNCS</a>. Aquí les dejo el título y resumen, y luego una explicación más amena.</div>
<br />
<div style="text-align: center;">
<h3>
<b>Typing quantum superpositions and measurement</b></h3>
<i>Alejandro Díaz-Caro & Gilles Dowek</i><br />
(aceptado en TPNC, Praga, República Checa, 18-20 de diciembre de 2017)</div>
<blockquote class="tr_bq" style="text-align: justify;">
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.</blockquote>
<div style="text-align: justify;">
<b>Explicación más amena:</b> Hay dos maneras en la literatura de evitar el clonado de qubits (algo que prohíbe la física cuántica): Una manera es evitar que los programas utilicen sus argumentos más de una vez. De esa manera nos aseguramos de que ningún programa duplicará su argumento, y por lo tanto no podrá clonar. Para eso se utiliza lógica lineal. La otra manera es considerar que los programas distribuyen linealmente sobre las superposiciones, y así, aunque el programa clone su argumento, no clonará una superposición cuántica sino simplemente los estados de base (y eso sí es permitido). La segunda idea parece la más lógica, sin embargo, si el programa por ejemplo tienen que tomar un argumento y medirlo, esa solución no nos sirve, ya que no tomará la superposición cuántica para medirla, sino que entrará linealmente en la superposición y simplemente medirá los estados de base. La solución que proponemos acá es un híbrido de ambos: las funciones que deben tomar toda la superposición (por ejemplo para medirla), deben usar restricciones de lógica lineal (no duplicar su argumento), las otras funciones, simplemente usan álgebra lineal y distribuyen sobre el argumento.<br />
<br />
<b>Nuevo post: <a href="http://computacioncuantica.blogspot.com.ar/2017/12/slides-tpnc.html">Slides TPNC</a></b></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-76955672606653358662017-08-31T21:32:00.002-03:002017-12-27T17:06:20.113-03:00Confluencia probabilista en Brasil y cálculo de matrices densidad en China<div style="text-align: justify;">
En este post les quiero comentar dos papers muy recientes (no relacionados) que muy pronto estarán publicados, ya que ya fueron revisados y aceptados para su publicación.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
El primero de ellos fue aceptado en el <a href="http://lsfa2017.cic.unb.br/">12th Workshop on Logical and Semantics Frameworks with Applications (LSFA 2017)</a> que tendrá lugar en Brasilia (Brasil) los días 23 y 24 de septiembre. Ese paper lo co-autoreamos con <a href="http://mtzguido.github.io/">Guido Martínez</a>, de la <a href="https://dcc.fceia.unr.edu.ar/es/lcc/">Universidad Nacional de Rosario</a>. De hecho, este paper es el resumen de <a href="https://dcc.fceia.unr.edu.ar/es/lcc/tesinas-grado/tesinas/confluencia-en-sistemas-de-reescritura-probabilista">su tesis</a> de licenciatura (en la que yo fui su director). Todo el mérito va para Guido, ya que yo sólo le propuse el tema, y él lo desarrolló con muy poca intervención de mi parte. El preprint lo pueden descargar de <a href="https://arxiv.org/abs/1708.03536">arXiv:1708.03536</a>, y aquí replico el título y el resumen.</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: center;">
<h3>
<b>Confluence in Probabilistic Rewriting</b></h3>
<i>Alejandro Díaz-Caro & Guido Martínez</i><br />
(aceptado en LSFA, Brasilia, Brasil, 23-24 de Septiembre de 2017)</div>
<blockquote class="tr_bq" style="text-align: justify;">
Driven by the interest of reasoning about probabilistic programming languages, we set out to study a notion of unicity of normal forms for them. To provide a tractable proof method for it, we define a property of distribution confluence which is shown to imply the desired unicity and further properties. We then carry over several criteria from the classical case, such as Newman’s lemma, to simplify proving confluence in concrete languages. Using these criteria, we obtain simple proofs of confluence for λ<sub>1</sub>, an affine probabilistic λ-calculus, and for Q*, a quantum programming language for which a related property has already been proven in the literature. Lastly, we show how distribution confluence implies unicity even for distributions that are only reached asymptotically.</blockquote>
<div style="text-align: justify;">
<b>Explicación más amena:</b> Definimos el concepto de confluencia para sistemas de reescritura con reglas probabilistas. La confluencia en reescritura estándar dice que si un término puede reescribirse a dos términos diferentes, entonces ambos reescribirán luego al mismo término. Cuando existe reescritura probabilista (por ejemplo, porque es el sistema de reescritura de un lambda cálculo cuántico, que tiene una regla probabilista para la medición cuántica), lo que definimos es una generalización en donde nos importa la unicidad de la distribución de probabilidades.</div>
<br />
El segundo de ellos fue aceptado en el <a href="https://www-aplas.github.io/">15th Asian Symposium on Programming Languages and Systems (APLAS 2017)</a> que tendrá lugar en Suzhou, China del 27 al 29 de noviembre. El preprint lo pueden descargar de <a href="https://arxiv.org/abs/1705.00097">arXiv:1705.00097</a>, y aquí replico el título y el resumen.<br />
<div style="text-align: center;">
<br /></div>
<div style="text-align: center;">
<h3>
<b>A lambda calculus for density matrices with classical and probabilistic controls</b></h3>
<i>Alejandro Díaz-Caro</i><br />
(aceptado en APLAS, Suzhou, China, 27-29 de Noviembre de 2017)</div>
<blockquote class="tr_bq" style="text-align: justify;">
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, λ<sub>ρ</sub>, follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon them. The second one, λ<sub>ρ</sub><sup>°</sup>, take advantage of the density matrices presentation in order to follow the mixed trace of programs in a kind of generalised density matrix. Such a control can be seen as a weaker form of the quantum control and data approach.</blockquote>
<div style="text-align: justify;">
<b>Explicación más amena:</b> En los lenguajes para computación cuántica hay básicamente dos paradigmas: "control clásico y datos cuánticos" o "control y datos cuánticos". El primero considera que la computadora cuántica correrá en una especie de co-procesador cuántico, controlado por una computadora clásica (que le dice qué operaciones aplicar, a qué qubits, cuándo medir, etc) y toma los resultados de las mediciones para seguir el cálculo clásico. El segundo considera superposiciones de programas. La relación entre ambos paradigmas no está del todo clara. En este paper, usando matrices densidad (que es un formalismo que permite describir todos los postulados de la mecánica cuántica), introdujimos primero un cálculo con control clásico, y luego una pequeña modificación del mismo, consiguiendo un control que, si bien no es exactamente cuántico, tampoco es clásico: le llamamos control probabilista, o control cuántico débil.<br />
<br />
<b>Nuevo post: <a href="http://computacioncuantica.blogspot.com.ar/2017/12/slides-y-poster-en-aplas.html">Slides y poster en APLAS</a></b></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-35424301923716001172017-06-26T07:44:00.001-03:002017-06-26T08:05:18.779-03:00Llamado a registro de aspirantes a beca doctoral CONICET 2017<div dir="ltr">
</div>
<div style="text-align: justify;">
Se llama a una preinscripción de postulantes a Beca Interna Doctoral del CONICET relacionada al proyecto PICT-PRH 2015-1208:</div>
<b></b><br />
<div style="text-align: center;">
<b><b><br /></b></b></div>
<b>
<div style="text-align: center;">
<b>«Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional»</b></div>
</b><br />
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
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 <b><a href="http://diaz-caro.web.unq.edu.ar/">Alejandro Díaz-Caro</a></b> en la <a href="http://www.unq.edu.ar/">Universidad Nacional de Quilmes</a> (Bernal, Buenos Aires, Argentina).</div>
<div style="text-align: justify;">
<br /></div>
<div dir="ltr">
<b>Laboratorios de pertenencia</b>:<br />
* <a href="https://sites.google.com/site/lorellabs">LoReL</a><br />
* <a href="https://www.irif.fr/~kesner/lia/team.html">Infinis</a></div>
<div dir="ltr">
<b><br /></b></div>
<div dir="ltr" style="text-align: justify;">
<b>Principales interacciones (proyectos conjuntos) con:</b> 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.</div>
<div dir="ltr" style="text-align: justify;">
<b><br /></b></div>
<div dir="ltr" style="text-align: justify;">
<b>Requisitos:</b> 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.</div>
<div dir="ltr" style="text-align: justify;">
<b><br /></b></div>
<div dir="ltr">
<b>Contacto:</b> <a href="mailto:alejandro.diaz-caro@unq.edu.ar">alejandro.diaz-caro@unq.edu.ar</a></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-73143669801307292492017-06-23T21:11:00.006-03:002017-06-23T21:11:45.425-03:002a Jornada de Lógica, Computación e Información Cuántica<b style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">2a Jornada de Lógica, Computación e Información Cuántica </b><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><i style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Jueves 13 de julio de 2017 </i><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Universidad Nacional Arturo Jauretche</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Av. Calchaquí 6200, Florencio Varela</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">-- Salón Auditorio --</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><br />
<div style="text-align: justify;">
<span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">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.</span><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"> </span></div>
<div style="text-align: justify;">
<span style="color: #212121; font-family: sans-serif; font-size: 13px;"><br /></span></div>
<span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
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.</div>
</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">==============================</span><wbr style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"></wbr><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">==============================</span><wbr style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"></wbr><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">==</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Programa:</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><div style="text-align: justify;">
<span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">10:30 Café</span><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"> </span></div>
<span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
11:00 <b>Christian de Ronde</b>: <i>On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)</i></div>
</span><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
12:00 Almuerzo </div>
</span><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
14:00 <b>Simon Perdrix</b>: <i>Diagrammatic Quantum Reasoning: Completeness and Incompleteness</i></div>
</span><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
15:00 Café </div>
</span><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
15:30 <b>Guido Bellomo</b>: <i>Quantum entropies and lossless quantum data compression</i></div>
</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">==============================</span><wbr style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"></wbr><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">==============================</span><wbr style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"></wbr><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">==</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Resúmenes:</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><div style="text-align: justify;">
<b style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Christian de Ronde</b><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"> (Universidad Nacional Arturo Jauretche & CONICET) - </span><i style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures).</i></div>
<span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
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.</div>
</span><div style="text-align: justify;">
<span style="color: #212121; font-family: sans-serif; font-size: 13px;"><br /></span></div>
<b style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
<b>Simon Perdrix</b> (CNRS / LORIA, Francia) - <i>Diagrammatic Quantum Reasoning: Completeness and Incompleteness.</i></div>
</b><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
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.</div>
</span><br style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;" /><div style="text-align: justify;">
<b style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Guido Bellomo</b><span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"> (Universidad de Buenos Aires) - </span><i style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;">Quantum entropies and lossless quantum data compression.</i></div>
<span style="background-color: white; color: #212121; font-family: sans-serif; font-size: 13px;"><div style="text-align: justify;">
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.</div>
</span>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-26089544756856551962017-03-28T21:03:00.000-03:002017-03-28T21:03:26.066-03:00Próximos seminarios: París y La Plata<div style="text-align: justify;">
Del 3 al 12 de abril estaré en París, visitando el grupo de Gilles Dowek. El <span style="background-color: yellow;">jueves 6 a las 14hs</span> daré el siguiente seminario en el grupo Deducteam (Librería del laboratorio LSV, Cachan):</div>
<br />
<div style="text-align: center;">
<b>A lambda calculus for density matrices</b></div>
<div style="text-align: justify;">
<blockquote class="tr_bq">
<i>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.</i></blockquote>
</div>
<div style="text-align: justify;">
A la vuelta, el <span style="background-color: yellow;">martes 25 de abril a las 10:30hs</span>, daré el siguiente seminario en el departamento de Física de la Universidad Nacional de La Plata (esquina de calles 115 y 49):</div>
<br />
<div style="text-align: center;">
<b>Cálculo lambda y computación cuántica</b></div>
<div style="text-align: justify;">
<blockquote class="tr_bq">
<i>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. </i></blockquote>
</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-54712755082321106392017-03-03T18:39:00.002-03:002017-03-06T11:14:54.775-03:00Jornada de lógica, computación e información cuántica @ UNQ<center>
<b>Jornada de lógica, computación e información cuántica</b>
<br />
<i>23 de marzo de 2017</i>
<br />Universidad Nacional de Quilmes<br /><a href="https://goo.gl/maps/7szfq4wFct42"><span style="font-size: x-small;">Roque Sáenz Peña 352, Bernal</span></a><br /><span style="font-size: x-small;">-- Aula CyT-2 --</span></center>
<br />
<div style="text-align: justify;">
El 23 de marzo se realizará una jornada de lógica, computación e
información cuántica. El objetivo es juntar a quienes trabajamos en
temas afines a la computación cuántica desde las ciencias de la
computación en la región. Contaremos con charlas de <a href="http://www.glyc.dc.uba.ar/gabriel/">Gabriel Senno</a>
(Universidad de Buenos Aires), <a href="https://arxiv.org/find/all/1/au:+Malherbe_O/0/1/0/all/0/1">Octavio Malherbe</a> (Universidad de la
República) y <a href="https://arxiv.org/find/all/1/au:+Holik_F/0/1/0/all/0/1">Federico Holik</a> (Universidad Nacional de La Plata), y se
realizará en la Universidad Nacional de Quilmes de 10:30 a 16:30 horas.
</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Esta convocatoria nace de jóvenes investigadores del área, y queremos
que sea lo más amplia posible. Se agradece la difusión.
Por motivos de organización, se ruega confirmar participación
escribiendo a alejandro.diaz-caro@unq.edu.ar.</div>
<br />
==============================================================<br />
<br />
Programa:<br />
<br />
<div style="text-align: justify;">
10:30 <i>Café</i>
</div>
<div style="text-align: justify;">
11:00 <b>Gabriel Senno</b>: Yendo desde una ventaja cuántica en
complejidad comunicacional a una gran violación de Bell resistente al
loophole de la detección</div>
<div style="text-align: justify;">
12:00 <i>Almuerzo</i>
</div>
<div style="text-align: justify;">
14:00 <b>Octavio Malherbe</b>: Modelos de la computación cuántica y realizabilidad</div>
<div style="text-align: justify;">
15:00 <i>Café</i>
</div>
<div style="text-align: justify;">
15:30 <b>Federico Holik</b>: Probabilidades cuánticas y modelos probabilísticos generalizados</div>
<br />
==============================================================<br />
<br />
Resúmenes:<br />
<br />
<div style="text-align: justify;">
<b>Gabriel Senno</b> (Universidad de Buenos Aires) -
<i>Yendo desde una ventaja cuántica en complejidad comunicacional a una
gran violación de Bell resistente al loophole de la detección</i>
</div>
<div style="text-align: justify;">
La teoría de la complejidad comunicacional estudia la cantidad de
comunicación que tiene que haber entre dos jugadores Alice y Bob para
que puedan computar de manera distribuida una función bipartita dada. Se
conocen numerosas funciones para las cuales hay una ventaja cuántica,
es decir: la cantidad de comunicación cuántica (medida en qbits) es
menor que la clásica (medida en bits); para algunas funciones, la
ventaja es incluso exponencial. Dada su evidente similitud con el
escenario de no-localidad, una de las preguntas abiertas en el área es:
̣¿qué relación hay entre ventaja cuántica en complejidad comunicacional y
violación de desigualdades de Bell? Voy a mostrar como, para una gran
familia de funciones para las cuales hay ventaja cuántica, se pueden
construir desigualdades de Bell y distribuciones cuánticas que las
violan en una magnitud exponencial en la ventaja. Estas violaciones son,
además, resistentes al loophole de la detección.</div>
<br />
<div style="text-align: justify;">
<b>Octavio Malherbe</b> (Universidad de la República) - <i>Modelos de la computación cuántica y realizabilidad</i>
</div>
<div style="text-align: justify;">
En esta charla hablaremos sobre los modelos categóricos de la
computación cuántica para el cálculo lambda cuántico de
Valiron-Selinger. Intentaremos luego movernos al contexto de la
realizabilidad para hablar sobre algunas líneas de investigación que
venimos desarrollando con el equipo de lógica de Montevideo en el marco
del proyecto realizabilidad y computación cuántica.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
<b>Federico Holik</b> (Universidad Nacional de La Plata) - <i>Probabilidades cuánticas y modelos probabilísticos generalizados</i>
</div>
<div style="text-align: justify;">
En esta charla discutimos las probabilidades cuánticas desde el
punto de vista de una generalización no conmutativa de la teoría de la
medida. Nos enfocamos en distintos aspectos geométricos, tales como la
invariancia ante la acción de grupos. Describimos cómo extender este
abordaje a otras teorías probabilisticas, y estudiamos la relación con
la teoría de la información cuántica.
</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-54814500268335207662017-02-14T14:19:00.000-03:002017-02-14T14:30:59.100-03:00Curso en la Escuela de Ciencias Informáticas 2017<div style="text-align: justify;">
Del 24 al 29 de Julio de 2017 voy a dictar un curso de <b>Fundamentos de Lenguajes para Computación Cuántica</b> en la <a href="https://www.dc.uba.ar/events/eci/2017/index_html">31<sup>a</sup> ECI, la Escuela de Ciencias Informáticas del Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires</a>.<br>
<br />
El curso tendrá 15 horas (5 clases de 3hs cada una), y tratará los mismos temas del <a href="https://computacioncuantica.blogspot.com/2016/08/materia-optativa-en-rosario.html">curso semestral que dicté en la Universidad Nacional de Rosario</a>, (aunque forzosamente con menos profundidad debido a la menor cantidad de horas). El material del curso que dicté en la UNR lo pueden ver <a href="http://computacion-cuantica.web.unq.edu.ar/"><b>aquí</b></a>.<br />
<br />
Para más información de la ECI no dejen de visitar la página oficial:
</div>
<center>
<h3>
<a href="https://www.dc.uba.ar/events/eci/2017"><b>https://www.dc.uba.ar/events/eci/2017</b></a></h3>
</center>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-51721605976405291212016-09-28T18:17:00.003-03:002016-11-09T20:37:34.861-03:00Workshop on Foundations of Quantum Computation @ Quilmes<div style="text-align: center;">
</div>
<div style="text-align: center;">
<b>FoQCoSS Kickoff Workshop</b></div>
<div style="text-align: center;">
<i>Foundations of Quantum Computation: Syntax and Semantics</i></div>
<div style="text-align: center;">
5 y 6 de Diciembre</div>
<div style="text-align: center;">
Universidad Nacional de Quilmes</div>
<div style="text-align: center;">
Roque Sáenz Peña 352, Bernal, Buenos Aires, Argentina</div>
<div style="text-align: center;">
<a href="http://diaz-caro.web.unq.edu.ar/foqcoss.html">http://diaz-caro.web.unq.edu.ar/foqcoss.html</a></div>
<br />
<div style="text-align: justify;">
En el marco del proyecto STIC-AmSud FoQCoSS, el lunes 5 y martes 6 de diciembre próximos se realizará un workshop con exposiciones de los integrantes del proyecto. El mismo se desarrollará en el campus de la Universidad Nacional de Quilmes (Roque Sáenz Peña 352, Bernal), aula a confirmar.</div>
<br />
<div style="text-align: justify;">
Rogamos confirmar asistencia enviando un mail a alejandro ARROBA diaz-caro PUNTO info, con su nombre, apellido e institución de pertenencia.</div>
<br />
<div style="text-align: justify;">
<span style="font-size: small;"><strong><span><em>Por razones de organización, se ruega confirmar asistencia enviando un email a <a href="mailto:alejandro@diaz-caro.info?subject=Inscripci%C3%B3n%20a%20Workshop">alejandro@diaz-caro.info</a></em></span></strong></span></div>
<br />
<div style="text-align: justify;">
Cronograma:</div>
<div style="text-align: justify;">
<span style="font-size: x-small;">(Los abstracts de las charlas, y más información sobre el evento, los pueden ver en la página del mismo).</span></div>
<br />
<b>Lunes 5/12 - Aula 22</b>
<br />
10.30 ► Gilles Dowek: Quantitative informational aspects in discrete physics<br />
11.15 ► Pablo Arrighi: Discrete Lorentz covariance for quantum walks and quantum cellular automata<br />
<i>12.00 - Almuerzo</i><br />
14.00 ► Christian de Ronde: On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)<br />
14.45 ► Simon Martiel: Quantum causal graph dynamics<br />
<i>15.30 - Coffee break</i><br />
16.00 ► Stefano Facchini: Quantum walking in curved spacetime: (3+1) dimensions, and beyond<br />
<br />
<b>Martes 6/12 - Aula 44</b>
<br />
10.30 ► Benoît Valiron: A Geometry of interaction for quantum computation<br />
11.15 ► Alejandro Díaz-Caro: Typing quantum superpositions and projective measurements<br />
<i>12.00 - Almuerzo</i><br />
14.00 ► Gabriel Senno: Robust Bell inequalities from communication complexity<br />
14.45 ► Ariel Bendersky: Non-signaling deterministic models for non-local correlations have to be uncomputable<br />
<i>15.30 - Coffee break</i><br />
16.00 ► Renaud Vilmart: Completeness and Incompleteness of the ZX-Calculus, a diagrammatic language for quantum reasoning and computing<br />
16.45 ► José Carlos Puiati (video-conferenced): Implementation of an interpreter and typechecker for the double effect quantum lambda calculusUnknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-74629650235407855112016-08-10T17:01:00.004-03:002016-08-10T17:06:49.656-03:00Materia optativa en Rosario<div style="text-align: justify;">
Este semestre, además del <a href="http://computacioncuantica.blogspot.com.ar/2016/04/agenda-de-viajes-y-curso-de-cuantica.html">curso de una semana (25 hs) que voy a dar en el CACIC</a>, voy a dictar una materia optativa en la <a href="http://fceia.unr.edu.ar/lcc/">Licenciatura en Ciencias de la Computación</a> (también da créditos para el doctorado) en la Universidad Nacional de Rosario. El nombre de la materia es</div>
<div style="text-align: center;">
<span style="font-size: large;">Introducción a la computación cuántica</span></div>
<div style="text-align: center;">
<span style="font-size: large;">y fundamentos de lenguajes de programación.</span><br />
</div>
<div style="text-align: justify;">
Aquí les dejo la página de la misma, donde iré subiendo el material.</div>
<div style="text-align: center;">
<span style="font-size: large;"><b><a href="http://computacion-cuantica.web.unq.edu.ar/">http://computacion-cuantica.web.unq.edu.ar</a></b></span></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-62385018973519675312016-07-28T10:24:00.000-03:002016-07-28T10:24:01.305-03:00Workshop INFINIS en Temas de Tesis de Licenciatura y Doctorado<div style="text-align: justify;">
<a href="http://infinis.dc.uba.ar/">INFINIS</a> es un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en ciencias de la computación. Fue creado en 2011.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
El miércoles 3 de agosto haremos un workshop en el que cada grupo de INFINIS presentará posibles temas de Licenciatura y de Doctorado. Son seis grupos y cada presentación tiene una duración de 30 minutos.
Las presentaciones están destinadas a alumnos. No hace falta inscribirse, están todos bienvenidos.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
En particular, yo estaré presentando los temas del grupo <i><a href="https://www.irif.univ-paris-diderot.fr/~kesner/lia/team.html">Logics and Dynamics of Programming Languages</a></i> (o como lo rebautizamos en español, <i>Lógica y Reescritura para Lenguajes de Programación</i>).</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Para más información pueden ver la página del workshop</div>
<div style="text-align: center;">
<b><span style="font-size: large;"><a href="http://winfinis.dc.uba.ar/w2016.html">http://winfinis.dc.uba.ar/w2016.html</a></span></b></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-68564794936095890952016-06-17T12:37:00.003-03:002016-06-17T13:17:02.602-03:00Algoritmos Cuánticos para Optimización Multiobjetivo<div style="text-align: justify;">
Una de las aplicaciones más populares en computación cuántica es en el diseño de algoritmos de optimización. Esto es gracias a la popularidad del modelo de computación cuántica adiabática y anuncios realizados por compañías privadas que dicen poseer un computador cuántico de más de 1000 qubits basados en este modelo.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
No voy a realizar un debate sobre si lo que dicen estas compañías es cierto o no. El objetivo de esta entrada es simplemente dar a conocer mi más reciente artículo que puede descargarse de este enlace <a href="https://arxiv.org/abs/1605.03152" target="_blank">arXiv:1605.03152</a>. Este es el primer trabajo en donde se muestra como resolver un problema de optimización "multiobjetivo" en un computar cuántico (por lo menos eso creo después de hacer una revisión de la bibliografía). En principio, un problema multiobjetivo es un problema de optimización con dos o más funciones objetivo (que pueden ser contradictorios o presentan <i>trade-offs</i>) que deben optimizarse de forma simultánea. Entonces, pueden existir soluciones "óptimas" que son incomparables entre sí. Por ejemplo, si quiero llegar de un punto A a otro punto B en un mapa, quiero elegir el camino con menos tránsito y que sea más corto. Sin embargo, tal vez el camino más corto tenga la mayor cantidad de tránsito o el camino más transitado sea el más largo; entre esas dos soluciones pueden existir muchas otras soluciones con <i>trade-offs</i> entre cantidad de tránsito y longitud. Si quisiéramos considerar el tiempo de viaje, es suficiente con agregar eso como una función objetivo más. A las personas interesadas les invito a leer el artículo enlazado arriba para los detalles. </div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Este es un artículo muy interesante porque al principio el problema era muy difícil, y no teníamos la menor idea de como proceder. El objetivo era conseguir un algoritmo cuántico en donde pudiéramos demostrar la convergencia a una solución óptima en tiempo finito. Ahí fue en donde el teorema adiabático resultó de mucha ayuda. Sin embargo, como en muchos otros trabajos de investigación, nuestra demostración nos ayudó a identificar propiedades que hacen difícil la implementación de algoritmos cuánticos adiabáticos para optimización multiobjetivo. Estas propiedades en particular aparentemente no son estudiadas por la comunidad de optimización multiobjetivo, y sin embargo, introducen también líneas de investigación interesantes en optimización clásica.</div>
<div style="text-align: justify;">
<br /></div>
Anonymoushttp://www.blogger.com/profile/06555698085827024433noreply@blogger.com1tag:blogger.com,1999:blog-13121066.post-44477078493343136922016-04-14T10:35:00.000-03:002016-04-27T15:13:59.996-03:00Agenda de viajes... Y CURSO DE CUANTICA<div style="text-align: justify;">
En este post les cuento un poco los viajes programados que tengo para este año. En particular, <span style="background-color: yellow;"><b>si son estudiantes de computación en Argentina y quieren ir a un curso de computación cuántica y lenguajes para la misma, voy a estar dando un curso en el <a href="http://www.cacic2016.unsl.edu.ar/">CACIC</a>.</b></span></div>
<div style="text-align: justify;">
<br /></div>
<ul>
<li><div style="text-align: justify;">
Hasta mediados de Julio (y desde Enero) estoy en la <a href="http://www.di.unito.it/">Università degli Studi di Torino</a>, en Turín (Italia), a donde vine como investigador visitante a trabajar con <a href="http://www.di.unito.it/~ronchi/">Simona Ronchi della Rocca</a> y <a href="http://www.di.unito.it/~dezani/">Mariangiola Dezani-Ciancaglini</a>.</div>
</li>
<li>En Mayo voy una semana a trabajar con <a href="http://www.lsv.ens-cachan.fr/~dowek/">Gilles Dowek</a> a París (Francia).</li>
<li><div style="text-align: justify;">
En Junio voy al <a href="http://logic.pdmi.ras.ru/csr2016/">CSR</a> a presentar el <a href="http://computacioncuantica.blogspot.it/2016/02/computacion-afin-y-automatas-afines-en.html">paper que escribimos</a> con <a href="http://abuzer.yakaryilmaz.com/">Abuzer Yakaryılmaz</a>, en San Petersburgo (Rusia).</div>
</li>
<li><div style="text-align: justify;">
También en Junio voy al <a href="http://fscd2016.dcc.fc.up.pt/">FSCD</a>, en Porto (Portugal), aunque allí no voy a presentar nada (pero no me podía perder el <a href="http://fscd2016.dcc.fc.up.pt/fscd2016/statement/">primer RTA-TLCA fusionado en FSCD</a>).</div>
</li>
<li><div style="text-align: justify;">
En Julio voy a la <a href="http://www.uninorte.edu.co/web/vclam/log1">sesión de Lógica y Computabilidad</a> del<a href="http://www.uninorte.edu.co/web/vclam"> Congreso Latinoamericano de Matemáticos</a> en Barranquilla (Colombia). Allí voy a presentar lo que he estado trabajando con Simona, que básicamente es una continuación <a href="http://computacioncuantica.blogspot.it/2015/06/charla-sobre-la-medicion-cuantica.html">del trabajo con Gilles</a> (es la interpretación en lógica lineal de ese trabajo).</div>
</li>
<li style="text-align: justify;">Y finalmente, en Octubre, voy a San Luis (Argentina) a dar un <span style="background-color: yellow;">curso de 5 días</span> a la <a href="http://www.cacic2016.unsl.edu.ar/">Escuela del CACIC</a>. El curso va tener básicamente el mismo formato que el que dí en <a href="http://computacioncuantica.blogspot.it/2015/02/material-de-mi-curso-de-la-escuela-de.html">la Río,</a> pero con un poco más de profundidad (porque tengo el doble de horas). Les dejo acá los datos oficiales del curso:<br /><br /><b>TITULO:</b> Fundamentos de lenguajes de programación para computación cuántica<br /><br /><b>OBJETIVOS:</b> Introducir la computación cuántica y los
fundamentos de lenguajes de programación para dicho paradigma. Se
pretende que los estudiantes tengan una primera visión no sólo de la
computación cuántica sino también de problemas científicos actuales a
la hora de estudiar sus fundamentos lógicos. El estudiante debería
terminar con un conocimiento introductorio de computación cuántica y de
cálculo lambda.<br />
<br />
<b>CONTENIDOS:</b> Introducción a la computación
cuántica. Conceptos de física. Formalismo matemático. Algoritmos
cuánticos: Deutsch, Deutsch-Jotza,
Grover, Teleportación, Codificación Superdensa, Protocolo de
distribución de claves BB84 Introducción al cálculo lambda tipado.
Relación entre tipos y
lógica intuicionista. Introducción a las extensiones cuánticas al
cálculo lambda: paradigma de control clásico y datos cuánticos, y
paradigma de control y datos cuánticos tipado.<br />
</li>
</ul>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Espero cruzarlos en algún evento.</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-16339132999251644632016-02-27T11:16:00.000-03:002016-02-27T11:16:04.685-03:00Continuando con autómatas afines<div style="text-align: justify;">
En una entrada anterior Alejandro había anunciado un nuevo paper sobre una idea de un modelo de computación con <a href="http://arxiv.org/abs/1602.04732" target="_blank">transformaciones afines</a>. A modo de continuación de ese artículo, este servidor en coautoría con Abuzer Yakaryilmaz, acabamos de hacer público una continuación a la idea de lo autómatas afines. Se puede descargar el manuscrito directamente desde <a href="http://arxiv.org/abs/1602.05432" target="_blank">arXiv</a>. En este caso nos concentramos en la complejidad descripcional de dichos computadores con varios resultados interesantes.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
También aprovecho esta ocasión para resaltar otra continuación más de este mismo paper, titulado "Can one quantum bit separate any pair of words with zero-error?," escrito por Belovs, Montoya y Yakaryilmaz; también puede descargarse desde <a href="http://arxiv.org/abs/1602.07967" target="_blank">arXiv</a>. En este artículo en particular se mira un problema muy sencillo de explicar pero bastante complejo de resolver, el de separar palabras. Por ejemplo, si te doy <i>x</i> e <i>y</i>, ¿cuál él es el autómata de tamaño mínimo que acepta <i>x</i> y rechaza <i>y</i>?</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Entonces, por lo que va de año ya son 3 los artículos sobre autómatas afines. ¿Será el inicio de una línea de invetigación? Solo el tiempo lo dirá. Por ahora, el modelo es muy interesante y prometedor ya que simplifica muchos argumentos en la teoría de autómatas cuánticos.</div>
Anonymoushttp://www.blogger.com/profile/06555698085827024433noreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-33986240277714895052016-02-16T09:40:00.002-03:002016-06-07T09:24:33.268-03:00Computación afín y autómatas afines, en Rusia<div style="text-align: justify;">
El paper que escribimos con <a href="http://abuzer.yakaryilmaz.com/">Abuzer Yakaryılmaz</a> (el cual <a href="http://computacioncuantica.blogspot.it/2015/11/repost-proyectos.html">comenté aquí</a>), fue aceptado en el <a href="http://logic.pdmi.ras.ru/csr2016/">CSR 2016 (The 11th International Computer Science Symposium in Russia)</a>.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Pueden <a href="http://arxiv.org/abs/1602.04732">bajar un preprint de arXiv</a>. La versión publicada es un poco más corta por límites de espacio, y está aquí: <a href="http://dx.doi.org/10.1007/978-3-319-34171-2_11">LNCS 9691:146-160</a>.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Lo que hacemos en este trabajo es definir los autómatas afines. La idea surgió de un comentario que hice en una charla que dio Abuzer en mi grupo acerca de los autómatas cuánticos. La ganancia computacional que tenían estos autómatas parecía venir exclusivamente de las amplitudes negativas, entonces surgió la pregunta de si podríamos tener el mismo poder computacional simplemente usando un autómata probabilista con "probabilidades" negativas. Y así llegamos a las transformaciones afines: la idea es que un estado está representado por un vector cuyas componentes suman uno, sólo que no pedimos que sean positivas (como en un autómata probabilista). Luego usamos transformaciones afines (que mantienen la suma a uno) como matriz de transición. El resultado fue sorprendente ya que en el caso determinista, resultó ser más poderoso que los autómatas finitos cuánticos (y en el caso no determinista, igual).</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Dejaré los slides una vez lo prepare para el simposio (que es en San Petersburgo del 9 al 13 de junio). <b>Update</b>: <a href="http://www.slideshare.net/JanusDC/affine-computation-and-affine-automaton">Aquí están</a>.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Cabe aclarar que Abuzer es el especialista en autómatas (igual que Marcos Villagra, co-autor de este blog), mi campo principal es el cálculo lambda y la teoría de tipos... pero estuvo buena esta colaboración y espero ir aprendiendo más del tema.</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-1907232697713535462016-02-01T10:15:00.001-03:002016-02-01T10:15:08.762-03:00Comenzando actividades<div style="text-align: justify;">
Hace casi un año que me mudé de vuelta a Asunción para iniciar mis actividades académicas. Me dijeron que el primer año resultaría duro y lo fue. Especialmente después de haber vivido casi ocho años en Japón y volver a acostumbrarme a mi propia cultura fue lo más difícil. Hasta este momento nunca me había dado cuenta de lo aculturado que estaba a Japón.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Actualmente estoy realizando un cambio en mis estudios y estoy aprovechando estos nuevos aires para incursionar en complejidad algebraica. Es un área de estudio que me siempre me provocó curiosidad y siempre disfruté estudiar. Ahora es una buena oportunidad para comenzar en esto. No significa que voy a dejar la computación cuántica, sino más bien, sería como un refuerzo que actuaría en sinergía con la computación cuántica. Los mismos conceptos aparecen en ambos como los tensores, los polinomios, y por supuesto, el álgebra abstracta.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Este año voy a estar muy concentrado en crear un grupo de investigación en teoría de la computación, el cual es un área (según mi entendimiento) inexistente en el Paraguay. Solo estamos dos personas que hacemos investigación en teoría de la computación. Espero poder cambiar eso en un futuro.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Por lo tanto estoy buscando estudiantes de grado y postgrado interesados en hacer teoría de la computación, en particular, las áreas de complejidad algebraica, computación cuántica y complejidad computacional clásica. Hay oportunidades de beca para estudiantes a tiempo completo, y nuestro consejo de ciencia y tecnología local ofrece todos los años becas de postgrado. Además, nuestro programa de postgraduación en Ciencias de la Computación es muy bueno, con expertos en diferentes áreas como bioinformática, optimización, ingeniería, computación científica y otros.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Voy a ir reportando avances de como vamos organizando el grupo. No quiero prometer publicaciones en el blog cada cierto tiempo estecífico, pero si voy a intentar cada tanto hacer una actualización. Es increíble como antes teníamos como una entrada en el blog cada semana, pero luego de graduarme y empezar a trabajar se hizo muy difícil escribir.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Este es un buen momento para volver a escribir.</div>
Anonymoushttp://www.blogger.com/profile/06555698085827024433noreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-59408311156022857452016-01-04T13:12:00.000-03:002016-01-04T13:12:37.817-03:00Rūsiņš Mārtiņš Freivalds 1942-2016<div style="text-align: justify;">
Hoy me llegó la triste noticia de que <span style="font-family: Helvetica Neue;"><span style="font-size: 14px;">Rūsiņš Freivalds falleció. El fue un pionero de la teoría de autómatas y la complejidad computacional. Entre sus muchas contribuciones quisiera resaltar el primer algoritmo que demuestra la superioridad de la computación probabilística sobre la determinística; el demostró que el lenguaje {0<sup>n</sup>1<sup>n</sup> | n≥0} puede ser reconocido por un autómata probabilístico. También, fue el descubridor de un algoritmo asintóticamente óptimo para verificar la multiplicación de matrices, conocido como el <a href="https://en.wikipedia.org/wiki/Freivalds%27_algorithm" target="_blank">Algoritmo de Freivalds</a>. </span></span></div>
<div style="text-align: justify;">
<span style="font-family: Helvetica Neue;"><span style="font-size: 14px;"><br /></span></span></div>
<div style="text-align: justify;">
<span style="font-family: Helvetica Neue;"><span style="font-size: 14px;">Tuve el placer de conocerlo y escuchar en varias ocasiones sus historias sobre como hacían investigación en la antigua unión soviética, del cual Latvia (o Letonia en español) fue parte. Siempre que él iba a alguna conferencia estaba acompañado de sus muchos estudiantes. En los últimos años sus trabajos se centraron en un modelo de computación basado en números p-ádicos. Aunque aparenta ser un modelo muy extraño, es una generalización muy natural y muy interesante.</span></span></div>
Anonymoushttp://www.blogger.com/profile/06555698085827024433noreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-24212749846182639422015-12-01T15:01:00.001-03:002015-12-01T15:15:48.923-03:00Poniendo FoQCoSS en los fundamentos de la computación cuánticaNos acaban de aprobar el proyecto <a href="http://www.mincyt.gob.ar/convocatoria/programa-stic-amsud-2015-10748">STIC-AmSud</a> "<i>FoQCoSS - Foundations of Quantum Computation: Syntax and Semantics</i>" (Fundamentos de la computación cuántica: sintaxis y semántica).<br />
<br />
Este es un proyecto conjunto donde participan 5 instituciones (dos argentinas, una brasileña y cuatro francesas) y un total de 11 investigadores y becarios.<br />
Los miembros argentinos somos los miembros argentinos de este blog, Gabriel Senno y, quien les escribe, Alejandro Díaz-Caro.<br />
<br />
El objetivo del proyecto, como lo dice el título, es estudiar los fundamentos de la computación cuántica, con 5 objetivos específicos claros:<br />
<ol>
<li>Estudiar el fenómeno del paralelismo, utilizando las <a href="http://computacioncuantica.blogspot.com.ar/2010/12/explicacion-del-paper-legible-por.html">extensiones algebraicas al lambda cálculo</a>.</li>
<li>Estudiar la semántica denotacional del <a href="http://computacioncuantica.blogspot.fr/2011/07/habemus-date-definito-xxiii-septembris.html">lambda cálculo vectorial</a>.</li>
<li>Estudiar <a href="http://computacioncuantica.blogspot.fr/2013/10/identificando-proposiciones-isomorfas.html">sistemas modulo isomorfismos de tipos</a>.</li>
<li>Estudiar la semántica categórica del <a href="http://link.springer.com/chapter/10.1007/978-3-642-40922-6_5">lambda cálculo cuántico del equipo brasileño en el proyecto</a>.</li>
<li>Estudiar los las <a href="http://computacioncuantica.blogspot.fr/2013/07/autor-se-presenta.html">consecuencias de la teoría de la computabilidad en la física y las consecuencias de la física en la teoría de la computabilidad</a>.</li>
</ol>
<br />
Es un proyecto a dos años que nos va a permitir reunirnos todos en jornadas de trabajo un par de veces al año y es financiado por MAEDI e INRIA de Francia, CAPES de Brasil y MINCYT de Argentina.<br />
<br />
Les dejo el <a href="http://www.sticamsud.org/images/CONVOCATORIASTIC2015/FoQCoSS.pdf">link a la descripción completa del proyecto en la página de STIC-AmSud</a>.<br />
<br />
Los integrantes somos (en orden alfabético):<br />
<ol>
<li><a href="http://pageperso.lif.univ-mrs.fr/~pablo.arrighi/">Pablo ARRIGHI</a> – Université Aix-Marseille, Francia</li>
<li><a href="http://diaz-caro.web.unq.edu.ar/">Alejandro DIAZ-CARO</a> – Universidad Nacional de Quilmes, Argentina</li>
<li><a href="https://who.rocq.inria.fr/Gilles.Dowek/">Gilles DOWEK</a> – INRIA, Francia</li>
<li><a href="http://www.lif.univ-mrs.fr/annuaire/personne/1302763">Stefano FACCHINI</a> – Université Aix-Marseille, Francia</li>
<li><a href="http://www-usr.inf.ufsm.br/~juvizzotto/">Juliana KAIZER VIZZOTTO</a> – Universidade Federal de Santa Maria, Brasil</li>
<li><a href="http://dblp.uni-trier.de/pers/hd/m/Martiel:Simon">Simon MARTIEL</a> – INRIA, Francia</li>
<li><a href="http://membres-lig.imag.fr/perdrix/">Simon PERDRIX</a> – CNRS/LORIA, Francia</li>
<li><a href="http://www-usr.inf.ufsm.br/~jpires/">José Carlos PUIATI PIRES</a> – Universidade Federal de Santa Maria, Brasil</li>
<li><a href="http://www.glyc.dc.uba.ar/gabriel/">Gabriel SENNO</a> – Universidad de Buenos Aires, Argentina</li>
<li><a href="http://www.monoidal.net/">Benoît VALIRON</a> – CentraleSupélec –LRI, Francia</li>
<li><a href="https://www.cs.ox.ac.uk/people/quanlong.wang/">Hanry (Quanlong) WANG</a> – LORIA, Francia</li>
</ol>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-48896698872280200632015-11-28T21:22:00.000-03:002016-02-16T09:44:40.754-03:00Proyectos<div style="text-align: justify;">
Tenemos bastante abandonado el blog. Por mi parte mis excusas son que este semestre he estado dictando varios cursos a la vez (1 en la Tecnicatura en Programación Informática, 2 en la Licenciatura en Informática y 1 en la Maestría en Bioinformática, de la UNQ), ya que el semestre que viene no dictaré clase alguna en Quilmes porque me voy todo el semestre a Turín.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Presentadas las correspondientes excusas, les cuento en qué estoy trabajando actualmente, proyectos y demás. (Ah! Y estoy buscando buenos estudiantes que quieran engancharse en alguno de los temas para hacer su doctorado!).</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
En primer lugar, con <a href="http://ar.linkedin.com/in/fidelml">Fidel (Pablo E. Martínez López)</a> terminamos una implementación de <a href="http://computacioncuantica.blogspot.fr/2013/10/identificando-proposiciones-isomorfas.html">λ⁺</a>, la extensión a λ-cálculo que hicimos con <a href="https://who.rocq.inria.fr/Gilles.Dowek/">Gilles Dowek</a> donde tipos isomorfos son considerados iguales. Ya hablé de este trabajo <a href="http://computacioncuantica.blogspot.fr/2015/08/isomorfismos-como-igualdades.html">en un post anterior</a> (no dejen de leerlo). Lo que terminamos de hacer ahora es corregir todo lo que había que corregir de la versión presentada en IFL, y enviado a evaluación al post-proceedings de esa conferencia para su publicación. <strike>El lunes subiré el paper, tal como lo enviamos, a mi página web (no tengo acceso a ella desde mi casa).</strike> <b>Update:</b> <a href="http://arxiv.org/abs/1511.09324">Aquí está</a>.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Por otro lado, con <a href="http://abuzer.yakaryilmaz.com/">Abuzer Yakaryilmaz</a> enviamos un paper para su revisión. Abuzer es especialista en Autómatas Cuánticos, y juntos diseñamos un autómata que dimos en llamar autómata afín, el cual es una especie de autómata probabilista... sólo que acepta probabilidades negativas. Dicho de otro modo, acepta "probabilidades" en los reales tales que la suma de ellas dé 1. Es como eliminar el axioma de que las probabilidades deben ser positivas. Lo interesante es que con dicho autómata podemos recrear la interferencia destructiva que existe en la cuántica (la cual existe justamente porque las "amplitudes" pueden ser negativas y por lo tanto pueden cancelarse con otras positivas).</div>
<div style="text-align: justify;">
<strike>También allí les debo el paper ya que aún no lo subí a mi página web. Veré de subirlo esta semana y actualizar el link aquí.</strike> <b>Update:</b> El paper fue aceptado. <a href="http://computacioncuantica.blogspot.it/2016/02/computacion-afin-y-automatas-afines-en.html">Más info y link de descarga aquí.</a></div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Finalmente, una tercera línea, es con <a href="https://who.rocq.inria.fr/Gilles.Dowek/">Gilles Dowek</a>, con quien nos basamos en las ideas desarrolladas en λ⁺ para definir un cálculo donde la medición cuántica proyectiva se interpreta como una conjunción conmutativa. Ya <a href="http://computacioncuantica.blogspot.fr/2015/06/charla-sobre-la-medicion-cuantica.html">comenté de este trabajo hace unos meses</a>. El paper ahora está listo <strike>(otro más que tengo que subir a mi página)</strike>. <b>Update: </b>Lo pueden bajar de aquí -> <a href="http://arxiv.org/abs/1601.04294">arXiv:1601.04294</a>.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Como adelanté al principio, les cuento que de Enero a Julio estaré en Italia, a donde iré como profesor invitado a la Università di Torino a trabajar con <a href="http://www.di.unito.it/~dezani/">Mariangiola Dezani-Ciancaglini</a> y <a href="http://www.di.unito.it/~ronchi/">Simona Ronchi della Rocca</a>. El proyecto es utlizar tipos unión e intersección (de los cuales Mariangiola y Simona son expertas) para caracterizar ciertas propiedades de la computación cuántica. Aunque también trabajaremos en otros temas: con Mariangiola este año comenzamos un trabajo sobre el "preciseness" del subtipado con unión e intersección. Veremos qué surge de todo eso. Son seis meses para interactuar en temas de tipos unión e intersección, más cuántica.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Eso es todo por ahora. Les recuerdo el tema con el que comencé el post: si estás terminando tu Licenciatura en Ciencias de la Computación (o carreras afines) y te interesan estos temas, no dudes en contactarme ya que estoy buscando buenos estudiantes que quieran venir a hacer un doctorado conmigo a Quilmes. También hay posibilidades para tesinas de grado. Mi mail y teléfono lo encuentran en mi página web.</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-42043039948616008582015-09-07T10:34:00.000-03:002015-09-07T10:34:28.241-03:00Mini-curso introductorio a la computación cuántica<div style="text-align: justify;">
En octubre voy a dar un curso introductorio a la computación cuántica de 4hs de duración en las XIII Jornadas de Ciencias de la Computación (JCC). Las JCC son un evento organizado por y para los estudiantes en la <a href="http://www.fceia.unr.edu.ar/lcc/">Universidad Nacional de Rosario</a>, que cada año invitan investigadores tanto de Argentina como de otros lugares (muchas veces egresados de la Licenciatura en Ciencias de la Computación de la UNR, como es mi caso o el de Sergio Giro, que actualmente trabaja para Google en Londres). Este año ya hay confirmadas 8 charlas, que pueden ver en la página del evento:</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: center;">
<span style="font-family: Verdana,sans-serif;"><b><a href="http://www.fceia.unr.edu.ar/lcc/jcc/2015/">XIII Jornadas de Ciencias de la Computación</a></b></span></div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: justify;">
Con respecto a mi charla: será el jueves 22 y viernes 23 de octubre de 10 a 12hs. Requerimientos mínimos: tener una base de álgebra (vectores y matrices). Les dejo el resumen oficial:</div>
<div style="text-align: justify;">
<blockquote class="tr_bq">
La computación cuántica es un paradigma de computación
basado en la física cuántica. La idea es tomar la descripción de la
evolución de sistemas físicos cuánticos como un proceso de cómputo:
éstos tienen un estado inicial, un estado final, y la evolución del
sistema puede ser descripta a través de "operadores". Uno de los
principales intereses en computación cuántica desde las ciencias de la
computación es que existen algoritmos en este modelo de cómputo que
tienen ganancias en complejidad con respecto a algoritmos clásicos,
en algunos casos llegando hasta ganancias exponenciales. En este
mini-curso de dos días se verá una introducción a la computación
cuántica, así como algunos ejemplos de algoritmos y una aplicación a
criptografía.</blockquote>
</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-34203030141290362202015-08-11T13:37:00.001-03:002015-08-12T11:00:35.900-03:00Isomorfismos como igualdades: Proyectando funciones y mejorando la aplicación parcial a través de una implementación de λ⁺ <div style="text-align: justify;">
El título de este post es el título de un paper (bueno, su traducción) que acabamos de terminar de escribir y enviar a una conferencia con <a href="http://ar.linkedin.com/in/fidelml">Pablo E. Martínez López</a> (o <i>Fidel</i>, como lo conoce todo el mundo).</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
En este paper proponemos una implementación de λ⁺ (un cálculo del que ya <a href="http://computacioncuantica.blogspot.fr/2013/10/identificando-proposiciones-isomorfas.html">he hablado varias veces en este blog</a>, que desarrollamos con <a href="https://who.rocq.inria.fr/Gilles.Dowek">Gilles Dowek</a>). λ⁺ tiene la característica de que toma los isomorfismos de tipos y los considera igualdades. Por ejemplo, una función que toma dos argumentos es igual a una función que toma un par, y una función que retorna dos argumentos es igual a dos funciones, porque A⇒B⇒C es isomorfo a (A∧B)⇒C y A⇒(B∧C) es isomorfo a (A⇒B)∧(A⇒C).</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
El sistema de reescritura de λ⁺ utiliza reescritura modulo una relación de equivalencia, lo cual hace que implementar un lenguaje con esas características no sea trivial. Y eso es exactamente lo que proponemos en este nuevo paper. Además, extendemos λ⁺ con números naturales y recursión general, y, usando un resultado clásico para dividir recursiones mutuas (teorema de Bekić), junto a las características de λ⁺, logramos una forma interesante de transformación de programas: podemos, por ejemplo, definir una función recursiva que calcula dos valores y luego proyectar el valor que nos interesa... sólo que el programa va a hacer la proyección <i>antes</i> de recibir sus argumentos, proyectando la función y transformándola en una función que sólo calcula el valor que nos interesa.<br />
<br /></div>
<div style="text-align: justify;">
Otra propiedad interesante es que la curryficación, llevada al extremo, junto a la asociatividad y conmutatividad, hacen que tengamos una forma de aplicación parcial muy potente: una función que recibe más de un argumento, puede recibir cualquiera de ellos en cualquier orden.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Bueno, les dejo el paper tal como lo acabamos de enviar (aún debe ser revisado por los <i>reviewers</i>):</div>
<br />
<div style="text-align: center;">
<a href="http://diaz-caro.web.unq.edu.ar/lambdaPlusI.pdf">http://diaz-caro.web.unq.edu.ar/lambdaPlusI.pdf</a></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-13121066.post-44496142227391914802015-07-14T15:45:00.000-03:002015-07-23T13:12:19.711-03:00Workshop INFINIS<div style="text-align: justify;">
Este viernes 17 de julio se realizará un Workshop en la Universidad de Buenos Aires, organizado por el <a href="http://www.infinis.org/">Laboratorio Internacional Asociado INFINIS</a>, un laboratorio en cooperación entre la <a href="http://dc.uba.ar/">Universidad de Buenos Aires</a> y el <a href="http://www.conicet.gob.ar/">CONICET</a> con la <a href="http://www.pps.univ-paris-diderot.fr/">Université Paris 7</a> y el <a href="http://www.cnrs.fr/">CNRS</a>.</div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Les dejo el link al programa del workshop en la página del laboratorio:</div>
<div style="text-align: center;">
<a href="http://www.infinis.org/?p=726">http://www.infinis.org/?p=726</a></div>
<div style="text-align: justify;">
<br /></div>
<div style="text-align: justify;">
Yo voy a dar una charla, básicamente <a href="http://computacioncuantica.blogspot.fr/2015/06/charla-sobre-la-medicion-cuantica.html">la misma charla que dí en Rosario en junio</a>, sólo que en inglés :-)<br />
<br />
<b>Update:</b> Dejo los slides<br />
<br />
<center>
<iframe frameborder="0" height="484" marginheight="0" marginwidth="0" scrolling="no" src="https://www.slideshare.net/slideshow/embed_code/key/kPLi3x86szZsB0" width="576"></iframe></center>
</div>
Unknownnoreply@blogger.com0