高一没上过竞赛，看了一个月微积分。今天早上尝试后自己推出了球体积公式，大概什么水平? 第1页

我认为狭义的QSH state和Z2 topological insulator不是一回事。写在自旋表象【1】下，有一类时间反演对称的哈密顿量可以写作 ，上下Block之间几乎没有耦合。在零耦合极限 下，上下Block分别粒子数守恒，体系具有 对称性，此时可以推导出自旋分量可以有弹道输运也就是会有量子化的 ，类似整数霍尔效应弹道输运的霍尔电导，但是不同分量的自旋分别拥有不同的量子化电导，同时还预言了相关的spin filtering效应。这样的体系虽然bulk满足自旋守恒，但是边界上spin却和current的方向牢牢锁定。从拓扑不变量的角度可以简单的看作体系的陈数 ，但可以定义 。

然而这样的定义依赖额外的“不稳定”对称性【2】——自旋守恒，很显然，在晶体中不打破时间反演但是自旋不守恒的过程有很多，在考虑体系拓扑性质的时候随意的加入额外的对称性会导致预言出很多实验很难观察的现象。如果考虑 ，Kane-Mele, cond-mat/0506581 构造了一个模型，证明了在存在自旋翻转的Rashba SOC的情况下体系依然存在Helical edge state，由于体系打破了自旋守恒，此时这样的edge state无法再定义”自旋霍尔电导“和自旋陈数，代以Z2 拓扑数。由此可知，狭义的自旋霍尔效应只是在Z2拓扑数上进一步添加了自旋守恒的结果，还导致了看起来像新的”自旋拓扑数“。加入Inversion symmetry也可以有类似的”新拓扑数“和Z2对应，Wilson-loop characterization of inversion-symmetric topological insulators。

这样的Z2 topological insulator似乎也开始被”广义的“称作Quantum spin hall insulator或者2D topological insulator，非常迷惑。要注意，和QSH state预言的整数化自旋量子霍尔电导、自旋filtering不同，这样的Z2 topological insulator是由边界上ballistic、disorder-immune的helical edge state在实验上表征的，我给这样的quasi-ballistic transport打上了"quantum spin hall"的引号。事实上，简单的分析transimission matrix就可以轻易的得到，其实这样的Z2 topological insualtor、这样的disorder-immune的边缘态只需要TR，受到时间反演对称性保护，这句话应该如何理解？和U(1)对称性(荷守恒)即可https://topocondmat.org/w5_qshe/fermion_parity_pump.html 。

如上图，这样的quasi-ballistic transport也时常被认为是"QSH"信号，但是狭义的QSH其实需要更多的和spin polarized实验有关的信号。

【1】2D中一般必须是 ，在有衬底影响下我认为可以适当放宽到 表象，其中 可以适当偏离out-of-plane方向。

【2】十重分类的语境下，我把 这类依赖其他稳定的序(超导、磁性)的叫做“稳定”的对称性；晶体对称性等等叫做“不稳定”。

估算一个上界。思路是每一轮都寻求一条最短线段，将当前包含天使的多边形，按面积等分成两个新的子多边形。再假设天使的运气足够好，每次都瞬移到等分效率较低的子多边形。

直观看出，取平行于正三角形一条边的线段来等分其面积，等分效率最高。令此线段长度 ，三角形边长 ，则：

这样，初始正三角形被分成一个新的小正三角形和一个等腰梯形，易见等腰梯形的等分效率远高于新的小正三角形，于是根据假设，天使将瞬移到新的小正三角形当中。如此循环，至于无穷，天使将被锁定在初始正三角形的一个顶点。计算魔鬼走过的耗时路程：

记魔鬼速度 ，则捉住天使的时间：

这个题目如此离散，不借助于数值离散优化不易得到全局最优解，建议大家来改进这个上界吧。

按照 @yyx 说的圆弧线等分正三角形以及后续的扇形，上界可以改进为：