Multidimensional Cooley–Tukey Algorithms Revisited

AbstractThe representation theory of Abelian groups is used to obtain an algebraic divide-and-conquer algorithm for computing the finite Fourier transform. The algorithm computes the Fourier transform of a finite Abelian group in terms of the Fourier transforms of an arbitrary subgroup and its quotient. From this algebraic algorithm a procedure is derived for obtaining concrete factorizations of the Fourier transform matrix in terms of smaller Fourier transform matrices, diagonal multiplications, and permutations. For cyclic groups this gives as special cases the Cooley–Tukey and Good–Thomas algorithms. For groups with several generators, the procedure gives a variety of multidimensional Cooley–Tukey type algorithms. This method of designing multidimensional fast Fourier transform algorithms gives different data flow patterns from the standard “row–column” approaches. We present some experimental evidence that suggests that in hierarchical memory environments these data flows are more efficient

Radar Waveform Design and the Heisenberg Group

AbstractThis paper presents a number of constructions based on the Heisenberg group that are relevant to the problem of radar waveform design. All of the constructions are based on the modification of the Weil transform of a waveform

Automorphism groups of polycyclic-by-finite groups and arithmetic groups

We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homotopy self-equivalences of K(\Gamma, 1)-spaces and obtain an extension of arithmeticity results of Sullivan in rational homotopy theory

An algorithmic approach to resolutions

We provide an algorithmic method for constructing projective resolutions of modules over quotients of path algebras. This algorithm is modified to construct minimal projective resolutions of linear modules over Koszul algebras

Symbolic approach and induction in the Heisenberg group

We associate a homomorphism in the Heisenberg group to each hyperbolic unimodular automorphism of the free group on two generators. We show that the first return-time of some flows in "good" sections, are conjugate to niltranslations, which have the property of being self-induced.Comment: 18 page

Asymptotic Behavior of Ext functors for modules of finite complete intersection dimension

Let $R$ be a local ring, and let $M$ and $N$ be finitely generated $R$-modules such that $M$ has finite complete intersection dimension. In this paper we define and study, under certain conditions, a pairing using the modules \Ext_R^i(M,N) which generalizes Buchweitz's notion of the Herbrand diference. We exploit this pairing to examine the number of consecutive vanishing of \Ext_R^i(M,N) needed to ensure that \Ext_R^i(M,N)=0 for all $i\gg 0$. Our results recover and improve on most of the known bounds in the literature, especially when $R$ has dimension at most two

On Hausdorff dimension of the set of closed orbits for a cylindrical transformation

We deal with Besicovitch's problem of existence of discrete orbits for transitive cylindrical transformations $T_\varphi:(x,t)\mapsto(x+\alpha,t+\varphi(x))$ where $Tx=x+\alpha$ is an irrational rotation on the circle \T and \varphi:\T\to\R is continuous, i.e.\ we try to estimate how big can be the set D(\alpha,\varphi):=\{x\in\T:|\varphi^{(n)}(x)|\to+\infty\text{as}|n|\to+\infty\}. We show that for almost every $\alpha$ there exists $\varphi$ such that the Hausdorff dimension of $D(\alpha,\varphi)$ is at least $1/2$. We also provide a Diophantine condition on $\alpha$ that guarantees the existence of $\varphi$ such that the dimension of $D(\alpha,\varphi)$ is positive. Finally, for some multidimensional rotations $T$ on \T^d, $d\geq3$, we construct smooth $\varphi$ so that the Hausdorff dimension of $D(\alpha,\varphi)$ is positive.Comment: 32 pages, 1 figur

Theta functions on the Kodaira-Thurston manifold

We define analogue of theta-functions on the Kodaira--Thurston manifold which is a compact 4-dimensional symplectic manifold and use them to construct canonical symplectic embedding of the Kodaira--Thurston manifold into the complex projective space (analogue of the Lefshetz theorem).Comment: 11 page