Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 29 Mars 2011

Processus quantiques et logique linéaire

par Jerzy Karczmarczuk ()

Depuis 80 ans on n'arrive pas à répondre à la question quel est le sens de l'"information quantique", l'information contenue dans un système dont les propriétés ne sont pas des "valeurs concrètes" mais des opérateurs linéaires dans un espace de Hilbert. Bien sûr, je n'ai pas de réponse (ça se saurait...), je présenterai un modèle d'informatisation de la mécanique quantique, basé sur les objets fonctionnels, où la linéarité des transformations peut être inférée de manière naturelle et universelle (catégorielle). Or, il y a fort longtemps Girard a remarqué une forte analogie entre la structure linéaire de la théorie quantique et sa logique linéaire, où l'implication : le passage d'une prémisse à une conclusion, consomme la première, empêche sa ré- utilisation. Ceci permet - comme toute logique - mettre un peu (pas trop) d'ordre dans le formalisme, et en particulier dans ce mystérieux phénomène qui est à la base de la téléportation quantique : la transformation qui copie un état quantique (produit un clone), est obligée de détruire l'original ; une sorte de "conservation d'information quantique" semble être respectée par la Nature. L'exposé, bien sûr, sera assez élémentaire (de toute façon, personne au monde ne comprend le "vrai sens" des objets quantiques).

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr