Results 1  10
of
33
Graph homomorphisms and phase transitions
 JOURNAL OF COMBINATORIAL THEORY SERIES B
, 1999
"... We model physical systems with "hard constraints" by the space Hom(G, H) of homomorphisms from a locally finite graph G to a fixed finite constraint graph H. For any assignment * of positive real activities to the nodes of H, there is at least one Gibbs measure on Hom(G; H); when G is infinite, ther ..."
Abstract

Cited by 44 (4 self)
 Add to MetaCart
We model physical systems with "hard constraints" by the space Hom(G, H) of homomorphisms from a locally finite graph G to a fixed finite constraint graph H. For any assignment * of positive real activities to the nodes of H, there is at least one Gibbs measure on Hom(G; H); when G is infinite, there may be more than one.
When G is a regular tree, the simple, invariant Gibbs measures on Hom(G, H) correspond to nodeweighted branching random walks on H. We show that such walks exist for every H and *, and characterize those H which, by admitting more than one such construction, exhibit phase transition behavior.
Equilibrium Measures for Coupled Map Lattices: Existence, Uniqueness and FiniteDimensional Approximations
, 1997
"... Abstract We consider coupled map lattices of hyperbolic type, i.e., chains of weakly interacting hyperbolic sets (attractors) over multidimensional lattices. We describe thermodynamic formalism of the underlying spin lattice system and then prove existence, uniqueness, mixing properties, and expone ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
Abstract We consider coupled map lattices of hyperbolic type, i.e., chains of weakly interacting hyperbolic sets (attractors) over multidimensional lattices. We describe thermodynamic formalism of the underlying spin lattice system and then prove existence, uniqueness, mixing properties, and exponential decay of correlations of equilibrium measures for a class of Holder continuous potential functions with su ciently small Holder constant. We also study nitedimensional approximations of equilibrium measures in terms of lattice systems (Zapproximations) and lattice spin systems (Z dapproximations). We apply our results to establish existence, uniqueness, and mixing property of SRBmeasures as well as obtain the entropy formula.
Markov Random Fields and Percolation on General Graphs
 Adv. Appl. Probab
, 1999
"... Let G be an infinite, locally finite, connected graph with bounded degree. We show that G supports phase transition in all or none of the following five models: bond percolation, site percolation, the Ising model, the WidomRowlinson model and the beach model. Some, but not all, of these implicatio ..."
Abstract

Cited by 21 (3 self)
 Add to MetaCart
Let G be an infinite, locally finite, connected graph with bounded degree. We show that G supports phase transition in all or none of the following five models: bond percolation, site percolation, the Ising model, the WidomRowlinson model and the beach model. Some, but not all, of these implications hold without the bounded degree assumption. We finally give two examples of (random) unbounded degree graphs in which phase transition in all five models can be established: supercritical GaltonWatson trees, and PoissonVoronoi tessellations of R d for d 2. Keywords: Percolation, Ising model, WidomRowlinson model, beach model, GaltonWatson tree, PoissonVoronoi tessellation. AMS Subject Classification: Primary 60K35, Secondary 82B20, 82B43 1 Introduction Over the last few decades, it has become increasingly clear that there are important connections between percolation theory on one hand, and the issue of Gibbs state multiplicity in Markov random fields on the other. Example...
On the Existence and NonExistence of Finitary Codings for a Class of Random Fields
, 1999
"... We study the existence of finitary codings (also called finitary homomorphisms or finitary factor maps) from a finitevalued i.i.d. process to certain random fields. For Markov random fields we show, using ideas of Marton and Shields, that the presence of a phase transition is an obstruction for the ..."
Abstract

Cited by 18 (4 self)
 Add to MetaCart
We study the existence of finitary codings (also called finitary homomorphisms or finitary factor maps) from a finitevalued i.i.d. process to certain random fields. For Markov random fields we show, using ideas of Marton and Shields, that the presence of a phase transition is an obstruction for the existence of the above coding: this yields a large class of Bernoulli shifts for which no such coding exists. Conversely, we show that for the stationary distribution of a monotone exponentially ergodic probabilistic cellular automaton such a coding does exist. The construction of the coding is partially inspired by the ProppWilson algorithm for exact simulation. In particular, combining our results with a theorem of Martinelli and Olivieri, we obtain the fact that for the plus state for the ferromagnetic Ising model on Z d , d 2, there is (not) such a coding when the interaction parameter is below (above) its critical value. Part of this research done while participating, with financ...
A characterization of the entropies of multidimensional shifts of finite type
 Annals of Mathematics
"... Abstract. We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computationtheoretic property: a real number h≥0is the entropy of such an SFT if and only if it is right recursively enumerable, i.e. there is a computable sequence of rati ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
Abstract. We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computationtheoretic property: a real number h≥0is the entropy of such an SFT if and only if it is right recursively enumerable, i.e. there is a computable sequence of rational numbers converging to h from above. The same characterization holds for the entropies of sofic shifts. On the other hand, the entropy of an irreducible SFT is computable. 1.
The Complexity of Counting Graph Homomorphisms
 In 11th ACM/SIAM Symposium on Discrete Algorithms
, 1999
"... The problem of counting graph homomorphisms is considered. We show that the counting problem corresponding to a given graph is #Pcomplete unless every connected component of the graph is an isolated vertex without a loop, a complete graph with all loops present, or a complete unlooped bipartite gra ..."
Abstract

Cited by 15 (4 self)
 Add to MetaCart
The problem of counting graph homomorphisms is considered. We show that the counting problem corresponding to a given graph is #Pcomplete unless every connected component of the graph is an isolated vertex without a loop, a complete graph with all loops present, or a complete unlooped bipartite graph. 1 Introduction Many combinatorial counting problems on graphs can be restated as the problem of counting the number of homomorphisms to a particular graph H. The vertices of H correspond to colours, and the edges show which colours may be adjacent. The graph H may contain loops. Specifically, let C be a set of k colours, where k is a constant. Let H = (C; EH ) be a graph with vertex set C. Given a graph G = (V; E) with vertex set V , a map X : V 7! C is called a Hcolouring if fX(v); X(w)g 2 EH for all fv; wg 2 E: In other words, X is a homomorphism from G to H. Let\Omega H (G) denote the set of all Hcolourings of G. Two wellknown combinatorial counting problems which can be c...
Improved BitStuffing Bounds on TwoDimensional Constraints
 IEEE Trans. Inform. Theory
, 2004
"... Abstract—We derive lower bounds on the capacity of certain twodimensional (2D) constraints by considering bounds on the entropy of measures induced by bitstuffing encoders. A more detailed analysis of a previously proposed bitstuffing encoder for ()runlengthlimited (RLL) constraints on the squ ..."
Abstract

Cited by 15 (6 self)
 Add to MetaCart
Abstract—We derive lower bounds on the capacity of certain twodimensional (2D) constraints by considering bounds on the entropy of measures induced by bitstuffing encoders. A more detailed analysis of a previously proposed bitstuffing encoder for ()runlengthlimited (RLL) constraints on the square lattice yields improved lower bounds on the capacity for all 2. This encoding approach is extended to ()RLL constraints on the hexagonal lattice, and a similar analysis yields lower bounds on the capacity for 2. For the hexagonal (1)RLL constraint, the exact coding ratio of the bitstuffing encoder is calculated and is shown to be within 0.5 % of the (known) capacity. Finally, a lower bound is presented on the coding ratio of a bitstuffing encoder for the constraint on the square lattice where each bit is equal to at least one of its four closest neighbors, thereby providing a lower bound on the capacity of this constraint. Index Terms—Bitstuffing encoder, hexagonal constraint, runlengthlimited (RLL) constraints, twodimensional (2D) constraints. I.
Efficient Coding Schemes for the HardSquare Model
, 1999
"... The hardsquare model, also known as the twodimensional (1; 1)RLL constraint, consists of all binary arrays in which the 1's are isolated both horizontally and vertically. Based on a certain probability measure defined on those arrays, an efficient variableto fixed encoder scheme is presented tha ..."
Abstract

Cited by 13 (6 self)
 Add to MetaCart
The hardsquare model, also known as the twodimensional (1; 1)RLL constraint, consists of all binary arrays in which the 1's are isolated both horizontally and vertically. Based on a certain probability measure defined on those arrays, an efficient variableto fixed encoder scheme is presented that maps unconstrained binary words into arrays that satisfy the hardsquare model. For sufficiently large arrays, the average rate of the encoder approaches a value which is only 0:1% below the capacity of the constraint. A second, fixedrate encoder is presented whose rate for large arrays is within 1:2% of the capacity value. Keywords: Constrained codes; Enumerative coding; Hardsquare model; Maxentropic probability measure; Permutation codes; Variabletofixed encoders; Twodimensional runlengthlimited constraints. 1 Introduction In current digital optical and magnetic recording systems, such as disks and tapes, the data is written along tracks, thus visualized as a onedimensional long ...
Counting solutions of CSPs: A Structural Approach
 In IJCAI05
, 2005
"... Determining the number of solutions of a CSP has several applications in AI, in statistical physics, and in guiding backtrack search heuristics. It is a #Pcomplete problem for which some exact and approximate algorithms have been designed. Successful CSP models often use higharity, global constrain ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
Determining the number of solutions of a CSP has several applications in AI, in statistical physics, and in guiding backtrack search heuristics. It is a #Pcomplete problem for which some exact and approximate algorithms have been designed. Successful CSP models often use higharity, global constraints to capture the structure of a problem. This paper exploits such structure and derives polytime evaluations of the number of solutions of individual constraints. These may be combined to approximate the total number of solutions or used to guide search heuristics. We give algorithms for several of the main families of constraints and discuss the possible uses of such solution counts. 1
Graph Homomorphisms and Long Range Actions
, 2001
"... We show that if a graph H is kcolorable, then (k−1)branching walks on H exhibit long range action, in the sense that the position of a token at time 0 constrains the configuration of its descendents arbitrarily far into the future. This long range action property is one of several investigated her ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
We show that if a graph H is kcolorable, then (k−1)branching walks on H exhibit long range action, in the sense that the position of a token at time 0 constrains the configuration of its descendents arbitrarily far into the future. This long range action property is one of several investigated herein; all are similar in some respects to chromatic number but based on viewing H as the range, instead of the domain, of a graph homomorphism. The properties are based on combinatorial forms of probabilistic concepts from statistical physics, although we argue that they are natural even in a purely graphtheoretic setting. They behave well in many respects, but quite a few fundamental questions remain open.