[论文解读] Bivariate $P$-polynomial association schemes

Pierre-Antoine Bernard, Nicolas Crampé+3 more|arXiv (Cornell University)|Dec 21, 2022

Coding theory and cryptography参考文献 28被引用 4

一句话总结

本文引入了类型为 $(\alpha,\beta)$ 的双变量 $P$-多项式关联方案，通过用双变量多项式替代单变量多项式，推广了经典的 $P$-多项式方案。它建立了这些方案与特定交集数约束之间的等价关系，证明了已知的高秩方案——包括直积、对称化方案、24-cell、非二元 Johnson 方案，以及来自各向同性/衰减空间的方案——均属于此类，同时定义了相应的 $Q$-多项式变体。

ABSTRACT

Bivariate P-polynomial association scheme of type $(α,β)$ are defined as a generalization of the P-polynomial association schemes. This generalization is shown to be equivalent to a set of conditions on the intersection parameters. A number of known higher rank association schemes are seen to belong to this broad class. Bivariate Q-polynomial association schemes are similarly defined.

研究动机与目标

• 将 $P$-多项式关联方案的概念从单变量推广到双变量多项式。
• 通过在单项式上引入一种新颖的部分序，定义并表征类型为 \/$(\alpha,\beta)$ 的双变量 $P$-多项式关联方案。
• 建立双变量 $P$-多项式性质与交集数特定约束之间的等价关系。
• 将该框架扩展至 $Q$-多项式方案，并证明其在已知关联方案中的存在性。
• 探索与正交多项式、子构成代数以及多变量推广的潜在联系。

提出的方法

• 在单项式上定义总序 deg-lex，并引入参数满足 $0 \leq \alpha \leq 1$、$0 \leq \beta < 1$ 的部分序 $\preceq_{(\alpha,\beta)}$。
• 引入类型为 $(\alpha,\beta)$ 的双变量 $P$-多项式关联方案，其中邻接矩阵满足 $A_i = v_i(A_1, A_2)$，其中 $v_i$ 是在 $\preceq_{(\alpha,\beta)}$ 序下次数为 $i$ 的双变量多项式。
• 利用交集数约束推导双变量多项式 $v_{ij}$ 的递推关系，从而得到一组线性递推系统。
• 通过邻接矩阵 $A_{10}$ 和 $A_{01}$ 的特征值 $\theta_{ij}$ 和 $\mu_{ij}$ 构造 Bose–Mesner 代数的投影算子，这些特征值由方案参数导出。
• 以类似方式定义双变量 $Q$-多项式方案，利用对偶特征值，并通过对称化与直积构造验证该性质。
• 建立多项式 $v_{ij}$ 与其对偶 $v^\star_{mn}$ 之间的 Wilson 型对偶关系，从而连接 $P$-与 $Q$-多项式结构。

实验结果

研究问题

• RQ1 如何在保持结构一致性的前提下，将经典 $P$-多项式关联方案的概念从单变量推广到双变量多项式？
• RQ2 哪些交集数约束刻画了类型为 $(\alpha,\beta)$ 的双变量 $P$-多项式关联方案？
• RQ3 哪些已知的高秩关联方案（如 24-cell 或非二元 Johnson 方案）满足双变量 $P$-多项式性质？
• RQ4 $Q$-多项式性质能否以类似方式推广至双变量情形？哪些方案表现出这种性质？
• RQ5 从双变量 $P$-与 $Q$-多项式关联方案中，会涌现出哪些代数结构（如子构成代数或广义 Leonard 对）？

主要发现

• 类型为 $(\alpha,\beta)$ 的双变量 $P$-多项式关联方案等价于涉及参数 $k, b, c, \theta, \tau$ 的多项式 $v_{ij}$ 的递推关系系统。
• 直积 $P$-多项式方案与对称化方案均产生双变量 $P$-多项式方案，24-cell、非二元 Johnson 方案以及来自各向同性或衰减空间的方案亦属此类。
• 对 $P$-多项式方案进行对称化可生成双变量 $P$-与 $Q$-多项式方案，且多项式 $v_{ij}$ 与 $v^\star_{mn}$ 之间存在显式对偶关系。
• 邻接矩阵 $A_{10}$ 与 $A_{01}$ 的特征值 $\theta_{ij}$ 与 $\mu_{ij}$ 分别为 $\theta_{ij} = (N-i-j)k + i\theta + j\tau$ 与 $\mu_{ij} = (N-i-j)\frac{kb}{c} - i(\theta+1) - j(\tau+1)$。
• 存在 Wilson 型对偶关系：$\frac{i!j!(N-i-j)!}{k^i (bk/c)^j} v_{ij}(\theta_{mn}, \mu_{mn}) = \frac{m!n!(N-m-n)!}{(k^\star)^m (b^\star k^\star / c^\star)^n} v^\star_{mn}(\theta^\star_{ij}, \mu^\star_{ij})$，从而确认了对偶性。
• 此类方案的子构成代数由四个元素生成，提示了三对角关系与 Leonard 对向高秩情形的推广。