n-gon 系数就是一个 B 型多重对数
论文给出了 de Sitter 空间中共形耦合 φ³ 理论的宇宙学波函数被积函数中 n-gon 图贡献的显式公式。核心结论很简洁：对于 n ≥ 1，n-gon 图的波函数系数 ψ°_n 是单个权重 n 的 B 型四边形多重对数 QLiB_n，不含额外的低权重乘积项或加性常数。
这是关于圈动量被积函数的陈述，而不是关于积分后关联子的陈述。作者对 one-、two-、three- 和 four-gon 图显式验证了这一等同关系，分别对应正方形、八边形、十二边形和十六边形的四边形剖分，随后给出了一般性证明。
完全相容性决定了 symbol 字母表
该结果依赖于 n-gon 波函数系数的 symbol 满足关于 B_{2n-1} 簇代数的完全相容性。完全相容性强于 N = 4 超杨-米尔斯振幅中观察到的簇邻接性：symbol 中给定词的每个字母都落在同一个簇内。
多边形图的字母表由 B 型簇代数的簇变量组成，而链图使用 A 型。正是这一区别使 n-gon 情形成为一个独立问题，而不是链图结果的重新标记。
中心对称四边形剖分定义新函数
作者引入了 B 型四边形多重对数，它由 4n 边形的中心对称四边形剖分构造。该构造扩展了 Matveiakin 和 Rudenko 的 A 型四边形多重对数，要求每个组合对象在对合 a ↔ ā 下不变，加权 symbol 从该对合的商中读出。
B_m 型簇代数可以通过用 Z₂ 对称性折叠 D_{m+1} 型簇代数得到，其组合实现是一个在 180° 旋转下不变的辅助 (2m+2) 边形的三角剖分。该辅助多边形的每个下降到商的四边形剖分都恰好有一个自共轭四边形。对该四边形，相关的 symbol 字母是交比的平方根，并带有特定的符号选择，而不是交比本身。
这个平方根是 B 型函数构成真正新函数族、与 A 型函数没有简单关系的结构性原因。该对合还为对偶树提供了典范根，因此不需要像链图构造那样进行边界标记。
微分递推加软极限确定答案
证明将 n-gon 波函数系数满足的递推微分方程与 B 型四边形多重对数的递推余积公式联系起来。作者证明算子 K 消灭树化中所有分支的准洗牌积，并单独证明对每个中心多边形，左删除、右删除和降权项的贡献相互抵消。
仅靠微分递推会留下一个未定的加性常数。该剩余常数由软极限固定，正是这一点将 symbol 层面的匹配提升为函数层面的等同。论文指出，AI 系统被用于起草附录 C 中证明的第一版、生成 Mathematica 文件以审计计算，所有产生的材料均由作者审查和验证。
two-gon 例子表明常数正确
对于 2-gon，波函数系数可以用多重对数表示，论文显式取了运动学极限。四个 log² 贡献相互抵消，留下 Li₂ 项的组合加上一个 −π²/6 项。
残留下来的 −π²/6 正是这一检验的关键：它是 symbol 无法看到的超越贡献，且与 ψ₂ 的正确表达式相符。作者表示他们显式检查了函数层面的关系直到 n = 4。
一个运动学极限把多边形图化为链图
对于 n ≥ 2，在某个特定运动学极限下，B 型四边形多重对数 QLiB_n 精确退化为计算 n 位点链图波函数系数 ψ_n 的 A 型四边形多重对数组合。同一陈述在函数层面也成立，因此它涉及 symbol 无法探测的超越项。
这一极限是论文在其两个图族之间的内部桥梁。它也说明了多边形情形为何更简单：只需要单个权重 n 的 QLiB_n 函数，而链图构造需要 QLi 函数及其乘积的纯权重 n 线性组合。
单圈图，且仅特殊情形下为簇变量
该构造覆盖了此处考虑的单圈图。作者指出，自然会问它是否能推广到多圈图，或推广到 n-gon 作为更大图子图的更一般图。他们还观察到，虽然任何 de Sitter 波函数系数的 symbol 都满足关于其 symbol 条目的完全相容性，但这些条目仅在链图或多边形图这些特殊情形下才是簇变量。
论文还提出两个进一步的开放问题：对公式（例如 ψ°_3）进行圈动量积分，以及研究簇代数结构是否在宇宙学关联子层面仍然存在。在数学方面，作者预期 QLiB_n 是无限序列中最低权重的成员，并将更高权重兄弟函数的构造，以及对任意 w 和 m 满足关于 B_m 完全相容性的权重 w 函数的分类，留给未来工作。
决定性比较是 B 型与 A 型
阅读这篇论文最有用的方式，是把它看作两个看似相似但由不同簇代数支配的图族之间的受控比较。链图由 A 型代数支配，需要 A 型四边形多重对数加乘积的权重 n 线性组合；n-gon 图由 B_{2n-1} 支配，并坍缩为单个权重 n 的 B 型函数，没有任何附加项。
两者不能混为一谈的原因在于自共轭四边形：它的 symbol 字母是交比的平方根，并带有作者称为关键的符号选择。如果读者想用一个阈值来判断后续工作，那就是看某个拟议推广是否保留这个平方根字母以及对合提供的典范根，因为这些正是使 B 型函数族成为新函数族、而非 A 型重新标记的特征。
本文引用的文献
de Sitter Wavefunction from Quadrangular Polylogarithms: Polygon Graphs
对于共形耦合 φ³ 理论，de Sitter 宇宙学波函数被积函数中 n-gon 图的贡献等于单个权重 n 的 B 型四边形多重对数 QLiB_n，其 symbol 字母是满足完全相容性的 B_{2n-1} 簇变量，不含低权重乘积项或加性常数。