Current browse context:
math.GR
Change to browse by:
References & Citations
Mathematics > Group Theory
Title: Sharpened Uncertainty Principle
(Submitted on 21 Nov 2022 (v1), last revised 3 Jan 2023 (this version, v2))
Abstract: For any finite group $G$, any finite $G$-set $X$ and any field $F$, we consider the vector space $F^X$ of all functions from $X$ to $F$. When the group algebra $FG$ is semisimple and splitting, we find a specific basis $\widehat X$ of $F^X$, construct the Fourier transform: $F^X\to F^{\widehat X}$, $f\mapsto\widehat f$, and define the rank support $\mbox{rk-supp}(\widehat f)$; we prove that $\mbox{rk-supp}(\widehat f)=\dim FGf$, where $FGf$ is the submodule of the permutation module $FX$ generated by the element $f=\sum_{x\in X}f(x)x$. Next, we extend a sharpened uncertainty principle for abelian finite groups by Feng, Hollmann, and Xiang [9] to the following extensive framework: for any field $F$, any transitive $G$-set $X$ and $0\neq f\in F^X$ we prove that $$
|{\rm supp}(f)|\cdot \dim FGf \geq |X|+|{\rm supp}(f)|-|X_{{\rm supp}(f)}|, $$ where ${\rm supp}(f)$ is the support of $f$, and $X_{{\rm supp}(f)}$ is a block of $X$ associated with the subset ${\rm supp}(f)$ such that ${\rm supp}(f)$ is a disjoint union of some translations of the block. Then many (sharpened or classical) versions of finite-dimensional uncertainty principle are derived as corollaries.
Submission history
From: Yun Fan [view email][v1] Mon, 21 Nov 2022 06:32:01 GMT (21kb)
[v2] Tue, 3 Jan 2023 06:44:47 GMT (21kb)
Link back to: arXiv, form interface, contact.