Graphic Groups, Graph Homomorphisms, and Graphic Group Lattices in Asymmetric Topology Cryptography

Abstract

Using asymmetric topology cryptography to encrypt networks on the basis of topology coding is a new topic of cryptography, which consists of two major elements, i.e., topological structures and mathematical constraints. The topological signature of asymmetric topology cryptography is stored in the computer by matrices that can produce number-based strings for application. By means of algebra, we introduce every-zero mixed graphic groups, graphic lattices, and various graph-type homomorphisms and graphic lattices based on mixed graphic groups into cloud computing technology. The whole network encryption will be realized by various graphic groups.

1. Introduction

1.1. Research Background

Cryptography is the core technology and basic support to ensure network and information security. As is well known, modern cryptography and its mathematical theories, such as lattice cryptography, are used as a kind of cryptography to resist quantum computing attacks. From Ref. [1], one can learn more about the importance and research status of lattice cryptography in the design of mathematical problems as well as its development and applications.

Xiaogang Wen, an academician of the United States, pointed out in his article entitled “New revolution in physics modern mathematics in condensed matter physics” that “But since the quantum revolution, especially, the second quantum revolution, we are more and more aware that our world is not continuous, but discrete. We should look at the world from the perspective of algebra.” Indeed, the development of modern mathematics proceeds exactly from continuous to discrete as well as from analysis to algebra. Modern mathematics also asserts the notion that discrete algebra is more essential than continuous analysis.

Group theory and, in particular, non-Abelian groups provide plenty of supply of complex and varied problems for cryptography. Over the past few decades, group-based cryptography has been extensively studied. For example, in 1999 Anshel and coauthors proposed the commutator key-exchange protocol based on the braid groups [2]. In 2004, Eick and Kahrobaei proposed the polycyclic groups as a new platform for cryptography [3]. These polycyclic groups are a natural generalization of cyclic groups with more complex algorithmic theory. In 2008, Ostrovsky and Skeith III determined sufficient and necessary conditions for the existence of a fully homomorphic encryption scheme (over a non-zero ring) if and only if homomorphic encryption exists over any finite non-Abelian simple group [4]. Since 2016, graph groups have been proposed by Flores, Kahrobaei, and Koberda for various cryptographic protocols as several of the algorithmic problems in these graph groups are NP-complete, which provides quantum-resistant cryptosystems (see, Section 7 of Ref. [5] for more detail). Moreover, in 2019 Kahrobaei and coauthors proposed the nilpotent groups for making multi-linear maps [6]. In 2021, Anshel and coauthors presented the so-called WalnutDSA™ [7], a group-based quantum-resistant public-key digital signature method on the basis of the one-way function E-multiplication. It can provide very efficient means of validating digital signatures, as the authors claimed [7], which is essential for low-powered and constrained devices. Just very recently, a complete overview of the actual state of group-based cryptography in the quantum era was updated by Kahrobaei, Flores, and Noce [8], in which some important encryption groups such as polycyclic groups and graph groups, as well as relevant combinatorial algebraic problems, are reviewed in detail.

The advantages of asymmetric encryption are as follows: higher security, the public key is public, and the private key is saved by oneself instead of sharing with others. In Ref. [9], we proposed the graphic group based on the Abelian additive operation of finite modulus in 2017, called every-zero graphic group. Graphic groups were further investigated in detail [10,11,12,13,14]. The mixed graphic group was introduced for the first time in Ref. [15] and then employed to encrypt networks in whole. Moreover, the infinite graphic group was also introduced [16].

Cryptographical graphs should possess the following characteristics: (1) they can be conveniently used in daily activities; (2) they are characterized by strong security, i.e., they are difficult to crack; (3) graphs and colorings (resp. labelings) are available for making topological key-pairs. In the present work, our goal is to propose some techniques of asymmetric topology cryptography for encrypting networks.

The present paper is structured as follows. After introducing basic concepts and definitions in Section 1.2, in the following section we shall focus on graphic groups by introducing mixed graphic groups and some particular mixed graphic groups such as infinite mixed graphic groups and their homomorphisms. In Section 3, some graphic lattices will be built up by several every-zero mixed graphic groups for encrypting networks. In Section 4, we will discuss the whole network encryption, such as encrypting tree-like networks.

1.2. Basic Concepts and Definitions

In the present paper, the terminologies and notations from Refs. [17,18,19], as well as the following notations, will be used.

Throughout this paper, let G be a non-trivial simple undirected graph with vertex set $V\left(G\right)$ and edge set $E\left(G\right)$. A graph G is a $(p,q)$-graph if $\left|V\right(G\left)\right|=p$ and $\left|E\right(G\left)\right|=q$. A tree is a connected acyclic graph, in which a leaf is a vertex of degree one and any two vertices are connected by a unique path. A simple graph is called a complete graph if each pair of distinct vertices is joined by an edge in the graph. A complete graph of n vertices is denoted as $K_n$. A bipartite graph H holds $V\left(H\right)=X\cup Y$ with $X\cap Y=\varnothing$ such that each edge $uv\in E\left(H\right)$ holds $u\in X$ and $v\in Y$.

The cardinality of a set X is denoted as $\left|X\right|$; $[a,b]$ indicates a set $\{a,a+1,a+2,\cdots ,b\}$ with integers $a,b$ holding $a<b$; ${[r,s]}^o$ denotes an odd-integer set $\{r,r+2,\cdots ,s\}$ with odd numbers $r,s$ holding $1\le r\le s-2$ true; and $Z^0$ represents the set of all non-negative integers.

A graph labeling is an assignment of integers to the vertices or edges, or both, subject to certain conditions. In fact, graph labeling was first introduced in the mid 1960s, and since then approximately 200 graph-labeling techniques have been investigated [20]. In addition, the statement “a W-constraint proper total coloring (resp. labeling)” means one of various graph labelings, or one of various graph colorings hereafter. Graph colorings and labelings that are not defined here can be found in Refs. [20,21]. Motivated by the algebraic category, here we propose the graphic category as follows:

Definition 1.

A graphic category $\mathit{G}$ consists of

(i) A set of graphs admitting total colorings;

(ii) A set of morphisms from A to B for two graphs $A,B\in \mathit{G}$, which is denoted as $H_{om}(A,B)$. For two morphisms $f\in H_{om}(A,B)$ and $g\in H_{om}(B,C)$, the morphism $g\circ f\in H_{om}(A,C)$ is called composition, and it satisfies the following two axioms:

(1) Associativity law. For morphisms $f\in H_{om}(A,B)$, $g\in H_{om}(B,C)$, and $h\in H_{om}(C,D)$, we have $(h\circ g)\circ f=h\circ (g\circ f)$;

(2) Identity law. For any morphism $f\in H_{om}(A,B)$, we have $f\circ 1_A=f=1_B\circ f$, where $1_A\in H_{om}(A,A)$ and $1_B\in H_{om}(B,B)$.

Definition 2.

A set S of graphs $S_i$ admitting X-constraint total colorings $f_i$ is called the X-constraint every-zero mixed graphic group, if there is an Abelian additive operation “$\left[{+}_k\right]$” on the elements of S in the following way: arbitrarily take an element $S_k\in S$ as the zero. We define the operation $S_i\left[{+}_k\right]S_j$ as follows:

$$S_i\left[{+}_k\right]S_j:=S_i[+]S_j[-]S_k=S_{\lambda }\in S$$

(1)

with $\lambda =i+j-k(\mathrm{mod} \epsilon )$ computed by

$$f_i\left[{+}_k\right]f_j:=\left[f_i\left(\omega \right)+f_j\left(\omega \right)-f_k\left(\omega \right)\right](\mathrm{mod} \epsilon )=f_{\lambda }\left(\omega \right)$$

(2)

with $f_{\lambda }\left(\omega \right)\in f_{\lambda }(V\left(S\right)\cup E\left(S\right))$ and any preappointed zero $S_k\in S$.

Definition 3

(See also Ref. [22]). Suppose that a $(p,q)$-graph G admits a W-constraint total coloring $f:V\left(G\right)\cup E\left(G\right)\to [a,b]$; a colored Topcode-matrix $T_{code}(G,f)$ of the graph G is defined as

$$\begin{array}{c}\hfill T_{code}(G,f)={\left(\begin{array}{cccc}f\left(x_1\right)& f\left(x_2\right)& \cdots & f\left(x_q\right)\\ f\left(x_1{y}_1\right)& f\left(x_2{y}_2\right)& \cdots & f\left(x_q{y}_q\right)\\ f\left(y_1\right)& f\left(y_2\right)& \cdots & f\left(y_q\right)\end{array}\right)}_{3\times q}=\left(\begin{array}{c}{X}_f\\ E_f\\ Y_f\end{array}\right)={(X_f,E_f,Y_f)}^T\end{array}$$

(3)

holding the W-constraint $W⟨f\left(x_i\right),f\left(x_i{y}_i\right),f\left(y_i\right)⟩=0$ for $i\in [1,q]$. Moreover, if G is a bipartite graph with the vertex set $V\left(G\right)=X^v\cup Y^v$ and $X^v\cap Y^v=\varnothing$, we stipulate $x_i\in X^v$ and $y_i\in Y^v$ such that $X_f\cap Y_f=\varnothing$ in Equation (3), where “W-constraint” is a mathematical constraint, or a group of mathematical constraints.

2. Graphic Groups

2.1. Mixed Graphic Groups

Wang et al. have defined the mixed graphic group [15]; here, we present an improved definition of the mixed graphic group as follows:

Definition 4.

Suppose that a $(p,q)$-graph G admits a W-constraint proper total coloring $f:V\left(G\right)\cup E\left(G\right)\to [1,M]$, such that two color sets $f\left(V\right(G\left)\right)=\left\{f\right(x):x\in V(G\left)\right\}$ and $f\left(E\right(G\left)\right)=\left\{f\right(uv):uv\in E(G\left)\right\}$ hold a collection of restrictions. We define a colored graph set $M_f\left(G\right)=\{G_{s,k}:s\in [1,p],k\in [1,q]\}$ with $G_{s,k}\cong G$, we define a W-constraint proper total coloring $g_{s,k}\left(x\right)=f\left(x\right)+s\left(\mathrm{mod}p\right)$ for every vertex $x\in V\left(G_{s,k}\right)$, and $g_{s,k}\left(uv\right)=f\left(uv\right)+k\left(\mathrm{mod}q\right)$ for each edge $uv\in E\left(G_{s,k}\right)$.

Lemma 1.

Each colored graph set $M_f\left(G\right)$ defined in Definition 4 forms an every-zero mixed graphic group based on the Abelian additive operation defined in Definition 2.

Proof. 

By Definitions 2 and 4, we define the Abelian additive operation “$G_{s,k}\left[{+}_{a,b}\right]G_{i,j}$” on the colored graph set $M_f\left(G\right)$ under a preappointed zero $G_{a,b}\in M_f\left(G\right)$ as follows,

$$\left[g_{s,k}\left(w\right)+g_{i,j}\left(w\right)-g_{a,b}\left(w\right)\right](\mathrm{mod} \epsilon )=g_{\lambda ,\mu }\left(w\right)\in M_f\left(G\right)$$

(4)

for each element $w\in V\left(G\right)\cup E\left(G\right)$, where $\lambda =s+i-a(\mathrm{mod} p)$ and $\mu =k+j-b(\mathrm{mod} q)$. As $w=x\in V\left(G\right)$, we have $\epsilon =p$, and thus Equation (4) is equivalent to

$$\left[g_{s,k}\left(x\right)+g_{i,j}\left(x\right)-g_{a,b}\left(x\right)\right](\mathrm{mod} p)=g_{\lambda ,\mu }\left(x\right)\in M_f\left(G\right).$$

(5)

As $w=uv\in E\left(G\right)$, we have $\epsilon =q$, and Equation (4) is also equivalent to

$$\left[g_{s,k}\left(uv\right)+g_{i,j}\left(uv\right)-g_{a,b}\left(uv\right)\right](\mathrm{mod} q)=g_{\lambda ,\mu }\left(uv\right)\in M_f\left(G\right).$$

(6)

Especially, as $s=i=a=\alpha$, we have $\mathrm{mod} \epsilon =\mathrm{mod} q$ in Equation (4), and thus we obtain

$$\left[g_{\alpha ,k}\left(uv\right)+g_{\alpha ,j}\left(uv\right)-g_{\alpha ,b}\left(uv\right)\right](\mathrm{mod} q)=g_{\alpha ,\mu }\left(uv\right)\in M_f\left(G\right)$$

(7)

for $uv\in E\left(G\right)$. When $k=j=b=\beta$, and $\mathrm{mod} \epsilon =\mathrm{mod} p$ in Equation (4), we have

$$\left[g_{s,\beta }\left(x\right)+g_{i,\beta }\left(x\right)-g_{a,\beta }\left(x\right)\right](\mathrm{mod} p)=g_{\lambda ,\beta }\left(x\right)\in M_f\left(G\right)$$

(8)

for $x\in V\left(G\right)$.

We show the following facts on the colored graph set $M_f\left(G\right)$:

(i) Zero. Each graph $G_{a,b}\in M_f\left(G\right)$ can be determined as zero such that $G_{s,k}\left[{+}_{a,b}\right]G_{a,b}=G_{s,k}$.

(ii) Uniqueness. For $G_{s,k}\left[{+}_{a,b}\right]G_{i,j}=G_{c,d}\in M_f\left(G\right)$ and $G_{s,k}\left[{+}_{a,b}\right]G_{i,j}=G_{r,t}\in M_f\left(G\right)$, we have the facts $c=s+i-a(\mathrm{mod} p)=r$ and $d=k+j-b(\mathrm{mod} q)=t$ under the zero $G_{a,b}$.

(iii) Inverse. Each graph $G_{s,k}\in M_f\left(G\right)$ has its own inverse$G_{s{}^{\prime },k{}^{\prime }}\in M_f\left(G\right)$ holding $G_{s,k}\left[{+}_{a,b}\right]G_{s{}^{\prime },k{}^{\prime }}$$=G_{a,b}$ determined by $[g_{s,k}\left(w\right)+g_{s{}^{\prime },k{}^{\prime }}\left(w\right)]\left(\mathrm{mod}\epsilon \right)=2g_{a,b}\left(w\right)$ for each element $w\in V\left(G\right)\cup E\left(G\right)$.

(iv) Associative law. Under the zero $G_{a,b}$, each triple $G_{s,k},G_{i,j},G_{c,d}\in M_f\left(G\right)$ holds

$$G_{s,k}\left[{+}_{a,b}\right]\left(G_{i,j}\left[{+}_{a,b}\right]G_{c,d}\right)=\left(G_{s,k}\left[{+}_{a,b}\right]G_{i,j}\right)\left[{+}_{a,b}\right]G_{c,d}$$

(v) Commutative law. Each pair of $G_{s,k},G_{i,j}\in M_f\left(G\right)$ holds $G_{s,k}\left[{+}_{a,b}\right]G_{i,j}=G_{i,j}\left[{+}_{a,b}\right]G_{s,k}$ under the zero $G_{a,b}$.

The proof of the lemma is complete. □

Remark 1.

Regarding the proof of Lemma 1, there are

(i) By Equations (5) and (6) shown in the proof of Lemma 1, we have

$$\left[f\left(x\right)+s+f\left(x\right)+i-\left(f\right(x)+a)\right](\mathrm{mod} p)=f\left(x\right)+s+i-a(\mathrm{mod} p)=g_{\lambda ,\mu }\left(x\right)$$

(9)

with $\lambda =s+i-a(\mathrm{mod} p)$, and

$$\left[f\left(uv\right)+k+f\left(uv\right)+j-\left(f\right(uv)+b)\right](\mathrm{mod} q)=f\left(uv\right)+k+j-b(\mathrm{mod} q)=g_{\lambda ,\mu }\left(uv\right)$$

(10)

with $\mu =k+j-b(\mathrm{mod} q)$. Thus, we obtain a formula

$$G_{s,k}[+]G_{i,j}[-]G_{a,b}=G_{\lambda ,\mu }\in M_f\left(G\right).$$

(11)

(ii) We call the mixed graphic group $M_f\left(G\right)=\{G_{s,k}:s\in [1,p],k\in [1,q]\}$ every-zero mixed graphic group based on the Abelian additive operation “$G_{i,j}\left[{+}_{a,b}\right]G_{s,k}$” defined in Equation (4), denote it as $\mathit{G}=\{M_f\left(G\right);[+]\}$, and we present its matrix expression as follows:

$$\begin{array}{c}\hfill \mathit{G}={\left(\begin{array}{cccc}{G}_{1,1}& G_{1,2}& \cdots & G_{1,q}\\ G_{2,1}& G_{2,2}& \cdots & G_{2,q}\\ \cdots & \cdots & \cdots & \cdots \\ G_{p,1}& G_{p,2}& \cdots & G_{p,q}\end{array}\right)}_{p\times q}\end{array}$$

(12)

(iii) The every-zero mixed graphic group $\mathit{G}$ contains $pq$ graphs in total. There are two particular every-zero graphic subgroups, $\{F_v\left(G\right);[+]\}=\{G_{s,1}:s\in [1,p]\}\subset \mathit{G}$ and $\{F_e\left(G\right);[+]\}=\{G_{1,k}:k\in [1,q]\}\subset \mathit{G}$, based on the Abelian additive operation. In fact, $\mathit{G}$ contains at least $(p+q)$ every-zero graphic subgroups.

Figure 1 shows an every-zero mixed graphic group based on a colored graph set $M_f\left(G\right)=\{G_{s,k}:s\in [1,6],k\in [1,5]\}$, where $6=0\left(\mathrm{mod}6\right)$ and $5=5\left(\mathrm{mod}5\right)$ for vertex colors, whereas $5=0\left(\mathrm{mod}5\right)$ for edge colors. By using the colored graphs shown in Figure 1, one can readily verify Equation (11): $G_{s,k}[+]G_{i,j}[-]G_{a,b}=G_{\lambda ,\mu }$ for vertices and edges.

Figure 1. An every-zero mixed graphic group $\mathit{G}$ for illustrating Definition 4 and Lemma 1.

Theorem 1.

Each every-zero mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Remark 1; Definitions 3 and 4 form a graphic category based on a preappointed zero $G_{a,b}\in \mathit{G}$ defined in Definition 1.

Proof. 

We define a graphic morphism ${\theta }_{a,b}(G_{s,k},G_{i,j})$ from $G_{s,k}$ to $G_{i,j}$ by the Abelian additive operation $G_{s,k}\left[{+}_{a,b}\right]G_{i,j}$ based on a preappointed zero $G_{a,b}\in \mathit{G}=\{M_f\left(G\right);[+]\}$, that is, ${\theta }_{a,b}(G_{s,k},G_{i,j}):=G_{s,k}\left[{+}_{a,b}\right]G_{i,j}$. Notice that $G_{s,k}\left[{+}_{a,b}\right]G_{i,j}=G_{i,j}\left[{+}_{a,b}\right]G_{s,k}$, so ${\theta }_{a,b}(G_{s,k},G_{i,j})={\theta }_{a,b}(G_{i,j},G_{s,k})$.

For $G_{i,j},G_{i+1,j+1},G_{i+2,j+2}\in \mathit{G}$, we define the composition of two graphic morphisms as follows:

$$\begin{array}{cc}\hfill {\theta }_{a,b}(G_{i,j},G_{i,j+2})& ={\theta }_{a,b}(G_{i,j},G_{i,j+1})\circ {\theta }_{a,b}(G_{i,j+1},G_{i,j+2})\hfill \\ \hfill & =\left(G_{i,j}\left[{+}_{a,b}\right]G_{i,j+1}\right)\circ \left(G_{i,j+1}\left[{+}_{a,b}\right]G_{i,j+2}\right)\hfill \\ \hfill & =G_{i,j}\left[{+}_{a,b}\right]G_{i,j+2}\hfill \end{array}$$

(13)

and

$$\begin{array}{cc}\hfill {\theta }_{a,b}(G_{i,j},G_{i+2,j})& ={\theta }_{a,b}(G_{i,j},G_{i+1,j})\circ {\theta }_{a,b}(G_{i+1,j},G_{i+2,j})\hfill \\ \hfill & =\left(G_{i,j}\left[{+}_{a,b}\right]G_{i+1,j}\right)\circ \left(G_{i+1,j}\left[{+}_{a,b}\right]G_{i+2,j}\right)\hfill \\ \hfill & =G_{i,j}\left[{+}_{a,b}\right]G_{i+2,j}.\hfill \end{array}$$

(14)

So, we have

$$\begin{array}{cc}\hfill {\theta }_{a,b}(G_{i,j},G_{i+2,j+2})& ={\theta }_{a,b}(G_{i,j},G_{i+1,j+1})\circ {\theta }_{a,b}(G_{i+1,j+1},G_{i+2,j+2})\hfill \\ \hfill & =\left(G_{i,j}\left[{+}_{a,b}\right]G_{i+1,j+1}\right)\circ \left(G_{i+1,j+1}\left[{+}_{a,b}\right]G_{i+2,j+2}\right)\hfill \\ \hfill & =G_{i,j}\left[{+}_{a,b}\right]G_{i+2,j+2}.\hfill \end{array}$$

(15)

Since ${\theta }_{a,b}(G_{s,k},G_{i,j})\circ 1_{s,k}={\theta }_{a,b}(G_{s,k},G_{i,j})$ for $1_{s,k}={\theta }_{a,b}(G_{s,k},G_{s,k})$ and $1_{i,j}\circ {\theta }_{a,b}(G_{s,k},G_{i,j})$

$={\theta }_{a,b}(G_{s,k},G_{i,j})$ for $1_{i,j}={\theta }_{a,b}(G_{i,j},G_{i,j})$, the identity law in Definition 1 holds true. The associativity law stands for graphic morphisms.

In general, by using Equations (13) and (14) repeatedly, we can obtain a graphic morphism composition as follows:

$$\begin{array}{cc}\hfill {\theta }_{a,b}(G_{i,j},G_{s,k})& ={\theta }_{a,b}(G_{i,j},G_{c,d})\circ {\theta }_{a,b}(G_{c,d},G_{s,k})\hfill \\ \hfill & =\left(G_{i,j}\left[{+}_{a,b}\right]G_{c,d}\right)\circ \left(G_{c,d}\left[{+}_{a,b}\right]G_{s,k}\right)\hfill \\ \hfill & =G_{i,j}\left[{+}_{a,b}\right]G_{s,k}\hfill \end{array}$$

(16)

and the graphic morphism triangular law.

We claim that the every-zero mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ forms a graphic category based on the graphic morphism set $H_{om}^{a,b}(G_{i,j},G_{s,k})=\{{\theta }_{a,b}(G_{i,j},G_{s,k}):G_{i,j},G_{s,k}\in \mathit{G}\}$ for the preappointed zero $G_{a,b}\in \mathit{G}$. □

Theorem 2.

Each every-zero mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Definitions 3 and 4 forms m graphic categories such as $H_{om}^{a,b}(G_{i,j},G_{s,k})$, shown in the proof of Theorem 1, for each $G_{a,b}\in \mathit{G}$, where m is the number of elements of the every-zero mixed graphic group $\mathit{G}$.

Theorem 3.

A Topcode-matrix group $\{T_{code}(G_{s,k},g_{s,k}):G_{s,k}\in \mathit{G}=\{M_f\left(G\right);[+]\}\}$ based on an every-zero mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Definitions 3 and 4 forms a Topcode-matrix category defined in Definitions 1 and 3.

Remark 2.  (i) We take three Topcode-matrices

$$T_{code}(G_{1,2},g_{1,2}),T_{code}(G_{3,3},g_{3,3}),T_{code}(G_{6,4},g_{6,4})\in M_T=\{T_{code}(G_{s,k},g_{s,k}):G_{s,k}\in \{M_f\left(G\right);[+]\}\},$$

where the Topcode-matrix set $M_T$ is made by the Topcode-matrices of the colored graphs of the every-zero mixed graphic group $M_f\left(G\right)=\{G_{s,k}:s\in [1,6],k\in [1,5]\}$ shown in Figure 1. Let $T_{code}(G_{6,4},g_{6,4})$ be zero; we compute

$$\begin{array}{cc}\hfill & T_{code}(G_{1,2},g_{1,2})[+]T_{code}(G_{3,3},g_{3,3})[-]T_{code}(G_{6,4},g_{6,4})\hfill \\ \hfill =& \left(\begin{array}{ccccc}0& 1& 1& 3& 4\\ 1& 5& 4& 2& 3\\ 1& 5& 4& 4& 2\end{array}\right)[+]\left(\begin{array}{ccccc}2& 3& 3& 5& 0\\ 2& 1& 5& 3& 4\\ 3& 1& 0& 0& 4\end{array}\right)[-]\left(\begin{array}{ccccc}5& 0& 0& 2& 3\\ 3& 2& 1& 4& 5\\ 0& 4& 3& 3& 1\end{array}\right)\hfill \\ \hfill =& \left(\begin{array}{ccccc}3& 4& 4& 0& 1\\ 5& 4& 3& 1& 2\\ 4& 2& 1& 1& 5\end{array}\right)=T_{code}(G_{4,1},g_{4,1})\hfill \\ \hfill =& \left(\begin{array}{ccccc}{g}_{4,1}\left(x_1\right)& g_{4,1}\left(y_1\right)& g_{4,1}\left(y_1\right)& g_{4,1}\left(y_2\right)& g_{4,1}\left(x_3\right)\\ g_{4,1}\left(x_1{y}_1\right)& g_{4,1}\left(x_2{y}_1\right)& g_{4,1}\left(x_3{y}_1\right)& g_{4,1}\left(x_3{y}_2\right)& g_{4,1}\left(x_3{y}_3\right)\\ g_{4,1}\left(y_1\right)& g_{4,1}\left(x_2\right)& g_{4,1}\left(x_3\right)& g_{4,1}\left(x_3\right)& g_{4,1}\left(y_3\right)\end{array}\right)\hfill \end{array}$$

(17)

under the edge modular $\mathrm{mod} 5$ and the vertex modular $\mathrm{mod}6$. By using the Abelian additive operation “$T_{code}(G_{s,k},g_{s,k})\left[{+}_{a,b}\right]T_{code}(G_{i,j},g_{i,j})$”, it is not hard to verify the Topcode-matrix set $M_T$ forms a Topcode-matrix group.

(ii) From Definition 3, each Topcode-matrix $T_{code}(G_{s,k},g_{s,k})$ generates $\left(3q\right)!$ number-based strings for real application. As can be seen from Equation (17), the Topcode-matrix $T_{code}(G_{4,1},g_{4,1})$ can induce the following number-based strings:

$$344015431242115,354244432110125,343124421150154$$

for encrypting digital files of information networks.

(iii) Notice that a Topcode-matrix $T_{code}(G_{s,k},g_{s,k})$ corresponds to two or more graphs, which are mutually not isomorphic from each other in general; see Figure 2 for examples. Coloring a connected graph with the elements of a Topcode-matrix group $\{T_{code}(G_{s,k},g_{s,k}):G_{s,k}\in \mathit{G}\}$ is a new topic in the Topcode-matrix category.

Figure 2. (a–f) correspond to one Topcode-matrix, but (aa–ff) are mutually not isomorphic from each other.

Theorem 4.

For two every-zero mixed graphic groups $\{M_f\left(G\right);[+]\}$ and $\{F_h\left(H\right);[+]\}$ defined in Remark 1, suppose that $M_f\left(G\right)=\{G_1,G_2,\dots ,G_n\}$ and $F_h\left(H\right)=\{H_1,H_2,\dots ,H_n\}$, and there are graph homomorphisms $G_i\to H_i$ defined by ${\theta }_i:V\left(G_i\right)\to V\left(H_i\right)$ such that each edge $uv\in E\left(G_i\right)$ corresponds to an edge ${\theta }_i\left(u\right){\theta }_i\left(v\right)\in E\left(H_i\right)$ for $i\in [1,n]$. Then, we obtain an every-zero mixed graphic group homomorphism,

$$\{M_f\left(G\right);[+]\}\to \{F_h\left(H\right);[+]\}.$$

(18)

2.2. Some Mixed Graphic Groups

2.2.1. Twin Mixed Graphic Groups

In Ref. [23], the authors introduced several matching colorings (resp. labelings) of graphs and also pointed out matching diversity: configuration matching partition, coloring matching partition, set matching partition, matching chain, one-vs.-more and more-vs.-more styles of matching partitions, configuration-vs.-configuration, configuration-vs.-labeling, labeling-vs.-labeling and (configuration, labeling)-vs.-(configuration, labeling), etc. Moreover, Wang et al. [15,24] introduced the twin odd-graceful labelings: Suppose $f:V\left(G\right)\to [0,2q-1]$ is an odd-graceful labeling of a $(p,q)$-graph G with p vertices and q edges, and $g:V\left(H\right)\to [1,2q]$ is a labeling of another graph H with $p{}^{\prime }$ vertices and $q{}^{\prime }$ edges such that each edge $uv\in E\left(H\right)$ has its own color defined as $g\left(uv\right)=\left|g\right(u)-g(v\left)\right|$ and the edge color set $g\left(E\left(H\right)\right)={[1,2q-1]}^o$; we say $(f,g)$ is a twin odd-graceful labeling, and H a twin odd-graceful matching of G. Figure 3 shows some examples of the twin odd-graceful matchings.

Figure 3. The graph G admits an odd-graceful labeling, which forms a twin odd-graceful matching together with each of the graphs $H_i$ with $i\in [1,5]$.

By the notation of Remark 1, we can obtain a twin odd-graceful mixed graphic groups $\{M_f\left(G\right);[+]\}$ and $\{M_g\left(H\right);[+]\}$ based on a twin odd-graceful labeling $(f,g)$. Notice that $G\ncong H$, or $G\nrightarrow H$, in general.

2.2.2. Dual Mixed Graphic Groups

Suppose that a $(p,q)$-graph G admits a W-constraint total coloring $f:V\left(G\right)\cup E\left(G\right)\to [a,b]$. Let $\max f=\max \left\{f\right(w):w\in V(G)\cup E(G\left)\right\}$ and $\min f=\min \left\{f\right(w):w\in V(G)\cup E(G\left)\right\}$. We call the total coloring $g\left(w\right)=\max f+\min f-f\left(w\right)$ for each element $w\in V\left(G\right)\cup E\left(G\right)$totally dual W-constraint total coloring of the total coloring f. Notice that

$$\max g+\min g=g\left(w\right)+f\left(w\right)=\max f+\min f,w\in V\left(G\right)\cup E\left(G\right).$$

Then, $\{M_g\left(G\right);[+]\}$ is called a dual mixed graphic group of the mixed graphic group $\{M_f\left(G\right);[+]\}$ based on a pair of mutually dual W-constraint colorings f and g. Notice that these two mixed graphic groups are built up on the same graph G.

Respectively, we call

(i) $\alpha \left(x\right)=\max f_v+\min f_v-f\left(x\right)$ for each vertex $x\in V\left(G\right)$ and $\alpha \left(uv\right)=f\left(uv\right)$ for each edge $uv\in E\left(G\right)$ vertex-dual W-constraint coloring of G, where $\max f_v=\max \{f\left(x\right):x\in V\left(G\right)\}$ and $\min f_v=\min \{f\left(x\right):x\in V\left(G\right)\}$;

(ii) $\beta \left(uv\right)=\max f_e+\min f_e-f\left(uv\right)$ for each edge $uv\in E\left(G\right)$ and $\beta \left(x\right)=f\left(x\right)$ for each vertex $x\in V\left(G\right)$ edge-dual W-constraint coloring of G, where $\max f_e=\max \{f\left(uv\right):uv\in E\left(G\right)\}$ and $\min f_e=\min \max \{f\left(uv\right):uv\in E\left(G\right)\}$;

(iii) $(\alpha ,\beta )$ defined in (i) and (ii) ve-separately dual W-constraint coloring of the total coloring f.

Figure 4 shows some examples for illustrating the four dual colorings mentioned above.

Figure 4. Examples for illustrating four dual colorings.

2.2.3. Matching Mixed Graphic Groups

If a $(p,q)$-graph G is bipartite and admits a set-ordered graceful labeling f, there is a dozen of labelings $g_i$ equivalent to f [21,25], and thus we obtain a dozen matching mixed graphic groups $\{M_f\left(G\right);[+]\}$ and $\{F_{g_i}\left(H_i\right);[+]\}$ with $i\in [1,m]$ for $m\ge 2$. For example, these labelings $g_i$ are odd-graceful labeling, odd-elegant labeling, edge-magic total labeling, image-labeling, 6C-labeling, odd-6C-labeling, even-odd separable 6C-labeling, and so on (see Ref. [23] for details). Here, we refer to the mixed graphic group $\{M_f\left(G\right);[+]\}$ as a private-key, and each mixed graphic group $\{F_{g_i}\left(H_i\right);[+]\}$ with $i\in [1,m]$ as a public-key in encrypting networks.

The complement $\overline{G}$ of a simple graph G is the simple graph with vertex set $V\left(G\right)$, and two vertices are adjacent in $\overline{G}$ if and only if they are not adjacent in G. So, we have $\{M_f\left(G\right);[+]\}$ and $\{M_g\left(\overline{G}\right);[+]\}$ as a pair of matching mixed graphic groups, where $\overline{G}$ admits a W-constraint coloring g. In general, for a graph $L=G\cup H$ with $V\left(L\right)=V\left(G\right)=V\left(H\right)$ and $E\left(G\right)\cap E\left(H\right)=\varnothing$, we have $\{M_f\left(G\right);[+]\}$ and $\{F_h\left(H\right);[+]\}$ as a pair of matching mixed graphic groups based on the graph $L=G\cup H$, where H admits a W-constraint coloring h.

Figure 5 shows the complementary graph of a given graph $G_1$ and some labellings generated from a given set-ordered graceful labelling $f_1$ of the graph $G_1$.

Figure 5. Examples of the complementary graph and three colorings $g_1,g_2,g_3$ generated from the coloring $f_1$ of $G_1$ by equivalent transformation.

2.3. Infinite Mixed Graphic Groups and Their Homomorphisms

From Definition 4, we obtain an every-zero infinite mixed graphic group

$${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])=\{G_{s,k}:-\infty <s,k<+\infty \}$$

(19)

with $G_{s,k}\cong G$ based on a $(p,q)$-graph G admitting a W-constraint proper total coloring f and $G\cong G_{0,0}$, where “$[+]$” is the Abelian additive operation “$G_{s,k}\left[{+}_{a,b}\right]G_{i,j}$” under a preappointed zero $G_{a,b}\in {\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])$ for any pair of graphs $G_{s,k},G_{i,j}\in {\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])$.

Remark 3.

The elements of an every-zero infinite mixed graphic group ${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])$ defined in Equation (19) can fully tile each integer point $(x,y)$ of the $xOy$-plane. Moreover, ${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])$ contains infinite every-zero mixed graphic groups having finite elements, such as $F({\left\{G_{s+i,k}\right\}}_{i=1}^p;[+])$ and $F({\left\{G_{s,k+j}\right\}}_{j=1}^q;[+])$. Additionally, ${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])$ contains infinite every-zero mixed graphic groups having infinite elements.

${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])$ is also a graphic category under the graphic morphism composition defined in Equation (16). Particular every-zero mixed graphic groups having infinite elements, or finite elements can be used easily to randomly encrypt networks.

Theorem 5.

(i) Suppose that the coloring f of the $(p,q)$-graph G based on an every-zero infinite mixed graphic group ${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])$ is equivalent to another $W_g$-constraint total coloring g of the $(p,q)$-graph G based on an every-zero infinite mixed graphic group ${\mathit{I}}_{-\infty }^{+\infty }(G,g;[+])$. If a mapping $\phi :V\left(G\right)\cup E\left(G\right)\to V\left(G\right)\cup E\left(G\right)$ exists such that $g\left(w\right)=\phi \left(f\right(w\left)\right)$ for $w\in V\left(G\right)\cup E\left(G\right)$, then we obtain an every-zero infinite mixed graphic group homomorphism,

$${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])\to {\mathit{I}}_{-\infty }^{+\infty }(G,g;[+]).$$

(20)

(ii) Suppose a graph homomorphism from a $(p,q)$-graph G to a connected graph H based on a mapping $\phi :V\left(G\right)\to V\left(H\right)$ such that each edge $uv\in E\left(G\right)$ corresponds to an edge $\phi \left(u\right)\phi \left(v\right)\in E\left(H\right)$, and vice versa. Suppose that the $(p,q)$-graph G admits a W-constraint total coloring f, and the graph H admits a $W{}^{\prime }$-constraint total coloring h. Then, we obtain an every-zero infinite mixed graphic group homomorphism as follows:

$${\mathit{I}}_{-\infty }^{+\infty }(G,f;[+])\to {\mathit{I}}_{-\infty }^{+\infty }(H,h;[+]).$$

(21)

Notice that, in general, $G\ncong H$.

3. Graphic Lattices

3.1. Mixed Graphic B-Group Lattices

Definition 5.

Using an every-zero mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Remark 1 to encrypt a connected graph H by a mapping $\phi :V\left(H\right)\cup E\left(H\right)\to \mathit{G}$ such that each edge $uv\in E\left(H\right)$ holds $\phi \left(uv\right)=\phi \left(u\right)\left[{+}_{a,b}\right]\phi \left(v\right)$ under a preappointed zero $G_{a,b}\in \mathit{G}$, we obtain another graph L from the set $\left\{\phi \right(x)$, $\phi \left(uv\right):x\in V\left(H\right)$, $uv\in E\left(H\right)\}$ by joining some vertices of the graphs $G_{i_u,j_u}=\phi \left(u\right)\in \mathit{G}$ and $G_{i_v,j_v}=\phi \left(v\right)\in \mathit{G}$ together with some vertices of the graph $G_{i_{uv},j_{uv}}=\phi \left(uv\right)\in \mathit{G}$ via edges, respectively.

In Figure 6, we first use an edge coloring $\phi$ to color the edges of the uncolored graph H by the elements of the every-zero mixed graphic group $M_f\left(G\right)=\{G_{s,k}:s\in [1,6],k\in [1,5]\}$ shown in Figure 1, and then an edge-colored graph $H_1$ is obtained by expending this mixed graphic group edge coloring $\phi$ to the vertex set $V\left(H\right)$, which is followed by the totally colored graph $H_2$. Moreover, the totally colored graph $H_3$ is a colored graph homomorphism to $H_2$, that is, $H_3{\to }_{color}{H}_2$.

Figure 6. A graphic-group-coloring for illustrating Definition 5, where (a) is an uncolored graph H; (b) is an edge-colored graph $H_1$ obtained by coloring the edges of H with the elements of the every-zero mixed graphic group $M_f\left(G\right)=\{G_{s,k}:s\in [1,6],k\in [1,5]\}$ shown in Figure 1; (c) is a totally colored graph $H_2$; and (d) is a tree obtained from $H_2$ by splitting some vertices of $H_2$.

From the proof of Lemma 1, we use the elements of an every-zero mixed graphic group $M_f\left(G\right)=\{G_{s,k}:s\in [1,p],k\in [1,q]\}$ based on the Abelian additive operation “$G_{i,j}[+]G_{s,k}$” defined in Equation (4) to make a mixed graphic lattice base, i.e.,

$$\begin{array}{cc}\hfill \mathit{B}& =(G_{1,1},G_{2,1},\cdots ,G_{p,1},\cdots ,G_{s,k},\cdots ,G_{p,1},G_{p,2},\cdots ,G_{p,q})\hfill \\ \hfill & =(B_1,B_2,\cdots ,B_M),\hfill \end{array}$$

(22)

where $M=pq$.

Definition 6.

With the notation of Equation (22), we can write the graph L in Definition 5 as $L=H{\left[{\ominus }_k\right]}_{j=1}^M{a}_j{B}_j$ and call the following set:

$$\begin{array}{c}\hfill \mathit{L}\left(F_{m,n}\left[{\ominus }_k\right]\mathit{B}\right)=\left\{H{\left[{\ominus }_k\right]}_{j=1}^M{a}_j{B}_j:a_j\in Z^0,B_j\in \mathit{B},H\in F_{m,n}\right\}\end{array}$$

(23)

under a preappointed zero $B_k\in \mathit{B}$ mixed graphic group latticebased on a mixed graphic lattice base $\mathit{B}$, where ${\sum }_{j=1}^M{a}_j\ge 1$ and $F_{m,n}$ is a set of graphs with vertex number $\le m$ and edge number $\le n$. Moreover, we call the following set:

$$\mathit{L}\left(F_{m,n}[\ominus ]\mathit{B}\right)=\left\{\mathit{L}\left(F_{m,n}\left[{\ominus }_k\right]\mathit{B}\right):H_k\in \mathit{B}\right\}$$

(24)

mixed graphic $\mathit{B}$-group latticesince each element of the mixed graphic lattice base $\mathit{B}$ can be referred to as zero under the Abelian additive operation.

Remark 4.

Regarding Definition 5, we have

(i) In general, two graphs $H{\left[{\ominus }_k\right]}_{j=1}^M{a}_j{B}_j$ and $H{\left[{\ominus }_s\right]}_{j=1}^M{a}_j{B}_j$ are not isomorphic from each other for two different zeros $B_k,B_s\in \mathit{B}$.

(ii) There are many different ways to join the graph $G_{i_{uv},j_{uv}}=\phi \left(uv\right)$ with two graphs $G_{i_u,j_u}=\phi \left(u\right)$ and $G_{i_v,j_v}=\phi \left(v\right)$ by edges in Definition 5; in other words, the number of graphs of forming $H{\left[{\ominus }_k\right]}_{j=1}^M{a}_j{B}_j$ is two or more, see Figure 7.

Figure 7. A graph L for illustrating Definition 6 and Remark 4 (ii). L is obtained from the totally colored graph $H_2$ shown in Figure 6 by the edge-join operation and the every-zero mixed graphic group shown in Figure 1.

(iii) Since two graphs $B_k,B_s\in \mathit{B}$ form two homomorphically equivalent graph homomorphisms $B_k\to B_s$, we obtain the following mixed graphic group lattice homomorphisms:

$$\mathit{L}\left(F_{m,n}\left[{\ominus }_k\right]\mathit{B}\right)\to \mathit{L}\left(F_{m,n}\left[{\ominus }_s\right]\mathit{B}\right)\to \mathit{L}\left(F_{m,n}\left[{\ominus }_k\right]\mathit{B}\right).$$

(25)

This technology has great potential for cloud computation in the future of quantum computing.

3.2. Graphic Lattices Made by Graph Matchings

In the following discussion, we will use traditional complementary graphs and G-complementary graphs to build up graphic lattices.

3.2.1. Traditional Graph and Its Complement

Let $\overline{G}$ be the complement of a simple graph G; then, we say that $(G,\overline{G})$ is a complete-graphic matching. For a graph operation “$(•)$”, we have a complementary mixed graphic lattice

$$\mathit{L}\left({\overline{F}}_{m,n}(•)\mathit{B}\right)=\left\{\overline{G}{(•)}_{i=1}^M{a}_i{B}_i:a_i\in Z^0,B_i\in \mathit{B},\overline{G}\in {\overline{F}}_{m,n}\right\},$$

(26)

where the mixed graphic lattice base $\mathit{B}=(B_1,B_2,\cdots ,B_M)$ is defined in Equation (22), ${\overline{F}}_{m,n}$ is the set of all complements of graphs of $F_{m,n}$ defined in Definition 6, and ${\sum }_{i=1}^M{a}_i\ge 1$.

Let $\overline{\mathit{B}}=({\overline{B}}_1,{\overline{B}}_2,\cdots ,{\overline{B}}_M)$ be the complementary base of the mixed graphic lattice base $\mathit{B}$ with the complement ${\overline{B}}_i$ of $B_i$ for $i\in [1,M]$. We obtain a complementary mixed graphic lattice

$$\mathit{L}\left(F_{m,n}(•)\overline{\mathit{B}}\right)=\left\{G{(•)}_{i=1}^M{a}_i{\overline{B}}_i:a_i\in Z^0,{\overline{B}}_i\in \overline{\mathit{B}},G\in F_{m,n}\right\}$$

(27)

with ${\sum }_{i=1}^M{a}_i\ge 1$. Moreover, we obtain a totally complementary mixed graphic lattice as follows:

$$\mathit{L}\left({\overline{F}}_{m,n}(•)\overline{\mathit{B}}\right)=\left\{\overline{G}{(•)}_{i=1}^M{a}_i{\overline{B}}_i:a_i\in Z^0,{\overline{B}}_i\in \overline{\mathit{B}},\overline{G}\in {\overline{F}}_{m,n}\right\}$$

(28)

with ${\sum }_{i=1}^M{a}_i\ge 1$.

We call $\mathit{L}\left(F_{m,n}\left[{\ominus }_k\right]\mathit{B}\right)$ and $\mathit{L}\left({\overline{F}}_{m,n}(•)\overline{\mathit{B}}\right)$ a matching of complementary mixed graphic lattices. However, for each graph $G^{*}=G{(•)}_{i=1}^M{a}_i{B}_i$ of $\mathit{L}\left(F_{m,n}\left[{\ominus }_k\right]\mathit{B}\right)$, the complementary graph $\overline{G^{*}}$ of $G^{*}$ is not a graph $\overline{G}{(•)}_{i=1}^M{a}_i{\overline{B}}_i$ of $\mathit{L}\left({\overline{F}}_{m,n}(•)\overline{\mathit{B}}\right)$, in general.

3.2.2. G-Complementary

A graph G has two proper subgraphs $G_1$ and $G_2$ such that $V\left(G\right)=V\left(G_1\right)=V\left(G_2\right)$, $E\left(G_1\right)\cap E\left(G_2\right)=\varnothing$, and $E\left(G_1\right)\cup E\left(G_2\right)=E\left(G\right)$. Thereby, we call $(G_1,G_2)$ a G-matching. Accordingly, we have the G-complementary mixed graphic lattice like that defined in Equation (28).

4. Encrypting Networks in Whole

In asymmetric topology cryptography, one would encrypt graphs (resp. networks) by mixed graphic groups, and we call these colorings mixed graphic group colorings. For the number $N_m$ of graphs of n vertices, Harary and Palmer [26] computed two graph numbers

$$\begin{array}{cc}\hfill N_{23}& =559946939699792080597976380819462179812276348458981632\approx 2^{179}\hfill \\ \hfill N_{24}& =195704906302078447922174862416726256004122075267063365754368\approx 2^{197}.\hfill \end{array}$$

(29)

The large number of graphs, and of colorings in graph theory, can provide us with flexible and diverse asymmetric topology technology with stable security performance and can also increase the technical cost and intolerable time cost to the cracker. Encrypting networks in whole is an application of mixed graphic groups and mixed graphic group lattices.

4.1. Mixed Graphic Group Colorings in Encrypting Networks

Here, we present a proof for the following theorem, as shown partly in Ref. [16]:

Theorem 6.

For each graph L of a graphic $\mathit{B}$-group lattice $\mathit{L}\left(F_{m,n}[\ominus ]\mathit{B}\right)$ defined in Definition 5, Equations (23) and (24) form an every-zero mixed graphic group $\{F_{\alpha }\left(L\right);[+]\}$ defined in Remark 1, where the graph L admits a total coloring α.

Proof. 

Suppose that a $(p,q)$-graph G admits a total coloring f and L is a graph of a graphic $\mathit{B}$-group lattice $\mathit{L}\left(F_{m,n}\left[{\ominus }_k\right]\mathit{B}\right)$, so $L=H{\left[{\ominus }_k\right]}_{j=1}^M{a}_j{B}_j$ as defined in Equation (23) and Definition 5.

Notice that each graph $G_{s,k}\in \mathit{G}$ defined in Remark 1 admits a W-constraint proper total coloring $g_{s,k}$ in Definition 4. Suppose the graph L admits a total coloring $\phi :V\left(L\right)\cup E\left(L\right)\to \mathit{G}$, then each edge $uv\in E\left(L\right)$ holds $\phi \left(uv\right)=G_{i_{uv},j_{uv}}\in \mathit{G}$, $\phi \left(u\right)=G_{i_u,j_u}\in \mathit{G}$ and $\phi \left(v\right)=G_{i_v,j_v}\in \mathit{G}$, such that

$$G_{i_{uv},j_{uv}}=\phi \left(uv\right)=\phi \left(u\right)\left[{+}_{a,b}\right]\phi \left(v\right)=G_{i_u,j_u}\left[{+}_{a,b}\right]G_{i_v,j_v}$$

(30)

with $i_{uv}=i_u+i_v-a(\mathrm{mod} p)$ and $j_{uv}=j_u+j_v-b(\mathrm{mod} q)$, under a preappointed zero $G_{a,b}\in \mathit{G}$. In the graph L, there is at least one edge between $\phi \left(u\right)=G_{i_u,j_u}$ and $\phi \left(uv\right)=G_{i_{uv},j_{uv}}$, and there is at least one edge between $\phi \left(v\right)=G_{i_v,j_v}$ and $\phi \left(uv\right)=G_{i_{uv},j_{uv}}$.

Now, let us define a total coloring $\alpha$ for the graph L as follows:

(i) $\alpha \left(w\right)=g_{s,k}\left(w\right)$ for each element $w\in V\left(G_{s,k}\right)\cup E\left(G_{s,k}\right)\subset V\left(L\right)\cup E\left(L\right)$ if $G_{s,k}\subset L$.

(ii) For an edge $xy\in E\left(L\right)$ holding $x\in V\left(G_{s,k}\right)$ and $y\in V\left(G_{i,j}\right)$, we color this edge $xy$ with $\alpha \left(xy\right)=g_{s,k}\left(x\right)+g_{i,j}\left(y\right)(\mathrm{mod} q)$.

Next, we shall make the copies $L_{i,j}$ of the graph L with $L_{i,j}\cong L$ for $i\in [1,p^{*}]$ and $j\in [1,q^{*}]$, where $p^{*}=\left|V\left(L\right)\right|$ and $q^{*}=\left|E\left(L\right)\right|$, and then put the copies into a set $S\left(L\right)=\{L_{i,j}:i\in [1,p^{*}],j\in [1,q^{*}]\}$. Moreover, we define a total coloring ${\beta }_{i,j}$ for each graph $L_{i,j}$ by setting

(i) ${\beta }_{i,j}\left(u\right)=\alpha \left(u\right)+i(\mathrm{mod} p^{*})$ for each vertex $u\in V\left(L_{i,j}\right)$;

(ii) ${\beta }_{i,j}\left(uv\right)=\alpha \left(uv\right)+j(\mathrm{mod} q^{*})$ for each edge $uv\in E\left(L_{i,j}\right)$;

(iii) For an edge $xy\in E\left(L\right)$ holding $x\in V\left(G_{s,k}\right)$ and $y\in V\left(G_{i,j}\right)$, we color this edge $xy$ with ${\beta }_{s,k}\left(x\right)+{\beta }_{i,j}\left(y\right)(\mathrm{mod} q^{*})$.

For a preappointed zero $L_{a,b}\in S\left(L\right)$, we have the following Abelian additive operation “$L_{i,j}\left[{+}_{a,b}\right]L_{s,k}$”:

$$L_{i,j}\left[{+}_{a,b}\right]L_{s,k}:=L_{i,j}[+]L_{s,k}[-]L_{a,b}=L_{\lambda ,\mu }\in S\left(L\right)$$

(31)

for any two graphs $L_{i,j},L_{s,k}\in S\left(L\right)$, such that

$${\beta }_{i,j}\left(w\right)+{\beta }_{s,k}\left(w\right)-{\beta }_{a,b}\left(w\right)={\beta }_{\lambda ,\mu }\left(w\right)$$

(32)

holds true as $\lambda =i+s-a(\mathrm{mod} p^{*})$ and $\lambda =j+k-b(\mathrm{mod} q^{*})$.

We show that the set $S\left(L\right)$ holds the following facts:

(i) Zero. Every graph $L_{a,b}\in S\left(L\right)$ can be as zero such that $L_{i,j}\left[{+}_{a,b}\right]L_{a,b}:=L_{i,j}$ for any graph $L_{i,j}$ of $S\left(L\right)$.

(ii) Closure law. For each preappointed zero $L_{a,b}$, we have

$$L_{i,j}\left[{+}_{a,b}\right]L_{s,k}:=L_{i,j}[+]L_{s,k}[-]L_{a,b}=L_{\lambda ,\mu }\in S\left(L\right)$$

(iii) Inverse. Every graph $L_{i,j}\in S\left(L\right)$ has its own inverse $L_{i^{-1},j^{-1}}\in S\left(L\right)$ with $i^{-1}=2a-i$ and $j^{-1}=2b-j$, such that $L_{i,j}\left[{+}_{a,b}\right]L_{i^{-1},j^{-1}}:=L_{a,b}$.

(iv) Associative law. $\left(L_{i,j}\left[{+}_{a,b}\right]L_{s,k}\right)\left[{+}_{a,b}\right]L_{c,d}=L_{i,j}\left[{+}_{a,b}\right]\left(L_{s,k}\left[{+}_{a,b}\right]L_{c,d}\right)$.

(v) Commutative law. $L_{i,j}\left[{+}_{a,b}\right]L_{s,k}=L_{s,k}\left[{+}_{a,b}\right]L_{i,j}$.

Thereby, the set $S\left(L\right)$ forms an every-zero mixed graphic group, denoted as $S\left(L\right)=\{F_{\alpha }\left(L\right);[+]\}$, and the set $S\left(L\right)$ is a graphic category under the graphic morphism composition defined in Equation (16).

We can define another total coloring ${\gamma }_{i,j}$ for each graph $L_{i,j}\in S\left(L\right)$ by making

(i) ${\gamma }_{i,j}\left(x\right)=\alpha \left(x\right)+i(\mathrm{mod} p)$ for each vertex $x\in V\left(L_{i,j}\right)$;

(ii) ${\gamma }_{i,j}\left(xy\right)=\alpha \left(xy\right)+j(\mathrm{mod} q)$ for each edge $xy\in E\left(L_{i,j}\right)$;

(iii) For an edge $uv\in E\left(L\right)$ holding $x\in V\left(G_{s,k}\right)$ and $y\in V\left(G_{i,j}\right)$, we color this edge $uv$ with ${\gamma }_{s,k}\left(u\right)+{\gamma }_{i,j}\left(v\right)(\mathrm{mod} q)$, such that the set $S\left(L\right)$ forms an every-zero mixed graphic group $S\left(L\right)=\{F_{\alpha }\left(L\right);[+]\}$.

The proof of the theorem is complete. □

4.2. Encrypting Tree-like Networks

As tree-like networks are easily accessible in real applications, have simple structures, and admit a lot of colorings, we will apply mixed graphic group colorings to encrypt tree-like networks. A tree T admits a mixed graphic group total coloring

$$\theta :V\left(T\right)\cup E\left(T\right)\to \mathit{G}=\{M_f\left(G\right);[+]\}$$

as defined in Remark 1, where $M_f\left(G\right)=\{G_{i,j}:i\in [1,p],j\in [1,q]\}$.

Theorem 7.

A tree T with its maximum degree Δ admits a mixed graphic group total coloring θ from $V\left(T\right)\cup E\left(T\right)$ to a mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Remark 1 and $pq>\Delta$, such that $\theta \left(uv\right)\ne \theta \left(uw\right)$ for any pair of adjacent edges $uv$ and $uw$ of T.

Proof. 

We construct another tree $H=T-wz$ by removing a leaf w of the tree T, where the leaf w is adjacent to the vertex z of T, and keep the maximum degree $\Delta \left(H\right)=\Delta \left(T\right)$. Assume that the tree $H=T-wz$ admits a mixed graphic group total coloring h from $V\left(H\right)\cup E\left(H\right)$ to a mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Remark 1 and $pq>\Delta \left(H\right)$, such that the colors $h\left(uv\right)\ne h\left(uw\right)$ for any pair of adjacent edges $uv$ and $uw$ of H.

Let $N\left(z\right)=\{x_1,x_2,\cdots ,x_k,w\}$ be the set of neighboring vertices of the vertex z in the tree T. We define a mixed graphic group total coloring $\theta :V\left(T\right)\cup E\left(T\right)\to \mathit{G}=\{M_f\left(G\right);[+]\}$ as $\theta \left(x\right)=h\left(x\right)$ for $x\in V\left(T\right)\cup E\left(T\right)\setminus \{w,wz\}$, $\theta \left(wz\right)=G_{i_0,j_0}\in \mathit{G}\setminus \{h\left(z{x}_i\right):i\in [1,k]\}$, and $\theta \left(w\right)=G_{s_0,k_0}\in \mathit{G}\setminus \{h\left(z\right),h\left(z{x}_i\right):i\in [1,k]\}$, such that $\theta \left(wz\right)=h\left(z\right)\left[{+}_{a,b}\right]\theta \left(w\right)$ under a preappointed zero $G_{a,b}\in \mathit{G}$.

We obtain the proof of the theorem. □

Theorem 8.

Each tree T of n edges admits amixed graphic group total coloring θ from $V\left(T\right)\cup E\left(T\right)$ to a mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Remark 1, such that the edge index set $\{(i,j):\theta \left(u_i{v}_j\right)=G_{i,j}\in \mathit{G},u_i{v}_j\in E\left(T\right)\}=X$, where $X=\{(i_1,j_1),(i_2,j_2),\cdots ,(i_n,j_n)\}$ with $(i_s,j_s)\ne (i_k,j_k)$ for $s\ne k$ is a preappointed index set.

Proof. 

Assume that any tree T of $n-1$ edges holds this theorem and T admits a mixed graphic group total coloring $F:V\left(T\right)\cup E\left(T\right)\to \mathit{G}$, such that each edge $uv\in E\left(T\right)$ is colored with

$$G_{\lambda ,\mu }=F\left(uv\right)=F\left(u\right)\left[{+}_{a,b}\right]F\left(v\right)=G_{i,j}\left[{+}_{a,b}\right]G_{s,k}$$

under a preappointed zero $G_{a,b}\in \mathit{G}$, and the edge index set is just

$$\{(\lambda ,\mu ):F\left(u_{\lambda }{v}_{\mu }\right)=G_{\lambda ,\mu }\in \mathit{G},u_{\lambda }{v}_{\mu }\in E\left(T\right)\}=X\setminus \left\{(i_n,j_n)\right\}.$$

We add a new vertex w to the tree T by joining w with any vertex x of T via a new edge $xw$. The resulting tree is denoted as $H=T+\{w,xw\}$. Obviously, the tree H has n vertices.

We define a mixed graphic group total coloring $\theta :V\left(H\right)\cup E\left(H\right)\to \mathit{G}$, such that each element $z\in V\left(T\right)\cup E\left(T\right)\subset V\left(H\right)\cup E\left(H\right)$ is colored with $\theta \left(z\right)=F\left(z\right)$.

For the vertex w and the edge $xw$ of the tree $H=T+\{w,xw\}$, we set $\theta \left(w\right)=G_{\alpha ,\beta }$ and $\theta \left(xw\right)=G_{i_n,j_n}\in \mathit{G}\setminus \theta \left(E\left(T\right)\right)$ such that

$$G_{i_n,j_n}=\theta \left(xw\right)=\theta \left(x\right)\left[{+}_{a,b}\right]\theta \left(w\right)=G_{\gamma ,\delta }\left[{+}_{a,b}\right]G_{\alpha ,\beta }$$

with $i_n=\gamma +\alpha -a$$(\mathrm{mod} p)$ and $j_n=\delta +\beta -b$$(\mathrm{mod} q)$, where the edge color set $\theta \left(E\left(T\right)\right)=\{G_{\lambda ,\mu }:F\left(uv\right)=G_{\lambda ,\mu }\in \mathit{G},uv\in E\left(T\right)\}$. Finally, we obtain the desired edge index set

$$\{(i,j):\theta \left(x_i{y}_j\right)=G_{i,j}\in \mathit{G},x_i{y}_j\in E\left(H\right)\}=X$$

and the theorem follows from the induction. □

Corollary 1.

If a connected graph H of n edges admits amixed graphic group total coloring θ from $V\left(H\right)\cup E\left(H\right)$ to a mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Remark 1, such that the edge index set $I_{ndex}=\{(i,j):\theta \left(u_i{v}_j\right)=G_{i,j}\in \mathit{G},u_i{v}_j\in E\left(H\right)\}$, where $I_{ndex}=\{(i_1,j_1),(i_2,j_2),\cdots ,(i_n,j_n)\}$ with $(i_s,j_s)\ne (i_k,j_k)$ for $s\ne k$ is a preappointed edge index set, then the connected graph H corresponds to at least a tree T of n edges such that T holds Theorem 8, and there is a colored graph homomorphism $T{\to }_{color}H$.

Theorem 9.

The edges of a tree T can be colored arbitrarily by a mixed graphic group proper edge coloring φ from the edge set $E\left(T\right)$ to a mixed graphic group $\mathit{G}=\{M_f\left(G\right);[+]\}$ defined in Remark 1, and then this mixed graphic group proper edge coloring φ can be expended to the vertex set $V\left(T\right)$, such that each edge $uv\in E\left(T\right)$ holds $\phi \left(uv\right)=\phi \left(u\right)\left[{+}_{a,b}\right]\phi \left(v\right)$ under a preappointed zero $G_{a,b}\in \mathit{G}$.

Proof. 

Let $G_{a,b}\in \mathit{G}$ be a preappointed zero. Suppose that a tree T of p vertices admits a mixed graphic group edge coloring $F:E\left(T\right)\to \mathit{G}$, and this coloring F has been expended to $V\left(T\right)$, such that $F\left(uv\right)=F\left(u\right)\left[{+}_{a,b}\right]F\left(v\right)$ for each edge $uv\in E\left(T\right)$, and $F\left(uv\right)\ne F\left(uw\right)$ for any pair of adjacent edges $uv,uw\in E\left(T\right)$. We construct a new tree $H=T+\{w,xw\}$ by adding a new vertex w to the tree T and a new edge $xw$ with $x\in E\left(T\right)$.

For this new tree H, we define a mixed graphic group edge coloring $\phi :E\left(H\right)\to \mathit{G}$ with $\phi \left(uv\right)=F\left(uv\right)$ if $uv\in E\left(T\right)\subset E\left(H\right)$, and the mixed graphic group edge coloring $\phi$ can be expended to $V\left(T\right)\subset V\left(H\right)$, such that $\phi \left(uv\right)=\phi \left(u\right)\left[{+}_{a,b}\right]\phi \left(v\right)$ for each edge $uv\in E\left(T\right)$ by the induction. Next, we take $\phi \left(w\right)=G_{\alpha }\in \mathit{G}$ and $\phi \left(xw\right)=G_{\lambda }\in \mathit{G}\setminus \{\phi \left(x{y}_i\right):y_i\in N\left(x\right)\}$ holding $G_{\lambda }=\phi \left(xw\right)=\phi \left(x\right)\left[{+}_{a,b}\right]\phi \left(w\right)=G_{\beta }\left[{+}_{a,b}\right]G_{\alpha }$ with $\lambda =\alpha +\beta -k$$(\mathrm{mod} q)$. Finally, we expend the mixed graphic group proper edge coloring $\phi$ to $V\left(H\right)$, such that $\phi \left(xy\right)=\phi \left(x\right)\left[{+}_{a,b}\right]\phi \left(y\right)$ for each edge $xy\in E\left(H\right)$, and $\phi \left(uv\right)\ne \phi \left(uw\right)$ for any pair of adjacent edges $uv,uw\in E\left(H\right)$; thus, the induction is complete. □

4.3. Graphic Lattices for the Encryption of Dynamic Networks

For the encryption of dynamic networks, we define the following every-zero dynamically mixed graphic group: an every-zero dynamically mixed graphic group $\mathit{G}\left(t\right)=\{M_{f_t}\left(G\right);[+]\}$ is based on a dynamically colored graph set $M_{f_t}\left(G\right)=\{G_{i,j}\left(t\right):i\in [1,p],j\in [1,q]\}$ with $G_{s,k}\left(t\right)\cong G\left(t\right)$ for $t\in [\alpha ,\beta ]$, where a $(p,q)$-graph $G\left(t\right)$ admits a W-constraint proper total coloring $f_t:V\left(G\right)\cup E\left(G\right)\to [1,n\left(t\right)]$ for $t\in [\alpha ,\beta ]$, and each graph $G_{i,j}\left(t\right)$ admits a W-constraint proper total coloring $g_{s,k}^t\left(x\right)=f_t\left(x\right)+s(\mathrm{mod} p)$ for every vertex $x\in V\left(G_{i,j}\left(t\right)\right)$, and $g_{s,k}^t\left(uv\right)=f_t\left(uv\right)+k(\mathrm{mod} q)$ for each edge $uv\in E\left(G_{i,j}\left(t\right)\right)$.

Obviously, $\mathit{G}\left(t\right)=\{M_{f_t}\left(G\right);[+]\}$ for $t\in [\alpha ,\beta ]$ forms dynamically graphic categories.

With the dynamically colored graph set $M_{f_t}\left(G\right)=\{G_{i,j}\left(t\right):i\in [1,p],j\in [1,q]\}$, we have a dynamically mixed graphic lattice base as follows:

$$\begin{array}{cc}\hfill \mathit{B}\left(t\right)& =(G_{1,1}\left(t\right),G_{2,1}\left(t\right),\dots ,G_{p,1}\left(t\right),\dots ,G_{s,k}\left(t\right),\dots ,G_{p,1}\left(t\right),G_{p,2}\left(t\right),\dots ,G_{p,q}\left(t\right))\hfill \\ \hfill & =(B_1\left(t\right),B_2\left(t\right),\dots ,B_M\left(t\right)),\hfill \end{array}$$

(33)

where $M=pq$. For a graph operation “$(•)$”, we have a dynamically mixed graphic lattice

$$\begin{array}{c}\hfill \mathit{L}\left(F_{m,n}\left(t\right)(•)\mathit{B}\left(t\right)\right)=\left\{H\left(t\right){(•)}_{k=1}^M{a}_k{B}_k\left(t\right):a_k\in Z^0,B_k\left(t\right)\in \mathit{B}\left(t\right),H\left(t\right)\in F_{m,n}\left(t\right)\right\}\end{array}$$

(34)

such that each network $H\left(t\right)$ is encrypted to another graph $L\left(t\right)=H_t{(•)}_{k=1}^M{a}_k{B}_k\left(t\right)$ for $t\in [\alpha ,\beta ]$, where ${\sum }_{k=1}^M{a}_k\ge 1$.

As the graph operation “$(•)$” in Equation (34) is the vertex-coinciding operation, an example is shown in Figure 8.

Figure 8. A graph Q for illustrating the vertex-coinciding operation in the dynamically mixed graphic lattice shown in Equation (34) based on the every-zero mixed graphic group $M_f\left(G\right)=\{G_{s,k}:s\in [1,6],k\in [1,5]\}$ shown in Figure 1.

5. Summary

To summarize, in the present contribution we firstly defined the graphic category, generalized the mixed graphic groups, and proposed the graphic lattices and various graph-type homomorphisms, from which some useful results were obtained. Based on these results, we then discussed in detail how to encrypt networks in whole by using the mixed graphic groups and the mixed graphic group lattices. In the end, the graphic lattices for the encryption of the dynamic networks were introduced, and the vertex-coinciding operation in the dynamically mixed graphic lattice was illustrated on the basis of the every-zero mixed graphic groups.