Abstract:In the study of Ising models on large locally tree-like graphs, in both rigorous and non-rigorous methods one is often led to understanding the so-called belief propagation distributional recursions and its fixed points. We prove that there is at most one non-trivial fixed point for Ising models with zero or certain random external fields. Previously this was only known for sufficiently ``low-temperature'' models. Our main innovation is in applying information-theoretic ideas of channel comparison leading to a new metric (degradation index) between binary-input-symmetric (BMS) channels under which the Belief Propagation (BP) operator is a strict contraction (albeit non-multiplicative). A key ingredient of our proof is a strengthening of the classical stringy tree lemma of (Evans-Kenyon-Peres-Schulman'00). Our result simultaneously closes the following 6 conjectures in the literature: 1) independence of robust reconstruction accuracy to leaf noise in broadcasting on trees (Mossel-Neeman-Sly'16); 2) uselessness of global information for a labeled 2-community stochastic block model, or 2-SBM (Kanade-Mossel-Schramm'16); 3) optimality of local algorithms for 2-SBM under noisy side information (Mossel-Xu'16); 4) uniqueness of BP fixed point in broadcasting on trees in the Gaussian (large degree) limit (ibid); 5) boundary irrelevance in broadcasting on trees (Abbe-Cornacchia-Gu-Polyanskiy'21); 6) characterization of entropy (and mutual information) of community labels given the graph in 2-SBM (ibid).

All-versus-nothing violation of local realism in the one-dimensional Ising model

Proposed All-Versus-nothing Violation of Local Realism in the Kitaev Spin-Lattice Model

Greenberger-Horne-Zeilinger Paradox and Quantum Entanglement Swapping in One-Dimensional Lipkin-Meshkov-Glick Model

Violations of Locality Beyond Bell's Theorem

All-Versus-Nothing Violation of Local Realism by Swapping Entanglement

Loophole-free Bell inequality violations cannot disprove local realism

Violation of Local Realism with Freedom of Choice.

Simultaneous All-versus-Nothing Refutation of Local Realism and Noncontextuality by a Single System

All-Versus-Nothing Violation Of Local Realism By Two-Photon, Four-Dimensional Entanglement

All-versus-nothing Violation of Local Realism for Two Entangled Photons.

Contextuality in infinite one-dimensional translation-invariant local Hamiltonians

Detect Genuine Multipartite Entanglement in the One-Dimensional Transverse-Field Ising Model

Bell's nonlocality in a general nonsignaling case: quantitatively and conceptually

Quantum Ising Models in Transverse Fields for a Class of One-Dimensional Quasiperiodic Lattices

Against Absolute Actualization: Three "Non-Localities" and Failure of Model-External Randomness made easy with Many-Worlds Models including Stronger Bell-Violation and Correct QM Probability

Bell Nonlocality in Conventional and Topological Quantum Phase Transitions

Quantum correlation and quantum phase transition in the one-dimensional extended Ising model

Beyond Gisin's Theorem and its Applications: Violation of Local Realism by Two-Party Einstein-Podolsky-Rosen Steering

Standard Model of Particle Physics Violating Crypto-Nonlocal Realism

Bell Theorem Without Inequality for Some Generalized Ghz and W States

Ising Model on Locally Tree-like Graphs: Uniqueness of Solutions to Cavity Equations