ICM 2026 Invited Section Lecture – Fabio Martinelli

Value of the Information & Strength of the Argument

The talk provides a high-value synthesis of a challenging area, bridging statistical mechanics and probability. The argumentation is rigorous, relying on precise theorem statements and references to recent papers. The speaker effectively contrasts KCM behavior with that of bootstrap percolation, using careful examples and heuristic explanations that clarify the underlying mechanisms. The logical progression from definitions to universality results is well-structured, emphasizing why KCMs require novel treatment of energy barriers and droplet motion. The depth of mathematical reasoning is strong, and the presentation of exact asymptotic constants for representative models adds substantial value.

Scientific Rigor, Source Quality, Title Accuracy

The talk exhibits high scientific rigor, citing the original works of Balogh, Bollobás, Morris, and others, as well as recent collaborations of the speaker. The theoretical results are supported by proof sketches and references to published literature. The title accurately captures the lecture’s scope, which is indeed an invited section lecture focusing on universality for two-dimensional kinetically constrained spin models. No advertising or sponsored content is present. No audience comments were provided for analysis.

The title correctly reflects the content, which is a detailed presentation of universality results for two-dimensional kinetically constrained spin models.

8/10

Invited lecture at ICM 2026, presented by an established researcher, with rigorous mathematical content and clear structure. The talk is based on published, peer-reviewed research and collaborations with leading probabilists.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 00:00Introduction to the talk, collaborations, and overview of stochastic spin models and glassy dynamics.
• 05:00Formal definition of kinetically constrained models, the product measure, and the kinetic constraint update rule.
• 12:00Connection to bootstrap percolation, definition of the universality program, and classification of supercritical/critical/subcritical families.
• 20:00Supercritical families: distinction between rooted and unrooted families and the resulting time scales (exponential of beta or beta^2).
• 30:00Critical families: the role of difficulty, the doubled exponent when stable directions are infinite, and the Duarte model example.