Axiomes quantiques catégoriques

Vous vous demandez comment décrire la téléportation quantique ? D’après Raymond Lal, l’une des solutions réside dans la théorie des catégories : « Je contribue à élaborer une nouvelle approche de l’information quantique fondée sur des mathématiques abstraites, avec des méthodes reposant sur la théorie des catégories, pour décrire des principes de l’information quantique comme la téléportation et l’échange d’intrication. » La théorie des catégories est par essence interdisciplinaire, et ses implications dépassent largement le champ de l’information quantique. Des spécialistes de secteurs aussi variés que l’informatique théorique et la gravité quantique y font appel pour révéler les structures sous-jacentes de leur domaine. « Ces pistes de recherche inattendues illustrent parfaitement la puissance de la théorie des catégories », déclare R. Lal.
« Elle permet d’identifier des similitudes et de s’inspirer des approches formelles de systèmes propres à d’autres branches. » Ces travaux pourraient profiter aux chercheurs qui s’intéressent à la structure causale des théories physiques, ou qui nécessitent ce type de concept dans leurs travaux sur les protocoles quantiques.