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.

What problem does this paper attempt to address?

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.
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.
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.
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.
The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

Wei Yuan Qiu,Jing Hua Yang,Yong Cheng Yin

DOI: https://doi.org/10.1007/s10114-013-1606-5

2013-01-01

Acta Mathematica Sinica English Series

Abstract:In this paper, we give discreteness criteria of subgroups of the special linear group on ℚ p or ℂ p in two and higher dimensions. Jørgensen’s inequality gives a necessary condition for a non-elementary group of Möbius transformations to be discrete. We give a version of Jørgensen’s inequality for SL( m ,ℂ p ).
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.
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.
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.
Exterior Algebras and Two Conjectures on Finite Abelian Groups

Tao Feng,Zhi-Wei Sun,Qing Xiang

DOI: https://doi.org/10.1007/s11856-011-0037-1

2011-01-01

Israel Journal of Mathematics

Abstract:Let G be a finite abelian group with |G| > 1. Let a (1), aEuro broken vertical bar, a (k) be k distinct elements of G and let b (1), aEuro broken vertical bar, b (k) be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation pi on {1, aEuro broken vertical bar,k} such that a (1) b (pi(1)), aEuro broken vertical bar, a (k) b (pi(k)) are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.
Constructing linked systems of relative difference sets via Schur rings

Mikhail Muzychuk,Grigory Ryabov

2023-12-13

Abstract:In the present paper, we study relative difference sets (RDSs) and linked systems of them. It is shown that a closed linked system of RDSs is always graded by a group. Based on this result, we also define a product of RDS linked systems sharing the same grading group. Further, we generalize the Davis-Polhill-Smith construction of a linked system of RDSs. Finally, we construct new linked system of RDSs in a Heisenberg group over a finite field and family of RDSs in an extraspecial $p$-group of exponent $p^2$. All constructions of new RDSs and their linked systems are based essentially on a usage of cyclotomic Schur rings.

Combinatorics,Group Theory
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
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
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
Relative Dehn fuctions, hyperbolically embedded subgroups and combination theorems

Hadi Bigdely,Eduardo Martínez-Pedroza

2023-07-26

Abstract:Consider the following classes of pairs consisting of a group and a finite collection of subgroups: $\mathcal{C}= \left\{ (G,\mathcal H) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right\}$ and $ \mathcal{D}= \left\{ (G,\mathcal H) \mid \text{the relative Dehn function of $(G,\mathcal H)$ is well-defined} \right\}.$ Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$. Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that: $\bullet$ If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$. $\bullet$ If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$. $\bullet$ For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in\mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in\mathcal{H}$. That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. The method of proof provides lower and upper bounds of the relative Dehn functions in terms of the relative Dehn functions of the vertex groups. These bounds generalize and improve analogous results in the literature.

Group Theory
Generalized Skew Hadamard Difference Sets

Carlos Salazar-Lazaro

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

2014-05-01

Abstract:A skew Hadamard difference set (SHDS) is a difference set that satisfies the skew condition. It is known that if a group G admits a skew hadamard difference set, then G is a p-group with order congruent to 3 modulo 4. We will generalize skew Hadamard difference sets to Generalized Skew Hadamard Difference Sets (GSHDS) to cover the case when p is congruent to 1 module 4, and we will extend all known results that yield necessary existence conditions of skew Hadamard difference sets to our generalization, including the known exponent bounds. We will also show a set of necessary existence conditions a special family of groups. We will close the article with a general p-divisibility condition of the difference intersection numbers of a GSHDS for a special class of subgroups L.

Combinatorics
Partial difference sets from quadratic forms and $p$-ary weakly regular bent functions

Tao Feng,Bin Wen,Qing Xiang,Jianxing Yin

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

2010-02-14

Combinatorics

Abstract:We generalize the construction of affine polar graphs in two different ways to obtain new partial difference sets and amorphic association schemes. The first generalization uses a combination of quadratic forms and uniform cyclotomy. In the second 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 negative Latin square type partial difference sets arising from the first generalization are new.
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.)
Relative homology of arithmetic subgroups of $\mathrm{SU}(3)$

Claudio Bravo

2023-04-02

Abstract:Let $\mathcal{C}$ be a smooth, projective and geometrically integral curve defined over a finite field $\mathbb{F}$. Let $A$ be the ring of function of $\mathcal{C}$ that are regular outside a closed point $P$ and let $k=\mathrm{Quot}(A)$. Let $\mathcal{G}=\mathrm{SU}(3)$ be the non-split group-scheme defined from an (isotropic) hermitian form in three variables. In this work, we describe, in terms of the Euler-Poincaré characteristic, the relative homology groups of certain arithmetic subgroups $G$ of $\mathcal{G}(A)$ modulo a representative system $\mathfrak{U}$ of the conjugacy classes of their maximal unipotent subgroups. In other words, we measure how far are the homology groups of $G$ from being the coproducts of the corresponding homology groups of the subgroups $U \in \mathfrak{U}$.

Number Theory,Group Theory

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

Relative (Pa,pb,pa,pa−b

Semi-regular relative difference sets with large forbidden subgroups

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

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

Difference Sets with N=5 P(R)

The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

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

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

Hadamard difference sets related to Lander's conjecture

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Constructing linked systems of relative difference sets via Schur rings

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

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

Genuinely nonabelian partial difference sets

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

Relative Dehn fuctions, hyperbolically embedded subgroups and combination theorems

Generalized Skew Hadamard Difference Sets

Partial difference sets from quadratic forms and $p$-ary weakly regular bent functions

A New Family of Divisible Difference Sets

Relative homology of arithmetic subgroups of $\mathrm{SU}(3)$