Conjecture on convexity and concavity of the conditional Rényi information-combining bound

Let hαh_\alpha denote the binary conditional Rényi-entropy function and let \ast denote binary convolution. There exists a value 1<α^<1.38631<\hat\alpha<1.3863 such that

hα(hα1(x)hα1(y))h_{\alpha}\left({h_{\alpha}}^{-1}(x)\ast {h_{\alpha}}^{-1}(y)\right)

is convex for 0<α<α^0<\alpha<\hat\alpha and concave for α2\alpha\geq2. This conjecture is based on numerical evidence following counterexamples to convexity and concavity in an intermediate range; the precise threshold below 1.38631.3863 remains open.

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.