[论文解读] Rényi entropy and Tsallis entropy associated with positive linear operators

Ioan Raşa|arXiv (Cornell University)|Dec 16, 2014

Mathematical Inequalities and Applications参考文献 9被引用 7

一句话总结

本文研究与正线性算子相关的Rényi熵和Tsallis熵，重点分析函数 $ S(x) = \sum_k a_k^2(x) $ 的凸性特性，该函数控制着两种熵。研究建立了 $ \log S_{n,c}(x) $ 凸性的等价条件，推导出 $ S_{n,0}(x) $ 和 $ S_{n,-1}(x) $ 的精确界限，并将其与贝塞尔函数和勒让德多项式联系起来，揭示了逼近算子中方差与熵同步的含义。

ABSTRACT

This article is a continuation of my paper [arxiv: 1409.1015v2]. Rényi and Tsallis entropies are associated to positive linear operators and properties of some functions related to these entropies are investigated.

研究动机与目标

• 研究与正线性算子相关的Rényi熵和Tsallis熵的凸性，特别通过函数 $ S(x) = \sum_k a_k^2(x) $。
• 建立 $ \log S_{n,c}(x) $ 凸性的等价条件，尤其针对离散和积分算子。
• 推导 $ S_{n,0}(x) $ 和 $ S_{n,-1}(x) $ 的精确解析界限，将其与 $ I_0(x) $ 等特殊函数联系起来。
• 探讨在逼近算子中，方差、Tsallis熵和Rényi熵在凸性假设下的同步性。
• 为逼近理论和算子理论中的基于熵的分析提供理论基础。

提出的方法

• 以函数 $ S(x) = \sum_k a_k^2(x) $ 为核心对象，其中对每个 $ x $，$ (a_k(x))_k $ 构成一个概率分布，将 $ S(x) $ 与Rényi熵 $ -\log S(x) $ 和Tsallis熵 $ 1 - S(x) $ 联系起来。
• 应用由算子结构导出的微分方程，如 $ XX' S'' + (4(n+c)X+1)S' + 2nX' S = 0 $，以分析 $ \log S_{n,c}(x) $ 的凸性。
• 通过变量变换 $ X = x(1+cx) $，$ X' = 1+2cx $，并使用代换 $ t = \frac{2x^2 - 2x + 1}{1-2x} $，将 $ S_{n,-1}(x) $ 与勒让德多项式 $ P_n(t) $ 联系起来。
• 通过二次不等式推导 $ \frac{S'_{n,c}}{S_{n,c}} $ 的界限，从而表征为 $ \frac{S'_{n,c}}{S_{n,c}} \in [z_1(x), z_2(x)] $，该表征与 $ \log S_{n,c} $ 的凸性等价。
• 使用 $ S_{n,c}(x) $ 的积分表示，如 $ S_{n,c}(x) = \frac{1}{\pi} \int_0^\pi (1 + 4ncV_{n,c}(x)\sin^2\frac{\varphi}{2})^{-n/c} d\varphi $，将熵与方差联系起来。
• 分析多变量和积分算子，表明 $ \log S $ 的凸性蕴含多变量扩展的轴向凸性，并实现熵与方差的同步。

实验结果

研究问题

• RQ1 对于离散正线性算子，$ \log S_{n,c}(x) $ 在何种条件下是凸的？
• RQ2 对 $ \frac{S'_{n,c}}{S_{n,c}} $ 的界限如何与 $ \log S_{n,c} $ 的凸性相关联？其显式形式为何？
• RQ3 如何得到 $ S_{n,0}(x) $ 的精确界限？其与修正贝塞尔函数 $ I_0(x) $ 的关系是什么？
• RQ4 $ S_{n,-1}(x) $ 如何与勒让德多项式 $ P_n(t) $ 关联？从 $ \log S_{n,-1} $ 的凸性可推出哪些界限？
• RQ5 在正线性算子中，方差、Tsallis熵和Rényi熵在多大程度上实现同步？

主要发现

• 猜想 (C)：$ \log S_{n,c} $ 的凸性等价于 $ \frac{S'_{n,c}}{S_{n,c}} \in [z_1(x), z_2(x)] $，其中 $ z_1, z_2 $ 是涉及 $ X = x(1+cx) $ 和 $ X' = 1+2cx $ 的显式有理函数。
• 在凸性假设下，不等式 $ K_n(x) \leq \frac{1}{\sqrt{4nx+1}} $ 推出 $ I_0(x) \leq \frac{\exp x}{\sqrt{2x+1}} $，从而为修正贝塞尔函数给出一个新不等式。
• 当 $ c = -1 $ 时，$ F_n(x) = S_{n,-1}(x) $ 满足 $ F_n(x) = (t - \sqrt{t^2 - 1})^n P_n(t) $，其中 $ t = \frac{2x^2 - 2x + 1}{1-2x} $，将熵函数与勒让德多项式联系起来。
• 在凸性假设下，不等式 $ \frac{P'_n(t)}{P_n(t)} \leq \frac{\sqrt{4n^2(t^2-1) + (t - \sqrt{t^2-1})^2} - (t - \sqrt{t^2-1})}{2(t^2-1)} $ 成立，为 $ P_n(t) $ 的对数导数提供了新的上界。
• 函数 $ R_n(x,y) = \sum_{i,j} \binom{n-j}{i}^2 \binom{n}{j}^2 \left(\frac{x}{1-y}\right)^{2i} (1 - \frac{x}{1-y})^{2(n-j-i)} $ 是轴向凸的，意味着其在平行于坐标轴的直线上为凸。
• 对于Durrmeyer算子，序列 $ (c_{n,k})_{k=0}^{2n} $ 被猜想为凸的，这意味着 $ S_n(x) $ 在 $[0,1]$ 上为凸，从而蕴含方差、Tsallis熵和Rényi熵的同步。