离散秩序几何（DOG）中的算子代数结构

作者：张苏杭

           （河南洛阳）

---

摘要

离散秩序几何（DOG）以有限离散格点、秩序嵌套与局域关联为本体。本文在 DOG 内部建立算子代数结构。定义 DOG 秩序算子、秩序算子代数、秩序对合与秩序迹，证明 DOG 秩序算子在复合下构成代数；秩序自伴算子构成实向量空间；秩序幺正算子构成群；在正则连续极限下，DOG 秩序算子代数收敛为希尔伯特空间上的算子代数。结论为：DOG 算子代数是离散秩序结构的代数化，连续算子代数是其在正则极限下的特例。

关键词：离散秩序几何；DOG；算子代数；秩序算子；秩序对合；连续极限

---

1 引言

离散秩序几何（DOG）以有限离散格点集合、秩序嵌套与局域关联作为底层本体。前文已建立 DOG 的格结构、矩阵表示、群结构、组合基础与拓扑结构。本文进一步建立 DOG 的算子代数结构。

在 DOG 中，算子不来自外部预设，而来自秩序结构自身：

· 格点状态空间定义算子的作用域；
· 秩序关系定义算子的局域性；
· 邻域结构定义算子的耦合范围；
· 秩序自同构群定义算子的等变性。

本文目标：

1. 定义 DOG 秩序算子；
2. 定义 DOG 秩序算子代数；
3. 定义秩序对合与秩序迹；
4. 建立秩序算子代数与秩序群的关系；
5. 说明连续算子代数是 DOG 算子代数在正则极限下的特例。

---

2 DOG 秩序状态空间

2.1 格点状态空间

设 DOG 格点集合为：

\mathcal{L}=\{p,q,r,\dots\}

对每个格点 p，定义局域状态空间：

\mathcal{S}_p

整体秩序状态空间为：

\mathcal{V}_{\mathrm{DOG}}=\bigoplus_{p\in\mathcal{L}}\mathcal{S}_p

若 \mathcal{S}_p=\mathbb{C}，则：

\mathcal{V}_{\mathrm{DOG}}\cong\mathbb{C}^{|\mathcal{L}|}

2.2 秩序基

对每个格点 p，取基矢：

e_p

则任意秩序态可写为：

\Psi=\sum_{p\in\mathcal{L}}\psi_p e_p

---

3 DOG 秩序算子

3.1 秩序算子定义

定义 DOG 秩序算子为线性映射：

\hat A:\mathcal{V}_{\mathrm{DOG}}\to\mathcal{V}_{\mathrm{DOG}}

在秩序基下，\hat A 由矩阵 (A_{pq}) 表示：

\hat A e_q=\sum_{p\in\mathcal{L}}A_{pq}e_p

3.2 局域秩序算子

若 \hat A 满足：

A_{pq}=0,\qquad q\notin N(p)

则称 \hat A 为局域秩序算子。

局域秩序算子只耦合邻域内格点，符合 DOG 局域关联性。

3.3 秩序算子的复合

两个秩序算子 \hat A,\hat B 的复合定义为：

(\hat A\hat B)e_q=\hat A(\hat B e_q)

在秩序基下对应矩阵乘法：

(\hat A\hat B)_{pq}=\sum_{r\in\mathcal{L}}A_{pr}B_{rq}

---

4 DOG 秩序算子代数

4.1 代数定义

定义 DOG 秩序算子代数为：

\mathcal{A}_{\mathrm{DOG}}=\{\hat A:\mathcal{V}_{\mathrm{DOG}}\to\mathcal{V}_{\mathrm{DOG}}\mid \hat A\text{ 为秩序算子}\}

4.2 代数结构定理

定理 1：\mathcal{A}_{\mathrm{DOG}} 在算子加法、数乘与复合下构成结合代数。

证明：

1. 加法封闭：若 \hat A,\hat B\in\mathcal{A}_{\mathrm{DOG}}，则 \hat A+\hat B\in\mathcal{A}_{\mathrm{DOG}}；
2. 数乘封闭：若 \hat A\in\mathcal{A}_{\mathrm{DOG}}，\lambda\in\mathbb{C}，则 \lambda\hat A\in\mathcal{A}_{\mathrm{DOG}}；
3. 复合封闭：若 \hat A,\hat B\in\mathcal{A}_{\mathrm{DOG}}，则 \hat A\hat B\in\mathcal{A}_{\mathrm{DOG}}；
4. 结合律：算子复合满足结合律；
5. 分配律：算子复合对加法满足分配律。

故 \mathcal{A}_{\mathrm{DOG}} 构成结合代数。

4.3 局域秩序算子代数

定义局域秩序算子代数为：

\mathcal{A}_{\mathrm{loc}}=\{\hat A\in\mathcal{A}_{\mathrm{DOG}}\mid \hat A\text{ 为局域秩序算子}\}

\mathcal{A}_{\mathrm{loc}} 是 \mathcal{A}_{\mathrm{DOG}} 的子代数。

4.4 秩序算子的矩阵表示

在秩序基下，存在代数同构：

\mathcal{A}_{\mathrm{DOG}}\cong M_N(\mathbb{C})

其中 N=|\mathcal{L}|。

---

5 秩序对合与秩序迹

5.1 秩序对合

定义 DOG 秩序对合为算子：

\hat A^\dagger:\mathcal{V}_{\mathrm{DOG}}\to\mathcal{V}_{\mathrm{DOG}}

满足：

\langle \hat A^\dagger\Psi|\Phi\rangle_{\mathrm{DOG}}
=
\langle \Psi|\hat A\Phi\rangle_{\mathrm{DOG}}

在秩序基下，\hat A^\dagger 对应共轭转置矩阵：

(A^\dagger)_{pq}=\overline{A_{qp}}

5.2 秩序自伴算子

若 \hat A^\dagger=\hat A，则称 \hat A 为秩序自伴算子。

定理 2：秩序自伴算子构成实向量空间。

证明：若 \hat A,\hat B 自伴，则 \hat A+\hat B 自伴；若 \lambda\in\mathbb{R}，则 \lambda\hat A 自伴。故自伴算子构成实向量空间。

5.3 秩序幺正算子

若：

\hat U^\dagger\hat U=\hat U\hat U^\dagger=\hat I

则称 \hat U 为秩序幺正算子。

定理 3：秩序幺正算子构成群。

证明：幺正算子的复合仍幺正，恒等算子幺正，幺正算子的逆仍幺正。故构成群。

5.4 秩序迹

定义 DOG 秩序迹为：

\operatorname{Tr}_{\mathrm{DOG}}(\hat A)=\sum_{p\in\mathcal{L}}A_{pp}

秩序迹满足：

1. 线性：\operatorname{Tr}(\lambda\hat A+\mu\hat B)=\lambda\operatorname{Tr}(\hat A)+\mu\operatorname{Tr}(\hat B)；
2. 循环性：\operatorname{Tr}(\hat A\hat B)=\operatorname{Tr}(\hat B\hat A)。

---

6 秩序算子与秩序群

6.1 秩序群作用

DOG 秩序群：

G_{\mathrm{DOG}}=\operatorname{Aut}(\mathcal{G})

作用于 \mathcal{V}_{\mathrm{DOG}}：

\hat U_\varphi:\mathcal{V}_{\mathrm{DOG}}\to\mathcal{V}_{\mathrm{DOG}}

定义为：

\hat U_\varphi e_p=e_{\varphi(p)}

6.2 等变秩序算子

若秩序算子 \hat A 满足：

\hat U_\varphi\hat A=\hat A\hat U_\varphi,\qquad \forall\varphi\in G_{\mathrm{DOG}}

则称 \hat A 为 G_{\mathrm{DOG}} 等变秩序算子。

6.3 等变算子代数

定义等变秩序算子代数为：

\mathcal{A}_{\mathrm{DOG}}^{G}=\{\hat A\in\mathcal{A}_{\mathrm{DOG}}\mid \hat U_\varphi\hat A=\hat A\hat U_\varphi,\;\forall\varphi\in G_{\mathrm{DOG}}\}

定理 4：\mathcal{A}_{\mathrm{DOG}}^{G} 是 \mathcal{A}_{\mathrm{DOG}} 的子代数。

证明：等变算子的加法、数乘、复合仍等变，故构成子代数。

6.4 群代数与秩序群

定义 DOG 群代数为：

\mathbb{C}[G_{\mathrm{DOG}}]

即 G_{\mathrm{DOG}} 的有限线性组合。
群代数作用于秩序状态空间：

\mathbb{C}[G_{\mathrm{DOG}}]\times\mathcal{V}_{\mathrm{DOG}}\to\mathcal{V}_{\mathrm{DOG}}

---

7 秩序算子的谱

7.1 秩序谱

对秩序算子 \hat A，定义其秩序谱为：

\sigma(\hat A)=\{\lambda\in\mathbb{C}\mid \hat A-\lambda\hat I\text{ 不可逆}\}

7.2 自伴算子的谱

定理 5：秩序自伴算子的谱为实数。

证明：自伴算子在有限维空间中对应自伴矩阵，自伴矩阵的特征值为实数。

7.3 幺正算子的谱

定理 6：秩序幺正算子的谱位于单位圆上。

证明：幺正算子在有限维空间中对应幺正矩阵，幺正矩阵的特征值模为 1。

7.4 谱与秩序结构

定理 7：秩序拉普拉斯矩阵的零空间维数等于 DOG 格的连通分量数。

证明：由矩阵表示与图论结果直接得到。

---

8 连续极限下的秩序算子代数

8.1 正则极限条件

定义 DOG 算子代数到连续算子代数的正则极限条件：

1. 格点数量趋于无穷，宏观尺度有限；
2. 格点稠密化：\Delta x\to0；
3. 秩序权重趋于连续测度；
4. 秩序算子核收敛为连续核；
5. 秩序状态空间在秩序内积下完备化。

8.2 收敛定理

定理 8：在正则极限条件下，DOG 秩序算子代数 \mathcal{A}_{\mathrm{DOG}} 收敛为希尔伯特空间上的算子代数 \mathcal{A}(\mathcal{H})。

证明：

1. 秩序状态空间在完备化下收敛为希尔伯特空间 \mathcal{H}；
2. 秩序算子在秩序基下对应矩阵，矩阵元收敛为连续核；
3. 秩序算子的加法、数乘、复合在极限下保持；
4. 秩序对合收敛为希尔伯特空间上的伴随；
5. 秩序迹收敛为连续迹。

故 \mathcal{A}_{\mathrm{DOG}} 收敛为 \mathcal{A}(\mathcal{H})。

8.3 连续算子代数是特例

由定理 8，连续算子代数是 DOG 秩序算子代数在正则极限下的特例。
DOG 算子代数不预设连续结构，连续性是极限结果。

---

9 例子

9.1 一维链

\mathcal{L}=\mathbb{Z}_N,\qquad N(p)=\{p-1,p,p+1\}

局域秩序算子对应三对角矩阵。
秩序算子代数为 M_N(\mathbb{C})。

9.2 三元素局部格

N(p)=\{a,b,c\},\qquad a\preceq c,\qquad b\preceq c

固定 c 的秩序群 \mathbb{Z}_2 作用于状态空间。
等变秩序算子满足交换 a,b 的对称性。

9.3 非连通 DOG 格

若 \mathcal{L} 分为两个连通分量，则：

\mathcal{A}_{\mathrm{DOG}}\cong \mathcal{A}_1\oplus\mathcal{A}_2

即两个分量算子代数的直和。

9.4 连续极限

一维链在正则极限下，秩序算子代数收敛为 L^2(\mathbb{R}) 上的算子代数，包括：

· 位置算符；
· 动量算符；
· 哈密顿算符。

---

10 结论

本文在 DOG 内部建立了算子代数结构：

1. DOG 秩序算子定义在秩序状态空间上；
2. 秩序算子在加法、数乘与复合下构成结合代数 \mathcal{A}_{\mathrm{DOG}}；
3. 局域秩序算子构成子代数 \mathcal{A}_{\mathrm{loc}}；
4. 秩序对合、秩序自伴算子、秩序幺正算子由秩序内积定义；
5. 秩序自伴算子构成实向量空间，秩序幺正算子构成群；
6. 秩序群作用于状态空间，等变秩序算子构成等变子代数；
7. 秩序自伴算子的谱为实数，秩序幺正算子的谱位于单位圆上；
8. 在正则极限条件下，DOG 秩序算子代数收敛为希尔伯特空间上的算子代数。

连续算子代数是 DOG 秩序算子代数在正则极限下的特例，而非预设基础。

---

参考文献

略