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: