{"id":7114,"date":"2013-05-14T15:55:27","date_gmt":"2013-05-14T22:55:27","guid":{"rendered":"http:\/\/dabacon.org\/pontiff\/?p=7114"},"modified":"2013-05-14T15:55:27","modified_gmt":"2013-05-14T22:55:27","slug":"resolution-of-tooms-rule-paradox","status":"publish","type":"post","link":"https:\/\/dabacon.org\/pontiff\/2013\/05\/14\/resolution-of-tooms-rule-paradox\/","title":{"rendered":"Resolution of Toom&#039;s rule paradox"},"content":{"rendered":"<p>A few days ago our Ghost Pontiff Dave Bacon <a href=\"https:\/\/dabacon.org\/pontiff\/?p=7099\">wondered<\/a> how Toom&#8217;s noisy but highly fault-tolerant 2-state classical cellular automaton\u00a0 can get away with violating the Gibbs phase rule, according to which a finite-dimensional locally interacting system, at generic points in its phase diagram, can have only only one thermodynamically stable phase.\u00a0 The Gibbs rule is well illustrated by the low-temperature ferromagnetic phases of the classical Ising model in two or more dimensions:\u00a0 both phases are stable at zero magnetic field, but an arbitrarily small field breaks the degeneracy between their free energies, making one phase metastable with respect to nucleation and growth of islands of the other.\u00a0 In the Toom model, by contrast, the two analogous phases are absolutely stable over a finite area of the phase diagram, despite biased noise that would seem to favor one phase over the other.\u00a0 Of course Toom&#8217;s rule is not microscopically reversible,\u00a0 so it is not bound by laws of equilibrium thermodynamics.<br \/>\n<img data-recalc-dims=\"1\" decoding=\"async\" alt=\"\" src=\"https:\/\/i0.wp.com\/dabacon.org\/pontiff\/wp-content\/uploads\/2013\/07\/416.png?w=525&#038;ssl=1\" \/><br \/>\nNevertheless, as Dave points out, the distribution of <em>histories<\/em> of any locally interacting <em>d<\/em>-dimensional system, whether microscopically reversible or not, can be viewed\u00a0 as an equilibrium Gibbs distribution of a <em>d<\/em>+1 dimensional system, whose local Hamiltonian is chosen so that the <em>d<\/em> dimensional system&#8217;s transition probabilities are given by Boltzmann exponentials of interaction energies between consecutive time slices.\u00a0 So it might seem, looking at it from the d+1 dimensional viewpoint, that the Toom model ought to obey the Gibbs phase rule too.<br \/>\nThe resolution of this paradox, described in <a href=\"http:\/\/researcher.watson.ibm.com\/researcher\/files\/us-bennetc\/BG85%20with%20Toom%20snapshotsq.pdf\">my 1985 paper with Geoff Grinstein<\/a>,\u00a0 lies in the fact that the <em>d<\/em> to <em>d<\/em>+1 dimensional mapping is not surjective.\u00a0 Rather it is subject to the normalization constraint that for every configuration <em>X<\/em>(<em>t<\/em>) at time<em> t, <\/em>the sum over configurations <em>X<\/em>(<em>t<\/em>+1) at time <em>t<\/em>+1 of transition probabilities P(<em>X<\/em>(<em>t<\/em>+1)|<em>X<\/em>(<em>t<\/em>)) is exactly 1.\u00a0\u00a0\u00a0 This in turn forces the <em>d<\/em>+1 dimensional free energy to be identically zero, regardless of how the <em>d<\/em> dimensional system&#8217;s transition probabilities are varied.\u00a0 The Toom model is able to evade the Gibbs phase rule because<\/p>\n<ul>\n<li>being irreversible, its <em>d<\/em> dimensional free energy is ill-defined, and<\/li>\n<li>the normalization constraint allows two phases to have exactly equal\u00a0 <em>d<\/em>+1 dimensional free energy despite noise locally favoring one phase or the other.<\/li>\n<\/ul>\n<p>Just outside the Toom model&#8217;s bistable region is a region of metastability (roughly within the dashed lines in the above phase diagram) which can be given an interesting <a href=\"http:\/\/researcher.watson.ibm.com\/researcher\/files\/us-bennetc\/BG85%20with%20Toom%20snapshotsq.pdf\">interpretation<\/a> in terms of the\u00a0 <em>d<\/em>+1 dimensional free energy.\u00a0 According to this interpretation, a metastable phase&#8217;s free energy is no longer zero, but rather -ln(1-\u0393)\u2248\u0393, where \u0393 is the nucleation rate for transitions leading out of the metastable phase.\u00a0 This reflects the fact that the transition probabilities no longer sum to one, if one excludes transitions causing breakdown of the metastable phase.\u00a0 Such transitions, whether the underlying <em>d<\/em>-dimensional model is reversible (e.g. Ising) or not (e.g. Toom), involve critical fluctuations forming an island of the favored phase just big enough to avoid being collapsed by surface tension.\u00a0 Such critical fluctuations occur at a rate<br \/>\n\u0393\u2248 exp(-const\/<em>s<\/em>^(<em>d<\/em>-1))<br \/>\nwhere s&gt;0 is the distance in parameter space from the bistable region (or in the Ising example, the bistable line).\u00a0 This expression, from classical homogeneous nucleation theory, makes the <em>d<\/em>+1 dimensional free energy a smooth but non-analytic function of <em>s<\/em>, identically zero wherever a phase is stable, but lifting off very smoothly from zero as one enters the region of metastability.<br \/>\n&nbsp;<br \/>\n<img data-recalc-dims=\"1\" decoding=\"async\" alt=\"\" src=\"https:\/\/i0.wp.com\/dabacon.org\/pontiff\/wp-content\/uploads\/2013\/07\/844.png?w=525&#038;ssl=1\" \/><br \/>\n&nbsp;<br \/>\nBelow, we compare\u00a0 the <em>d<\/em> and <em>d<\/em>+1 dimensional free energies of the Ising model with the d+1 dimensional free energy of the Toom model on sections through the bistable line or region of the phase diagram.<br \/>\n<img data-recalc-dims=\"1\" decoding=\"async\" alt=\"\" src=\"https:\/\/i0.wp.com\/dabacon.org\/pontiff\/wp-content\/uploads\/2013\/07\/379.png?w=525&#038;ssl=1\" \/><br \/>\nWe have been speaking so far only of classical models.\u00a0 In the world of quantum phase transitions another kind of <em>d<\/em> to <em>d<\/em>+1 dimensional mapping is much more familiar, the quantum Monte Carlo method, nicely described in <a href=\"http:\/\/www.ntu.edu.sg\/ias\/PastEvents\/LHSOPS09\/Documents\/QPT%20Lecture%20Notes.pdf\">these lecture notes<\/a>, whereby a<em> d<\/em> dimensional zero-temperature quantum system is mapped to a <em>d+<\/em>1 dimensional finite-temperature classical Monte Carlo problem.\u00a0\u00a0 Here the extra dimension, representing imaginary time, is used to perform a path integral, and unlike the classical-to-classical mapping considered above, the mapping is bijective, so that features of the<em> d<\/em>+1 dimensional classical system can be directly identified with corresponding ones of the <em>d<\/em> dimensional quantum one.<br \/>\n&nbsp;<br \/>\n&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>A few days ago our Ghost Pontiff Dave Bacon wondered how Toom&#8217;s noisy but highly fault-tolerant 2-state classical cellular automaton\u00a0 can get away with violating the Gibbs phase rule, according to which a finite-dimensional locally interacting system, at generic points in its phase diagram, can have only only one thermodynamically stable phase.\u00a0 The Gibbs rule &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dabacon.org\/pontiff\/2013\/05\/14\/resolution-of-tooms-rule-paradox\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Resolution of Toom&#039;s rule paradox&#8221;<\/span><\/a><\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[32,41,53],"tags":[],"class_list":["post-7114","post","type-post","status-publish","format-standard","hentry","category-general","category-mathematics","category-physics"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts\/7114","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/comments?post=7114"}],"version-history":[{"count":0,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts\/7114\/revisions"}],"wp:attachment":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/media?parent=7114"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/categories?post=7114"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/tags?post=7114"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}