Related papers: Continuous Gabor transform for a class of non-Abel…

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…

I consider infinitesimal translations $x'^{\alpha}=x^{\alpha}+\delta x^{\alpha}$ and demand that Noether's approach gives a symmetric energy-momentum tensor as it is required for gravitational sources. This argument determines the…

Consider the Iwasawa decomposition of the real semisimple Lie group. The purpose of this paper is to define the Fourier transform in order to obtain the Plancherel theorem on its maxima solvable Lie group. Besides, we prove the existence…

Let $G$ be an LCA group, $H$ a closed subgroup, $\varGamma$ the dual group of $G$. In accordance with analogous notions in prediction theory the classes of $H$-regular and $H$-singular Borel measures on $\Gamma$ are defined. A…

We show that the grading of fields by conformal weight, when built into the initial group symmetry, provides a discrete, non-central conformal extension of any group containing dilatations. We find a faithful vector representation of the…

We introduce a class of countable groups by some abstract group-theoretic conditions. It includes linear groups with finite amenable radical and finitely generated residually finite groups with some non-vanishing $\ell^2$-Betti numbers that…

In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy…

The Davenport constant for a finite abelian group $G$ is the minimal length $\ell$ such that any sequence of $\ell$ terms from $G$ must contain a nontrivial zero-sum sequence. For the group $G=(\mathbb Z/n\mathbb Z)^2$, its value is $2n-1$,…

Let $G$ be a finite group acting on $\mathbb{C}^N$. We study the problem of identifyng the class in $\mathbb{C}^N / G$ of a given signal: this encompasses several types of problems in signal processing. Some instances include certain…

We study the mapping class group of a nontrivial irreducible shift of finite type: the group of flow equivalences of its mapping torus modulo isotopy. This group plays for flow equivalence the role that the automorphism group plays for…

Nonlinear $sl(2)$ algebras subtending generalized angular momentum theories are studied in terms of undeformed generators and bases. We construct their unitary irreducible representations in such a general context. The linear $sl(2)$-case…

We classify the twisted tensor products of a finite set algebra with a two elements set algebra using colored quivers obtained through considerations analogous to Ore extensions. This provides also a classification of entwining structures…

The arithmetic of Hilbert modular forms has been extensively studied under the assumption that the forms concerned are "paritious" -- all the components of the weight are congruent modulo 2. In contrast, non-paritious Hilbert modular forms…

A regular sampling theory in a multiply generated unitary invariant subspace of a separable Hilbert space $\mathcal{H}$ is proposed. This subspace is associated to a unitary representation of a countable discrete abelian group $G$ on…

For every natural number k we introduce the notion of k-th order convolution of functions on abelian groups. We study the group of convolution preserving automorphisms of function algebras in the limit. It turns out that such groups have…

Let $G$ be some metabelian $2$-group satisfying the condition $G/G'\simeq \mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. In this paper, we construct all the subgroups of $G$ of index $2$ or $4$, we give the…

There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. The purpose of this article is to translate some important results and operators from the context of $L^2(\R)$ to that of…

Let F be the field of two elements and G a finite abelian 2-group with an involutory automorphism. The extension of this automorphism to the group algebra FG is called an involutory involution. This determines the groups of unitary and…

Inductive algebras for the irreducible unitary representations of the universal cover of the group of unimodular two by two matrices are classified. The classification of homogeneous shift operators is obtained as a direct consequence. This…

In this paper, continuous binary operations of a topological space are studied and a criterion of their invertibility is proved. The classification problem of groups of invertible continuous binary operations of locally compact and locally…