通过二元拟阵枚举Picard数为五的环面可着色种子

我们引入了一种二元拟阵方法来枚举固定Picard数的模2环面可着色种子。我们通过其收缩范畴来组织这些拟阵，并通过动态规划算法枚举弱伪流形子复形。主要的计算步骤使用脊-面关联矩阵的模2核的Gray码遍历。作为主要的新结果，我们发现存在198,846个维数为四、Picard数为五的模2环面可着色种子。我们还验证了它们都是环面可着色的。最后，相同的框架独立地复现了Choi、Jang和Vall\'ee的Picard数4枚举，且速度远快于他们之前的方法。