The diagonal concavity conjecture for sums of elementary symmetric polynomials

Let n,pNn,p\in\mathbb{N}^*, let Γn\Gamma_n be the positive cone, let Δ={(X,,X):X>0}\Delta=\{(X,\ldots,X):X>0\} be its positive diagonal, and let

fa=a0+a1σ1++apσp,f_{\overrightarrow{a}}=a_0+a_1\sigma_1+\cdots+a_p\sigma_p,

where a=(a0,,ap)(R+)p+1\overrightarrow{a}=(a_0,\ldots,a_p)\in(\mathbb{R}_+)^{p+1}. Define the diagonal restriction

fˉa(X)=k=0pak(nk)Xk.\bar f_{\overrightarrow{a}}(X)=\sum_{k=0}^p a_k\binom{n}{k}X^k.

Diagonal concavity conjecture. The function faf_{\overrightarrow{a}} is 1p\frac1p-concave on Γn\Gamma_n if and only if it is 1p\frac1p-concave on Δ\Delta, if and only if fˉa\bar f_{\overrightarrow{a}} is 1p\frac1p-concave on R+\mathbb{R}_+^*. Equivalently, Knp=Xnp\mathcal{K}_n^p=\mathcal{X}_n^p. The conjecture is explicitly stated as unproved in the paper, although equivalence is established in some cases.

Sources & referencesView supporting material

Primary source

Xavier Lachaume, “On the concavity of a sum of elementary symmetric polynomials”, arXiv:1712.10327 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.