摘要
在一個給定的實歐幾里得二維平面上，同時容許旋轉與反射會得到輸運群 O(2) = U(1) ⋊ Z₂，而不是一個未扭曲的圓。我們在一個受控假設的框架中組織由此產生的圖、面、細化與讀出結構。在一個連通的有限圖上，樹規範把稜資料約化為自由生成元的一個同時共軛類。其行列式類落在 H¹(Γ; Z₂) 中，而相位則是相應符號作用的一個交叉上循環。容許面引入了額外的路徑比較：其行列式虧量服從一條相對邊界律，而一個帶根的四面體字給出一個精確的非阿貝爾比安基恆等式，其相位和是符號扭曲的。在所陳述的圓盤細化之下，共享稜與共同根的資料允許精確的邊界相消。顯式的五邊形與六邊形證書分別包含全部五種與十四種三角剖分，以及兩條混合的 1–3、2–2、3–1 路線。失配稜與略去根的對照組區分出無效的融合，而一個被保留的逆序零對照則說明：為何「被求值矩陣相等」弱於「自由邊界字相等」。一個局部平坦的圓環域保留了一個非平凡的不可收縮反射和樂。最後，共軛資料、一個被製備的方向、一個完整的端點標架，以及一個另行給定的複線性過程表示，具有不同的辨識能力。其中的圖規範、上同調、格點比安基與三角剖分結構各有既有的先導工作。本文所提出的貢獻，是在帶型別的根、稜共享與存取契約之下，對它們所作的顯式有限整合。該構造並不導出任意網格或連續極限下的不變性、更高規範理論、量子態選擇、繞數提升、機率定律，或經驗實現。
它在本次發布中的位置
該分支的有限輸運論文。其中的圖規範、上同調、格點比安基與三角剖分結構各有既有先導；本文的貢獻是在帶型別的根、稜共享與存取契約之下對它們所作的顯式有限整合。
下載論文（Zenodo） —— CC-BY-4.0。