Recoverable systems provide coarse models of data storage on the two-dimensional square lattice ({mathbb Z}^2). In a recoverable system, each lattice site stores one bit of data, and the overall configuration of bits on the lattice is such that each site can reconstruct the value from its neighbors’ values according to a specified local rule. We initiate a study of such systems through the lens of statistical models for interacting bits on the ({mathbb Z}^2) lattice. We consider two statistical models: (a) an interaction model with a temperature parameter that encourages configurations that respect the local recovery rule, and (b) a hard-core model with an activity parameter, supported only on the admissible configurations of the recoverable system. In this paper, we specifically study the recoverable system in which the admissible configurations are precisely those whose supports form maximal independent sets in the lattice. For the interaction model, we establish uniqueness of the Gibbs measure at high temperature and derive bounds on the entropy in the zero- and low-temperature regimes. For the hard-core model of maximal independent sets, we show phase coexistence at high activity. Unlike the standard hard-core model, however, the maximal version admits nontrivial ground states even at low activity, and we manage to classify them explicitly. We further verify the Peierls condition for appropriately defined contours. Combined with the Pirogov—Sinai theory, this shows that each ground state gives rise to an extremal Gibbs measure, proving phase coexistence at low activity.


扫码关注我们
求助内容:
应助结果提醒方式:

