Statistical Mechanics of Unsatisfiability and Glasses

Session

Synthesis

26 May 2012, 09:00

Ferry Stockholm-Mariehamn and Hotel Arkipelag, Mariehamn, Åland

259. Critical fluctuations close to the clustering/dynamical transition: from glassy physics to computer science

Prof. Silvio Franz (Paris-Sud)

26/05/2012, 09:00

261. Region-graph belief-propagation and survey propagation for lattice spin-glass models

Prof. Haijun Zhou (Institute of Theoretical Physics, the Chinese Academy of Sciences, Beijing, China)

26/05/2012, 10:15

Graphical models for finite-dimensional spin glasses and real-world combinatorial optimization and satisfaction problems usually have an abundant number of short loops. The cluster variation method and its extension, the region graph method, are theoretical approaches for treating the complicated short-loop-induced local correlations. For graphical models represented by...

264. Is physics (NP-)hard?

Prof. Toby Cubitt (Universidad Complutense de Madrid)

26/05/2012, 11:00

The behaviour of any physical system is governed by its underlying dynamical equations. Much of physics is concerned with discovering these dynamical equations and understanding their consequences. It is perhaps surprising, therefore, that identifying the underlying dynamical equation from any amount of experimental data, however precise, is a computationally hard problem (more...