RIGIDITY OF PROPER COLORINGS OF Zd

A proper q-coloring of a domain in Z is a function assigning one of q colors to each vertex of the domain such that adjacent vertices are colored differently. Sampling a proper q-coloring uniformly at random, does the coloring typically exhibit long-range order? It has been known since the work of Dobrushin that no such ordering can arise when q is large compared with d. We prove here that long-range order does arise for each q when d is sufficiently high. Our results further characterize all periodic maximal-entropy Gibbs states for the model. Ordering also emerges in low dimensions if the lattice Z is replaced by Z1 × T2 with d1 ≥ 2, d = d1 + d2 sufficiently high and T a cycle of even length. The results address questions going back to Berker–Kadanoff (1980), Kotecký (1985) and Salas–Sokal (1997).

[1]  László Lovász,et al.  On the ratio of optimal integral and fractional covers , 1975, Discret. Math..

[2]  S. Miracle-Sole,et al.  Equilibrium States of the Ising Model in the Two-Phase Region , 1972 .

[3]  Ohad N. Feldheim,et al.  Long-range order in the 3-state antiferromagnetic Potts model in high dimensions , 2015, Journal of the European Mathematical Society.

[4]  David J. Galvin Bounding the Partition Function of Spin-Systems , 2006, Electron. J. Comb..

[5]  P. L. Dobruschin The Description of a Random Field by Means of Conditional Probabilities and Conditions of Its Regularity , 1968 .

[6]  Y. Sinai,et al.  Phase diagrams of classical lattice systems , 1975 .

[7]  Ohad N. Feldheim,et al.  The Growth Constant of Odd Cutsets in High Dimensions , 2018, Comb. Probab. Comput..

[8]  Jeff Kahn,et al.  Range of cube-indexed random walk , 2001 .

[9]  Ohad N. Feldheim,et al.  Rigidity of 3-colorings of the discrete torus , 2013, 1309.2340.

[10]  Ron Peled,et al.  High-Dimensional Lipschitz Functions are Typically Flat , 2010, 1005.4636.

[11]  Mokshay M. Madiman,et al.  Information Inequalities for Joint Distributions, With Interpretations and Applications , 2008, IEEE Transactions on Information Theory.

[12]  Fan Chung Graham,et al.  Some intersection theorems for ordered sets and graphs , 1986, J. Comb. Theory, Ser. A.

[13]  Two-dimensional Potts antiferromagnets with a phase transition at arbitrarily large q. , 2012, Physical review. E, Statistical, nonlinear, and soft matter physics.

[14]  Robert M. Burton,et al.  Quite weak Bernoulli with exponential rate and percolation for random fields , 1995 .

[15]  David J. Galvin,et al.  On homomorphisms from the Hamming cube to Z , 2003 .

[16]  Dana Randall,et al.  Torpid mixing of local Markov chains on 3-colorings of the discrete torus , 2007, SODA '07.

[17]  R. Peierls On Ising's model of ferromagnetism , 1936, Mathematical Proceedings of the Cambridge Philosophical Society.

[18]  David Galvin Sampling independent sets in the discrete torus , 2008 .

[19]  Yufei Zhao,et al.  On replica symmetry of large deviations in random graphs , 2012, Random Struct. Algorithms.

[20]  J. Lebowitz,et al.  Improved Peierls Argument for High-Dimensional Ising Models , 1998, cond-mat/9809158.

[21]  Jeff Kahn,et al.  Generalized Rank Functions and an Entropy Argument , 1999, J. Comb. Theory, Ser. A.

[22]  Алексей Дмитриевич Коршунов,et al.  Монотонные булевы функции@@@Monotone Boolean functions , 2003 .

[23]  Adam Timar,et al.  Bondary-connectivity via graph theory , 2007, 0711.1713.

[24]  Yvan Alain Velenik,et al.  Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction , 2017 .

[25]  Prasad Tetali,et al.  On Weighted Graph Homomorphisms , 2001, Graphs, Morphisms and Statistical Physics.

[26]  Alan D. Sokal,et al.  Random Walks, Critical Phenomena, and Triviality in Quantum Field Theory , 1992 .

[27]  G. Brightwell,et al.  Random colorings of a cayley tree , 2002 .

[28]  Y. Sinai,et al.  Phase diagrams of classical lattice systems continuation , 1976 .

[29]  Counting Regions with Bounded Surface Area , 2007 .

[30]  Jeff Kahn,et al.  On Phase Transition in the Hard-Core Model on ${\mathbb Z}^d$ , 2004, Combinatorics, Probability and Computing.

[31]  A. Sokal,et al.  Absence of phase transition for antiferromagnetic Potts models via the Dobrushin uniqueness theorem , 1996, cond-mat/9603068.

[32]  Dana Randall,et al.  Phase coexistence and torpid mixing in the 3-coloring model on ℤd , 2012, SIAM J. Discret. Math..

[33]  Ron Peled,et al.  A condition for long-range order in discrete spin systems with application to the antiferromagnetic Potts model , 2017, 1712.03699.

[34]  Jean Picard,et al.  The Lace Expansion and its Applications , 2006 .

[35]  L. Kadanoff,et al.  CORRIGENDUM: Ground-state entropy and algebraic order at low temperatures , 1980 .

[36]  Nsf Sampling 3-colourings of regular bipartite graphs , 2007 .

[37]  Béla Bollobás The Art of Mathematics - Coffee Time in Memphis , 2006 .

[38]  Wojciech Samotij,et al.  Odd cutsets and the hard-core model on Z^d , 2011 .

[39]  Jeff Kahn,et al.  An Entropy Approach to the Hard-Core Model on Bipartite Graphs , 2001, Combinatorics, Probability and Computing.

[40]  Prasad Tetali,et al.  Slow mixing of Glauber dynamics for the hard-core model on the hypercube , 2004, SODA '04.

[41]  Leslie Ann Goldberg,et al.  Strong Spatial Mixing with Fewer Colors for Lattice Graphs , 2005, SIAM J. Comput..

[42]  Me Misiurewicz,et al.  A short proof of the variational principle for a ZN+ action on a compact space , 1975 .

[43]  Robert H. Swendsen,et al.  Intermediate-temperature ordering in a three-state antiferromagnetic Potts model , 1998 .

[44]  T. Xiang,et al.  Partial long-range order in antiferromagnetic Potts models , 2014, 1410.6507.

[45]  A. A. SAPOZHENKO On the number of antichains in multilevelled ranked posets , 1991 .

[46]  Tom C. Lubensky,et al.  Statistics of lattice animals and dilute branched polymers , 1979 .

[47]  J. Jonasson Uniqueness of uniform random colorings of regular trees , 2002 .

[48]  Prasad Tetali,et al.  Slow mixing of Glauber dynamics for the hard-core model on regular bipartite graphs , 2006 .

[49]  Eric Vigoda,et al.  Improved bounds for sampling colorings , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[50]  David Galvin,et al.  H-colouring bipartite graphs , 2012, J. Comb. Theory, Ser. B.

[51]  Gordon Slade Lattice Trees, Percolation and Super-Brownian Motion , 1999 .