arXiv++ Combinatorics

We say that $(x,y,z)\in Q^3$ is an associative triple in a quasigroup $Q(*)$ if $(x*y)*z=x*(y*z)$. Let $a(Q)$ denote the number of associative triples in $Q$. It is easy to show that $a(Q)\ge |Q|$, and we call the quasigroup maximally nonassociative if $a(Q)= |Q|$. It was conjectured that maximally nonassociative quasigroups do not exist when $|Q|>1$. Drápal and Lisoněk recently refuted this conjecture by proving the existence of maximally nonassociative quasigroups for a certain infinite set of orders $|Q|$. In this paper we prove the existence of maximally nonassociative quasigroups for a much larger set of orders $|Q|$. Our main tools are finite fields and the Weil bound on quadratic character sums. Unlike in the previous work, our results are to a large extent constructive.

For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R^4. While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is analytical and it comes with a short, computer-free proof.

We introduce a new class of complex Hadamard matrices which have not been studied previously. We use these matrices to construct a new infinite family of parity proofs of the Kochen-Specker theorem. We show that the recently discovered simple parity proof of the Kochen-Specker theorem is the initial member of this infinite family.

Historically, the polylogarithm has attracted specialists and non-specialists alike with its lovely evaluations. Much the same can be said for Euler sums (or multiple harmonic sums), which, within the past decade, have arisen in combinatorics, knot theory and high-energy physics. More recently, we have been forced to consider multidimensional extensions encompassing the classical polylogarithm, Euler sums, and the Riemann zeta function. Here, we provide a general framework within which previously isolated results can now be properly understood. Applying the theory developed herein, we prove several previously conjectured evaluations, including an intriguing conjecture of Don Zagier.