Let $\mathbf{p}=(p_1,\dots,p_m)$ be a vector in $[0,1]^m$ and let $\mathbf{X}=(X_1,\dots,X_n)$ be a vector of independently-distributed binomial random random variables such that $X_i\sim \text{Binom}(n,p_i)$.
Question: Is the function $g(\mathbf{p})=\mathbb{E}_\mathbf{X}[h(\mathbf{X})\ |\ \mathbf{p}]$ convex on $[0,1]^m$?
Notes:
- This question is a follow-up from a previous question, from which we know that in the univariate case ($m=1$) $g(p)$ is convex.
- I have done some numerical testing and it appears that $g(\mathbf{p})$ is convex
- The binomial expectation is identical to one representation of the multivariate Berstein polynomial. However, there is another more common representation, for which some convexity results exist.