Equivalence of Two Proof Techniques for Non-Shannon-type Inequalities
我们比较了两种不同的技术证明非香农型信息不等式。第一个是最初的张杨方法，通常被称为复制/粘贴引理/技巧。利用复制引理得到了第一个条件和无条件非Shannon型不等式。第二种技术首先出现在Makarychev等人的论文[7]中，并且基于Ahlswede和Körner作品中的编码引理。本文首先强调平衡不等式的重要性，并给出了一个关于Shannon型不等式的Chan定理的简单证明。我们比较了基于单一技术的各种证明系统的能力。
2013-02-13 cs.IT math.IT math.PR
Linear rank inequalities on five or more variables
向量空间的子空间的秩满足所有由熵满足的线性不等式（包括标准的香农不等式）和一个由英格尔顿提出的附加不等式。众所周知，香农不等式和英格尔顿不等式生成的所有线性秩不等式最多可达四个变量，但它一直是一个悬而未决的问题，是否额外的不等式适用于五个或更多变量的情况。在这里，我们列出了24个不等式，连同香农和英格尔顿不等式，产生所有的线性秩不等式的五个变量。我们还给出了一个部分列表的线性秩不等式的六个变量和一般的结果，产生这样的不平等的任意数量的变量，我们证明，基本上有新的不等式在每个数量的变量超过4（结果也证明最近由Kinser）。
2010-07-20 cs.IT math.IT
Inequalities Revisited
本文提出将信息论中用于发现Shannon熵非香农型约束的形式化方法应用于信息论之外的数学不等式，并以此重新审视了AM-GM、Markov和Cauchy-Schwarz三个基本不等式，为发现新约束提供了新视角。
2025-02-28 cs.IT math.IT
Graph Guessing Games and non-Shannon Information Inequalities
Riis为了研究多个单播网络编码问题，引入了有向图的猜测游戏。在一个猜谜游戏中，玩家掷一般化的骰子，并可以看到一些其他的结果，这取决于一个潜在的有向图的结构。他们后来同时猜测自己死亡的结果。他们的目标是找到一个策略，使他们都猜对的概率最大化。最优策略的性能通过有向图的猜测数来衡量。Christofides和Markström研究了无向图的猜测数，并定义了一个他们认为是最优的策略。本文的主要结果之一是对这一猜想的一个反证。到目前为止，计算图的猜测数的主要工具是信息论不等式。在本文中，我们表明，香农的信息不等式，特别适用于广泛的图形类，是不足以计算的猜测数。最后，我们提出了一些更有趣的问题，其中一些我们可以回答，一些我们留下的开放问题。
2014-11-02 cs.IT math.IT
How to Use Undiscovered Information Inequalities: Direct Applications of the Copy Lemma
我们讨论了线性规划技术，有助于推断推论的非经典不等式香农熵。我们专注于复制引理的直接应用。这些应用涉及隐含的一些（已知或未知）非经典的普遍不等式的香农熵，虽然我们没有得到这些不等式明确。为了减少这些问题的计算复杂性，我们广泛地使用对称性的考虑。我们提出了两个使用这些技术的例子：我们提供了一个规模减小的形式推理的最佳已知的边界的英格尔顿得分（最初证明由Doughnesses \emph{et al.}明确派生的非香农型不等式），并提高了下界的最佳信息比的秘密共享方案的访问结构的基础上的Vamos拟阵。
2019-07-03 cs.IT math.IT
On essentially conditional information inequalities
在1997年，Z.Zhang和R.W.Yeung发现了第一个非Shannon型的四变量条件信息不等式的例子。这个熵的线性不等式被称为条件（或约束），因为它只在所涉及的熵满足某些线性方程的条件下成立。后来，同一作者和其他研究人员发现了几个不符合香农熵不等式的无条件信息不等式。本文证明了某些非Shannon型条件不等式是“本质”条件的，即，它们不能延伸到任何无条件的不平等。证明了一个新的关于Shannon熵的本质条件信息不等式，并讨论了关于Kolmogorov复杂性的条件信息不等式。
2011-09-26 cs.DM cs.IT math.IT
Information Inequalities for Five Random Variables
Rényi Institute（雷尼研究所）；UTIA, Prague（布拉格 UTIA）
本文通过改进的最大熵方法，推导出五变量非香农熵不等式，并证明其为熵不等式，用于描述多变量信息理论中的熵区域结构。
2026-03-03 cs.IT math.IT
On Divergence-Power Inequalities
给出了平稳随机过程在时间离散和带限时间连续两种情况下的（EPI-Shannon型）散度-幂不等式（DPI）的表达式。新的表达式将独立过程之和的发散率、每个过程的个体发散率以及它们的功率谱密度联系起来。所有的发散都是在具有相同二阶统计量的过程和高斯过程之间，并且假设是有限的。香农熵功率不等式EPI的一个新的证明，基于发散和因果最小均方误差（CMMSE）在高斯信道与大信噪比之间的关系，也示出。
2006-09-08 cs.IT math.IT
What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?
研究通过Shannon流不等式证明序列指导PANDA算法，为析取Datalog规则建立输出规模界限，精确匹配次模宽度，并统一信息论与数据库理论间的联系。
2023-12-23 cs.DB cs.DS cs.IT
Graph Entropy, Network Coding and Guessing games
我们介绍了有向图的（私有）熵（在新的网络编码意义上）以及许多相关概念。我们证明了一个有向图的熵与它的猜测数相同，并且可以用顶点数减去图的最短索引码的大小从下有界。我们表明，每个特定的多个单播网络的网络编码的可解性是完全确定的熵（以及由最短的索引代码）的有向图，通过识别每个源节点与每个相应的目标节点发生。香农信息不等式可以用来计算图的熵的上界以及计算最小索引码的大小。最近，一些新的所谓的非香农型信息不等式族已被发现。它已被证明，存在通信网络的能力严格小于所需的可解性，但这一事实不能使用香农的经典信息不等式。基于这一结果，我们表明，存在图的熵，不能只使用香农的经典信息不等式计算，并表明，更好的估计，可以通过使用某些非香农型信息不等式。
2007-11-27 cs.IT math.CO math.IT
Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search
University of California, Berkeley（加州大学伯克利分校）
本文通过微调小规模语言模型并结合引导束搜索，自动化证明香农型熵不等式，在含10-15个变量的测试集上达到85%的证明成功率。
2026-06-04 cs.IT cs.LG math.IT
Simple inequalities for weighted entropies
提出了一些不等式的加权熵，镜像的标准（香农）熵和相关量的性质。
2015-10-09 cs.IT math.IT math.PR
Entropic Inequalities and Marginal Problems
边际问题是问某组随机变量的给定边际分布族是否来自这些变量的联合分布。在这里，我们指出，存在这样一个联合分布强加了非平凡的条件已经在水平上的香农熵的给定的边缘。这些熵不等式是联合分布存在的必要（但不是充分）准则。对于每一个边际问题，这样的香农型熵不等式的列表可以通过傅立叶-Motzkin消除计算，我们提供了一个软件接口，傅立叶-Motzkin求解器这样做。对于给定边值的超图是圈图的情形，我们给出了所有相关熵不等式分类问题的完全解析解，并利用这一结果来约束随机过程中相关性的衰减.此外，我们表明，香农型不等式的微分熵是不相关的连续变量的边际问题，非香农型不等式，在离散和连续的情况下。与其他方法相比，我们的一般框架很容易适应的情况下，一个有额外的（条件）的独立性要求的联合分布，如在图形模型的情况下。最后，我们列出一系列悬而未决的问题。补充文章讨论了量子非定域性和上下文的应用。
2012-09-26 cs.IT math.IT math.PR
Entropy as a Topological Operad Derivation
我们在信息论、代数和拓扑学之间有一个小小的联系--也就是说，香农熵和拓扑单形运算的导子之间有一个对应关系。我们首先简要回顾了运算及其表示与拓扑单纯形和真正的线作为主要的例子。然后，我们给出了一个一般的定义，在任何类别的一个操作数的衍生物的值在一个交换双模的操作。主要结果是香农熵定义了拓扑单形的操作数的导数，并且对于这个操作数的每一个导数，都存在一个点，在该点上它由香农熵的常数倍给出。我们表明，这是兼容的，并在很大程度上依赖于，一个众所周知的表征熵由Faddeev在1956年和最近的变化Leinster。
2021-09-10 cs.IT math.AT math.CT
A simpler derivation of the coding theorem
给出了香农编码定理的一个简单的证明，仅用马尔可夫不等式。该技术对于教学目的是有用的，因为它不需要许多的数据库，并且在证明中自然地遵循信息密度和互信息。它也可能适用于典型性不自然的情况。
2012-05-07 cs.IT math.IT
On Characterization of Entropic Vectors at the Boundary of Almost Entropic Cones
熵域是信息论的一个基本对象。熵区域的外边界由称为基本不等式的香农型不等式的最小集合定义，也称为香农区域。本文主要讨论三个随机变量在Shannon区域边界上的熵点的特征。香农区域的固有面形成了它的边界。我们给出了新的外边界的熵区域在某些方面，并显示由明确的建设的分布，现有的内边界的熵区域在某些方面是不紧。
2020-05-21 cs.IT math.IT
Rényi divergence inequalities via interpolation, with applications to generalised entropic uncertainty relations
我们研究量子雷尼熵量，特别是那些来自“三明治”的分歧。这种发散是雷尼提出的量子相对熵的几种概括之一。我们可以根据这种分歧定义量子条件熵和互信息的雷尼推广，它们继承了许多理想的性质。然而，这些量缺乏香农和冯诺依曼对应量的一些方便结构。我们试图弥合这一差距，建立发散不等式的有效组合Rényi秩序复制链和分解规则的香农和冯诺伊曼熵。虽然弱一般，这些不等式恢复等价时，雷尼参数趋于一。为此，我们提出了Rényi互信息分解规则，Rényi条件熵三方链规则和更一般的二分比较的一种新方法。这些结果的推导依赖于一个新的复杂的插值方法一般空间的线性算子。这些新的比较使我们能够使用到目前为止只适用于香农和冯诺伊曼熵熵的技术。因此，我们可以直接应用它们来推导雷尼熵的不确定关系。因此，我们建立了一个家庭的Rényi信息排斥关系，并提供进一步的推广和改进，这个和其他已知的关系，包括Rényi二分不确定性关系。
2021-06-19 cs.IT math.IT quant-ph
Information inequalities and Generalized Graph Entropies
在这篇文章中，我们讨论的问题，建立网络结构评估的信息措施之间的关系。两种类型的熵为基础的措施，即香农熵和它的推广，雷尼熵已被认为是这项研究。我们的主要结果涉及建立正式的关系，在隐式不等式的形式，这两种措施时，定义的图。此外，我们还陈述和证明了连接经典的基于划分的图熵和基于功能的熵测度的不等式。此外，对特殊的图类，还导出了几个显式不等式。
2012-02-25 cs.IT math.IT
On the Non-robustness of Essentially Conditional Information Inequalities
我们证明了两个关于Shannon熵的基本条件线性不等式（包括Zhang-Yeung'97条件不等式）对渐近熵点不成立。这意味着这些不等式在很强的意义上是非稳健的。这一结果提出了问题的意义，这些不等式和它们的使用在面向实践的应用程序的有效性。
2012-07-23 cs.IT math.IT math.PR
Orthogonal Cocktail BPSK: Exceeding Shannon Capacity of QPSK Input
加性高斯白噪声信道的香农（Shannon）信道容量是在任意小错误概率下的最高可靠传输比特率（RTBR）。然而，作者发现，这一概念是正确的，只有当通道的输入和输出被视为一个单一的信号流。因此，这项工作揭示了一种可能性，进一步增加RTBR的并行方式传输两个独立的信号流。通过在接收机处分离两个信号而没有任何流间干扰来获得增益。为此，我们借用QPSK星座图对两个独立的信号进行分层，并创建部分解码方法来处理从汉明空间到欧几里得空间的信号分离。理论推导证明，该方法可以超过传统的QPSK的RTBR。
2019-06-11 cs.IT math.IT
Inequalities for space-bounded Kolmogorov complexity
Shannon信息论和算法信息论之间存在一种平行性。特别地，相同的线性不等式对于随机变量的元组的香农熵和字符串的元组的柯尔莫哥洛夫复杂度是成立的（Hammer等人，1997），以及子群的大小和集合的投影（Chan，Yeung，Romashchenko，Shen，Vereshchagin，1998- 2002）。这种并行性始于Kolmogorov-Levin公式（1968），用于对数精度的字符串对的复杂性。Longpré（1986）证明了这个公式在空间有界复杂性中的一个版本。本文利用Sipser技巧证明了Longpré结果的一个改进版本，使其具有更紧的空间界.然后，使用这个空间界，我们表明，每个线性不等式是真实的复杂性或熵，也是真实的空间有界的柯尔莫哥洛夫复杂性与多项式空间开销。
2022-09-09 cs.IT math.IT math.LO
Conditions for equality and stability in Shannon's and Tao's entropy power inequalities
本文在仅假设微分熵存在的条件下刻画 Shannon EPI 的等号条件，并证明其弱收敛意义下的定性稳定性及 Tao 离散 EPI 的定量稳定性。
2025-09-27 cs.IT math.IT math.PR
Symmetries in Linear Programming for Information Inequalities
我们研究了秘密共享方案的性质，其中一个随机的秘密值被转换成共享分布在几个参与者中，这样的方式，只有合格的参与者组可以恢复的秘密值。我们改进了几个具体的秘密共享问题的份额大小的下界。为此，我们使用非香农型信息不等式的方法回到Z。Zhang和R.W.杨我们采用和扩展的线性规划技术，允许应用新的信息不平等间接，甚至没有写下来明确。为了降低线性规划问题的复杂性，我们广泛地使用对称性的考虑。
2022-02-08 cs.IT math.IT
Generalizations of Fano's Inequality for Conditional Information Measures via Majorization Theory
Fano不等式是信息论中最基本、最普遍、最重要的工具之一。利用优控制理论，将Fano不等式推广到包含Shannon和Rényi的信息测度的广义信息测度上.当专门为这些措施，它恢复和推广的经典不等式。推导的关键是构造一个适当的条件分布，在可数无限字母表上诱导出所需的边际分布。的建设是基于无限维版本的伯克霍夫定理证明Révész [数学学报。1962，3，188{ \textendash }198]，并且保持期望的边缘分布的约束类似于概率论中的耦合。利用我们关于Shannon和Rényi信息测度的Fano型不等式，我们还研究了当错误概率为零时Shannon和Rényi的模糊序列的渐近行为.这种渐近行为通过Fano不等式提供了渐近均分性质（AEP）的一个新的表征。
2020-08-01 cs.IT math.IT
Conditional Information Inequalities for Entropic and Almost Entropic Points
我们研究条件线性信息不等式，即，香农熵的线性不等式，适用于熵满足某些线性约束的分布。证明了某些条件信息不等式不能推广到任何无条件线性不等式。这些条件不等式中的一些对几乎熵点成立，而另一些则不成立。我们还讨论了Kolmogorov复杂性的条件信息不等式的一些对应形式。
2013-08-16 cs.DM cs.IT math.IT
Reflections on Shannon Information: In search of a natural information-entropy for images
Nontrivialzeros Research（非平凡零点研究所）
如何将香农的原始信息熵扩展到更高的维度并不明显，并且已经尝试了许多不同的方法。我们取代英文文本符号序列最初用于说明理论的离散，带限信号。利用香农后来的采样理论，我们得到了一个新的和对称的版本的二阶熵在一维。新的理论然后自然地延伸到2D和更高的维度，其中自然地我们意味着简单，对称，各向同性和简约。简单性产生于香农的联合熵等式和不等式的梯度（del）向量场图像体现的标量图像的二阶关系的直接应用。通过使用Papoulis的广义采样扩展将矢量数据率减半来保证简约性。新的2D熵度量，我们称之为delentropy，由一个可计算的概率密度函数（我们称之为deldensity）支撑。deldensity捕获底层空间图像结构和像素同现。它实现了这一点，因为每个标量图像像素值是非局部相关的整个梯度向量场。deldensity和delentropy都是非常容易处理的，并产生许多有趣的联系和有用的不等式。新的措施明确定义了一个可实现的编码算法和相应的重建。初步测试表明，delentropy与传统的基于强度的直方图熵和无损图像编码器（GIF，PNG，WEBP，JP 2K-LS和JPG-LS）的压缩数据率相比，对于选择的图像。对称的方法可以应用到更高的维度和图像的复杂性措施的问题。
2016-09-05 cs.CV cs.IT math.IT
Information Inequalities for Joint Distributions, with Interpretations and Applications
本文基于任意子集联合熵给出联合熵的上下界，推广香农链式法则等经典结果，并揭示其与次模函数、组合数学、矩阵理论、假设检验及多学科的联系。
2009-08-03 cs.IT math.CO math.IT
Fourier-Motzkin Elimination Software for Information Theoretic Inequalities
我们提供在MATLAB中实现的开源软件，该软件执行傅里叶-莫茨金消除（FME）并删除由于香农型不等式（STI）而冗余的约束。FME通常用于信息理论背景中以简化速率区域，例如，取消辅助费率。然而，偶尔，程序变得繁琐，这使得无错误的手写推导成为一项难以捉摸的任务。一些计算机软件已经通过利用自动FME过程来规避这个困难。然而，这样的软件的输出通常包括由于信息理论属性而无效的约束。通过引入STI（一类可通过计算机程序证明的信息不等式）的概念，我们的算法基于非负性、链式规则和概率质量函数分解去除了这些冗余约束.这份通讯首先说明了该计划的能力，然后审查STI的贡献，以确定冗余的限制。
2016-10-13 cs.IT math.IT
Negative Shannon Information Hides Networks
Southwest Jiaotong University（西南交通大学）；International Cooperation Research Center of China（中国国际合作研究中心）
为了刻画经典概率分布的不确定性信息，定义了Shannon信息.作为一种不确定性度量，它通常被认为是正的。由于多拟阵公理，这适用于来自两个随机变量的任何信息量。然而，在有限维空间中，对于两个以上的随机变量，为什么会有负的信息是未知的。我们首先表明，负三方香农互信息意味着特定的贝叶斯网络表示其联合分布。然后，我们表明，从一般的三方贝叶斯网络量子实现的负香农信息。这提供了一个独立于设备的负香农信息的见证。最后将结果推广到一般网络。目前的结果显示了新的见解，从非香农信息不等式的网络兼容性。
2022-12-11 cs.AI cs.IT cs.SI
The information-theoretic meaning of Gagliardo--Nirenberg type inequalities
Gagliardo-Nirenberg不等式是由Gagliardo和Nirenberg在50年代后期独立证明的插值不等式。近年来，它们与信息论和非线性扩散方程的理论方面的联系允许获得其中一些最佳形式，通过恢复尖锐常数和显式形式的优化器。本文根据这些最新的研究成果，综述了Shannon型熵、扩散方程和一类Shannon型不等式之间的主要联系。
2018-10-01 cs.IT math-ph math.FA
The Method of Types for the AWGN Channel
针对功率约束离散时间AWGN信道，采用类型方法给出Shannon球形填充最优分组错误指数上界的新推导，并首次证明最优正确译码指数的类似下界。
2023-07-25 cs.IT math.IT
Proving Information Inequalities and Identities with Symbolic Computation
证明Shannon信息测度的线性不等式和恒等式（可能带有线性约束）是信息论中的一个重要问题。为此，ITIP和其他变体算法已经开发和实现，这都是基于解决线性规划（LP）。具体地，通过求解两个LP来验证身份$f = 0$，一个LP用于$f \ge 0$，一个LP用于$f \le 0$。在本文中，我们开发了一套算法，可以实现的符号计算。基于这些算法，设计了线性信息不等式和恒等式的验证过程。与基于LP的算法相比，我们的程序可以产生分析证明，既人类可验证的和免费的数值错误。我们的程序在计算上也更有效。对于约束不等式，通过利用问题的代数结构，可以显著减小需要求解的LP的大小。对于恒等式，不需要求解两个LP，可以直接验证恒等式，只需很少的计算。
2022-02-06 cs.IT math.IT
Sharp Rogers--Shephard Inequalities for Rényi Entropy
School of Mathematics, Shandong University（山东大学数学学院）；School of Mathematical Sciences, University of Science and Technology of China（中国科学技术大学数学科学学院）
该研究建立Rényi微分熵的加权Sharp Rogers–Shephard不等式，解决熵Rogers–Shephard猜想，确定等号成立条件及临界阶，通过加权凸交集与指数提升完成证明。
2026-10-14 cs.IT math.IT math.MG
Entropic Isoperimetric and Cramér--Rao Inequalities for Rényi--Fisher Information
本文定义热流下的Rényi–Fisher信息，建立尖锐Rényi熵等周与广义Cramér–Rao不等式，并给出含缩放因子的Rényi熵功率不等式。
2025-06-11 cs.IT math.IT math.PR
Bounds on Guessing Numbers and Secret Sharing Combining Information Theory Methods
本文开发了结合非经典香农熵不等式的计算机辅助证明方法，应用于秘密共享和帽子猜测游戏，通过线性规划和对称性改进下界和上界。
2023-10-18 cs.IT math.IT
On Dependence Measures Based on $f$-Divergence and $Φ$-Entropy
Department of Information Engineering（信息工程系）；The Chinese University of Hong Kong（香港中文大学）
本文研究基于$\Phi$-散度和$\Phi$-熵的依赖度量，提出最大-$\Phi$-互信息并推广至矩阵形式，建立微积分规则并应用于无信号盒布线。
2026-10-22 cs.IT math.IT
Extended inequalities for weighted Renyi entropy involving generalized Gaussian densities
本文对加权Renyi熵进行了分析，导出了加权情形下的几个不等式。利用所提出的$α$阶广义导子和（$α$ ; p）阶加权Fisher信息，给出了矩熵、Fisher信息和Cramer-Rao不等式在广义高斯密度下的推广形式.
2015-10-15 cs.IT math.IT math.PR
An Automated Theorem Proving Framework for Information-Theoretic Results
我们提出了一个通用的自动化定理证明框架，能够在统一的框架下自动发现、简化和证明网络信息论中的内边界和外边界，推导信息理论量的属性（例如Wyner和Gács-Körner公共信息），以及发现非香农型不等式。我们的实现成功地生成了El Gamal和Kim的《网络信息论》一书第1-14章中56个定理中的32个定理的证明。我们的框架是基于存在信息不等式的概念，它提供了一个公理化的框架，在信息论的广泛的问题。
2022-07-11 cs.IT math.IT
On generalized Cramér-Rao inequalities, generalized Fisher informations and characterizations of generalized q-Gaussian distributions
本文在非广延统计和估计理论的背景下讨论Cramér-Rao不等式。它给出了广义q-高斯分布的特征，并介绍了广义版本的Fisher信息。本文的主要贡献是：（i）导出了参数估计的新的推广的Cramér-Rao不等式，其中包括估计误差的一般q-矩，（ii）导出了广义q-高斯分布饱和的Cramér-Rao不等式，（iii）广义Fisher信息的定义，（iv）某些已有结果的证明和解释，最后，（五）提出新的估算方法。
2012-06-04 cond-mat.stat-mech cs.IT math-ph
Information Inequalities via Submodularity and a Problem in Extremal Graph Theory
本文在第一部分中给出了一种统一的方法，用于导出满足次/超模性质的集函数的不等式族。它适用于这种方法的信息不等式与香农信息措施的推导。连接所考虑的方法的广义版本的希勒引理，和其他相关的结果在文献中被认为是。其中一些信息不等式是新的，并且以一种简单而统一的方式再现了已知的结果（如推广的Han不等式）。在第二部分中，本文应用推广的韩氏不等式分析了极图理论中的一个问题。本文从信息论的角度出发，对该问题进行了分析，得到了广义和精化的界。本文的两个部分是为了独立访问的读者。
2022-04-28 cs.IT math.CO math.IT
Convex Split Lemma without Inequalities
本文用碰撞互信息替代最大互信息，将凸分解引理从不等式改进为等式，获得更紧的量子信源编码可达界，并给出仅依赖 Rényi 熵的通用平滑最大互信息上界。
2025-02-15 cs.IT math-ph math.IT
$f$-Divergence Inequalities via Functional Domination
Technion-Israel Institute of Technology（以色列理工学院）；Princeton University（普林斯顿大学）
本文利用泛函控制方法研究了$f$ -散度不等式的推导.基于一个或多个其他$f$-发散的$f$-发散的界限被引入，处理定义在任意字母表上的概率测度对。此外，各种界限的相对信息的有界性假设下举行。这篇期刊论文包含了更多推导f-发散不等式的方法和证明，可以在arXiv上找到，网址是https：//arxiv.org/abs/1508.00335，它已经发表在IEEE Trans. on信息论，第62卷，第11期，第11页。5973-6006，2016年11月。
2016-10-28 cs.IT cs.LG math.IT
The structure of Renyi entropic inequalities
研究了多体量子态边缘的α-Renyi熵的普遍不等式。这与香农熵和冯诺伊曼熵（α =1）的问题类似，后者已知满足几个非平凡不等式，如强次可加性。令人有些惊讶的是，我们发现，当0<alpha<1时，唯一的不等式是非负性：换句话说，任何分配给n个非空子集的非负数集合都可以被量子态的2^n-1个边缘的alpha熵任意地很好地近似。对于alpha>1，我们类似地证明不存在非平凡的齐次（特别是不存在线性）不等式。另一方面，已知存在进一步的非线性且实际上非均匀的不等式来界定一般量子态的α熵。最后，我们还处理的情况下，Renyi熵限制在经典状态（即概率分布），除了非负性也受到单调性。对于不同于0和1的α，我们证明这是唯一的另一个齐次关系。
2012-12-07 cs.IT math-ph math.IT
