摘要
在一个给定的实欧几里得二维平面上，同时容许旋转与反射会得到输运群 O(2) = U(1) ⋊ Z₂，而不是一个未扭曲的圆。我们在一个受控假设的框架中组织由此产生的图、面、细化与读出结构。在一个连通的有限图上，树规范把棱数据约化为自由生成元的一个同时共轭类。其行列式类落在 H¹(Γ; Z₂) 中，而相位则是相应符号作用的一个交叉上循环。容许面引入了额外的路径比较：其行列式亏量服从一条相对边界律，而一个带根的四面体字给出一个精确的非阿贝尔比安基恒等式，其相位和是符号扭曲的。在所陈述的圆盘细化之下，共享棱与共同根的数据允许精确的边界相消。显式的五边形与六边形证书分别包含全部五种与十四种三角剖分，以及两条混合的 1–3、2–2、3–1 路线。失配棱与略去根的对照组区分出无效的融合，而一个被保留的逆序零对照则说明：为何“被求值矩阵相等”弱于“自由边界字相等”。一个局部平坦的圆环域保留了一个非平凡的不可收缩反射和乐。最后，共轭数据、一个被制备的方向、一个完整的端点标架，以及一个另行给定的复线性过程表示，具有不同的辨识能力。其中的图规范、上同调、格点比安基与三角剖分结构各有既有的先导工作。本文所提出的贡献，是在带类型的根、棱共享与访问契约之下，对它们所作的显式有限整合。该构造并不导出任意网格或连续极限下的不变性、更高规范理论、量子态选择、绕数提升、概率定律，或经验实现。
它在本次发布中的位置
该分支的有限输运论文。其中的图规范、上同调、格点比安基与三角剖分结构各有既有先导；本文的贡献是在带类型的根、棱共享与访问契约之下对它们所作的显式有限整合。
下载论文（Zenodo） —— CC-BY-4.0。