Consistency of fixed-point partitions for branching matrices

Let M\mathbf{M} be a branching matrix, and for a specific value λ<WSM(TM)\lambda<\operatorname{WSM}(T_{\mathbf{M}}) let VλV_\lambda be the fixed points of the recurrences of the marginal distributions defined by M\mathbf{M}. Define C(λ)\mathcal{C}(\lambda) to be the partition whose parts consist of types having the same value at the fixed points in VλV_\lambda; that is, for each CiC(λ)C_i\in\mathcal{C}(\lambda) and every cCic\in C_i, the values Vλ(c)V_\lambda(c) are equal. Fixed-point partition conjecture. If the partitions C(λ)\mathcal{C}(\lambda) are identical for all λ\lambda, then C\mathcal{C} is a consistent partition of M\mathbf{M}. The conjecture would provide a way to find a small consistent partition and thereby simplify proofs of weak and strong spatial mixing for the associated trees. The source does not state a resolution, so the conjecture is recorded as open.

Sources & referencesView supporting material

Primary source

Juan C. Vera, Eric Vigoda and Linji Yang, “Improved Bounds on the Phase Transition for the Hard-Core Model in 2-Dimensions”, arXiv:1306.0431 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.