# Bilinear Forms on Finite Abelian Groups and Group-Invariant Butson Hadamard Matrices

## TL;DR

This paper establishes conditions for the existence of group-invariant Butson Hadamard matrices using bilinear forms on finite abelian groups, providing both sufficient and necessary criteria in specific cases.

## Contribution

It introduces new existence conditions for $BH(K,h)$ matrices based on bilinear forms and proves their necessity for cyclic groups of prime power order.

## Key findings

- Existence of $BH(K,h)$ matrices under certain $p$-adic valuation conditions.
- Necessary conditions for cyclic groups of prime power order.
- Application of field descent method to establish necessity.

## Abstract

Let $K$ be a finite abelian group and let $\exp(K)$ denote the least common multiple of the orders of the elements of $K$. A $BH(K,h)$ matrix is a $K$-invariant $|K|\times |K|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|K|I$, where $H^*$ denotes the complex conjugate transpose of $H$, and $I$ is the identity matrix of order $|K|$. Let $\nu_p(x)$ denote the $p$-adic valuation of the integer $x$. Using bilinear forms on $K$, we show that a $BH(K,h)$ exists whenever (i) $\nu_p(h) \geq \lceil \nu_p(\exp(K))/2 \rceil$ for every prime divisor $p$ of $|K|$ and (ii) $\nu_2(h) \ge 2$ if $\nu_2(|K|)$ is odd and $K$ has a direct factor $\mathbb{Z}_2$. Employing the field descent method, we prove that these conditions are necessary for the existence of a $BH(K,h)$ matrix in the case where $K$ is cyclic of prime power order.