The Annals of Applied Probability

Broadcasting on trees and the Ising model

William Evans, Claire Kenyon, Yuval Peres, and Leonard J. Schulman
Source: Ann. Appl. Probab. Volume 10, Number 2 (2000), 410-433.

Abstract

Consider a process in which information is transmitted from a given root node on a noisy tree network $T$.We start with an unbiased random bit $R$ at the root of the tree and send it down the edges of $T$.On every edge the bit can be reversed with probability $\varepsilon$, and these errors occur independently. The goal is to reconstruct $R$ from the values which arrive at the $n$th level of the tree. This model has been studied in information theory,genetics and statistical mechanics.We bound the reconstruction probability from above, using the maximum flow on $T$ viewed as a capacitated network, and from below using the electrical conductance of $T$. For general infinite trees, we establish a sharp threshold: the probability of correct reconstruction tends to 1/2 as $n \to \infty$ if $(1 - 2\varepsilon)^2 < p_c(T)$, but the reconstruction probability stays bounded away from ½ if the opposite inequality holds. Here $p_c(T)$ is the critical probability for percolation on $T$; in particular $p_c(T) = 1/b$ for the $b + 1$-regular tree. The asymptotic reconstruction problem is equivalent to purity of the “free boundary” Gibbs state for the Ising model on a tree. The special case of regular trees was solved in 1995 by Bleher, Ruiz and Zagrebnov; our extension to general trees depends on a coupling argument and on a reconstruction algorighm that weights the input bits by the electrical current flow from the root to the leaves.

First Page: Show Hide
Primary Subjects: 60K35
Secondary Subjects: 90B15, 68R99
Full-text: Open access
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.aoap/1019487349
Mathematical Reviews number (MathSciNet): MR1768240
Digital Object Identifier: doi:10.1214/aoap/1019487349
Zentralblatt MATH identifier: 02110909

References

[1] Benjamini, I., Pemantle, R. and Peres, Y. (1998). Unpredictable paths and percolation. Ann. Probab. 26 1198-1211.
Mathematical Reviews (MathSciNet): MR99g:60183
Zentralblatt MATH: 0937.60070
Digital Object Identifier: doi:10.1214/aop/1022855749
Project Euclid: euclid.aop/1022855749
[2] Bleher, P. M., Ruiz, J. and Zagrebnov, V. A. (1995). On the purity of the limiting Gibbs state for the Ising model on the Bethe lattice. J. Statist. Phys. 79 473-482.
Mathematical Reviews (MathSciNet): MR96d:82009
Zentralblatt MATH: 1081.82515
Digital Object Identifier: doi:10.1007/BF02179399
[3] Brightwell, G. R. and Winkler, P. (1999). Graph homomorphisms and phase transitions. J. Combin. Theory Ser. A. To appear.
Mathematical Reviews (MathSciNet): MR2001g:05040
Zentralblatt MATH: 1026.05028
Digital Object Identifier: doi:10.1006/jctb.1999.1899
[4] Cavender, J. (1978). Taxonomy with confidence. Math. Biosci. 40 271-280.
Mathematical Reviews (MathSciNet): MR58:20548
Zentralblatt MATH: 0391.92015
Digital Object Identifier: doi:10.1016/0025-5564(78)90089-5
[5] Chayes, J. T., Chayes, L., Sethna, J. P. and Thouless, D. J. (1986). A mean field spin glass with short range interactions, Comm. Math. Phys. 106 41-89.
Mathematical Reviews (MathSciNet): MR88i:82054
Digital Object Identifier: doi:10.1007/BF01210926
Project Euclid: euclid.cmp/1104115582
[6] Cover, T. M. and Thomas, J. A. (1991). Elements of Information Theory. Wiley, New York.
Mathematical Reviews (MathSciNet): MR92g:94001
[7] Doyle, P. G. and Snell, E. J. (1984). Random Walks and Electrical Networks. Math. Assoc. Amer., Washington, D.C.
Mathematical Reviews (MathSciNet): MR89a:94023
Zentralblatt MATH: 0583.60065
[8] Evans, W. (1994). Information theory and noisy computation. Ph.D. dissertation, Dept. Computer Science, Univ. California, Berkeley.
[9] Evans, W., Kenyon, C., Peres, Y. and Schulman, L. J. (1995). A critical phenomenon in a broadcast process. Unpublished manuscript.
[10] Evans, W. and Schulman, L. J. (1993). Signal propagation, with application to a lower bound on the depth of noisy formulas. In Proceedings of the 34th Annual Symposium on Foundations of Computer Science 594-603.
[11] Evans, W. and Schulman, L. J. (1994). Lower bound on the depth of noisy circuits. Unpublished manuscript.
[12] Fitch, W. M. (1971). Toward defining the course of evolution: minimum change for a specific tree topology. Syst. Zool. 20 406-416.
432 EVANS, KENYON, PERES AND SCHULMAN
[13] Georgii, H. O. (1988). Gibbs Measures and Phase Transitions. de Gruyter, Berlin.
Mathematical Reviews (MathSciNet): MR89k:82010
Zentralblatt MATH: 0657.60122
[14] Grimmett, G. R. (1996). Percolation and disordered systems. Lectures in Probability Theory and Statistics, Ecole d'Et´e de Probabilit´es de Saint Flour XXVI. Lecture Notes in Math. 1665 153-300. Springer, Berlin.
[15] H¨aggstr ¨om, O. and Mossel, E. (1998). A nearest neighbor process with low predictability and percolation in 2 + dimensions. Ann. Probab. 26 1212-1231.
[16] Hajek, B. and Weller, T. (1991). On the maximum tolerable noise for reliable computation by formulas. IEEE Trans. Inform. Theory 37 388-391.
Zentralblatt MATH: 0721.94025
[17] Hartigan, J. A. (1971). Minimum mutation fits to a given tree. Biometrics 29 53-65.
[18] Higuchi, Y. (1977). Remarks on the limiting Gibbs state on a d+1 -tree. Publ. RIMS Kyoto Univ. 13 335-348.
Mathematical Reviews (MathSciNet): MR58:32697
Digital Object Identifier: doi:10.2977/prims/1195189812
[19] Ioffe, D. (1996). A note on the extremality of the disordered state for the Ising model on the Bethe lattice. Lett. Math. Phys. 37 137-143.
Mathematical Reviews (MathSciNet): MR97e:82004
Zentralblatt MATH: 0848.60090
Digital Object Identifier: doi:10.1007/BF00416016
[20] Ioffe, D. (1996). A note on the extremality of the disordered state for the Ising model on the Bethe lattice. In Trees (B. Chauvin, S. Cohen, A. Roualt, eds.). Birkh¨auser, Boston.
Mathematical Reviews (MathSciNet): MR97e:82004
Zentralblatt MATH: 0848.60090
Digital Object Identifier: doi:10.1007/BF00416016
[21] Kesten, H. and Stigum, B. P. (1966). Additional limit theorems for indecomposable multidimensional Galton-Watson processes. Ann. Math. Statist. 37 1463-1481.
Mathematical Reviews (MathSciNet): MR200979
Zentralblatt MATH: 0203.17402
Digital Object Identifier: doi:10.1214/aoms/1177699139
Project Euclid: euclid.aoms/1177699139
[22] Le Cam, L. (1974). Notes on Asymptotic Methods in Statistical Decision Theory. Centre de Rech. Math., Univ. Montr´eal.
Mathematical Reviews (MathSciNet): MR58:18801
[23] Lyons, R. (1989). The Ising model and percolation on trees and tree-like graphs. Comm. Math. Phys. 125 337-352.
Mathematical Reviews (MathSciNet): MR90h:82046
Zentralblatt MATH: 0679.60101
Digital Object Identifier: doi:10.1007/BF01217911
Project Euclid: euclid.cmp/1104179469
[24] Lyons, R. (1990). Random walks and percolation on trees. Ann. Probab. 18 931-958.
Mathematical Reviews (MathSciNet): MR91i:60179
Zentralblatt MATH: 0714.60089
Digital Object Identifier: doi:10.1214/aop/1176990730
Project Euclid: euclid.aop/1176990730
[25] Lyons, R. (1992). Random walks, capacity, and percolation on trees. Ann. Probab. 20 2043- 2088.
Mathematical Reviews (MathSciNet): MR93k:60175
Zentralblatt MATH: 0766.60091
Digital Object Identifier: doi:10.1214/aop/1176989540
Project Euclid: euclid.aop/1176989540
[26] Lyons, R. and Peres, Y. (1997). Probability on Trees and Networks. To appear. Available at http://php.indiana.edu/ rdlyons/.
[27] Moore, T. and Snell, J. L. (1979). A branching process showing a phase transition. J. Appl. Probab. 16 252-260.
Zentralblatt MATH: 0421.60052
Mathematical Reviews (MathSciNet): MR531760
Digital Object Identifier: doi:10.2307/3212894
[28] Mossel, E. (1998). Recursive reconstruction on periodic trees. Random Structures Algorithms 13 81-97.
Mathematical Reviews (MathSciNet): MR99h:05106
Zentralblatt MATH: 0959.05112
[29] Mossel, E. (1999). Reconstruction on trees: beating the second eigenvalue. Unpublished manuscript.
[30] Pemantle, R. and Peres, Y. (1994). Domination between trees and application to an explosion problem. Ann. Probab. 22 180-194.
Mathematical Reviews (MathSciNet): MR95a:60148
Zentralblatt MATH: 0806.60098
Digital Object Identifier: doi:10.1214/aop/1176988855
Project Euclid: euclid.aop/1176988855
[31] Pemantle, R. and Peres, Y. (1995). Recursions on trees and the Ising model at critical temperatures. Unpublished manuscript.
[32] Pippenger, N. (1988). Reliable computation by formulas in the presence of noise. IEEE Trans. Inform. Theory 34 194-197.
Mathematical Reviews (MathSciNet): MR945312
Digital Object Identifier: doi:10.1109/18.2628
[33] Preston, C. J. (1974). Gibbs States on Countable Sets. Cambridge Univ. Press.
Mathematical Reviews (MathSciNet): MR57:14194a
Zentralblatt MATH: 0297.60054
[34] Spitzer, F. (1975). Markov random fields on an infinite tree. Ann Probab. 3 387-394.
Mathematical Reviews (MathSciNet): MR51:14321
Digital Object Identifier: doi:10.1214/aop/1176996347
[35] Steel, M. (1989). Distribution in bicolored evolutionary trees. Ph.D. thesis, Massey Univ., Palmerston North, New Zealand.
[36] Steel, M. and Charleston, M. (1995). Five surprising properties of parsimoniously colored trees. Bull. Math. Biology 57 367-375.
Zentralblatt MATH: 0822.92013
[37] Vajda, I. (1989). Theory of Statistical Inference and Information. Kluwer, Dordrecht.
[38] von Neumann, J. (1956). Probabilistic logics and the synthesis of reliable organisms from unreliable components. In Automata Studies (C. E. Shannon and J. McCarthy, eds.) 43-98. Princeton Univ. Press.
Mathematical Reviews (MathSciNet): MR17,1040d
LRI, Universit´e de Paris-Sud Orsay France E-mail: Claire.Kenyon@lri.fr

2013 © Institute of Mathematical Statistics

The Annals of Applied Probability

The Annals of Applied Probability

Turn MathJax Off
What is MathJax?