arXiv++ Combinatorics

In 1974, Witsenhausen asked for the maximum possible density $α_n$ of a measurable subset $A$ of the unit sphere $\mathbb{S}^{n-1}\subset \mathbb{R}^n$ such that $A$ contains no pair of orthogonal vectors. For $n=3$, the best known lower bound is $1 - 1/\sqrt{2} = 0.29289\dots$, obtained from the natural "double cap" construction of two opposite spherical caps, which is conjectured to be optimal for all $n$ by Gil Kalai. In this paper, we use a novel approach to establish an upper bound of $α_3\le 0.2953$, improving the previous best known bound $0.2977$ due to Bekker et al. (2025). Our approach combines harmonic-analytic arguments with the geometric fractional chromatic number of finite graphs, recently introduced by Ambrus et al. (2024). In this framework, any finite subset of the sphere yields an upper bound for $α_n$, and we obtain our bound by identifying an appropriate 33-element point set through a large-scale computer search. The same method can also be used in higher dimensions to yield potential improvements of the best known bounds.

Based on the concept of positive definite functions on finite groups, we present a new necessary condition for the existence of Butson Hadamard matrices $BH(n,q)$. We use this condition to prove some nonexistence results for a sequence of values of $(n,q)$, and also to facilitate a computer search and discover a matrix $BH(18,14)$. Furthermore, we use cyclotomic cosets to construct matrices $BH(34,10)$, $BH(62,6)$, $BH(82,6)$, and $BH(146,6)$ for the first time. These matrices have a $2$-circulant structure.

We show that for a subset $A$ of the cyclic group of prime order $p>3$, if the sumset $A+A-2A$ is not the whole group, then $|A|\le \frac27\,p$. Besides combinatorial arguments, we utilize a general technique involving linear programming.

We initiate a systematic study of triplets of mutually unbiased bases (MUBs). We show that in $\mathbb{C}^d$ each MUB-triplet is characterized by a $d\times d\times d$ object that we call a Hadamard cube. We describe the basic properties of Hadamard cubes, and show how an MUB-triplet can be reconstructed from such a cube, up to unitary equivalence. We also present an algebraic identity which is conjectured to hold for all MUB-triplets in dimension 6. If true, it would imply the long-standing conjecture of Zauner that the maximum number of MUBs in dimension 6 is three.

Coven and Meyerowitz formulated two conditions which have since been conjectured to characterize all finite sets that tile the integers by translation. By periodicity, this conjecture is reduced to sets which tile a finite cyclic group $\mathbb{Z}_M$. In this paper we consider a natural relaxation of this problem, where we replace sets with nonnegative functions $f,g$, such that $f(0)=g(0)=1$, $f\ast g=\mathbf{1}_{\mathbb{Z}_M}$ is a functional tiling, and $f, g$ satisfy certain further natural properties associated with tilings. We show that the Coven-Meyerowitz tiling conditions do not necessarily hold in such generality. Such examples of functional tilings carry the potential to lead to proper tiling counterexamples to the Coven-Meyerowitz conjecture in the future.

The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper we review the concept of weak tiling, and answer a question raised in \cite{weak} by giving an example of a set $T$ which tiles its complement weakly, but $T$ is neither spectral, nor a proper tile.

By constructing suitable nonnegative exponential sums we give upper bounds on the cardinality of any set $B_q$ in cyclic groups $\ZZ_q$ such that the difference set $B_q-B_q$ avoids cubic residues modulo $q$.

We prove that the fractional chromatic number $χ_f(\mathbb R^2)$ of the unit distance graph of the Euclidean plane is greater than or equal to $4$. Interestingly, however, we cannot present a finite subgraph $G$ of the plane such that $χ_f(G)\ge 4$. Instead, we utilize the concept of the geometric fractional chromatic number $χ_{gf}(G)$, which was introduced recently in connection with density bounds for 1-avoiding sets. First, as $G$ ranges over finite subgraphs of the plane, we establish that the supremum of $χ_f(G)$ is the same as that of $χ_{gf}(G)$. The proof exploits the amenability of the group of Euclidean transformations in dimension 2 and, as such, we do not know whether the analogous statement holds in higher dimensions. We then present a specific planar unit distance graph $G$ on 27 vertices such that $χ_{gf}(G)=4$, and conclude $χ_f(\mathbb R^2)\ge 4$ as a corollary. As another main result we show that the finitary fractional chromatic number and the Hall ratio of the plane are equal. As a consequence, we conclude that there exist finite unit distance graphs with independence ratio $\frac{1}{4}+\varepsilon$, while we conjecture that the value $\frac{1}{4}$ cannot be reached.

We discuss the relation of tiling, weak tiling and spectral sets in finite abelian groups. In particular, in elementary $p$-groups $(\mathbb{Z}_p)^d$, we introduce an averaging procedure that leads to a natural object of study: a 4-tuple of functions which can be regarded as a common generalization of tiles and spectral sets. We characterize such 4-tuples for $d=1, 2$, and prove some partial results for $d=3$.

For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point sets $A,B \subset {\mathbb R}^2$ one has \[ {\rm tr}(A+B)^{\frac12}\geq {\rm tr}(A)^{\frac12}+{\rm tr}(B)^{\frac12}. \] We prove this conjecture in several cases: if $[A]=[B]$, if $B=A\cup\{b\}$, if $|B|=3$, or if none of $A$ or $B$ has interior points.

We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to apply to higher orders like 8, 9 and, with further improvements, possibly 10 and 12.

Recently, the authors of the present work (together with M. N. Kolountzakis) introduced a new version of the non-commutative Delsarte scheme and applied it to the problem of mutually unbiased bases. Here we use this method to investigate the existence of a finite projective plane of a given order d. In particular, a short new proof is obtained for the nonexistence of a projective plane of order 6. For higher orders like 10 and 12, the method is non decisive but could turn out to give important supplementary informations.

In this note we investigate the existence of flat orthogonal matrices, i.e. real orthogonal matrices with all entries having absolute value close to $\frac{1}{\sqrt{n}}$. Entries of $\pm \frac{1}{\sqrt{n}}$ correspond to Hadamard matrices, so the question of existence of flat orthogonal matrices can be viewed as a relaxation of the Hadamard problem.

For infinitely many primes $p=4k+1$ we give a slightly improved upper bound for the maximal cardinality of a set $B\subset \ZZ_p$ such that the difference set $B-B$ contains only quadratic residues. Namely, instead of the "trivial" bound $|B|\leq \sqrt{p}$ we prove $|B|\leq \sqrt{p}-1$, under suitable conditions on $p$. The new bound is valid for approximately three quarters of the primes $p=4k+1$.

We describe general connections between intersective properties of sets in Abelian groups and positive exponential sums. In particular, given a set $A$ the maximal size of a set whose difference set avoids $A$ will be related to positive exponential sums using frequencies from $A$.

This short note gives an upper bound on the measure of sets $A\subset [0,1]$ such that $x+y=3z$ has no solutions in $A$.

We use combinatorial and Fourier analytic arguments to prove various non-existence results on systems of real and complex unbiased Hadamard matrices. In particular, we prove that a complete system of complex mutually unbiased Hadamard matrices (MUHs) in any dimension $d$ cannot contain more than one real Hadamard matrix. We also give new proofs of several known structural results in low dimensions, for $d\le 6$.

This is a survey about tiling by translation only and related questions and methods, especially those that have to do with Fourier Analysis.

We extend Freiman's inequality on the cardinality of the sumset of a $d$ dimensional set. We consider different sets related by an inclusion of their convex hull, and one of them added possibly several times.

The aim of this paper is to prove a general version of Plünnecke's inequality. Namely, assume that for finite sets $A$, $B_1, ... B_k$ we have information on the size of the sumsets $A+B_{i_1}+... +B_{i_l}$ for all choices of indices $i_1, ... i_l.$ Then we prove the existence of a non-empty subset $X$ of $A$ such that we have `good control' over the size of the sumset $X+B_1+... +B_k$. As an application of this result we generalize an inequality of \cite{gymr} concerning the submultiplicativity of cardinalities of sumsets.