5 papers
Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search
Shing Yin Wong, Shaocheng Liu, Linqi Song +2
Proving Shannon-type entropy inequalities is a fundamental task in information theory that often requires constructing non-trivial linear combinations of known constraints, which i…
List Estimation
Nikola Zlatanov, Amin Gohari, Farzad Shahrivari +1
Classical estimation outputs a single point estimate of an unknown -dimensional vector from an observation. In this paper, we study \emph{-list estimation}, in which a single…
Subjective Distortion: Achievability and Outer Bounds for Distortion Functions with Memory
Hamidreza Abin, Amin Gohari, Andrew W. Eckford
In some rate-distortion-type problems, the required fidelity of information is affected by past actions. As a result, the distortion function depends not only on the instantaneous…
A Class of Subadditive Information Measures and their Applications
Hamidreza Abin, Mahdi Zinati, Amin Gohari +2
We introduce a two-parameter family of discrepancy measures, termed \emph{-divergences}, obtained by applying a non-decreasing function to an -divergence . Build…
On the Source Model Key Agreement Problem
Hamidreza Abin, Amin Gohari
We consider the source model key agreement problem involving two legitimate parties and an eavesdropper who observe n i.i.d. samples of X, Y, and Z, respectively. In this paper, we…