Equality in the Bosonic Quantum Entropy Power Inequality
Abstract
The bosonic quantum entropy power inequality bounds the entropy of a beam-splitter output in terms of the input entropies. We determine its complete equality class among independent inputs of finite mean photon number: for any number of modes and any transmissivity strictly between zero and one, equality in either the linear or the exponential form holds if and only if the inputs are Gaussian with the same covariance matrix, allowing arbitrary displacements. The main step shows that equality for one output forces the two outputs to be independent: a thermal auxiliary converts equality into preservation of mutual information by a fixed noisy channel, and a two-outcome instrument shows that preservation of mutual information requires a product state with the reference. The quantum Darmois--Skitovich theorem then gives Gaussianity, while a central-limit argument reduces exponential equality to linear equality.
Related
- A new proof of equality cases of the Brunn-Minkowski inequality on manifolds
- Jensen' s trace inequality with equality condition and noncommutative Lamperti's theorem
- On the equality case in the Kotrbatý-Mouamine inequality
- The equality case in Godbersen's inequality and its generalizations
- A characterization of equality in the edge-localized Bollobás-Nikiforov inequality
BibTeX
@misc{li2026equality,
title = {{Equality in the Bosonic Quantum Entropy Power Inequality}},
author = {Yonglong Li},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.40061},
eprint = {2609.40061},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.40061},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Equality in the Bosonic Quantum Entropy Power Inequality
AU - Yonglong Li
PY - 2026
DA - 2026/09/30
PB - arXiv
DO - 10.48550/arxiv.2609.40061
UR - https://arxiv.org/abs/2609.40061
AB - The bosonic quantum entropy power inequality bounds the entropy of a beam-splitter output in terms of the input entropies. We determine its complete equality class among independent inputs of finite mean photon number: for any number of modes and any transmissivity strictly between zero and one, equality in either the linear or the exponential form holds if and only if the inputs are Gaussian with the same covariance matrix, allowing arbitrary displacements. The main step shows that equality for one output forces the two outputs to be independent: a thermal auxiliary converts equality into preservation of mutual information by a fixed noisy channel, and a two-outcome instrument shows that preservation of mutual information requires a product state with the reference. The quantum Darmois--Skitovich theorem then gives Gaussianity, while a central-limit argument reduces exponential equality to linear equality.
ER -