[论文解读] Fusion Bialgebras and Fourier Analysis

Zhengwei Liu, Sébastien Palcoux+1 more|arXiv (Cornell University)|Oct 26, 2019

Algebraic structures and combinatorial models参考文献 34被引用 6

一句话总结

本文引入了融合双代数及其对偶作为融合环的代数结构推广，并发展其傅里叶分析，以推导单位化范畴化的新型解析障碍。证明了诸如施瓦茨积性质和杨不等式等不等式在融合双代数上成立，但在其对偶上并不总是成立，使其成为强有力的障碍——尤其是对偶上的施瓦茨积性质，该性质排除了34个弗罗贝尼乌斯型、秩≤8且FP-维数<4080的简单积分融合环中的28个。

ABSTRACT

We introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Young's inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.

研究动机与目标

• 为融合双代数及其对偶建立系统的傅里叶分析框架。
• 识别出作为融合环单位化范畴化障碍的解析不等式。
• 对秩≤8且FP-维数<4080的弗罗贝尼乌斯型简单积分融合环进行分类。
• 测试新障碍（尤其是对偶上的施瓦茨积性质）相对于已知分类标准的有效性。
• 提供计算工具与数据，以验证大规模融合环族中的障碍。

提出的方法

• 将融合双代数定义为复数域上融合环的推广，其灵感来源于子因子平面代数的2-框空间。
• 引入融合双代数的对偶，并建立其傅里叶分析结构，包括傅里叶变换与卷积运算。
• 证明融合双代数及其对偶的霍夫施道夫-杨不等式与不确定性原理。
• 确立杨不等式与和集估计在融合双代数上成立，但在其对偶上不一定成立。
• 将对偶上的施瓦茨积性质作为主要障碍，其在交换情形下与表示论特征表相关联。
• 使用SageMath实现计算机搜索，以在给定边界内对融合环进行分类，并应用施瓦茨积性质作为筛选条件。

实验结果

研究问题

• RQ1 从融合双代数上的量子傅里叶分析中导出的哪些解析不等式可作为单位化范畴化的障碍？
• RQ2 对偶上的施瓦茨积性质与杨不等式是否成立，其成立条件为何？
• RQ3 对偶上的施瓦茨积性质能否用于排除通过其他已知障碍检验的融合环？
• RQ4 施瓦茨积性质作为分类弗罗贝尼乌斯型融合环的计算工具，其有效性如何？
• RQ5 在低秩与低维情形下，有多少融合环不满足对偶上的施瓦茨积性质？

主要发现

• 对偶上的融合双代数施瓦茨积性质是单位化范畴化的一种新型、高效的解析障碍。
• 在34个秩≤8且FP-维数<4080的弗罗贝尼乌斯型简单积分融合环中，有28个被对偶上的施瓦茨积性质所排除。
• 在10,000个随机采样的秩为3、具有自对偶对象的融合代数中，约30%的对偶上施瓦茨积性质不成立。
• 杨不等式与和集估计在融合双代数上成立，但在其对偶上不一定成立，表明这些可能是潜在障碍。
• 在主分类边界之外发现的2,595个完美积分融合环中，有480个满足对偶上的施瓦茨积性质，且全部满足奥斯特定理不等式。
• 在16个FP-维数为4620的秩8融合环中，有4个的对偶不满足施瓦茨积性质，表明其不可子因子化。