Prefer a chat interface with context about you and your work?
A Simpler Proof of the Negative Association Property for Absolute Values of Measures Tied to Generalized Orlicz Balls
Negative association for a family of random variables $(X_i)$ means that for any coordinatewise increasing functions $f,g$ we have $$\mathbb{E} f(X_{i_1},\ldots,X_{i_k}) g(X_{j_1},\ldots,X_{j_l}) \leq \mathbb{E} f(X_{i_1},\ldots,X_{i_k}) \mathbb{E} g(X_{j