We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Group Theory

Title: Sharpened Uncertainty Principle

Authors: Yun Fan
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.
Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM)
MSC classes: 05E18, 20B05, 20C15, 43A30, 94B60
Cite as: arXiv:2211.11204 [math.GR]
  (or arXiv:2211.11204v2 [math.GR] for this version)

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.