Let $(B\_i)$ be a collection of i.i.d. random variables taking values 0 or 1.


Suppose $0 < x^- < x^+ < 1$. Consider two different "success probabilities" for the i.i.d. collection $B\_i$: under measure $P^-$, each $B\_i$ takes value 1 with probability $x^-$, while under measure $P^+$, each $B\_i$ takes value 1 with probability $x^+$.


Consider increasing events which are functions of the collection $(B\_i)$. 


I'm looking for a result of the following form: given $u^-\in(0,1)$, there exists 
$u^+>u^-$ such that if $A$ is an increasing event with $P^-(A)\geq u^-$, 
then $P^+(A)\geq u^+$. 


Perhaps I'm missing something simple.... There are easy arguments, for example, when $x^+\geq (x^-)^{1/2}$. (Then one can consider two independent samples of $(B\_i)$ from $P^+$, and take the min of the two samples; this dominates a sample from $P^-$. From this the result follows with $u^+=(u^-)^{1/2}$.)



probabilities of increasing events under different product measures.
I managed to hack out an answer to this question, and get the following result:


For any $k$ and $\epsilon$, if 


$
x^+\geq 1-(1-x^-)^{1+1/k}
$


and 


$
P\_{x^-}(A)\in (k\epsilon^{1/2}, 1-k\epsilon^{1/2})
$


then


$
P\_{x^+}(A)-P\_{x^-}(A)\geq \epsilon.
$


Given $u^-$, $x^-$ and $x^+$, it's easy to use this to get a $u^+$ of the 
form I was asking for, by choosing appropriate $k$ and $\epsilon$.


As it happens, this result is not enough to get a lower bound on the influences that I was asking for under Ryan's post (such a bound would follow for example if one could replace the interval $(k\epsilon^{1/2}, 1-k\epsilon^{1/2})$ by $(k\epsilon, 1-k\epsilon)$ above).


The argument I've got is not deep but too long to post here. It involves considering $k+1$ copies of the collection of Bernoulli random variables, then comparing the probability of the event A occurring based on the max of all $k+1$ of the copies or based on the max of just $k$ of the copies. Looking at an appropriate sequence of conditional probabilities as more information about the Bernoulli collections is revealed, one shows that if there is enough randomness in the sequence for the probability of the event occurring to be significantly away from 0 and from 1, then also there must be a significant chance that the event occurs based on the max of $k+1$ copies but not on $k$ copies. For completeness and just in case anyone happens to care, I've put some messy notes about it at <http://www.stats.ox.ac.uk/~martin/papers/increasing.pdf> 


Of course I'd still be very interested to hear of any references where this or something similar has been done. I wouldn't be surprised if a more general approach involving isoperimetry or concentration is possible.....


