持续同调文章阅读(三)
原文:Otter, N., Porter, M.A., Tillmann, U. et al. A roadmap for the computation of persistent homology. EPJ Data Sci. 6, 17 (2017). https://doi.org/10.1140/epjds/s13688-017-0109-5.
仅摘录其中一个计算复形PH的方法。先附上例子,再说明过程:
文章提到的算法1如下:
具体的计算步骤:
第一步:构造boundary matrix
B
B
B。 为此,我们先对复形
K
K
K的所有单形构造一个全序,使它在以下意义上和filtration相容:
(1) a face of a simplex precedes the simplex;
(2) a simplex in the
i
i
ith complex
K
i
K_i
Ki precedes simplices in
K
j
K_j
Kj for
j
>
i
j > i
j>i, which are not in
K
i
K_i
Ki.
在这个序下能产生单形的一个排列
σ
1
,
σ
2
,
⋯
,
σ
n
\sigma_1,\sigma_2,\cdots,\sigma_n
σ1,σ2,⋯,σn。这样定义一个
n
×
n
n\times n
n×n 的boundary matrix
B
B
B,其第
i
i
i行第
j
j
j列元素
δ
(
i
,
j
)
\delta(i,j)
δ(i,j)为1,当且仅当单形
σ
i
\sigma_i
σi是
σ
j
\sigma_j
σj的一个面,且余维数为1。其余不为1的元素均为0。
第二步:定义函数
l
o
w
(
j
)
low(j)
low(j)。 对
j
∈
{
1
,
2
,
⋯
,
n
}
j\in\{1,2,\cdots,n\}
j∈{1,2,⋯,n},定义
l
o
w
(
j
)
low(j)
low(j)为使得
δ
(
i
,
j
)
\delta(i,j)
δ(i,j)不为0的最大指标
i
i
i。若
δ
(
i
,
j
)
\delta(i,j)
δ(i,j)均为0,则称
l
o
w
(
j
)
low(j)
low(j)是undefined。
称boundary matrix
B
B
B是reduced,若映射
l
o
w
low
low是单射。我们需要通过对boundary matrix
B
B
B用(按列的)gauss消去法把
l
o
w
low
low变成单射(即算法1)。
第三步:确定intervals。 第二步后,若
l
o
w
(
j
)
=
i
low(j)=i
low(j)=i,则
σ
i
\sigma_i
σi与
σ
j
\sigma_j
σj配对,分别表示特征产生和消失的时间;若
l
o
w
(
j
)
low(j)
low(j)是undefined,则
σ
j
\sigma_j
σj表示特征产生的时间,若存在
k
k
k使得
l
o
w
(
k
)
=
j
low(k)=j
low(k)=j,则
σ
j
\sigma_j
σj与
σ
k
\sigma_k
σk配对,且
σ
k
\sigma_k
σk表示特征消失的时间,若不存在
k
k
k,表示特征持续到无穷。
对上面例子的几点解释:
第一步中,
δ
(
1
,
6
)
\delta(1,6)
δ(1,6)不等于1,因为
σ
1
\sigma_1
σ1不是
σ
6
\sigma_6
σ6的面;
δ
(
1
,
7
)
\delta(1,7)
δ(1,7)不等于1,因为
σ
1
\sigma_1
σ1是0维,
σ
7
\sigma_7
σ7是2维,余维数是2不是1。
第二步中,原始的boundary matrix
B
B
B对应的映射
l
o
w
low
low不是单射。例如对
j
=
5
,
6
j=5,6
j=5,6皆有
l
o
w
(
j
)
=
3
low(j)=3
low(j)=3。
第三步中,gauss消去法先将第五列加到第六列,为何第一行元素变成0?注意到是在特征为2的域
F
2
F_2
F2考虑,所以2=0。
最后,按例子中
(
d
)
(d)
(d)可以直接计算intervals。
□
\square
□