Difference Sets with N=5 P(R)

Tao Feng

DOI: https://doi.org/10.1007/s10623-008-9254-y

2008-01-01

Abstract:Let D be a ( v , k , λ )-difference set in an abelian group G , and ( v , 31) = 1. If n = 5 p r with p a prime not dividing v and r a positive integer, then p is a multiplier of D . In the case 31| v , we get restrictions on the parameters of such difference sets D for which p may not be a multiplier.

What problem does this paper attempt to address?

Relative ( pn , p , pn , n )-difference sets with GCD ( p , n )=1

Tao Feng

DOI: https://doi.org/10.1007/s10801-008-0124-5

2008-01-01

Journal of Algebraic Combinatorics

Abstract:Let p be an odd prime. We first get some non-existence and structural results on ( pn , p , pn , n ) relative difference sets with gcd ( p , n )=1 through a group ring approach. We then give a construction of ( p ( p +1), p , p ( p +1), p +1) relative difference sets with p a Mersenne prime.
Note on (m, 2, M-1, M-2/2) Relative Difference Sets

Tao Feng,Weisheng Qiu

2009-01-01

Ars combinatoria

Abstract:In this note, we consider relative difference sets with the parameter (m, 2, m - 1, m-2/2) in a group G relative to a subgroup N. In the splitting case, G = H x N, we give a lower bound for the size of the commutator group H', and we show that H can not have a homomorphic image which is generalized dihedral. In the non-splitting case, we prove that there is no (2n, 2, 2n - 1, n - 1) relative difference set, in a generalized dihedral group of order 4n, n > 1.
Relative (pa,pb,pa,pa-b)-difference sets in p-subgroups of SL(n,K)

Tao Feng

DOI: https://doi.org/10.1016/j.ffa.2006.09.005

IF: 1.655

2007-01-01

Finite Fields and Their Applications

Abstract:In this note, we study relative (p^a,p^b,p^a,p^a^-^b)-relative difference sets in certain p-subgroups of SL(n,K), K=F"q, where q is a prime power.
Semi-regular relative difference sets with large forbidden subgroups

Tao Feng,Qing Xiang

DOI: https://doi.org/10.1016/j.jcta.2008.02.003

2008-01-01

Abstract:Motivated by a connection between semi-regular relative difference sets and mutually unbiased bases, we study relative difference sets with parameters (m,n,m,m/n) in groups of non-prime-power orders. Let p be an odd prime. We prove that there does not exist a (2p,p,2p,2) relative difference set in any group of order 2p^2, and an abelian (4p,p,4p,4) relative difference set can only exist in the group Z"2^2xZ"3^2. On the other hand, we construct a family of non-abelian relative difference sets with parameters (4q,q,4q,4), where q is an odd prime power greater than 9 and q=1(mod4). When q=p is a prime, p9, and p=1(mod4), the (4p,p,4p,4) non-abelian relative difference sets constructed here are genuinely non-abelian in the sense that there does not exist an abelian relative difference set with the same parameters.
Non-abelian skew Hadamard difference sets fixed by a prescribed automorphism

Tao Feng

DOI: https://doi.org/10.1016/j.jcta.2009.11.004

2011-01-01

Abstract:Let p be a prime larger than 3 and congruent to 3 modulo 4, and let G be the non-abelian group of order p^3 and exponent p. We study the structure of a putative difference set with parameters (p^3,p^3-12,p^3-34) in G which is fixed by a certain element of order p in Aut(G). We then give a construction of skew Hadamard difference set in the group G for each prime p3 that is congruent to 3 modulo 4. This is the first infinite family of non-abelian skew Hadamard difference sets. Finally, we show that the symmetric designs derived from these new difference sets are not isomorphic to the Paley designs.
Relative (Pa,pb,pa,pa−b

Tao Feng

DOI: https://doi.org/10.1016/j.ffa.2006.09.005

IF: 1.655

2007-01-01

Finite Fields and Their Applications

Abstract:In this note, we study relative (pa,pb,pa,pa−b)-relative difference sets in certain p-subgroups of SL(n,K), K=Fq, where q is a prime power.
Difference sets disjoint from a subgroup II: groups of order $4p^2$

Stephen P. Humphries,Nathan L. Nicholson

DOI: https://doi.org/10.48550/arXiv.2103.09892

2021-03-18

Abstract:We study finite groups $G$ having a normal subgroup $H$ and $D \subset G \setminus H, D \cap D^{-1}=\emptyset,$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it DRAD difference set}). We show that there are no such groups of order $4p^2$, where $p$ is an odd prime.

Group Theory,Combinatorics
Modular Golomb rulers and almost difference sets

Daniel M. Gordon

2024-08-30

Abstract:A $(v,k,\lambda)$-difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring ${\mathbb Z}[G]$ satisfies $$D D^{-1} = n + \lambda G,$$ where $n=k-\lambda$. In other words, the nonzero elements of $G$ all occur exactly $\lambda$ times as differences of elements in $D$. A $(v,k,\lambda,t)$-almost difference set has $t$ nonzero elements of $G$ occurring $\lambda$ times, and the other $v-1-t$ occurring $\lambda+1$ times. When $\lambda=0$, this is equivalent to a modular Golomb ruler. In this paper we investigate existence questions on these objects, and extend previous results constructing almost difference sets by adding or removing an element from a difference set.

Combinatorics
Hadamard difference sets related to Lander's conjecture

Tao Feng,Kahin Leung,Bernhard Schmidt,Ken W R Smith

DOI: https://doi.org/10.1016/j.jalgebra.2013.11.027

IF: 0.908

2014-01-01

Journal of Algebra

Abstract:If a Hadamard difference set exists in H×K, where H is an abelian 2-group and K is a cyclic 3-group, then |H|>4|K|. Furthermore, Lander's conjecture holds for all Hadamard difference sets of order at most 529.
Difference Sets with Few Character Values

Tao Feng,Sihuang Hu,Shuxing Li,Gennian Ge

DOI: https://doi.org/10.1007/s10623-013-9830-7

2013-03-07

Abstract:The known families of difference sets can be subdivided into three classes: difference sets with Singer parameters, cyclotomic difference sets, and difference sets with gcd$(v,n)>1$. It is remarkable that all the known difference sets with gcd$(v,n)>1$ have the so-called character divisibility property. In 1997, Jungnickel and Schmidt posed the problem of constructing difference sets with gcd$(v,n)>1$ that do not satisfy this property. In an attempt to attack this problem, we use difference sets with three nontrivial character values as candidates, and get some necessary conditions.

Combinatorics
Fe b 20 10 PARTIAL DIFFERENCE SETS FROM pARY WEAKLY REGULAR BENT FUNCTIONS AND QUADRATIC FORMS

TAO FENG,BIN WEN,QING XIANG,JIANXING YIN

2010-01-01

Abstract:We generalize the construction of affine polar graphs in two different ways to obtain partial difference sets and amorphic association schemes. In the first generalization we replace the quadratic form in the affine polar graph construction by higher degree homogeneous functions that are p-ary weakly regular bent. The second generalization uses a combination of quadratic forms and uniform cyclotomy. The negative Latin square type partial difference sets arising from the second generalization seem to be new.
Difference Sets and Polynomials of Prime Variables

Hongze Li,Hao Pan

DOI: https://doi.org/10.4064/aa138-1-2

2009-01-01

Acta Arithmetica

Abstract:Let \psi(x) be a polynomial with rational coefficients. Suppose that \psi has the positive leading coefficient and zero constant term. Let A be a set of positive integers with the positive upper density. Then there exist x,y\in A and a prime p such that x-y=\psi(p-1). Furthermore, if P be a set of primes with the positive relative upper density, then there exist x,y\in P and a prime p such that x-y=\psi(p-1).
Classification of semiregular relative difference sets with attaining Turyn's bound

Ka Hin Leung,Bernhard Schmidt,Tao Zhang

DOI: https://doi.org/10.1007/s10623-024-01384-z

IF: 1.4

2024-03-28

Designs Codes and Cryptography

Abstract:Suppose a relative difference set exists in an abelian group , where , , , and is self-conjugate modulo . Then is a square, say , and divides u by Turyn's exponent bound. We classify all such relative difference sets with . We also show that n must be a prime power if an abelian RDS with exists and is self-conjugate modulo n .

mathematics, applied,computer science, theory & methods
Genuinely nonabelian partial difference sets

John Polhill,James Davis,Ken Smith,Eric Swartz

2023-06-01

Abstract:Strongly regular graphs (SRGs) provide a fertile area of exploration in algebraic combinatorics, integrating techniques in graph theory, linear algebra, group theory, finite fields, finite geometry, and number theory. Of particular interest are those SRGs with a large automorphism group. If an automorphism group acts regularly (sharply transitively) on the vertices of the graph, then we may identify the graph with a subset of the group, a partial difference set (PDS), which allows us to apply techniques from group theory to examine the graph. Much of the work over the past four decades has concentrated on abelian PDSs using the powerful techniques of character theory. However, little work has been done on nonabelian PDSs. In this paper we point out the existence of \textit{genuinely nonabelian} PDSs, i.e., PDSs for parameter sets where a nonabelian group is the only possible regular automorphism group. We include methods for demonstrating that abelian PDSs are not possible for a particular set of parameters or for a particular SRG. Four infinite families of genuinely nonabelian PDSs are described, two of which -- one arising from triangular graphs and one arising from Krein covers of complete graphs constructed by Godsil \cite{Godsil_1992} -- are new. We also include a new nonabelian PDS found by computer search and present some possible future directions of research.

Combinatorics
Prime Divisors Of P-Regular Conjugacy Class Sizes

Yang Liu,Ziqun Lu

DOI: https://doi.org/10.1080/00927872.2014.918991

2015-01-01

Communications in Algebra

Abstract:For n is an element of N, we denote by pi(n) the set of prime divisors of rt. Let G be a finite group, denote by cl(G(p')) the set of p-regular conjugacy classes of G. Set rho(p') (G) = {q prime : q parallel to C vertical bar, C is an element of cl(G(p'))} and sigma(p)' (G)= max{pi vertical bar C vertical bar)vertical bar : C is an element of cl(G(p'))}. For a solvable group G, we prove that rho(p)' (G)I is bounded by sigma(p)' (G) if p = 2, or p is a Fermat prime, or G has a cyclic Sylow p-subgroup.
A curious congruence modulo prime powers

liuquan wang,tianxin cai

DOI: https://doi.org/10.1016/j.jnt.2014.04.004

IF: 0.679

2014-01-01

Journal of Number Theory

Abstract:Zhao established a curious congruence, i.e., for any prime p≥3,∑i+j+k=pi,j,k>01ijk≡−2Bp−3(modp). In this note we prove that for any prime p≥3 and positive integer r,∑i+j+k=pri,j,k∈Pp1ijk≡−2pr−1Bp−3(modpr), where Pn denotes the set of positive integers which are prime to n.
On the multiplier conjecture

Qiu Weisheng

DOI: https://doi.org/10.1007/BF02561547

1994-01-01

Abstract:The Multiplier Theorem is a celebrated theorem in the Design theory. The conditionp>λ is crucial to all known proofs of the multiplier theorem. However in all known examples of difference sets μ p . is a multiplier for every primep with (p, v)=1 andp‖n. Thus there is the multiplier conjecture: “The multiplier theorem holds without the assumption thatp>λ”. The general form of the multiplier theorem may be viewed as an attempt to partially resolve the multiplier conjecture, where the assumption “p>λ” is replaced by “n 1>λ”. Since then Newman (1963), Turyn (1964), and McFarland (1970) attempted to partially resolve the multiplier conjecture (see [7], [8], [9]). This paper will prove the following result using the representation theory of finite groups and the algebraic number theory: LetG be an abelian group of orderv,v 0 be the exponent ofG, andD be a (v, k, λ)-difference set inG. Ifn=2n 1, then the general form of the multiplier theorem holds without the assumption thatn 1>λ in any of the following cases: 2〈 n 1; a 2 Xn 1 and (v, 7)=1; 2 Xn1, 7〈 v, andt≡1 or 2 or 4 (mod 7).
Partial Difference Sets with Denniston Parameters in Elementary Abelian $p$-Groups

Jingjun Bao,Qing Xiang,Meng Zhao

2024-07-22

Abstract:Denniston \cite{D1969} constructed partial difference sets (PDS) with parameters $(2^{3m}, (2^{m+r}-2^m+2^r)(2^m-1), 2^m-2^r+(2^{m+r}-2^m+2^r)(2^r-2), (2^{m+r}-2^m+2^r)(2^r-1))$ in elementary abelian groups of order $2^{3m}$ for all $m\geq 2$ and $1 \leq r < m$. These PDS correspond to maximal arcs in the Desarguesian projective planes PG$(2, 2^m)$. Davis et al. \cite{DHJP2024} and also De Winter \cite{dewinter23} presented constructions of PDS with Denniston parameters $(p^{3m}, (p^{m+r}-p^m+p^r)(p^m-1), p^m-p^r+(p^{m+r}-p^m+p^r)(p^r-2), (p^{m+r}-p^m+p^r)(p^r-1))$ in elementary abelian groups of order $p^{3m}$ for all $m \geq 2$ and $r \in \{1, m-1\}$, where $p$ is an odd prime. The constructions in \cite{DHJP2024, dewinter23} are particularly intriguing, as it was shown by Ball, Blokhuis, and Mazzocca \cite{BBM1997} that no nontrivial maximal arcs in PG$(2, q^m)$ exist for any odd prime power $q$. In this paper, we show that PDS with Denniston parameters $(q^{3m}, (q^{m+r}-q^m+q^r)(q^m-1), q^m-q^r+(q^{m+r}-q^m+q^r)(q^r-2), (q^{m+r}-q^m+q^r)(q^r-1))$ exist in elementary abelian groups of order $q^{3m}$ for all $m \geq 2$ and $1 \leq r < m$, where $q$ is an arbitrary prime power.

Combinatorics
A New Family of Divisible Difference Sets

Hao Shen

2009-01-01

Abstract:This paper constructed two families of new divisible difference sets by means of 2-ordered(cyclotomic) classes,whose parameters are (7,p,2p-1,p-2,12(p-1)),(3,q,12(q+3),14(q-3),1),(respectively.)
The (N,m,k,λ)-Strong External Difference Family with M ≥ 5 Exists

Jiejing Wen,Minghui Yang,Keqin Feng

DOI: https://doi.org/10.48550/arxiv.1612.09495

2016-01-01

Abstract:The notion of strong external difference family (SEDF) in a finite abelian group (G,+) is raised by M. B. Paterson and D. R. Stinson [5] in 2016 and motivated by its application in communication theory to construct R-optimal regular algebraic manipulation detection code. A series of (n,m,k,λ)-SEDF's have been constructed in [5, 4, 2, 1] with m=2. In this note we present an example of (243, 11, 22, 20)-SEDF in finite field 𝔽_q (q=3^5=243). This is an answer for the following problem raised in [5] and continuously asked in [4, 2, 1]: if there exists an (n,m,k,λ)-SEDF for m≥ 5.

Difference Sets with N=5 P(R)

Relative ( pn , p , pn , n )-difference sets with GCD ( p , n )=1

Note on (m, 2, M-1, M-2/2) Relative Difference Sets

Relative (pa,pb,pa,pa-b)-difference sets in p-subgroups of SL(n,K)

Semi-regular relative difference sets with large forbidden subgroups

Non-abelian skew Hadamard difference sets fixed by a prescribed automorphism

Relative (Pa,pb,pa,pa−b

Difference sets disjoint from a subgroup II: groups of order $4p^2$

Modular Golomb rulers and almost difference sets

Hadamard difference sets related to Lander's conjecture

Difference Sets with Few Character Values

Fe b 20 10 PARTIAL DIFFERENCE SETS FROM pARY WEAKLY REGULAR BENT FUNCTIONS AND QUADRATIC FORMS

Difference Sets and Polynomials of Prime Variables

Classification of semiregular relative difference sets with attaining Turyn's bound

Genuinely nonabelian partial difference sets

Prime Divisors Of P-Regular Conjugacy Class Sizes

A curious congruence modulo prime powers

On the multiplier conjecture

Partial Difference Sets with Denniston Parameters in Elementary Abelian $p$-Groups

A New Family of Divisible Difference Sets

The (N,m,k,λ)-Strong External Difference Family with M ≥ 5 Exists