2a Jornada de L\u00f3gica, Computaci\u00f3n e Informaci\u00f3n Cu\u00e1ntica
\nJueves 13 de julio de 2017
\nUniversidad Nacional Arturo Jauretche
\nAv. Calchaqu\u00ed 6200, Florencio Varela
\n— Sal\u00f3n Auditorio —<\/p>\n
El 13 de julio se realizar\u00e1 la 2a jornada de l\u00f3gica, computaci\u00f3n e informaci\u00f3n cu\u00e1ntica. El objetivo de las jornadas es proveer un espacio de encuentro para quienes trabajamos en fundamentos l\u00f3gicos de la computaci\u00f3n cu\u00e1ntica desde una perspectiva interdisciplinaria. Contaremos con charlas de Guido Bellomo (postdoctorando en el Dpto. Computaci\u00f3n de Ciencias Exactas-UBA), Simon Perdrix (investigador CNRS en el laboratorio LORIA de Nancy, Francia) y Christian de Ronde (Investigador CONICET, Profesor UNAJ y FFyL-UBA). El encuentro se realizar\u00e1 en la Sede de la Universidad Nacional Arturo Jauretche desde las 10:30 hasta las 16:30 horas.<\/p>\n
Esta convocatoria que surge de j\u00f3venes investigadores del \u00e1rea busca ser amplia e inclusiva. Est\u00e1n todos invitados a sumarse al encuentro. Se agradece la difusi\u00f3n.<\/p>\n
==============================
Programa:<\/p>\n
10:30 Caf\u00e9
\n11:00 Christian de Ronde: On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)
\n12:00 Almuerzo
\n14:00 Simon Perdrix: Diagrammatic Quantum Reasoning: Completeness and Incompleteness
\n15:00 Caf\u00e9
\n15:30 Guido Bellomo: Quantum entropies and lossless quantum data compression<\/p>\n
==============================
Res\u00famenes:<\/p>\n
Christian de Ronde (Universidad Nacional Arturo Jauretche & CONICET) – On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures).
\nQuantum 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\u00f6dinger’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.<\/p>\n
Simon Perdrix (CNRS \/ LORIA, Francia) – Diagrammatic Quantum Reasoning: Completeness and Incompleteness.
\nThe 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\u00a0 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.<\/p>\n
Guido Bellomo (Universidad de Buenos Aires) – Quantum entropies and lossless quantum data compression.
\nOne 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\u00e9nyi 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\u00e9nyi 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.2a Jornada de L\u00f3gica, Computaci\u00f3n e Informaci\u00f3n Cu\u00e1ntica
\nJueves 13 de julio de 2017
\nUniversidad Nacional Arturo Jauretche
\nAv. Calchaqu\u00ed 6200, Florencio Varela
\n— Sal\u00f3n Auditorio —<\/p>\n
El 13 de julio se realizar\u00e1 la 2a jornada de l\u00f3gica, computaci\u00f3n e informaci\u00f3n cu\u00e1ntica. El objetivo de las jornadas es proveer un espacio de encuentro para quienes trabajamos en fundamentos l\u00f3gicos de la computaci\u00f3n cu\u00e1ntica desde una perspectiva interdisciplinaria. Contaremos con charlas de Guido Bellomo (postdoctorando en el Dpto. Computaci\u00f3n de Ciencias Exactas-UBA), Simon Perdrix (investigador CNRS en el laboratorio LORIA de Nancy, Francia) y Christian de Ronde (Investigador CONICET, Profesor UNAJ y FFyL-UBA). El encuentro se realizar\u00e1 en la Sede de la Universidad Nacional Arturo Jauretche desde las 10:30 hasta las 16:30 horas.<\/p>\n
Esta convocatoria que surge de j\u00f3venes investigadores del \u00e1rea busca ser amplia e inclusiva. Est\u00e1n todos invitados a sumarse al encuentro. Se agradece la difusi\u00f3n.<\/p>\n
==============================
Programa:<\/p>\n
10:30 Caf\u00e9
\n11:00 Christian de Ronde: On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)
\n12:00 Almuerzo
\n14:00 Simon Perdrix: Diagrammatic Quantum Reasoning: Completeness and Incompleteness
\n15:00 Caf\u00e9
\n15:30 Guido Bellomo: Quantum entropies and lossless quantum data compression<\/p>\n
==============================
Res\u00famenes:<\/p>\n
Christian de Ronde (Universidad Nacional Arturo Jauretche & CONICET) – On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures).
\nQuantum 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\u00f6dinger’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.<\/p>\n
Simon Perdrix (CNRS \/ LORIA, Francia) – Diagrammatic Quantum Reasoning: Completeness and Incompleteness.
\nThe 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\u00a0 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.<\/p>\n
Guido Bellomo (Universidad de Buenos Aires) – Quantum entropies and lossless quantum data compression.
\nOne 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\u00e9nyi 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\u00e9nyi 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.2a Jornada de L\u00f3gica, Computaci\u00f3n e Informaci\u00f3n Cu\u00e1ntica
\nJueves 13 de julio de 2017
\nUniversidad Nacional Arturo Jauretche
\nAv. Calchaqu\u00ed 6200, Florencio Varela
\n— Sal\u00f3n Auditorio —<\/p>\n
El 13 de julio se realizar\u00e1 la 2a jornada de l\u00f3gica, computaci\u00f3n e informaci\u00f3n cu\u00e1ntica. El objetivo de las jornadas es proveer un espacio de encuentro para quienes trabajamos en fundamentos l\u00f3gicos de la computaci\u00f3n cu\u00e1ntica desde una perspectiva interdisciplinaria. Contaremos con charlas de Guido Bellomo (postdoctorando en el Dpto. Computaci\u00f3n de Ciencias Exactas-UBA), Simon Perdrix (investigador CNRS en el laboratorio LORIA de Nancy, Francia) y Christian de Ronde (Investigador CONICET, Profesor UNAJ y FFyL-UBA). El encuentro se realizar\u00e1 en la Sede de la Universidad Nacional Arturo Jauretche desde las 10:30 hasta las 16:30 horas.<\/p>\n
Esta convocatoria que surge de j\u00f3venes investigadores del \u00e1rea busca ser amplia e inclusiva. Est\u00e1n todos invitados a sumarse al encuentro. Se agradece la difusi\u00f3n.<\/p>\n
==============================
Programa:<\/p>\n
10:30 Caf\u00e9
\n11:00 Christian de Ronde: On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures)
\n12:00 Almuerzo
\n14:00 Simon Perdrix: Diagrammatic Quantum Reasoning: Completeness and Incompleteness
\n15:00 Caf\u00e9
\n15:30 Guido Bellomo: Quantum entropies and lossless quantum data compression<\/p>\n
==============================
Res\u00famenes:<\/p>\n
Christian de Ronde (Universidad Nacional Arturo Jauretche & CONICET) – On the physical foundation of quantum superpositions (beyond measurement outcomes and mathematical structures).
\nQuantum 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\u00f6dinger’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.<\/p>\n
Simon Perdrix (CNRS \/ LORIA, Francia) – Diagrammatic Quantum Reasoning: Completeness and Incompleteness.
\nThe 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\u00a0 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.<\/p>\n
Guido Bellomo (Universidad de Buenos Aires) – Quantum entropies and lossless quantum data compression.
\nOne 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\u00e9nyi 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\u00e9nyi 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.<\/p>\n","protected":false},"excerpt":{"rendered":"
2a Jornada de L\u00f3gica, Computaci\u00f3n e Informaci\u00f3n Cu\u00e1ntica Jueves 13 de julio de 2017 Universidad Nacional Arturo Jauretche Av. Calchaqu\u00ed 6200, Florencio Varela — Sal\u00f3n Auditorio — El 13 de julio se realizar\u00e1 la 2a jornada de l\u00f3gica, computaci\u00f3n e informaci\u00f3n cu\u00e1ntica. El objetivo de las jornadas es proveer un espacio de encuentro para quienes … Continue reading Workshop on Quantum Logic, Computation, and Information – 13\/July\/2017<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-850","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/850","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=850"}],"version-history":[{"count":0,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/850\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=850"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=850"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=850"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}