Prof. Aldo Procacci - Lezione 11 - 06/06/2022

Versione algoritmica del lovasz local lemma secondo Moser e Tardos. Prova del teorema di Pegden (via la definizione di alberi di Moser-Tardos). Versione algoritmica del criterio di Bissacot-Fernández-Procacci- Scoppola. Connessione tra gli alberi di Moser-Tardos e gli alberi di Penrose. Una prova alternativa (probabilistica) della convergenza della cluster expansion nel gas di polimeri astratto via processo di ramificazione alla Galton-Watson.