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

04/18/2020
by   Laigang Guo, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/30/2019

Transportation Proof of an inequality by Anantharam, Jog and Nair

Anantharam, Jog and Nair recently put forth an entropic inequality which...
research
03/11/2021

A Generalization of the Concavity of Rényi Entropy Powe

Recently, Savaré-Toscani proved that the Rényi entropy power of general ...
research
02/08/2021

Variations on a Theme by Massey

In 1994, James Lee Massey proposed the guessing entropy as a measure of ...
research
07/17/2020

Lower Bound on Derivatives of Costa's Differential Entropy

Several conjectures concern the lower bound for the differential entropy...
research
01/21/2019

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...
research
12/22/2020

A generalization of Costa's Entropy Power Inequality

Aim of this short note is to study Shannon's entropy power along entropi...
research
08/12/2020

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