Conjecture on convexity and concavity of the Arimoto information-combining bound

Let kαAk_\alpha^A denote the Arimoto conditional-entropy function and let \ast denote binary convolution. There exists a value 1<α^<1.57831<\hat\alpha<1.5783 such that

kαA(kαA1(x)kαA1(y))k_{\alpha}^A\left({k_{\alpha}^A}^{-1}(x)\ast {k_{\alpha}^A}^{-1}(y)\right)

is convex for 0<α<10<\alpha<1 and concave for 1<αα^1<\alpha\leq\hat\alpha. This conjecture is based on numerical evidence; the stated threshold is bounded by verified counterexamples and additional numerical observations, while the behavior beyond α^\hat\alpha is not asserted.

Sources & referencesView supporting material

Primary source

Christoph Hirche, “Rényi Bounds on Information Combining”, arXiv:2004.14408 (2020).

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.