The Perfect Codes of Non-coprime and Coprime Graphs

BEHNAZ TOLUE,AHMAD ERFANIAN,,

DOI: https://doi.org/10.46793/kgjmat2506.913t

2024-01-01

Kragujevac Journal of Mathematics

Abstract:In this paper, we focus on the perfect and total perfect codes of the non-coprime and coprime graphs associated to the dihedral groups and finite Abelian groups. We used the advantage of independent sets and tried to present the independent polynomial for them.

What problem does this paper attempt to address?

Generalized Cayley graphs and perfect code

Liao Qianfen,Liu Weijun

2024-01-20

Abstract:Perfect code in Cayley graphs and Cayley sum graphs is studied extensively in recent years. In this paper, we consider perfect code in generalized Cayley graphs.

Combinatorics
Perfect codes in 2-valent Cayley digraphs on abelian groups

Shilong Yu,Yuefeng Yang,Yushuang Fan,Xuanlong Ma

2024-06-17

Abstract:For a digraph $\Gamma$, a subset $C$ of $V(\Gamma)$ is a perfect code if $C$ is a dominating set such that every vertex of $\Gamma$ is dominated by exactly one vertex in $C$. In this paper, we classify strongly connected 2-valent Cayley digraphs on abelian groups admitting a perfect code, and determine completely all perfect codes of such digraphs.

Combinatorics
Subgroup total perfect codes in Cayley sum graphs

Wei, Lina

DOI: https://doi.org/10.1007/s10623-024-01405-x

IF: 1.4

2024-04-30

Designs Codes and Cryptography

Abstract:Let be a graph with vertex set V , and let a , b be nonnegative integers. An ( a , b )-regular set in is a nonempty proper subset D of V such that every vertex in D has exactly a neighbours in D and every vertex in has exactly b neighbours in D . In particular, a (1, 1)-regular set is called a total perfect code. Let G be a finite group and S a square-free subset of G closed under conjugation. The Cayley sum graph of G is the graph with vertex set G such that two vertices x , y are adjacent if and only if . A subset (respectively, subgroup) D of G is called an ( a , b )-regular set (respectively, subgroup ( a , b )-regular set) of G if there exists a Cayley sum graph of G which admits D as an ( a , b )-regular set. We obtain two necessary and sufficient conditions for a subgroup of a finite group G to be a total perfect code in a Cayley sum graph of G . We also obtain two necessary and sufficient conditions for a subgroup of a finite abelian group G to be a total perfect code of G . We classify finite abelian groups whose all non-trivial subgroups of even order are total perfect codes of the group, and as a corollary we obtain that a finite abelian group has the property that every non-trivial subgroup is a total perfect code if and only if it is isomorphic to an elementary abelian 2-group. We prove that, for a subgroup H of a finite abelian group G and any pair of positive integers ( a , b ) within certain ranges depending on H , H is an ( a , b )-regular set of G if and only if it is a total perfect code of G . Finally, we give a classification of subgroup total perfect codes of a cyclic group, a dihedral group and a generalized quaternion group.

mathematics, applied,computer science, theory & methods
Perfect codes in quintic Cayley graphs on abelian groups

Yuefeng Yang,Xuanlong Ma,Qing Zeng

2024-06-02

Abstract:A subset $C$ of the vertex set of a graph $\Gamma$ is called a perfect code of $\Gamma$ if every vertex of $\Gamma$ is at distance no more than one to exactly one vertex in $C$. In this paper, we classify all connected quintic Cayley graphs on abelian groups that admit a perfect code, and determine completely all perfect codes of such graphs.

Combinatorics
A new construction of perfect nonlinear functions using Galois rings

Tao Feng

DOI: https://doi.org/10.1002/jcd.20213

IF: 0.773

2009-01-01

Journal of Combinatorial Designs

Abstract:For a prime p, we give a construction of perfect nonlinear functions from Z(p2)(n) to Z(p2) when either of the following conditions holds: (1) n >= p; (2) nip, and n is a composite number or is the sum of positive composite numbers. It follows that when n >= 12, there is a perfect nonlinear function from Z(p2)(n) to Z(p2) for any prime p. (C) 2009 Wiley Periodicals, Inc. J Combin Designs 17: 229-239, 2009
On the Existence of Certain Optimal Self-Dual Codes with Lengths Between 74 and 116.

Tao Zhang,Jerod Michel,Tao Feng,Gennian Ge

DOI: https://doi.org/10.37236/5213

2015-01-01

The Electronic Journal of Combinatorics

Abstract:The existence of optimal binary self-dual codes is a long-standing research problem. In this paper, we present some results concerning the decomposition of binary self-dual codes with a dihedral automorphism group D-2p, where p is a prime. These results are applied to construct new self-dual codes with length 78 or 116. We obtain 16 inequivalent self-dual [78, 39, 14] codes, four of which have new weight enumerators. We also show that there are at least 141 inequivalent self-dual [116, 58, 18] codes, most of which are new up to equivalence. Meanwhile, we give some restrictions on the weight enumerators of singly even self-dual codes. We use these restrictions to exclude some possible weight enumerators of self-dual codes with lengths 74, 76, 82, 98 and 100.
Perfect codes in circulant graphs of degree $p^l-1$

Xiaomeng Wang,Oriol Serra,Shou-Jun Xu,Sanming Zhou

2024-03-05

Abstract:A perfect code in a graph is an independent set of the graph such that every vertex outside the set is adjacent to exactly one vertex in the set. A circulant graph is a Cayley graph of a cyclic group. In this paper we study perfect codes in circulant graphs of degree $p^l - 1$, where $p$ is a prime and $l \ge 1$. We obtain a necessary and sufficient condition for such a circulant graph to admit perfect codes, give a construction of all such circulant graphs which admit perfect codes, and prove a lower bound on the number of distinct perfect codes in such a circulant graph. This extends known results for the case $l=1$ and provides insight on the general problem on the existence and structure of perfect codes in circulant graphs.

Combinatorics
On Codes in the Projective Linear Group PGL(2,q)

Tao Feng,Weicong Li,Jingkun Zhou

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

IF: 1.655

2021-01-01

Finite Fields and Their Applications

Abstract:In this paper, we resolve a conjecture of Green and Liebeck (2019) [3] on codes in PGL(2,q). To be specific, we show that: if D is a dihedral subgroup of order 2(q+1) in G=PGL(2,q), and A={g∈G:gq+1=1,g2≠1}, then λG=A⋅D, where λ=q or q−1 according as q is even or odd.
Additive perfect codes in Doob graphs

Minjia Shi,Daitao Huang,Denis S. Krotov

DOI: https://doi.org/10.1007/s10623-018-0586-y

2018-11-18

Abstract:The Doob graph $D(m,n)$ is the Cartesian product of $m>0$ copies of the Shrikhande graph and $n$ copies of the complete graph of order $4$. Naturally, $D(m,n)$ can be represented as a Cayley graph on the additive group $(Z_4^2)^m \times (Z_2^2)^{n'} \times Z_4^{n''}$, where $n'+n''=n$. A set of vertices of $D(m,n)$ is called an additive code if it forms a subgroup of this group. We construct a $3$-parameter class of additive perfect codes in Doob graphs and show that the known necessary conditions of the existence of additive $1$-perfect codes in $D(m,n'+n'')$ are sufficient. Additionally, two quasi-cyclic additive $1$-perfect codes are constructed in $D(155,0+31)$ and $D(2667,0+127)$.

Information Theory
Quasi-cyclic perfect codes in Doob graphs and special partitions of Galois rings

Minjia Shi,Xiaoxiao Li,Denis S. Krotov,Ferruh Özbudak

DOI: https://doi.org/10.1109/TIT.2023.3272566

2023-05-04

Abstract:The Galois ring GR$(4^\Delta)$ is the residue ring $Z_4[x]/(h(x))$, where $h(x)$ is a basic primitive polynomial of degree $\Delta$ over $Z_4$. For any odd $\Delta$ larger than $1$, we construct a partition of GR$(4^\Delta) \backslash \{0\}$ into $6$-subsets of type $\{a,b,-a-b,-a,-b,a+b\}$ and $3$-subsets of type $\{c,-c,2c\}$ such that the partition is invariant under the multiplication by a nonzero element of the Teichmuller set in GR$(4^\Delta)$ and, if $\Delta$ is not a multiple of $3$, under the action of the automorphism group of GR$(4^\Delta)$. As a corollary, this implies the existence of quasi-cyclic additive $1$-perfect codes of index $(2^\Delta-1)$ in $D((2^\Delta-1)(2^\Delta-2)/{6}, 2^\Delta-1 )$ where $D(m,n)$ is the Doob metric scheme on $Z^{2m+n}$.

Combinatorics,Discrete Mathematics,Information Theory
Characterization of subgroup perfect codes in Cayley graphs

Jiyong Chen,Yanpeng Wang,Binzhou Xia

DOI: https://doi.org/10.1016/j.disc.2020.111813

IF: 0.961

2020-05-01

Discrete Mathematics

Abstract:A subset <math>C</math> of the vertex set of a graph <math>Γ</math> is called a perfect code in <math>Γ</math> if every vertex of <math>Γ</math> is at distance no more than 1 to exactly one vertex of <math>C</math>. A subset <math>C</math> of a group <math>G</math> is called a perfect code of <math>G</math> if <math>C</math> is a perfect code in some Cayley graph of <math>G</math>. In this paper we give sufficient and necessary conditions for a subgroup <math>H</math> of a finite group <math>G</math> to be a perfect code of <math>G</math>. Based on this, we determine the finite groups that have no nontrivial subgroup as a perfect code, which answers a question by Ma, Walls, Wang and Zhou.

mathematics
Perfectly contractile graphs and quadratic toric rings

Hidefumi Ohsugi,Kazuki Shibata,Akiyoshi Tsuchiya

DOI: https://doi.org/10.1112/blms.12789

2021-06-24

Abstract:Perfect graphs form one of the distinguished classes of finite simple graphs. In 2006, Chudnovsky, Robertson, Seymour and Thomas proved that a graph is perfect if and only if it has no odd holes and no odd antiholes as induced subgraphs, which was conjectured by Berge. We consider the class ${\mathcal A}$ of graphs that have no odd holes, no antiholes and no odd stretchers as induced subgraphs. In particular, every graph belonging to ${\mathcal A}$ is perfect. Everett and Reed conjectured that a graph belongs to ${\mathcal A}$ if and only if it is perfectly contractile. In the present paper, we discuss graphs belonging to ${\mathcal A}$ from a viewpoint of commutative algebra. In fact, we conjecture that a perfect graph $G$ belongs to ${\mathcal A}$ if and only if the toric ideal of the stable set polytope of $G$ is generated by quadratic binomials. Especially, we show that this conjecture is true for Meyniel graphs, perfectly orderable graphs, and clique separable graphs, which are perfectly contractile graphs.

Commutative Algebra,Combinatorics
On extended perfect codes

Konstantin Vorob'ev

2024-03-17

Abstract:We consider extended $1$-perfect codes in Hamming graphs $H(n,q)$. Such nontrivial codes are known only when $n=2^k$, $k\geq 1$, $q=2$, or $n=q+2$, $q=2^m$, $m\geq 1$. Recently, Bespalov proved nonexistence of extended $1$-perfect codes for $q=3$, $4$, $n>q+2$. In this work, we characterize all positive integers $n$, $r$ and prime $p$, for which there exist such a code in $H(n,p^r)$.

Combinatorics,Information Theory
On multifold perfect codes and some other completely regular codes in the Doob graphs and quaternary Hamming graphs

Evgeny Bespalov

2023-12-12

Abstract:We consider the problem of existence of perfect $2$-colorings in the Doob graphs $D(m,n)$ and $4$-ary Hamming graphs $H(n,4)$. We characterize all parameters for which multifold $1$-perfect code in $D(m,n)$ exists. Also, we prove that for any pair $(b,c)$ that satisfy standard conditions (Lloyd's and sphere-packing conditions) there is perfect $(b,c)$-coloring in Doob graphs and Hamming graphs if diameter of graph and $n$ are sufficiently large ($n$ not less than $0$, $1$ or $8$ for some cases). Also we obtain some completely regular codes with covering radius $2$.

Combinatorics
Characterizing subgroup perfect codes by 2-subgroups

Junyang Zhang

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

2022-11-06

Abstract:A perfect code in a graph $\Gamma$ is a subset $C$ of $V(\Gamma)$ such that no two vertices in $C$ are adjacent and every vertex in $V(\Gamma)\setminus C$ is adjacent to exactly one vertex in $C$. Let $G$ be a finite group and $C$ a subset of $G$. Then $C$ is said to be a perfect code of $G$ if there exists a Cayley graph of $G$ admiting $C$ as a perfect code. It is proved that a subgroup $H$ of $G$ is a perfect code of $G$ if and only if a Sylow $2$-subgroup of $H$ is a perfect code of $G$. This result provides a way to simplify the study of subgroup perfect codes of general groups to the study of subgroup perfect codes of $2$-groups. As an application, a criterion for determining subgroup perfect codes of projective special linear groups $\mathrm{PSL}(2,q)$ is given.

Combinatorics
Generalized non-coprime graphs of groups

S. Anukumar Kathirvel,Peter J. Cameron,T. Tamizh Chelvam

DOI: https://doi.org/10.1007/s10801-024-01310-5

2024-04-03

Journal of Algebraic Combinatorics

Abstract:Let G be a finite group with identity e and be a subgroup of G . The generalized non-coprime graph of with respect to is the simple undirected graph with as the vertex set and two distinct vertices and are adjacent if and only if and either or , where | x | is the order of . In this paper, we study certain graph theoretical properties of generalized non-coprime graphs of finite groups, concentrating on cyclic groups. More specifically, we obtain necessary and sufficient conditions for the generalized non-coprime graph of a cyclic group to be in the class of stars, paths, triangle-free, complete bipartite, complete, split, claw-free, chordal or perfect graphs. Then we show that widening the class of groups to all finite nilpotent groups gives us no new graphs, but we give as an example of contrasting behaviour the class of EPPO groups (those in which all elements have prime power order). We conclude with a connection to the Gruenberg–Kegel graph.

mathematics
No More Perfect Codes: Classification of Perfect Quantum Codes

Zhuo Li,Lijuan Xing

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

2009-07-01

Abstract:We solve the problem of the classification of perfect quantum codes. We prove that the only nontrivial perfect quantum codes are those with the parameters . There exist no other nontrivial perfect quantum codes.

Quantum Physics,Information Theory
A Novel Approach to Counting Perfect Matchings of Graphs

Pravakar Paul,Manjil P. Saikia

2024-08-17

Abstract:We build a new perspective to count perfect matchings of a given graph. This idea is motivated by a construction on the relative cohomology group of surfaces. As an application of our theory, we reprove the celebrated Aztec Diamond theorem, and show how alternating sign matrices naturally arises through this framework.

Combinatorics
Perfect Codes over Non-Prime Power Alphabets: An Approach Based on Diophantine Equations

Pedro-José Cazorla García

DOI: https://doi.org/10.3390/math12111642

IF: 2.4

2024-05-24

Mathematics

Abstract:Perfect error-correcting codes allow for an optimal transmission of information while guaranteeing error correction. For this reason, proving their existence has been a classical problem in both pure mathematics and information theory. Indeed, the classification of the parameters of e-error correcting perfect codes over q-ary alphabets was a very active topic of research in the late 20th century. Consequently, all parameters of perfect e-error-correcting codes were found if e≥3, and it was conjectured that no perfect 2-error-correcting codes exist over any q-ary alphabet, where q>3. In the 1970s, this was proved for q a prime power, for q=2r3s and for only seven other values of q. Almost 50 years later, it is surprising to note that there have been no new results in this regard and the classification of 2-error-correcting codes over non-prime power alphabets remains an open problem. In this paper, we use techniques from the resolution of the generalised Ramanujan–Nagell equation and from modern computational number theory to show that perfect 2-error-correcting codes do not exist for 172 new values of q which are not prime powers, substantially increasing the values of q which are now classified. In addition, we prove that, for any fixed value of q, there can be at most finitely many perfect 2-error-correcting codes over an alphabet of size q.

mathematics
A complete classification of perfect unitary Cayley graphs

Ján Mináč,Tung T. Nguyen,Nguyen Duy Tân

2024-09-03

Abstract:Due to their elegant and simple nature, unitary Cayley graphs have been an active research topic in the literature. These graphs are naturally connected to several branches of mathematics, including number theory, finite algebra, representation theory, and graph theory. In this article, we study the perfectness property of these graphs. More precisely, we provide a complete classification of perfect unitary Cayley graphs associated with finite rings.

Combinatorics,Rings and Algebras

The Perfect Codes of Non-coprime and Coprime Graphs

Generalized Cayley graphs and perfect code

Perfect codes in 2-valent Cayley digraphs on abelian groups

Subgroup total perfect codes in Cayley sum graphs

Perfect codes in quintic Cayley graphs on abelian groups

A new construction of perfect nonlinear functions using Galois rings

On the Existence of Certain Optimal Self-Dual Codes with Lengths Between 74 and 116.

Perfect codes in circulant graphs of degree $p^l-1$

On Codes in the Projective Linear Group PGL(2,q)

Additive perfect codes in Doob graphs

Quasi-cyclic perfect codes in Doob graphs and special partitions of Galois rings

Characterization of subgroup perfect codes in Cayley graphs

Perfectly contractile graphs and quadratic toric rings

On extended perfect codes

On multifold perfect codes and some other completely regular codes in the Doob graphs and quaternary Hamming graphs

Characterizing subgroup perfect codes by 2-subgroups

Generalized non-coprime graphs of groups

No More Perfect Codes: Classification of Perfect Quantum Codes

A Novel Approach to Counting Perfect Matchings of Graphs

Perfect Codes over Non-Prime Power Alphabets: An Approach Based on Diophantine Equations

A complete classification of perfect unitary Cayley graphs