a210e2bc76565f83.tex
1: \begin{abstract}
2:  The notion of formal duality in finite Abelian groups appeared recently in relation to spherical designs, tight sphere packings, and energy minimizing configurations in
3:  Euclidean spaces. For finite cyclic groups it is conjectured that there are no primitive formally dual pairs besides the trivial one and the TITO configuration. This conjecture has been
4:  verified for cyclic groups of prime power order, as well as of square-free order. In this paper, we will confirm the conjecture for other classes of cyclic groups,
5:  namely almost all cyclic groups of order a product of two prime powers, with finitely many exceptions for each pair of primes, or whose order $N$ satisfies $p\pdiv N$, where $p$ a prime
6:  satisfying the so-called self-conjugacy property with respect to $N$. 
7:  For the above proofs, various tools were needed: the \emph{field descent method}, used chiefly for the circulant Hadamard conjecture, the techniques of Coven \&
8:  Meyerowitz for sets that tile $\ZZ$ or $\ZZ_N$ by translations, dubbed herein as \emph{the polynomial method}, 
9:  as well as basic number theory of cyclotomic fields, especially the splitting of primes in a given cyclotomic extension.
10:  \end{abstract}
11: