arXiv++ Combinatorics

Let $A=\{a_1,a_2,\dots, a_m\}$ be a subset of a finite abelian group $G$. We call $A$ {\it $t$-independent} in $G$, if whenever $$λ_1a_1+λ_2a_2+\cdots +λ_m a_m=0$$ for some integers $λ_1, λ_2, \dots , λ_m$ with $$|λ_1|+|λ_2|+\cdots +|λ_m| \leq t,$$ we have $λ_1=λ_2= \cdots = λ_m=0$, and we say that $A$ is {\it $s$-spanning} in $G$, if every element $g$ of $G$ can be written as $$g=λ_1a_1+λ_2a_2+\cdots +λ_m a_m$$ for some integers $λ_1, λ_2, \dots , λ_m$ with $$|λ_1|+|λ_2|+\cdots +|λ_m| \leq s.$$ In this paper we give an upper bound for the size of a $t$-independent set and a lower bound for the size of an $s$-spanning set in $G$, and determine some cases when this extremal size occurs. We also discuss an interesting connection to spherical combinatorics.

The hyperoctahedral group $H$ in $n$ dimensions (the Weyl group of Lie type $B_n$) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes. A finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ is called a Euclidean $t$-design, if $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$. Here we consider Euclidean designs which are supported by orbits of the hyperoctahedral group. Namely, we prove that any Euclidean design on a union of generalized hyperoctahedra has strength (maximum $t$ for which it is a Euclidean design) equal to 3, 5, or 7. We find explicit necessary and sufficient conditions for when this strength is 5 and for when it is 7. In order to establish our classification, we translate the above definition of Euclidean designs to a single equation for $t=5$, a set of three equations for $t=7$, and a set of seven equations for $t=9$. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), proved a Fisher-type inequality $|{\cal X}| \geq N(n,p,t)$ for the minimum size of a Euclidean $t$-design in $\mathbb{R}^n$ on $p=|R|$ concentric spheres (assuming that the design is antipodal if $t$ is odd). A Euclidean design with exactly $N(n,p,t)$ points is called tight. We exhibit new examples of antipodal tight Euclidean designs, supported by orbits of the hyperoctahedral group, for $N(n,p,t)=$(3,2,5), (3,3,7), and (4,2,7).

Let $s$ be a positive integer. Our goal is to find all finite abelian groups $G$ that contain a $2$-subset $A$ for which the undirected Cayley graph $Γ(G,A)$ has diameter at most $s$. We provide a complete answer when $G$ is cyclic, and a conjecture and some partial answers when $G$ is noncyclic.

Spherical t-designs are Chebyshev-type averaging sets on the d-sphere S^d which are exact for polynomials of degree at most t. This concept was introduced in 1977 by Delsarte, Goethals, and Seidel, who also found the minimum possible size of such designs, in particular, that the number of points in a 3-design on S^d must be at least n>=2d+2. In this paper we give explicit constructions for spherical 3-designs on S^d consisting of n points for d=1 and n>=4; d=2 and n=6; 8; >= 10; d=3 and n=8; >=10; d = 4 and n = 10; 12; >= 14; d>=5 and n>=5(d+1)/2 odd or n>=2d+2 even. We also provide some evidence that 3-designs of other sizes do not exist.

We embark on a tour that takes us through four closely related topics: the dual concepts of independence and spanning in finite abelian groups and the analogous dual concepts of designs and distance sets on spheres. We review some of the main known results in each area, mention several open questions, and discuss some connections among these four interesting topics.

This text contains over three hundred specific open questions on various topics in additive combinatorics, each placed in context by reviewing all relevant results. While the primary purpose is to provide an ample supply of problems for student research, it is hopefully also useful for a wider audience. It is the author's intention to keep the material current, thus all feedback and updates are greatly appreciated.

Let $[n] = \{1, 2, \ldots, n\}$ and let $2^{[n]}$ be the collection of all subsets of $[n]$ ordered by inclusion. ${\cal C} \subseteq 2^{[n]}$ is a {\em cutset} if it meets every maximal chain in $2^{[n]}$, and the {\em width} of ${\cal C} \subseteq 2^{[n]}$ is the minimum number of chains in a chain decomposition of ${\cal C}$. Fix $0 \leq m \leq l \leq n$. What is the smallest value of $k$ such that there exists a cutset that consists only of subsets of sizes between $m$ and $l$, and such that it contains exactly $k$ subsets of size $i$ for each $m \leq i \leq l$? The answer, which we denote by $g_n(m,l)$, gives a lower estimate for the width of a cutset between levels $m$ and $l$ in $2^{[n]}$. After using the Kruskal-Katona Theorem to give a general characterization of cutsets in terms of the number and sizes of their elements, we find lower and upper bounds (as well as some exact values) for $g_n(m,l)$.

For integers $0 \leq m \leq l \leq n-m$, the truncated Boolean lattice ${\cal B}_n(m,l)$ is the poset of all subsets of $[n] = \{1, 2, \ldots, n\}$ which have size at least $m$ and at most $l$. ${\cal C} \subseteq {\cal B}_n(m,l)$ is a {\em cutset} if it meets every chain of length $l-m$ in ${\cal B}_n(m,l)$, and the {\em width} of ${\cal C}$ is the size of the largest antichain in ${\cal C}$. We conjecture that for $n >> m$ the minimum width $h_n(m,l)$ of a cutset in ${\cal B}_n(m,l)$ is $Σ_{j \geq 0} Δ_n(m-jc) = Δ_n(m)+Δ_n(m-c)+Δ_n(m-2c)+ \dots$, where $c=l-m+1$ is the number of level sets in ${\cal B}_n(m,l)$ and $Δ_n(k)={n \choose k}- {n \choose k-1}$. We establish our conjecture for the cases of "short lattices" ($l=m$, $l=m+1$, and $l=m+2$). For "taller lattices" ($l \geq 2m$) our conjecture gives ${n \choose m} - {n \choose m-1}$, independently of $l$. Our main result is that $h_n(m,l) \leq {n \choose m} - {n \choose m-1}$ if $l \geq 2m$.

A Euclidean $t$-design, as introduced by Neumaier and Seidel (1988), is a finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ for which $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), also proved a Fisher-type inequality $|{\cal X}| \geq N(n,|R|,t)$ (assuming that the design is antipodal if $t$ is odd). For fixed $n$ and $|R|$ we have $N(n,|R|,t)=O(t^{n-1})$. In Part I of this paper we provide a recursive construction for Euclidean $t$-designs in $\mathbb{R}^n$. Namely, we show how to use certain Gauss--Jacobi quadrature formulae to "lift" a Euclidean $t$-design in $\mathbb{R}^{n-1}$ to a Euclidean $t$-design in $\mathbb{R}^{n}$, preserving both the norm spectrum $R$ and the weight sum $W_r$ for each $r \in R$. A Euclidean design with exactly $N(n,|R|,t)$ points is called tight. In Part II of this paper we construct tight Euclidean designs for $n=2$ and every $t$ and $|R|$ with $|R| \leq \frac{t+5}{4}$. We also provide examples for tight Euclidean designs with $(n,|R|,t) \in \{(3,2,5),(3,3,7),(4,2,7)\}$.

We extend the concepts of sum-free sets and Sidon-sets of combinatorial number theory with the aim to provide explicit constructions for spherical designs. We call a subset $S$ of the (additive) abelian group $G$ {\it $t$-free} if for all non-negative integers $k$ and $l$ with $k+l \leq t$, the sum of $k$ (not necessarily distinct) elements of $S$ does not equal the sum of $l$ (not necessarily distinct) elements of $S$ unless $k=l$ and the two sums contain the same terms. Here we shall give asymptotic bounds for the size of a largest $t$-free set in ${\bf Z}_n$, and for $t \leq 3$ discuss how $t$-free sets in ${\bf Z}_n$ can be used to construct spherical $t$-designs.

A subset $A$ of a given finite abelian group $G$ is called $(k,l)$-sum-free if the sum of $k$ (not necessarily distinct) elements of $A$ does not equal the sum of $l$ (not necessarily distinct) elements of $A$. We are interested in finding the maximum size $λ_{k,l}(G)$ of a $(k,l)$-sum-free subset in $G$. A $(2,1)$-sum-free set is simply called a sum-free set. The maximum size of a sum-free set in the cyclic group $\mathbb{Z}_n$ was found almost forty years ago by Diamanda and Yap; the general case for arbitrary finite abelian groups was recently settled by Green and Ruzsa. Here we find the value of $λ_{3,1}(\mathbb{Z}_n)$. More generally, a recent paper of Hamidoune and Plagne examines $(k,l)$-sum-free sets in $G$ when $k-l$ and the order of $G$ are relatively prime; we extend their results to see what happens without this assumption.