Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the functions $T_p(q)= \sum_i q_i^p$, where p>1 and q is a finite-dimensional vector satisfying $\sum_i q_i = 1, q_i >0$ (ie, a probability mass function). In information-theoretic terms, these are equivalent (up to constants) to the Tsallis entropies of q

$T_p$ is a convex function of $q$ for any $p>1$. This is also true of its generalization as a function of (Trace-normalized) Hermitian operators, ie $T_p(A) := Tr(A^p) $

The question is: are products of the form $(T_{p_1})^{r_1}\cdots(T_{p_n})^{r_n}$, where $r_i >1$, also convex?

Note that in general $T_{p_i}, T_{p_j}$ may define different partial orders, so it would appear that simple arguments that give sufficient conditions for the product of two convex functions to be convex, such as this one, cannot be used. On the other hand, I haven't found any counterexamples yet.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.