## The Annals of Probability

### Robust reconstruction on trees is determined by the second eigenvalue

#### Abstract

Consider a Markov chain on an infinite tree T=(V,E) rooted at ρ. In such a chain, once the initial root state σ({ρ}) is chosen, each vertex iteratively chooses its state from the one of its parent by an application of a Markov transition rule (and all such applications are independent). Let μj denote the resulting measure for σ({ρ})=j. The resulting measure μj is defined on configurations , where is some finite set. Let μjn denote the restriction of μ to the sigma-algebra generated by the variables σ(x), where x is at distance exactly n from ρ. Letting , where dTV denotes total variation distance, we say that the reconstruction problem is solvable if lim inf n→∞αn>0. Reconstruction solvability roughly means that the nth level of the tree contains a nonvanishing amount of information on the root of the tree as n→∞.

In this paper we study the problem of robust reconstruction. Let ν be a nondegenerate distribution on and ɛ>0. Let σ be chosen according to μjn and σ' be obtained from σ by letting for each node independently, σ(v)=σ'(v) with probability 1−ɛ and σ'(v) be an independent sample from ν otherwise. We denote by μjn[ν,ɛ] the resulting measure on σ'. The measure μjn[ν,ɛ] is a perturbation of the measure μjn. Letting , we say that the reconstruction problem is ν-robust-solvable if lim inf n→∞αn(ν,ɛ)>0 for all 0<ɛ<1. Roughly speaking, the reconstruction problem is robust-solvable if for any noise-rate and for all n, the nth level of the tree contains a nonvanishing amount of information on the root of the tree.

Standard techniques imply that if T is the rooted B-ary tree (where each node has B children) and if B2(M)|2>1, where λ2(M) is the second largest eigenvalue of M (in absolute value), then for all nondegenerate ν, the reconstruction problem is ν-robust-solvable. We prove a converse and show that the reconstruction problem is not ν-robust-solvable if B2(M)|2<1. This proves a conjecture by the second author and Y. Peres. We also consider other models of noise and general trees.

#### Article information

Source
Ann. Probab., Volume 32, Number 3B (2004), 2630-2649.

Dates
First available in Project Euclid: 6 August 2004

Permanent link to this document
https://projecteuclid.org/euclid.aop/1091813626

Digital Object Identifier
doi:10.1214/009117904000000153

Mathematical Reviews number (MathSciNet)
MR2078553

Zentralblatt MATH identifier
1061.60105

#### Citation

Janson, Svante; Mossel, Elchanan. Robust reconstruction on trees is determined by the second eigenvalue. Ann. Probab. 32 (2004), no. 3B, 2630--2649. doi:10.1214/009117904000000153. https://projecteuclid.org/euclid.aop/1091813626