Related papers: An uncertainty principle for cyclic groups of prim…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We show various uncertainty principles for the Fourier transform on harmonic manifolds of rank one. In particular, we derive a Heisenberg uncertainty principle, a Morgen theorem, an uncertainty principle for the Schr\"odinger equation and a…

In 1968, John Thompson proved that a finite group G is solvable if and only if every 2-generator subgroup of G is solvable. In this paper, we prove that solvability of a finite group G is guaranteed by a seemingly weaker condition: G is…

We prove a new version of the Uncertainty Principle of the form $\int |f|^2 \lesssim \int_{E^c} |f|^2 + \int_{\Sigma ^c}|\hat f|^2 $ where the sets $E$ and $\Sigma$ are $\epsilon$-thin in the following sense: $|E \cap D(x, \rho_1(x))| \le…

We prove a conjecture of Dukes and Herke concerning the possible orders of a basis for the cyclic group Z_n, namely : For each k \in N there exists a constant c_k > 0 such that, for all n \in N, if A \subseteq Z_n is a basis of order…

Let $H$ be a subgroup of a group $G$. We say that $H$ satisfies the power condition with respect to $G$, or $H$ is a power subgroup of $G$, if there exists a non-negative integer $m$ such that $H=G^{m}=<g^{m} | g \in G >$. In this note, the…

Let $G$ denote a compact monothetic group, and let $$\rho (x) = \alpha_k x^k + \ldots + \alpha_1 x + \alpha_0,$$ where $\alpha_0, \ldots , \alpha_k$ are elements of $G$ one of which is a generator of $G$. Let $(p_n)_{n\geq 1}$ denote the…

We give conditions for a locally finite poset $P$ to have the property that for any functions $f:P\to {\bf C}$ and $g:P\to {\bf C}$ not identically zero and linked by the M\"obius inversion formula, the support of at least one of $f$ and…

We show how a number of well-known uncertainty principles for the Fourier transform, such as the Heisenberg uncertainty principle, the Donoho--Stark uncertainty principle, and Meshulam's non-abelian uncertainty principle, have little to do…

We give a pedagogical introduction to the generalized uncertainty principle (GUP), by showing how it naturally emerges when the action of gravity is taken into account in measurement processes. We review some physical predictions of the…

Let $G$ be a locally compact group. If $G$ is finite then the amenability constant of its Fourier algebra, denoted by ${\rm AM}({\rm A}(G))$, admits an explicit formula [Johnson, JLMS 1994]; if $G$ is infinite then no such formula for ${\rm…

We present a novel generalization of the Heisenberg uncertainty principle which introduces the existence of a maximal observable momentum and at the same time does not entail a minimal indeterminacy in position. The above result is an exact…

We prove a new uncertainty principle for square-integrable irreducible unitary representations of connected Lie groups. The concentration of the matrix coefficients is measured in terms of weighted $L^p$ norms, with weights in the local…

The aim of this paper is to prove an uncertainty principle for the representation of a vector in two bases. Our result extends previously known qualitative uncertainty principles into quantitative estimates. We then show how to transfer…

For a family of weight functions $h_\kappa$ that are invariant under a reflection group, the uncertainty principle on the unit sphere in the form of $$ \min_{1 \le i \le d} \int_{\mathbb{S}^{d-1}} (1- x_i) |f(x)|^2 h_\kappa^2(x) d\sigma…

It is shown that in the units of augmentation one of an integral group ring $\mathbb{Z} G$ of a finite group $G$, a noncyclic subgroup of order $p^{2}$, for some odd prime $p$, exists only if such a subgroup exists in $G$. The corresponding…

The classical uncertainty principle of harmonic analysis states that a nontrivial function and its Fourier transform cannot both be sharply localized. It plays an important role in signal processing and physics. This paper generalizes the…

The Cauchy-Davenport theorem states that for any two nonempty subsets A and B of Z/pZ we have |A+B| >= min{p,|A|+|B|-1}, where A+B:={a+b (mod p) | a in A, b in B}. We generalize this result from Z/pZ to arbitrary finite (including…

The normal covering number $\gamma(G)$ of a finite, non-cyclic group $G$ is the least number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We prove that there is a positive constant $c$…

Let $G$ be a finite group and let $c(G)$ be the number of cyclic subgroups of $G$. We study the function $\alpha(G) = c(G)/|G|$. We explore its basic properties and we point out a connection with the probability of commutation. For many…