Questions tagged [difference-sets]

For questions about difference sets of groups, their developments to symmetric designs, their existence and non-existence, multipliers, and other properties.

A $(v,k,\lambda)$-difference set is a subset $D$ of a group $G$ such that $|D|=k$, $|G|=v$, and for all $g\in G$, there are exactly $\lambda$ ways to write $g=d_1d_2^{-1}$, where $d_1,d_2\in G$.

The term "difference set" comes about because for a group $G$ with group operation "$+$", the ways to write each $g\in G$ are literally differences of elements of $D$.

$D$ is said to inherit properties from $G$ such as being "abelian", "cyclic", etc. if $G$ has the respective property.

Difference sets yield symmetric designs in the following way:

Let $\text{dev}D$ denote the set $\lbrace D+g|g\in G\rbrace$. That is, $\text{dev}D$ (called the "development" of $D$) is the set of all blocks which are the right translates of $D$ by elements of $G$. It is easy to check that $\text{dev}D$ is in fact a symmetric $(v,k,\lambda)$-design.

For example, if $G=(\mathbb{Z}_7,+)$ with difference set $D=\lbrace 1,2,4 \rbrace$, then $\text{dev}D$ is the Fano plane. Note that $D$ is a $(7,3,1)$-difference set in this example. Because $\lambda=1$, the $(7,3,1)$-design $\text{dev}D$ is called planar (and is in fact a projective plane).

32 questions
18
votes
1 answer

An old question about sumsets and difference sets

Let $A$ be a finite set. Define the symbols $+$ and $-$ as follows: $$A+A=\{a+b:a,b\in A\};$$ $$A-A=\{a-b:a,b\in A\}.$$ Prove or disprove $|A+A|\leq|A-A|$, where $|A|$ denotes the cardinality of $A$. This is an intuitively appealing conjecture. …
8
votes
1 answer

Are there any "nontrivial" sets with small difference sets?

I'm trying to find finite sets $S$ of natural numbers with "small" difference sets. One option is just taking an arithmetic progression $S = \{0, , \ldots, n-1\}$. Then $|S - S| = 2 |S| - 1$, which is, I think, the smallest possible difference set.…
6
votes
1 answer

When can $L$ sets of the form $\{a,b,a+b\}$ partition $\{1,2,\dots, 3L\}$?

Now also posted to MathOverflow. Consider a set of the form $\{a,b,a+b\}$ where $a$ and $b$ are positive integers with $b > a$. I will refer to such a set as a triplet. Consider now the problem of constructing $L$ disjoint triplets with as small a…
3
votes
2 answers

Why is the difference of consecutive primes from Fibonacci sequence divisible by $4$?

The primes represented in the Fibonacci sequence are written in the form $6n + 1$ and $6n -1$,…
3
votes
0 answers

The relation between perfect difference sets and finite projective planes

Given a (finite) perfect difference set, it is easy to create a finite projective plane. I'm wondering: Given a finite projective plane, does there necessarily exist a corresponding perfect difference set? What if we restrict ourselves to planes of…
3
votes
1 answer

Proof that the symmetric design isomorphic to $PG(m,q)$ has an automorphism acting regularly on points (Singer's Theorem)

I have annoyed various faculty members enough with this, so I will turn to you to check that my proof of Singer's Theorem is satisfactory. I have been politely told before on Math.SE that I give way too much background in questions, so I will just…
3
votes
1 answer

About difference set of Fibonacci numbers

Let $\mathcal{F}$ be the set of all Fibonacci numbers (defined by $ F_n=F_{n-1}+F_{n-2}$ with $F_1=F_2=1$), and put $D:=\mathcal{F}-\mathcal{F}$. (a) Is it true that if $B$ is a finite subsetset of integers with $D\cap (B-B)=\{ 0\}$, then $D+B\neq…
2
votes
1 answer

Difference sets avoiding quadratic residues

I have a homework question that is stumping me, and I am looking for an entry point. It goes like this: Suppose $p$ is prime. Prove that the largest set $S\subseteq\{0,1,\dots, p-1\}$ such that $S-S$ contains no nonzero quadratic residues must have…
2
votes
1 answer

Set of integers with unique differences

I have looked at the interesting Conway-Guy Sequence which possesses a neat property of having unique subset sums. But I would like to find an integer set (which is optimally compact, ie has the smallest difference between the smallest and largest…
2
votes
1 answer

Number of Inequivalent Difference Sets In Elementary Abelian 2-groups

I have reason to believe that there is only one$(2^{2s+2},2^{2s+1}-2^s,2^{2s}-2^s)$- difference set (based on experimentation in GAP), up to equivalence/complementation, in any elementary 2-group of order $2^{2s+2}$. Note that these are so-called…
2
votes
1 answer

Largest set $B$ such that $|A\cap (B-B)|=p$

In a preprint I was reading the following was claimed without proof: Let $A$ be a subset of $[n]:=\{1,2,\dots n\}$ where $|A|<\frac{n}{k}$ for some integer $k$. Then there exists a set $B\subset [n]$ such that $|B|=k$ and there exists no…
2
votes
2 answers

How do you find a $(21,5,1)$-difference set in $(\mathbb{Z}_{21}, +)$?

How do you find a $(21,5,1)$-difference set in $(\mathbb{Z}_{21}, +)$? I already know the answer which is $\{0,1,6,8,18\}$. But How do you get that? Obviously, if you subtract each elements by each elements except itself, we get all the elements…
2
votes
1 answer

Efficient calculation of difference sets from finite fields

A while ago I wrote a program to generate, amongst other things, difference sets from finite fields. Generating these sets is rather slow. Is there some theorem or construction I could use to speed it up? I basically use the method shown in…
2
votes
1 answer

Check my logic: Does a generalized dihedral extension necessarily contain the extension element? (I say yes.)

I want to make sure I am correct about something I read in Moore and Pollatsek's "Difference Sets": Suppose we have an abelian group $H$. If $\exists g\notin H$ with $g^2=1$ and $ghg^{-1}=h^{-1}\;\forall h\in H$ such that a group $G$ can be…
2
votes
1 answer

Groups of a specific order from a difference set.

So I am reading some surveys about Design Theory, and I am in over my head to a good extent. The text mentions a cyclic difference set in a group of order: $$v=|G|=\dfrac{q^{d+1}-1}{q-1}.$$ Apparently, there exists a symmetric $(v,k,\lambda)$-design…
1
2 3