[論文レビュー] 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エントロピーの同期化を調査すること。
• 近似理論および作用素論におけるエントロピーに基づく解析の理論的基盤を提供すること。

提案手法

• 各 $ x $ に対して確率分布をなす $ (a_k(x))_k $ を用いて、関数 $ S(x) = \sum_k a_k^2(x) $ を中心的対象とし、$ 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) = \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エントロピーは、正の線形作用素においてどの程度同期化されるか？

主な発見

• 関数 $ \log S_{n,c} $ の凸性に関する予想（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エントロピーの同期化が示唆される。