1. 引言
在经典力学和量子论中,用状态泛函来量化状态的信息内容是非常重要的。普遍的经典概率分布的Shannon熵和密度算子的Von Neumann熵就是两个范例。此外,还从更一般的物理和数学考虑出发,引入了在描述反常现象中起重要作用的各种广义熵量,如Renyi熵和Tsallis熵等,而这些熵都可由
熵根据参数的不同取值得到。关于所以这些状态泛函的一个基本问题是它们的连续性或不连续性质:当基本状态发生变化时,它们是如何变化的?
1982年,Lesche对Renyi熵研究了这个问题,他认为Renyi r-熵对于
是不稳定的(或者说性质是不强的),用数学语言来说,它们对于迹距离不是一致连续的。2002年,安倍再次讨论了Lesche型的稳定性问题 [2],他证明了Tsallis熵虽然从数学角度来说与Renyi熵无关,但对于有限系统来说是稳定的。此外,Curado and Nobre [3],and Abe et al. [4] 证明了某些广义熵的稳定性。
具体来说,让我们考虑由所有m维向量
组成的纯态下
的状态泛函
。假设p在
中变化时,
的最大值为
,则稳定性性质数学描述为对任何
,存在
,使得对任何
,都有 [2] [3] :
在上述稳定性考虑的启发下,本文将通过一些尖锐的不等式,利用迹距离来控制
熵的变化,从而更精确地量化
熵的稳定性性质。
2. 经典情形
首先回顾一些概念。设
为有限维随机变量X的概率分布
则经典
熵 [5] 为
(1)
其中r是可以取任意值的,取
时可取
,但是为了避免其他难题,我们只考虑具有特殊物理意义的
的情况。当
,
时
是由常数因子
决定的Shannon熵;
对数为以2为底。
很容易看出,m固定时,当且仅当对任意的i,
时,
取最大值,最大值为
(2)
对于一对可能相关的随机变量
,联合概率分布为
,联合
熵为:
因为
,则有:
则
(3)
且
,则
。
对于两个随机变量X和Y在相同范围内概率分布分别为
和
,它们的迹距离定义为:
(4)
因子
可保证迹距离的范围在0到1之间且将简化以后的公式。这个距离在描述概率分布的可分辨
性方面起着重要的作用 [6],也叫作Kolmogorov距离,因为
是被Kolmogorov提出的 [7]。
有了以上的准备,我们可以给出以下第一个主要的结论:
定理1. 设
是由等式(4)定义的迹距离,且
,则对于
,有
(5)
成立。其中
为二元
熵。
注1 不等式(5)可以取等号,例如当
和
时取等号。
注2注意不等式(5)的左边与
或
中的元素的顺序无关,但是迹距离
与元素的顺序有关。因此不等式(5)可以进一步加强:
(6)
其中
,
是集合
的任意排列。
定理1的证明:我们分两步进行。若
,结果显然成立,因此证明中我们都假设
。
和
是非空的。
1) 首先,对于任意两个概率分布pX和pY,存在一个二元概率分布pXY使得
令
,则
若令
,则
(7)
2) 不失一般性,我们假设
,则根据不等式(3)有
(8)
令
,则明显有
,而
因为
则
这里
,因为
是概率分布
的
熵,对于
维成立,以
为上界。因此,结合等式(9),对于
有
(9)
根据
,有:
根据指数函数
的单调性可知,当
时,
,则
则第二个不等式成立。
注意到
,则我们只需证
(10)
而
,
,则
根据函数
(
)的凸性和单调性知
因此,根据
,有
由式可得到定理1成立。
3. 量子延伸
文献 [1] 中作者根据经典情形给出了量子情形Tsallis熵在量子情形下的稳定性;对于两个密度算子
和
,定义它们的迹距离为
(11)
令
,且
,则对于
,有
在这一部分中,我们会也将不等式(5)和(6)延伸到量子情形中,用密度算子代替概率密度,求和改为取迹。更具体地说,令
为密度算子,类比于等式(1),它的
熵为
当
时,
为Von Neumann熵。
当密度算子被限制在m维复希尔伯特空间上,当
,即最大混合态时
有最大值,且最大值与等式(2)所定义的一样
定理2. 令
为(11)式所定义的迹距离,
,则对于
,有:
(12)
这里的
是定理1中定义的二元
熵。
定理2的证明令
和
有谱分解:
,
谱集
和
分别构成两个经典概率分布,并且有
,
所以根据定理1或者更确切地说根据不等式(7),我们有对于任何排列的
(13)
这里
。
由 [8] 的定理Ⅲ.4.4知,存在排列u和v,使得
,这里
和
与
的定义一样。函数
是单峰函数(先单调增加,后单调递减),我们得到
或
,将该不等式代入到不等式(13)中得到不等式(12)。定理2得证。
对比定理1和定理2可以清晰地看出量子情形是在经典情形的基础上将概率密度改为密度算子,将求和改为取迹,证明过程也基本类似,无论是经典情形还是量子情形,
熵都有紧上界,也即满足稳定性的结论。
4. 总结
本文利用概率耦合的方法讨论了经典
熵的Lesche稳定性,通过一些尖锐的不等式,利用迹距离来控制
熵的变化,从而更精确地量化经典
熵的稳定性性质,同时也推出了相应的量子
熵的稳定性结论,当r,s取不同值时可以直接得到Tsallis熵等其他的熵的稳定性性质。