三体量子纯态可分与纠缠的刻画

利用三体量子纯态的Schmidt分解给出其完全可分的等价刻画以及若干推论。借助相对熵和互信息给出三体量子纯态完全可分的等价刻画,进而得到三体量子纯态是可分或纠缠的充要条件,并给出几个典型的例子。     

离散参数马尔可夫链状态空间的性质

以离散参数马尔可夫链状态空间E为集合定义该集合上的一个拓扑T,研究它的拓扑性质,得到拓扑空间(E,T)是离散空间的三个等价刻画以及(E,T)是平庸空间的一个等价刻画。     

正向极限的等价刻画及应用

通过构造新的范畴,分别从广义推出、始对象和可表函子等概念出发,给出一般范畴中正向极限的3个等价刻画.最后利用等价刻画给出模范畴正向极限存在性的一种新证明.     

用五幂等矩阵刻画三幂等矩阵

首先总结用秩刻画三幂等矩阵的等价条件和关于矩阵秩等式的相关结论.在此基础上再探讨五幂等矩阵在什么条件下是三幂等矩阵,给出了七种刻画条件.     

指数型权Fock空间上的Toeplitz算子与复合算子

给出了指数型权Fock空间上Carleson测度及消失Carleson测度的几个等价刻画.利用Carleson测度及消失Carleson测度的这些等价刻画给出了指数型权Fock空间上复合算子有界及紧的充要条件.研究了指数型权Fock空间上Toeplitz算子,给出了Toeplitz算子属于Schatten类的充要条件.     

探索Euler图的等价命题

从研究Euler图的等价命题入手,尝试挖掘Euler图的拓扑结构,力图从多个角度刻画Euler图的本征,得到4个新的Euler图等价命题,并利用图的"浓缩"和"稀释"运算给出刻画Euler图的技术,且此技术能够转化为可行的算法.     

LF-拓扑空间的拟Lindel？f性

在LF-拓扑空间中引入了拟Lindel？f的概念.给出了拟Lindel？f空间的几个等价刻画,并利用这些刻画证明了拟Lindel？f空间是一个L-好的推广.同时在LF-半正则空间中得到了拟Lindel？f空间与Lindel？f空间是等价的.     

对数(α,β)-Bloch空间的新刻画

讨论了单位圆盘上对数(α,β)-Bloch空间的积分性质,得到了该空间的五个等价刻画.并对小对数(α,β)-Bloch空间做了类似推广,得到了小对数(α,β)-Bloch空间的五个等价刻画.最后,利用Carleson测度这个重要工具对这两个空间进行了描述,得到了解析函数分别属于这两个空间的充分条件.     

EQ-代数上的核算子

为了研究EQ-代数上的核算子及其相关性质,给出剩余EQ-代数E上的单调核算子与强核算子的等价刻画.证明在单调核算子f下,E的像f(E)是一个剩余EQ-代数.随之研究E上的3个特殊的映射,并给出这3种映射与强核算子之间的等价刻画.     

LF-拓扑空间的拟Lindel(o)f性

在LF-拓扑空间中引入了拟Lindel(o)f的概念.给出了拟Lindel(o)f空间的几个等价刻画,并利用这些刻画证明了拟Lindel(o)f空间是一个L-好的推广.同时在LF-半正则空间中得到了拟Lindel(o)f空间与Lindel(o)f空间是等价的.