Agenda
juin
-
13:3014:30A29 - salle 001
-
14:0015:00
Redundancy is a central concept in gauge theory, where gauge-invariant degrees of freedom are redundantly encoded into gauge-variant quantities (in order to preserve locality). Likewise, redundancy is a hallmark of any quantum error correcting code, which redundantly encodes logical quantum information into a larger quantum system (in order to protect it against certain interactions with the environment). I will explain how this simple observation can be turned into a precise correspondence relating the formalism of quantum error correction to that of quantum gauge theory. I will focus more concretely on the well-studied family of stabilizer codes, which can be interpreted as Abelian gauge theories with gauge group a product of $\mathbb{Z}_2$. It includes repetition codes such as the elementary three-qubit code, and topological codes such as Kitaev's toric code, which I will use as illustrative examples. The notion of quantum reference frame (QRF) will provide a crucial ingredient relating structures on both sides of the correspondence. In particular, I will explain how a choice of maximal set of correctable errors on the QECC side, is equivalent to a choice of QRF on the gauge theory side. The correspondence also reveals a new duality structure among maximal correctable error sets, which can be understood as a manifestation of Pontryagin duality of Abelian groups. Based on joint work with A. Chatwin-Davies, P. Höhn, and F. M. Mele [ [ https://arxiv.org/abs/2412.15317 | https://arxiv.org/abs/2412.15317 ] ].
Room 178 - unsual time! -
14:0018:00
Dans cette thèse, nous nous intéressons à des généralisations en dimensions supérieure de différents objets combinatoires : les permutations, les cartes et les rectangulations. L’objectif général de celle-ci, est de développer des outils permettant de mieux comprendre ces objets de dimension supérieure.
Le premier axe de cette thèse est consacré à l’analyse combinatoire des modèles de tenseurs aléatoires. Les graphes de Feynman de ces modèles sont des graphes d + 1−colorés qui généralisent les cartes combinatoires. Plus précisément, on s'intéresse ici aux expansions asymptotiques en 1/N (où N est la taille des tenseurs) et de double limite d'échelle des modèles de tenseurs, ainsi qu'à certaines de leurs propriétés de dualités lorsque des symétries orthogonales et symplectiques sont considérées.
Le second axe de cette thèse porte sur l’étude des d-rectangulations et des d-permutations qui généralisent les rectangulations et les permutations en dimensions supérieures. Après quelques rappels sur leurs analogue bidimensionnels, nous construisons un arbre de génération des d-rectangulations. La structure de cet arbre généralise de manière non triviale celui du cas 2d. Par la suite, nous établissons une bijection entre les (2^{d−1})-rectangulations et une classe de d-permutations à motifs exclus. Cette bijection généralise la correspondance connue entre les rectangulations et les permutations de Baxter.Amphi LaBRI -
14:0018:00
Dans cette thèse, nous étudions des questions algorithmiques relatives aux langages formels, pour lesquels nous donnons des algorithmes d'approximation efficaces (en termes de ressources).
Dans la première partie, nous nous intéressons aux problèmes algorithmiques liés au problème de recherche approximative de motif, c'est-à-dire la tâche qui consiste à trouver toutes les sous-chaînes d'un texte similaires à un motif donné. Nous considérons plusieurs notions de similarité, notamment à rotation, substitutions ou éditions, et notamment dans le cas des chaînes de caractères contenant des jokers.
La seconde partie s'intéresse à la question d'approximer l'appartenance d'un mot à un langage formel, dans trois contextes différents : le property testing des langages réguliers, dont nous caractérisons la complexité avec un résultat de trichotomie, le calcul de la distance entre un mot et un langage formel dans le cas des palindromes et des carrés, ainsi que le calcul de la longueur palindromique d'un mot.
EnglishAmphi LaBRI -
13:0014:00LaBRI, 178
-
11:0012:00
Antoine Toullalan (LITIS)
Title: The Shortest Temporal Exploration Problem
Abstract:
A temporal graph is a graph for which the edge set can change from one time step to the next. This paper considers undirected temporal graphs defined over L time steps and connected at each time step. We study the Shortest Temporal Exploration Problem (STEXP) that, given all the evolution of the graph, asks for a temporal walk that starts at a given vertex, moves over at most one edge at each time step, visits all the vertices, takes at most L time steps and traverses the smallest number of edges. We prove that every constantly connected temporal graph with n vertices can be explored with O(n^{1.5}) edges traversed within O(n²) time steps. This result improves the upper bound of O(n²) edges for an exploration provided by the upper bound of time steps for an exploration which is also O(n²). Morever, we study the case where the graph has a diameter bounded by a parameter k at each time step and we prove that there exists an exploration which takes O(n²) time steps and traverses O(kn) edges. Finally, the case where the underlying graph is a cycle is studied and tight bounds are provided on the number of edges traversed in the worst-case if L≥2n-3.
The talk will be in English
LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4tr-7gp -
10:0014:00
Samawel Jaballi soutiendra sa thèse, le 19 juin 2025 à 10h, Amphi 3 Bât A9.
L’intitulé de sa thèse est : « Extraction, transcription et analyse des opinions publiques multilingues issues des réseaux sociaux »
Amphi 3 (Bât A9) -
14:0015:00Room 178 - unsual time!