Let be a Lipschitz function. If the binary variables are independent, then it is well known that satisfies a Gaussian concentration inequality (*) for a suitable .

**Question**

Does such an inequality also hold if the binary variables are *negatively associated* (i.e., increasing functions of disjoint subsets of these variables are negatively correlated) rather than independent?

**Background**

This is classical when is an increasing linear function of , and therefore also holds for any linear Lipschitz function (with a different constant ).

In 2009, Elchanan Mossel (personal communication) asked whether (*) holds for negatively associated and nonlinear Lipschitz functions. This is still open. A central motivation was the ensemble of uniform spanning trees in a graph , which was proved in [1] to have negative association (the relevant binary variables are indexed by the edges of and are indicators for inclusion in the uniform spanning tree.)

In [2] the inequality (*) is proved under a more restrictive negative dependence hypothesis known as the *strong Rayleigh* condition, defined in [3]. The class of strong Rayleigh measures includes determinantal measures (which include the uniform spanning tree) and also weighted uniform matroids and spanning tree measures. However, it is hard to verify directly if a measure is strong Rayleigh, and not all negatively associated measures on the hypercube satisfy this condition.

**Bibliography**

[1] T. Feder and M. Mihail. (1992). Balanced matroids. Annual ACM Symposium on Theory of Computing, 26-38, 1992.

[2] R. Pemantle and Y. Peres (2014). Concentration of Lipschitz Functionals of Determinantal and Other Strong Rayleigh Measures. Combinatorics, Probability and Computing 23, 140–160.

[3] J. Borcea, P. Branden, and T. Liggett (2009). Negative dependence and the geometry of polynomials. J. AMS, 22:521–567, 2009.