arXiv++ Combinatorics

We determine the minimal absolute value of a non-vanishing sum of $n$ fifth roots of unity chosen with repetition, and characterize the corresponding sums. As a function of $n$, the minimal absolute value is monotone non-increasing over congruence classes of $n$ modulo $5$ and its only jumps occur when $n=5F_m$, $n=L_m$, or $n=2L_m$, where $F_m$ and $L_m$ denote the $m$-th Fibonacci and Lucas numbers respectively. To prove our results we reduce the problem to a series of inequalities involving rational approximations of the golden ratio $\varphi=(1+\sqrt{5})/2$, the solutions of which can be characterized using the theory of continued fractions.

Coxeter pointed out that a number of polytopes can be projected orthogonally into two dimensions in such a way that their vertices lie on a number of concentric regular triacontagons (or 30-gons). Among them are the 600-cell and 120-cell in four dimensions and Gosset's polytope in eight dimensions. We show how these projections can be modified into Kochen-Secker diagrams from which parity proofs of the Bell-Kochen-Specker theorem are easily extracted. Our construction trivially yields parity proofs of fifteen bases for all theree polytopes and also allows many other proofs of the same type to be constructed for two of them. The defining feature of these proofs is that they have a fifteen-fold symmetry about the center of the Kochen-Specker diagram and thus involve both rays and bases that are multiples of fifteen. Any proof of this type can be written as a word made up of an odd number of distinct letters, each representing an orbit of fifteen bases. Knowing a word makes it possible to write down all the features of the associated proof without first having to recover its bases. A comparison is made with earlier approaches that have been used to obtain parity proofs in these polytopes, and two questions related to possible applications of these polytopes are raised.

We study the maximum absolute value of the determinant of matrices with entries in the set of $\ell$-th roots of unity; this is a generalization of $D$-optimal designs and Hadamard's maximal determinant problem, which involves $\pm 1$ matrices. For general values of $\ell$, we give sharpened determinantal upper bounds and constructions of matrices of large determinant. The maximal determinant problem in the cases $\ell = 3$, $\ell = 4$ is similar to the classical Hadamard maximal determinant problem for matrices with entries $\pm 1$, and many techniques can be generalized. For $\ell = 3$ we give an additional construction of matrices with large determinant, and calculate the value of the maximal determinant over $μ_3$ for all orders $n < 14$. Additionally, we survey the case $\ell = 4$ and exhibit an infinite family of maximal determinant matrices over the fourth roots of unity.

This doctoral thesis covers several topics related to the construction and study of maximal determinant matrices with complex entries. The first three chapters are devoted to number-theoretic tools to prove the non-solvability of Gram matrix equations over certain fields, with a focus on combinatorial applications. Chapter 4 gives a survey on Butson-type Hadamard matrices, and shows an improved lower bound on primes $p$ for the existence of $BH(12p, p)$ matrices. Chapter 5 contains the main contributions of the thesis, where the maximal determinant problem for matrices over the m-th roots of unity is discussed, and where new upper and lower bounds, as well as constructions at small orders, are given. Chapter 6 studies maximal determinant matrices over association schemes. Chapter 7 gives an application of design theory to privacy in communications, and it is connected to the rest of the thesis by the use of the theory of quadratic forms.

The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski local-global theory for quadratic forms to derive non-existence results for certain design parameters. Several combinatorialists have provided alternative proofs of this result, replacing conceptual arguments with algorithmic ones. In this paper, we show that the methods required are purely linear-algebraic in nature and are no more difficult conceptually than the theory of the Jordan Canonical Form. Computationally, they are rather easier. We conclude with some classical and recent applications to design theory, including a novel application to the decomposition of incidence matrices of symmetric designs.

Quaternary unit Hadamard (QUH) matrices were introduced by Fender, Kharagani and Suda along with a method to construct them at prime power orders. We present a novel construction of real Hadamard matrices from QUH matrices. Our construction recovers the result by Mukhopadhyay on the existence of real Hadamard matrices of order $q^n+q^{n-1}$ for each prime power $q\equiv 3\mod 4$. Furthermore we provide nonexistence conditions for QUH matrices.

In a User-Private Information Retrieval (UPIR) scheme, a set of users collaborate to retrieve files from a database without revealing to observers which participant in the scheme requested the file. Protocols have been proposed based on pairwise balanced designs and symmetric designs. Wepropose a new class of UPIR schemes based on generalised quadrangles (GQ). We prove that while the privacy of users in the previously proposed schemes could be compromised by a single user, the new GQ-UPIR schemes proposed in this paper maintain privacy with high probability even when up to $O(n^{1/4 - ε})$ users collude, where $n$ is the total number of users in the scheme.