Is anything known about the behavior of the function $$f(x)=\prod_{i=1}^n x_i^{x_i}$$ on the standard simplex, i.e. the set $\{x\in\mathbb{R}^n:\sum_{i=1}^n x_i=1, x_i\geq0\}$? I ask because I have done a lot of numerical experiments that suggest that $$1\leq\left(\prod_{i=1}^{n}x_{i}^{x_{i}}\right)\left(\sum_{i=1}^{n}x_{i}^{1/2}\right)^{2}\leq 2$$ for all $n$ and all $x$ on the standard simplex, and I have no clue how to prove this. Of course, one could also rewrite this more compactly as $$1\leq\left(\prod_{i=1}^{n}x_{i}^{x_{i}}\right)\x\_{1/2}\leq 2$$but this still doesn't seem particularly helpful to me.

1$\begingroup$ Is this the sort of idel curiosity that lead to the discovery of so many things, or a question motivated by a "real problem"? (I am asking out of idle curiosity because I can't image how and why anyone would think of these inequalities.) $\endgroup$– Andrej BauerApr 12, 2016 at 8:27

$\begingroup$ @AndrejBauer Definitely a real problem, but it's a long story. I am hoping it is true because it allows me to describe the probability distribution of a sum of random variables whose cdfs have a certain form. $\endgroup$– Jennifer GaoApr 12, 2016 at 8:32

$\begingroup$ You assume $0^0=1$, right? $\endgroup$– joroApr 12, 2016 at 9:22

1$\begingroup$ If you use $\log\sum_i \sqrt{x_i} = \log\sum_i x_i \frac{1}{\sqrt{x_i}}\geq \sum_i x_i \log(\frac{1}{\sqrt{x_i}})=2\sum_ix_i\log x_i$ (where the inequality is Jensen's) you get $\sum_i \sqrt{x_i}\geq \sqrt{\prod_i x_i^{2x_i}} $. Which is enough for the lower bound, because $\prod_i x_i^{x_i}<1$. $\endgroup$– martin crippsApr 12, 2016 at 9:27

$\begingroup$ Sorry too many square roots in the last inequality  it should read $\sum_i\sqrt{x_i}\geq \prod_ix_i^{2x_i}$! $\endgroup$– martin crippsApr 12, 2016 at 9:46
1 Answer
The upper bound is not correct. E.g., let $n=101$, $x_1=\dots=x_{100}=1/1000$, $x_{101}=9/10$. Then $$\left(\prod_{i=1}^{n}x_{i}^{x_{i}}\right)\left(\sum_{i=1}^{n}x_{i}^{1/2}\right)^{2}>7>2.$$
More generally, take any $a\in(0,1)$ and any natural $k$, and then let $n=k+1$, $x_1=\dots=x_k=a/k$, $x_{k+1}=1a$. Then $$\ln\left[\left(\prod_{i=1}^{n}x_{i}^{x_{i}}\right)\left(\sum_{i=1}^{n}x_{i}^{1/2}\right)^{2}\right]=a\ln\frac ak+(1a)\ln(1a)+2\ln(\sqrt{ak}+\sqrt{1a})\to\infty$$ as $k\to\infty$.

2$\begingroup$ Thanks, you taught me a valuable lesson about sampling from the boundary of a simplex :) $\endgroup$ Apr 12, 2016 at 16:37
