[论文解读] Every sum system is divisible

Masaki Izumi|ArXiv.org|Aug 12, 2007

Mathematical Dynamics and Fractals参考文献 6被引用 3

一句话总结

本文证明了每个和系统都是可除的，结合先前的结果，确立了所有由和系统生成的乘积系统以及广义CCR流均为I型或III型。证明的关键在于分析广义CCR流中$C_0$-半群生成元的定义域，表明实部和虚部加法子空间具有可控的拓扑结构，从而实现了一般的I型判别准则。

ABSTRACT

We show that every sum system is divisible. Combined with B. V. R. Bhat and R. Srinivasan's result, this shows that every product system arising from a sum system (and every generalized CCR flow) is either of type I or type III. A necessarily and sufficient condition for such a product system to be of type I is obtained.

研究动机与目标

• 确立每个和系统都是可除的，以填补由和系统生成的乘积系统分类中的关键空白。
• 将此前仅对可除和系统成立的I型/III型二分法推广至所有和系统。
• 通过分析实部和虚部加法子空间的拓扑结构，为由和系统生成的乘积系统提供一个通用的I型判别准则。
• 通过证明可除性普遍成立，进一步加强广义CCR流与和系统之间的联系。

提出的方法

• 分析由给定和系统导出的广义CCR流所关联的$C_0$-半群生成元的定义域。
• 在$D(A^*)$上使用图内积定义$D(B)$的正交补$\mathcal{K}$，其中$B$是扰动半群的生成元。
• 通过谱分析，考虑$s > C = \lim_{t\to\infty} \frac{\log\|T_t\|}{t}$，证明若$s$属于$B$的预解集，则$B$在$s > C$范围内无特征值，除非$\dim \mathcal{K} = \dim K_{\mathbb{R}}$。
• 通过构造映射$M(s): D(A^*) \to K_{\mathbb{R}}$，定义为$M(s)f = \int_0^\infty e^{-sx}f(x)dx - s\int_0^\infty e^{-sx}f'(x)dx$，将$M(s)p = 0$与特征值条件关联。
• 使用反证法：若$\dim \mathcal{K} > \dim K_{\mathbb{R}}$，则存在非零的$p \in \mathcal{K}$满足$M(s)p = 0$，导致微分方程$p'' = p$，其$L^2$-解为指数函数，与$M(s)p = 0$矛盾。
• 得出结论$\dim \mathcal{K^} = \dim K_{\mathbb{R}}$，证明扰动对$(\{S_t\}, \{T_t\})$的指标为$\dim K_{\mathbb{R}}$，从而证明每个和系统都是可除的。

实验结果

研究问题

• RQ1 鉴于可除性此前是I型/III型二分法的必要条件，是否每个和系统都是可除的？
• RQ2 能否将广义CCR流的I型判别准则推广至所有和系统，而不仅限于有限指标的情形？
• RQ3 实部和虚部加法子空间的拓扑结构与所生成乘积系统的类型分类之间有何关系？
• RQ4 当乘积系统为III型时，非同构的和系统是否仍可能产生共轭cocycle的广义CCR流？

主要发现

• 每个和系统都是可除的，通过证明$\dim \mathcal{K} = \dim K_{\mathbb{R}}$得出，其中$\mathcal{K}$是$D(B)$在$D(A^*)$上关于图内积的正交补。
• 任意$C_0$-半群扰动对$(\{S_t\}, \{T_t\})$的指标等于$\dim K_{\mathbb{R}}$，确认了指标公式的推广超越了标量情形。
• 由于所有和系统都是可除的，由和系统生成的乘积系统的I型/III型二分法现在普遍成立。
• 广义CCR流为I型，当且仅当其关联的和系统是可除的且满足I型判别准则，该准则现可在全范围内适用。
• 当所生成的乘积系统为III型时，由同一广义CCR流构造出的两个和系统可能不互相同构，尽管它们产生共轭cocycle的流。
• 该证明表明实部和虚部加法子空间具有具有可控拓扑的子空间，从而实现了I型判别准则的完整推广。