Conjecture on the sign of the Stolarsky and power-mean difference

Let LαL_\alpha denote the Stolarsky mean, let BpB_p and BqB_q be power means, and let R(Bp,Lα,Bq)\mathcal{R}(B_p,L_\alpha,B_q) denote their associated stabilizing mean. Set

q=12(1p)2α2,p=±1+16α216α4.q=\frac12(1-p)-2\alpha^2,\qquad p=\pm\sqrt{1+16\alpha^2-16\alpha^4}.

Sign conjecture. The inequality

LαR(Bp,Lα,Bq)<0L_\alpha-\mathcal{R}(B_p,L_\alpha,B_q)<0

holds for α<12\lvert\alpha\rvert<\frac12.

This statement concerns the sign needed to determine sub- or super-stabilizability of LαL_\alpha by power means. The source presents it as motivated by numerical experiments; its resolution is not supplied.

Sources & referencesView supporting material

Primary source

Lenka Mihoković and Mustapha Raïssouli, “Results on comparison and sub/super-stabilizability of some new means”, arXiv:2405.13618 (2024).

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.