Apply the OSSS inequality to the independent coordinates and to the indicator of the one-arm event . Use the randomized OSSS exploration of a one-arm event: choose uniformly from and reveal the variables needed to explore the superlevel cluster meeting . A coordinate can be revealed only if a nearby vertex has an open connection over the relevant distance. Translation invariance, finite-range dependence and the union bound therefore give the revealment estimatefor both kinds of coordinates, after enlarging the explored neighbourhood by a distance depending only on .
For an increasing Gaussian threshold event, the resampling influence of is bounded by a universal constant times . The influence of is bounded by the sum of the corresponding influences at the neighbours of : indeed Gaussian integration by parts givesfirst for smooth increasing approximations and then by a limit. Consequently the OSSS bound becomesPart (c) identifies the final sum with . Dividing and putting proves
Articles by others on the same topic
There are currently no matching articles.