arXiv++ Combinatorics

Integer weighing matrices (IW-matrices for short) are integer valued orthogonal square matrices. One usecase of these is to create classical weighing matrices with various block structures. In this paper we study and classify the space $IW(n,k)$ of the integer weighing matrices of small size $n\times n$ and weight $k$. Our classification includes a full list of all inequivalent matrices up to Hadamard equivalence and automorphism groups. We then continue to a secondary classification of the symmetric and antisymmetric IW up to symmetric Hadamard equivalence. We apply this to the case of projective space weighing matrices. Next we use the classification to count the cardinality of the spaces of all $IW(n,k)$ as well as the symmetric and anti-symmetric subspace. We supply practical algorithms and implement them in \texttt{Sagemath}. Finding an (anti-)symmetric IW matrix in a given Hadamard class can be done for significantly higher orders. In particular we solve some open cases: Symmetric $W(23,16)$, $W(28,25)$ and $W(30,17)$, and an anti-symmetric $W(28,25)$. We conclude by showing a detailed classification of $IW(7,25)$. We have also improved the \texttt{NSOKS} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.

This paper studies group frames ($G$-frames) where the unitary group representation can be projective. When the group is abelian, for most combinations $N, n$, we show that $ETF(N,n)$ can only exist for genuinely projective group representations. In particular, cyclic-group frames for such parameters do not exist. We also give a characterization of all dihedral tight frames and dihedral $ETF(2n,n)$, using which, we conclude that regular dihedral $ETF(2n,n)$ must be genuinely projective. Following that, we give a characterization of regular dihedral $ETF(2n,n)$ in terms of certain structured skew Hadamard matrices. We then show that Paley $ETF(2n,n)$ and its doubling are both of this type. Finally, we classify all regular dihedral $ETF(2n,n)$ for $n\le 22$ up to switching equivalence.

In this paper we describe an algorithm for generating all the possible $PIW(m,n,k)$ - integer $m\times n$ Weighing matrices of weight $k$ up to Hadamard equivalence. Our method is efficient on a personal computer for small size matrices, up to $m\le n=12$, and $k\le 50$. As a by product we also improved the \textit{\textbf{nsoks}} \cite{riel2006nsoks} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares. We have implemented our algorithm in \texttt{Sagemath} and as an example we provide a complete classification for \ $n=m=7$ and $k=25$. Our list of $IW(7,25)$ can serve as a step towards finding the open classical weighing matrix $W(35,25)$.

Given $N$ points $X=\{x_k\}_{k=1}^N$ on the unit circle in $\mathbb{R}^2$ and a number $0\leq p \leq \infty$ we investigate the minimizers of the functional $\sum_{k, \ell =1}^N |\langle x_k, x_\ell\rangle|^p$. While it is known that each of these minimizers is a spanning set for $\mathbb{R}^2$, less is known about their number as a function of $p$ and $N$ especially for relatively small $p$. In this paper we show that there is unique minimum for this functional for all $p\leq \log 3/\log 2$ and all odd $N\geq 3$. In addition, we present some numerical results suggesting the emergence of a phase transition phenomenon for these minimizers. More specifically, for $N\geq 3$ odd, there exists a sequence of number of points $\log 3/\log 2=p_1< p_2< \cdots < p_N\leq 2$ so that a unique (up to some isometries) minimizer exists on each sub-intervals $(p_k, p_{k+1})$. %In addition we conjecture that $\lim_{k\to \infty}p_{2k+1}=2$.

A Formal Orthogonal Pair is a pair $(A,B)$ of symbolic rectangular matrices such that $AB^T=0$. It can be applied for the construction of Hadamard and Weighing matrices. In this paper we introduce a systematic way for constructing such pairs. Our method involves Representation Theory and Group Cohomology. The orthogonality property is a consequence of non-vanishing maps between certain cohomology groups. This construction has strong connections to the theory of Association Schemes and (weighted) Coherent Configurations. Our techniques are also capable for producing (anti-) amicable pairs. A handful of examples are given.

We study the local geometry of the zero pattern of a weighing matrix $W(23,16)$. The geometry consists of $23$ lines and $23$ points where each line contains $7$ points. The incidence rules are that every two lines intersect in an odd number of points, and the dual statement holds as well. We show that more than $50\%$ of the pairs of lines must intersect at a single point, and construct a regular weighted graph out of this geometry. This might indicate that a weighing matrix $W(23,16)$ does not exist.