[论文解读] Indicator functions in the Fourier-Eymard algebra

Tom Sanders|arXiv (Cornell University)|Dec 2, 2009

Mathematical and Theoretical Analysis被引用 3

一句话总结

本文通过证明：若子集 A ⊆ G 的指示函数的代数范数至多为 M，则 1_A 可表示为至多 L 个子群陪集的正负和，其中 L 是 O(M) 的三重叠塔函数，从而建立了非交换幂等定理的定量版本。该结果为有限群中具有小谱范数的集合提供了结构分解。

ABSTRACT

Suppose that G is a finite group and A is a subset of G such that 1_A has algebra norm at most M. Then 1_A is a plus/minus sum of at most L cosets of subgroups of G, and L can be taken to be triply tower in O(M). This is a quantitative version of the non-abelian idempotent theorem.

研究动机与目标

• 为有限群中的非阿贝尔幂等定理提供定量精化。
• 确定代数范数有界的子集 A ⊆ G 的结构复杂性，其指示函数为 1_A。
• 在代数范数 M 的范围内，建立将 1_A 表示为带符号和的陪集数量的统一上界。
• 将傅里叶代数中幂等元的经典结果推广到定量、有效的情形。

提出的方法

• 使用傅里叶-Eymard 代数框架分析有限群上指示函数的谱性质。
• 应用调和分析技术，根据群的代数结构来界定 1_A 的代数范数。
• 利用谱稀疏性和对偶性论证，将 1_A 分解为子群陪集的带符号和。
• 采用迭代群论构造方法，根据 M 控制所需陪集的数量。
• 使用三重叠塔函数量化所需陪集数量的增长率，反映分解的复杂性。
• 利用非阿贝尔群中幂等元的已知结果，通过组合与分析方法推导出有效界。

实验结果

研究问题

• RQ1 给定代数范数有界于 M 时，将指示函数 1_A 表示为带符号和所需的最少陪集数量是多少？
• RQ2 当 ‖1_A‖_A(G) ≤ M 时，群 G 的群结构如何约束 1_A 的谱性质？
• RQ3 非阿贝尔幂等定理能否被强化，以提供分解中陪集数量的有效、定量界？
• RQ4 所需陪集数量的增长率如何随代数范数 M 变化？
• RQ5 在非阿贝尔有限群中，分解复杂性如何随 M 变化？

主要发现

• 指示函数 1_A 可表示为至多 L 个子群陪集的带符号和，其中 L 是 O(M) 的三重叠塔函数。
• L 的界是有效且定量控制的，反映了谱范数 M 的复杂性。
• 该结果以陪集分解的形式，对代数范数较小的集合提供了结构表征。
• 该分解在所有有限群 G 上一致成立，其结果不依赖于群的具体非阿贝尔结构，仅依赖于范数界。
• O(M) 的三重叠塔增长代表了对定性非阿贝尔幂等定理的精确定量精化。
• 该结果表明，具有小谱范数的集合在群中必须具有高度结构化的、基于陪集的表示形式。