Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming

by   Laigang Guo, et al.

Costa's entropy power inequality is an important generalization of Shannon's entropy power inequality. Related with Costa's entropy power inequality and a conjecture proposed by McKean in 1966, Cheng-Geng recently conjectured that D(m,n): (-1)^m+1(∂^m/∂^m t)H(X_t)>0, where X_t is the n-dimensional random variable in Costa's entropy power inequality and H(X_t) the differential entropy of X_t. D(1,n) and D(2,n) were proved by Costa as consequences of Costa's entropy power inequality. Cheng-Geng proved D(3,1) and D(4,1). In this paper, we propose a systematical procedure to prove D(m,n) and Costa's entropy power inequality based on semidefinite programming. Using software packages based on this procedure, we prove D(3,n) for n=2,3,4 and give a new proof for Costa's entropy power inequality. We also show that with the currently known constraints, D(5,1) and D(4,2) cannot be proved with the procedure.


page 1

page 2

page 3

page 4


Transportation Proof of an inequality by Anantharam, Jog and Nair

Anantharam, Jog and Nair recently put forth an entropic inequality which...

A Generalization of the Concavity of Rényi Entropy Powe

Recently, Savaré-Toscani proved that the Rényi entropy power of general ...

Variations on a Theme by Massey

In 1994, James Lee Massey proposed the guessing entropy as a measure of ...

Lower Bound on Derivatives of Costa's Differential Entropy

Several conjectures concern the lower bound for the differential entropy...

Equality in the Matrix Entropy-Power Inequality and Blind Separation of Real and Complex sources

The matrix version of the entropy-power inequality for real or complex c...

A generalization of Costa's Entropy Power Inequality

Aim of this short note is to study Shannon's entropy power along entropi...

Entropy Power Inequality in Fermionic Quantum Computation

We study quantum computation relations on unital finite-dimensional CAR ...

Please sign up or login with your details

Forgot password? Click here to reset