二叉树上同构投影的特征空间方法

Johnson图上傅里叶变换的复杂性

Complexity of the Fourier transform on the Johnson graph

$n$ -集合的$k$ -子集的集合$X$具有自然图结构，其中两个$k$ -子集连通当且仅当它们的交集的大小是$k-1$。这被称为约翰逊图。对称群$S_n$作用在$X$上的复变函数空间上，并且该空间具有作为$S_n$的不可约表示之和的无重性分解，因此它具有直到标量的良好定义的Gelfand-Tsetlin基。Johnson图上的傅里叶变换定义为基矩阵从delta函数基到Gelfand-Tsetlin基的变换。将该矩阵直接应用于通用向量需要$\binom{n}{k}^2$算术运算。我们表明，在类比与经典的快速傅里叶变换的离散圆-这个矩阵可以分解为一个产品的$n-1$正交矩阵，每一个最多有两个非零元素在每列。这种因式分解表明，将该矩阵应用于通用向量所需的算术运算的数量上界为$2(n-1) \binom{n}{k}$。因此，我们表明，一个给定的函数的不可约分量的所有权重的计算问题可以解决在$O(n \binom{n}{k})$操作，提高以前的界$O(k^2 \binom{n}{k})$时，$k$渐近主导$\sqrt{n}$在一个非均匀的计算模型。对于计算到单个组件上的同型投影的问题，实现了相同的改进。证明是基于$n-1$中间基地的建设，每一个参数化的某些对组成的一个标准的杨表和一个字。通过Robinson-Schensted插入算法获得每个基的参数化。