The positivity conjecture for derivatives of the sum of squared logarithms

Let e=(e1,,en)R+ne=(e_1,\ldots,e_n)\in\mathbb{R}_+^n, and let fφf\circ\varphi be the composition defined in the paper, where φ\varphi parametrizes the roots associated with ee. For k{1,,n1}k\in\{1,\ldots,n-1\}, consider the partial derivative (fφ)ek(e)\frac{\partial(f\circ\varphi)}{\partial e_k}(e). Positivity conjecture. The composition fφf\circ\varphi is differentiable, and

(fφ)ek(e)>0\frac{\partial(f\circ\varphi)}{\partial e_k}(e)>0

for all eR+ne\in\mathbb{R}_+^n and every k{1,,n1}k\in\{1,\ldots,n-1\}. This is the monotonicity condition needed in the paper's proof of the sum of squared logarithms inequality; the supplied material does not establish whether the assertion is resolved.

Sources & referencesView supporting material

Primary source

Lev Borisov, Patrizio Neff, Suvrit Sra and Christian Thiel, “The sum of squared logarithms inequality in arbitrary dimensions”, arXiv:1508.04039 (2015).

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.