most citedHermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing math.PRShow all

1 paper · 1 filter

math.PR2025

Cutoff for the Swendsen-Wang dynamics on the complete graph

Antonio Blanca, Zhezheng Song

We study the speed of convergence of the Swendsen-Wang (SW) dynamics for the -state ferromagnetic Potts model on the -vertex complete graph, known as the mean-field model. Th…