1. 引言
算子代数理论产生世纪年代。现在这一理论已成为现代数学中一个热门分支,它与量子力学量子信息等重要学科都有着深刻的联系。算子代数上的保持问题在算子理论中备受关注,已经得到了许多有意义的成果,如保持量子f-散度的映射,保持Bregman f-散度的映射等。
在数学及其应用的大部分领域中,研究两个对象之间的某些差异度量是一项重要且普遍的任务。一些广泛研究的度量是距离函数,但是有许多重要的度量不能满足距离的性质,如Bregman散度,Jensen散度等,但这些度量在数学应用的几个领域也有着广泛的应用并且也取得了一系列丰富的研究成果。
2008年Molnár给出了有限维Hilbert空间的密度算子集上保持Umegaki相对熵的双射的一般形式,证明了该类映射为空间上的酉变换或反酉变换(见 [1])。后来在2010年Molnár将文献 [1] 中映射是双射的假设去掉,证明了密度算子集上保持Umegaki相对熵的一般映射具有与文献 [1] 同样的结构,即也是空间上的酉变换或反酉变换(见 [2])。Umegaki相对熵(或von Neumann散度)是重要的Bregman散度之一,对应于函数
,
。此外,2016年Molnár和Nagy刻画了正定锥上的保持Bregman散度和Jensen散度的所有双射映射的结构(见 [3])。同年,文献 [4] 对态空间上保持同样的Bregman散度和Jensen散度的双射变换也进行了类似的研究,得到了同样的结论,这类双射映射都是酉或反酉同余变换。而对于有限维Hilbert空间密度算子集上其他类型的量子相对熵(如Belavkin-Staszewskif熵,Tsallis熵,二次相对熵,Jensen-Shannon散度等)和量子f-散度(是量子相对熵概念的一种推广)的保持问题,可参阅文献 [5] [6] [7]。
在已有研究的基础上,我们发现对于无限维空间的算子集上保持 Bregman散度的映射研究较少。因此,本文我们主要考虑无限维的可分Hilbert空间的正迹类算子集上保持满足某些条件的可微凸函数对应的Bregman f-散度和Umegaki相对熵(函数
对应的Bregman散度)双射的完全刻画。在给出主要结果之前,我们需要对一些符号和基本概念做一个简短的介绍。
2. 预备知识
在本文中,令H为无限维的可分Hilbert空间,用
表示H上的有界线性算子全体组成的Banach代数。令
表示H上的所有正定、有界线性算子组成的集合,
表示H上所有的迹类算子组成的集合,
表示正迹类算子,显然
。
定义1.1 令f是区间上的任意可微凸函数,
上的Bregman f-散度的定义为
特别地,若f对应于函数,得到Umegaki相对熵的定义为
此处
表示算子的迹,
表示以2为底的对数(见文献 [8], [9])。如果
和
存在,那么f,
可以连续扩展到
,故对于任何一对正迹类算子,Bregman f-散度定义明确并且是有限的。
由上述定义易得,酉变换或反酉变换保持Bregman f-散度和Umegaki相对熵不变。本文的主要结果说明反之也成立。
3. 主要结果及证明
定理2.1 设f是区间
上的可微凸函数,且f’有下界无上界。
是一个双射且满足
那么存在H上的酉或反酉算子
使得
的形式为
定理2.2 令
是一个双射且满足
即
那么存在H上的酉或反酉算子
使得
的形式为
在这部分,我们主要完成定理2.1和定理2.2的证明。首先介绍如下的定义。
定义2.1 设
是一个区间,f是定义在I上的函数。对于算子
,若谱集
,则其对应的标准算子函数如下
其中
是特征值a对应的谱投影(见文献 [4])。
接着给出如下引理,它对定理的证明是至关重要的。
引理2.1 令f是区间
上的可微凸函数,对于任意取定的
,下列断言是正确的。
断言A:当
有下界无上界且
时,集合
(1)
有下界当且仅当
。
断言B:当
无下界无上界时,集合
(2)
有下界当且仅当
。
证明:1) 首先计算
假设
。令k表示
的下界,
是H的一组规范正交基,
表示
生成子空间的正交投影,则有
故
令
表示
的特征值,
对任意的
成立。因此集合(1)是有下界的。
反之,如果
,则存在单位向量
,满足
。可以找到H的一组规范正交基
,用
表示由x生成的一维子空间的正交投影,
表示
生成的子空间上的正交投影
。对于任意的
,有
其中上式右端第一项无下界,第二项和小于0,故此时集合(1)无下界。从而证明了集合(1)有下界
,断言A证明完成。
证明:2) 计算可得
一方面,若
。记
,由谱分解可设
,
,其中
是A的特征值
对应的谱投影,
是M的特征值
对应的谱投影。从而有
由于
都是正定迹类算子,所以存在
,使得
对所有的
都成立。因此
而
是都是任意取定的,可知
从而集合(2)是有下界的。
反之,
,则存在单位向量
,满足
。如果对任意的
令
,则
且
。可以找到H的一组规范正交基
,
表示由x生成的一维子空间的正交投影,
表示
生成的子空间上的正交投影
。对于任意的
,构造
,则
已知
无上界,所以上式右端第一项无下界,此时集合(2)无下界。从而证明了集合(2)有下界
。
接下来开始定理2.1和2.2的证明。
证明:1) 由于f是凸的且处处可微,所以
是连续且单调递增。又
有下界且
,故
可以连续扩展到
。利用上述引理2.1中断言A对序的刻画,我们得到
是保持序同构的,即对任意的
,有
(3)
由文献 [10] 中定理1知,
的形式为
其中T是H上的可逆有界线性或有界共轭线性算子。
我们假设T是线性的,共轭线性情况类似。接下来证明T是酉的。反证法,假设T不是酉的,考虑T的极分解
,其中
是正定的且U是酉的。由于双射映射
在酉同余变换下保持Bregman f-散度不变,因此
(4)
对任意的
成立。由假设T不是酉的,得
且P的特征值不大于1。假设P有大于1特征值
,v是特征值
对应的单位特征向量,因为映射
是
上的保持Bregman f-散度的双射映射,因此逆变换
也保持Bregmanf-散度,如果P没有任何大于1的特征值,
一定有。假设
对一些
和单位向量
成立,令
表示由v生成一维子空间上的正交投影。由等式(4),变换
保持Bregman f-散度,故变换
也保持Bregman f-散度。因此,
(5)
又且
结合式(5),得出
对任意的
成立。这意味着
与n无关,即
对一些常数c成立。因此,
这与
无上界矛盾,故证得T是酉的。定理2.1 证明完成。
证明:2) 在定义(1.1)中取
,则集合(2)形式为
(6)
故由引理2.1中的断言B知,集合(6)有下界当且仅当
。由于定理中双射
保持Umegaki相对熵,利用上述对序的刻画,我们得到
是保持序同构的,即对任意的
,有
由文献 [10] 中定理2知,存在可逆的有界线性或有界共轭线性算子
和自伴算子
使得
(7)
接下来我们将证明,若T是线性的,则T是一个酉算子;若T是共轭线性的,则T是共轭酉算子。首先假设T是线性的,考虑T的极分解,
,其中
是正定的,U是酉的。由于酉相似变换保持Umegaki相对熵不变,因此有
(8)
即我们总可以假设式(7)中T是正算子。对于任意的
,由下式
知
(9)
固定A,用tB代替B,其中
。从而由等式(9)得
(10)
对某些常数
和e成立。事实上,T只能是单位算子。假设T有一个大于1的特征值
,其对应的一个对应的特征向量为x用
表示由x生成子空间上的正交投影。任意选取实数
,总会存在单位向量y,使得
成立。此时
。所以当
时,有
由迹函数的单调性(见[ [11],定理2.10])知
因此函数
可以被函数
最小化,其中
,
是实数。由于
,考虑等式(10)并让t趋于无穷大,很容易得到矛盾。所以T的特征值不大于1。此外
也保持了Umegaki相对熵不变且
所以
的特征值也不大于1 从而有
。
最后证明
。在式(9)中,令
,B是
中与X可交换的任意元。由式(8)得到
由函数
的性质(
,函数严格递增;且
时函数值为0),很容易看出与X可交换的任意正算子D可写成
。因此有
对H上任意正算子D成立。所以
,即
。定理2.2证明完成。