Table of Contents
Fetching ...

Regular sets in Cayley sum graphs on generalized dicyclic groups

Meiqi Peng, Yuefeng Yang

TL;DR

This work classifies $(\alpha,\beta)$-regular sets arising from Cayley sum graphs on the generalized dicyclic group $G$, focusing on all subgroups $H\le A$ and the two- coset form $\langle H,zb\rangle$. Using the abelian structure of $A$, the involution $b$, and a detailed coset analysis, the authors derive explicit necessary and sufficient conditions for $(\alpha,\beta)$ to occur, expressed in terms of invariants $|L|$, $m$, $r$, and the membership of $B$ and $b^2$ in $H$. For $H$, they show $H$ is $(\alpha,\beta)$-regular iff $H$ is $(\alpha,0)$-regular and $(0,\beta)$-regular, with precise bounds and parity constraints; for $\langle H,zb\rangle$, they provide a decomposition-based criterion tying regularity to the regularity of $S\cap A$ and $S\cap Ab$. Collectively, the results extend the theory of subgroup regular codes in Cayley sum graphs to generalized dicyclic groups, enabling constructive design of regular sets with specified adjacency patterns. The findings have potential implications for combinatorial designs and network coding within algebraically structured graphs.

Abstract

For a graph $Γ=(V(Γ),E(Γ))$, a subset $C$ of $V(Γ)$ is called an $(α,β)$-regular set in $Γ$, if every vertex of $C$ is adjacent to exactly $α$ vertices of $C$ and every vertex of $V(Γ)\setminus C$ is adjacent to exactly $β$ vertices of $C$. In particular, if $C$ is an $(α,β)$-regular set in some Cayley sum graph of a finite group $G$ with connection set $S$, then $C$ is called an $(α,β)$-regular set of $G$. In this paper, we consider a generalized dicyclic group $G$ and for each subgroup $H$ of $G$, by giving an appropriate connection set $S$, we determine each possibility for $(α,β)$ such that $H$ is an $(α,β)$-regular set of $G$.

Regular sets in Cayley sum graphs on generalized dicyclic groups

TL;DR

This work classifies -regular sets arising from Cayley sum graphs on the generalized dicyclic group , focusing on all subgroups and the two- coset form . Using the abelian structure of , the involution , and a detailed coset analysis, the authors derive explicit necessary and sufficient conditions for to occur, expressed in terms of invariants , , , and the membership of and in . For , they show is -regular iff is -regular and -regular, with precise bounds and parity constraints; for , they provide a decomposition-based criterion tying regularity to the regularity of and . Collectively, the results extend the theory of subgroup regular codes in Cayley sum graphs to generalized dicyclic groups, enabling constructive design of regular sets with specified adjacency patterns. The findings have potential implications for combinatorial designs and network coding within algebraically structured graphs.

Abstract

For a graph , a subset of is called an -regular set in , if every vertex of is adjacent to exactly vertices of and every vertex of is adjacent to exactly vertices of . In particular, if is an -regular set in some Cayley sum graph of a finite group with connection set , then is called an -regular set of . In this paper, we consider a generalized dicyclic group and for each subgroup of , by giving an appropriate connection set , we determine each possibility for such that is an -regular set of .

Paper Structure

This paper contains 6 sections, 25 theorems, 11 equations.

Key Result

Theorem 1.1

The subgroup $H$ is an $(\alpha,\beta)$-regular set of $G$ for $(\alpha,\beta)\neq(0,0)$, if and only if $0\leq\alpha\leq (2^{|L|}-1)|H|/2^{|L|}-\epsilon$, $\beta=t|H|/2^{|L|}$ with $0\leq t\leq2^{|L|}-\varepsilon$, and one of the following occurs: Here, $\varepsilon=0$ if $B\cup\{b^2\}\subseteq H$, $\varepsilon=2$ if $B\nleqslant H$, $b^2\notin H\cup B$ and $Hb^2\cap B\neq\emptyset$, and $\varep

Theorems & Definitions (48)

  • Theorem 1.1
  • Theorem 1.2
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Lemma 2.3
  • proof
  • Lemma 2.6
  • Corollary 2.7
  • ...and 38 more